99
    ...
   begin -- Insert
      while I <= J loop  -- binary search
         K := I + (J - I) / 2;
         Data_Vector.Update_Element (K, Process_K'Access);
         if Done then
            return;
         end if;
      end loop;
      Data_Vector.Insert (I, Data_Type'(Word'Length, Word, 1));
      -- Word wasn't found: insert new word with count=1.
   end Insert;