static S squareBrackets(S s) {
  ret "[" + s + "]";
}