\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {5}The intermediate language}{59}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{IntermediateLanguage}{{5}{59}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Do-nothing instruction}{59}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Push instructions}{59}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Subroutine instructions}{60}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Pop instructions}{61}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}Relocatable instructions}{61}}
\@writefile{toc}{\contentsline {section}{\numberline {5.6}Conversion instructions}{61}}
\@writefile{toc}{\contentsline {section}{\numberline {5.7}Assignment instructions}{62}}
\@writefile{toc}{\contentsline {section}{\numberline {5.8}Tuple component instructions}{62}}
\@writefile{toc}{\contentsline {section}{\numberline {5.9}Array/Map allocation instructions}{62}}
\@writefile{toc}{\contentsline {section}{\numberline {5.10}Array/Map slot instructions}{63}}
\@writefile{toc}{\contentsline {section}{\numberline {5.11}Field instructions}{64}}
\@writefile{toc}{\contentsline {section}{\numberline {5.12}Built-in operations}{64}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.1}Arithmetic operations}{64}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.2}Arithmetic relations}{65}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.3}Boolean operations}{66}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.4}Map and Size operations}{66}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.5}Container operations}{66}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.6}Set operations}{67}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.7}Set relations}{67}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.8}Set element operations}{67}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.9}Range operations}{68}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.10}String operations}{68}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.12.11}I/O operations}{68}}
\@writefile{toc}{\contentsline {section}{\numberline {5.13}Dummy instructions}{69}}
\@setckpt{instructions}{
\setcounter{page}{70}
\setcounter{equation}{0}
\setcounter{enumi}{17}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{5}
\setcounter{section}{13}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{theorem}{0}
\setcounter{definition}{0}
\setcounter{corollary}{0}
\setcounter{example}{0}
\setcounter{exercise}{0}
\setcounter{algolistcounter}{0}
\setcounter{bnflistcounter}{1}
\setcounter{bnfrulecounter}{6}
\setcounter{globenumcounter}{0}
\setcounter{tfcounter}{0}
\setcounter{qcounter}{0}
\setcounter{sqcounter}{0}
}