init_genrand     103 random.c           if (initf==0) init_genrand(5489UL);
init_genrand     168 random.c           init_genrand(seed);