normchar
int normchar(wchar_t);
(void) normchar(c);
(void) normchar('\\');
int (*Putchar)() = normchar;
Putchar = t ? listchar : normchar;