/************************************************************************/
/* Read back ten pixels and print their values                          */
/************************************************************************/

read_10_pixels()
        {
        int     x, y, color;
        printf("\nValues in raster 19 are: ");
        y = 19;                         /* 20th raster from top         */
        for (x = 0; x < 10; x++)        /* Loop over pixels             */
                {
                pixel_write(x, y, x);   /* Put in known value           */
                color = pixel_read(x,y);/* Read next value              */
                printf(" %2d", color);  /* Print value just read        */
                }
        }