vf_dvi_interp_font_select 793 src/vf.c	vf_dvi_interp_font_select(vf, dvi_stack, f, &fmag);
vf_dvi_interp_font_select 731 src/vf.c	     vf_dvi_interp_font_select(vf, dvi_stack, f, &fmag);