static void printFileInfo(File f) {
  print(f == null ? "-" : f2s(f) + " "
    + (f.isFile() ? "(file, " + fileSize(f) + " bytes)"
      : f.isDirectory() ? "(dir)" : "(not found)"));
}