static S assertIdentifier(S s) {
  ret assertIsIdentifier(s);
}

static S assertIdentifier(S msg, S s) {
  ret assertIsIdentifier(msg, s);
}