for some reason

parse_ebnf() isn't being called?????