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