[PPL-devel] ppl/devtools print_nonascii_lines