00");     else if(has_prefix(id0string(arch), "mips"))       argv.push_back("-mabi=00");     else if(arch == "powerpc" || arch == "ppc00" || arch == "ppc00le")       argv.push_back("-m00");     else if(arch == "s000" || arch == "s000x")       argv.push_back("-m00"); 