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