Re: Popek and Goldberg virtualization requirements