RED
x->asb_parent->asb_parent->asb_color = RED;
if ((y != NULL) && (y->asb_color == RED)) {
x->asb_parent->asb_parent->asb_color = RED;
x->asb_parent->asb_parent->asb_color = RED;
if ((w != NULL) && (w->asb_color == RED)) {
p->asb_color = RED;
w->asb_color = RED;
w->asb_color = RED;
if ((w != NULL) && (w->asb_color == RED)) {
p->asb_color = RED;
w->asb_color = RED;
w->asb_color = RED;
x->asb_color = RED;
while ((x != *root) && (x->asb_parent->asb_color == RED)) {
if ((y != NULL) && (y->asb_color == RED)) {
x->asb_parent->asb_parent->asb_color = RED;