svoid tok_unifyKeywords(LS tok, Cl<S> keywords, S replacement) {
  for (kw : keywords)
    if (!eq(kw, replacement))
      jreplace(tok, kw, replacement);
}