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