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