static S assertIsIdentifier(S s) {
  if (!isIdentifier(s))
    fail("Not an identifier: " + quote(s));
  ret s;
}