sort.cc: merge sort