6.4.4 Symmetric Case

206. <Right-side rebalancing after RB insertion 206> =
struct rb_node *y = pa[k - 2]->rb_link[0];
if (y != NULL && y->rb_color == RB_RED)
  { 
    <Case 1 in right-side RB insertion rebalancing 207> 
  }
else 
  {
    struct rb_node *x;

    if (da[k - 1] == 1)
      y = pa[k - 1];
    else 
      { 
        <Case 3 in right-side RB insertion rebalancing 209> 
      }

    <Case 2 in right-side RB insertion rebalancing 208>
    break;
  }

This code is included in 201.

207. <Case 1 in right-side RB insertion rebalancing 207> =
<Case 1 in left-side RB insertion rebalancing 203>

This code is included in 206, 346, and 463.

208. <Case 2 in right-side RB insertion rebalancing 208> =
x = pa[k - 2];
x->rb_color = RB_RED;
y->rb_color = RB_BLACK;

x->rb_link[1] = y->rb_link[0];
y->rb_link[0] = x;
pa[k - 3]->rb_link[da[k - 3]] = y;

This code is included in 206, 347, and 465.

209. <Case 3 in right-side RB insertion rebalancing 209> =
x = pa[k - 1];
y = x->rb_link[0];
x->rb_link[0] = y->rb_link[1];
y->rb_link[1] = x;
pa[k - 2]->rb_link[1] = y;

This code is included in 206, 348, and 467.