pub const bfd_mach_mips3900: u32 = 3900;