make_seed_value   600 random.c           v = make_seed_value(buf, DEFAULT_SEED_CNT);
make_seed_value  1558 random.c           seed = make_seed_value(initial, DEFAULT_SEED_CNT);