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