buffer reads incrementally from file, keeping the buffer no longer than LEXBUF, (now set to 10)