let
c_int_of_str s =
ConstInt
s