struct rtrb_node *y = w->rtrb_link[0];
y->rtrb_color = RTRB_BLACK;
w->rtrb_color = RTRB_RED;
w->rtrb_link[0] = y->rtrb_link[1];
y->rtrb_link[1] = w;
w = pa[k - 1]->rtrb_link[1] = y;

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