done_reseed        35 lib/util/genrand.c static bool done_reseed = false;
done_reseed        59 lib/util/genrand.c 	done_reseed = false;
done_reseed       226 lib/util/genrand.c 	if(!done_reseed) {
done_reseed       242 lib/util/genrand.c 		done_reseed = true;