package Loop_Optimization6 is
  A : Integer := 0;
  procedure Main;
end Loop_Optimization6;