cat - > awk.tmp <<\END
/^TRACE/{
	printf("fputs(\"TRACE(%s):%d\\n\",stderr);\n",FILENAME,NR);
	next
	}
	{
	print $0
	}
END
for i in $@
do
awk -f awk.tmp $i > barf.tmp
mv barf.tmp $i
done
