Function read_recorded_replay_departure 

pub fn read_recorded_replay_departure(
    path: &Path,
) -> Result<Option<u64>, String>

Read only whether a preemption record was written by a replay that left a change point out of it (PreemptionRecord::replay_departed_at).