Inexamples/counter.py, I had to import from__main__ which is a bit ugly.

So, move stuff so that importing from dunder modules is not needed.