Debugging with GDB - gdb/miインターフェイス