32 bit counters in example