static S replaceIf(bool cond, S a, S b, S s) {
  ret cond ? s.replace(a, b) : s;
}