random_seed       361 random.c       	seed = random_seed();
random_seed       484 random.c       	rand_init(mt, random_seed());