a virtual execution environment