10 ; hafwandes defvm