Update ex45test.py