using better names for exported counters