Re: [Python-Dev] New SRE core dump (was: SRE 0.9.8 benchmarks)