rn_right
p->rn_right = x;
x->rn_right->rn_parent = x;
x = t->rn_right;
if (p->rn_right == t)
p->rn_right = x;
t->rn_right->rn_parent = t;
p->rn_right = t;
while (rn->rn_parent->rn_right == rn &&
for (rn = rn->rn_parent->rn_right; rn->rn_bit >= 0; ) {
t->rn_right = ttt;
x = x->rn_right;
x = x->rn_right;
t = t->rn_right;
x = x->rn_right;
p->rn_right = t;
t->rn_right = x;
t->rn_right = tt;
x->rn_right = tt;
if (t->rn_right == saved_tt)
x = t->rn_right;
t->rn_right = x;