When control flow semantics leak

Interesting comments by Mark on my last post (in case you don’t follow my comments).