Fijal <fijall at gmail.com> added the comment: So, what should we do with it? Put it somewhere in the pypy repo (like tool/)? ________________________________________ PyPy bug tracker <tracker at bugs.pypy.org> <https://bugs.pypy.org/issue1204> ________________________________________