sS assertSimpleDomainName(S s) {
  if (!isSimpleDomainName(s))
    fail("Not a simple domain name: " + s);
  ret s;
}