rand_state         75 rand.c         static rand_state state0;		/* Default state structure */
rand_state         77 rand.c         static rand_state *state;		/* Pointer to current state */
rand_state        159 rand.c         rand_state *rand_get_state (void)
rand_state         33 rand.h         rand_state *rand_get_state (void);  /* Return pointer to current state */