Gullible GDB extension