w->rtrb_color = pa[k - 1]->rtrb_color;
pa[k - 1]->rtrb_color = RTRB_BLACK;
w->rtrb_link[0]->rtrb_color = RTRB_BLACK;

pa[k - 1]->rtrb_link[0] = w->rtrb_link[1];
w->rtrb_link[1] = pa[k - 1];
pa[k - 2]->rtrb_link[da[k - 2]] = w;

if (w->rtrb_rtag == RTRB_THREAD)
  {
    w->rtrb_rtag = RTRB_CHILD;
    pa[k - 1]->rtrb_link[0] = NULL;
  }
