The Basics of Debugger Extensions