sS insertAt(S s, int i, S a) {
  ret spliceString(s, i, i, a);
}