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])