package body Loop_Optimization17_Pkg is

  function F (V : Vector) return Vector is begin return V; end;

end Loop_Optimization17_Pkg;