This is true, of course. So, would still need something like End to catch those cases. (Though the implicit return at the body's end could be "hand modified".)