make_seed_value   337 random.c           return make_seed_value(buf);
make_seed_value   542 random.c           default_mt.seed.value = make_seed_value(default_mt.seed.initial);