done splitting RBT into color, height, ord