Constant MI_RESULT_NAMESPACE_NOT_EMPTY 

pub const MI_RESULT_NAMESPACE_NOT_EMPTY: MI_Result;