let print_c_constants = function | CTTconstNull -> "NULL" | CTTconstInteger n -> string_of_big_int n | CTTconstFloat n -> string_of_float n | CTTconstString s -> "\""^(String.escaped s)^"\""