文本文件  |  3行  |  147 B

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