static LS tok_splitAtAsterisk(S s) {
  ret splitAtTokens(javaTokWithAllBrackets(s), "*");
}