Learning the PNG file format (at a high level)