package Aliasing2 is
type Arr is Array (1..4) of Integer;
type Ptr is access all Integer;
A : Arr;
function F (P : Ptr) return Integer;
end Aliasing2;