The semantics are much more restricted than goto. (a goto could always create a loop but situation indicators don't; a goto can jump between binding contours bu

The semantics are much more restricted than goto. (a goto could always create a loop but situation indicators don't; a goto can jump between binding contours but situation indicators don't; etc.) I think of it as an imperative way to pretend you're writing a tail-recursive nest with multiple base cases.