d of Navigation Panel-->

<H1><A NAME="SECTION030110000000000000000">
Evaluation</A>
</H1>

<P>
<BR><HR>
<!--Table of Child-Links-->
<A NAME="CHILD_LINKS"><STRONG>Subsections</STRONG></A>

<UL CLASS="ChildLinks">
<LI><A NAME="tex2html1455"
  HREF="manual-node74.html">Evaluators</A>
<LI><A NAME="tex2html1456"
  HREF="manual-node75.html">Top-level Interaction</A>
<LI><A NAME="tex2html1457"
  HREF="manual-node76.html">Compilation</A>
<LI><A NAME="tex2html1458"
  HREF="manual-node77.html">Program Loading</A>
<L