An Old C++ Implementation of Red-Black Trees