code: def MSTORE(self, address, value):
          
          if istainted(self.pc):
              for taint in get_taints(self.pc):
                  value = taint_with(value, taint)
          self._allocate(address, 32)
          self._store(address, value, 32)
docs: Save word to memory