rbtree_rotate_right
rbtree_rotate_right(rbtree, node->parent->parent);
rbtree_rotate_right(rbtree, node);
rbtree_rotate_right(rbtree, child_parent);
rbtree_rotate_right(rbtree, sibling);
rbtree_rotate_right(rbtree, child_parent);
static void rbtree_rotate_right(rbtree_type *rbtree, rbnode_type *node);
rbtree_rotate_right(rbtree, node->parent->parent);
rbtree_rotate_right(rbtree, node);
static void rbtree_rotate_right(rbtree_type *rbtree, rbnode_type *node);
rbtree_rotate_right(rbtree, child_parent);
rbtree_rotate_right(rbtree, sibling);
rbtree_rotate_right(rbtree, child_parent);
rbtree_rotate_right(rbtree, node->parent->parent);
rbtree_rotate_right(rbtree, node);
rbtree_rotate_right(rbtree, child_parent);
rbtree_rotate_right(rbtree, sibling);
rbtree_rotate_right(rbtree, child_parent);
static void rbtree_rotate_right(rbtree_type *rbtree, rbnode_type *node);