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

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