Constant PROCESSOR_MIPS_R4000 

pub const PROCESSOR_MIPS_R4000: u32 = 4000;