The optional third section also corresponds closely with conventions
bison. All text in this section,
starting at the final ‘%%’ and extending to the end of the input
file, is included verbatim into the generated output file. Naturally,
it is your responsibility to ensure that the code contained in this
section is valid C.