def MSTORE(self, address, value):
if istainted(self.pc):<EOL><INDENT>for taint in get_taints(self.pc):<EOL><INDENT>value = taint_with(value, taint)<EOL><DEDENT><DEDENT>self._allocate(address, <NUM_LIT:32>)<EOL>self._store(address, value, <NUM_LIT:32>)<EOL>
Save word to memory