Re: [pypy-dev] Poor performance for Krakatau