//
// Torbert, 19 December 2014
//
#include <stdio.h>
//
int main()
{
   FILE* fout = fopen( "allRed.ppm" , "w" ) ;
   //
   int yp , xp ;
   //
   fprintf( fout , "P3\n" ) ;
   fprintf( fout , "640 480\n" ) ;
   fprintf( fout , "255\n" ) ;
   //
   for( yp = 0 ; yp < 480 ; yp++ )
      for( xp = 0 ; xp < 640 ; xp++ )
         fprintf( fout , "255 0 0\n" ) ;
   //
   close( fout ) ;
   //
   system( "convert allRed.ppm allRed.png" ) ;
   //
   return 0 ;
}
//
//     370 bytes ... allRed.png
//
// 2457615 bytes ... allRed.ppm
//