pa[k - 1]->rb_color = y->rb_color = RB_BLACK; q->rb_color = RB_RED; k -= 2;