Towards deterministic replay.