I'm not sure I understand your point. I don't think we're disagreeing about anything. C needs forward declarations for some things, and it needs a symbol tabl

I'm not sure I understand your point. I don't think we're disagreeing about anything. C needs forward declarations for some things, and it needs a symbol table to resolve some parts of the grammar. All I was saying was that I think you could resolve both of them with minor changes. (I see that D has a "cast" keyword, and that's obviously one way to do it.)