Added return type annotations to alterVm*