pub const bfd_mach_ppc_7400: u32 = 7400;