read_tex_ttf2	 481 src/vflmkajt.c	  read_tex_ttf2(stdin, "standard input");
read_tex_ttf2	 484 src/vflmkajt.c	    read_tex_ttf2(fp, f);