RB_ROTATE_RIGHT   429 include/tree.h       RB_ROTATE_RIGHT(head, gparent, tmp, field);                             \
RB_ROTATE_RIGHT   439 include/tree.h         RB_ROTATE_RIGHT(head, parent, tmp, field);                            \
RB_ROTATE_RIGHT   480 include/tree.h           RB_ROTATE_RIGHT(head, tmp, oleft, field);                           \
RB_ROTATE_RIGHT   495 include/tree.h         RB_ROTATE_RIGHT(head, parent, tmp, field);                            \
RB_ROTATE_RIGHT   520 include/tree.h         RB_ROTATE_RIGHT(head, parent, tmp, field);                            \