snprintf(dest, sizeof(dest)-1, "0%x", tag);
snprintf(dest, sizeof(dest), "0%x", tag);
tag2str(char *dest, int tag){   tag &= TAGMASK;   assert(tag >= 0);   snprintf(dest, sizeof(dest)-1, "0%x", tag);   return isdigit(dest[1]) ? &dest[1] : dest;}