1package Discr36 is
2
3  type R (D : Boolean := True) is record
4    case D is
5      when True  => I : Integer;
6      when False => null;
7    end case;
8  end record;
9
10  function N return Natural;
11
12end Discr36;
13