2 -- { dg-options "-gnatVa" }
4 with Unchecked_Conversion;
6 procedure Unchecked_Convert3 is
8 type Word is range -(2**15) .. (2**15) - 1;
9 type UWord is mod (2**16);
11 function To_Word is new unchecked_conversion (UWord, Word);
13 function F return UWord is
18 W : Word := To_Word(F);