0100nnnn00010011 gbr ← SignExtend32(GBR); op1 ← SignExtend32(Rn); address ← ZeroExtend32(op1 - 4); WriteMemory32(address, gbr); op1 ← address; Rn ← Register(op1);