* splay-tree.c (splay_tree_remove): New.