meta = 1;
} else
meta = 0;
if (isprint(ch) || !meta && (ch == ' ' || ch == '\t' || ch == '\n'))
if (isprint(ch) || (!meta && (ch == '\t' || ch == '\n')))
(void)putchar(ch);
else {
(void)putchar('^');