Constant MM_WORKBIT_AUX

pub const MM_WORKBIT_AUX: u32 = 7u32;