pub const bfd_mach_s390_31: u32 = 31;