rand_as183       2433 src/w32.c        return ((rand_as183 () << 30) | (rand_as183 () << 15) | rand_as183 ());
rand_as183       2435 src/w32.c        return ((rand_as183 () << 15) | rand_as183 ());