1package Discr9 is
2
3   type IArr is Array (Natural range <>) of Integer;
4   type CArr is Array (Natural range <>) of Character;
5
6   type Var_R (D1 : Boolean; D2 : Boolean) is record
7      case D1 is
8	 when True =>
9	    L : IArr (1..4);
10	    M1, M2 : CArr (1..16);
11	 when False =>
12	    null;
13      end case;
14   end record;
15
16   type R (D1 : Boolean; D2 : Boolean) is record
17      Field : Var_R (D1, D2);
18   end record;
19
20   procedure Proc (From : in R; To : out R);
21
22end Discr9;
23