rbtree_augmented.h revision 3cb7a563
1