SPLAY_ROTATE_RIGHT  220 libbase/jemtree.h 				SPLAY_ROTATE_RIGHT(head, __tmp, field);	\
SPLAY_ROTATE_RIGHT  256 libbase/jemtree.h 				SPLAY_ROTATE_RIGHT(head, __tmp, field);	\