static LS tok_escapeAsterisk(LS tok) {
  ret replace(tok, "*", "\\*");
}

sS tok_escapeAsterisk(S s) {
  ret join(tok_escapeAsterisk(javaTok(s));
}