debugging and verification lab 4 5898674