deletions | additions       diff --git a/approach.tex b/approach.tex  index cafbf44..001f56a 100644  --- a/approach.tex  +++ b/approach.tex 
...
Instrumenting functions for OSR at a higher level of representation 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;   \item {\em Optimization}: Global optimization opportunities}:  lowering OSR instrumentation code along with the application code can generate faster code than local binary instrumentation. For instance, dead code eliminationin \fosrto\  can suppress from \fosrto\  portions of code that would no longer be needed when jumping to the landing pad \textsf{L'}, producing smaller code and enabling better register allocation and instruction scheduling. \item {\em Debugging}: [...]  \end{enumerate} 
...