[ << label_name >> ] FOR record_name IN { cursor_name [ ( cursor_parameter_name [ [,] cursor_parameter_name ]... )] | ( select_statement ) } LOOP statement... END LOOP [label_name] ;