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