in benchmarks/benchmark.c [64:67]
uint64_t random64(void) { int d = ((unsigned) rand() & 0xFFFF) % 65; return random64d(d); }