rbtree_augmented.h revision 11d43e62
1