Cormen merge sort