new file:   with_open.py