Module 4: Inspecting the Program