itree_rotate_right  636 src/itree.c    	      itree_rotate_right (tree, node->parent->parent);
itree_rotate_right  656 src/itree.c    		  itree_rotate_right (tree, node);
itree_rotate_right  842 src/itree.c    		  itree_rotate_right (tree, other);
itree_rotate_right  861 src/itree.c    	      itree_rotate_right (tree, parent);
itree_rotate_right  886 src/itree.c    	      itree_rotate_right (tree, parent);