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