\section{Library Boilerplate}

\subsection{Initialization and finalization}

Every SUIF library has a pair of routines for initialization and
finalization.  For the CFA library, these are declared in the
[[cfa]] module.

<<cfa library initialization>>=
extern "C" void init_cfa(SuifEnv* suif_env);
@

\subsection{Header file for the CFA library}

The following is the header file is for use by other libraries and
passes that depend upon the CFA library.  It is never included in any
implementation file within the [[machsuif/cfa]] directory.  We use
comments to indicate dependences among the header files.

<<cfa.h>>=
/* file "cfa/cfa.h" */

<<Machine-SUIF copyright>>

#ifndef CFA_CFA_H
#define CFA_CFA_H

#include <machine/copyright.h>

#include <cfa/dom.h>
#include <cfa/loop.h>

<<cfa library initialization>>

#endif /* CFA_CFA_H */
@