The essence of badness of GOTO is <i>precisely</i> that it is not &quot;specific&quot;. When a higher level language restricts it, it is no longer the &quot;bad goto&quot; that structured programmers warned against. The problem isn&#x27;t &quot;transferring control flow&quot;, it was the ability to do it completely unrestricted.