@=~
~p maximum_input_line_length = infinity

Assume you have just been allocated to the quality assurance group of
the software company you are working in. The company has specific
style guide for writing C programs. It will be your task to check
whether the programs developed in the company obey to that guide.
You start your work by constructing a tool that analyses C programs
for certain properties required by the style guide.
In order to get started you use a simplified grammar for a C subset,
and pick 4 requirements from different
chapters of the style guide.

The grammar is given in the last section of this document.