Re: [pypy-dev] JSON decoder speed-up