"El error es básicamente imposible de descubrir mediante pruebas y revisión manual del código. Se encontró mediante un verificador automático de algoritmos de sincronización."
709