print_all() {
echo diagnostic: $@
for file in $@
do
	if [ -d $file ]
	then
		print_all $file/*
	else
		echo "$file"
	fi
done
}
