added coq version to quicksort