tfm_read_ds	 468 src/vflmkt1.c	  ds = tfm_read_ds(texfont);
tfm_read_ds	 500 src/vflmkt1.c	  ds = tfm_read_ds(texfont);