In send_deflated_token(), the section that handles "token != -2"