3 package Loop_Optimization8_Pkg1 is
5 type Array_T is array (Positive range <>) of Natural;
7 type Array_Access_T is access Array_T;
9 type T is new Ada.Finalization.Controlled with record
11 Elements : Array_Access_T;
14 Empty : T := (Ada.Finalization.Controlled with Last => 0, Elements => null);
17 with procedure Action (Info : Natural);
20 end Loop_Optimization8_Pkg1;