rb_trees.cpp