A red-black tree implementation