in benchmarks/benchmark.c [599:604]
void call_bignum_mux16__32() { int i, j; for (i = 0; i < 16; ++i) for (j = 0; j < 32; ++j) bb[i][j] = b1[(i+j)%BUFFERSIZE]; repeat(bignum_mux16(32,b0,(uint64_t *)bb,b2[0]%16)); }