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;