SPLAY_ROTATE_LEFT  230 libbase/jemtree.h 				SPLAY_ROTATE_LEFT(head, __tmp, field);	\
SPLAY_ROTATE_LEFT  266 libbase/jemtree.h 				SPLAY_ROTATE_LEFT(head, __tmp, field);	\