echo
refgo ./utilities/crefal/crefal.rsl $1 $2 $3 $4 $5 $6 $7 $8 $9 || exit 1 
echo
