Str $file where *.IO.f = 'file.dat',