4.9 Header declarations

coNCePTuaL programs may contain a header section that precedes the first statement in a coNCePTuaL program. The header section contains three types of declarations that affect the remainder of the program: language versioning declarations, declarations of command-line options, and backend-specific variable and function declarations.