Function first_record_after 

fn first_record_after(
    read: &dyn Fn(i64, i64) -> Result<Option<Vec<u8>>, StoreError>,
    pos: i64,
    hi: i64,
) -> Result<Probe, StoreError>

The first parsable record that starts after pos (at a line boundary strictly past it) and before hi.