arg_state         127 src/dps8/bsd_random.c bsd_initstate(unsigned int seed, char *arg_state, int n)
arg_state         176 src/dps8/bsd_random.c   state   = &(((long *)arg_state )[1] );
arg_state         192 src/dps8/bsd_random.c bsd_setstate(char *arg_state)
arg_state         194 src/dps8/bsd_random.c   register long *new_state = (long *)arg_state;
arg_state          48 src/dps8/bsd_random.h char *bsd_setstate(char *arg_state);
arg_state          50 src/dps8/bsd_random.h char *bsd_initstate(unsigned int seed, char *arg_state, int n);