7.86.2 LEAVE についてのコメント/警告

LEAVEループ変更コマンドは以下のように動作します。
                   <ループ・コマンド>
              ---- LEAVE
             |
             |     <ループ終了コマンド>
              --->
 
<ループ・コマンド>および<ループ終了コマンド>として、以下のコマンドを使用できます。