BLACK
x->asb_parent->asb_color = BLACK;
x->asb_parent->asb_color = BLACK;
y->asb_color = BLACK;
x->asb_parent->asb_color = BLACK;
(*root)->asb_color = BLACK;
if (old_color == BLACK)
while ((x != *root) && ((x == NULL) || (x->asb_color == BLACK))) {
w->asb_color = BLACK;
(w->asb_left->asb_color == BLACK)) &&
(w->asb_right->asb_color == BLACK))) {
(w->asb_right->asb_color == BLACK)) {
w->asb_left->asb_color = BLACK;
p->asb_color = BLACK;
w->asb_right->asb_color = BLACK;
w->asb_color = BLACK;
(w->asb_left->asb_color == BLACK)) &&
(w->asb_right->asb_color == BLACK))) {
(w->asb_left->asb_color == BLACK)) {
w->asb_right->asb_color = BLACK;
p->asb_color = BLACK;
w->asb_left->asb_color = BLACK;
x->asb_color = BLACK;
x->asb_parent->asb_color = BLACK;
y->asb_color = BLACK;