This is the original source file.
It will be copied by exercise 13.