pub const bfd_flavour_bfd_target_os9k_flavour: bfd_flavour = 12;