I was researching some bits and found that pypy already supports PGO (https://pythonfiles.wordpress.com/2017/05/12/enabling-profile-guided-optimizations-for-pypy/). It looks like it's called 'profopt'. Could we wire up USE=pgo to control this for translation? (I've not tried it at all.)