#!/bin/bash
gdb -i=mi "$@"