SPLAY_ROTATE_LEFT  227 sys/tree.h     				SPLAY_ROTATE_LEFT(head, __tmp, field);	\
SPLAY_ROTATE_LEFT  263 sys/tree.h     				SPLAY_ROTATE_LEFT(head, __tmp, field);	\