export m; m=$1
shift
rm -f ${m}.dev
echo ./gsaddres -obj $* >${m}.dev
