uses Core; file RangeSort.cpp; mainconfig "" = "MT";