Constant DEFAULT_SEGMENT_CHECK_INSNS

pub const DEFAULT_SEGMENT_CHECK_INSNS: u64 = 1000;