pub const bfd_mach_mips4400: u32 = 4400;