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