"Buggen är i princip omöjlig att upptäcka genom testning och manuell kodinspektion. Den upptäcktes av en automatisk kontroll av synkroniseringsalgoritmer."
718