variable_name := expression;
type P2 is access R2;
function F return P2;
begin
F.all := X; -- Right hand side helps resolve left hand side
Shade := Blue;
U := Dot_Product(V, W); --see 6.3
Next_Car.all := (72074, null); --see 3.10.1
K : Integer range 1 .. 20 := 15;
...
K := J; --compatible ranges
J := K; --will raise Constraint_Error if K > 10
B : String(3 .. 33);
...
A(4 .. 12) := A(1 .. 9); --A(1 .. 12) = "tartar sauce"