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