procedure defining_program_unit_name parameter_profile
| function defining_designator parameter_and_result_profile
(parameter_specification {; parameter_specification})
defining_identifier_list : mode subtype_mark [:= default_expression]
| defining_identifier_list : access_definition [:= default_expression]
procedure Increment(X : in out Integer);
procedure Right_Indent(Margin : out Line_Size); --see 3.5.4
procedure Switch(From, To : in out Link); --see 3.10.1
function Next_Frame(K : Positive) return Frame; --see 3.10
function Dot_Product(Left, Right : Vector) return Real; --see 3.6
Header : in Line := (1 .. Line'Last => ' '); --see 3.6
Center : in Boolean := True);