Describir: Deterministic Record-and-Replay.