A new more concise version of quicksort