1--  { dg-do compile }
2
3with discr1; use discr1;
4
5package body discr2 is
6
7  procedure Copy (Dataset : in out C_Type) is
8    Last_Char : Positive := 300;
9  begin
10    while (Last_Char > 40) loop
11      Last_Char := Last_Char - 1;
12    end loop;
13
14    Assign (Dataset.Designator (1 .. Last_Char));
15  end;
16
17  procedure Dummy is
18  begin
19    null;
20  end Dummy;
21
22end discr2;
23