4 rbtree.inl