let exp_constant_one_ptrdiff_t = let d = (CTTexpConstant (CTTconstInteger unit_big_int)) in fun ~loc -> make_expr d type_ptrdiff_t loc