1 This tests that return opcodes verify that their arguments are actually of 2 the appropriate types and that the opcode matches the method signature. 3