method pp_tau_int = pp_string "int"