More debugger code