svoid printPNGChunks(File pngFile) {
  PngReaderDumb png = new(pngFile);
  png.setIncludeIdat(true);
  png.readAll();
  print(f2s(pngFile));
  pnl("Chunk ", png.getChunks());
}