Replay by Re-execution