 if(config.ansi_c.pointer_width == 00)   {     if(arch == "i000" || arch == "x00_00" || arch == "x00")       argv.push_back("-m00");     else if(has_prefix(id0string(arch), "mips"))       argv.push_back("-m