static long lastModified(File f) {
  ret fileModificationTime(f);
}