Re: [pypy-dev] RPython I/O