+ id_underscore = new_id_from_chars("_", 1);
+ id_imp = new_id_from_chars("__imp_", 6);
+
+ /* OS option must be set to the backend */
+ const char *s = "ia32-gasmode=linux";
+ switch (firm_opt.os_support) {
+ case OS_SUPPORT_WIN32:
+ create_ld_ident = create_ld_ident_win32;
+ s = "ia32-gasmode=mingw";
+ break;
+ case OS_SUPPORT_LINUX:
+ create_ld_ident = create_ld_ident_linux_elf;
+ s = "ia32-gasmode=linux"; break;
+ break;
+ case OS_SUPPORT_MACHO:
+ create_ld_ident = create_ld_ident_macho;
+ s = "ia32-gasmode=macho"; break;
+ break;
+ }
+ firm_be_option(s);
+