exr:mergesort
