I guess they have an initial round of this in a diverged interpreter called

pypy-stm