code: def store(self, val, addr):
          
          self.irsb_c.store(addr.rdt, val.rdt)
docs: Store a VexValue in memory at the specified loaction.
  
          :param val: The VexValue of the value to store
          :param addr: The VexValue of the address to store into
          :return: None