__prandom_reseed  294 lib/random32.c 	__prandom_reseed(true);
__prandom_reseed  299 lib/random32.c 	__prandom_reseed(false);