Quitting to command loop in Elisp https://oremacs.com/2015/07/16/callback-quit/ (essentially a GOTO with stack replacement!)