simple broken counter example