method pp_term_real = Format.pp_print_string