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