buzz_syntax_bnf