simple counter example
simple counter example