basic_loop_statement ::=
 [<< label_name >>] LOOP statement [statement]...
END LOOP [label_name];