counters are now default type