bugs counter example