Issue #42: counter