Spec quicksort