EBNF snippet for the header