Re: [Python-Dev] Benchmarking Python and micro-optimizations