1 This tests that the various "objecty" opcodes verify that their 2 arguments are actually of the appropriate types. 3
