rand_init         367 random.c           default_mt.seed.value = rand_init(&default_mt.mt, seed);
rand_init         484 random.c       	rand_init(mt, random_seed());