debugging counters