sS insertAfter(S s, S a, S b) {
  int i = indexOf(s, a);
  ret i < 0 ? s : insertAt(s, i+l(a), b);
}