52 void initialize_randomness(mt19937_64& mt64, const int argc, char** const argv) {  in initialize_randomness()  argument
101     mt64.seed(seq);  in initialize_randomness()
106         printf("0x%016llX\n", static_cast<unsigned long long>(mt64()));  in initialize_randomness()
771 void test_floating_prefixes(mt19937_64& mt64) {  in test_floating_prefixes()  argument
776             const uint64_t val = mt64();  in test_floating_prefixes()
795             const uint32_t val = static_cast<uint32_t>(mt64());  in test_floating_prefixes()
975 void all_floating_tests(mt19937_64& mt64) {  in all_floating_tests()  argument
976     test_floating_prefixes(mt64);  in all_floating_tests()
1085     mt19937_64 mt64;  in main()  local
1087     initialize_randomness(mt64, argc, argv);  in main()
1091     all_floating_tests(mt64);  in main()