Re: [pypy-dev] performance problems with Krakatau