\relax 
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {part}{IV\hspace  {1em}Run-Time System}{81}{part.4}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\numberline {35}The Type System}{82}{chapter.35}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {36}The Info Database}{83}{chapter.36}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {37}The IR1 Interpreter}{84}{chapter.37}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {37.1}Use of \%PRIMITIVE}{86}{section.37.1}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\numberline {38}Debugger}{87}{chapter.38}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {38.1}Tracing and Breakpoints}{87}{section.38.1}\protected@file@percent }
\newlabel{sec:trace-and-breakpoints}{{38.1}{87}{Tracing and Breakpoints}{section.38.1}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {39}Debugger Information}{89}{chapter.39}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{debug-info}{{39}{89}{Debugger Information}{chapter.39}{}}
\@writefile{toc}{\contentsline {section}{\numberline {39.1}The Debug-Info Structure}{89}{section.39.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {39.1.1}Debugger Interface}{91}{subsection.39.1.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {39.1.2}Variable maps}{92}{subsection.39.1.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {39.1.3}Stack parsing}{94}{subsection.39.1.3}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\numberline {40}Object Format}{96}{chapter.40}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{sec:tagging}{{40}{96}{Object Format}{chapter.40}{}}
\@writefile{toc}{\contentsline {section}{\numberline {40.1}Tagging}{96}{section.40.1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.2}GC Comments}{96}{section.40.2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.3}Structures}{97}{section.40.3}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.4}Fixnums}{97}{section.40.4}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.5}Other-immediates}{98}{section.40.5}\protected@file@percent }
\newlabel{sec:other-immediates}{{40.5}{98}{Other-immediates}{section.40.5}{}}
\@writefile{toc}{\contentsline {section}{\numberline {40.6}Data-Blocks and Header-Word Format}{98}{section.40.6}\protected@file@percent }
\newlabel{sec:data-blocks-and-header}{{40.6}{98}{Data-Blocks and Header-Word Format}{section.40.6}{}}
\@writefile{toc}{\contentsline {section}{\numberline {40.7}Data-Blocks and Other-immediates Typing}{99}{section.40.7}\protected@file@percent }
\newlabel{sec:data-blocks-and-o-i}{{40.7}{99}{Data-Blocks and Other-immediates Typing}{section.40.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {40.8}Strings}{100}{section.40.8}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.9}Symbols and NIL}{100}{section.40.9}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.10}Array Headers}{101}{section.40.10}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.11}Bignums}{102}{section.40.11}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.12}Code Data-Blocks}{102}{section.40.12}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.13}Closure Format}{105}{section.40.13}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.14}Function call}{105}{section.40.14}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.15}Memory Layout}{105}{section.40.15}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.16}System Pointers}{106}{section.40.16}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {40.17}Weak Pointers}{106}{section.40.17}\protected@file@percent }
\newlabel{sec:weak-pointers}{{40.17}{106}{Weak Pointers}{section.40.17}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {41}Memory Management}{107}{chapter.41}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {41.1}Stacks and Globals}{107}{section.41.1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {41.2}Heap Layout}{107}{section.41.2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {41.3}Garbage Collection}{107}{section.41.3}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\numberline {42}Interface to C and Assembler}{108}{chapter.42}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {42.1}Linkage Table}{108}{section.42.1}\protected@file@percent }
\@writefile{toc}{\contentsline {chapter}{\numberline {43}Low-level debugging}{109}{chapter.43}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {44}Core File Format}{110}{chapter.44}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {45}Fasload File Format}{111}{chapter.45}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {45.1}General}{111}{section.45.1}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {45.2}Strategy}{111}{section.45.2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {45.3}Fasload Language}{112}{section.45.3}\protected@file@percent }
\@setckpt{run-time}{
\setcounter{page}{120}
\setcounter{equation}{0}
\setcounter{enumi}{5}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{4}
\setcounter{chapter}{45}
\setcounter{section}{3}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{Item}{10}
\setcounter{Hfootnote}{0}
\setcounter{bookmark@seq@number}{118}
\setcounter{section@level}{1}
}
