method pp_term_int = Format.pp_print_string