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