This is necessary for efficiency, and the style is used in many other places (e.g. SortedRange etc). There's no risk of corruption - the behavior will be always deterministic/reproducible.