[ << label_name >> ]
LOOP
statement...
END
LOOP
[ label_name ] ;