deletions | additions       diff --git a/experim.tex b/experim.tex  index 02b4d6c..353af6a 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 and the time spent in the IR manipulation. In particular, for open OSR points we separately measure 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 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 is identical to the source function - as described in Section {\bf XXX}; for this reason, the table also contains a column in whichits  time is normalized against the number of IR instructions in the function. \begin{table}   \begin{tabular}{ |c|c|c|c|c|c|c|c|c| }