Re: [Python-Dev] A fast startup patch (was: Python startup time)