Constant MM_WORKBIT_AUX 

pub const MM_WORKBIT_AUX: u32 = 7u32;