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