sS extractBracketedTokens(S s) {
  ret extractBracketedTokens(javaTokWithAllBrackets_cached(s));
}

sS extractBracketedTokens(LS tok) {
  ret map(bracketedTokenIndices(tok), i -> tok_deRoundOrCurlyBracket(tok.get(i)));
}