let exp_constant_one = 
  let d = (CTTexpConstant (CTTconstInteger unit_big_int)) in
  fun ~loc -> make_expr d type_int loc