deriving a vm from norvig's scheme