static bool sameFile(File a, File b) ctex {
  ret a == null ? b == null : b != null && eq(a.getCanonicalPath(), b.getCanonicalPath());
}