This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021) (preloaded format=pdflatex 2023.3.13)  24 APR 2023 07:32
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**design.tex
(./design.tex
LaTeX2e <2020-10-01> patch level 4
L3 programming layer <2021-05-07>
(/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
Document Class: report 2020/04/10 v1.4m Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
File: size10.clo 2020/04/10 v1.4m Standard LaTeX file (size option)
)
\c@part=\count179
\c@chapter=\count180
\c@section=\count181
\c@subsection=\count182
\c@subsubsection=\count183
\c@paragraph=\count184
\c@subparagraph=\count185
\c@figure=\count186
\c@table=\count187
\abovecaptionskip=\skip47
\belowcaptionskip=\skip48
\bibindent=\dimen138
)
(/usr/share/texlive/texmf-dist/tex/generic/iftex/ifpdf.sty
Package: ifpdf 2019/10/25 v3.4 ifpdf legacy package. Use iftex instead.

(/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty
Package: iftex 2020/03/06 v1.0d TeX engine tests
))
(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC)
)
(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
Package: calc 2017/05/25 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count188
\calc@Bcount=\count189
\calc@Adimen=\dimen139
\calc@Bdimen=\dimen140
\calc@Askip=\skip49
\calc@Bskip=\skip50
LaTeX Info: Redefining \setlength on input line 80.
LaTeX Info: Redefining \addtolength on input line 81.
\calc@Ccount=\count190
\calc@Cskip=\skip51
)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2021-02-27 v7.00k Hypertext links for LaTeX

(/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
Package: ltxcmds 2020-05-10 v1.25 LaTeX kernel commands for general use (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO
)

(/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty
Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
)
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks15
)
(/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty
Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty
Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty
Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty
Package: kvoptions 2020-10-07 v3.14 Key value format for package options (HO)
)
\@linkdim=\dimen141
\Hy@linkcounter=\count191
\Hy@pagecounter=\count192

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2021-02-27 v7.00k Hyperref: PDFDocEncoding definition (HO)
Now handling font encoding PD1 ...
... no UTF-8 mapping file for font encoding PD1
)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def
File: hyperref-langpatches.def 2021-02-27 v7.00k Hyperref: patches for babel la
nguages
)
(/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty
Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty
Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO)
)
\Hy@SavedSpaceFactor=\count193

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def
File: puenc.def 2021-02-27 v7.00k Hyperref: PDF Unicode definition (HO)
Now handling font encoding PU ...
... no UTF-8 mapping file for font encoding PU
)
Package hyperref Info: Option `hyperindex' set `false' on input line 4073.
Package hyperref Info: Option `colorlinks' set `false' on input line 4073.
Package hyperref Info: Hyper figures OFF on input line 4192.
Package hyperref Info: Link nesting OFF on input line 4197.
Package hyperref Info: Hyper index OFF on input line 4202.
Package hyperref Info: Plain pages OFF on input line 4207.
Package hyperref Info: Backreferencing OFF on input line 4212.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4445.
\c@Hy@tempcnt=\count194

(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip16
Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 4804.
\XeTeXLinkMargin=\dimen142

(/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty
Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)

(/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO
)
))
\Fld@menulength=\count195
\Field@Width=\dimen143
\Fld@charsize=\dimen144
Package hyperref Info: Hyper figures OFF on input line 6075.
Package hyperref Info: Link nesting OFF on input line 6080.
Package hyperref Info: Hyper index OFF on input line 6085.
Package hyperref Info: backreferencing OFF on input line 6090.
Package hyperref Info: Link coloring OFF on input line 6095.
Package hyperref Info: Link coloring with OCG OFF on input line 6100.
Package hyperref Info: PDF/A mode OFF on input line 6105.
LaTeX Info: Redefining \ref on input line 6145.
LaTeX Info: Redefining \pageref on input line 6149.

(/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty
Package: atbegshi-ltx 2020/08/17 v1.0a Emulation of the original atbegshi packa
ge
with kernel methods
)
\Hy@abspage=\count196
\c@Item=\count197
\c@Hfootnote=\count198
)
Package hyperref Info: Driver (autodetected): hpdftex.

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2021-02-27 v7.00k Hyperref driver for pdfTeX

(/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty
Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atvery packag
e
with kernel methods
)
\Fld@listcount=\count199
\c@bookmark@seq@number=\count266

(/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO)

(/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO)
)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
86.
)
\Hy@SectionHShift=\skip52
)
Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 23.
Package hyperref Info: Option `bookmarksopen' set `true' on input line 23.
\Mylen=\skip53

(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
File: l3backend-pdftex.def 2021-05-07 L3 backend support: PDF output (pdfTeX)
\l__color_backend_stack_int=\count267
\l__pdf_internal_box=\box47
)
(./design.aux (./architecture.aux) (./compiler.aux) (./retargeting.aux)
(./run-time.aux) (./glossary.aux))
\openout1 = `design.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 76.
LaTeX Font Info:    ... okay on input line 76.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 76.
LaTeX Font Info:    ... okay on input line 76.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 76.
LaTeX Font Info:    ... okay on input line 76.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 76.
LaTeX Font Info:    ... okay on input line 76.
LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 76.
LaTeX Font Info:    ... okay on input line 76.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 76.
LaTeX Font Info:    ... okay on input line 76.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 76.
LaTeX Font Info:    ... okay on input line 76.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 76.
LaTeX Font Info:    ... okay on input line 76.
LaTeX Font Info:    Checking defaults for PU/pdf/m/n on input line 76.
LaTeX Font Info:    ... okay on input line 76.
Package hyperref Info: Link coloring OFF on input line 76.

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
Package: nameref 2021-04-02 v2.47 Cross-referencing by name of section

(/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty
Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
)
\c@section@level=\count268
)
LaTeX Info: Redefining \ref on input line 76.
LaTeX Info: Redefining \pageref on input line 76.
LaTeX Info: Redefining \nameref on input line 76.

(./design.out) (./design.out)
\@outlinefile=\write3
\openout3 = `design.out'.

LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 78.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 78.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 78.
 [1

{/usr/share/texlive/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]pdfTeX warnin
g (ext4): destination with the same identifier (name{page.1}) has been already 
used, duplicate ignored
<to be read again> 
                   \relax 
l.85 \tableofcontents
                      [1] (./design.toc
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 3.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 3.
 [2

] [3] [4])
\tf@toc=\write4
\openout4 = `design.toc'.

 [5]
\openout2 = `architecture.aux'.

 (./architecture.tex
[6


]
Chapter 1.
[7

] [8]
Chapter 2.
[9

]) [10]
\openout2 = `compiler.aux'.

 (./compiler.tex [11




] (./compiler-overview.tex
Chapter 3.
[12

] [13]
Chapter 4.
[14

] [15] [16] [17] [18]) (./front.tex [19]
Chapter 5.
[20

] [21] [22] [23]
Chapter 6.
[24

]
Chapter 7.
[25

]
Chapter 8.
[26

] [27] [28] [29]
Chapter 9.
[30

] [31]
Chapter 10.
[32

] [33]
Chapter 11.
[34

]
Chapter 12.
[35

]) (./middle.tex [36]
Chapter 13.
[37

]
Chapter 14.
[38

] [39]
Chapter 15.
[40

] [41]
Chapter 16.
[42

] [43]
Chapter 17.
[44

]
Overfull \hbox (0.19688pt too wide) in paragraph at lines 416--421
[]\OT1/cmr/m/n/10 Simple type check-ing is ex-plic-itly done us-ing CHECK-xxx V
OPs. They act like in-nocu-ous ef-fect-less/unaffected
 []

[45] [46]) (./back.tex [47]
Chapter 18.
[48

]
Chapter 19.
[49

]
Chapter 20.
[50

] [51] [52]
Chapter 21.
[53

] [54] [55]
Chapter 22.
[56

]
Chapter 23.
[57

]
Chapter 24.
[58

]) (./interface.tex [59]
Chapter 25.
)) [60

]
\openout2 = `retargeting.aux'.

 (./retargeting.tex [61




]
Chapter 26.
[62

] [63]
Chapter 27.
[64

] [65]
Chapter 28.
[66

]
Chapter 29.
[67

] [68]
Chapter 30.
[69

]
Chapter 31.

Underfull \hbox (badness 10000) in paragraph at lines 403--403

 []


Underfull \hbox (badness 10000) in paragraph at lines 406--406

 []


Underfull \hbox (badness 10000) in paragraph at lines 414--414

 []


Underfull \hbox (badness 10000) in paragraph at lines 415--415

 []


Underfull \hbox (badness 10000) in paragraph at lines 419--419

 []


Underfull \hbox (badness 10000) in paragraph at lines 422--422

 []


Underfull \hbox (badness 10000) in paragraph at lines 432--432

 []


Underfull \hbox (badness 10000) in paragraph at lines 433--433

 []

[70

]
Chapter 32.
[71

] [72] [73] [74] [75] [76] [77]
Chapter 33.
[78

]
Chapter 34.
[79

]) [80]
\openout2 = `run-time.aux'.

 (./run-time.tex [81




] (./environment.tex
Chapter 35.
[82

]
Chapter 36.
) (./interpreter.tex [83

]
Chapter 37.

Overfull \hbox (4.31633pt too wide) in paragraph at lines 59--62
[]\OT1/cmr/m/n/10 For all non-run-time sym-bol an-no-ta-tions (any-thing other 
than SYMBOL-FUNCTION and SYMBOL-VALUE),
 []

[84

] [85]) (./debugger.tex [86]
Chapter 38.
[87

]
Overfull \hbox (16.80707pt too wide) in paragraph at lines 84--90
\OT1/cmr/m/n/10 cuted the trap han-dler han-dles this break-point. It fig-ures 
out where this trap come from and calls [][]\OT1/cmtt/m/n/10 HANDLE-BREAKPOINT
 []

[88]
Chapter 39.
[89

] [90] [91] [92] [93] [94]) (./object.tex [95]
Chapter 40.
[96

] [97] [98] [99] [100] [101] [102] [103] [104] [105]) (./lowlev.tex [106]
Chapter 41.
[107

]
Chapter 42.
[108

]
Chapter 43.
[109

]
Chapter 44.
) (./fasl.tex [110

]
Chapter 45.
[111

] [112] [113] [114]
Overfull \hbox (14.10947pt too wide) in paragraph at lines 334--338
\OT1/cmr/m/n/10 The \OT1/cmr/m/it/10 data \OT1/cmr/m/n/10 bytes are read as an 
in-te-ger, then turned into an IEEE sin-gle float (as though by \OT1/cmtt/m/n/1
0 make-single-float\OT1/cmr/m/n/10 ). 
 []


Overfull \hbox (18.49838pt too wide) in paragraph at lines 339--343
\OT1/cmr/m/n/10 The \OT1/cmr/m/it/10 data \OT1/cmr/m/n/10 bytes are read as an 
in-te-ger, then turned into an IEEE dou-ble float (as though by \OT1/cmtt/m/n/1
0 make-double-float\OT1/cmr/m/n/10 ). 
 []


Overfull \hbox (17.92825pt too wide) in paragraph at lines 378--387
\OT1/cmr/m/it/10 men-ta-tion \OT1/cmr/m/n/10 is an in-te-ger in-di-cat-ing the 
tar-get hard-ware and en-vi-ron-ment. See \OT1/cmtt/m/n/10 compiler/generic/vm-
macs.lisp
 []

[115] [116] [117]
Underfull \hbox (badness 10000) in paragraph at lines 612--614

 []

[118])) [119]
\openout2 = `glossary.aux'.

 (./glossary.tex
Appendix A.
[120




]
Overfull \hbox (29.68385pt too wide) in paragraph at lines 102--104
[]\OT1/cmr/m/n/10 A com-bi-na-tion \OT1/cmr/m/it/10 node \OT1/cmr/m/n/10 is the
 \OT1/cmr/m/it/10 ICR \OT1/cmr/m/n/10 of any fixed-argument func-tion call (not
 \OT1/cmtt/m/n/10 apply \OT1/cmr/m/n/10 or \OT1/cmtt/m/n/10 multiple-value-call
\OT1/cmr/m/n/10 .) 
 []

[121] [122] [123]) [124] (./design.aux (./architecture.aux) (./compiler.aux)
(./retargeting.aux) (./run-time.aux) (./glossary.aux))
Package rerunfilecheck Info: File `design.out' has not changed.
(rerunfilecheck)             Checksum: 838511AF55B5E9C5C479A19B67C3D670;20338.
 ) 
Here is how much of TeX's memory you used:
 7679 strings out of 480852
 113015 string characters out of 5906873
 425420 words of memory out of 6000000
 24635 multiletter control sequences out of 15000+600000
 410352 words of font info for 50 fonts, out of 8000000 for 9000
 14 hyphenation exceptions out of 8191
 60i,6n,63p,352b,469s stack positions out of 5000i,500n,10000p,200000b,80000s
{/usr/share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}</us
r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texl
ive/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fon
ts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type
1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
ts/cm/cmss10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/
cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10
.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb>
Output written on design.pdf (125 pages, 483703 bytes).
PDF statistics:
 1267 PDF objects out of 1440 (max. 8388607)
 1115 compressed objects within 12 object streams
 255 named destinations out of 1000 (max. 500000)
 953 words of extra memory for PDF output out of 10000 (max. 10000000)

