The algorithm is unstable and does not guarantee any ordering within each partition. I didn't want to give a specific expected vector, since we'll need to remember to change it if the implementation of the algorithm changes. Should I give an expected vector anyway?