method pp_tau_pointer = pp_string "pointer"