Hash sort is surprisingly fast:
for x in [0 ... VA.length]
ind = VA.get(x)-1
VA.swap(x, ind + VA.length)
for x in [0 ... VA.length]
VA.swap(x, x + VA.length)