for $file (</tmp/*>) {