static int ai_getSplitIndexForString(S s) {
  ret ai_text_int(s, "splits at index", "$X");
}