pavement.py passed