let c_int i = ConstInt (string_of_int i)