RAND_MAX_X       2420 src/w32.c        ix = (171 * ix) % RAND_MAX_X;
RAND_MAX_X       2443 src/w32.c        ix = rand () % RAND_MAX_X;