Deterministic replay done.