/**
* Remove a pair from the mapping. This operation removes a (key,id) pair from the mapping.
*
* @param key is the key whose id is to be released
*/
public void dropPair(long key) {
int id = ht.lookup(key);
if (id == 0) return;
ht.remove(key);
ids.swap(id);
cnt--;
}
