svoid ai_bothLinesEndWith(S a, S b) {
  S s = commonSuffixCI(a, b);
  if (nempty(s))
    emit("both lines end with " + quote(s));
}