pub const bfd_mach_mips4600: u32 = 4600;