static Set<S> tok_allIdentifiers(S s) {
  ret new HashSet<S>(filter isIdentifier(javaTokC(s)));
}