Function read_exact_at 

fn read_exact_at<R: Read + Seek>(
    f: &mut R,
    pos: u64,
    n: usize,
) -> Result<Option<Vec<u8>>>