static PairS splitTrailingSquareBracketStuff(S s) {
  if (!endsWith(s, "]")) ret pair(s, "");
  int i = smartLastIndexOf(s, '[');
  ret pair(trimSubstring(s, 0, i), substring(s, i+1, l(s)-1));
}