code: def put(self, val, reg):
          
          offset = self.lookup_register(self.irsb_c.irsb.arch, reg)
          self.irsb_c.put(val.rdt, offset)
docs: Puts a value from a VEX temporary register into a machine register.
          This is how the results of operations done to registers get committed to the machine's state.
  
          :param val: The VexValue to store (Want to store a constant? See Constant() first)
          :param reg: The integer register number to store into, or register name
          :return: None