if N > 100 then --Preference for root_integer "<" operator.
...
end if;
type A is access T;
type T is array(Integer range 1..10) of A;
I : Integer := 3;
function F(X : Integer := 7) return A;
Y : A := F(I); --Ambiguous? (We hope so.)