vf_sexp_pp_fp	 548 src/texfonts.c	  vf_sexp_pp_fp(u, stderr);
vf_sexp_pp_fp	 254 src/texfonts.c	    vf_sexp_pp_fp(t, stderr);
vf_sexp_pp_fp	 721 src/texfonts.c	    vf_sexp_pp_fp(t, stderr);