#! /bin/sh
exec gdb -tui "$@"