COUNTER_BITWIDTH
return COUNTER_BITWIDTH;
if ((ctr & __BIT(COUNTER_BITWIDTH - 1)) != 0)
counters_offset[bit] += __BIT(COUNTER_BITWIDTH);