Change Counter() signature: return struct instead of pointer