sS assertSimpleDomainName(S s) {
  if (!regexpMatchesIC("[a-z0-9\\-]\\.[a-z]+", s))
    fail("Not a simple domain name: " + s);
  ret s;
}