IS kernel: mergesort