* splay-tree.c (splay_tree_xmalloc_allocate,