diff --git a/books/bookvol9.pamphlet b/books/bookvol9.pamphlet
index f3e9b07..dcdeb4d 100644
--- a/books/bookvol9.pamphlet
+++ b/books/bookvol9.pamphlet
@@ -23149,6 +23149,73 @@ calls{/rf-1}{spad}
\end{chunk}
\defun{spad}{spad}
+Here we begin the actual compilation process.
+\begin{verbatim}
+ 1> (SPAD "/tmp/EQ.spad")
+ 2> (|makeInitialModemapFrame|)
+ <2 (|makeInitialModemapFrame| ((NIL)))
+ 2> (INIT-BOOT/SPAD-READER)
+ <2 (INIT-BOOT/SPAD-READER NIL)
+ 2> (OPEN "/tmp/EQ.spad" :DIRECTION :INPUT)
+ <2 (OPEN #)
+ 2> (INITIALIZE-PREPARSE #)
+ <2 (INITIALIZE-PREPARSE ")abbrev domain EQ Equation")
+ 2> (PREPARSE #)
+ EQ abbreviates domain Equation
+ <2 (PREPARSE (# # # # # # # # ...))
+ 2> (|PARSE-NewExpr|)
+ <2 (|PARSE-NewExpr| T)
+ 2> (S-PROCESS (|where| # #))
+...[snip]...
+ 3> (OPEN "/tmp/EQ.erlib/info" :DIRECTION :OUTPUT)
+ <3 (OPEN #