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