test.txt for ex20.py