Interposition code for DEMi (Distributed Execution Minimizer) - View it on GitHub