sS assertComputerID(S s) {
  assertTrue(s, possibleComputerID(s));
  ret s;
}