verification and debugging lab 4 7538270