#!/bin/sh
gdb -tui $*