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