let of_int i = 
  INT i