Skeleton of mergesort.