runs with pypy