code: def constant(self, val, ty):
          
          if isinstance(val, VexValue) and not isinstance(val, IRExpr):
              raise Exception('Constant cannot be made from VexValue or IRExpr')
          rdt = self.irsb_c.mkconst(val, ty)
          return VexValue(self.irsb_c, rdt)
docs: Creates a constant as a VexValue
  
          :param val: The value, as an integer
          :param ty: The type of the resulting VexValue
          :return: a VexValue