[examples] counter example