\relax 
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {A}SOTEST Reference Manual}{30}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{app:refman}{{A}{30}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A.1}SOTEST Structure}{30}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A.2}Threads and Scheduling}{31}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A.3}SOTL Types}{32}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {A.3.1}Primitive Types}{32}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {A.3.2}Aggregate Types}{34}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {A.3.3}Booleans}{34}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A.4}SOTL Identifiers}{34}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A.5}SOTL Patterns}{35}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A.6}SOTL Expressions}{37}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {A.6.1}SOTL Operators}{37}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A.7}SOTL Statements}{41}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A.8}SOTL Command Operators}{42}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A.9}Events, Event Specifications, Event Predicates}{68}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {A.9.1}Event Types}{69}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {A.9.2}Event Specifications}{71}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {A.9.3}Event Specification Constructors}{72}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {A.9.4}Event Predicates}{74}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {A.10}UNIX System Calls}{76}}
\global\@namedef{cp@appa}{
\setcounter{page}{81}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{1}
\setcounter{section}{10}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{savepage}{2}
}