sS squareBracketed(S s) {
  ret "[" + s + "]";
}