lab4c.py