get_token	 374 src/vflmkt1.c	  v = get_token(texfont, buff, &x);
get_token	 375 src/vflmkt1.c	  v = get_token(psfont,	 buff, &x);
get_token	 377 src/vflmkt1.c	    v =	get_token(opt, buff, &x);