void EnsureSize (int index) { if (index >= tree.Length) { var newLeaves = new Node[System.Math.Max(index + 1, tree.Length*2)]; tree.CopyTo(newLeaves, 0); tree = newLeaves; } }