sS md5FromUniqueFile(File f) {
  if (f == null) null;
  S s = f.getName();
  S md5;
  if (l(s) > md5length() && s.charAt(md5length()) == ' '
    && isPossibleMD5(md5 = takeFirst(md5length(), s)))
    ret md5;
  null;
}