hafvm