1package Discr34_Pkg is
2
3   function N return Natural;
4
5   type Enum is (One, Two);
6
7   type Rec (D : Enum := One) is record
8      case D is
9	 when One => S : String (1 .. N);
10	 when Two => null;
11      end case;
12   end record;
13
14   function F return Rec;
15
16end Discr34_Pkg;
17