modified:   xvm/XVM.xc