rand_init
201 random.c old = rand_init(seed);
rand_init
217 random.c rand_init(random_seed());