事故原因の調査に加わったjean-jacques levyによると、問題を引き起こしたadaのソースコードは以下のようなものであった。