Use provided quicksort.decaf