reading character from a file, use the getc () function , c program