-- { dg-do compile }
-- { dg-options "-gnatws" }
with Slice8_Pkg1;
with Slice8_Pkg3;
procedure Slice8 is
package Bp is new Slice8_Pkg3 (Slice8_Pkg1);
begin
null;
end;