static S tok_lastIdentifier(S s) {
  ret lastIdentifier(javaTokC(s));
}