WINTERMUTE: Add comments in debugger.h