88
M : String_Integer_Maps.Map;
...
procedure Insert (Word : String) is
  procedure Increment (K : String; E : in out Integer) is
     pragma Unreferenced (K);
  begin
     E := E + 1;  -- this is the count
  end;
  C : Cursor;
  B : Boolean;
begin
  M.Insert (Word, 0, C, B); -- yes, try to insert 0
  Update_Element (C, Increment'Access);
end Insert;