diff --git a/artifact/session2.tex b/artifact/session2.texindex 1bf58dc..25ff016 100644--- a/artifact/session2.tex+++ b/artifact/session2.tex ...
\end{verbatim}
\end{small}
\noindent Note that the second line inserts a never-firing open OSR point at instructionbasic block labeled with {\tt 8} (actually {\tt