Do we know if exiting vim is solvable in all cases, or would that require some deeper result like solving P = NP?