This allows "algorithms" like this:
for x in [0...VA.length] while (VA.get(x) > x) VA.swap(VA.get(x), x)
Also, that's not going to work quite right - the values are [1..VA.length] (see the bottom of the page), while the indices are [0...VA.length].
Also, that's not going to work quite right - the values are [1..VA.length] (see the bottom of the page), while the indices are [0...VA.length].