6 void twister_init_genrand64(uint64_t seed);
7 void twister_init_by_array64(uint64_t init_key[], uint64_t key_length);
8 uint64_t twister_genrand64_int64();
9 int64_t twister_genrand64_int63();
10 double twister_genrand64_real1();
11 double twister_genrand64_real2();
12 double twister_genrand64_real3();