fix inject-proxy select instructions

book.tex

@@ -11989,10 +11989,10 @@ On the other hand, \code{inject-proxy} sets the $57$th bit to $1$.
 (Assign |$\itm{lhs}$| (Prim 'inject-proxy (list |$e_1$|)))
 |$\Rightarrow$|  
 movq |$e'_1$|, %r11
-movq %r11, |$\itm{lhs'}$|
 movq |$(1 << 57)$|, %rax
 orq 0(%r11), %rax
 movq %rax, 0(%r11)
+movq %r11, |$\itm{lhs'}$|
 \end{lstlisting}
 
 The \code{proxy?} operation consumes the information so carefully