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