loop_statement

loop_statement ::= "LOOP" statement { ";" statement } "END" 

[rule list]
This rule is called by

-> statement