Turns out we also run on pypy