69
M : Map;
procedure Op (K : KT; E : ET) is
begin
   M.Include (K, E);  -- replaces key too
end;
procedure Op2 (K : KT; E : ET) is
   C : Cursor;
   B : Boolean;
begin
   M.Insert (K, E, C, B);
   if not B then
      Replace_Element (C, By => E);
   end if;
end Op2;