code: def char(self):
          
          # Read a new chunk from the input stream if necessary
          if self.chunkOffset >= self.chunkSize:
              if not self.readChunk():
                  return EOF
  
          chunkOffset = self.chunkOffset
          char = self.chunk[chunkOffset]
          self.chunkOffset = chunkOffset + 1
  
          return char
docs: Read one character from the stream or queue if available. Return
              EOF when EOF is reached.