SEP_3
{ SEP_0, SEP_1, SEP_2, SEP_3, SEP_4 },
&_randominit.randtbl[ SEP_3 + 1 ],
TYPE_3, DEG_3, SEP_3,
rp->rand_sep = SEP_3;
static int *tcp_random_fptr = &tcp_randtbl[SEP_3 + 1];
tcp_random_fptr = &tcp_random_state[SEP_3];
static int *tcp_random_fptr = &tcp_randtbl[SEP_3 + 1];
tcp_random_fptr = &tcp_random_state[SEP_3];