static Pair<S> splitAroundColon_toPair(S s, S phrase) {
  ret listToPair(ai_splitAroundPhrase(s, ":"));
}