"Błąd jest praktycznie niemożliwy do odkrycia przez testowanie i ręczną inspekcję kodu. Został znaleziony przez automatyczny kontroler algorytmów synchronizacji."
671