1 2 3 4 5 6 7 8 9 10
package body Aliasing3_Pkg is procedure Test (A : Arr) is begin if A(1) /= 5 then raise Program_Error; end if; end; end Aliasing3_Pkg;