A Virtual Machine for PS2 Development