static S assertMD5(S s) {
  ret assertPossibleMD5(s);
}