diff --git a/BCB/Cheang et al/Figure 3b/Figure_3b.bir b/BCB/Cheang et al/Figure 3b/Figure_3b.bir
index 24d5065fff73d29b90a7bff591738f4cb41892c8..7854eca749c3c01f707b03f74055afdac4f51914 100644
--- a/BCB/Cheang et al/Figure 3b/Figure_3b.bir	
+++ b/BCB/Cheang et al/Figure 3b/Figure_3b.bir	
@@ -1,6 +1,6 @@
-00019545: program
+00019876: program
 00019546: sub foo(foo_result)
-000195f3: foo_result :: out u32 = low:32[RAX]
+000198e6: foo_result :: out u32 = low:32[RAX]
 
 00014397:
 00014399: goto %0001343b
@@ -9,7 +9,7 @@
 00013441: RAX := pad:64[mem[0x180008223]]
 00013463: CF := low:32[RCX] < low:32[RAX]
 00013484: when ~CF goto %00013481
-00019547: goto %000134f7
+00019877: goto %000134f7
 
 00013481:
 00013493: RAX := 63:8[RAX].0
@@ -30,7 +30,7 @@
 00013569: call #12582288 with noreturn
 
 00019548: sub sub_180001005(sub_180001005_result)
-000195f4: sub_180001005_result :: out u32 = low:32[RAX]
+000198e7: sub_180001005_result :: out u32 = low:32[RAX]
 
 00004a00:
 00004a03: goto %00004a01
@@ -48,7 +48,7 @@
 00004a9c: #12582907 := low:32[RDX] - 1
 00004ab8: ZF := 0 = #12582907
 00004abf: when ~ZF goto %00004abc
-00019549: goto %00019533
+00019878: goto %00019533
 
 00019533:
 0001953c: RSP := RSP - 8
@@ -67,7 +67,7 @@
 00004b41: call @sub_1800015bc with noreturn
 
 0001954a: sub sub_18000100f(sub_18000100f_result)
-000195f5: sub_18000100f_result :: out u32 = low:32[RAX]
+000198e8: sub_18000100f_result :: out u32 = low:32[RAX]
 
 000118a5:
 000118b4: goto %000118b2
@@ -79,7 +79,7 @@
 000118cd: call #12582417 with noreturn
 
 0001954b: sub sub_180001019(sub_180001019_result)
-000195f6: sub_180001019_result :: out u32 = low:32[RAX]
+000198e9: sub_180001019_result :: out u32 = low:32[RAX]
 
 0001190d:
 00011910: goto %0001190e
@@ -101,7 +101,7 @@
 000119ff: call #12582407 with noreturn
 
 0001954c: sub sub_18000101e(sub_18000101e_result)
-000195f7: sub_18000101e_result :: out u32 = low:32[RAX]
+000198ea: sub_18000101e_result :: out u32 = low:32[RAX]
 
 0001206b:
 0001206d: goto %000118df
@@ -113,13 +113,13 @@
 000118f7: call #12582416 with noreturn
 
 0001954d: sub sub_18000102d(sub_18000102d_result)
-000195f8: sub_18000102d_result :: out u32 = low:32[RAX]
+000198eb: sub_18000102d_result :: out u32 = low:32[RAX]
 
 00011803:
 00011811: call @sub_1800027a0 with noreturn
 
 0001954e: sub sub_180001032(sub_180001032_result)
-000195f9: sub_180001032_result :: out u32 = low:32[RAX]
+000198ec: sub_180001032_result :: out u32 = low:32[RAX]
 
 00011813:
 00011815: goto %00004edb
@@ -131,7 +131,7 @@
 00004f0b: call #12582878 with noreturn
 
 0001954f: sub sub_18000103c(sub_18000103c_result)
-000195fa: sub_18000103c_result :: out u32 = low:32[RAX]
+000198ed: sub_18000103c_result :: out u32 = low:32[RAX]
 
 0000dd5b:
 0000dd6a: goto %0000dd68
@@ -145,7 +145,7 @@
 0000ddef: ZF := 0 = #12582815
 0000ddf7: RBX := RCX
 0000ddfe: when ~ZF goto %0000ddfb
-00019550: goto %0000df81
+00019879: goto %0000df81
 
 0000ddfb:
 0000de07: RDX := RBX
@@ -176,7 +176,7 @@
 0000dedd: call #12582808 with noreturn
 
 00019551: sub sub_180001041(sub_180001041_result)
-000195fb: sub_180001041_result :: out u32 = low:32[RAX]
+000198ee: sub_180001041_result :: out u32 = low:32[RAX]
 
 0000df97:
 0000df99: goto %00004dad
@@ -186,19 +186,19 @@
 00004db7: call mem[0x18000A028, el]:u64 with noreturn
 
 00019552: sub sub_180001046(sub_180001046_result)
-000195fc: sub_180001046_result :: out u32 = low:32[RAX]
+000198ef: sub_180001046_result :: out u32 = low:32[RAX]
 
 0000df9b:
 0000df9d: call @sub_1800027ac with noreturn
 
 00019553: sub sub_180001055(sub_180001055_result)
-000195fd: sub_180001055_result :: out u32 = low:32[RAX]
+000198f0: sub_180001055_result :: out u32 = low:32[RAX]
 
 0000f067:
 0000f069: call @sub_1800027a4 with noreturn
 
 00019554: sub sub_18000105a(sub_18000105a_result)
-000195fe: sub_18000105a_result :: out u32 = low:32[RAX]
+000198f1: sub_18000105a_result :: out u32 = low:32[RAX]
 
 0000f06b:
 0000f06e: goto %0000f06c
@@ -212,14 +212,14 @@
 0000f0f3: ZF := 0 = #12582706
 0000f0fb: RBX := pad:64[low:32[RCX]]
 0000f102: when ~ZF goto %0000f0ff
-0001955e: goto %000141d3
+00019883: goto %000141d3
 
 000141d3:
 000141e9: #12582218 := low:32[RCX] - 1
 000141ed: CF := low:32[RCX] < 1
 00014205: ZF := 0 = #12582218
 0001420d: when ~(CF | ZF) goto %0000f171
-0001955d: goto %00014211
+00019882: goto %00014211
 
 0000f171:
 0000f175: RCX := 5
@@ -340,6 +340,7 @@
 
 000141cf:
 000141d1: call @interrupt:#3 with noreturn
+00019881: call @sub_180001d38 with noreturn
 
 00014211:
 0001421a: RSP := RSP - 8
@@ -350,13 +351,13 @@
 00014233: #12582216 := low:32[RAX]
 00014249: ZF := 0 = #12582216
 00014250: when ZF goto %0001424d
-0001955b: goto %000142ab
+00019880: goto %000142ab
 
 000142ab:
 000142bb: #12582213 := low:32[RBX]
 000142d1: ZF := 0 = #12582213
 000142d7: when ~ZF goto %0001424d
-0001955a: goto %000142db
+0001987f: goto %000142db
 
 0001424d:
 0001425b: YMM0 := 255:128[YMM0].mem[0x180006890, el]:u128
@@ -365,7 +366,7 @@
 0001428d: mem := mem with [0x1800081E0, el]:u64 <- 0xFFFFFFFFFFFFFFFF
 00014297: mem := mem with [0x1800081E8, el]:u128 <- low:128[YMM0]
 000142a1: mem := mem with [0x1800081F8, el]:u64 <- 0xFFFFFFFFFFFFFFFF
-00019559: goto %000142a3
+0001987e: goto %000142a3
 
 000142db:
 000142df: RCX := 0x1800081D0
@@ -377,7 +378,7 @@
 00014303: #12582211 := low:32[RAX]
 00014319: ZF := 0 = #12582211
 00014320: when ~ZF goto %0001431d
-00019558: goto %00014347
+0001987d: goto %00014347
 
 00014347:
 0001434b: RCX := 0x1800081E8
@@ -389,15 +390,15 @@
 0001436f: #12582209 := low:32[RAX]
 00014385: ZF := 0 = #12582209
 0001438b: when ZF goto %000142a3
-00019557: goto %0001431d
+0001987c: goto %0001431d
 
 000142a3:
 000142a9: mem := mem with [0x1800081C9] <- 1
-00019556: goto %0000f0ff
+0001987b: goto %0000f0ff
 
 0000f0ff:
 0000f10b: RAX := high:56[RAX].1
-00019555: goto %0000f10d
+0001987a: goto %0000f10d
 
 0001431d:
 0001432f: RAX := 63:8[RAX].0
@@ -412,7 +413,7 @@
 0000f16f: call #12582701 with noreturn
 
 0001955f: sub sub_180001082(sub_180001082_result)
-000195ff: sub_180001082_result :: out u32 = low:32[RAX]
+000198f2: sub_180001082_result :: out u32 = low:32[RAX]
 
 00013601:
 00013610: goto %0001360e
@@ -426,13 +427,13 @@
 00013695: ZF := 0 = #12582282
 0001369f: RBX := high:56[RBX].low:8[RCX]
 000136a6: when ZF goto %000136a3
-00019561: goto %0001376f
+00019885: goto %0001376f
 
 0001376f:
 0001377f: #12582276 := low:8[RDX]
 00013795: ZF := 0 = #12582276
 0001379b: when ~ZF goto %000136d7
-00019560: goto %000136a3
+00019884: goto %000136a3
 
 000136a3:
 000136b2: RSP := RSP - 8
@@ -455,7 +456,7 @@
 00013741: call #12582277 with noreturn
 
 00019562: sub sub_180001087(sub_180001087_result)
-00019600: sub_180001087_result :: out u32 = low:32[RAX]
+000198f3: sub_180001087_result :: out u32 = low:32[RAX]
 
 0000d5dd:
 0000d5ec: goto %0000d5ea
@@ -469,31 +470,31 @@
 0000d663: call #12582864 with noreturn
 
 00019563: sub sub_18000108c(sub_18000108c_result)
-00019601: sub_18000108c_result :: out u32 = low:32[RAX]
+000198f4: sub_18000108c_result :: out u32 = low:32[RAX]
 
 0000d6f5:
 0000d6f8: call @sub_180001d38 with noreturn
 
 00019564: sub sub_180001096(sub_180001096_result)
-00019602: sub_180001096_result :: out u32 = low:32[RAX]
+000198f5: sub_180001096_result :: out u32 = low:32[RAX]
 
 00011bb9:
 00011bc7: call @sub_1800027a8 with noreturn
 
 00019565: sub sub_1800010a5(sub_1800010a5_result)
-00019603: sub_1800010a5_result :: out u32 = low:32[RAX]
+000198f6: sub_1800010a5_result :: out u32 = low:32[RAX]
 
 000116cd:
 000116db: call @sub_1800027b0 with noreturn
 
 00019566: sub sub_1800010aa(sub_1800010aa_result)
-00019604: sub_1800010aa_result :: out u32 = low:32[RAX]
+000198f7: sub_1800010aa_result :: out u32 = low:32[RAX]
 
 000116dd:
 000116df: call @sub_1800027a4 with noreturn
 
 00019567: sub sub_1800010b4(sub_1800010b4_result)
-00019605: sub_1800010b4_result :: out u32 = low:32[RAX]
+000198f8: sub_1800010b4_result :: out u32 = low:32[RAX]
 
 00004ca8:
 00004cb7: goto %00004cb5
@@ -503,13 +504,13 @@
 00004d08: #12582889 := low:32[RDX] - 1
 00004d24: ZF := 0 = #12582889
 00004d2b: when ~ZF goto %00004d28
-00019569: goto %00018a4b
+00019887: goto %00018a4b
 
 00018a4b:
 00018a61: #12582158 := mem[0x180006880, el]:u64
 00018a7d: ZF := 0 = #12582158
 00018a83: when ~ZF goto %00004d28
-00019568: goto %00018a87
+00019886: goto %00018a87
 
 00018a87:
 00018a93: #12582156 := mem[0x18000A020, el]:u64
@@ -525,7 +526,7 @@
 00004d86: call #12582884 with noreturn
 
 0001956a: sub sub_1800010c3(sub_1800010c3_result)
-00019606: sub_1800010c3_result :: out u32 = low:32[RAX]
+000198f9: sub_1800010c3_result :: out u32 = low:32[RAX]
 
 0000fc66:
 0000fc74: goto %0000e915
@@ -537,7 +538,7 @@
 0000e92d: call #12582755 with noreturn
 
 0001956b: sub sub_1800010cd(sub_1800010cd_result)
-00019607: sub_1800010cd_result :: out u32 = low:32[RAX]
+000198fa: sub_1800010cd_result :: out u32 = low:32[RAX]
 
 000109b4:
 000109b6: goto %0001007e
@@ -555,7 +556,7 @@
 000100e9:
 0001010c: CF := RBX < 0x1800071F0
 0001012d: when CF goto %0001012a
-0001956e: goto %000101c4
+0001988a: goto %000101c4
 
 000101c4:
 000101cc: RBX := mem[RSP + 0x30, el]:u64
@@ -571,7 +572,7 @@
 0001014a: #12582580 := RAX
 00010160: ZF := 0 = #12582580
 00010167: when ZF goto %00010164
-0001956d: goto %000101aa
+00019889: goto %000101aa
 
 000101aa:
 000101b6: #12582575 := mem[0x18000B020, el]:u64
@@ -581,10 +582,10 @@
 
 00010164:
 00010189: RBX := RBX + 8
-0001956c: goto %000100e9
+00019888: goto %000100e9
 
 0001956f: sub sub_1800010d7(sub_1800010d7_result)
-00019608: sub_1800010d7_result :: out u32 = low:32[RAX]
+000198fb: sub_1800010d7_result :: out u32 = low:32[RAX]
 
 00011199:
 0001119b: goto %00010272
@@ -602,7 +603,7 @@
 000102dd:
 00010300: CF := RBX < 0x180007410
 00010321: when CF goto %0001031e
-00019572: goto %000103b8
+0001988d: goto %000103b8
 
 000103b8:
 000103c0: RBX := mem[RSP + 0x30, el]:u64
@@ -618,7 +619,7 @@
 0001033e: #12582564 := RAX
 00010354: ZF := 0 = #12582564
 0001035b: when ZF goto %00010358
-00019571: goto %0001039e
+0001988c: goto %0001039e
 
 0001039e:
 000103aa: #12582559 := mem[0x18000B020, el]:u64
@@ -628,22 +629,22 @@
 
 00010358:
 0001037d: RBX := RBX + 8
-00019570: goto %000102dd
+0001988b: goto %000102dd
 
 00019573: sub sub_1800010e1(sub_1800010e1_result)
-00019609: sub_1800010e1_result :: out u32 = low:32[RAX]
+000198fc: sub_1800010e1_result :: out u32 = low:32[RAX]
 
 000111a1:
 000111a3: call @sub_1800027a8 with noreturn
 
 00019574: sub sub_1800010e6(sub_1800010e6_result)
-0001960a: sub_1800010e6_result :: out u32 = low:32[RAX]
+000198fd: sub_1800010e6_result :: out u32 = low:32[RAX]
 
 000111a5:
 000111a7: call @sub_1800027ac with noreturn
 
 00019575: sub sub_1800010fa(sub_1800010fa_result)
-0001960b: sub_1800010fa_result :: out u32 = low:32[RAX]
+000198fe: sub_1800010fa_result :: out u32 = low:32[RAX]
 
 000111b5:
 000111b8: goto %000111b6
@@ -660,7 +661,7 @@
 00011248: #12582456 := RAX - 0x2B992DDFA232
 00011267: ZF := 0 = #12582456
 0001126e: when ~ZF goto %0001126b
-00019577: goto %000113a1
+0001988f: goto %000113a1
 
 000113a1:
 000113b7: mem := mem with [RBP + 0x18, el]:u64 <- 0
@@ -710,7 +711,7 @@
 00011615: ZF := 0 = #12582437
 00011621: RAX := if ZF then 0x2B992DDFA233 else RAX
 0001162b: mem := mem with [0x180008020, el]:u64 <- RAX
-00019576: goto %0001126b
+0001988e: goto %0001126b
 
 0001126b:
 00011279: RBX := mem[RSP + 0x48, el]:u64
@@ -724,7 +725,7 @@
 000112ef: call #12582451 with noreturn
 
 00019578: sub sub_180001109(sub_180001109_result)
-0001960c: sub_180001109_result :: out u32 = low:32[RAX]
+000198ff: sub_180001109_result :: out u32 = low:32[RAX]
 
 00011635:
 00011638: goto %00011636
@@ -736,7 +737,7 @@
 00011651: call #12582435 with noreturn
 
 00019579: sub sub_18000110e(sub_18000110e_result)
-0001960d: sub_18000110e_result :: out u32 = low:32[RAX]
+00019900: sub_18000110e_result :: out u32 = low:32[RAX]
 
 00011663:
 00011665: goto %00004dd1
@@ -749,7 +750,7 @@
 00004ddf: call mem[0x18000A0F0, el]:u64 with noreturn
 
 0001957a: sub sub_180001118(sub_180001118_result)
-0001960e: sub_180001118_result :: out u32 = low:32[RAX]
+00019901: sub_180001118_result :: out u32 = low:32[RAX]
 
 0001166b:
 0001166e: goto %0001166c
@@ -769,7 +770,7 @@
 000111b3: call @sub_1800027b0 with noreturn
 
 0001957b: sub sub_18000111d(sub_18000111d_result)
-0001960f: sub_18000111d_result :: out u32 = low:32[RAX]
+00019902: sub_18000111d_result :: out u32 = low:32[RAX]
 
 000122af:
 000122b1: goto %00011a1d
@@ -784,7 +785,7 @@
 00011a79: #12582403 := low:8[RAX]
 00011a8f: ZF := 0 = #12582403
 00011a96: when ~ZF goto %00011a93
-0001957e: goto %00012044
+00019892: goto %00012044
 
 00011a93:
 00011aa2: RSP := RSP - 8
@@ -795,11 +796,11 @@
 00011abb: #12582401 := low:8[RAX]
 00011ad1: ZF := 0 = #12582401
 00011ad8: when ~ZF goto %00011ad5
-0001957d: goto %00012031
+00019891: goto %00012031
 
 00011ad5:
 00011ae1: RAX := high:56[RAX].1
-0001957c: goto %00011ae3
+00019890: goto %00011ae3
 
 00012031:
 0001203a: RSP := RSP - 8
@@ -820,13 +821,13 @@
 00011b35: call #12582396 with noreturn
 
 0001957f: sub sub_180001122(sub_180001122_result)
-00019610: sub_180001122_result :: out u32 = low:32[RAX]
+00019903: sub_180001122_result :: out u32 = low:32[RAX]
 
 00011851:
 0001185f: call @sub_1800027a0 with noreturn
 
 00019580: sub sub_180001127(sub_180001127_result)
-00019611: sub_180001127_result :: out u32 = low:32[RAX]
+00019904: sub_180001127_result :: out u32 = low:32[RAX]
 
 00011861:
 00011864: goto %00011862
@@ -851,7 +852,7 @@
 00012147: call #12582357 with noreturn
 
 00019581: sub sub_18000112c(sub_18000112c_result)
-00019612: sub_18000112c_result :: out u32 = low:32[RAX]
+00019905: sub_18000112c_result :: out u32 = low:32[RAX]
 
 0000f257:
 0000f266: goto %0000f264
@@ -863,7 +864,7 @@
 0000f2a1: call #12582692 with noreturn
 
 00019582: sub sub_18000113b(sub_18000113b_result)
-00019613: sub_18000113b_result :: out u32 = low:32[RAX]
+00019906: sub_18000113b_result :: out u32 = low:32[RAX]
 
 0000fbe0:
 0000fbe3: goto %0000fbe1
@@ -878,7 +879,7 @@
 0000fc40: #12582610 := low:32[RAX]
 0000fc56: ZF := 0 = #12582610
 0000fc5d: when ZF goto %0000fc5a
-00019585: goto %000123cf
+00019895: goto %000123cf
 
 0000fc5a:
 0000fc6a: RSP := RSP - 8
@@ -895,7 +896,7 @@
 000122dd: #12582350 := low:32[RAX]
 000122f3: ZF := 0 = #12582350
 000122fa: when ZF goto %000122f7
-00019584: goto %000123ab
+00019894: goto %000123ab
 
 000122f7:
 00012306: RSP := RSP - 8
@@ -916,7 +917,7 @@
 
 0001230f:
 00012315: RAX := high:56[RAX].1
-00019583: goto %00012317
+00019893: goto %00012317
 
 00012317:
 00012336: RSP := RSP + 0x28
@@ -925,7 +926,7 @@
 00012369: call #12582345 with noreturn
 
 00019586: sub sub_180001140(sub_180001140_result)
-00019614: sub_180001140_result :: out u32 = low:32[RAX]
+00019907: sub_180001140_result :: out u32 = low:32[RAX]
 
 0000d574:
 0000d57a: goto %0000d578
@@ -945,18 +946,18 @@
 00014533: #12582194 := low:32[RAX]
 00014549: ZF := 0 = #12582194
 00014550: when ZF goto %0001454d
-00019589: goto %000145e7
+00019898: goto %000145e7
 
 000145e7:
 000145f7: #12582188 := low:8[RBX]
 0001460d: ZF := 0 = #12582188
 00014613: when ~ZF goto %0001454d
-00019588: goto %00014617
+00019897: goto %00014617
 
 00014617:
 00014626: RDX := mem[0x1800081C0, el]:u64
 0001462b: mem := mem with [0x1800081C0, el]:u64 <- 0
-00019587: goto %0001454d
+00019896: goto %0001454d
 
 0001454d:
 00014572: RSP := RSP + 0x20
@@ -967,7 +968,7 @@
 000145b5: call #12582189 with noreturn
 
 0001958a: sub sub_180001145(sub_180001145_result)
-00019615: sub_180001145_result :: out u32 = low:32[RAX]
+00019908: sub_180001145_result :: out u32 = low:32[RAX]
 
 000117ed:
 000117fb: goto %0000e3ff
@@ -1006,7 +1007,7 @@
 0000e623: mem := mem with [RSP + 8, el]:u32 <- low:32[RCX]
 0000e62f: mem := mem with [RSP + 0xC, el]:u32 <- low:32[RDX]
 0000e636: when ~ZF goto %0000e633
-0001959c: goto %0000ed25
+000198aa: goto %0000ed25
 
 0000ed25:
 0000ed35: mem := mem with [0x180008048, el]:u64 <- 0xFFFFFFFFFFFFFFFF
@@ -1015,19 +1016,19 @@
 0000ed93: #12582734 := low:32[RAX] - 0x106C0
 0000edaf: ZF := 0 = #12582734
 0000edb6: when ZF goto %0000edb3
-0001959b: goto %0000edf7
+000198a9: goto %0000edf7
 
 0000edf7:
 0000ee0d: #12582731 := low:32[RAX] - 0x20660
 0000ee29: ZF := 0 = #12582731
 0000ee2f: when ZF goto %0000edb3
-0001959a: goto %0000ee33
+000198a8: goto %0000ee33
 
 0000ee33:
 0000ee49: #12582729 := low:32[RAX] - 0x20670
 0000ee65: ZF := 0 = #12582729
 0000ee6b: when ZF goto %0000edb3
-00019599: goto %0000ee6f
+000198a7: goto %0000ee6f
 
 0000ee6f:
 0000ee8e: RAX := pad:64[low:32[RAX] - 0x30650]
@@ -1035,18 +1036,18 @@
 0000eec9: CF := low:32[RAX] < 0x20
 0000eee1: ZF := 0 = #12582724
 0000eee9: when ~(CF | ZF) goto %0000e633
-00019598: goto %0000eeed
+000198a6: goto %0000eeed
 
 0000eeed:
 0000eef1: RCX := 0x100010001
 0000ef01: #12582722 := low:6[RAX]
 0000ef06: CF := low:1[0x100010001 >> #12582722]
 0000ef1b: when ~CF goto %0000e633
-00019597: goto %0000edb3
+000198a5: goto %0000edb3
 
 0000e633:
 0000e63f: R8 := pad:64[mem[0x180008214, el]:u32]
-00019596: goto %0000e641
+000198a4: goto %0000e641
 
 0000edb3:
 0000edbf: R8 := pad:64[mem[0x180008214, el]:u32]
@@ -1061,7 +1062,7 @@
 0000e676: OF := high:1[(low:32[RSI] ^ 7) & (low:32[RSI] ^ #12582761)]
 0000e685: SF := high:1[#12582761]
 0000e696: when (SF | OF) & ~(SF & OF) goto %0000e690
-00019595: goto %0000ec65
+000198a3: goto %0000ec65
 
 0000ec65:
 0000ec6f: RCX := 0
@@ -1076,19 +1077,19 @@
 0000eccb: mem := mem with [RSP + 0xC, el]:u32 <- low:32[RDX]
 0000ecd8: CF := low:1[RBX >> 9]
 0000eced: when ~CF goto %0000e690
-00019594: goto %0000ecf1
+000198a2: goto %0000ecf1
 
 0000ecf1:
 0000ed03: R8 := pad:64[low:32[R8] | 2]
 0000ed23: mem := mem with [0x180008214, el]:u32 <- low:32[R8]
-00019593: goto %0000e690
+000198a1: goto %0000e690
 
 0000e690:
 0000e69f: mem := mem with [0x180008038, el]:u32 <- 1
 0000e6a9: mem := mem with [0x18000803C, el]:u32 <- 2
 0000e6b6: CF := low:1[RDI >> 0x14]
 0000e6cc: when ~CF goto %0000e6c9
-00019592: goto %0000e937
+000198a0: goto %0000e937
 
 0000e937:
 0000e93f: mem := mem with [0x180008038, el]:u32 <- 2
@@ -1096,12 +1097,12 @@
 0000e94f: mem := mem with [0x18000803C, el]:u32 <- 6
 0000e95c: CF := low:1[RDI >> 0x1B]
 0000e971: when ~CF goto %0000e6c9
-00019591: goto %0000e975
+0001989f: goto %0000e975
 
 0000e975:
 0000e980: CF := low:1[RDI >> 0x1C]
 0000e995: when ~CF goto %0000e6c9
-00019590: goto %0000e999
+0001989e: goto %0000e999
 
 0000e999:
 0000e9a3: RCX := 0
@@ -1115,7 +1116,7 @@
 0000ea78: #12582750 := low:8[RAX] - 6
 0000ea97: ZF := 0 = #12582750
 0000ea9d: when ~ZF goto %0000e6c9
-0001958f: goto %0000eaa1
+0001989d: goto %0000eaa1
 
 0000eaa1:
 0000eaa7: RAX := pad:64[mem[0x18000803C, el]:u32]
@@ -1125,7 +1126,7 @@
 0000eaf3: #12582747 := low:8[R11] & 0x20
 0000eb09: ZF := 0 = #12582747
 0000eb0f: when ZF goto %0000e6c9
-0001958e: goto %0000eb13
+0001989c: goto %0000eb13
 
 0000eb13:
 0000eb23: RAX := pad:64[low:32[RAX] | 0x20]
@@ -1136,7 +1137,7 @@
 0000eb98: #12582743 := low:32[R11] - 0xD0030000
 0000ebb7: ZF := 0 = #12582743
 0000ebbd: when ~ZF goto %0000e6c9
-0001958d: goto %0000ebc1
+0001989b: goto %0000ebc1
 
 0000ebc1:
 0000ebc9: RAX := mem[RSP + 0x20, el]:u64
@@ -1144,13 +1145,13 @@
 0000ec0b: #12582740 := low:8[RAX] - 0xE0
 0000ec27: ZF := 0 = #12582740
 0000ec2d: when ~ZF goto %0000e6c9
-0001958c: goto %0000ec31
+0001989a: goto %0000ec31
 
 0000ec31:
 0000ec43: mem :=
           mem with [0x18000803C, el]:u32 <- mem[0x18000803C, el]:u32 | 0x40
 0000ec63: mem := mem with [0x180008038, el]:u32 <- 6
-0001958b: goto %0000e6c9
+00019899: goto %0000e6c9
 
 0000e6c9:
 0000e6d7: RBX := mem[RSP + 0x28, el]:u64
@@ -1164,7 +1165,7 @@
 0000e763: call #12582756 with noreturn
 
 0001959d: sub sub_18000114a(sub_18000114a_result)
-00019616: sub_18000114a_result :: out u32 = low:32[RAX]
+00019909: sub_18000114a_result :: out u32 = low:32[RAX]
 
 0000f17d:
 0000f18c: goto %0000f18a
@@ -1187,7 +1188,7 @@
 0000f22b: #12582695 := low:32[RAX]
 0000f241: ZF := 0 = #12582695
 0000f248: when ZF goto %0000f245
-000195a1: goto %00012aeb
+000198ae: goto %00012aeb
 
 00012aeb:
 00012af1: RCX := pad:64[low:32[RBX]]
@@ -1228,7 +1229,7 @@
 000124a7: #12582342 := RAX
 000124bd: ZF := 0 = #12582342
 000124c4: when ZF goto %000124c1
-000195a0: goto %00012a2b
+000198ad: goto %00012a2b
 
 00012a2b:
 00012a41: mem := mem with [RSP + 0x38, el]:u64 <- 0
@@ -1295,13 +1296,13 @@
 00012683: #12582332 := low:32[RAX]
 00012699: ZF := 0 = #12582332
 000126a0: when ~ZF goto %0001269d
-0001959f: goto %000129e1
+000198ac: goto %000129e1
 
 000129e1:
 000129f1: #12582316 := low:8[RBX]
 00012a07: ZF := 0 = #12582316
 00012a0d: when ~ZF goto %0001269d
-0001959e: goto %00012a11
+000198ab: goto %00012a11
 
 00012a11:
 00012a17: RCX := pad:64[low:32[RAX + 3]]
@@ -1319,7 +1320,7 @@
 0001270f: call #12582327 with noreturn
 
 000195a2: sub sub_180001154(sub_180001154_result)
-00019617: sub_180001154_result :: out u32 = low:32[RAX]
+0001990a: sub_180001154_result :: out u32 = low:32[RAX]
 
 00012afb:
 00012afd: goto %00010cd4
@@ -1334,7 +1335,7 @@
 00010d30: #12582492 := low:32[RAX]
 00010d46: ZF := 0 = #12582492
 00010d4d: when ZF goto %00010d4a
-000195a6: goto %00010e0c
+000198b2: goto %00010e0c
 
 00010e0c:
 00010e14: RAX := mem[GS_BASE + 0x30, el]:u64
@@ -1368,18 +1369,18 @@
 
 00010eab:
 00010eb0: when ~ZF goto %00010ead
-000195a5: goto %00010d4a
+000198b1: goto %00010d4a
 
 00010d4a:
 00010d5c: RAX := 63:8[RAX].0
 00010d62: ZF := 1
-000195a4: goto %00010d70
+000198b0: goto %00010d70
 
 00010ead:
 00010ece: #12582483 := RCX - RAX
 00010eed: ZF := 0 = #12582483
 00010ef3: when ZF goto %00010dc4
-000195a3: goto %00010e21
+000198af: goto %00010e21
 
 00010dc4:
 00010dca: RAX := high:56[RAX].1
@@ -1392,7 +1393,7 @@
 00010dc2: call #12582487 with noreturn
 
 000195a7: sub sub_180001163(sub_180001163_result)
-00019618: sub_180001163_result :: out u32 = low:32[RAX]
+0001990b: sub_180001163_result :: out u32 = low:32[RAX]
 
 00012b07:
 00012b09: goto %00011c49
@@ -1417,13 +1418,13 @@
 00011d01: #12582384 := low:32[RAX]
 00011d17: ZF := 0 = #12582384
 00011d1e: when ~ZF goto %00011d1b
-000195a9: goto %00011fa5
+000198b4: goto %00011fa5
 
 00011fa5:
 00011fbb: #12582365 := low:32[RBX] - 1
 00011fd7: ZF := 0 = #12582365
 00011fdd: when ~ZF goto %00011d1b
-000195a8: goto %00011fe1
+000198b3: goto %00011fe1
 
 00011fe1:
 00011fe7: R8 := RSI
@@ -1450,7 +1451,7 @@
 00004e03: call mem[0x18000A180, el]:u64 with noreturn
 
 000195aa: sub sub_180001168(sub_180001168_result)
-00019619: sub_180001168_result :: out u32 = low:32[RAX]
+0001990c: sub_180001168_result :: out u32 = low:32[RAX]
 
 00012b0b:
 00012b0d: goto %00011749
@@ -1479,7 +1480,7 @@
 0001182b: #12582422 := low:8[RAX]
 00011841: ZF := 0 = #12582422
 00011848: when ~ZF goto %00011845
-000195ad: goto %00012288
+000198b7: goto %00012288
 
 00011845:
 00011855: RSP := RSP - 8
@@ -1490,11 +1491,11 @@
 0001217d: #12582356 := low:8[RAX]
 00012193: ZF := 0 = #12582356
 0001219a: when ~ZF goto %00012197
-000195ac: goto %00012257
+000198b6: goto %00012257
 
 00012197:
 000121a5: RAX := high:56[RAX].1
-000195ab: goto %000121a7
+000198b5: goto %000121a7
 
 00012257:
 00012261: RCX := 0
@@ -1518,7 +1519,7 @@
 00012209: call #12582351 with noreturn
 
 000195ae: sub sub_180001177(sub_180001177_result)
-0001961a: sub_180001177_result :: out u32 = low:32[RAX]
+0001990d: sub_180001177_result :: out u32 = low:32[RAX]
 
 00012b17:
 00012b19: goto %00011b67
@@ -1542,7 +1543,7 @@
 00011c2b: call #12582389 with noreturn
 
 000195af: sub sub_180001181(sub_180001181_result)
-0001961b: sub_180001181_result :: out u32 = low:32[RAX]
+0001990e: sub_180001181_result :: out u32 = low:32[RAX]
 
 00012e03:
 00012e11: goto %00011e07
@@ -1557,7 +1558,7 @@
 00011e63: #12582376 := low:32[RAX]
 00011e79: ZF := 0 = #12582376
 00011e80: when ZF goto %00011e7d
-000195b1: goto %00011f5b
+000198b9: goto %00011f5b
 
 00011e7d:
 00011e8c: RSP := RSP - 8
@@ -1568,7 +1569,7 @@
 00011ea5: #12582374 := low:32[RAX]
 00011ebb: ZF := 0 = #12582374
 00011ec2: when ~ZF goto %00011ebf
-000195b0: goto %00011f49
+000198b8: goto %00011f49
 
 00011f49:
 00011f52: RSP := RSP - 8
@@ -1590,14 +1591,14 @@
 00004e21: call mem[0x18000A1A8, el]:u64 with noreturn
 
 000195b2: sub sub_180001354(sub_180001354_result)
-0001961c: sub_180001354_result :: out u32 = low:32[RAX]
+0001990f: sub_180001354_result :: out u32 = low:32[RAX]
 
 00012b20:
 00012b3f: RSP := RSP - 0x28
 00012b6d: #12582309 := low:32[RDX]
 00012b83: ZF := 0 = #12582309
 00012b8a: when ZF goto %00012b87
-000195c1: goto %00013f45
+000198c8: goto %00013f45
 
 00012b87:
 00012b9d: #12582307 := R8
@@ -1610,7 +1611,7 @@
 00013f61: RDX := pad:64[low:32[RDX] - 1]
 00013f7d: ZF := 0 = low:32[RDX]
 00013f84: when ZF goto %00013f81
-000195c0: goto %00013fd3
+000198c7: goto %00013fd3
 
 00013f81:
 00013f8d: RDX := R8
@@ -1636,7 +1637,7 @@
 00013a11: #12582260 := low:8[RAX]
 00013a27: ZF := 0 = #12582260
 00013a2e: when ZF goto %00013a2b
-000195bf: goto %00013c07
+000198c6: goto %00013c07
 
 00013c07:
 00013c10: RSP := RSP - 8
@@ -1650,7 +1651,7 @@
 00013c4d: #12582254 := mem[0x1800081B8, el]:u32
 00013c69: ZF := 0 = #12582254
 00013c6f: when ~ZF goto %00013ad1
-000195be: goto %00013c73
+000198c5: goto %00013c73
 
 00013ad1:
 00013ad5: RCX := 7
@@ -1870,6 +1871,7 @@
 
 00013c03:
 00013c05: call @interrupt:#3 with noreturn
+000198c4: call @sub_180001514 with noreturn
 
 00013c73:
 00013c79: mem := mem with [0x1800081B8, el]:u32 <- 1
@@ -1881,7 +1883,7 @@
 00013c9d: #12582252 := low:8[RAX]
 00013cb3: ZF := 0 = #12582252
 00013cba: when ZF goto %00013cb7
-000195bc: goto %00013e39
+000198c3: goto %00013e39
 
 00013e39:
 00013e42: RSP := RSP - 8
@@ -1909,7 +1911,7 @@
 00013e9d: #12582241 := low:32[RAX]
 00013eb3: ZF := 0 = #12582241
 00013eb9: when ~ZF goto %00013cb7
-000195bb: goto %00013ebd
+000198c2: goto %00013ebd
 
 00013ebd:
 00013ec6: RSP := RSP - 8
@@ -1920,7 +1922,7 @@
 00013edf: #12582239 := low:8[RAX]
 00013ef5: ZF := 0 = #12582239
 00013efb: when ZF goto %00013cb7
-000195ba: goto %00013eff
+000198c1: goto %00013eff
 
 00013eff:
 00013f03: RDX := 0x180006110
@@ -1932,7 +1934,7 @@
 00013f1d:
 00013f23: mem := mem with [0x1800081B8, el]:u32 <- 2
 00013f31: RDI := 63:8[RDI].0
-000195b9: goto %00013cb7
+000198c0: goto %00013cb7
 
 00013cb7:
 00013cc5: RCX := high:56[RCX].low:8[RBX]
@@ -1944,11 +1946,11 @@
 00013ce9: #12582250 := low:8[RDI]
 00013cff: ZF := 0 = #12582250
 00013d05: when ~ZF goto %00013a2b
-000195b8: goto %00013d09
+000198bf: goto %00013d09
 
 00013a2b:
 00013a3b: RAX := 0
-000195b7: goto %00013a4f
+000198be: goto %00013a4f
 
 00013d09:
 00013d12: RSP := RSP - 8
@@ -1960,7 +1962,7 @@
 00013d3f: #12582248 := mem[RAX, el]:u64
 00013d5f: ZF := 0 = #12582248
 00013d66: when ZF goto %00013d63
-000195b6: goto %00013dad
+000198bd: goto %00013dad
 
 00013dad:
 00013db3: RCX := RAX
@@ -1972,7 +1974,7 @@
 00013dd7: #12582244 := low:8[RAX]
 00013ded: ZF := 0 = #12582244
 00013df3: when ZF goto %00013d63
-000195b5: goto %00013df7
+000198bc: goto %00013df7
 
 00013df7:
 00013dfd: R8 := RSI
@@ -2006,7 +2008,7 @@
 00013fef: RDX := pad:64[low:32[RDX] - 1]
 0001400b: ZF := 0 = low:32[RDX]
 00014012: when ZF goto %0001400f
-000195b4: goto %00014083
+000198bb: goto %00014083
 
 0001400f:
 0001401e: RSP := RSP - 8
@@ -2017,7 +2019,7 @@
 00014099: #12582224 := low:32[RDX] - 1
 000140b5: ZF := 0 = #12582224
 000140bc: when ZF goto %000140b9
-000195b3: goto %000140d5
+000198ba: goto %000140d5
 
 000140b9:
 000140c8: RSP := RSP - 8
@@ -2042,7 +2044,7 @@
 0001412d: call #12582219 with noreturn
 
 000195c2: sub sub_180001514(sub_180001514_result)
-0001961d: sub_180001514_result :: out u32 = low:32[RAX]
+00019910: sub_180001514_result :: out u32 = low:32[RAX]
 
 00012c00:
 00012c0d: mem := mem with [RSP + 8, el]:u64 <- RBX
@@ -2056,7 +2058,7 @@
 00012c95: SF := high:1[#12582298]
 00012c99: ZF := 0 = #12582298
 00012ca8: when ~(ZF | SF) goto %00012ca1
-000195c6: goto %000138dd
+000198cc: goto %000138dd
 
 00012ca1:
 00012cc5: RAX := pad:64[low:32[RAX] - 1]
@@ -2071,7 +2073,7 @@
 00012d27: #12582294 := mem[0x1800081B8, el]:u32 - 2
 00012d43: ZF := 0 = #12582294
 00012d4a: when ~ZF goto %00012d47
-000195c5: goto %00012dfd
+000198cb: goto %00012dfd
 
 00012d47:
 00012d51: RCX := 7
@@ -2189,6 +2191,7 @@
 
 00012df9:
 00012dfb: call @interrupt:#3 with noreturn
+000198ca: call @sub_1800015bc with noreturn
 
 00012dfd:
 00012e07: RSP := RSP - 8
@@ -2237,7 +2240,7 @@
 
 000138dd:
 000138e7: RAX := 0
-000195c3: goto %0001386c
+000198c9: goto %0001386c
 
 0001386c:
 00013877: RBX := mem[RSP + 0x40, el]:u64
@@ -2249,7 +2252,7 @@
 000138db: call #12582265 with noreturn
 
 000195c7: sub sub_1800015bc(sub_1800015bc_result)
-0001961e: sub_1800015bc_result :: out u32 = low:32[RAX]
+00019911: sub_1800015bc_result :: out u32 = low:32[RAX]
 
 00004b3f:
 00004b48: RAX := RSP
@@ -2273,7 +2276,7 @@
 00004c24: #12582896 := low:32[RDX]
 00004c3a: ZF := 0 = #12582896
 00004c41: when ~ZF goto %00004c3e
-000195d6: goto %00019123
+000198db: goto %00019123
 
 00019123:
 0001913e: #12582123 := mem[0x180008170, el]:u32 - low:32[RDX]
@@ -2282,7 +2285,7 @@
 00019159: SF := high:1[#12582123]
 0001915d: ZF := 0 = #12582123
 0001916b: when ~(ZF | (SF | OF) & ~(SF & OF)) goto %00004c3e
-000195d5: goto %0001916f
+000198da: goto %0001916f
 
 00004c3e:
 00004c4a: RAX := pad:64[low:32[RDX - 1]]
@@ -2290,14 +2293,14 @@
 00004c66: CF := low:32[RAX] < 1
 00004c7e: ZF := 0 = #12582894
 00004c87: when ~(CF | ZF) goto %00004c83
-000195d4: goto %00019011
+000198d9: goto %00019011
 
 00019011:
 00019017: RAX := mem[0x180006880, el]:u64
 00019029: #12582130 := RAX
 0001903f: ZF := 0 = #12582130
 00019046: when ~ZF goto %00019043
-000195d3: goto %00019115
+000198d8: goto %00019115
 
 00019043:
 00019055: #12582128 := mem[0x18000B020, el]:u64
@@ -2311,7 +2314,7 @@
 00019087: #12582127 := low:32[RAX]
 0001909d: ZF := 0 = #12582127
 000190a3: when ZF goto %00018b91
-000195d2: goto %000190a7
+000198d7: goto %000190a7
 
 00019115:
 0001911d: mem := mem with [RSP + 0x30, el]:u32 <- 1
@@ -2331,7 +2334,7 @@
 000190f5: #12582125 := low:32[RAX]
 0001910b: ZF := 0 = #12582125
 00019111: when ZF goto %00018b91
-000195d1: goto %00004c83
+000198d6: goto %00004c83
 
 00004c83:
 00004c90: R8 := RSI
@@ -2347,13 +2350,13 @@
 00018ad3: #12582155 := low:32[RDI] - 1
 00018aef: ZF := 0 = #12582155
 00018af6: when ~ZF goto %00018af3
-000195d0: goto %00018edd
+000198d5: goto %00018edd
 
 00018edd:
 00018eed: #12582137 := low:32[RAX]
 00018f03: ZF := 0 = #12582137
 00018f09: when ~ZF goto %00018af3
-000195cf: goto %00018f0d
+000198d4: goto %00018f0d
 
 00018f0d:
 00018f13: R8 := RSI
@@ -2376,7 +2379,7 @@
 00018fa9: #12582133 := RAX
 00018fbf: ZF := 0 = #12582133
 00018fc5: when ZF goto %00018af3
-000195ce: goto %00018fc9
+000198d3: goto %00018fc9
 
 00018fc9:
 00018fcf: R8 := RSI
@@ -2391,13 +2394,13 @@
 00018b09: #12582153 := low:32[RDI]
 00018b1f: ZF := 0 = #12582153
 00018b26: when ZF goto %00018b23
-000195cd: goto %00018ea1
+000198d2: goto %00018ea1
 
 00018ea1:
 00018eb7: #12582139 := low:32[RDI] - 3
 00018ed3: ZF := 0 = #12582139
 00018ed9: when ~ZF goto %00018b91
-000195cc: goto %00018b23
+000198d1: goto %00018b23
 
 00018b23:
 00018b2f: R8 := RSI
@@ -2413,14 +2416,14 @@
 00018b77: #12582151 := low:32[RAX]
 00018b8d: ZF := 0 = #12582151
 00018b94: when ZF goto %00018b91
-000195cb: goto %00018e0b
+000198d0: goto %00018e0b
 
 00018e0b:
 00018e11: RAX := mem[0x180006880, el]:u64
 00018e23: #12582142 := RAX
 00018e39: ZF := 0 = #12582142
 00018e40: when ~ZF goto %00018e3d
-000195ca: goto %00018e89
+000198cf: goto %00018e89
 
 00018e3d:
 00018e49: R8 := RSI
@@ -2434,7 +2437,7 @@
 00018e75:
 00018e7b: RBX := pad:64[low:32[RAX]]
 00018e87: mem := mem with [RSP + 0x30, el]:u32 <- low:32[RAX]
-000195c9: goto %00018b91
+000198ce: goto %00018b91
 
 00018e89:
 00018e8f: RBX := pad:64[low:32[RAX + 1]]
@@ -2446,7 +2449,7 @@
 
 00018b98:
 00018ba1: RAX := pad:64[low:32[RBX]]
-000195c8: goto %00018ba3
+000198cd: goto %00018ba3
 
 0001916f:
 00019179: RAX := 0
@@ -2466,7 +2469,7 @@
 00018c2f: call #12582146 with noreturn
 
 000195d7: sub sub_180001d38(sub_180001d38_result)
-0001961f: sub_180001d38_result :: out u32 = low:32[RAX]
+00019912: sub_180001d38_result :: out u32 = low:32[RAX]
 
 0000d6f6:
 0000d715: RSP := RSP - 0x18
@@ -2475,7 +2478,7 @@
 0000d75c: #12582860 := mem[0x180000000, el]:u16 - 0x5A4D
 0000d77b: ZF := 0 = #12582860
 0000d782: when ~ZF goto %0000d77f
-000195e1: goto %0000d8bd
+000198e5: goto %0000d8bd
 
 0000d8bd:
 0000d8c3: RCX := extend:64[mem[0x18000003C, el]:u32]
@@ -2484,14 +2487,14 @@
 0000d933: #12582851 := mem[RCX, el]:u32 - 0x4550
 0000d953: ZF := 0 = #12582851
 0000d959: when ~ZF goto %0000d77f
-000195e0: goto %0000d95d
+000198e4: goto %0000d95d
 
 0000d95d:
 0000d961: RAX := 0x20B
 0000d984: #12582849 := mem[RCX + 0x18, el]:u16 - 0x20B
 0000d9a7: ZF := 0 = #12582849
 0000d9ad: when ~ZF goto %0000d77f
-000195df: goto %0000d9b1
+000198e3: goto %0000d9b1
 
 0000d77f:
 0000d791: RAX := 63:8[RAX].0
@@ -2506,24 +2509,24 @@
 0000da97: RAX := pad:64[mem[RCX + 6, el]:u16]
 0000daa1: RCX := RAX + (RAX << 2)
 0000daab: R9 := RDX + (RCX << 3)
-000195de: goto %0000daad
+000198e2: goto %0000daad
 
 0000daad:
 0000dab7: mem := mem with [RSP, el]:u64 <- RDX
 0000dad4: #12582838 := RDX - R9
 0000daf3: ZF := 0 = #12582838
 0000dafa: when ZF goto %0000daf7
-000195dd: goto %0000dbeb
+000198e1: goto %0000dbeb
 
 0000daf7:
 0000db07: RDX := 0
-000195dc: goto %0000db1b
+000198e0: goto %0000db1b
 
 0000dbeb:
 0000dbf3: RCX := pad:64[mem[RDX + 0xC, el]:u32]
 0000dc15: CF := R8 < RCX
 0000dc36: when CF goto %0000dc33
-000195db: goto %0000dc7d
+000198df: goto %0000dc7d
 
 0000dc7d:
 0000dc85: RAX := pad:64[mem[RDX + 8, el]:u32]
@@ -2531,13 +2534,13 @@
 0000dcb0: RAX := pad:64[low:32[RAX] + #12582826]
 0000dcf3: CF := R8 < RAX
 0000dd13: when CF goto %0000db1b
-000195da: goto %0000dc33
+000198de: goto %0000dc33
 
 0000db1b:
 0000db2b: #12582836 := RDX
 0000db41: ZF := 0 = #12582836
 0000db48: when ~ZF goto %0000db45
-000195d9: goto %0000dbc7
+000198dd: goto %0000dbc7
 
 0000db45:
 0000db67: #12582834 := mem[RDX + 0x24, el]:u32
@@ -2545,7 +2548,7 @@
           (mem[RDX + 0x24, el]:u32 ^ #12582834)]
 0000db83: SF := high:1[#12582834]
 0000db94: when ~((SF | OF) & ~(SF & OF)) goto %0000db8e
-000195d8: goto %0000dba3
+000198dc: goto %0000dba3
 
 0000db8e:
 0000db9d: RAX := high:56[RAX].1
@@ -2570,79 +2573,79 @@
 0000dc7b: goto %0000daad
 
 000195e2: sub sub_180002746(sub_180002746_result)
-00019620: sub_180002746_result :: out u32 = low:32[RAX]
+00019913: sub_180002746_result :: out u32 = low:32[RAX]
 
 00004de1:
 00004de5: call mem[0x18000A0F8, el]:u64 with noreturn
 
 000195e3: sub sub_18000274c(sub_18000274c_result)
-00019621: sub_18000274c_result :: out u32 = low:32[RAX]
+00019914: sub_18000274c_result :: out u32 = low:32[RAX]
 
 00004de7:
 00004deb: call mem[0x18000A100, el]:u64 with noreturn
 
 000195e4: sub sub_180002752(sub_180002752_result)
-00019622: sub_180002752_result :: out u32 = low:32[RAX]
+00019915: sub_180002752_result :: out u32 = low:32[RAX]
 
 00004ded:
 00004df1: call mem[0x18000A108, el]:u64 with noreturn
 
 000195e5: sub sub_180002758(sub_180002758_result)
-00019623: sub_180002758_result :: out u32 = low:32[RAX]
+00019916: sub_180002758_result :: out u32 = low:32[RAX]
 
 00004df3:
 00004df7: call mem[0x18000A1A0, el]:u64 with noreturn
 
 000195e6: sub sub_18000275e(sub_18000275e_result)
-00019624: sub_18000275e_result :: out u32 = low:32[RAX]
+00019917: sub_18000275e_result :: out u32 = low:32[RAX]
 
 00004df9:
 00004dfd: call mem[0x18000A178, el]:u64 with noreturn
 
 000195e7: sub sub_18000276a(sub_18000276a_result)
-00019625: sub_18000276a_result :: out u32 = low:32[RAX]
+00019918: sub_18000276a_result :: out u32 = low:32[RAX]
 
 00004e05:
 00004e09: call mem[0x18000A188, el]:u64 with noreturn
 
 000195e8: sub sub_180002770(sub_180002770_result)
-00019626: sub_180002770_result :: out u32 = low:32[RAX]
+00019919: sub_180002770_result :: out u32 = low:32[RAX]
 
 00004e0b:
 00004e0f: call mem[0x18000A190, el]:u64 with noreturn
 
 000195e9: sub sub_180002776(sub_180002776_result)
-00019627: sub_180002776_result :: out u32 = low:32[RAX]
+0001991a: sub_180002776_result :: out u32 = low:32[RAX]
 
 00004e11:
 00004e15: call mem[0x18000A198, el]:u64 with noreturn
 
 000195ea: sub sub_18000277c(sub_18000277c_result)
-00019628: sub_18000277c_result :: out u32 = low:32[RAX]
+0001991b: sub_18000277c_result :: out u32 = low:32[RAX]
 
 00004e17:
 00004e1b: call mem[0x18000A1D0, el]:u64 with noreturn
 
 000195eb: sub sub_180002788(sub_180002788_result)
-00019629: sub_180002788_result :: out u32 = low:32[RAX]
+0001991c: sub_180002788_result :: out u32 = low:32[RAX]
 
 00004e23:
 00004e27: call mem[0x18000A1B0, el]:u64 with noreturn
 
 000195ec: sub sub_180002794(sub_180002794_result)
-0001962a: sub_180002794_result :: out u32 = low:32[RAX]
+0001991d: sub_180002794_result :: out u32 = low:32[RAX]
 
 00004e2f:
 00004e33: call mem[0x18000A1C0, el]:u64 with noreturn
 
 000195ed: sub sub_18000279a(sub_18000279a_result)
-0001962b: sub_18000279a_result :: out u32 = low:32[RAX]
+0001991e: sub_18000279a_result :: out u32 = low:32[RAX]
 
 00004e35:
 00004e39: call mem[0x18000A1C8, el]:u64 with noreturn
 
 000195ee: sub sub_1800027a0(sub_1800027a0_result)
-0001962c: sub_1800027a0_result :: out u32 = low:32[RAX]
+0001991f: sub_1800027a0_result :: out u32 = low:32[RAX]
 
 00004e3b:
 00004e41: RAX := high:56[RAX].1
@@ -2651,7 +2654,7 @@
 00004e55: call #12582883 with noreturn
 
 000195ef: sub sub_1800027a4(sub_1800027a4_result)
-0001962d: sub_1800027a4_result :: out u32 = low:32[RAX]
+00019920: sub_1800027a4_result :: out u32 = low:32[RAX]
 
 00004e5b:
 00004e61: RAX := high:56[RAX].1
@@ -2660,7 +2663,7 @@
 00004e75: call #12582882 with noreturn
 
 000195f0: sub sub_1800027a8(sub_1800027a8_result)
-0001962e: sub_1800027a8_result :: out u32 = low:32[RAX]
+00019921: sub_1800027a8_result :: out u32 = low:32[RAX]
 
 00004e7b:
 00004e81: RAX := high:56[RAX].1
@@ -2669,7 +2672,7 @@
 00004e95: call #12582881 with noreturn
 
 000195f1: sub sub_1800027ac(sub_1800027ac_result)
-0001962f: sub_1800027ac_result :: out u32 = low:32[RAX]
+00019922: sub_1800027ac_result :: out u32 = low:32[RAX]
 
 00004e9b:
 00004ea1: RAX := high:56[RAX].1
@@ -2678,7 +2681,7 @@
 00004eb5: call #12582880 with noreturn
 
 000195f2: sub sub_1800027b0(sub_1800027b0_result)
-00019630: sub_1800027b0_result :: out u32 = low:32[RAX]
+00019923: sub_1800027b0_result :: out u32 = low:32[RAX]
 
 00004ebb:
 00004ec1: RAX := high:56[RAX].1
@@ -2693,7 +2696,7 @@
 
 
 00004d89: sub interrupt:#3(interrupt:#3_result)
-00019631: interrupt:#3_result :: out u32 = low:32[RAX]
+00019924: interrupt:#3_result :: out u32 = low:32[RAX]
 
 0000f688: sub interrupt:#41(interrupt:#41_result)
-00019632: interrupt:#41_result :: out u32 = low:32[RAX]
+00019925: interrupt:#41_result :: out u32 = low:32[RAX]