genrand_initialized  136 random.c           if (!genrand_initialized(mt)) init_genrand(mt, 5489UL);
genrand_initialized  483 random.c           if (!genrand_initialized(mt)) {