TAUSWORTHE         52 lib/random32.c 	state->s1 = TAUSWORTHE(state->s1, 13, 19, 4294967294UL, 12);
TAUSWORTHE         53 lib/random32.c 	state->s2 = TAUSWORTHE(state->s2, 2, 25, 4294967288UL, 4);
TAUSWORTHE         54 lib/random32.c 	state->s3 = TAUSWORTHE(state->s3, 3, 11, 4294967280UL, 17);