It's probably a good idea to do #5 first, to make sure that `vm` reaches a stage where it can use the cleaned up `vmc` before letting `vmc` go 64-bit.
It's probably a good idea to do #5 first, to make sure that
vmreaches a stage where it can use the cleaned upvmcbefore lettingvmcgo 64-bit.