x = pa[k - 1]; y = pa[k - 2]->rb_link[0] = q; x->rb_link[1] = y->rb_link[0]; q = y->rb_link[0] = x;