deletions | additions       diff --git a/experim.tex b/experim.tex  index 353af6a..4a3b302 100644  --- a/experim.tex  +++ b/experim.tex 
...
\ifauthorea{\newline}{}  \paragraph{OSR machinery generation}  We now discuss the overhead of the library for the insertion of OSR machinery in the IR of a function. Table~\ref{tab:instrTime} reports for each benchmark the number of IR instructions in the instrumented function function, the number of live values to transfer  and the time spent in the IR manipulation. In particular, for For  open OSR points points,  we separately measure report  the time spent in inserting the OSR point in the original function and in generating the stub;note that  both operations do not depend on the size of the function. For resolved OSR points, we separately analyze report  the time spent in inserting the OSR point and in generating the continuation function. The latter operation is the most expensive, as it involves cloning and manipulating the body of the target function - which that  isidentical to  the source function itself  - as described in Section {\bf XXX}; for this reason, the table also contains a column in which time is normalized against the number of IR instructions in the function. OSR point insertion  \begin{table}   \begin{tabular}{ |c|c|c|c|c|c|c|c|c| }