deletions | additions       diff --git a/intro.tex b/intro.tex  index 15757c6..0b90d17 100644  --- a/intro.tex  +++ b/intro.tex 
...
\item Hiding from the front-end that generates the different optimized versions of a function all the implementation details of how on-the-fly transitions between them are handled at specific OSR points.  \end{itemize}  \noindent We implemented the proposed approach in \osrkit,  a prototype library for LLVM IR manipulation based on MCJITcalled \osrkit, designed  with the following design  goals: \begin{itemize}  \item Encoding OSR transitions in terms of pure IR code only, avoiding manipulations at machine-code level.  \item Incurring a minimal level of intrusiveness in terms of both the instrumentation of the code generated by the front-end and the impact of OSR points on native code quality.