12-Copatterns: quicksort with sized lists.