check

book.tex

@@ -2799,6 +2799,8 @@ is the mapping of colors to registers and stack allocations.
 \]
 Putting this mapping together with the above coloring of the variables, we
 arrive at the assignment:
+
+UNDER CONSTRUCTION
 \begin{gather*}
   \{ v \mapsto \key{-8(\%rbp)}, \,
   w \mapsto \key{\%rcx},  \,