rbtree.c: rb_delete_max
rbtree.c: rb_delete_max