sbool isAGIDomain(S s) {
  ret regexpMatchesIC("[a-z0-9-]+\\.agi\\.blue", s);
}