Code Editor : rbtree_augmented.h