[GHC] #9325: mod73 output file needs to be reordered