tools/gdbbot
