pub const bfd_mach_mips8000: u32 = 8000;