See Problem 3.12
exr:quicksort
