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