Function state_of 

fn state_of(path: &Path) -> Option<(u64, u64)>

The state a record is keyed on: length and modification time. None when the file cannot be stat’ed, which leaves the caller to report whatever is wrong with it.