slightly shorter quicksort