static S tok_deCurlyBracket(S s) {
  ret tok_unCurlyBracket(s);
}