/*Lectura e impresión de caracteres*/
#include <stdio.h>
void main (void)
{    int c; 	/*Notar que no se define como char 
		para no confundir el código ASCII 255 (1111  1111) 
		con el valor EOF (1111  1111  1111  1111).*/
     c = getchar ();
     while (c!=EOF)
     {    putchar (c);
          c=getchar ( );
     }
}