non_ascii         211 pretty.c       		if (non_ascii(ch))
non_ascii         302 pretty.c       	if (non_ascii(ch) || !isprint(ch))
non_ascii         344 pretty.c       		if (non_ascii(ch) || ch == '\n')
non_ascii        1700 pretty.c       			else if (non_ascii(ch)) {