Windows Debuggers: Part 1: A WinDbg Tutorial