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

static LS tok_identifiersInOrder(LS tok) {
  ret filter isIdentifier(codeTokens(tok));
}