-- { dg-do compile }

with Prot2_Pkg1;
with Prot2_Pkg2;

package body Prot2 is

   type A is array (1 .. Prot2_Pkg1.Num) of Integer;

   type E is (One, Two);

   type Rec (D : E := One) is record
      case D is
         when One => L : A;
         when Two => null;
      end case;
   end record;

   package My_Pkg2 is new Prot2_Pkg2 (Rec);

   procedure Dummy is begin null; end;

end Prot2;