Let outfile be file or stdout.