static LS tok_identifiersInOrder(S s) {
  ret filter isIdentifier(javaTokC(s));
}