Stefan Monnier <monnier@IRO.UMontreal.CA> writes:

>  I wonder why we do that, tho:
> the previous code didn't have a comment, so I'm left guessing that maybe
> it's that we don't want to advertise as "will stop when exiting foo"
> a function which we're exiting?

I tried git-blame, but that code seems to have been like that since
"initial revision" (1991).  I think your guess sounds reasonable.

Anyway, here are the updated patches.