Constant MIPS_AFL_ASE_MICROMIPS 

pub const MIPS_AFL_ASE_MICROMIPS: u32 = 2048;