•ラベルは、ブロックに名前を付けるためのオプションの識別子です。 REPEATステートメントは、LEAVEステートメントおよびITERATEステートメントで使用するためのものです。 LEAVEおよびITERATEを参照してください。

•開始ラベルが存在する場合、終了ラベルは必要ありません。開始ラベルが存在しない場合、終了ラベルを付けることは違法です。開始ラベルと終了ラベルの両方が存在する場合は、両方が同じIDを持っている必要があります。

•<statements>領域には、0個以上のステートメントを含めることができます。