SPLAY_LEFT_STEP
SPLAY_LEFT_STEP(root, y, left, right,
SPLAY_LEFT_STEP(hi, y, root, right, true);
SPLAY_LEFT_STEP(root, y, llist, rlist,