Reorganizei o código de detecção de fim de arquivo na função “read_token” para melhorar a robustez.