[Cin]Re: Weird "end of file" bug ?