headers for rbtree_util