#!/bin/csh
echo run '"'"$*"'"' >debug_tmp.tmp
gdb datmomod -x debug_tmp.tmp
