A quick note about the GNU Debugger