fill_random_seed  336 random.c           fill_random_seed(buf);
fill_random_seed  535 random.c           fill_random_seed(default_mt.seed.initial);