fill_random_seed  599 random.c           fill_random_seed(buf, DEFAULT_SEED_CNT);
fill_random_seed 1541 random.c           fill_random_seed(initial_seed, DEFAULT_SEED_CNT);
fill_random_seed 1556 random.c           fill_random_seed(initial, DEFAULT_SEED_CNT);