Language.C.Analysis
Semantic representation
Error datatypes for the analysis
Traversal monad
Top level analysis
Analyzing declarations
Debug print