snprintf(symname, sizeof(symname)-1, "%s%s%s", tag2str(tagstr1, tag1), opername,
snprintf(symname, sizeof(symname), "%s%s%s", tag2str(tagstr1, tag1), opername,
operator_symname(char *symname, char *opername, int tag1, int tag2,		 int numtags, int resulttag){   char                tagstr1[10], tagstr2[10];   int                 opertok;   assert(numtags >= 1 && numtags <= 2);   opertok = (opername[1] == '\0') ? opername[0] : 0;   if (opertok == '=')      snprintf(symname, sizeof(symname)-1, "%s%s%s", tag2str(tagstr1, resulttag), opername,	      tag2str(tagstr2, tag1));   else if (numtags == 1 || opertok == '~')      snprintf(symname, sizeof(symname)-1, "%s%s", opername, tag2str(tagstr1, tag1));   else      snprintf(symname, sizeof(symname)-1, "%s%s%s", tag2str(tagstr1, tag1), opername,	      tag2str(tagstr2, tag2));   return symname;}