vfprintf          686 src/dps8/dps8_mgp.c   vfprintf(tempdiag3_fp, fmt, ap);
vfprintf         10811 src/simh/scp.c     ret = vfprintf (f, fmt, args);