procedure_name;
| procedure_prefix actual_parameter_part;
function_name
| function_prefix actual_parameter_part
(parameter_association {, parameter_association})
[formal_parameter_selector_name =>] explicit_actual_parameter
Print_Header(128, Title, True); --see 6.1
Print_Header(128, Header => Title, Center => True); --see 6.1
Print_Header(Header => Title, Center => True, Pages => 128); --see 6.1
Clock --see 9.6
F.all --presuming F is of an access-to-subprogram type - see 3.10
After : in Process_Name := No_Process;
Wait : in Duration := 0.0;
Prior : in Boolean := False);
Activate(X, After => Y);
Activate(X, Wait => 60.0, Prior => True);
Activate(X, Y, 10.0, False);
Pair(Left => new Person, Right => new Person);
procedure Put(X : in String);
procedure Set(Signal : in Light);
Put("no possible ambiguity here");
Set(Signal => Red);
Set(Color'(Red));
--denote a value either of type Color or of type Light
procedure Print(Z : in out Integer);
. . .
Print(3); --Ambiguous!