Add ex1.9.txt.