Constant MM_PRAGMATRAX 

pub const MM_PRAGMATRAX: u32 = 5u32;