A lab on using the interactive debugger