3 ms·pivotsort would have been a better nameby xdavidliu 6y agopivotsort would have been a better name