1package body Loop_Optimization1_Pkg is
2
3  type Unconstrained_Array_Type
4    is array (Index_Type range <>) of Element_Type;
5
6  procedure Local (UA : in out Unconstrained_Array_Type) is
7  begin
8    null;
9  end;
10
11  procedure Proc (CA : in out Constrained_Array_Type) is
12  begin
13    Local (Unconstrained_Array_Type (CA));
14  end;
15
16end Loop_Optimization1_Pkg;
17