msort.h: 10 copies in SORT3