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