1with Unchecked_Conversion;
2
3package Loop_Optimization18_Pkg is
4
5   type Arr is array (Integer range <>) of Natural;
6
7   type Rec (UB : Integer) is record
8      L : Arr (1 .. UB);
9   end record;
10
11   type Byte_Array_Type is new String (1..4);
12
13   function Conv is new Unchecked_Conversion (Byte_Array_Type, Integer);
14
15end Loop_Optimization18_Pkg;
16