スタック上の余分なスペースを消費しません。アドレスを含むコンテキストスタックにプッシュします。そのサブルーチンまたはブロックの実行が継続されます。ライブラリ関数の上に構築されています。スタック上の上位のものは失われます。値を保存すべき理由です。実行するということです。ループなどに入り、考えられる例外リターンを処理します。ブロックを呼び出すなど、最終的なクリーンアップが実行されます。このようになっています。これにより、通常は制御がガードに戻されます。ループへの再エントリを引き起こします。処理する通常の方法です。実行されることがあります。ループをポップさせますが、これは明らかに正しくありません。使用してフラグを設定するだけです。現在のループでは実行されません。ブロックに続くコードの実行は依然として内側のループで実行されます。比較し、両者が異なる場合は例外を再スローします。このようにして、内側のループはポップされます。コンテキストスタックにプッシュします。