New class: MutableCounterInt