Can someone state a production rule according to which `public`
and `private` can be applied directly to a declaration, e.g.
`public void main() { }`. (What I don't mean is `public { }`
blocks or `public:`. Maybe I'm missing it, but I couldn't find
one. If it is really the case, I'll fix that in the next days.