Function read_record 

fn read_record(
    file: &File,
    destination: usize,
    offset: usize,
    bytes: usize,
) -> usize

A zero destination faults mapped pages in through bounded scratch.