g/g.ebnf: g-8.ebnf