msort.h: one fewer copying in INSERT4