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