@@ -4841,7 +4841,7 @@ the register allocator.
\begin{lstlisting}
(collect |$\itm{bytes}$|)
|$\Longrightarrow$|
- (movq (reg 15) (reg rdi))
+ (movq (reg r15) (reg rdi))
(movq |\itm{bytes}| (reg rsi))
(callq collect)
\end{lstlisting}