1generic
2
3   type Value is private;
4   Init_Val : Value;
5
6package Opt25_Pkg2 is
7
8   type Stack (Size : Natural) is private;
9
10   function Default_Stack return Stack;
11
12private
13   type Value_Array is array (Natural range <>) of Value;
14
15   type Stack (Size : Natural) is record
16      Store : Value_Array (1 .. Size);
17   end record;
18
19   Default_Stack_Var : Stack (10);
20end Opt25_Pkg2;
21