Bringing out the BIG Gun: Using a Debugger