Constant mi_option_guarded_max 

pub const mi_option_guarded_max: mi_option_e = 31;