#52: translated counters