文本文件  |  4行  |  107 B

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