文本文件  |  3行  |  106 B

This tests that load and store opcodes verify that their arguments are
actually of the appropriate types.