rbtree_augmented.h revision d72da4a4
1