rbtree_augmented.h revision 2075b16e
1