code: def Constant(cls, irsb_c, val, ty):
          
          assert not (isinstance(val, VexValue) or isinstance(val, IRExpr))
          rdt = irsb_c.mkconst(val, ty)
          return cls(irsb_c, rdt)
docs: Creates a constant as a VexValue
          :param irsb_c: The IRSBCustomizer to use
          :param val: The value, as an integer
          :param ty: The type of the resulting VexValue
          :return: a VexValue