init_genrand      141 random.c           init_genrand(mt, 19650218U);
init_genrand      383 random.c               init_genrand(mt, buf[0]);