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