Constant MM_OKSORI_MIX_AUX1 

pub const MM_OKSORI_MIX_AUX1: u32 = 13u32;