Constant mi_option_abandoned_page_reset 

pub const mi_option_abandoned_page_reset: mi_option_e = 12;