71
procedure Op (N : Count_Type) is
  M : Map;
begin
  M.Reserve_Capacity (N);  -- Capacity >= N
  for I in Count_Type range 1 .. N loop
    M.Insert -- no resizing will occur
      (Key       => New_Key (I),
       New_Item  => New_Element (I));
  end loop;
  ...
end Op;