let convert_constant = function
    CTTconstNull -> PconstInteger "0"
  | CTTconstInteger e -> PconstInteger (string_of_big_int e)
  | CTTconstFloat e -> PconstFloat (string_of_float e)
  | CTTconstString s -> PconstString ([encode_c_string s])