add a resetCounts instruction