1package body Loop_Optimization17_Pkg is 2 3 function F (V : Vector) return Vector is begin return V; end; 4 5end Loop_Optimization17_Pkg; 6