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