Rename ex4 to ex4.py