Add an explicit hash_delete() function.