[pypy-dev] virtualization migration