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)^"\""