RB_ROTATE_RIGHT   425 libbase/jemtree.h 			RB_ROTATE_RIGHT(head, gparent, tmp, field);	\
RB_ROTATE_RIGHT   435 libbase/jemtree.h 				RB_ROTATE_RIGHT(head, parent, tmp, field);\
RB_ROTATE_RIGHT   475 libbase/jemtree.h 					RB_ROTATE_RIGHT(head, tmp, oleft, field);\
RB_ROTATE_RIGHT   490 libbase/jemtree.h 				RB_ROTATE_RIGHT(head, parent, tmp, field);\
RB_ROTATE_RIGHT   515 libbase/jemtree.h 				RB_ROTATE_RIGHT(head, parent, tmp, field);\