Putting dispatch_vm() back in