SPLAY_RIGHT_STEP
SPLAY_RIGHT_STEP(root, y, left, right,
SPLAY_RIGHT_STEP(lo, y, left, root, true);
SPLAY_RIGHT_STEP(root, y, llist, rlist,