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