symnam
extern wchar_t *symnam(int);
q = chcopy(q, symnam(i));
(void) fprintf(foutput, "%ws ", symnam(j));
s, temp1[t], r, symnam(t));
(void) fprintf(foutput, "\n\t%ws ", symnam(j0));
symnam(j0 + NTBASE), temp1[j1]);
lastred, symnam(k));