Constant mi_option_allow_thp 

pub const mi_option_allow_thp: mi_option_e = 37;