Let's not forget the other quicksort.