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