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;