[Python-Dev] Fun with timeit.py