foreach file ($*)
  echo "$file"
end
