203 	    if (root->left->color != dnode_black)  in verify_redblack()
205 	    if (root->right->color != dnode_black)  in verify_redblack()
209 	if (root->color != dnode_black)  in verify_redblack()
269 	new->nilnode.color = dnode_black;  in dict_create()
346     dict->nilnode.color = dnode_black;  in dict_init()
367     dict->nilnode.color = dnode_black;  in dict_init_like()
383     assert (dict->nilnode.color == dnode_black);  in dict_clear()
400     if (root->color != dnode_black)  in dict_verify()
402     if (nil->color != dnode_black)  in dict_verify()
608 		parent->color = dnode_black;  in dict_insert()
609 		uncle->color = dnode_black;  in dict_insert()
620 		parent->color = dnode_black;  in dict_insert()
628 		parent->color = dnode_black;  in dict_insert()
629 		uncle->color = dnode_black;  in dict_insert()
639 		parent->color = dnode_black;  in dict_insert()
647     dict_root(dict)->color = dnode_black;  in dict_insert()
750     if (delete->color == dnode_black) {  in dict_delete()
755 	while (child->color == dnode_black) {  in dict_delete()
761 		    sister->color = dnode_black;  in dict_delete()
767 		if (sister->left->color == dnode_black  in dict_delete()
768 			&& sister->right->color == dnode_black) {  in dict_delete()
772 		    if (sister->right->color == dnode_black) {  in dict_delete()
774 			sister->left->color = dnode_black;  in dict_delete()
781 		    sister->right->color = dnode_black;  in dict_delete()
782 		    parent->color = dnode_black;  in dict_delete()
791 		    sister->color = dnode_black;  in dict_delete()
797 		if (sister->right->color == dnode_black  in dict_delete()
798 			&& sister->left->color == dnode_black) {  in dict_delete()
802 		    if (sister->left->color == dnode_black) {  in dict_delete()
804 			sister->right->color = dnode_black;  in dict_delete()
811 		    sister->left->color = dnode_black;  in dict_delete()
812 		    parent->color = dnode_black;  in dict_delete()
819 	child->color = dnode_black;  in dict_delete()
820 	dict_root(dict)->color = dnode_black;  in dict_delete()
1091     assert (dnode_red == 0 && dnode_black == 1);  in dict_load_end()
1153     dictnil->color = dnode_black;  in dict_load_end()
1156     complete->color = dnode_black;  in dict_load_end()