(blind make headers from specifications)
This directory contains the compiler from the annotated C input files to the untyped AST.
