This file will be copied to output.txt.
