resolve_everything :: (vm: *Vm) { }