An experiment with the ppm image file format