void initialize(int level)
{
topLevel = level;
pools.resize(topLevel + 1);
size_t max = topLevel / 63 + 1;
tmp1.setArray(pools[topLevel].template allocate<uint64_t>(max));
tmp2.setArray(pools[topLevel].template allocate<uint64_t>(max));
}
void initialize(int level) {
topLevel = level;
pools.resize(topLevel + 1);
int max = ceil(double(topLevel) * log2(double(ARITY)) / 63.0) + 1;
tmp1.setArray(pools[topLevel].allocate<uint64_t>(max));
tmp2.setArray(pools[topLevel].allocate<uint64_t>(max));
tmp3.setArray(pools[topLevel].allocate<uint64_t>(max));
}