code: def get(self, reg, ty):
          
          offset = self.lookup_register(self.irsb_c.irsb.arch, reg)
          if offset == self.irsb_c.irsb.arch.ip_offset:
              return self.constant(self.addr, ty)
          rdt = self.irsb_c.rdreg(offset, ty)
          return VexValue(self.irsb_c, rdt)
docs: Load a value from a machine register into a VEX temporary register.
          All values must be loaded out of registers before they can be used with operations, etc
          and stored back into them when the instruction is over.  See Put().
  
          :param reg: Register number as an integer, or register string name
          :param ty: The Type to use.
          :return: A VexValue of the gotten value.