\relax 
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {2}SOTEST}{12}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.1}80186 Engine}{12}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.2}Symbolic Debugger}{13}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.3}SOTL Interpreter}{13}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.4}Interactions between the 80186 Engine and SOTL}{13}}
\newlabel{sotest:arch}{{2.3}{14}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {2-1}{\ignorespaces SOTEST Architecture}}{14}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.5}Scheduling}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.5.1}Scheduling Rules}{15}}
\newlabel{sotest:sched}{{2.5.1}{16}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {2-2}{\ignorespaces SOTEST Scheduling}}{16}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.5.2}Motivations for Scheduling Rules}{17}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{Breakpoints}{17}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{Control-C Interrupts}{18}}
\global\@namedef{cp@chap2}{
\setcounter{page}{19}
\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}{2}
\setcounter{section}{5}
\setcounter{subsection}{2}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{2}
\setcounter{table}{0}
\setcounter{savepage}{2}
}