g/g.ebnf: g-9.ebnf