pub const bfd_mach_mips4100: u32 = 4100;