1gdiffmk:  The FILE2 and OUTPUT arguments both point to the same file,
2gdiffmk:  `tmp_file7', and it would be overwritten.
3