counters: add getters