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