Constant mi_option_destroy_on_exit 

pub const mi_option_destroy_on_exit: mi_option_e = 22;