msort.h: 8 copies in INSERT4