writem
extern wchar_t *writem(int *);
(void) fprintf(foutput, "\t%ws", writem(u->pitem));
"putitem(%ws), state %d\n", writem(ptr), nstate);
(void) fprintf(foutput, "\t%ws\n", writem(pp->pitem));
"\t%ws\n", writem(u->pitem));
writem(prdptr[i]));