pub const MIPS_AFL_EXT_5500: u32 = 16; // 16u32