echo -n $1 "  "
if abc - -o $1.x -fp $1 
then
	if $1.x >$1.r
	then :; else
		echo -n "------- execution error(s)"
	fi
	if diff $1.g $1.r >$1.d 2>/dev/null
	then
		echo -*- Ok
	else
		if test -r $1.g
		then
			echo ------- differences in executing $1
			cat $1.d
		else
			mv $1.r $1.g
		fi
	fi
	rm $1.[rd]
else
	echo "------- compilation error(s)"
fi