if (tree->rb_root != NULL && tree->rb_root->rb_color != RB_BLACK)
  {
    printf (" Tree's root is not black.\n");
    okay = 0;
  }