where : condition eofile
eofile : /^\Z/