check

book.tex

@@ -2167,9 +2167,10 @@ stack locations or registers.
 
 \begin{figure}
 \begin{minipage}{0.45\textwidth}
-Source program:
+$R_1$ program:
+% s0_22.rkt
 \begin{lstlisting}
-(program
+(program ()
   (let ([v 1])
   (let ([w 46])
   (let ([x (+ v 7)])