package Discr54_Pkg is

  type E_TYPE is (A_KIND, B_KIND, C_KIND, X_KIND);

  type DR0 (V : E_TYPE) is tagged
    record
      I0 : INTEGER;
      case V is
        when A_KIND | B_KIND =>
          I1 : INTEGER;
          I2 : INTEGER;
        when C_KIND | X_KIND =>
          I3 : INTEGER;
      end case;
    end record;

  type DN1 is new DR0 (V => A_KIND) with
    record
      I4 : INTEGER;
      I5 : INTEGER;
    end record;

  type DR1 (W : E_TYPE) is new DR0 (V => A_KIND) with
    record
      I4 : INTEGER;
      case W is
        when A_KIND | B_KIND =>
          I5 : INTEGER;
        when C_KIND | X_KIND =>
          I6 : INTEGER;
      end case;
    end record;

  type DD1 (W : E_TYPE; V : E_TYPE) is new DR0 (V => V) with
    record
      I4 : INTEGER;
      case W is
        when A_KIND | B_KIND =>
          I5 : INTEGER;
        when C_KIND | X_KIND =>
          I6 : INTEGER;
      end case;
    end record;

  type DR2 is new DR1 (W => A_KIND) with
    record
      I7 : INTEGER;
    end record;

  V0 : constant DR0 := DR0'(I0 => 0,
                            V  => A_KIND,
                            I1 => 0,
                            I2 => 0
                           );

  N1 : constant DN1 := DN1'(V  => A_KIND,
                            I0 => 0,
                            I1 => 0,
                            I2 => 0,
                            I4 => 0,
                            I5 => 0);

  N2 : constant DN1 := DN1'(V  => A_KIND,
                            I0 => 0,
                            I1 => 0,
                            I2 => 0,
                            I4 => 0,
                            I5 => 0);

  D1 : constant DD1 := DD1'(W  => A_KIND,
                            V  => A_KIND,
                            I0 => 0,
                            I1 => 0,
                            I2 => 0,
                            I4 => 0,
                            I5 => 0);

  V1 : constant DR1 := DR1'(W  => A_KIND,
                            I0 => 0,
                            I1 => 0,
                            I2 => 0,
                            I4 => 0,
                            I5 => 0);

  V3 : constant DR2 := DR2'(V1 with I7 => 0);
  V2 : constant DR2 := DR2'(
                            --  V  => A_KIND,  --  needed???
                            W  => A_KIND,
                            I0 => 0,
                            I1 => 1,
                            I2 => 2,
                            I4 => 4,
                            I5 => 5,
                            I7 => 7);

  pragma Assert (
      V2.I0 = 0
    and then V2.I1 = 1
    and then V2.I1 = 1
    and then V2.I2 = 2
    and then V2.I4 = 4
    and then V2.I5 = 5
    and then V2.I7 = 1);

end Discr54_Pkg;