Constant mi_option_page_reset 

pub const mi_option_page_reset: mi_option_t = 10;