pub const MIPS_AFL_ASE_SMARTMIPS: u32 = 128;