(macro) exit after possibly saving the state
Example and General Form: ex
Same as exit, except that first the instruction save is executed.
If save queries the user and is answered negatively, then the exit is aborted.
