fixed #7929: On windows no more than 32768 tokens can be generated