rb_set_color      195 lib/util/rbtree.c 				rb_set_color(other, rb_color(parent));
rb_set_color      232 lib/util/rbtree.c 				rb_set_color(other, rb_color(parent));