let c_int_of_str s = ConstInt s