1*055d4590SKeyi GuiThis tests that the various "objecty" opcodes verify that their 2*055d4590SKeyi Guiarguments are actually of the appropriate types. 3