set_file_encoding 1648 pngread.c            set_file_encoding(display);
set_file_encoding 1735 pngread.c               set_file_encoding(display);