const char *bfd_format_string(bfd_format format);