Interesting. Looking at the proposal it seems specific to main() and not any void returning function, by automatically picking an exit status. I suppose I worry the construct has a lack of control (log diagnostics, exit status, cleaning, etc) when bailing and can’t handle eg continue, break too.

exit status and cleaning should be just fine, logging or something else would need to not do it, yeah. continue and break would be weird outside of loops.