let exp_constant_zero = let d = (CTTexpConstant (CTTconstInteger zero_big_int)) in fun ~loc -> make_expr d type_int loc