rbtree_augmented.h revision 14bbe3e3
1