pub const mi_option_reset_decommits: mi_option_t = 5;