sS assertValidFileName(S s) {
  if (!isValidFileName(s))
    fail("Not a valid file name: " + quote(s));
  ret s;
}