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