if mantra -c -L $1 1>&2
then echo `basename $1 $2`.o
else exit 1
fi