code: def load(self, addr, ty):
          
          rdt = self.irsb_c.load(addr.rdt, ty)
          return VexValue(self.irsb_c, rdt)
docs: Load a value from memory into a VEX temporary register.
  
          :param addr: The VexValue containing the addr to load from.
          :param ty: The Type of the resulting data
          :return: a VexValue