random_seed
196 random.c seed = random_seed();
random_seed
217 random.c rand_init(random_seed());