deletions | additions       diff --git a/approach.tex b/approach.tex  index 981b06d..7dd0c27 100644  --- a/approach.tex  +++ b/approach.tex 
...
\section{Approach}  \label{se:approach}  The key to platform independence in our approach is to encode the entire OSR machinery at intermediate an abstract  representation level, without resorting to machine-level code manipulation. \subsection{Overview}  \label{ss:overview} 
...