How Does a C Debugger Work? (2014)