deletions | additions       diff --git a/overview.tex b/overview.tex  index 234ba40..c3ac650 100644  --- a/overview.tex  +++ b/overview.tex 
...
%\subsection{Discussion}  %\label{ss:discussion}  \paragraph{Discussion} \paragraph{Discussion.}  Instrumenting functions for OSR at a representation level higher than machine code yields several benefits:   \begin{enumerate}  \item {\em Platform independence}: the OSR instrumentation code is lowered to native code by the compiler backend, which handles the details of the target ABI;  
...