static bool jreplaceInSnippet(S snippetID, S a, S b) {
  ret editSnippet_replaceToken(a, b);
}