>>274
if節とelse節に別の名前をつけてるというより、
ifとelseで実行されるコードにそれぞれ別の名前をつけてるんです。

label ( OUTER_LABEL )
　if (...)
　　label( IF_LABEL )
　　{
　　　retry IF_LABEL; ブロックのはじめからやり直し。
　　　retry OUTER_LABEL; ifのはじめからやり直し、比較も行い、場合によってはelse節へ。
　　}