SPIDLEN           132 src/dps8/shm.c   char spid[SPIDLEN];
SPIDLEN           160 src/dps8/shm.c           while (( pch = fgetc(lck_fp)) != EOF || fct < SPIDLEN)
SPIDLEN           202 src/dps8/shm.c   (void)snprintf(spid, SPIDLEN, "%ld ", (long)getpid());