pypy translation