divs_ncounters
uint64_t counters[divs_ncounters];
divcounters = counters_alloc(divs_ncounters);
div6counters = counters_alloc(divs_ncounters);