init_genrand      106 random.c           init_genrand(mt, 19650218UL);
init_genrand      136 random.c           if (!genrand_initialized(mt)) init_genrand(mt, 5489UL);
init_genrand      264 random.c               init_genrand(mt, buf[0]);