Variable WindowsFile.eof

class WindowsFile
{
  // ...
  bool eof = false;
  // ...
}