Use pypy.