pushed counter example