Reverse execution engine.