Left-leaning_red–black_tree loading ...