K&R's classic quicksort, understood