Am 08.04.2018 um 20:40 schrieb Ken Brown: > Presumably the authors of the code knew that aadj could be this big, > because there's a test for aadj <= 0x7fffffff in line 1123. But the code never reaches that line, because the condition in line 1122 doesn't hold. From there it goes to lines 1131, 1132, 1182, 1187, 1189 and BOOM.