Function read_recorded_rng_seed 

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

Read only the --rng-seed stored in a preemption record file, as read_recorded_epoch reads the epoch. Ok(None) means the record predates the field.