-e $F or return 0;   # File exists?
  -f $F or return 0;   # It's a plain file?