in benchmarks/benchmark.c [76:79]
void random_bignum(uint64_t k,uint64_t *a) { int d = ((unsigned) rand() & 0xFFFF) % 65; random_bignumd(k,a,d); }