Ils ont surtout oublié de refaire les tests unitaires d'un ancien code 16 bits sur la nouvelle cible 64 bits en ajoutant les valeurs minimales et maximales, et n'ont donc pas détecté l'overflow.
C'est aussi pour ça que les experts de l'ESA sont très frileux sur la réutilisation directe de code, même déjà validé.