Not sure whether it makes sense to publicly document this in the first place, at least not without a big red warning, as it seems that it is never legal to call this from user code (except if you directly invoke `exit`/`abort`?).