1package Range_Check3_Pkg is 2 type Array_Type is array (Positive range <>) of Integer; 3 type Array_Access is access Array_Type; 4 5 function One return Positive; 6 function Zero return Natural; 7 8 function Allocate return Array_Access; 9end Range_Check3_Pkg; 10