sbool startsWithJavaIdentifierStart(S s) {
  ret nempty(s) && Character.isJavaIdentifierStart(s.charAt(0));
}