package body Loop_Optimization3_Pkg is

  function F (n : Integer) return Integer is
  begin
    return n;
  end;

end Loop_Optimization3_Pkg;