\section{Trace-driven simulation}

\subsection{Simplifications}