--- /dev/null
+cat M5 M6 > tmp1
+cat tmp1 tmp1 tmp1 tmp1 > tmp2
+cat tmp2 tmp2 tmp2 tmp2 > tmp1
+cat tmp1 tmp1 tmp1 tmp1 > tmp2
+cat tmp2 tmp2 tmp2 tmp2 > tmp1
+cat tmp1 tmp1 tmp1 tmp1 > tmp2
+cat tmp2 tmp2 tmp2 tmp2 > tmp1
+cat tmp1 tmp1 tmp1 tmp1 > tmp2
+cat tmp2 tmp2 tmp2 tmp2 > tmp1
+cat tmp1 tmp1 tmp1 tmp1 > tmp2
+cat tmp2 tmp2 tmp2 tmp2 > tmp1
+cat tmp1 tmp1 tmp1 tmp1 > tmp2
+cat tmp2 tmp2 tmp2 tmp2 > tmp1
+cat M2 tmp1 > M7
+rm -f tmp1 tmp2