sS appendBracketedCount(int n, S a) {
  ret appendBracketed(a, str(n));
}