static java.nio.file.attribute.BasicFileAttributes fileAttributes(File etc f) {
  ret f == null ?: Files.readAttributes(f.toPath(), java.nio.file.attribute.BasicFileAttributes.class);
}