SEP_3              81 src/dps8/bsd_random.c   SEP_0, SEP_1, SEP_2, SEP_3, SEP_4
SEP_3              93 src/dps8/bsd_random.c static long *fptr     = &randtbl[SEP_3 + 1];
SEP_3              98 src/dps8/bsd_random.c static int  rand_sep  = SEP_3;
SEP_3             167 src/dps8/bsd_random.c       rand_sep  = SEP_3;