Update vm.h