To extend the language to avoid undefined behavior when using control-flow constructs that cross between language boundaries.
The "MVP" for unwinding, with remaining open questions, was specified in RFC-2945.
This is under active discussion in Zulip.