package Loop_Optimization3_Pkg is

  function F (n : Integer) return Integer;

end Loop_Optimization3_Pkg;