Constant mi_option_deprecated_segment_reset 

pub const mi_option_deprecated_segment_reset: mi_option_e = 13;