7 procedure Opt25 (B1, B2 : in out Boolean) is
9 package Local_Pack_Instance is new Opt25_Pkg1 (Boolean, True);
11 package Local_Stack is new Opt25_Pkg2 (Integer, 0);
13 S : Local_Stack.Stack := Local_Stack.Default_Stack;
16 Local_Pack_Instance.Swap (B1, B2);