These files are used as input, and the ASCII output is compared to the files in out.
