Text this: Deterministic Record-and-Replay.