I will link How to create invisible label? - #8 by Andrew to again mention that cs =+ 1 will return none and that for integer number counting using counter over state is the preferred way. And subsequently, all counters are initialized with 0 value, and therefore you don’t need to explicitly set it in any way.