sS replace_multi(S s, Cl<S> a, S b) {
  if (s == null || empty(a) || b == null) ret s;
  for (S aa : a)
    s = s.replace(aa, b);
  ret s;
}