while read N
	do
		echo "diffing "$N
		diff $N /tmp/libm/$N
	done
