Consider the code

object eventual: [...  ^3]
...
^4

Depending on the missing code, it could return either 3 or 4.  If not,
something is very strange, and the language is no longer Smalltalk.

If you get rid of non-local returns, the language is no longer
Smalltalk.  it might be a good language, but it is not Smalltalk.

-Ralph