package Loop_Optimization14_Pkg is

   procedure Proc (B : in out Boolean);

end Loop_Optimization14_Pkg;