-- Control --------------------------------------------------------------------
-- | Return some result saying we've failed.
noV :: VM a
-- Control --------------------------------------------------------------------
-- | Return some result saying we've failed.
noV :: VM a