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