英文版 虚拟机规范