bufSz            2931 src/dps8/dps8_sys.c     char filebuf[bufSz];
bufSz            2942 src/dps8/dps8_sys.c         char * bufp = fgets (filebuf, bufSz, fp);