Constant DEFAULT_EXECUTION_PREFETCH_THREADS

pub const DEFAULT_EXECUTION_PREFETCH_THREADS: usize = 4;