for file in $*
do
	echo Removing externs from $file
	rm -f /tmp/extern_tmp
	grep -v extern $file > /tmp/extern_tmp
	mv /tmp/extern_tmp $file
done
