1-- { dg-do run }
2
3with Discr42_Pkg; use Discr42_Pkg;
4
5procedure Discr42 is
6
7  R : Rec;
8  Pos : Natural := 1;
9
10begin
11
12  R := F (Pos);
13
14  if Pos /= 2 then
15    raise Program_Error;
16  end if;
17
18  if R /= (D => True, N => 4) then
19    raise Program_Error;
20  end if;
21
22end;
23