checking that we get the counters right