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