``` A. S ::= "A"; x -- Here is a superfluous character B. S ::= "B"; ``` BNFC swallows this, but then the generated parser does not compile. In the `.y` file, this grammar turns into: ``` S :: { S } S : 'A' { Min.Abs.A } | 'B' { Min.Abs.x_ } ```