Armin Rigo <armin.rigo at gmail.com> added the comment: Sorry, I don't really know at the moment. This is more a "review needed" report. ________________________________________ PyPy bug tracker <tracker at bugs.pypy.org> <https://bugs.pypy.org/issue1709> ________________________________________