A red black tree