What I meant was "sorted", which is a bit more specific than "ordered", but it serves me right :) The funniest part is that this does not really matter for thi

What I meant was "sorted", which is a bit more specific than "ordered", but it serves me right :) The funniest part is that this does not really matter for this discussion: insertion order is pretty much arbitrary when what you need is for key 0 to come first, key 1 to come next...