package Loop_Optimization3_Pkg is function F (n : Integer) return Integer; end Loop_Optimization3_Pkg;