-- { dg-do compile }
-- { dg-options "-O" }

with Opt25_Pkg1;
with Opt25_Pkg2;

procedure Opt25 (B1, B2 : in out Boolean) is

   package Local_Pack_Instance is new Opt25_Pkg1 (Boolean, True);

   package Local_Stack is new Opt25_Pkg2 (Integer, 0);

   S : Local_Stack.Stack := Local_Stack.Default_Stack;

begin
   Local_Pack_Instance.Swap (B1, B2);
end;