{"name": "braced_string$ebnf$1", "symbols": ["braced_string$ebnf$1$subexpression$1", "braced_string$ebnf$1"], "postprocess": function arrconcat(d) {return [d[0]].concat(d[1]);}},