%%-----------------------------------------------------------------------------
\section{Introduction}
\label{section:intro}
%%-----------------------------------------------------------------------------

Welcome to the SAFECode Software Architecture Manual!  The purpose of
this manual is to give the reader an overview of how the SAFECode
transform passes are organized, the reason for this organization, and
an introduction to the source code layout.