static LS tok_topLevelClassNames(L<S> tok) {
  ret map getClassDeclarationName(allClasses(tok));
}

static LS tok_topLevelClassNames(S src) {
  ret tok_topLevelClassNames(javaTok(src));
}