uint64_t random64()

in benchmarks/benchmark.c [64:67]


uint64_t random64(void)
{ int d = ((unsigned) rand() & 0xFFFF) % 65;
  return random64d(d);
}