0100nnnn00000010
mach ← SignExtend32(MACH);
op1 ← SignExtend32(Rn);
address ← ZeroExtend32(op1 - 4);
WriteMemory32(address, mach);
op1 ← address;
Rn ← Register(op1);