Constant HISTORY_PREFETCH_MARGIN 

pub const HISTORY_PREFETCH_MARGIN: usize = 25; // 25usize

Prefetch when a view is within this many loaded ops of the oldest one.