From aefbc15abb23f5d4cdc5587c4272c47da9709224 Mon Sep 17 00:00:00 2001
From: matt-j-griffin <maattgriffin@outlook.com>
Date: Sat, 22 Jul 2023 11:41:31 +0100
Subject: [PATCH] 3c

---
 BCB/Cheang et al/Figure_3c/Figure_3c.bir | 2705 ++++++++++++++++++++++
 1 file changed, 2705 insertions(+)
 create mode 100644 BCB/Cheang et al/Figure_3c/Figure_3c.bir

diff --git a/BCB/Cheang et al/Figure_3c/Figure_3c.bir b/BCB/Cheang et al/Figure_3c/Figure_3c.bir
new file mode 100644
index 0000000..847ace4
--- /dev/null
+++ b/BCB/Cheang et al/Figure_3c/Figure_3c.bir	
@@ -0,0 +1,2705 @@
+00019505: program
+00019506: sub foo(foo_result)
+000195b3: foo_result :: out u32 = low:32[RAX]
+
+00014357:
+00014359: goto %000133cb
+
+000133cb:
+000133d1: RAX := pad:64[mem[0x180008223]]
+000133f3: CF := low:32[RCX] < low:32[RAX]
+00013414: when ~CF goto %00013411
+00019507: goto %00013477
+
+00013411:
+00013423: RAX := 63:8[RAX].0
+00013442: #12582290 := mem[RSP, el]:u64
+00013446: RSP := RSP + 8
+00013449: call #12582290 with noreturn
+
+00013477:
+0001347d: RDX := pad:64[mem[0x180008230]]
+00013485: RAX := pad:64[mem[0x180008218]]
+0001349b: #12582289 := extend:64[low:32[RAX]] * extend:64[low:32[RDX]]
+0001349f: RAX := pad:64[low:32[#12582289]]
+000134bb: RDX := 0x180008228
+000134e6: #12582287 := mem[RAX + 0x180008228]
+000134ec: RCX := 63:8[RCX].low:8[RCX] + #12582287
+00013515: RAX := pad:64[low:8[RCX]]
+00013522: #12582285 := mem[RSP, el]:u64
+00013526: RSP := RSP + 8
+00013529: call #12582285 with noreturn
+
+00019508: sub sub_180001005(sub_180001005_result)
+000195b4: sub_180001005_result :: out u32 = low:32[RAX]
+
+000049e0:
+000049e3: goto %000049e1
+
+000049e1:
+000049ee: mem := mem with [RSP + 8, el]:u64 <- RBX
+000049fa: mem := mem with [RSP + 0x10, el]:u64 <- RSI
+00004a08: #12582911 := RDI
+00004a0c: RSP := RSP - 8
+00004a12: mem := mem with [RSP, el]:u64 <- #12582911
+00004a30: RSP := RSP - 0x20
+00004a54: RDI := R8
+00004a5c: RBX := pad:64[low:32[RDX]]
+00004a64: RSI := RCX
+00004a7c: #12582907 := low:32[RDX] - 1
+00004a98: ZF := 0 = #12582907
+00004a9f: when ~ZF goto %00004a9c
+00019509: goto %000194f3
+
+000194f3:
+000194fc: RSP := RSP - 8
+00019501: mem := mem with [RSP, el]:u64 <- 0x180001779
+00019503: call @sub_1800010fa with return %00004a9c
+
+00004a9c:
+00004aa8: R8 := RDI
+00004ab0: RDX := pad:64[low:32[RBX]]
+00004ab8: RCX := RSI
+00004ac2: RBX := mem[RSP + 0x30, el]:u64
+00004acc: RSI := mem[RSP + 0x38, el]:u64
+00004aed: RSP := RSP + 0x20
+00004b18: RDI := mem[RSP, el]:u64
+00004b1c: RSP := RSP + 8
+00004b21: call @sub_1800015b0 with noreturn
+
+0001950a: sub sub_18000100f(sub_18000100f_result)
+000195b5: sub_18000100f_result :: out u32 = low:32[RAX]
+
+00011835:
+00011844: goto %00011842
+
+00011842:
+00011849: RAX := 0x180008198
+00011856: #12582417 := mem[RSP, el]:u64
+0001185a: RSP := RSP + 8
+0001185d: call #12582417 with noreturn
+
+0001950b: sub sub_180001019(sub_180001019_result)
+000195b6: sub_180001019_result :: out u32 = low:32[RAX]
+
+0001189d:
+000118a0: goto %0001189e
+
+0001189e:
+000118bd: RSP := RSP - 0x28
+000118e5: RCX := 0
+00011902: RSP := RSP - 8
+00011907: mem := mem with [RSP, el]:u64 <- 0x180001AEF
+00011909: call @sub_18000105a with return %0001190b
+
+0001190b:
+0001191b: #12582412 := low:8[RAX]
+00011931: ZF := 0 = #12582412
+0001193b: RAX := 63:8[RAX].pad:8[~ZF]
+0001195c: RSP := RSP + 0x28
+00011988: #12582407 := mem[RSP, el]:u64
+0001198c: RSP := RSP + 8
+0001198f: call #12582407 with noreturn
+
+0001950c: sub sub_18000101e(sub_18000101e_result)
+000195b7: sub_18000101e_result :: out u32 = low:32[RAX]
+
+00011ffb:
+00011ffd: goto %0001186f
+
+0001186f:
+00011873: RAX := 0x1800081A8
+00011880: #12582416 := mem[RSP, el]:u64
+00011884: RSP := RSP + 8
+00011887: call #12582416 with noreturn
+
+0001950d: sub sub_18000102d(sub_18000102d_result)
+000195b8: sub_18000102d_result :: out u32 = low:32[RAX]
+
+00011793:
+000117a1: call @sub_180002790 with noreturn
+
+0001950e: sub sub_180001032(sub_180001032_result)
+000195b9: sub_180001032_result :: out u32 = low:32[RAX]
+
+000117a3:
+000117a5: goto %00004ebb
+
+00004ebb:
+00004ec5: RAX := 0
+00004ec8: AF := unknown[bits]:u1
+00004ecb: ZF := 1
+00004ece: PF := 1
+00004ed1: OF := 0
+00004ed4: CF := 0
+00004ed7: SF := 0
+00004ee8: RSP := RSP + 8
+00004eeb: call #12582878 with noreturn
+
+0001950f: sub sub_18000103c(sub_18000103c_result)
+000195ba: sub_18000103c_result :: out u32 = low:32[RAX]
+
+0000dceb:
+0000dcfa: goto %0000dcf8
+
+0000dcf8:
+0000dd07: #12582819 := RBX
+0000dd0b: RSP := RSP - 8
+0000dd11: mem := mem with [RSP, el]:u64 <- #12582819
+0000dd2f: RSP := RSP - 0x20
+0000dd63: #12582815 := mem[0x1800081D0, el]:u64 - 0xFFFFFFFFFFFFFFFF
+0000dd7f: ZF := 0 = #12582815
+0000dd87: RBX := RCX
+0000dd8e: when ~ZF goto %0000dd8b
+00019510: goto %0000df11
+
+0000dd8b:
+0000dd97: RDX := RBX
+0000dd9d: RCX := 0x1800081D0
+0000dda8: RSP := RSP - 8
+0000ddad: mem := mem with [RSP, el]:u64 <- 0x180001E79
+0000ddaf: call @sub_18000276c with return %0000ddb1
+
+0000df11:
+0000df1a: RSP := RSP - 8
+0000df1f: mem := mem with [RSP, el]:u64 <- 0x180001E68
+0000df21: call @sub_180002778 with return %0000df23
+
+0000df23:
+0000df25: goto %0000ddb1
+
+0000ddb1:
+0000ddbb: RDX := 0
+0000dddf: #12582813 := low:32[RAX]
+0000ddf5: ZF := 0 = #12582813
+0000de01: RDX := if ZF then RBX else 0
+0000de09: RAX := RDX
+0000de2a: RSP := RSP + 0x20
+0000de55: RBX := mem[RSP, el]:u64
+0000de59: RSP := RSP + 8
+0000de66: #12582808 := mem[RSP, el]:u64
+0000de6a: RSP := RSP + 8
+0000de6d: call #12582808 with noreturn
+
+00019511: sub sub_180001041(sub_180001041_result)
+000195bb: sub_180001041_result :: out u32 = low:32[RAX]
+
+0000df27:
+0000df29: goto %00004d8d
+
+00004d8d:
+00004d91: RCX := 0x180008180
+00004d97: call mem[0x18000A028, el]:u64 with noreturn
+
+00019512: sub sub_180001046(sub_180001046_result)
+000195bc: sub_180001046_result :: out u32 = low:32[RAX]
+
+0000df2b:
+0000df2d: call @sub_18000279c with noreturn
+
+00019513: sub sub_180001055(sub_180001055_result)
+000195bd: sub_180001055_result :: out u32 = low:32[RAX]
+
+0000eff7:
+0000eff9: call @sub_180002794 with noreturn
+
+00019514: sub sub_18000105a(sub_18000105a_result)
+000195be: sub_18000105a_result :: out u32 = low:32[RAX]
+
+0000effb:
+0000effe: goto %0000effc
+
+0000effc:
+0000f00b: #12582710 := RBX
+0000f00f: RSP := RSP - 8
+0000f015: mem := mem with [RSP, el]:u64 <- #12582710
+0000f033: RSP := RSP - 0x20
+0000f067: #12582706 := mem[0x1800081C9]
+0000f083: ZF := 0 = #12582706
+0000f08b: RBX := pad:64[low:32[RCX]]
+0000f092: when ~ZF goto %0000f08f
+0001951e: goto %00014193
+
+00014193:
+000141a9: #12582215 := low:32[RCX] - 1
+000141ad: CF := low:32[RCX] < 1
+000141c5: ZF := 0 = #12582215
+000141cd: when ~(CF | ZF) goto %0000f101
+0001951d: goto %000141d1
+
+0000f101:
+0000f105: RCX := 5
+0000f111: RSP := RSP - 8
+0000f116: mem := mem with [RSP, el]:u64 <- 0x180001D06
+0000f118: call @sub_18000114a with return %000140fb
+
+000140fb:
+000140fd: call @interrupt:#3 with noreturn
+
+000140ff:
+00014101: call @interrupt:#3 with noreturn
+
+00014103:
+00014105: call @interrupt:#3 with noreturn
+
+00014107:
+00014109: call @interrupt:#3 with noreturn
+
+0001410b:
+0001410d: call @interrupt:#3 with noreturn
+
+0001410f:
+00014111: call @interrupt:#3 with noreturn
+
+00014113:
+00014115: call @interrupt:#3 with noreturn
+
+00014117:
+00014119: call @interrupt:#3 with noreturn
+
+0001411b:
+0001411d: call @interrupt:#3 with noreturn
+
+0001411f:
+00014121: call @interrupt:#3 with noreturn
+
+00014123:
+00014125: call @interrupt:#3 with noreturn
+
+00014127:
+00014129: call @interrupt:#3 with noreturn
+
+0001412b:
+0001412d: call @interrupt:#3 with noreturn
+
+0001412f:
+00014131: call @interrupt:#3 with noreturn
+
+00014133:
+00014135: call @interrupt:#3 with noreturn
+
+00014137:
+00014139: call @interrupt:#3 with noreturn
+
+0001413b:
+0001413d: call @interrupt:#3 with noreturn
+
+0001413f:
+00014141: call @interrupt:#3 with noreturn
+
+00014143:
+00014145: call @interrupt:#3 with noreturn
+
+00014147:
+00014149: call @interrupt:#3 with noreturn
+
+0001414b:
+0001414d: call @interrupt:#3 with noreturn
+
+0001414f:
+00014151: call @interrupt:#3 with noreturn
+
+00014153:
+00014155: call @interrupt:#3 with noreturn
+
+00014157:
+00014159: call @interrupt:#3 with noreturn
+
+0001415b:
+0001415d: call @interrupt:#3 with noreturn
+
+0001415f:
+00014161: call @interrupt:#3 with noreturn
+
+00014163:
+00014165: call @interrupt:#3 with noreturn
+
+00014167:
+00014169: call @interrupt:#3 with noreturn
+
+0001416b:
+0001416d: call @interrupt:#3 with noreturn
+
+0001416f:
+00014171: call @interrupt:#3 with noreturn
+
+00014173:
+00014175: call @interrupt:#3 with noreturn
+
+00014177:
+00014179: call @interrupt:#3 with noreturn
+
+0001417b:
+0001417d: call @interrupt:#3 with noreturn
+
+0001417f:
+00014181: call @interrupt:#3 with noreturn
+
+00014183:
+00014185: call @interrupt:#3 with noreturn
+
+00014187:
+00014189: call @interrupt:#3 with noreturn
+
+0001418b:
+0001418d: call @interrupt:#3 with noreturn
+
+0001418f:
+00014191: call @interrupt:#3 with noreturn
+
+000141d1:
+000141da: RSP := RSP - 8
+000141df: mem := mem with [RSP, el]:u64 <- 0x180001C97
+000141e1: call @sub_180001087 with return %000141e3
+
+000141e3:
+000141f3: #12582213 := low:32[RAX]
+00014209: ZF := 0 = #12582213
+00014210: when ZF goto %0001420d
+0001951b: goto %0001426b
+
+0001426b:
+0001427b: #12582210 := low:32[RBX]
+00014291: ZF := 0 = #12582210
+00014297: when ~ZF goto %0001420d
+0001951a: goto %0001429b
+
+0001420d:
+0001421b: YMM0 := 255:128[YMM0].mem[0x180006890, el]:u128
+00014227: RAX := 0xFFFFFFFFFFFFFFFF
+00014243: mem := mem with [0x1800081D0, el]:u128 <- low:128[YMM0]
+0001424d: mem := mem with [0x1800081E0, el]:u64 <- 0xFFFFFFFFFFFFFFFF
+00014257: mem := mem with [0x1800081E8, el]:u128 <- low:128[YMM0]
+00014261: mem := mem with [0x1800081F8, el]:u64 <- 0xFFFFFFFFFFFFFFFF
+00019519: goto %00014263
+
+0001429b:
+0001429f: RCX := 0x1800081D0
+000142aa: RSP := RSP - 8
+000142af: mem := mem with [RSP, el]:u64 <- 0x180001CAB
+000142b1: call @sub_180002766 with return %000142b3
+
+000142b3:
+000142c3: #12582208 := low:32[RAX]
+000142d9: ZF := 0 = #12582208
+000142e0: when ~ZF goto %000142dd
+00019518: goto %00014307
+
+00014307:
+0001430b: RCX := 0x1800081E8
+00014316: RSP := RSP - 8
+0001431b: mem := mem with [RSP, el]:u64 <- 0x180001CBB
+0001431d: call @sub_180002766 with return %0001431f
+
+0001431f:
+0001432f: #12582206 := low:32[RAX]
+00014345: ZF := 0 = #12582206
+0001434b: when ZF goto %00014263
+00019517: goto %000142dd
+
+00014263:
+00014269: mem := mem with [0x1800081C9] <- 1
+00019516: goto %0000f08f
+
+0000f08f:
+0000f09b: RAX := high:56[RAX].1
+00019515: goto %0000f09d
+
+000142dd:
+000142ef: RAX := 63:8[RAX].0
+00014305: goto %0000f09d
+
+0000f09d:
+0000f0bc: RSP := RSP + 0x20
+0000f0e7: RBX := mem[RSP, el]:u64
+0000f0eb: RSP := RSP + 8
+0000f0f8: #12582701 := mem[RSP, el]:u64
+0000f0fc: RSP := RSP + 8
+0000f0ff: call #12582701 with noreturn
+
+0001951f: sub sub_180001082(sub_180001082_result)
+000195bf: sub_180001082_result :: out u32 = low:32[RAX]
+
+000135c1:
+000135d0: goto %000135ce
+
+000135ce:
+000135dd: #12582283 := RBX
+000135e1: RSP := RSP - 8
+000135e7: mem := mem with [RSP, el]:u64 <- #12582283
+00013605: RSP := RSP - 0x20
+00013639: #12582279 := mem[0x1800081C8]
+00013655: ZF := 0 = #12582279
+0001365f: RBX := high:56[RBX].low:8[RCX]
+00013666: when ZF goto %00013663
+00019521: goto %0001372f
+
+0001372f:
+0001373f: #12582273 := low:8[RDX]
+00013755: ZF := 0 = #12582273
+0001375b: when ~ZF goto %00013697
+00019520: goto %00013663
+
+00013663:
+00013672: RSP := RSP - 8
+00013677: mem := mem with [RSP, el]:u64 <- 0x180001E36
+00013679: call @sub_1800010e6 with return %0001367b
+
+0001367b:
+00013683: RCX := high:56[RCX].low:8[RBX]
+0001368e: RSP := RSP - 8
+00013693: mem := mem with [RSP, el]:u64 <- 0x180001E3D
+00013695: call @sub_180001046 with return %00013697
+
+00013697:
+0001369d: RAX := high:56[RAX].1
+000136be: RSP := RSP + 0x20
+000136e9: RBX := mem[RSP, el]:u64
+000136ed: RSP := RSP + 8
+000136fa: #12582274 := mem[RSP, el]:u64
+000136fe: RSP := RSP + 8
+00013701: call #12582274 with noreturn
+
+00019522: sub sub_180001087(sub_180001087_result)
+000195c0: sub_180001087_result :: out u32 = low:32[RAX]
+
+0000d57d:
+0000d58c: goto %0000d58a
+
+0000d58a:
+0000d5c6: #12582866 := mem[0x180008060, el]:u32
+0000d5e5: ZF := 0 = #12582866
+0000d5ef: RAX := 0.pad:8[~ZF]
+0000d5fc: #12582864 := mem[RSP, el]:u64
+0000d600: RSP := RSP + 8
+0000d603: call #12582864 with noreturn
+
+00019523: sub sub_18000108c(sub_18000108c_result)
+000195c1: sub_18000108c_result :: out u32 = low:32[RAX]
+
+0000d685:
+0000d688: call @sub_180001d2c with noreturn
+
+00019524: sub sub_180001096(sub_180001096_result)
+000195c2: sub_180001096_result :: out u32 = low:32[RAX]
+
+00011b49:
+00011b57: call @sub_180002798 with noreturn
+
+00019525: sub sub_1800010a5(sub_1800010a5_result)
+000195c3: sub_1800010a5_result :: out u32 = low:32[RAX]
+
+0001165d:
+0001166b: call @sub_1800027a0 with noreturn
+
+00019526: sub sub_1800010aa(sub_1800010aa_result)
+000195c4: sub_1800010aa_result :: out u32 = low:32[RAX]
+
+0001166d:
+0001166f: call @sub_180002794 with noreturn
+
+00019527: sub sub_1800010b4(sub_1800010b4_result)
+000195c5: sub_1800010b4_result :: out u32 = low:32[RAX]
+
+00004c88:
+00004c97: goto %00004c95
+
+00004c95:
+00004cb4: RSP := RSP - 0x28
+00004ce8: #12582889 := low:32[RDX] - 1
+00004d04: ZF := 0 = #12582889
+00004d0b: when ~ZF goto %00004d08
+00019529: goto %00018a0b
+
+00018a0b:
+00018a21: #12582155 := mem[0x180006880, el]:u64
+00018a3d: ZF := 0 = #12582155
+00018a43: when ~ZF goto %00004d08
+00019528: goto %00018a47
+
+00018a47:
+00018a53: #12582153 := mem[0x18000A020, el]:u64
+00018a57: RSP := RSP - 8
+00018a5c: mem := mem with [RSP, el]:u64 <- 0x18000191D
+00018a5f: call #12582153 with return %00004d08
+
+00004d08:
+00004d12: RAX := 1
+00004d33: RSP := RSP + 0x28
+00004d5f: #12582884 := mem[RSP, el]:u64
+00004d63: RSP := RSP + 8
+00004d66: call #12582884 with noreturn
+
+0001952a: sub sub_1800010c3(sub_1800010c3_result)
+000195c6: sub_1800010c3_result :: out u32 = low:32[RAX]
+
+0000fbf6:
+0000fc04: goto %0000e8a5
+
+0000e8a5:
+0000e8a9: RAX := 1
+0000e8b6: #12582755 := mem[RSP, el]:u64
+0000e8ba: RSP := RSP + 8
+0000e8bd: call #12582755 with noreturn
+
+0001952b: sub sub_1800010cd(sub_1800010cd_result)
+000195c7: sub_1800010cd_result :: out u32 = low:32[RAX]
+
+00010944:
+00010946: goto %0001000e
+
+0001000e:
+00010018: mem := mem with [RSP + 8, el]:u64 <- RBX
+00010026: #12582586 := RDI
+0001002a: RSP := RSP - 8
+00010030: mem := mem with [RSP, el]:u64 <- #12582586
+0001004e: RSP := RSP - 0x20
+00010070: RBX := 0x1800070A0
+00010076: RDI := 0x1800071A8
+0001007b: goto %00010079
+
+00010079:
+0001009c: CF := RBX < 0x1800071A8
+000100bd: when CF goto %000100ba
+0001952e: goto %00010154
+
+00010154:
+0001015c: RBX := mem[RSP + 0x30, el]:u64
+0001017d: RSP := RSP + 0x20
+000101a8: RDI := mem[RSP, el]:u64
+000101ac: RSP := RSP + 8
+000101b9: #12582571 := mem[RSP, el]:u64
+000101bd: RSP := RSP + 8
+000101c0: call #12582571 with noreturn
+
+000100ba:
+000100c8: RAX := mem[RBX, el]:u64
+000100da: #12582580 := RAX
+000100f0: ZF := 0 = #12582580
+000100f7: when ZF goto %000100f4
+0001952d: goto %0001013a
+
+0001013a:
+00010146: #12582575 := mem[0x18000B020, el]:u64
+0001014a: RSP := RSP - 8
+0001014f: mem := mem with [RSP, el]:u64 <- 0x180002200
+00010152: call #12582575 with return %000100f4
+
+000100f4:
+00010119: RBX := RBX + 8
+0001952c: goto %00010079
+
+0001952f: sub sub_1800010d7(sub_1800010d7_result)
+000195c8: sub_1800010d7_result :: out u32 = low:32[RAX]
+
+00011129:
+0001112b: goto %00010202
+
+00010202:
+0001020c: mem := mem with [RSP + 8, el]:u64 <- RBX
+0001021a: #12582570 := RDI
+0001021e: RSP := RSP - 8
+00010224: mem := mem with [RSP, el]:u64 <- #12582570
+00010242: RSP := RSP - 0x20
+00010264: RBX := 0x1800072C0
+0001026a: RDI := 0x1800073C8
+0001026f: goto %0001026d
+
+0001026d:
+00010290: CF := RBX < 0x1800073C8
+000102b1: when CF goto %000102ae
+00019532: goto %00010348
+
+00010348:
+00010350: RBX := mem[RSP + 0x30, el]:u64
+00010371: RSP := RSP + 0x20
+0001039c: RDI := mem[RSP, el]:u64
+000103a0: RSP := RSP + 8
+000103ad: #12582555 := mem[RSP, el]:u64
+000103b1: RSP := RSP + 8
+000103b4: call #12582555 with noreturn
+
+000102ae:
+000102bc: RAX := mem[RBX, el]:u64
+000102ce: #12582564 := RAX
+000102e4: ZF := 0 = #12582564
+000102eb: when ZF goto %000102e8
+00019531: goto %0001032e
+
+0001032e:
+0001033a: #12582559 := mem[0x18000B020, el]:u64
+0001033e: RSP := RSP - 8
+00010343: mem := mem with [RSP, el]:u64 <- 0x18000224C
+00010346: call #12582559 with return %000102e8
+
+000102e8:
+0001030d: RBX := RBX + 8
+00019530: goto %0001026d
+
+00019533: sub sub_1800010e1(sub_1800010e1_result)
+000195c9: sub_1800010e1_result :: out u32 = low:32[RAX]
+
+00011131:
+00011133: call @sub_180002798 with noreturn
+
+00019534: sub sub_1800010e6(sub_1800010e6_result)
+000195ca: sub_1800010e6_result :: out u32 = low:32[RAX]
+
+00011135:
+00011137: call @sub_18000279c with noreturn
+
+00019535: sub sub_1800010fa(sub_1800010fa_result)
+000195cb: sub_1800010fa_result :: out u32 = low:32[RAX]
+
+00011145:
+00011148: goto %00011146
+
+00011146:
+00011153: mem := mem with [RSP + 0x20, el]:u64 <- RBX
+00011161: #12582460 := RBP
+00011165: RSP := RSP - 8
+0001116b: mem := mem with [RSP, el]:u64 <- #12582460
+00011173: RBP := RSP
+00011191: RSP := RSP - 0x20
+000111b5: RAX := mem[0x180008020, el]:u64
+000111bb: RBX := 0x2B992DDFA232
+000111d8: #12582456 := RAX - 0x2B992DDFA232
+000111f7: ZF := 0 = #12582456
+000111fe: when ~ZF goto %000111fb
+00019537: goto %00011331
+
+00011331:
+00011347: mem := mem with [RBP + 0x18, el]:u64 <- 0
+00011369: RCX := RBP + 0x18
+00011377: #12582449 := mem[0x18000A018, el]:u64
+0001137b: RSP := RSP - 8
+00011380: mem := mem with [RSP, el]:u64 <- 0x18000185E
+00011383: call #12582449 with return %00011385
+
+00011385:
+0001138d: RAX := mem[RBP + 0x18, el]:u64
+00011399: mem := mem with [RBP + 0x10, el]:u64 <- RAX
+000113a7: #12582448 := mem[0x18000A010, el]:u64
+000113ab: RSP := RSP - 8
+000113b0: mem := mem with [RSP, el]:u64 <- 0x18000186C
+000113b3: call #12582448 with return %000113b5
+
+000113b5:
+000113bb: RAX := pad:64[low:32[RAX]]
+000113d9: mem :=
+          mem with [RBP + 0x10, el]:u64 <- mem[RBP + 0x10, el]:u64 ^ RAX
+00011401: #12582446 := mem[0x18000A008, el]:u64
+00011405: RSP := RSP - 8
+0001140a: mem := mem with [RSP, el]:u64 <- 0x180001878
+0001140d: call #12582446 with return %0001140f
+
+0001140f:
+00011415: RAX := pad:64[low:32[RAX]]
+0001141d: RCX := RBP + 0x20
+0001143b: mem :=
+          mem with [RBP + 0x10, el]:u64 <- mem[RBP + 0x10, el]:u64 ^ RAX
+00011463: #12582444 := mem[0x18000A000, el]:u64
+00011467: RSP := RSP - 8
+0001146c: mem := mem with [RSP, el]:u64 <- 0x180001888
+0001146f: call #12582444 with return %00011471
+
+00011471:
+00011479: RAX := pad:64[mem[RBP + 0x20, el]:u32]
+00011481: RCX := RBP + 0x10
+0001149a: RAX := RAX << 0x20
+000114c7: RAX := RAX ^ mem[RBP + 0x20, el]:u64
+000114f3: RAX := RAX ^ mem[RBP + 0x10, el]:u64
+0001151d: RAX := RAX ^ RCX
+0001154d: RAX := RAX & 0xFFFFFFFFFFFF
+00011569: RCX := 0x2B992DDFA233
+00011586: #12582437 := RAX - 0x2B992DDFA232
+000115a5: ZF := 0 = #12582437
+000115b1: RAX := if ZF then 0x2B992DDFA233 else RAX
+000115bb: mem := mem with [0x180008020, el]:u64 <- RAX
+00019536: goto %000111fb
+
+000111fb:
+00011209: RBX := mem[RSP + 0x48, el]:u64
+00011211: RAX := ~RAX
+0001121b: mem := mem with [0x180008028, el]:u64 <- RAX
+0001123c: RSP := RSP + 0x20
+00011267: RBP := mem[RSP, el]:u64
+0001126b: RSP := RSP + 8
+00011278: #12582451 := mem[RSP, el]:u64
+0001127c: RSP := RSP + 8
+0001127f: call #12582451 with noreturn
+
+00019538: sub sub_180001109(sub_180001109_result)
+000195cc: sub_180001109_result :: out u32 = low:32[RAX]
+
+000115c5:
+000115c8: goto %000115c6
+
+000115c6:
+000115cd: RAX := 0x180008238
+000115da: #12582435 := mem[RSP, el]:u64
+000115de: RSP := RSP + 8
+000115e1: call #12582435 with noreturn
+
+00019539: sub sub_18000110e(sub_18000110e_result)
+000195cd: sub_18000110e_result :: out u32 = low:32[RAX]
+
+000115f3:
+000115f5: goto %00004db1
+
+00004db1:
+00004db5: RCX := 0x180008180
+00004dba: goto %00004db8
+
+00004db8:
+00004dbf: call mem[0x18000A0F0, el]:u64 with noreturn
+
+0001953a: sub sub_180001118(sub_180001118_result)
+000195ce: sub_180001118_result :: out u32 = low:32[RAX]
+
+000115fb:
+000115fe: goto %000115fc
+
+000115fc:
+0001161b: RSP := RSP - 0x28
+00011643: RCX := 0
+00011661: RSP := RSP - 8
+00011666: mem := mem with [RSP, el]:u64 <- 0x180001C0F
+00011668: call @sub_1800010a5 with return %00011675
+
+00011675:
+00011694: RSP := RSP + 0x28
+000116b7: goto %00011141
+
+00011141:
+00011143: call @sub_1800027a0 with noreturn
+
+0001953b: sub sub_18000111d(sub_18000111d_result)
+000195cf: sub_18000111d_result :: out u32 = low:32[RAX]
+
+0001223f:
+00012241: goto %000119ad
+
+000119ad:
+000119c9: RSP := RSP - 0x28
+000119f0: RSP := RSP - 8
+000119f5: mem := mem with [RSP, el]:u64 <- 0x180001B09
+000119f7: call @sub_180001055 with return %000119f9
+
+000119f9:
+00011a09: #12582403 := low:8[RAX]
+00011a1f: ZF := 0 = #12582403
+00011a26: when ~ZF goto %00011a23
+0001953e: goto %00011fd4
+
+00011a23:
+00011a32: RSP := RSP - 8
+00011a37: mem := mem with [RSP, el]:u64 <- 0x180001B16
+00011a39: call @sub_1800010aa with return %00011a3b
+
+00011a3b:
+00011a4b: #12582401 := low:8[RAX]
+00011a61: ZF := 0 = #12582401
+00011a68: when ~ZF goto %00011a65
+0001953d: goto %00011fc1
+
+00011a65:
+00011a71: RAX := high:56[RAX].1
+0001953c: goto %00011a73
+
+00011fc1:
+00011fca: RSP := RSP - 8
+00011fcf: mem := mem with [RSP, el]:u64 <- 0x180001B1F
+00011fd1: call @sub_180001096 with return %00011fd3
+
+00011fd3:
+00011fd6: goto %00011fd4
+
+00011fd4:
+00011fe3: RAX := 63:8[RAX].0
+00011ff9: goto %00011a73
+
+00011a73:
+00011a92: RSP := RSP + 0x28
+00011abe: #12582396 := mem[RSP, el]:u64
+00011ac2: RSP := RSP + 8
+00011ac5: call #12582396 with noreturn
+
+0001953f: sub sub_180001122(sub_180001122_result)
+000195d0: sub_180001122_result :: out u32 = low:32[RAX]
+
+000117e1:
+000117ef: call @sub_180002790 with noreturn
+
+00019540: sub sub_180001127(sub_180001127_result)
+000195d1: sub_180001127_result :: out u32 = low:32[RAX]
+
+000117f1:
+000117f4: goto %000117f2
+
+000117f2:
+00011811: RSP := RSP - 0x28
+00011839: RSP := RSP - 8
+0001183e: mem := mem with [RSP, el]:u64 <- 0x180001975
+00011840: call @sub_18000100f with return %00012007
+
+00012007:
+00012021: mem := mem with [RAX, el]:u64 <- mem[RAX, el]:u64 | 0x24
+00012046: RSP := RSP - 8
+0001204b: mem := mem with [RSP, el]:u64 <- 0x18000197E
+0001204d: call @sub_18000101e with return %0001204f
+
+0001204f:
+00012069: mem := mem with [RAX, el]:u64 <- mem[RAX, el]:u64 | 2
+000120a4: RSP := RSP + 0x28
+000120d0: #12582357 := mem[RSP, el]:u64
+000120d4: RSP := RSP + 8
+000120d7: call #12582357 with noreturn
+
+00019541: sub sub_18000112c(sub_18000112c_result)
+000195d2: sub_18000112c_result :: out u32 = low:32[RAX]
+
+0000f1e7:
+0000f1f6: goto %0000f1f4
+
+0000f1f4:
+0000f207: mem := mem with [0x180008210, el]:u32 <- 0
+0000f22a: #12582692 := mem[RSP, el]:u64
+0000f22e: RSP := RSP + 8
+0000f231: call #12582692 with noreturn
+
+00019542: sub sub_18000113b(sub_18000113b_result)
+000195d3: sub_18000113b_result :: out u32 = low:32[RAX]
+
+0000fb70:
+0000fb73: goto %0000fb71
+
+0000fb71:
+0000fb90: RSP := RSP - 0x28
+0000fbb7: RSP := RSP - 8
+0000fbbc: mem := mem with [RSP, el]:u64 <- 0x180001AA9
+0000fbbe: call @sub_180001087 with return %0000fbc0
+
+0000fbc0:
+0000fbd0: #12582610 := low:32[RAX]
+0000fbe6: ZF := 0 = #12582610
+0000fbed: when ZF goto %0000fbea
+00019545: goto %0001235f
+
+0000fbea:
+0000fbfa: RSP := RSP - 8
+0000fbff: mem := mem with [RSP, el]:u64 <- 0x180001AB9
+0000fc01: call @sub_1800010c3 with return %00012243
+
+00012243:
+00012249: RCX := pad:64[low:32[RAX]]
+00012254: RSP := RSP - 8
+00012259: mem := mem with [RSP, el]:u64 <- 0x180001AC0
+0001225b: call @sub_18000275a with return %0001225d
+
+0001225d:
+0001226d: #12582350 := low:32[RAX]
+00012283: ZF := 0 = #12582350
+0001228a: when ZF goto %00012287
+00019544: goto %0001233b
+
+00012287:
+00012296: RSP := RSP - 8
+0001229b: mem := mem with [RSP, el]:u64 <- 0x180001ACD
+0001229d: call @sub_180002760 with return %0001229f
+
+0001233b:
+00012347: RAX := 63:8[RAX].0
+0001235d: goto %000122a7
+
+0001235f:
+00012368: RSP := RSP - 8
+0001236d: mem := mem with [RSP, el]:u64 <- 0x180001AB2
+0001236f: call @sub_180001145 with return %00012371
+
+00012371:
+00012373: goto %0001229f
+
+0001229f:
+000122a5: RAX := high:56[RAX].1
+00019543: goto %000122a7
+
+000122a7:
+000122c6: RSP := RSP + 0x28
+000122f2: #12582345 := mem[RSP, el]:u64
+000122f6: RSP := RSP + 8
+000122f9: call #12582345 with noreturn
+
+00019546: sub sub_180001140(sub_180001140_result)
+000195d4: sub_180001140_result :: out u32 = low:32[RAX]
+
+0000d514:
+0000d51a: goto %0000d518
+
+0000d518:
+0000d527: #12582870 := RBX
+0000d52b: RSP := RSP - 8
+0000d531: mem := mem with [RSP, el]:u64 <- #12582870
+0000d54f: RSP := RSP - 0x20
+0000d575: RBX := high:56[RBX].low:8[RCX]
+0000d581: RSP := RSP - 8
+0000d586: mem := mem with [RSP, el]:u64 <- 0x180001DF9
+0000d588: call @sub_180001087 with return %000144c5
+
+000144c5:
+000144cf: RDX := 0
+000144f3: #12582191 := low:32[RAX]
+00014509: ZF := 0 = #12582191
+00014510: when ZF goto %0001450d
+00019549: goto %000145a7
+
+000145a7:
+000145b7: #12582185 := low:8[RBX]
+000145cd: ZF := 0 = #12582185
+000145d3: when ~ZF goto %0001450d
+00019548: goto %000145d7
+
+000145d7:
+000145e6: RDX := mem[0x1800081C0, el]:u64
+000145eb: mem := mem with [0x1800081C0, el]:u64 <- 0
+00019547: goto %0001450d
+
+0001450d:
+00014532: RSP := RSP + 0x20
+0001455d: RBX := mem[RSP, el]:u64
+00014561: RSP := RSP + 8
+0001456e: #12582186 := mem[RSP, el]:u64
+00014572: RSP := RSP + 8
+00014575: call #12582186 with noreturn
+
+0001954a: sub sub_180001145(sub_180001145_result)
+000195d5: sub_180001145_result :: out u32 = low:32[RAX]
+
+0001177d:
+0001178b: goto %0000e38f
+
+0000e38f:
+0000e399: mem := mem with [RSP + 0x10, el]:u64 <- RBX
+0000e3a5: mem := mem with [RSP + 0x18, el]:u64 <- RSI
+0000e3b3: #12582770 := RDI
+0000e3b7: RSP := RSP - 8
+0000e3bd: mem := mem with [RSP, el]:u64 <- #12582770
+0000e3db: RSP := RSP - 0x10
+0000e43c: RAX := pad:64[unknown[bits]:u32]
+0000e43f: RBX := pad:64[unknown[bits]:u32]
+0000e442: RCX := pad:64[unknown[bits]:u32]
+0000e445: RDX := pad:64[unknown[bits]:u32]
+0000e44d: R8 := pad:64[low:32[RCX]]
+0000e459: R11 := 0
+0000e473: R10 := pad:64[low:32[RDX]]
+0000e485: R8 := pad:64[low:32[R8] ^ 0x6C65746E]
+0000e4ad: R10 := pad:64[low:32[R10] ^ 0x49656E69]
+0000e4cb: R9 := pad:64[low:32[RBX]]
+0000e4d3: RSI := pad:64[low:32[RAX]]
+0000e4df: RCX := 0
+0000e4f9: RAX := 1
+0000e50d: R10 := pad:64[low:32[R10] | low:32[R8]]
+0000e52c: RAX := pad:64[unknown[bits]:u32]
+0000e52f: RBX := pad:64[unknown[bits]:u32]
+0000e532: RCX := pad:64[unknown[bits]:u32]
+0000e535: RDX := pad:64[unknown[bits]:u32]
+0000e547: R9 := pad:64[low:32[R9] ^ 0x756E6547]
+0000e569: mem := mem with [RSP, el]:u32 <- low:32[RAX]
+0000e57d: R10 := pad:64[low:32[R10] | low:32[R9]]
+0000e593: ZF := 0 = low:32[R10]
+0000e59f: mem := mem with [RSP + 4, el]:u32 <- low:32[RBX]
+0000e5a7: RDI := pad:64[low:32[RCX]]
+0000e5b3: mem := mem with [RSP + 8, el]:u32 <- low:32[RCX]
+0000e5bf: mem := mem with [RSP + 0xC, el]:u32 <- low:32[RDX]
+0000e5c6: when ~ZF goto %0000e5c3
+0001955c: goto %0000ecb5
+
+0000ecb5:
+0000ecc5: mem := mem with [0x180008048, el]:u64 <- 0xFFFFFFFFFFFFFFFF
+0000eced: RAX := pad:64[low:32[RAX] & 0xFFF3FF0]
+0000ed0b: mem := mem with [0x180008040, el]:u64 <- 0x8000
+0000ed23: #12582734 := low:32[RAX] - 0x106C0
+0000ed3f: ZF := 0 = #12582734
+0000ed46: when ZF goto %0000ed43
+0001955b: goto %0000ed87
+
+0000ed87:
+0000ed9d: #12582731 := low:32[RAX] - 0x20660
+0000edb9: ZF := 0 = #12582731
+0000edbf: when ZF goto %0000ed43
+0001955a: goto %0000edc3
+
+0000edc3:
+0000edd9: #12582729 := low:32[RAX] - 0x20670
+0000edf5: ZF := 0 = #12582729
+0000edfb: when ZF goto %0000ed43
+00019559: goto %0000edff
+
+0000edff:
+0000ee1e: RAX := pad:64[low:32[RAX] - 0x30650]
+0000ee55: #12582724 := low:32[RAX] - 0x20
+0000ee59: CF := low:32[RAX] < 0x20
+0000ee71: ZF := 0 = #12582724
+0000ee79: when ~(CF | ZF) goto %0000e5c3
+00019558: goto %0000ee7d
+
+0000ee7d:
+0000ee81: RCX := 0x100010001
+0000ee91: #12582722 := low:6[RAX]
+0000ee96: CF := low:1[0x100010001 >> #12582722]
+0000eeab: when ~CF goto %0000e5c3
+00019557: goto %0000ed43
+
+0000e5c3:
+0000e5cf: R8 := pad:64[mem[0x180008214, el]:u32]
+00019556: goto %0000e5d1
+
+0000ed43:
+0000ed4f: R8 := pad:64[mem[0x180008214, el]:u32]
+0000ed61: R8 := pad:64[low:32[R8] | 1]
+0000ed81: mem := mem with [0x180008214, el]:u32 <- low:32[R8]
+0000ed85: goto %0000e5d1
+
+0000e5d1:
+0000e5d5: RAX := 7
+0000e5dd: R9 := 2
+0000e5fa: #12582761 := low:32[RSI] - 7
+0000e606: OF := high:1[(low:32[RSI] ^ 7) & (low:32[RSI] ^ #12582761)]
+0000e615: SF := high:1[#12582761]
+0000e626: when (SF | OF) & ~(SF & OF) goto %0000e620
+00019555: goto %0000ebf5
+
+0000ebf5:
+0000ebff: RCX := 0
+0000ec1a: RAX := pad:64[unknown[bits]:u32]
+0000ec1d: RBX := pad:64[unknown[bits]:u32]
+0000ec20: RCX := pad:64[unknown[bits]:u32]
+0000ec23: RDX := pad:64[unknown[bits]:u32]
+0000ec2f: mem := mem with [RSP, el]:u32 <- low:32[RAX]
+0000ec37: R11 := pad:64[low:32[RBX]]
+0000ec43: mem := mem with [RSP + 4, el]:u32 <- low:32[RBX]
+0000ec4f: mem := mem with [RSP + 8, el]:u32 <- low:32[RCX]
+0000ec5b: mem := mem with [RSP + 0xC, el]:u32 <- low:32[RDX]
+0000ec68: CF := low:1[RBX >> 9]
+0000ec7d: when ~CF goto %0000e620
+00019554: goto %0000ec81
+
+0000ec81:
+0000ec93: R8 := pad:64[low:32[R8] | 2]
+0000ecb3: mem := mem with [0x180008214, el]:u32 <- low:32[R8]
+00019553: goto %0000e620
+
+0000e620:
+0000e62f: mem := mem with [0x180008038, el]:u32 <- 1
+0000e639: mem := mem with [0x18000803C, el]:u32 <- 2
+0000e646: CF := low:1[RDI >> 0x14]
+0000e65c: when ~CF goto %0000e659
+00019552: goto %0000e8c7
+
+0000e8c7:
+0000e8cf: mem := mem with [0x180008038, el]:u32 <- 2
+0000e8d5: RBX := 6
+0000e8df: mem := mem with [0x18000803C, el]:u32 <- 6
+0000e8ec: CF := low:1[RDI >> 0x1B]
+0000e901: when ~CF goto %0000e659
+00019551: goto %0000e905
+
+0000e905:
+0000e910: CF := low:1[RDI >> 0x1C]
+0000e925: when ~CF goto %0000e659
+00019550: goto %0000e929
+
+0000e929:
+0000e933: RCX := 0
+0000e94c: RAX := pad:64[unknown[bits]:u32]
+0000e94f: RDX := pad:64[unknown[bits]:u32]
+0000e968: RDX := RDX << 0x20
+0000e993: RDX := RDX | RAX
+0000e9b5: mem := mem with [RSP + 0x20, el]:u64 <- RDX
+0000e9bf: RAX := mem[RSP + 0x20, el]:u64
+0000e9d5: RAX := 63:8[RAX].low:8[RAX] & 6
+0000ea08: #12582750 := low:8[RAX] - 6
+0000ea27: ZF := 0 = #12582750
+0000ea2d: when ~ZF goto %0000e659
+0001954f: goto %0000ea31
+
+0000ea31:
+0000ea37: RAX := pad:64[mem[0x18000803C, el]:u32]
+0000ea49: RAX := pad:64[low:32[RAX] | 8]
+0000ea67: mem := mem with [0x180008038, el]:u32 <- 3
+0000ea71: mem := mem with [0x18000803C, el]:u32 <- low:32[RAX]
+0000ea83: #12582747 := low:8[R11] & 0x20
+0000ea99: ZF := 0 = #12582747
+0000ea9f: when ZF goto %0000e659
+0001954e: goto %0000eaa3
+
+0000eaa3:
+0000eab3: RAX := pad:64[low:32[RAX] | 0x20]
+0000ead1: mem := mem with [0x180008038, el]:u32 <- 5
+0000eadb: mem := mem with [0x18000803C, el]:u32 <- low:32[RAX]
+0000eae1: RAX := 0xD0030000
+0000eaf5: R11 := pad:64[low:32[R11] & 0xD0030000]
+0000eb28: #12582743 := low:32[R11] - 0xD0030000
+0000eb47: ZF := 0 = #12582743
+0000eb4d: when ~ZF goto %0000e659
+0001954d: goto %0000eb51
+
+0000eb51:
+0000eb59: RAX := mem[RSP + 0x20, el]:u64
+0000eb6d: RAX := 63:8[RAX].low:8[RAX] & 0xE0
+0000eb9b: #12582740 := low:8[RAX] - 0xE0
+0000ebb7: ZF := 0 = #12582740
+0000ebbd: when ~ZF goto %0000e659
+0001954c: goto %0000ebc1
+
+0000ebc1:
+0000ebd3: mem :=
+          mem with [0x18000803C, el]:u32 <- mem[0x18000803C, el]:u32 | 0x40
+0000ebf3: mem := mem with [0x180008038, el]:u32 <- 6
+0001954b: goto %0000e659
+
+0000e659:
+0000e667: RBX := mem[RSP + 0x28, el]:u64
+0000e673: RAX := 0
+0000e68f: RSI := mem[RSP + 0x30, el]:u64
+0000e6b0: RSP := RSP + 0x10
+0000e6db: RDI := mem[RSP, el]:u64
+0000e6df: RSP := RSP + 8
+0000e6ec: #12582756 := mem[RSP, el]:u64
+0000e6f0: RSP := RSP + 8
+0000e6f3: call #12582756 with noreturn
+
+0001955d: sub sub_18000114a(sub_18000114a_result)
+000195d6: sub_18000114a_result :: out u32 = low:32[RAX]
+
+0000f10d:
+0000f11c: goto %0000f11a
+
+0000f11a:
+0000f127: mem := mem with [RSP + 8, el]:u64 <- RBX
+0000f135: #12582700 := RBP
+0000f139: RSP := RSP - 8
+0000f13f: mem := mem with [RSP, el]:u64 <- #12582700
+0000f147: RBP := RSP - 0x4C0
+0000f165: RSP := RSP - 0x5C0
+0000f189: RBX := pad:64[low:32[RCX]]
+0000f18f: RCX := 0x17
+0000f19d: #12582696 := mem[0x18000A068, el]:u64
+0000f1a1: RSP := RSP - 8
+0000f1a6: mem := mem with [RSP, el]:u64 <- 0x180001F12
+0000f1a9: call #12582696 with return %0000f1ab
+
+0000f1ab:
+0000f1bb: #12582695 := low:32[RAX]
+0000f1d1: ZF := 0 = #12582695
+0000f1d8: when ZF goto %0000f1d5
+00019561: goto %00012a7b
+
+00012a7b:
+00012a81: RCX := pad:64[low:32[RBX]]
+00012a85: call @interrupt:#41 with noreturn
+
+0000f1d5:
+0000f1df: RCX := 3
+0000f1eb: RSP := RSP - 8
+0000f1f0: mem := mem with [RSP, el]:u64 <- 0x180001F24
+0000f1f2: call @sub_18000112c with return %00012375
+
+00012375:
+0001237f: RDX := 0
+00012399: RCX := RBP - 0x10
+0001239f: R8 := 0x4D0
+000123aa: RSP := RSP - 8
+000123af: mem := mem with [RSP, el]:u64 <- 0x180001F35
+000123b1: call @sub_180002742 with return %000123b3
+
+000123b3:
+000123b9: RCX := RBP - 0x10
+000123c7: #12582344 := mem[0x18000A030, el]:u64
+000123cb: RSP := RSP - 8
+000123d0: mem := mem with [RSP, el]:u64 <- 0x180001F3F
+000123d3: call #12582344 with return %000123d5
+
+000123d5:
+000123dd: RBX := mem[RBP + 0xE8, el]:u64
+000123e5: RDX := RBP + 0x4D8
+000123ed: RCX := RBX
+000123f9: R8 := 0
+00012419: #12582343 := mem[0x18000A038, el]:u64
+0001241d: RSP := RSP - 8
+00012422: mem := mem with [RSP, el]:u64 <- 0x180001F59
+00012425: call #12582343 with return %00012427
+
+00012427:
+00012437: #12582342 := RAX
+0001244d: ZF := 0 = #12582342
+00012454: when ZF goto %00012451
+00019560: goto %000129bb
+
+000129bb:
+000129d1: mem := mem with [RSP + 0x38, el]:u64 <- 0
+000129f3: RCX := RBP + 0x4E0
+000129fd: RDX := mem[RBP + 0x4D8, el]:u64
+00012a05: R9 := RAX
+00012a11: mem := mem with [RSP + 0x30, el]:u64 <- RCX
+00012a19: R8 := RBX
+00012a21: RCX := RBP + 0x4E8
+00012a2d: mem := mem with [RSP + 0x28, el]:u64 <- RCX
+00012a35: RCX := RBP - 0x10
+00012a41: mem := mem with [RSP + 0x20, el]:u64 <- RCX
+00012a4d: RCX := 0
+00012a6d: #12582313 := mem[0x18000A040, el]:u64
+00012a71: RSP := RSP - 8
+00012a76: mem := mem with [RSP, el]:u64 <- 0x180001F9A
+00012a79: call #12582313 with return %00012451
+
+00012451:
+0001245f: RAX := mem[RBP + 0x4C8, el]:u64
+00012467: RCX := RSP + 0x50
+00012473: mem := mem with [RBP + 0xE8, el]:u64 <- RAX
+0001247f: RDX := 0
+00012499: RAX := RBP + 0x4C8
+0001249f: R8 := 0x98
+000124c0: RAX := RAX + 8
+000124eb: mem := mem with [RBP + 0x88, el]:u64 <- RAX
+000124f6: RSP := RSP - 8
+000124fb: mem := mem with [RSP, el]:u64 <- 0x180001FCC
+000124fd: call @sub_180002742 with return %000124ff
+
+000124ff:
+00012507: RAX := mem[RBP + 0x4C8, el]:u64
+00012513: mem := mem with [RSP + 0x60, el]:u64 <- RAX
+0001251d: mem := mem with [RSP + 0x50, el]:u32 <- 0x40000015
+00012527: mem := mem with [RSP + 0x54, el]:u32 <- 1
+00012535: #12582337 := mem[0x18000A048, el]:u64
+00012539: RSP := RSP - 8
+0001253e: mem := mem with [RSP, el]:u64 <- 0x180001FEE
+00012541: call #12582337 with return %00012543
+
+00012543:
+00012559: #12582336 := low:32[RAX] - 1
+00012575: ZF := 0 = #12582336
+0001257d: RAX := RSP + 0x50
+00012589: mem := mem with [RSP + 0x40, el]:u64 <- RAX
+00012591: RAX := RBP - 0x10
+0001259b: RBX := 63:8[RBX].pad:8[ZF]
+000125a7: mem := mem with [RSP + 0x48, el]:u64 <- RAX
+000125b3: RCX := 0
+000125d3: #12582334 := mem[0x18000A058, el]:u64
+000125d7: RSP := RSP - 8
+000125dc: mem := mem with [RSP, el]:u64 <- 0x18000200F
+000125df: call #12582334 with return %000125e1
+
+000125e1:
+000125e7: RCX := RSP + 0x40
+000125f5: #12582333 := mem[0x18000A050, el]:u64
+000125f9: RSP := RSP - 8
+000125fe: mem := mem with [RSP, el]:u64 <- 0x18000201A
+00012601: call #12582333 with return %00012603
+
+00012603:
+00012613: #12582332 := low:32[RAX]
+00012629: ZF := 0 = #12582332
+00012630: when ~ZF goto %0001262d
+0001955f: goto %00012971
+
+00012971:
+00012981: #12582316 := low:8[RBX]
+00012997: ZF := 0 = #12582316
+0001299d: when ~ZF goto %0001262d
+0001955e: goto %000129a1
+
+000129a1:
+000129a7: RCX := pad:64[low:32[RAX + 3]]
+000129b2: RSP := RSP - 8
+000129b7: mem := mem with [RSP, el]:u64 <- 0x18000202A
+000129b9: call @sub_18000112c with return %0001262d
+
+0001262d:
+0001263b: RBX := mem[RSP + 0x5D0, el]:u64
+0001265c: RSP := RSP + 0x5C0
+00012687: RBP := mem[RSP, el]:u64
+0001268b: RSP := RSP + 8
+00012698: #12582327 := mem[RSP, el]:u64
+0001269c: RSP := RSP + 8
+0001269f: call #12582327 with noreturn
+
+00019562: sub sub_180001154(sub_180001154_result)
+000195d7: sub_180001154_result :: out u32 = low:32[RAX]
+
+00012a8b:
+00012a8d: goto %00010c64
+
+00010c64:
+00010c80: RSP := RSP - 0x28
+00010ca7: RSP := RSP - 8
+00010cac: mem := mem with [RSP, el]:u64 <- 0x180001A61
+00010cae: call @sub_180001087 with return %00010cb0
+
+00010cb0:
+00010cc0: #12582492 := low:32[RAX]
+00010cd6: ZF := 0 = #12582492
+00010cdd: when ZF goto %00010cda
+00019566: goto %00010d9c
+
+00010d9c:
+00010da4: RAX := mem[GS_BASE + 0x30, el]:u64
+00010dae: RCX := mem[RAX + 8, el]:u64
+00010db3: goto %00010db1
+
+00010db1:
+00010dbe: RAX := 0
+00010df5: call @intrinsic:x86:lock with return %00010df8
+
+00010df8:
+00010df9: #12582486 := mem[0x1800081C0, el]:u64
+00010dfe: #12582485 := -#12582486
+00010e1d: ZF := 0 = #12582485
+00010e31: goto %00010e29
+
+00010e29:
+00010e2b: when 0 = #12582486 goto %00010e23
+00010e2c: goto %00010e27
+
+00010e27:
+00010e28: RAX := #12582486
+00010e2e: goto %00010e2a
+
+00010e23:
+00010e24: mem := mem with [0x1800081C0, el]:u64 <- RCX
+00010e2d: goto %00010e2a
+
+00010e2a:
+00010e30: call @intrinsic:x86:unlock with return %00010e3b
+
+00010e3b:
+00010e40: when ~ZF goto %00010e3d
+00019565: goto %00010cda
+
+00010cda:
+00010cec: RAX := 63:8[RAX].0
+00010cf2: ZF := 1
+00019564: goto %00010d00
+
+00010e3d:
+00010e5e: #12582483 := RCX - RAX
+00010e7d: ZF := 0 = #12582483
+00010e83: when ZF goto %00010d54
+00019563: goto %00010db1
+
+00010d54:
+00010d5a: RAX := high:56[RAX].1
+00010d5e: goto %00010d00
+
+00010d00:
+00010d1f: RSP := RSP + 0x28
+00010d4b: #12582487 := mem[RSP, el]:u64
+00010d4f: RSP := RSP + 8
+00010d52: call #12582487 with noreturn
+
+00019567: sub sub_180001163(sub_180001163_result)
+000195d8: sub_180001163_result :: out u32 = low:32[RAX]
+
+00012a97:
+00012a99: goto %00011bd9
+
+00011bd9:
+00011be3: mem := mem with [RSP + 8, el]:u64 <- RBX
+00011bef: mem := mem with [RSP + 0x10, el]:u64 <- RBP
+00011bfb: mem := mem with [RSP + 0x18, el]:u64 <- RSI
+00011c09: #12582388 := RDI
+00011c0d: RSP := RSP - 8
+00011c13: mem := mem with [RSP, el]:u64 <- #12582388
+00011c31: RSP := RSP - 0x20
+00011c55: RDI := R9
+00011c5d: RSI := R8
+00011c65: RBX := pad:64[low:32[RDX]]
+00011c6d: RBP := RCX
+00011c78: RSP := RSP - 8
+00011c7d: mem := mem with [RSP, el]:u64 <- 0x180001B74
+00011c7f: call @sub_180001087 with return %00011c81
+
+00011c81:
+00011c91: #12582384 := low:32[RAX]
+00011ca7: ZF := 0 = #12582384
+00011cae: when ~ZF goto %00011cab
+00019569: goto %00011f35
+
+00011f35:
+00011f4b: #12582365 := low:32[RBX] - 1
+00011f67: ZF := 0 = #12582365
+00011f6d: when ~ZF goto %00011cab
+00019568: goto %00011f71
+
+00011f71:
+00011f77: R8 := RSI
+00011f83: RDX := 0
+00011f9d: RCX := RBP
+00011fa5: RAX := RDI
+00011fb3: #12582363 := mem[0x18000B020, el]:u64
+00011fb7: RSP := RSP - 8
+00011fbc: mem := mem with [RSP, el]:u64 <- 0x180001B8E
+00011fbf: call #12582363 with return %00011cab
+
+00011cab:
+00011cb9: RDX := mem[RSP + 0x58, el]:u64
+00011cc3: RCX := pad:64[mem[RSP + 0x50, el]:u32]
+00011ccd: RBX := mem[RSP + 0x30, el]:u64
+00011cd7: RBP := mem[RSP + 0x38, el]:u64
+00011ce1: RSI := mem[RSP + 0x40, el]:u64
+00011d02: RSP := RSP + 0x20
+00011d2d: RDI := mem[RSP, el]:u64
+00011d31: RSP := RSP + 8
+00011d35: goto %00004ddf
+
+00004ddf:
+00004de3: call mem[0x18000A180, el]:u64 with noreturn
+
+0001956a: sub sub_180001168(sub_180001168_result)
+000195d9: sub_180001168_result :: out u32 = low:32[RAX]
+
+00012a9b:
+00012a9d: goto %000116d9
+
+000116d9:
+000116e5: #12582428 := RBX
+000116e9: RSP := RSP - 8
+000116ef: mem := mem with [RSP, el]:u64 <- #12582428
+0001170d: RSP := RSP - 0x20
+00011731: RAX := pad:64[mem[0x1800081C8]]
+00011743: #12582424 := low:32[RCX]
+00011759: ZF := 0 = #12582424
+0001175f: RBX := 1
+0001176b: RAX := pad:64[if ZF then 1 else low:32[RAX]]
+00011775: mem := mem with [0x1800081C8] <- low:8[RAX]
+00011781: RSP := RSP - 8
+00011786: mem := mem with [RSP, el]:u64 <- 0x180001C42
+00011788: call @sub_180001145 with return %0001178d
+
+0001178d:
+00011797: RSP := RSP - 8
+0001179c: mem := mem with [RSP, el]:u64 <- 0x180001C47
+0001179e: call @sub_18000102d with return %000117ab
+
+000117ab:
+000117bb: #12582422 := low:8[RAX]
+000117d1: ZF := 0 = #12582422
+000117d8: when ~ZF goto %000117d5
+0001956d: goto %00012218
+
+000117d5:
+000117e5: RSP := RSP - 8
+000117ea: mem := mem with [RSP, el]:u64 <- 0x180001C54
+000117ec: call @sub_180001122 with return %000120fd
+
+000120fd:
+0001210d: #12582356 := low:8[RAX]
+00012123: ZF := 0 = #12582356
+0001212a: when ~ZF goto %00012127
+0001956c: goto %000121e7
+
+00012127:
+00012135: RAX := high:56[RAX].1
+0001956b: goto %00012137
+
+000121e7:
+000121f1: RCX := 0
+0001220e: RSP := RSP - 8
+00012213: mem := mem with [RSP, el]:u64 <- 0x180001C5F
+00012215: call @sub_180001046 with return %00012217
+
+00012217:
+0001221a: goto %00012218
+
+00012218:
+00012227: RAX := 63:8[RAX].0
+0001223d: goto %00012137
+
+00012137:
+00012156: RSP := RSP + 0x20
+00012181: RBX := mem[RSP, el]:u64
+00012185: RSP := RSP + 8
+00012192: #12582351 := mem[RSP, el]:u64
+00012196: RSP := RSP + 8
+00012199: call #12582351 with noreturn
+
+0001956e: sub sub_180001177(sub_180001177_result)
+000195da: sub_180001177_result :: out u32 = low:32[RAX]
+
+00012aa7:
+00012aa9: goto %00011af7
+
+00011af7:
+00011b13: RSP := RSP - 0x28
+00011b3a: RSP := RSP - 8
+00011b3f: mem := mem with [RSP, el]:u64 <- 0x180001B3D
+00011b41: call @sub_1800010e1 with return %00011b43
+
+00011b43:
+00011b4d: RSP := RSP - 8
+00011b52: mem := mem with [RSP, el]:u64 <- 0x180001B42
+00011b54: call @sub_180001096 with return %00011b61
+
+00011b61:
+00011b67: RAX := high:56[RAX].1
+00011b88: RSP := RSP + 0x28
+00011bb4: #12582389 := mem[RSP, el]:u64
+00011bb8: RSP := RSP + 8
+00011bbb: call #12582389 with noreturn
+
+0001956f: sub sub_180001181(sub_180001181_result)
+000195db: sub_180001181_result :: out u32 = low:32[RAX]
+
+00012d93:
+00012da1: goto %00011d97
+
+00011d97:
+00011db3: RSP := RSP - 0x28
+00011dda: RSP := RSP - 8
+00011ddf: mem := mem with [RSP, el]:u64 <- 0x180001BD1
+00011de1: call @sub_180001087 with return %00011de3
+
+00011de3:
+00011df3: #12582376 := low:32[RAX]
+00011e09: ZF := 0 = #12582376
+00011e10: when ZF goto %00011e0d
+00019571: goto %00011eeb
+
+00011e0d:
+00011e1c: RSP := RSP - 8
+00011e21: mem := mem with [RSP, el]:u64 <- 0x180001BEA
+00011e23: call @sub_180001032 with return %00011e25
+
+00011e25:
+00011e35: #12582374 := low:32[RAX]
+00011e4b: ZF := 0 = #12582374
+00011e52: when ~ZF goto %00011e4f
+00019570: goto %00011ed9
+
+00011ed9:
+00011ee2: RSP := RSP - 8
+00011ee7: mem := mem with [RSP, el]:u64 <- 0x180001BF3
+00011ee9: call @sub_180002784 with return %00011e4f
+
+00011e4f:
+00011e74: RSP := RSP + 0x28
+00011ea0: #12582369 := mem[RSP, el]:u64
+00011ea4: RSP := RSP + 8
+00011ea7: call #12582369 with noreturn
+
+00011eeb:
+00011eef: RCX := 0x1800081D0
+00011f10: RSP := RSP + 0x28
+00011f33: goto %00004dfd
+
+00004dfd:
+00004e01: call mem[0x18000A1A8, el]:u64 with noreturn
+
+00019572: sub sub_180001348(sub_180001348_result)
+000195dc: sub_180001348_result :: out u32 = low:32[RAX]
+
+00012ab0:
+00012acf: RSP := RSP - 0x28
+00012afd: #12582309 := low:32[RDX]
+00012b13: ZF := 0 = #12582309
+00012b1a: when ZF goto %00012b17
+00019581: goto %00013f05
+
+00012b17:
+00012b2d: #12582307 := R8
+00012b43: ZF := 0 = #12582307
+00012b4d: RCX := 63:8[RCX].pad:8[~ZF]
+00012b6e: RSP := RSP + 0x28
+00012b92: call @sub_180001508 with noreturn
+
+00013f05:
+00013f21: RDX := pad:64[low:32[RDX] - 1]
+00013f3d: ZF := 0 = low:32[RDX]
+00013f44: when ZF goto %00013f41
+00019580: goto %00013f93
+
+00013f41:
+00013f4d: RDX := R8
+00013f6e: RSP := RSP + 0x28
+00013f91: goto %0001390b
+
+0001390b:
+00013915: mem := mem with [RSP + 8, el]:u64 <- RBX
+00013921: mem := mem with [RSP + 0x10, el]:u64 <- RSI
+0001392d: mem := mem with [RSP + 0x20, el]:u64 <- RDI
+0001393b: #12582261 := R14
+0001393f: RSP := RSP - 8
+00013945: mem := mem with [RSP, el]:u64 <- #12582261
+00013963: RSP := RSP - 0x20
+00013987: RSI := RDX
+0001398f: R14 := RCX
+0001399b: RCX := 0
+000139b8: RSP := RSP - 8
+000139bd: mem := mem with [RSP, el]:u64 <- 0x1800013CE
+000139bf: call @sub_180001168 with return %000139c1
+
+000139c1:
+000139d1: #12582257 := low:8[RAX]
+000139e7: ZF := 0 = #12582257
+000139ee: when ZF goto %000139eb
+0001957f: goto %00013bc7
+
+00013bc7:
+00013bd0: RSP := RSP - 8
+00013bd5: mem := mem with [RSP, el]:u64 <- 0x1800013DB
+00013bd7: call @sub_180001154 with return %00013bd9
+
+00013bd9:
+00013be1: RBX := high:56[RBX].low:8[RAX]
+00013bed: mem := mem with [RSP + 0x40] <- low:8[RAX]
+00013bf5: RDI := high:56[RDI].1
+00013c0d: #12582251 := mem[0x1800081B8, el]:u32
+00013c29: ZF := 0 = #12582251
+00013c2f: when ~ZF goto %00013a91
+0001957e: goto %00013c33
+
+00013a91:
+00013a95: RCX := 7
+00013aa0: RSP := RSP - 8
+00013aa5: mem := mem with [RSP, el]:u64 <- 0x1800014C0
+00013aa7: call @sub_18000114a with return %00013aa9
+
+00013aa9:
+00013aad: call @interrupt:#3 with noreturn
+
+00013aaf:
+00013ab1: call @interrupt:#3 with noreturn
+
+00013ab3:
+00013ab5: call @interrupt:#3 with noreturn
+
+00013ab7:
+00013ab9: call @interrupt:#3 with noreturn
+
+00013abb:
+00013abd: call @interrupt:#3 with noreturn
+
+00013abf:
+00013ac1: call @interrupt:#3 with noreturn
+
+00013ac3:
+00013ac5: call @interrupt:#3 with noreturn
+
+00013ac7:
+00013ac9: call @interrupt:#3 with noreturn
+
+00013acb:
+00013acd: call @interrupt:#3 with noreturn
+
+00013acf:
+00013ad1: call @interrupt:#3 with noreturn
+
+00013ad3:
+00013ad5: call @interrupt:#3 with noreturn
+
+00013ad7:
+00013ad9: call @interrupt:#3 with noreturn
+
+00013adb:
+00013add: call @interrupt:#3 with noreturn
+
+00013adf:
+00013ae1: call @interrupt:#3 with noreturn
+
+00013ae3:
+00013ae5: call @interrupt:#3 with noreturn
+
+00013ae7:
+00013ae9: call @interrupt:#3 with noreturn
+
+00013aeb:
+00013aed: call @interrupt:#3 with noreturn
+
+00013aef:
+00013af1: call @interrupt:#3 with noreturn
+
+00013af3:
+00013af5: call @interrupt:#3 with noreturn
+
+00013af7:
+00013af9: call @interrupt:#3 with noreturn
+
+00013afb:
+00013afd: call @interrupt:#3 with noreturn
+
+00013aff:
+00013b01: call @interrupt:#3 with noreturn
+
+00013b03:
+00013b05: call @interrupt:#3 with noreturn
+
+00013b07:
+00013b09: call @interrupt:#3 with noreturn
+
+00013b0b:
+00013b0d: call @interrupt:#3 with noreturn
+
+00013b0f:
+00013b11: call @interrupt:#3 with noreturn
+
+00013b13:
+00013b15: call @interrupt:#3 with noreturn
+
+00013b17:
+00013b19: call @interrupt:#3 with noreturn
+
+00013b1b:
+00013b1d: call @interrupt:#3 with noreturn
+
+00013b1f:
+00013b21: call @interrupt:#3 with noreturn
+
+00013b23:
+00013b25: call @interrupt:#3 with noreturn
+
+00013b27:
+00013b29: call @interrupt:#3 with noreturn
+
+00013b2b:
+00013b2d: call @interrupt:#3 with noreturn
+
+00013b2f:
+00013b31: call @interrupt:#3 with noreturn
+
+00013b33:
+00013b35: call @interrupt:#3 with noreturn
+
+00013b37:
+00013b39: call @interrupt:#3 with noreturn
+
+00013b3b:
+00013b3d: call @interrupt:#3 with noreturn
+
+00013b3f:
+00013b41: call @interrupt:#3 with noreturn
+
+00013b43:
+00013b45: call @interrupt:#3 with noreturn
+
+00013b47:
+00013b49: call @interrupt:#3 with noreturn
+
+00013b4b:
+00013b4d: call @interrupt:#3 with noreturn
+
+00013b4f:
+00013b51: call @interrupt:#3 with noreturn
+
+00013b53:
+00013b55: call @interrupt:#3 with noreturn
+
+00013b57:
+00013b59: call @interrupt:#3 with noreturn
+
+00013b5b:
+00013b5d: call @interrupt:#3 with noreturn
+
+00013b5f:
+00013b61: call @interrupt:#3 with noreturn
+
+00013b63:
+00013b65: call @interrupt:#3 with noreturn
+
+00013b67:
+00013b69: call @interrupt:#3 with noreturn
+
+00013b6b:
+00013b6d: call @interrupt:#3 with noreturn
+
+00013b6f:
+00013b71: call @interrupt:#3 with noreturn
+
+00013b73:
+00013b75: call @interrupt:#3 with noreturn
+
+00013b77:
+00013b79: call @interrupt:#3 with noreturn
+
+00013b7b:
+00013b7d: call @interrupt:#3 with noreturn
+
+00013b7f:
+00013b81: call @interrupt:#3 with noreturn
+
+00013b83:
+00013b85: call @interrupt:#3 with noreturn
+
+00013b87:
+00013b89: call @interrupt:#3 with noreturn
+
+00013b8b:
+00013b8d: call @interrupt:#3 with noreturn
+
+00013b8f:
+00013b91: call @interrupt:#3 with noreturn
+
+00013b93:
+00013b95: call @interrupt:#3 with noreturn
+
+00013b97:
+00013b99: call @interrupt:#3 with noreturn
+
+00013b9b:
+00013b9d: call @interrupt:#3 with noreturn
+
+00013b9f:
+00013ba1: call @interrupt:#3 with noreturn
+
+00013ba3:
+00013ba5: call @interrupt:#3 with noreturn
+
+00013ba7:
+00013ba9: call @interrupt:#3 with noreturn
+
+00013bab:
+00013bad: call @interrupt:#3 with noreturn
+
+00013baf:
+00013bb1: call @interrupt:#3 with noreturn
+
+00013bb3:
+00013bb5: call @interrupt:#3 with noreturn
+
+00013bb7:
+00013bb9: call @interrupt:#3 with noreturn
+
+00013bbb:
+00013bbd: call @interrupt:#3 with noreturn
+
+00013bbf:
+00013bc1: call @interrupt:#3 with noreturn
+
+00013bc3:
+00013bc5: call @interrupt:#3 with noreturn
+
+00013c33:
+00013c39: mem := mem with [0x1800081B8, el]:u32 <- 1
+00013c44: RSP := RSP - 8
+00013c49: mem := mem with [RSP, el]:u64 <- 0x180001400
+00013c4b: call @sub_180001019 with return %00013c4d
+
+00013c4d:
+00013c5d: #12582249 := low:8[RAX]
+00013c73: ZF := 0 = #12582249
+00013c7a: when ZF goto %00013c77
+0001957c: goto %00013df9
+
+00013df9:
+00013e02: RSP := RSP - 8
+00013e07: mem := mem with [RSP, el]:u64 <- 0x180001409
+00013e09: call @sub_1800010cd with return %00013e0b
+
+00013e0b:
+00013e14: RSP := RSP - 8
+00013e19: mem := mem with [RSP, el]:u64 <- 0x18000140E
+00013e1b: call @sub_180001041 with return %00013e1d
+
+00013e1d:
+00013e26: RSP := RSP - 8
+00013e2b: mem := mem with [RSP, el]:u64 <- 0x180001413
+00013e2d: call @sub_180001127 with return %00013e2f
+
+00013e2f:
+00013e33: RDX := 0x180006330
+00013e39: RCX := 0x180006220
+00013e44: RSP := RSP - 8
+00013e49: mem := mem with [RSP, el]:u64 <- 0x180001426
+00013e4b: call @sub_18000274e with return %00013e4d
+
+00013e4d:
+00013e5d: #12582238 := low:32[RAX]
+00013e73: ZF := 0 = #12582238
+00013e79: when ~ZF goto %00013c77
+0001957b: goto %00013e7d
+
+00013e7d:
+00013e86: RSP := RSP - 8
+00013e8b: mem := mem with [RSP, el]:u64 <- 0x18000142F
+00013e8d: call @sub_18000113b with return %00013e8f
+
+00013e8f:
+00013e9f: #12582236 := low:8[RAX]
+00013eb5: ZF := 0 = #12582236
+00013ebb: when ZF goto %00013c77
+0001957a: goto %00013ebf
+
+00013ebf:
+00013ec3: RDX := 0x180006110
+00013ec9: RCX := 0x180006000
+00013ed4: RSP := RSP - 8
+00013ed9: mem := mem with [RSP, el]:u64 <- 0x180001446
+00013edb: call @sub_180002748 with return %00013edd
+
+00013edd:
+00013ee3: mem := mem with [0x1800081B8, el]:u32 <- 2
+00013ef1: RDI := 63:8[RDI].0
+00019579: goto %00013c77
+
+00013c77:
+00013c85: RCX := high:56[RCX].low:8[RBX]
+00013c90: RSP := RSP - 8
+00013c95: mem := mem with [RSP, el]:u64 <- 0x18000145A
+00013c97: call @sub_180001140 with return %00013c99
+
+00013c99:
+00013ca9: #12582247 := low:8[RDI]
+00013cbf: ZF := 0 = #12582247
+00013cc5: when ~ZF goto %000139eb
+00019578: goto %00013cc9
+
+000139eb:
+000139fb: RAX := 0
+00019577: goto %00013a0f
+
+00013cc9:
+00013cd2: RSP := RSP - 8
+00013cd7: mem := mem with [RSP, el]:u64 <- 0x180001464
+00013cd9: call @sub_180001109 with return %00013cdb
+
+00013cdb:
+00013ce1: RBX := RAX
+00013cff: #12582245 := mem[RAX, el]:u64
+00013d1f: ZF := 0 = #12582245
+00013d26: when ZF goto %00013d23
+00019576: goto %00013d6d
+
+00013d6d:
+00013d73: RCX := RAX
+00013d7e: RSP := RSP - 8
+00013d83: mem := mem with [RSP, el]:u64 <- 0x180001475
+00013d85: call @sub_18000108c with return %00013d87
+
+00013d87:
+00013d97: #12582241 := low:8[RAX]
+00013dad: ZF := 0 = #12582241
+00013db3: when ZF goto %00013d23
+00019575: goto %00013db7
+
+00013db7:
+00013dbd: R8 := RSI
+00013dc3: RDX := 2
+00013dcb: RCX := R14
+00013dd5: RAX := mem[RBX, el]:u64
+00013ddd: R9 := mem[0x18000B020, el]:u64
+00013deb: #12582239 := R9
+00013def: RSP := RSP - 8
+00013df4: mem := mem with [RSP, el]:u64 <- 0x180001491
+00013df7: call #12582239 with return %00013d23
+
+00013d23:
+00013d47: mem :=
+          mem with [0x180008170, el]:u32 <- mem[0x180008170, el]:u32 + 1
+00013d67: RAX := 1
+00013d6b: goto %00013a0f
+
+00013a0f:
+00013a17: RBX := mem[RSP + 0x30, el]:u64
+00013a21: RSI := mem[RSP + 0x38, el]:u64
+00013a2b: RDI := mem[RSP + 0x48, el]:u64
+00013a4c: RSP := RSP + 0x20
+00013a77: R14 := mem[RSP, el]:u64
+00013a7b: RSP := RSP + 8
+00013a88: #12582252 := mem[RSP, el]:u64
+00013a8c: RSP := RSP + 8
+00013a8f: call #12582252 with noreturn
+
+00013f93:
+00013faf: RDX := pad:64[low:32[RDX] - 1]
+00013fcb: ZF := 0 = low:32[RDX]
+00013fd2: when ZF goto %00013fcf
+00019574: goto %00014043
+
+00013fcf:
+00013fde: RSP := RSP - 8
+00013fe3: mem := mem with [RSP, el]:u64 <- 0x180001375
+00013fe5: call @sub_18000111d with return %00013fe7
+
+00014043:
+00014059: #12582221 := low:32[RDX] - 1
+00014075: ZF := 0 = #12582221
+0001407c: when ZF goto %00014079
+00019573: goto %00014095
+
+00014079:
+00014088: RSP := RSP - 8
+0001408d: mem := mem with [RSP, el]:u64 <- 0x18000136E
+0001408f: call @sub_180001177 with return %00014091
+
+00014091:
+00014093: goto %00013fe7
+
+00013fe7:
+00013fed: RAX := pad:64[low:8[RAX]]
+0001400e: RSP := RSP + 0x28
+0001403a: #12582222 := mem[RSP, el]:u64
+0001403e: RSP := RSP + 8
+00014041: call #12582222 with noreturn
+
+00014095:
+00014099: RAX := 1
+000140ba: RSP := RSP + 0x28
+000140e6: #12582216 := mem[RSP, el]:u64
+000140ea: RSP := RSP + 8
+000140ed: call #12582216 with noreturn
+
+00019582: sub sub_180001508(sub_180001508_result)
+000195dd: sub_180001508_result :: out u32 = low:32[RAX]
+
+00012b90:
+00012b9d: mem := mem with [RSP + 8, el]:u64 <- RBX
+00012bab: #12582302 := RDI
+00012baf: RSP := RSP - 8
+00012bb5: mem := mem with [RSP, el]:u64 <- #12582302
+00012bd3: RSP := RSP - 0x30
+00012bf9: RDI := high:56[RDI].low:8[RCX]
+00012c01: RAX := pad:64[mem[0x180008170, el]:u32]
+00012c13: #12582298 := low:32[RAX]
+00012c25: SF := high:1[#12582298]
+00012c29: ZF := 0 = #12582298
+00012c38: when ~(ZF | SF) goto %00012c31
+00019586: goto %0001389d
+
+00012c31:
+00012c55: RAX := pad:64[low:32[RAX] - 1]
+00012c77: mem := mem with [0x180008170, el]:u32 <- low:32[RAX]
+00012c82: RSP := RSP - 8
+00012c87: mem := mem with [RSP, el]:u64 <- 0x180001539
+00012c89: call @sub_180001154 with return %00012c8b
+
+00012c8b:
+00012c93: RBX := high:56[RBX].low:8[RAX]
+00012c9f: mem := mem with [RSP + 0x20] <- low:8[RAX]
+00012cb7: #12582294 := mem[0x1800081B8, el]:u32 - 2
+00012cd3: ZF := 0 = #12582294
+00012cda: when ~ZF goto %00012cd7
+00019585: goto %00012d8d
+
+00012cd7:
+00012ce1: RCX := 7
+00012cec: RSP := RSP - 8
+00012cf1: mem := mem with [RSP, el]:u64 <- 0x180001589
+00012cf3: call @sub_18000114a with return %00012cf5
+
+00012cf5:
+00012cfb: call @interrupt:#3 with noreturn
+
+00012cfd:
+00012cff: call @interrupt:#3 with noreturn
+
+00012d01:
+00012d03: call @interrupt:#3 with noreturn
+
+00012d05:
+00012d07: call @interrupt:#3 with noreturn
+
+00012d09:
+00012d0b: call @interrupt:#3 with noreturn
+
+00012d0d:
+00012d0f: call @interrupt:#3 with noreturn
+
+00012d11:
+00012d13: call @interrupt:#3 with noreturn
+
+00012d15:
+00012d17: call @interrupt:#3 with noreturn
+
+00012d19:
+00012d1b: call @interrupt:#3 with noreturn
+
+00012d1d:
+00012d1f: call @interrupt:#3 with noreturn
+
+00012d21:
+00012d23: call @interrupt:#3 with noreturn
+
+00012d25:
+00012d27: call @interrupt:#3 with noreturn
+
+00012d29:
+00012d2b: call @interrupt:#3 with noreturn
+
+00012d2d:
+00012d2f: call @interrupt:#3 with noreturn
+
+00012d31:
+00012d33: call @interrupt:#3 with noreturn
+
+00012d35:
+00012d37: call @interrupt:#3 with noreturn
+
+00012d39:
+00012d3b: call @interrupt:#3 with noreturn
+
+00012d3d:
+00012d3f: call @interrupt:#3 with noreturn
+
+00012d41:
+00012d43: call @interrupt:#3 with noreturn
+
+00012d45:
+00012d47: call @interrupt:#3 with noreturn
+
+00012d49:
+00012d4b: call @interrupt:#3 with noreturn
+
+00012d4d:
+00012d4f: call @interrupt:#3 with noreturn
+
+00012d51:
+00012d53: call @interrupt:#3 with noreturn
+
+00012d55:
+00012d57: call @interrupt:#3 with noreturn
+
+00012d59:
+00012d5b: call @interrupt:#3 with noreturn
+
+00012d5d:
+00012d5f: call @interrupt:#3 with noreturn
+
+00012d61:
+00012d63: call @interrupt:#3 with noreturn
+
+00012d65:
+00012d67: call @interrupt:#3 with noreturn
+
+00012d69:
+00012d6b: call @interrupt:#3 with noreturn
+
+00012d6d:
+00012d6f: call @interrupt:#3 with noreturn
+
+00012d71:
+00012d73: call @interrupt:#3 with noreturn
+
+00012d75:
+00012d77: call @interrupt:#3 with noreturn
+
+00012d79:
+00012d7b: call @interrupt:#3 with noreturn
+
+00012d7d:
+00012d7f: call @interrupt:#3 with noreturn
+
+00012d81:
+00012d83: call @interrupt:#3 with noreturn
+
+00012d85:
+00012d87: call @interrupt:#3 with noreturn
+
+00012d89:
+00012d8b: call @interrupt:#3 with noreturn
+
+00012d8d:
+00012d97: RSP := RSP - 8
+00012d9c: mem := mem with [RSP, el]:u64 <- 0x18000154D
+00012d9e: call @sub_180001181 with return %0001352b
+
+0001352b:
+00013534: RSP := RSP - 8
+00013539: mem := mem with [RSP, el]:u64 <- 0x180001552
+0001353b: call @sub_18000110e with return %0001353d
+
+0001353d:
+00013546: RSP := RSP - 8
+0001354b: mem := mem with [RSP, el]:u64 <- 0x180001557
+0001354d: call @sub_1800010d7 with return %0001354f
+
+0001354f:
+0001355f: mem := mem with [0x1800081B8, el]:u32 <- 0
+0001357f: RCX := high:56[RCX].low:8[RBX]
+0001358a: RSP := RSP - 8
+0001358f: mem := mem with [RSP, el]:u64 <- 0x180001565
+00013591: call @sub_180001140 with return %00013593
+
+00013593:
+0001359d: RDX := 0
+000135b9: RCX := high:56[RCX].low:8[RDI]
+000135c5: RSP := RSP - 8
+000135ca: mem := mem with [RSP, el]:u64 <- 0x18000156F
+000135cc: call @sub_180001082 with return %0001375f
+
+0001375f:
+00013776: #12582271 := low:8[RAX]
+0001377b: RAX := 63:8[RAX].-low:8[RAX]
+0001377f: CF := #12582271 <> 0
+000137ba: #12582269 := low:32[RBX]
+000137be: #12582268 := low:32[RBX]
+000137c4: RBX := pad:64[#12582268 - #12582269 + pad:32[CF]]
+000137f9: RBX := pad:64[low:32[RBX] & 1]
+0001381a: RSP := RSP - 8
+0001381f: mem := mem with [RSP, el]:u64 <- 0x18000157B
+00013821: call @sub_180001118 with return %00013823
+
+00013823:
+00013829: RAX := pad:64[low:32[RBX]]
+0001382e: goto %0001382c
+
+0001389d:
+000138a7: RAX := 0
+00019583: goto %0001382c
+
+0001382c:
+00013837: RBX := mem[RSP + 0x40, el]:u64
+00013858: RSP := RSP + 0x30
+00013883: RDI := mem[RSP, el]:u64
+00013887: RSP := RSP + 8
+00013894: #12582262 := mem[RSP, el]:u64
+00013898: RSP := RSP + 8
+0001389b: call #12582262 with noreturn
+
+00019587: sub sub_1800015b0(sub_1800015b0_result)
+000195de: sub_1800015b0_result :: out u32 = low:32[RAX]
+
+00004b1f:
+00004b28: RAX := RSP
+00004b34: mem := mem with [RAX + 0x20, el]:u64 <- RBX
+00004b40: mem := mem with [RAX + 0x18, el]:u64 <- R8
+00004b4c: mem := mem with [RAX + 0x10, el]:u32 <- low:32[RDX]
+00004b58: mem := mem with [RAX + 8, el]:u64 <- RCX
+00004b66: #12582902 := RSI
+00004b6a: RSP := RSP - 8
+00004b70: mem := mem with [RSP, el]:u64 <- #12582902
+00004b7e: #12582901 := RDI
+00004b82: RSP := RSP - 8
+00004b88: mem := mem with [RSP, el]:u64 <- #12582901
+00004b96: #12582900 := R14
+00004b9a: RSP := RSP - 8
+00004ba0: mem := mem with [RSP, el]:u64 <- #12582900
+00004bbe: RSP := RSP - 0x40
+00004be2: RSI := R8
+00004bea: RDI := pad:64[low:32[RDX]]
+00004bf2: R14 := RCX
+00004c04: #12582896 := low:32[RDX]
+00004c1a: ZF := 0 = #12582896
+00004c21: when ~ZF goto %00004c1e
+00019596: goto %000190e3
+
+000190e3:
+000190fe: #12582120 := mem[0x180008170, el]:u32 - low:32[RDX]
+0001910a: OF := high:1[(mem[0x180008170, el]:u32 ^ low:32[RDX]) &
+          (mem[0x180008170, el]:u32 ^ #12582120)]
+00019119: SF := high:1[#12582120]
+0001911d: ZF := 0 = #12582120
+0001912b: when ~(ZF | (SF | OF) & ~(SF & OF)) goto %00004c1e
+00019595: goto %0001912f
+
+00004c1e:
+00004c2a: RAX := pad:64[low:32[RDX - 1]]
+00004c42: #12582894 := low:32[RAX] - 1
+00004c46: CF := low:32[RAX] < 1
+00004c5e: ZF := 0 = #12582894
+00004c67: when ~(CF | ZF) goto %00004c63
+00019594: goto %00018fd1
+
+00018fd1:
+00018fd7: RAX := mem[0x180006880, el]:u64
+00018fe9: #12582127 := RAX
+00018fff: ZF := 0 = #12582127
+00019006: when ~ZF goto %00019003
+00019593: goto %000190d5
+
+00019003:
+00019015: #12582125 := mem[0x18000B020, el]:u64
+00019019: RSP := RSP - 8
+0001901e: mem := mem with [RSP, el]:u64 <- 0x180001609
+00019021: call #12582125 with return %00019023
+
+00019023:
+00019029: RBX := pad:64[low:32[RAX]]
+00019035: mem := mem with [RSP + 0x30, el]:u32 <- low:32[RAX]
+00019047: #12582124 := low:32[RAX]
+0001905d: ZF := 0 = #12582124
+00019063: when ZF goto %00018b51
+00019592: goto %00019067
+
+000190d5:
+000190dd: mem := mem with [RSP + 0x30, el]:u32 <- 1
+000190e1: goto %00019067
+
+00019067:
+0001906d: R8 := RSI
+00019075: RDX := pad:64[low:32[RDI]]
+0001907d: RCX := R14
+00019088: RSP := RSP - 8
+0001908d: mem := mem with [RSP, el]:u64 <- 0x180001624
+0001908f: call @sub_180001348 with return %00019091
+
+00019091:
+00019097: RBX := pad:64[low:32[RAX]]
+000190a3: mem := mem with [RSP + 0x30, el]:u32 <- low:32[RAX]
+000190b5: #12582122 := low:32[RAX]
+000190cb: ZF := 0 = #12582122
+000190d1: when ZF goto %00018b51
+00019591: goto %00004c63
+
+00004c63:
+00004c70: R8 := RSI
+00004c78: RDX := pad:64[low:32[RDI]]
+00004c80: RCX := R14
+00004c8c: RSP := RSP - 8
+00004c91: mem := mem with [RSP, el]:u64 <- 0x18000163F
+00004c93: call @sub_1800010b4 with return %00018a69
+
+00018a69:
+00018a6f: RBX := pad:64[low:32[RAX]]
+00018a7b: mem := mem with [RSP + 0x30, el]:u32 <- low:32[RAX]
+00018a93: #12582152 := low:32[RDI] - 1
+00018aaf: ZF := 0 = #12582152
+00018ab6: when ~ZF goto %00018ab3
+00019590: goto %00018e9d
+
+00018e9d:
+00018ead: #12582134 := low:32[RAX]
+00018ec3: ZF := 0 = #12582134
+00018ec9: when ~ZF goto %00018ab3
+0001958f: goto %00018ecd
+
+00018ecd:
+00018ed3: R8 := RSI
+00018edf: RDX := 0
+00018ef9: RCX := R14
+00018f04: RSP := RSP - 8
+00018f09: mem := mem with [RSP, el]:u64 <- 0x18000165B
+00018f0b: call @sub_1800010b4 with return %00018f0d
+
+00018f0d:
+00018f1d: #12582132 := RSI
+00018f33: ZF := 0 = #12582132
+00018f3d: RCX := 63:8[RCX].pad:8[~ZF]
+00018f48: RSP := RSP - 8
+00018f4d: mem := mem with [RSP, el]:u64 <- 0x180001666
+00018f4f: call @sub_180001508 with return %00018f51
+
+00018f51:
+00018f57: RAX := mem[0x180006880, el]:u64
+00018f69: #12582130 := RAX
+00018f7f: ZF := 0 = #12582130
+00018f85: when ZF goto %00018ab3
+0001958e: goto %00018f89
+
+00018f89:
+00018f8f: R8 := RSI
+00018f9b: RDX := 0
+00018fb5: RCX := R14
+00018fc3: #12582128 := mem[0x18000B020, el]:u64
+00018fc7: RSP := RSP - 8
+00018fcc: mem := mem with [RSP, el]:u64 <- 0x180001680
+00018fcf: call #12582128 with return %00018ab3
+
+00018ab3:
+00018ac9: #12582150 := low:32[RDI]
+00018adf: ZF := 0 = #12582150
+00018ae6: when ZF goto %00018ae3
+0001958d: goto %00018e61
+
+00018e61:
+00018e77: #12582136 := low:32[RDI] - 3
+00018e93: ZF := 0 = #12582136
+00018e99: when ~ZF goto %00018b51
+0001958c: goto %00018ae3
+
+00018ae3:
+00018aef: R8 := RSI
+00018af7: RDX := pad:64[low:32[RDI]]
+00018aff: RCX := R14
+00018b0a: RSP := RSP - 8
+00018b0f: mem := mem with [RSP, el]:u64 <- 0x180001696
+00018b11: call @sub_180001348 with return %00018b13
+
+00018b13:
+00018b19: RBX := pad:64[low:32[RAX]]
+00018b25: mem := mem with [RSP + 0x30, el]:u32 <- low:32[RAX]
+00018b37: #12582148 := low:32[RAX]
+00018b4d: ZF := 0 = #12582148
+00018b54: when ZF goto %00018b51
+0001958b: goto %00018dcb
+
+00018dcb:
+00018dd1: RAX := mem[0x180006880, el]:u64
+00018de3: #12582139 := RAX
+00018df9: ZF := 0 = #12582139
+00018e00: when ~ZF goto %00018dfd
+0001958a: goto %00018e49
+
+00018dfd:
+00018e09: R8 := RSI
+00018e11: RDX := pad:64[low:32[RDI]]
+00018e19: RCX := R14
+00018e27: #12582137 := mem[0x18000B020, el]:u64
+00018e2b: RSP := RSP - 8
+00018e30: mem := mem with [RSP, el]:u64 <- 0x1800016C3
+00018e33: call #12582137 with return %00018e35
+
+00018e35:
+00018e3b: RBX := pad:64[low:32[RAX]]
+00018e47: mem := mem with [RSP + 0x30, el]:u32 <- low:32[RAX]
+00019589: goto %00018b51
+
+00018e49:
+00018e4f: RBX := pad:64[low:32[RAX + 1]]
+00018e5b: mem := mem with [RSP + 0x30, el]:u32 <- low:32[RBX]
+00018e5f: goto %00018b51
+
+00018b51:
+00018b5a: goto %00018b58
+
+00018b58:
+00018b61: RAX := pad:64[low:32[RBX]]
+00019588: goto %00018b63
+
+0001912f:
+00019139: RAX := 0
+0001914f: goto %00018b63
+
+00018b63:
+00018b6b: RBX := mem[RSP + 0x78, el]:u64
+00018b8c: RSP := RSP + 0x40
+00018bb7: R14 := mem[RSP, el]:u64
+00018bbb: RSP := RSP + 8
+00018bc7: RDI := mem[RSP, el]:u64
+00018bcb: RSP := RSP + 8
+00018bd7: RSI := mem[RSP, el]:u64
+00018bdb: RSP := RSP + 8
+00018be8: #12582143 := mem[RSP, el]:u64
+00018bec: RSP := RSP + 8
+00018bef: call #12582143 with noreturn
+
+00019597: sub sub_180001d2c(sub_180001d2c_result)
+000195df: sub_180001d2c_result :: out u32 = low:32[RAX]
+
+0000d686:
+0000d6a5: RSP := RSP - 0x18
+0000d6c9: R8 := RCX
+0000d6cf: RAX := 0x5A4D
+0000d6ec: #12582860 := mem[0x180000000, el]:u16 - 0x5A4D
+0000d70b: ZF := 0 = #12582860
+0000d712: when ~ZF goto %0000d70f
+000195a1: goto %0000d84d
+
+0000d84d:
+0000d853: RCX := extend:64[mem[0x18000003C, el]:u32]
+0000d859: RDX := 0x180000000
+0000d884: RCX := RCX + 0x180000000
+0000d8c3: #12582851 := mem[RCX, el]:u32 - 0x4550
+0000d8e3: ZF := 0 = #12582851
+0000d8e9: when ~ZF goto %0000d70f
+000195a0: goto %0000d8ed
+
+0000d8ed:
+0000d8f1: RAX := 0x20B
+0000d914: #12582849 := mem[RCX + 0x18, el]:u16 - 0x20B
+0000d937: ZF := 0 = #12582849
+0000d93d: when ~ZF goto %0000d70f
+0001959f: goto %0000d941
+
+0000d70f:
+0000d721: RAX := 63:8[RAX].0
+0000d738: goto %0000d736
+
+0000d941:
+0000d968: R8 := R8 - 0x180000000
+0000d991: RDX := pad:64[mem[RCX + 0x14, el]:u16]
+0000d9b2: RDX := RDX + 0x18
+0000d9f7: #12582840 := RCX
+0000d9fc: RDX := RDX + #12582840
+0000da27: RAX := pad:64[mem[RCX + 6, el]:u16]
+0000da31: RCX := RAX + (RAX << 2)
+0000da3b: R9 := RDX + (RCX << 3)
+0001959e: goto %0000da3d
+
+0000da3d:
+0000da47: mem := mem with [RSP, el]:u64 <- RDX
+0000da64: #12582838 := RDX - R9
+0000da83: ZF := 0 = #12582838
+0000da8a: when ZF goto %0000da87
+0001959d: goto %0000db7b
+
+0000da87:
+0000da97: RDX := 0
+0001959c: goto %0000daab
+
+0000db7b:
+0000db83: RCX := pad:64[mem[RDX + 0xC, el]:u32]
+0000dba5: CF := R8 < RCX
+0000dbc6: when CF goto %0000dbc3
+0001959b: goto %0000dc0d
+
+0000dc0d:
+0000dc15: RAX := pad:64[mem[RDX + 8, el]:u32]
+0000dc3b: #12582826 := low:32[RCX]
+0000dc40: RAX := pad:64[low:32[RAX] + #12582826]
+0000dc83: CF := R8 < RAX
+0000dca3: when CF goto %0000daab
+0001959a: goto %0000dbc3
+
+0000daab:
+0000dabb: #12582836 := RDX
+0000dad1: ZF := 0 = #12582836
+0000dad8: when ~ZF goto %0000dad5
+00019599: goto %0000db57
+
+0000dad5:
+0000daf7: #12582834 := mem[RDX + 0x24, el]:u32
+0000db04: OF := high:1[mem[RDX + 0x24, el]:u32 &
+          (mem[RDX + 0x24, el]:u32 ^ #12582834)]
+0000db13: SF := high:1[#12582834]
+0000db24: when ~((SF | OF) & ~(SF & OF)) goto %0000db1e
+00019598: goto %0000db33
+
+0000db1e:
+0000db2d: RAX := high:56[RAX].1
+0000db31: goto %0000d736
+
+0000db33:
+0000db3f: RAX := 63:8[RAX].0
+0000db55: goto %0000d736
+
+0000db57:
+0000db63: RAX := 63:8[RAX].0
+0000db79: goto %0000d736
+
+0000d736:
+0000d758: RSP := RSP + 0x18
+0000d784: #12582855 := mem[RSP, el]:u64
+0000d788: RSP := RSP + 8
+0000d78b: call #12582855 with noreturn
+
+0000dbc3:
+0000dbe8: RDX := RDX + 0x28
+0000dc0b: goto %0000da3d
+
+000195a2: sub sub_180002736(sub_180002736_result)
+000195e0: sub_180002736_result :: out u32 = low:32[RAX]
+
+00004dc1:
+00004dc5: call mem[0x18000A0F8, el]:u64 with noreturn
+
+000195a3: sub sub_18000273c(sub_18000273c_result)
+000195e1: sub_18000273c_result :: out u32 = low:32[RAX]
+
+00004dc7:
+00004dcb: call mem[0x18000A100, el]:u64 with noreturn
+
+000195a4: sub sub_180002742(sub_180002742_result)
+000195e2: sub_180002742_result :: out u32 = low:32[RAX]
+
+00004dcd:
+00004dd1: call mem[0x18000A108, el]:u64 with noreturn
+
+000195a5: sub sub_180002748(sub_180002748_result)
+000195e3: sub_180002748_result :: out u32 = low:32[RAX]
+
+00004dd3:
+00004dd7: call mem[0x18000A1A0, el]:u64 with noreturn
+
+000195a6: sub sub_18000274e(sub_18000274e_result)
+000195e4: sub_18000274e_result :: out u32 = low:32[RAX]
+
+00004dd9:
+00004ddd: call mem[0x18000A178, el]:u64 with noreturn
+
+000195a7: sub sub_18000275a(sub_18000275a_result)
+000195e5: sub_18000275a_result :: out u32 = low:32[RAX]
+
+00004de5:
+00004de9: call mem[0x18000A188, el]:u64 with noreturn
+
+000195a8: sub sub_180002760(sub_180002760_result)
+000195e6: sub_180002760_result :: out u32 = low:32[RAX]
+
+00004deb:
+00004def: call mem[0x18000A190, el]:u64 with noreturn
+
+000195a9: sub sub_180002766(sub_180002766_result)
+000195e7: sub_180002766_result :: out u32 = low:32[RAX]
+
+00004df1:
+00004df5: call mem[0x18000A198, el]:u64 with noreturn
+
+000195aa: sub sub_18000276c(sub_18000276c_result)
+000195e8: sub_18000276c_result :: out u32 = low:32[RAX]
+
+00004df7:
+00004dfb: call mem[0x18000A1D0, el]:u64 with noreturn
+
+000195ab: sub sub_180002778(sub_180002778_result)
+000195e9: sub_180002778_result :: out u32 = low:32[RAX]
+
+00004e03:
+00004e07: call mem[0x18000A1B0, el]:u64 with noreturn
+
+000195ac: sub sub_180002784(sub_180002784_result)
+000195ea: sub_180002784_result :: out u32 = low:32[RAX]
+
+00004e0f:
+00004e13: call mem[0x18000A1C0, el]:u64 with noreturn
+
+000195ad: sub sub_18000278a(sub_18000278a_result)
+000195eb: sub_18000278a_result :: out u32 = low:32[RAX]
+
+00004e15:
+00004e19: call mem[0x18000A1C8, el]:u64 with noreturn
+
+000195ae: sub sub_180002790(sub_180002790_result)
+000195ec: sub_180002790_result :: out u32 = low:32[RAX]
+
+00004e1b:
+00004e21: RAX := high:56[RAX].1
+00004e2e: #12582883 := mem[RSP, el]:u64
+00004e32: RSP := RSP + 8
+00004e35: call #12582883 with noreturn
+
+000195af: sub sub_180002794(sub_180002794_result)
+000195ed: sub_180002794_result :: out u32 = low:32[RAX]
+
+00004e3b:
+00004e41: RAX := high:56[RAX].1
+00004e4e: #12582882 := mem[RSP, el]:u64
+00004e52: RSP := RSP + 8
+00004e55: call #12582882 with noreturn
+
+000195b0: sub sub_180002798(sub_180002798_result)
+000195ee: sub_180002798_result :: out u32 = low:32[RAX]
+
+00004e5b:
+00004e61: RAX := high:56[RAX].1
+00004e6e: #12582881 := mem[RSP, el]:u64
+00004e72: RSP := RSP + 8
+00004e75: call #12582881 with noreturn
+
+000195b1: sub sub_18000279c(sub_18000279c_result)
+000195ef: sub_18000279c_result :: out u32 = low:32[RAX]
+
+00004e7b:
+00004e81: RAX := high:56[RAX].1
+00004e8e: #12582880 := mem[RSP, el]:u64
+00004e92: RSP := RSP + 8
+00004e95: call #12582880 with noreturn
+
+000195b2: sub sub_1800027a0(sub_1800027a0_result)
+000195f0: sub_1800027a0_result :: out u32 = low:32[RAX]
+
+00004e9b:
+00004ea1: RAX := high:56[RAX].1
+00004eae: #12582879 := mem[RSP, el]:u64
+00004eb2: RSP := RSP + 8
+00004eb5: call #12582879 with noreturn
+
+00010dd3: sub intrinsic:x86:lock()
+
+
+00010df3: sub intrinsic:x86:unlock()
+
+
+00004d69: sub interrupt:#3(interrupt:#3_result)
+000195f1: interrupt:#3_result :: out u32 = low:32[RAX]
+
+0000f618: sub interrupt:#41(interrupt:#41_result)
+000195f2: interrupt:#41_result :: out u32 = low:32[RAX]
-- 
GitLab