g: spec-v0_1.ebnf seems complete and working
g: Format spec*.ebnf