package body Loop_Optimization16_Pkg is

  function F return Natural is
  begin
    return Natural (Index_Base'Last);
  end;

end Loop_Optimization16_Pkg;