Export *lexer-buffer-size*