new file:   ex42.py