Return to quicksort example 6.3