maybe this is all in pypy now?