Rename ex23.py to ex24.py