Similarity

001599e8
001599e8 // align 0x10

001599f0
001599f0camlText.right_1865:
001599f0lea r10, [rsp-320]
001599f8cmp r10, [r14+40]
001599fcjb 0x159a47
001599fe
001599feloc_1599fe:
001599femov r12, rax
00159a01lea rsi, [rip+0x18dc60]
00159a08mov rdi, r12
00159a0bmov rbx, rsp
00159a0emov rsp, [r14+64]
00159a12call caml_string_notequal
00159a17mov rsp, rbx
00159a1acmp rax, 1
00159a1eje 0x159a2d
00159a20mov rax, r12
00159a23call camlText.translate_1857
00159a28call camlText.make_border_1631
00159a2d
00159a2dloc_159a2d:
00159a2dmov eax, 1
00159a32call camlText.item_display_1765
00159a37mov eax, 1
00159a3ccall camlText.close_display_1762
00159a41mov eax, 7
00159a46ret
00159a47
00159a47loc_159a47:
00159a47push 33
00159a49call caml_call_realloc_stack
00159a4epop r10
00159a50jmp 0x1599fe
001599f0

00159a52
00159a52 // align 0x10

00159a60
00159a60camlText.entry:
00159a60lea r10, [rsp-336]
00159a68cmp r10, [r14+40]
00159a6cjb 0x15b96a
00159a72
00159a72loc_159a72:
00159a72sub rsp, 16
00159a76mov edi, 1
00159a7bmov rbx, rsp
00159a7emov rsp, [r14+64]
00159a82call caml_fresh_oo_id
00159a87mov rsp, rbx
00159a8acall caml_alloc2
00159a8flea rsi, [r15+8]
00159a93mov [rsi-8], 2296
00159a9blea rbx, [rip+0x18f676]
00159aa2mov [rsi], rbx
00159aa5mov [rsi+8], rax
00159aa9lea rdi, [rip+0x18d008]
00159ab0mov rbx, rsp
00159ab3mov rsp, [r14+64]
00159ab7call caml_initialize
00159abcmov rsp, rbx
00159abflea rsi, [rip+0x18c09a]
00159ac6lea rdi, [rip+0x18cfeb]
00159acdadd rdi, 680
00159ad4mov rbx, rsp
00159ad7mov rsp, [r14+64]
00159adbcall caml_initialize
00159ae0mov rsp, rbx
00159ae3lea rsi, [rip+0x18da4e]
00159aealea rdi, [rip+0x18cfc7]
00159af1add rdi, 688
00159af8mov rbx, rsp
00159afbmov rsp, [r14+64]
00159affcall caml_initialize
00159b04mov rsp, rbx
00159b07lea rax, [rip+0x2104fa]
00159b0emov rax, [rax+272]
00159b15mov rax, [rax]
00159b18mov ebx, 35
00159b1dcall Stdlib.Hashtbl.create_inner
00159b22mov [rsp], rax
00159b26lea rax, [rip+0x2104db]
00159b2dmov rax, [rax+272]
00159b34mov rax, [rax]
00159b37mov ebx, 35
00159b3ccall Stdlib.Hashtbl.create_inner
00159b41mov r12, rax
00159b44lea rdi, [rip+0x18cf6d]
00159b4badd rdi, 696
00159b52mov rsi, [rsp]
00159b56mov rbx, rsp
00159b59mov rsp, [r14+64]
00159b5dcall caml_initialize
00159b62mov rsp, rbx
00159b65lea rdi, [rip+0x18cf4c]
00159b6cadd rdi, 704
00159b73mov rsi, r12
00159b76mov rbx, rsp
00159b79mov rsp, [r14+64]
00159b7dcall caml_initialize
00159b82mov rsp, rbx
00159b85lea rbx, [rip+0x18d9ac]
00159b8clea rax, [rip+0x18bfe5]
00159b93call Stdlib.List.iter
00159b98lea rsi, [rip+0x18bff9]
00159b9flea rdi, [rip+0x18cf12]
00159ba6add rdi, 712
00159badmov rbx, rsp
00159bb0mov rsp, [r14+64]
00159bb4call caml_initialize
00159bb9mov rsp, rbx
00159bbclea rsi, [rip+0x18bff5]
00159bc3lea rdi, [rip+0x18ceee]
00159bcaadd rdi, 720
00159bd1mov rbx, rsp
00159bd4mov rsp, [r14+64]
00159bd8call caml_initialize
00159bddmov rsp, rbx
00159be0mov edi, 1
00159be5mov rbx, rsp
00159be8mov rsp, [r14+64]
00159beccall caml_fresh_oo_id
00159bf1mov rsp, rbx
00159bf4call caml_alloc2
00159bf9lea rsi, [r15+8]
00159bfdmov [rsi-8], 2296
00159c05lea rbx, [rip+0x18d754]
00159c0cmov [rsi], rbx
00159c0fmov [rsi+8], rax
00159c13lea rdi, [rip+0x18ce9e]
00159c1aadd rdi, 728
00159c21mov rbx, rsp
00159c24mov rsp, [r14+64]
00159c28call caml_initialize
00159c2dmov rsp, rbx
00159c30lea rsi, [rip+0x18bf99]
00159c37lea rdi, [rip+0x18ce7a]
00159c3eadd rdi, 736
00159c45mov rbx, rsp
00159c48mov rsp, [r14+64]
00159c4ccall caml_initialize
00159c51mov rsp, rbx
00159c54lea rsi, [rip+0x18bf95]
00159c5blea rdi, [rip+0x18ce56]
00159c62add rdi, 744
00159c69mov rbx, rsp
00159c6cmov rsp, [r14+64]
00159c70call caml_initialize
00159c75mov rsp, rbx
00159c78lea rsi, [rip+0x18bf89]
00159c7flea rdi, [rip+0x18ce32]
00159c86add rdi, 752
00159c8dmov rbx, rsp
00159c90mov rsp, [r14+64]
00159c94call caml_initialize
00159c99mov rsp, rbx
00159c9ccall caml_alloc1
00159ca1lea rsi, [r15+8]
00159ca5mov [rsi-8], 1024
00159cadmov [rsi], 1
00159cb4lea rdi, [rip+0x18cdfd]
00159cbbadd rdi, 760
00159cc2mov rbx, rsp
00159cc5mov rsp, [r14+64]
00159cc9call caml_initialize
00159ccemov rsp, rbx
00159cd1call caml_alloc3
00159cd6lea rsi, [r15+8]
00159cdamov [rsi-8], 3072
00159ce2mov [rsi], 1
00159ce9lea rax, [rip+0x18d568]
00159cf0mov [rsi+8], rax
00159cf4mov [rsi+16], 1
00159cfclea rdi, [rip+0x18cdb5]
00159d03add rdi, 768
00159d0amov rbx, rsp
00159d0dmov rsp, [r14+64]
00159d11call caml_initialize
00159d16mov rsp, rbx
00159d19lea rsi, [rip+0x18bf00]
00159d20lea rdi, [rip+0x18cd91]
00159d27add rdi, 776
00159d2emov rbx, rsp
00159d31mov rsp, [r14+64]
00159d35call caml_initialize
00159d3amov rsp, rbx
00159d3dlea rsi, [rip+0x18bef4]
00159d44lea rdi, [rip+0x18cd6d]
00159d4badd rdi, 784
00159d52mov rbx, rsp
00159d55mov rsp, [r14+64]
00159d59call caml_initialize
00159d5emov rsp, rbx
00159d61sub r15, 56
00159d65call caml_allocN
00159d6alea rax, [r15+8]
00159d6eadd rax, 16
00159d72mov [rax-8], 4096
00159d7amov [rax], 1
00159d81mov [rax+8], 1
00159d89mov [rax+16], 1
00159d91mov [rax+24], 1
00159d99lea rsi, [rax-16]
00159d9dmov [rsi-8], 1024
00159da5mov [rsi], rax
00159da8lea rdi, [rip+0x18cd09]
00159dafadd rdi, 792
00159db6mov rbx, rsp
00159db9mov rsp, [r14+64]
00159dbdcall caml_initialize
00159dc2mov rsp, rbx
00159dc5lea rsi, [rip+0x18be84]
00159dcclea rdi, [rip+0x18cce5]
00159dd3add rdi, 8
00159dd7mov rbx, rsp
00159ddamov rsp, [r14+64]
00159ddecall caml_initialize
00159de3mov rsp, rbx
00159de6lea rsi, [rip+0x18be7b]
00159dedlea rdi, [rip+0x18ccc4]
00159df4add rdi, 800
00159dfbmov rbx, rsp
00159dfemov rsp, [r14+64]
00159e02call caml_initialize
00159e07mov rsp, rbx
00159e0alea rsi, [rip+0x18be97]
00159e11lea r12, [rip+0x18be70]
00159e18lea rdi, [rip+0x18cc99]
00159e1fadd rdi, 808
00159e26mov rbx, rsp
00159e29mov rsp, [r14+64]
00159e2dcall caml_initialize
00159e32mov rsp, rbx
00159e35lea rdi, [rip+0x18cc7c]
00159e3cadd rdi, 816
00159e43mov rsi, r12
00159e46mov rbx, rsp
00159e49mov rsp, [r14+64]
00159e4dcall caml_initialize
00159e52mov rsp, rbx
00159e55sub r15, 152
00159e5ccall caml_allocN
00159e61lea rsi, [r15+8]
00159e65mov [rsi-8], 18432
00159e6dmov [rsi], 1
00159e74mov [rsi+8], 3
00159e7cmov [rsi+16], 1
00159e84lea rax, [rip+0x18dcad]
00159e8bmov [rsi+24], rax
00159e8fmov [rsi+32], rax
00159e93mov [rsi+40], 27
00159e9bmov [rsi+48], 1
00159ea3mov [rsi+56], 1
00159eablea rbx, [rip+0x1ce78e]
00159eb2mov rbx, [rbx+56]
00159eb6mov rbx, [rbx]
00159eb9mov [rsi+64], rbx
00159ebdmov [rsi+72], 1
00159ec5mov [rsi+80], 1
00159ecdadd rbx, -2
00159ed1mov [rsi+88], rbx
00159ed5mov [rsi+96], 1
00159eddmov [rsi+104], 5
00159ee5mov [rsi+112], rax
00159ee9mov [rsi+120], 1
00159ef1mov [rsi+128], 1
00159efcmov [rsi+136], 1
00159f07lea rdi, [rip+0x18cbaa]
00159f0eadd rdi, 824
00159f15mov rbx, rsp
00159f18mov rsp, [r14+64]
00159f1ccall caml_initialize
00159f21mov rsp, rbx
00159f24lea rsi, [rip+0x18bdb5]
00159f2blea r12, [rip+0x18bd8e]
00159f32lea rdi, [rip+0x18cb7f]
00159f39add rdi, 832
00159f40mov rbx, rsp
00159f43mov rsp, [r14+64]
00159f47call caml_initialize
00159f4cmov rsp, rbx
00159f4flea rdi, [rip+0x18cb62]
00159f56add rdi, 840
00159f5dmov rsi, r12
00159f60mov rbx, rsp
00159f63mov rsp, [r14+64]
00159f67call caml_initialize
00159f6cmov rsp, rbx
00159f6fsub r15, 528
00159f76call caml_allocN
00159f7blea rax, [r15+8]
00159f7fadd rax, 496
00159f85mov [rsp], rax
00159f89mov [rax-8], 3072
00159f91mov [rax], 1
00159f98lea rbx, [rip+0x18d191]
00159f9fmov [rax+8], rbx
00159fa3mov [rax+16], 1
00159fablea rbp, [rax-32]
00159fafmov [rbp-8], 3072
00159fb7mov [rbp], 1
00159fbflea rax, [rip+0x18d17a]
00159fc6mov [rbp+8], rax
00159fcamov [rbp+16], 1
00159fd2lea r11, [rbp-32]
00159fd6mov [r11-8], 3072
00159fdemov [r11], 1
00159fe5lea rax, [rip+0x18d16c]
00159fecmov [r11+8], rax
00159ff0mov [r11+16], 1
00159ff8lea r10, [r11-32]
00159ffcmov [r10-8], 3072
0015a004mov [r10], 1
0015a00blea rax, [rip+0x18d156]
0015a012mov [r10+8], rax
0015a016mov [r10+16], 1
0015a01elea r13, [r10-32]
0015a022mov [r13-8], 3072
0015a02amov [r13], 1
0015a032lea rax, [rip+0x18d13f]
0015a039mov [r13+8], rax
0015a03dmov [r13+16], 1
0015a045lea r12, [r13-32]
0015a049mov [r12-8], 3072
0015a052mov [r12], 1
0015a05alea rax, [rip+0x18d12f]
0015a061mov [r12+8], rax
0015a066mov [r12+16], 1
0015a06flea r9, [r12-32]
0015a074mov [r9-8], 3072
0015a07cmov [r9], 1
0015a083lea rax, [rip+0x18d116]
0015a08amov [r9+8], rax
0015a08emov [r9+16], 1
0015a096lea r8, [r9-32]
0015a09amov [r8-8], 3072
0015a0a2mov [r8], 1
0015a0a9lea rax, [rip+0x18d108]
0015a0b0mov [r8+8], rax
0015a0b4mov [r8+16], 1
0015a0bclea rcx, [r8-32]
0015a0c0mov [rcx-8], 3072
0015a0c8mov [rcx], 1
0015a0cflea rax, [rip+0x18d0fa]
0015a0d6mov [rcx+8], rax
0015a0damov [rcx+16], 1
0015a0e2lea rdx, [rcx-32]
0015a0e6mov [rdx-8], 3072
0015a0eemov [rdx], 1
0015a0f5lea rax, [rip+0x18d0fc]
0015a0fcmov [rdx+8], rax
0015a100mov [rdx+16], 1
0015a108lea rdi, [rdx-32]
0015a10cmov [rdi-8], 3072
0015a114mov [rdi], 1
0015a11blea rax, [rip+0x18d0e6]
0015a122mov [rdi+8], rax
0015a126mov [rdi+16], 1
0015a12elea rbx, [rdi-32]
0015a132mov [rbx-8], 3072
0015a13amov [rbx], 1
0015a141lea rax, [rip+0x18d0d0]
0015a148mov [rbx+8], rax
0015a14cmov [rbx+16], 1
0015a154lea rax, [rbx-32]
0015a158mov [rax-8], 3072
0015a160mov [rax], 1
0015a167lea rsi, [rip+0x18d0ba]
0015a16emov [rax+8], rsi
0015a172mov [rax+16], 1
0015a17alea rsi, [rax-112]
0015a17emov [rsi-8], 13312
0015a186mov [rsi], rax
0015a189mov [rsi+8], rbx
0015a18dmov [rsi+16], rdi
0015a191mov [rsi+24], rdx
0015a195mov [rsi+32], rcx
0015a199mov [rsi+40], r8
0015a19dmov [rsi+48], r9
0015a1a1mov [rsi+56], r12
0015a1a5mov [rsi+64], r13
0015a1a9mov [rsi+72], r10
0015a1admov [rsi+80], r11
0015a1b1mov [rsi+88], rbp
0015a1b5mov rax, [rsp]
0015a1b9mov [rsi+96], rax
0015a1bdlea rdi, [rip+0x18c8f4]
0015a1c4add rdi, 848
0015a1cbmov rbx, rsp
0015a1cemov rsp, [r14+64]
0015a1d2call caml_initialize
0015a1d7mov rsp, rbx
0015a1dalea rsi, [rip+0x18bb2f]
0015a1e1lea r12, [rip+0x18bb10]
0015a1e8lea rdi, [rip+0x18c8c9]
0015a1efadd rdi, 856
0015a1f6mov rbx, rsp
0015a1f9mov rsp, [r14+64]
0015a1fdcall caml_initialize
0015a202mov rsp, rbx
0015a205lea rdi, [rip+0x18c8ac]
0015a20cadd rdi, 864
0015a213mov rsi, r12
0015a216mov rbx, rsp
0015a219mov rsp, [r14+64]
0015a21dcall caml_initialize
0015a222mov rsp, rbx
0015a225lea rsi, [rip+0x18bafc]
0015a22clea rdi, [rip+0x18c885]
0015a233add rdi, 872
0015a23amov rbx, rsp
0015a23dmov rsp, [r14+64]
0015a241call caml_initialize
0015a246mov rsp, rbx
0015a249lea rsi, [rip+0x18baf0]
0015a250lea rdi, [rip+0x18c861]
0015a257add rdi, 880
0015a25emov rbx, rsp
0015a261mov rsp, [r14+64]
0015a265call caml_initialize
0015a26amov rsp, rbx
0015a26dmov ebx, 65
0015a272lea rax, [rip+0x1ce3c7]
0015a279mov rax, [rax+56]
0015a27dmov rax, [rax]
0015a280add rax, 4
0015a284call Stdlib.Bytes.make
0015a289lea rdi, [rip+0x18c828]
0015a290add rdi, 888
0015a297mov rsi, rax
0015a29amov rbx, rsp
0015a29dmov rsp, [r14+64]
0015a2a1call caml_initialize
0015a2a6mov rsp, rbx
0015a2a9lea rsi, [rip+0x18bac8]
0015a2b0lea r12, [rip+0x18baa1]
0015a2b7lea rdi, [rip+0x18c7fa]
0015a2beadd rdi, 664
0015a2c5mov rbx, rsp
0015a2c8mov rsp, [r14+64]
0015a2cccall caml_initialize
0015a2d1mov rsp, rbx
0015a2d4lea rdi, [rip+0x18c7dd]
0015a2dbadd rdi, 672
0015a2e2mov rsi, r12
0015a2e5mov rbx, rsp
0015a2e8mov rsp, [r14+64]
0015a2eccall caml_initialize
0015a2f1mov rsp, rbx
0015a2f4lea rsi, [rip+0x18baad]
0015a2fblea r12, [rip+0x18ba8e]
0015a302lea rdi, [rip+0x18c7af]
0015a309add rdi, 16
0015a30dmov rbx, rsp
0015a310mov rsp, [r14+64]
0015a314call caml_initialize
0015a319mov rsp, rbx
0015a31clea rdi, [rip+0x18c795]
0015a323add rdi, 24
0015a327mov rsi, r12
0015a32amov rbx, rsp
0015a32dmov rsp, [r14+64]
0015a331call caml_initialize
0015a336mov rsp, rbx
0015a339lea rsi, [rip+0x18ba80]
0015a340lea rdi, [rip+0x18c771]
0015a347add rdi, 896
0015a34emov rbx, rsp
0015a351mov rsp, [r14+64]
0015a355call caml_initialize
0015a35amov rsp, rbx
0015a35dlea rsi, [rip+0x18ba74]
0015a364lea rdi, [rip+0x18c74d]
0015a36badd rdi, 904
0015a372mov rbx, rsp
0015a375mov rsp, [r14+64]
0015a379call caml_initialize
0015a37emov rsp, rbx
0015a381lea rsi, [rip+0x18ba68]
0015a388lea rdi, [rip+0x18c729]
0015a38fadd rdi, 912
0015a396mov rbx, rsp
0015a399mov rsp, [r14+64]
0015a39dcall caml_initialize
0015a3a2mov rsp, rbx
0015a3a5lea rsi, [rip+0x18ba5c]
0015a3aclea rdi, [rip+0x18c705]
0015a3b3add rdi, 920
0015a3bamov rbx, rsp
0015a3bdmov rsp, [r14+64]
0015a3c1call caml_initialize
0015a3c6mov rsp, rbx
0015a3c9lea rsi, [rip+0x18ba50]
0015a3d0lea rdi, [rip+0x18c6e1]
0015a3d7add rdi, 928
0015a3demov rbx, rsp
0015a3e1mov rsp, [r14+64]
0015a3e5call caml_initialize
0015a3eamov rsp, rbx
0015a3edlea rsi, [rip+0x18ba44]
0015a3f4lea rdi, [rip+0x18c6bd]
0015a3fbadd rdi, 936
0015a402mov rbx, rsp
0015a405mov rsp, [r14+64]
0015a409call caml_initialize
0015a40emov rsp, rbx
0015a411lea rsi, [rip+0x18ba38]
0015a418lea rdi, [rip+0x18c699]
0015a41fadd rdi, 944
0015a426mov rbx, rsp
0015a429mov rsp, [r14+64]
0015a42dcall caml_initialize
0015a432mov rsp, rbx
0015a435lea rsi, [rip+0x18ba34]
0015a43clea rdi, [rip+0x18c675]
0015a443add rdi, 952
0015a44amov rbx, rsp
0015a44dmov rsp, [r14+64]
0015a451call caml_initialize
0015a456mov rsp, rbx
0015a459lea rsi, [rip+0x18ba40]
0015a460lea r12, [rip+0x18ba21]
0015a467lea rdi, [rip+0x18c64a]
0015a46eadd rdi, 960
0015a475mov rbx, rsp
0015a478mov rsp, [r14+64]
0015a47ccall caml_initialize
0015a481mov rsp, rbx
0015a484lea rdi, [rip+0x18c62d]
0015a48badd rdi, 968
0015a492mov rsi, r12
0015a495mov rbx, rsp
0015a498mov rsp, [r14+64]
0015a49ccall caml_initialize
0015a4a1mov rsp, rbx
0015a4a4lea rsi, [rip+0x18ba0d]
0015a4ablea rdi, [rip+0x18c606]
0015a4b2add rdi, 976
0015a4b9mov rbx, rsp
0015a4bcmov rsp, [r14+64]
0015a4c0call caml_initialize
0015a4c5mov rsp, rbx
0015a4c8lea rsi, [rip+0x18ba01]
0015a4cflea rdi, [rip+0x18c5e2]
0015a4d6add rdi, 984
0015a4ddmov rbx, rsp
0015a4e0mov rsp, [r14+64]
0015a4e4call caml_initialize
0015a4e9mov rsp, rbx
0015a4eclea rsi, [rip+0x18b9f5]
0015a4f3lea rdi, [rip+0x18c5be]
0015a4faadd rdi, 992
0015a501mov rbx, rsp
0015a504mov rsp, [r14+64]
0015a508call caml_initialize
0015a50dmov rsp, rbx
0015a510lea rsi, [rip+0x18b9e9]
0015a517lea rdi, [rip+0x18c59a]
0015a51eadd rdi, 1000
0015a525mov rbx, rsp
0015a528mov rsp, [r14+64]
0015a52ccall caml_initialize
0015a531mov rsp, rbx
0015a534lea rsi, [rip+0x18b9dd]
0015a53blea rdi, [rip+0x18c576]
0015a542add rdi, 40
0015a546mov rbx, rsp
0015a549mov rsp, [r14+64]
0015a54dcall caml_initialize
0015a552mov rsp, rbx
0015a555lea rsi, [rip+0x18b9d4]
0015a55clea rdi, [rip+0x18c555]
0015a563add rdi, 48
0015a567mov rbx, rsp
0015a56amov rsp, [r14+64]
0015a56ecall caml_initialize
0015a573mov rsp, rbx
0015a576lea rsi, [rip+0x18b9cb]
0015a57dlea rdi, [rip+0x18c534]
0015a584add rdi, 56
0015a588mov rbx, rsp
0015a58bmov rsp, [r14+64]
0015a58fcall caml_initialize
0015a594mov rsp, rbx
0015a597lea rsi, [rip+0x18b9c2]
0015a59elea rdi, [rip+0x18c513]
0015a5a5add rdi, 64
0015a5a9mov rbx, rsp
0015a5acmov rsp, [r14+64]
0015a5b0call caml_initialize
0015a5b5mov rsp, rbx
0015a5b8lea rsi, [rip+0x18b9b9]
0015a5bflea rdi, [rip+0x18c4f2]
0015a5c6add rdi, 1008
0015a5cdmov rbx, rsp
0015a5d0mov rsp, [r14+64]
0015a5d4call caml_initialize
0015a5d9mov rsp, rbx
0015a5dclea rsi, [rip+0x18b9ad]
0015a5e3lea rdi, [rip+0x18c4ce]
0015a5eaadd rdi, 1016
0015a5f1mov rbx, rsp
0015a5f4mov rsp, [r14+64]
0015a5f8call caml_initialize
0015a5fdmov rsp, rbx
0015a600lea rsi, [rip+0x18b9a1]
0015a607lea rdi, [rip+0x18c4aa]
0015a60eadd rdi, 80
0015a612mov rbx, rsp
0015a615mov rsp, [r14+64]
0015a619call caml_initialize
0015a61emov rsp, rbx
0015a621lea rsi, [rip+0x18b998]
0015a628lea rdi, [rip+0x18c489]
0015a62fadd rdi, 72
0015a633mov rbx, rsp
0015a636mov rsp, [r14+64]
0015a63acall caml_initialize
0015a63fmov rsp, rbx
0015a642lea rsi, [rip+0x18b98f]
0015a649lea rdi, [rip+0x18c468]
0015a650add rdi, 1024
0015a657mov rbx, rsp
0015a65amov rsp, [r14+64]
0015a65ecall caml_initialize
0015a663mov rsp, rbx
0015a666lea rsi, [rip+0x18b99b]
0015a66dlea r12, [rip+0x18b97c]
0015a674lea rdi, [rip+0x18c43d]
0015a67badd rdi, 104
0015a67fmov rbx, rsp
0015a682mov rsp, [r14+64]
0015a686call caml_initialize
0015a68bmov rsp, rbx
0015a68elea rdi, [rip+0x18c423]
0015a695add rdi, 96
0015a699mov rsi, r12
0015a69cmov rbx, rsp
0015a69fmov rsp, [r14+64]
0015a6a3call caml_initialize
0015a6a8mov rsp, rbx
0015a6ablea rsi, [rip+0x18b996]
0015a6b2lea rdi, [rip+0x18c3ff]
0015a6b9add rdi, 112
0015a6bdmov rbx, rsp
0015a6c0mov rsp, [r14+64]
0015a6c4call caml_initialize
0015a6c9mov rsp, rbx
0015a6cclea rsi, [rip+0x18b98d]
0015a6d3lea rdi, [rip+0x18c3de]
0015a6daadd rdi, 88
0015a6demov rbx, rsp
0015a6e1mov rsp, [r14+64]
0015a6e5call caml_initialize
0015a6eamov rsp, rbx
0015a6edlea rsi, [rip+0x18b984]
0015a6f4lea rdi, [rip+0x18c3bd]
0015a6fbadd rdi, 1032
0015a702mov rbx, rsp
0015a705mov rsp, [r14+64]
0015a709call caml_initialize
0015a70emov rsp, rbx
0015a711lea rsi, [rip+0x18b978]
0015a718lea rdi, [rip+0x18c399]
0015a71fadd rdi, 1040
0015a726mov rbx, rsp
0015a729mov rsp, [r14+64]
0015a72dcall caml_initialize
0015a732mov rsp, rbx
0015a735lea rsi, [rip+0x18b96c]
0015a73clea rdi, [rip+0x18c375]
0015a743add rdi, 1048
0015a74amov rbx, rsp
0015a74dmov rsp, [r14+64]
0015a751call caml_initialize
0015a756mov rsp, rbx
0015a759lea rsi, [rip+0x18b960]
0015a760lea rdi, [rip+0x18c351]
0015a767add rdi, 1056
0015a76emov rbx, rsp
0015a771mov rsp, [r14+64]
0015a775call caml_initialize
0015a77amov rsp, rbx
0015a77dlea rsi, [rip+0x18b95c]
0015a784lea rdi, [rip+0x18c32d]
0015a78badd rdi, 1064
0015a792mov rbx, rsp
0015a795mov rsp, [r14+64]
0015a799call caml_initialize
0015a79emov rsp, rbx
0015a7a1lea rsi, [rip+0x18b950]
0015a7a8lea rdi, [rip+0x18c309]
0015a7afadd rdi, 120
0015a7b3mov rbx, rsp
0015a7b6mov rsp, [r14+64]
0015a7bacall caml_initialize
0015a7bfmov rsp, rbx
0015a7c2lea rsi, [rip+0x18b96f]
0015a7c9lea rdi, [rip+0x18c2e8]
0015a7d0add rdi, 1072
0015a7d7mov rbx, rsp
0015a7damov rsp, [r14+64]
0015a7decall caml_initialize
0015a7e3mov rsp, rbx
0015a7e6lea rsi, [rip+0x18b963]
0015a7edlea rdi, [rip+0x18c2c4]
0015a7f4add rdi, 136
0015a7fbmov rbx, rsp
0015a7femov rsp, [r14+64]
0015a802call caml_initialize
0015a807mov rsp, rbx
0015a80alea rsi, [rip+0x18b95f]
0015a811lea rdi, [rip+0x18c2a0]
0015a818add rdi, 1080
0015a81fmov rbx, rsp
0015a822mov rsp, [r14+64]
0015a826call caml_initialize
0015a82bmov rsp, rbx
0015a82elea rsi, [rip+0x18b953]
0015a835lea rdi, [rip+0x18c27c]
0015a83cadd rdi, 128
0015a843mov rbx, rsp
0015a846mov rsp, [r14+64]
0015a84acall caml_initialize
0015a84fmov rsp, rbx
0015a852lea rsi, [rip+0x18b947]
0015a859lea rdi, [rip+0x18c258]
0015a860add rdi, 144
0015a867mov rbx, rsp
0015a86amov rsp, [r14+64]
0015a86ecall caml_initialize
0015a873mov rsp, rbx
0015a876lea rsi, [rip+0x18b95b]
0015a87dlea r12, [rip+0x18b934]
0015a884lea rdi, [rip+0x18c22d]
0015a88badd rdi, 152
0015a892mov rbx, rsp
0015a895mov rsp, [r14+64]
0015a899call caml_initialize
0015a89emov rsp, rbx
0015a8a1lea rdi, [rip+0x18c210]
0015a8a8add rdi, 160
0015a8afmov rsi, r12
0015a8b2mov rbx, rsp
0015a8b5mov rsp, [r14+64]
0015a8b9call caml_initialize
0015a8bemov rsp, rbx
0015a8c1lea rsi, [rip+0x18b930]
0015a8c8lea rdi, [rip+0x18c1e9]
0015a8cfadd rdi, 288
0015a8d6mov rbx, rsp
0015a8d9mov rsp, [r14+64]
0015a8ddcall caml_initialize
0015a8e2mov rsp, rbx
0015a8e5lea rsi, [rip+0x18b924]
0015a8eclea rdi, [rip+0x18c1c5]
0015a8f3add rdi, 1088
0015a8famov rbx, rsp
0015a8fdmov rsp, [r14+64]
0015a901call caml_initialize
0015a906mov rsp, rbx
0015a909lea rsi, [rip+0x18b930]
0015a910lea r12, [rip+0x18b911]
0015a917lea rdi, [rip+0x18c19a]
0015a91eadd rdi, 296
0015a925mov rbx, rsp
0015a928mov rsp, [r14+64]
0015a92ccall caml_initialize
0015a931mov rsp, rbx
0015a934lea rdi, [rip+0x18c17d]
0015a93badd rdi, 304
0015a942mov rsi, r12
0015a945mov rbx, rsp
0015a948mov rsp, [r14+64]
0015a94ccall caml_initialize
0015a951mov rsp, rbx
0015a954lea rsi, [rip+0x18b8fd]
0015a95blea rdi, [rip+0x18c156]
0015a962add rdi, 312
0015a969mov rbx, rsp
0015a96cmov rsp, [r14+64]
0015a970call caml_initialize
0015a975mov rsp, rbx
0015a978lea rsi, [rip+0x18b8f9]
0015a97flea rdi, [rip+0x18c132]
0015a986add rdi, 320
0015a98dmov rbx, rsp
0015a990mov rsp, [r14+64]
0015a994call caml_initialize
0015a999mov rsp, rbx
0015a99clea rsi, [rip+0x18b8ed]
0015a9a3lea rdi, [rip+0x18c10e]
0015a9aaadd rdi, 416
0015a9b1mov rbx, rsp
0015a9b4mov rsp, [r14+64]
0015a9b8call caml_initialize
0015a9bdmov rsp, rbx
0015a9c0lea rsi, [rip+0x18b8e1]
0015a9c7lea rdi, [rip+0x18c0ea]
0015a9ceadd rdi, 328
0015a9d5mov rbx, rsp
0015a9d8mov rsp, [r14+64]
0015a9dccall caml_initialize
0015a9e1mov rsp, rbx
0015a9e4lea rsi, [rip+0x18b8d5]
0015a9eblea rdi, [rip+0x18c0c6]
0015a9f2add rdi, 336
0015a9f9mov rbx, rsp
0015a9fcmov rsp, [r14+64]
0015aa00call caml_initialize
0015aa05mov rsp, rbx
0015aa08lea rsi, [rip+0x18b8c9]
0015aa0flea rdi, [rip+0x18c0a2]
0015aa16add rdi, 344
0015aa1dmov rbx, rsp
0015aa20mov rsp, [r14+64]
0015aa24call caml_initialize
0015aa29mov rsp, rbx
0015aa2clea rsi, [rip+0x18b8bd]
0015aa33lea rdi, [rip+0x18c07e]
0015aa3aadd rdi, 352
0015aa41mov rbx, rsp
0015aa44mov rsp, [r14+64]
0015aa48call caml_initialize
0015aa4dmov rsp, rbx
0015aa50lea rsi, [rip+0x18b8b1]
0015aa57lea rdi, [rip+0x18c05a]
0015aa5eadd rdi, 360
0015aa65mov rbx, rsp
0015aa68mov rsp, [r14+64]
0015aa6ccall caml_initialize
0015aa71mov rsp, rbx
0015aa74lea rsi, [rip+0x18b8a5]
0015aa7blea rdi, [rip+0x18c036]
0015aa82add rdi, 368
0015aa89mov rbx, rsp
0015aa8cmov rsp, [r14+64]
0015aa90call caml_initialize
0015aa95mov rsp, rbx
0015aa98lea rsi, [rip+0x18b899]
0015aa9flea rdi, [rip+0x18c012]
0015aaa6add rdi, 376
0015aaadmov rbx, rsp
0015aab0mov rsp, [r14+64]
0015aab4call caml_initialize
0015aab9mov rsp, rbx
0015aabclea rsi, [rip+0x18b88d]
0015aac3lea rdi, [rip+0x18bfee]
0015aacaadd rdi, 384
0015aad1mov rbx, rsp
0015aad4mov rsp, [r14+64]
0015aad8call caml_initialize
0015aaddmov rsp, rbx
0015aae0lea rsi, [rip+0x18b881]
0015aae7lea rdi, [rip+0x18bfca]
0015aaeeadd rdi, 392
0015aaf5mov rbx, rsp
0015aaf8mov rsp, [r14+64]
0015aafccall caml_initialize
0015ab01mov rsp, rbx
0015ab04lea rsi, [rip+0x18b875]
0015ab0blea rdi, [rip+0x18bfa6]
0015ab12add rdi, 400
0015ab19mov rbx, rsp
0015ab1cmov rsp, [r14+64]
0015ab20call caml_initialize
0015ab25mov rsp, rbx
0015ab28lea rsi, [rip+0x18b869]
0015ab2flea rdi, [rip+0x18bf82]
0015ab36add rdi, 408
0015ab3dmov rbx, rsp
0015ab40mov rsp, [r14+64]
0015ab44call caml_initialize
0015ab49mov rsp, rbx
0015ab4clea rsi, [rip+0x18b85d]
0015ab53lea rdi, [rip+0x18bf5e]
0015ab5aadd rdi, 424
0015ab61mov rbx, rsp
0015ab64mov rsp, [r14+64]
0015ab68call caml_initialize
0015ab6dmov rsp, rbx
0015ab70lea rsi, [rip+0x18b851]
0015ab77lea rdi, [rip+0x18bf3a]
0015ab7eadd rdi, 432
0015ab85mov rbx, rsp
0015ab88mov rsp, [r14+64]
0015ab8ccall caml_initialize
0015ab91mov rsp, rbx
0015ab94lea rsi, [rip+0x18b845]
0015ab9blea rdi, [rip+0x18bf16]
0015aba2add rdi, 440
0015aba9mov rbx, rsp
0015abacmov rsp, [r14+64]
0015abb0call caml_initialize
0015abb5mov rsp, rbx
0015abb8lea rsi, [rip+0x18b839]
0015abbflea rdi, [rip+0x18bef2]
0015abc6add rdi, 464
0015abcdmov rbx, rsp
0015abd0mov rsp, [r14+64]
0015abd4call caml_initialize
0015abd9mov rsp, rbx
0015abdclea rsi, [rip+0x18b82d]
0015abe3lea rdi, [rip+0x18bece]
0015abeaadd rdi, 456
0015abf1mov rbx, rsp
0015abf4mov rsp, [r14+64]
0015abf8call caml_initialize
0015abfdmov rsp, rbx
0015ac00lea rsi, [rip+0x18b821]
0015ac07lea rdi, [rip+0x18beaa]
0015ac0eadd rdi, 472
0015ac15mov rbx, rsp
0015ac18mov rsp, [r14+64]
0015ac1ccall caml_initialize
0015ac21mov rsp, rbx
0015ac24lea rsi, [rip+0x18b815]
0015ac2blea rdi, [rip+0x18be86]
0015ac32add rdi, 480
0015ac39mov rbx, rsp
0015ac3cmov rsp, [r14+64]
0015ac40call caml_initialize
0015ac45mov rsp, rbx
0015ac48lea rsi, [rip+0x18b811]
0015ac4flea rdi, [rip+0x18be62]
0015ac56add rdi, 488
0015ac5dmov rbx, rsp
0015ac60mov rsp, [r14+64]
0015ac64call caml_initialize
0015ac69mov rsp, rbx
0015ac6clea rsi, [rip+0x18b805]
0015ac73lea rdi, [rip+0x18be3e]
0015ac7aadd rdi, 496
0015ac81mov rbx, rsp
0015ac84mov rsp, [r14+64]
0015ac88call caml_initialize
0015ac8dmov rsp, rbx
0015ac90lea rsi, [rip+0x18b7f9]
0015ac97lea rdi, [rip+0x18be1a]
0015ac9eadd rdi, 504
0015aca5mov rbx, rsp
0015aca8mov rsp, [r14+64]
0015acaccall caml_initialize
0015acb1mov rsp, rbx
0015acb4lea rsi, [rip+0x18b7ed]
0015acbblea rdi, [rip+0x18bdf6]
0015acc2add rdi, 1096
0015acc9mov rbx, rsp
0015acccmov rsp, [r14+64]
0015acd0call caml_initialize
0015acd5mov rsp, rbx
0015acd8lea rsi, [rip+0x18b7e9]
0015acdflea rdi, [rip+0x18bdd2]
0015ace6add rdi, 1104
0015acedmov rbx, rsp
0015acf0mov rsp, [r14+64]
0015acf4call caml_initialize
0015acf9mov rsp, rbx
0015acfcsub r15, 112
0015ad00call caml_allocN
0015ad05lea rax, [r15+8]
0015ad09add rax, 16
0015ad0dmov [rax-8], 11264
0015ad15mov [rax], 3
0015ad1cmov [rax+8], 1
0015ad24mov [rax+16], 1
0015ad2cmov [rax+24], 1
0015ad34mov [rax+32], 3
0015ad3cmov [rax+40], 3
0015ad44lea rbx, [rip+0x18cded]
0015ad4bmov [rax+48], rbx
0015ad4fmov [rax+56], rbx
0015ad53mov [rax+64], rbx
0015ad57mov [rax+72], 1
0015ad5fmov [rax+80], 1
0015ad67lea rsi, [rax-16]
0015ad6bmov [rsi-8], 1024
0015ad73mov [rsi], rax
0015ad76lea rdi, [rip+0x18bd3b]
0015ad7dadd rdi, 1112
0015ad84mov rbx, rsp
0015ad87mov rsp, [r14+64]
0015ad8bcall caml_initialize
0015ad90mov rsp, rbx
0015ad93lea rax, [rip+0x18bd1e]
0015ad9amov rax, [rax+1112]
0015ada1mov rax, [rax]
0015ada4call camlTable.create_275
0015ada9sub r15, 56
0015adadcall caml_allocN
0015adb2lea rbx, [r15+8]
0015adb6add rbx, 40
0015adbamov [rbx-8], 1024
0015adc2mov [rbx], rax
0015adc5lea rax, [rbx-24]
0015adc9mov [rax-8], 2048
0015add1mov [rax], 1
0015add8mov [rax+8], rbx
0015addclea rsi, [rax-16]
0015ade0mov [rsi-8], 1024
0015ade8mov [rsi], rax
0015adeblea rdi, [rip+0x18bcc6]
0015adf2add rdi, 1120
0015adf9mov rbx, rsp
0015adfcmov rsp, [r14+64]
0015ae00call caml_initialize
0015ae05mov rsp, rbx
0015ae08lea rax, [rip+0x18bca9]
0015ae0fmov rax, [rax+1112]
0015ae16mov rsi, [rax]
0015ae19mov edi, 1
0015ae1elea rax, [rip+0x9ee7b]
0015ae25call caml_c_call
0015ae2asub r15, 40
0015ae2ecall caml_allocN
0015ae33lea rbx, [r15+8]
0015ae37add rbx, 24
0015ae3bmov [rbx-8], 1025
0015ae43mov [rbx], rax
0015ae46lea rax, [rbx-24]
0015ae4amov [rax-8], 2048
0015ae52mov [rax], 1
0015ae59mov [rax+8], rbx
0015ae5dcall camlTable.create_275
0015ae62mov [rsp+8], rax
0015ae67mov esi, 1
0015ae6cmov edi, 1
0015ae71lea rax, [rip+0x9ee28]
0015ae78call caml_c_call
0015ae7dmov [rsp], rax
0015ae81mov eax, 1
0015ae86call camlTable.create_275
0015ae8bsub r15, 96
0015ae8fcall caml_allocN
0015ae94lea rbx, [r15+8]
0015ae98add rbx, 16
0015ae9cmov [rbx-8], 9216
0015aea4mov [rbx], 1
0015aeabmov [rbx+8], 1
0015aeb3mov [rbx+16], 1
0015aebbmov [rbx+24], rax
0015aebfmov rax, [rsp]
0015aec3mov [rbx+32], rax
0015aec7mov rax, [rsp+8]
0015aeccmov [rbx+40], rax
0015aed0mov [rbx+48], 1
0015aed8mov [rbx+56], 1
0015aee0mov [rbx+64], 1
0015aee8lea rsi, [rbx-16]
0015aeecmov [rsi-8], 1024
0015aef4mov [rsi], rbx
0015aef7lea rdi, [rip+0x18bbba]
0015aefeadd rdi, 1128
0015af05mov rbx, rsp
0015af08mov rsp, [r14+64]
0015af0ccall caml_initialize
0015af11mov rsp, rbx
0015af14call caml_alloc3
0015af19lea rsi, [r15+8]
0015af1dmov [rsi-8], 3072
0015af25mov [rsi], 1
0015af2clea rax, [rip+0x18d51d]
0015af33mov [rsi+8], rax
0015af37mov [rsi+16], 1
0015af3flea rdi, [rip+0x18bb72]
0015af46add rdi, 1136
0015af4dmov rbx, rsp
0015af50mov rsp, [r14+64]
0015af54call caml_initialize
0015af59mov rsp, rbx
0015af5ccall caml_alloc3
0015af61lea rsi, [r15+8]
0015af65mov [rsi-8], 3072
0015af6dmov [rsi], 1
0015af74lea rax, [rip+0x18d4bd]
0015af7bmov [rsi+8], rax
0015af7fmov [rsi+16], 1
0015af87lea rdi, [rip+0x18bb2a]
0015af8eadd rdi, 1144
0015af95mov rbx, rsp
0015af98mov rsp, [r14+64]
0015af9ccall caml_initialize
0015afa1mov rsp, rbx
0015afa4call caml_alloc3
0015afa9lea rsi, [r15+8]
0015afadmov [rsi-8], 3072
0015afb5mov [rsi], 1
0015afbclea rax, [rip+0x18d45d]
0015afc3mov [rsi+8], rax
0015afc7mov [rsi+16], 1
0015afcflea rdi, [rip+0x18bae2]
0015afd6add rdi, 1152
0015afddmov rbx, rsp
0015afe0mov rsp, [r14+64]
0015afe4call caml_initialize
0015afe9mov rsp, rbx
0015afecsub r15, 48
0015aff0call caml_allocN
0015aff5lea rsi, [r15+8]
0015aff9add rsi, 32
0015affdmov [rsi-8], 1024
0015b005mov [rsi], 1
0015b00clea r12, [rsi-32]
0015b010mov [r12-8], 3072
0015b019mov [r12], 1
0015b021lea rax, [rip+0x18d3e0]
0015b028mov [r12+8], rax
0015b02dmov [r12+16], 1
0015b036lea rdi, [rip+0x18ba7b]
0015b03dadd rdi, 1160
0015b044mov rbx, rsp
0015b047mov rsp, [r14+64]
0015b04bcall caml_initialize
0015b050mov rsp, rbx
0015b053lea rdi, [rip+0x18ba5e]
0015b05aadd rdi, 1168
0015b061mov rsi, r12
0015b064mov rbx, rsp
0015b067mov rsp, [r14+64]
0015b06bcall caml_initialize
0015b070mov rsp, rbx
0015b073lea rsi, [rip+0x18b46e]
0015b07alea rdi, [rip+0x18ba37]
0015b081add rdi, 512
0015b088mov rbx, rsp
0015b08bmov rsp, [r14+64]
0015b08fcall caml_initialize
0015b094mov rsp, rbx
0015b097lea rsi, [rip+0x18b46a]
0015b09elea rdi, [rip+0x18ba13]
0015b0a5add rdi, 1176
0015b0acmov rbx, rsp
0015b0afmov rsp, [r14+64]
0015b0b3call caml_initialize
0015b0b8mov rsp, rbx
0015b0bblea rsi, [rip+0x18b45e]
0015b0c2lea rdi, [rip+0x18b9ef]
0015b0c9add rdi, 520
0015b0d0mov rbx, rsp
0015b0d3mov rsp, [r14+64]
0015b0d7call caml_initialize
0015b0dcmov rsp, rbx
0015b0dflea rsi, [rip+0x18b452]
0015b0e6lea rdi, [rip+0x18b9cb]
0015b0edadd rdi, 1184
0015b0f4mov rbx, rsp
0015b0f7mov rsp, [r14+64]
0015b0fbcall caml_initialize
0015b100mov rsp, rbx
0015b103lea rsi, [rip+0x18b446]
0015b10alea rdi, [rip+0x18b9a7]
0015b111add rdi, 528
0015b118mov rbx, rsp
0015b11bmov rsp, [r14+64]
0015b11fcall caml_initialize
0015b124mov rsp, rbx
0015b127lea rsi, [rip+0x18b442]
0015b12elea rdi, [rip+0x18b983]
0015b135add rdi, 552
0015b13cmov rbx, rsp
0015b13fmov rsp, [r14+64]
0015b143call caml_initialize
0015b148mov rsp, rbx
0015b14blea rsi, [rip+0x18b436]
0015b152lea rdi, [rip+0x18b95f]
0015b159add rdi, 544
0015b160mov rbx, rsp
0015b163mov rsp, [r14+64]
0015b167call caml_initialize
0015b16cmov rsp, rbx
0015b16flea rsi, [rip+0x18b45a]
0015b176lea r12, [rip+0x18b43b]
0015b17dlea r13, [rip+0x18b41c]
0015b184lea rdi, [rip+0x18b92d]
0015b18badd rdi, 560
0015b192mov rbx, rsp
0015b195mov rsp, [r14+64]
0015b199call caml_initialize
0015b19emov rsp, rbx
0015b1a1lea rdi, [rip+0x18b910]
0015b1a8add rdi, 568
0015b1afmov rsi, r12
0015b1b2mov rbx, rsp
0015b1b5mov rsp, [r14+64]
0015b1b9call caml_initialize
0015b1bemov rsp, rbx
0015b1c1lea rdi, [rip+0x18b8f0]
0015b1c8add rdi, 576
0015b1cfmov rsi, r13
0015b1d2mov rbx, rsp
0015b1d5mov rsp, [r14+64]
0015b1d9call caml_initialize
0015b1demov rsp, rbx
0015b1e1lea rsi, [rip+0x18b400]
0015b1e8lea rdi, [rip+0x18b8c9]
0015b1efadd rdi, 536
0015b1f6mov rbx, rsp
0015b1f9mov rsp, [r14+64]
0015b1fdcall caml_initialize
0015b202mov rsp, rbx
0015b205lea rsi, [rip+0x18b40c]
0015b20clea r12, [rip+0x18b3ed]
0015b213lea rdi, [rip+0x18b89e]
0015b21aadd rdi, 592
0015b221mov rbx, rsp
0015b224mov rsp, [r14+64]
0015b228call caml_initialize
0015b22dmov rsp, rbx
0015b230lea rdi, [rip+0x18b881]
0015b237add rdi, 584
0015b23emov rsi, r12
0015b241mov rbx, rsp
0015b244mov rsp, [r14+64]
0015b248call caml_initialize
0015b24dmov rsp, rbx
0015b250sub r15, 72
0015b254call caml_allocN
0015b259lea rax, [r15+8]
0015b25dadd rax, 16
0015b261mov [rax-8], 6144
0015b269lea rbx, [rip+0x18cd10]
0015b270mov [rax], rbx
0015b273lea rbx, [rip+0x18ccf6]
0015b27amov [rax+8], rbx
0015b27emov [rax+16], 1
0015b286lea rbx, [rip+0x18c8ab]
0015b28dmov [rax+24], rbx
0015b291mov [rax+32], rbx
0015b295mov [rax+40], 1
0015b29dlea rsi, [rax-16]
0015b2a1mov [rsi-8], 1024
0015b2a9mov [rsi], rax
0015b2aclea rdi, [rip+0x18b805]
0015b2b3add rdi, 1192
0015b2bamov rbx, rsp
0015b2bdmov rsp, [r14+64]
0015b2c1call caml_initialize
0015b2c6mov rsp, rbx
0015b2c9lea rsi, [rip+0x18b360]
0015b2d0lea rdi, [rip+0x18b7e1]
0015b2d7add rdi, 608
0015b2demov rbx, rsp
0015b2e1mov rsp, [r14+64]
0015b2e5call caml_initialize
0015b2eamov rsp, rbx
0015b2edlea rsi, [rip+0x18b354]
0015b2f4lea rdi, [rip+0x18b7bd]
0015b2fbadd rdi, 616
0015b302mov rbx, rsp
0015b305mov rsp, [r14+64]
0015b309call caml_initialize
0015b30emov rsp, rbx
0015b311lea rsi, [rip+0x18b350]
0015b318lea rdi, [rip+0x18b799]
0015b31fadd rdi, 624
0015b326mov rbx, rsp
0015b329mov rsp, [r14+64]
0015b32dcall caml_initialize
0015b332mov rsp, rbx
0015b335lea rsi, [rip+0x18b34c]
0015b33clea rdi, [rip+0x18b775]
0015b343add rdi, 1200
0015b34amov rbx, rsp
0015b34dmov rsp, [r14+64]
0015b351call caml_initialize
0015b356mov rsp, rbx
0015b359lea rsi, [rip+0x18b348]
0015b360lea rdi, [rip+0x18b751]
0015b367add rdi, 1208
0015b36emov rbx, rsp
0015b371mov rsp, [r14+64]
0015b375call caml_initialize
0015b37amov rsp, rbx
0015b37dlea rsi, [rip+0x18b344]
0015b384lea rdi, [rip+0x18b72d]
0015b38badd rdi, 1216
0015b392mov rbx, rsp
0015b395mov rsp, [r14+64]
0015b399call caml_initialize
0015b39emov rsp, rbx
0015b3a1lea rsi, [rip+0x18b340]
0015b3a8lea rdi, [rip+0x18b709]
0015b3afadd rdi, 1224
0015b3b6mov rbx, rsp
0015b3b9mov rsp, [r14+64]
0015b3bdcall caml_initialize
0015b3c2mov rsp, rbx
0015b3c5lea rsi, [rip+0x18b33c]
0015b3cclea rdi, [rip+0x18b6e5]
0015b3d3add rdi, 1232
0015b3damov rbx, rsp
0015b3ddmov rsp, [r14+64]
0015b3e1call caml_initialize
0015b3e6mov rsp, rbx
0015b3e9lea rsi, [rip+0x18b338]
0015b3f0lea rdi, [rip+0x18b6c1]
0015b3f7add rdi, 1240
0015b3femov rbx, rsp
0015b401mov rsp, [r14+64]
0015b405call caml_initialize
0015b40amov rsp, rbx
0015b40dlea rsi, [rip+0x18b32c]
0015b414lea rdi, [rip+0x18b69d]
0015b41badd rdi, 600
0015b422mov rbx, rsp
0015b425mov rsp, [r14+64]
0015b429call caml_initialize
0015b42emov rsp, rbx
0015b431lea rsi, [rip+0x18b320]
0015b438lea rdi, [rip+0x18b679]
0015b43fadd rdi, 632
0015b446mov rbx, rsp
0015b449mov rsp, [r14+64]
0015b44dcall caml_initialize
0015b452mov rsp, rbx
0015b455lea rsi, [rip+0x18b334]
0015b45clea r12, [rip+0x18b30d]
0015b463lea rdi, [rip+0x18b64e]
0015b46aadd rdi, 640
0015b471mov rbx, rsp
0015b474mov rsp, [r14+64]
0015b478call caml_initialize
0015b47dmov rsp, rbx
0015b480lea rdi, [rip+0x18b631]
0015b487add rdi, 648
0015b48emov rsi, r12
0015b491mov rbx, rsp
0015b494mov rsp, [r14+64]
0015b498call caml_initialize
0015b49dmov rsp, rbx
0015b4a0lea rsi, [rip+0x18b309]
0015b4a7lea rdi, [rip+0x18b60a]
0015b4aeadd rdi, 32
0015b4b2mov rbx, rsp
0015b4b5mov rsp, [r14+64]
0015b4b9call caml_initialize
0015b4bemov rsp, rbx
0015b4c1lea rsi, [rip+0x18b300]
0015b4c8lea rdi, [rip+0x18b5e9]
0015b4cfadd rdi, 656
0015b4d6mov rbx, rsp
0015b4d9mov rsp, [r14+64]
0015b4ddcall caml_initialize
0015b4e2mov rsp, rbx
0015b4e5lea rsi, [rip+0x18b2fc]
0015b4eclea rdi, [rip+0x18b5c5]
0015b4f3add rdi, 448
0015b4famov rbx, rsp
0015b4fdmov rsp, [r14+64]
0015b501call caml_initialize
0015b506mov rsp, rbx
0015b509sub r15, 72
0015b50dcall caml_allocN
0015b512lea rax, [r15+8]
0015b516add rax, 16
0015b51amov [rax-8], 6144
0015b522lea rbx, [rip+0x18ca57]
0015b529mov [rax], rbx
0015b52clea rbx, [rip+0x18c5dd]
0015b533mov [rax+8], rbx
0015b537mov [rax+16], 1
0015b53flea rbx, [rip+0x18c5f2]
0015b546mov [rax+24], rbx
0015b54amov [rax+32], rbx
0015b54emov [rax+40], 1
0015b556lea rsi, [rax-16]
0015b55amov [rsi-8], 1024
0015b562mov [rsi], rax
0015b565lea rdi, [rip+0x18b54c]
0015b56cadd rdi, 1248
0015b573mov rbx, rsp
0015b576mov rsp, [r14+64]
0015b57acall caml_initialize
0015b57fmov rsp, rbx
0015b582lea rsi, [rip+0x18b27f]
0015b589lea rdi, [rip+0x18b528]
0015b590add rdi, 1256
0015b597mov rbx, rsp
0015b59amov rsp, [r14+64]
0015b59ecall caml_initialize
0015b5a3mov rsp, rbx
0015b5a6lea rsi, [rip+0x18b273]
0015b5adlea rdi, [rip+0x18b504]
0015b5b4add rdi, 1264
0015b5bbmov rbx, rsp
0015b5bemov rsp, [r14+64]
0015b5c2call caml_initialize
0015b5c7mov rsp, rbx
0015b5calea rsi, [rip+0x18b267]
0015b5d1lea rdi, [rip+0x18b4e0]
0015b5d8add rdi, 1272
0015b5dfmov rbx, rsp
0015b5e2mov rsp, [r14+64]
0015b5e6call caml_initialize
0015b5ebmov rsp, rbx
0015b5eelea rsi, [rip+0x18b25b]
0015b5f5lea rdi, [rip+0x18b4bc]
0015b5fcadd rdi, 1280
0015b603mov rbx, rsp
0015b606mov rsp, [r14+64]
0015b60acall caml_initialize
0015b60fmov rsp, rbx
0015b612lea rsi, [rip+0x18b24f]
0015b619lea rdi, [rip+0x18b498]
0015b620add rdi, 192
0015b627mov rbx, rsp
0015b62amov rsp, [r14+64]
0015b62ecall caml_initialize
0015b633mov rsp, rbx
0015b636lea rsi, [rip+0x18b243]
0015b63dlea rdi, [rip+0x18b474]
0015b644add rdi, 184
0015b64bmov rbx, rsp
0015b64emov rsp, [r14+64]
0015b652call caml_initialize
0015b657mov rsp, rbx
0015b65alea rsi, [rip+0x18b237]
0015b661lea rdi, [rip+0x18b450]
0015b668add rdi, 200
0015b66fmov rbx, rsp
0015b672mov rsp, [r14+64]
0015b676call caml_initialize
0015b67bmov rsp, rbx
0015b67elea rsi, [rip+0x18b22b]
0015b685lea rdi, [rip+0x18b42c]
0015b68cadd rdi, 208
0015b693mov rbx, rsp
0015b696mov rsp, [r14+64]
0015b69acall caml_initialize
0015b69fmov rsp, rbx
0015b6a2lea rsi, [rip+0x18b21f]
0015b6a9lea rdi, [rip+0x18b408]
0015b6b0add rdi, 1288
0015b6b7mov rbx, rsp
0015b6bamov rsp, [r14+64]
0015b6becall caml_initialize
0015b6c3mov rsp, rbx
0015b6c6lea rsi, [rip+0x18b213]
0015b6cdlea rdi, [rip+0x18b3e4]
0015b6d4add rdi, 216
0015b6dbmov rbx, rsp
0015b6demov rsp, [r14+64]
0015b6e2call caml_initialize
0015b6e7mov rsp, rbx
0015b6ealea rsi, [rip+0x18b207]
0015b6f1lea rdi, [rip+0x18b3c0]
0015b6f8add rdi, 224
0015b6ffmov rbx, rsp
0015b702mov rsp, [r14+64]
0015b706call caml_initialize
0015b70bmov rsp, rbx
0015b70elea rsi, [rip+0x18b213]
0015b715lea r12, [rip+0x18b1f4]
0015b71clea rdi, [rip+0x18b395]
0015b723add rdi, 168
0015b72amov rbx, rsp
0015b72dmov rsp, [r14+64]
0015b731call caml_initialize
0015b736mov rsp, rbx
0015b739lea rdi, [rip+0x18b378]
0015b740add rdi, 176
0015b747mov rsi, r12
0015b74amov rbx, rsp
0015b74dmov rsp, [r14+64]
0015b751call caml_initialize
0015b756mov rsp, rbx
0015b759lea rsi, [rip+0x18b228]
0015b760lea r12, [rip+0x18b209]
0015b767lea r13, [rip+0x18b1ea]
0015b76elea rbp, [rip+0x18b1cb]
0015b775lea rdi, [rip+0x18b33c]
0015b77cadd rdi, 1296
0015b783mov rbx, rsp
0015b786mov rsp, [r14+64]
0015b78acall caml_initialize
0015b78fmov rsp, rbx
0015b792lea rdi, [rip+0x18b31f]
0015b799add rdi, 1304
0015b7a0mov rsi, r12
0015b7a3mov rbx, rsp
0015b7a6mov rsp, [r14+64]
0015b7aacall caml_initialize
0015b7afmov rsp, rbx
0015b7b2lea rdi, [rip+0x18b2ff]
0015b7b9add rdi, 1312
0015b7c0mov rsi, r13
0015b7c3mov rbx, rsp
0015b7c6mov rsp, [r14+64]
0015b7cacall caml_initialize
0015b7cfmov rsp, rbx
0015b7d2lea rdi, [rip+0x18b2df]
0015b7d9add rdi, 1320
0015b7e0mov rsi, rbp
0015b7e3mov rbx, rsp
0015b7e6mov rsp, [r14+64]
0015b7eacall caml_initialize
0015b7efmov rsp, rbx
0015b7f2lea rsi, [rip+0x18b1a7]
0015b7f9lea rdi, [rip+0x18b2b8]
0015b800add rdi, 1328
0015b807mov rbx, rsp
0015b80amov rsp, [r14+64]
0015b80ecall caml_initialize
0015b813mov rsp, rbx
0015b816lea rsi, [rip+0x18b1db]
0015b81dlea r12, [rip+0x18b1b4]
0015b824lea r13, [rip+0x18b18d]
0015b82blea rdi, [rip+0x18b286]
0015b832add rdi, 232
0015b839mov rbx, rsp
0015b83cmov rsp, [r14+64]
0015b840call caml_initialize
0015b845mov rsp, rbx
0015b848lea rdi, [rip+0x18b269]
0015b84fadd rdi, 240
0015b856mov rsi, r12
0015b859mov rbx, rsp
0015b85cmov rsp, [r14+64]
0015b860call caml_initialize
0015b865mov rsp, rbx
0015b868lea rdi, [rip+0x18b249]
0015b86fadd rdi, 248
0015b876mov rsi, r13
0015b879mov rbx, rsp
0015b87cmov rsp, [r14+64]
0015b880call caml_initialize
0015b885mov rsp, rbx
0015b888lea rsi, [rip+0x18b189]
0015b88flea rdi, [rip+0x18b222]
0015b896add rdi, 1336
0015b89dmov rbx, rsp
0015b8a0mov rsp, [r14+64]
0015b8a4call caml_initialize
0015b8a9mov rsp, rbx
0015b8aclea rsi, [rip+0x18b17d]
0015b8b3lea rdi, [rip+0x18b1fe]
0015b8baadd rdi, 256
0015b8c1mov rbx, rsp
0015b8c4mov rsp, [r14+64]
0015b8c8call caml_initialize
0015b8cdmov rsp, rbx
0015b8d0lea rsi, [rip+0x18b171]
0015b8d7lea rdi, [rip+0x18b1da]
0015b8deadd rdi, 264
0015b8e5mov rbx, rsp
0015b8e8mov rsp, [r14+64]
0015b8eccall caml_initialize
0015b8f1mov rsp, rbx
0015b8f4lea rsi, [rip+0x18b165]
0015b8fblea rdi, [rip+0x18b1b6]
0015b902add rdi, 1344
0015b909mov rbx, rsp
0015b90cmov rsp, [r14+64]
0015b910call caml_initialize
0015b915mov rsp, rbx
0015b918lea rsi, [rip+0x18b159]
0015b91flea rdi, [rip+0x18b192]
0015b926add rdi, 272
0015b92dmov rbx, rsp
0015b930mov rsp, [r14+64]
0015b934call caml_initialize
0015b939mov rsp, rbx
0015b93clea rsi, [rip+0x18b155]
0015b943lea rdi, [rip+0x18b16e]
0015b94aadd rdi, 280
0015b951mov rbx, rsp
0015b954mov rsp, [r14+64]
0015b958call caml_initialize
0015b95dmov rsp, rbx
0015b960mov eax, 1
0015b965add rsp, 16
0015b969ret
0015b96a
0015b96aloc_15b96a:
0015b96apush 35
0015b96ccall caml_call_realloc_stack
0015b971pop r10
0015b973jmp 0x159a72
00159a60

0015b978
0015b978 // align 0x10

0015b980
0015b980camlTabular.tfone_566:
0015b980mov rdi, rbx
0015b983cmp r15, [r14]
0015b986jbe 0x15b996
0015b988
0015b988loc_15b988:
0015b988add rdi, 24
0015b98cmov ebx, 1
0015b991jmp 0x15b9a0
0015b996
0015b996loc_15b996:
0015b996call caml_call_gc
0015b99bjmp 0x15b988
0015b980

0015b99d
0015b99d // align 0x10

0015b9a0
0015b9a0Tabular..ocaml_lex_tfone_rec:
0015b9a0lea r10, [rsp-360]
0015b9a8cmp r10, [r14+40]
0015b9acjb 0x15bb5e
0015b9b2
0015b9b2loc_15b9b2:
0015b9b2sub rsp, 24
0015b9b6
0015b9b6loc_15b9b6:
0015b9b6mov rsi, rax
0015b9b9mov [rsp+8], rsi
0015b9bemov [rsp+16], rdi
0015b9c3cmp r15, [r14]
0015b9c6jbe 0x15bb54
0015b9cc
0015b9ccloc_15b9cc:
0015b9cclea rax, [rip+0x1937a5]
0015b9d3mov rdi, rsi
0015b9d6call Stdlib.Lexing.engine
0015b9dbcmp rax, 5
0015b9dfjbe 0x15ba04
0015b9e1mov [rsp], rax
0015b9e5mov rax, [rsp+8]
0015b9eamov rbx, [rax]
0015b9edmov rdi, [rbx]
0015b9f0call rdi
0015b9f2mov rax, [rsp+8]
0015b9f7mov rbx, [rsp]
0015b9fbmov rdi, [rsp+16]
0015ba00jmp 0x15b9b6
0015ba02nop
0015ba04
0015ba04loc_15ba04:
0015ba04sar rax, 1
0015ba07cmp rax, 1
0015ba0bje 0x15ba2c
0015ba0dja 0x15bb2c
0015ba13mov rdi, [rsp+16]
0015ba18add rdi, -24
0015ba1cadd rdi, 24
0015ba20mov ebx, 1
0015ba25mov rax, [rsp+8]
0015ba2ajmp 0x15b9b6
0015ba2c
0015ba2cloc_15ba2c:
0015ba2cmov rax, [rsp+8]
0015ba31call camlLexstate.save_arg_1030
0015ba36mov rbx, rax
0015ba39mov eax, 1
0015ba3ecall camlSubst.do_do_subst_this_697
0015ba43mov [rsp], rax
0015ba47mov rdi, [rsp+16]
0015ba4cadd rdi, -24
0015ba50add rdi, 24
0015ba54mov ebx, 1
0015ba59mov rax, [rsp+8]
0015ba5ecall Tabular..ocaml_lex_tfone_rec
0015ba63lea r11, [rip+94]
0015ba6apush r11
0015ba6cpush [r14+48]
0015ba70mov [r14+48], rsp
0015ba74sub r15, 32
0015ba78cmp r15, [r14]
0015ba7bjb 0x15bb4a
0015ba81
0015ba81loc_15ba81:
0015ba81lea rbx, [r15+8]
0015ba85mov [rbx-8], 3319
0015ba8dlea rax, [rip+4732]
0015ba94mov [rbx], rax
0015ba97mov rax, 0x100000000000005
0015baa1mov [rbx+8], rax
0015baa5mov rax, [rsp+16]
0015baaamov [rbx+16], rax
0015baaelea rax, [rip+0x19344b]
0015bab5mov rax, [rax+72]
0015bab9call camlTable.apply_341
0015babepop [r14+48]
0015bac2add rsp, 8
0015bac6jmp 0x15bb24
0015bac8lea rbx, [rip+0x194e51]
0015bacfmov rbx, [rbx]
0015bad2cmp rax, rbx
0015bad5jne 0x15bb14
0015bad7sub r15, 24
0015badbcmp r15, [r14]
0015badejb 0x15bb43
0015bae0
0015bae0loc_15bae0:
0015bae0lea rax, [r15+8]
0015bae4mov [rax-8], 2048
0015baeclea rbx, [rip+0x19340d]
0015baf3mov rbx, [rbx]
0015baf6mov [rax], rbx
0015baf9lea rbx, [rip+0x193628]
0015bb00mov [rax+8], rbx
0015bb04mov rsp, [r14+48]
0015bb08pop [r14+48]
0015bb0cpop r11
0015bb0ejmp r11
0015bb11nop [rax]
0015bb14
0015bb14loc_15bb14:
0015bb14mov rsp, [r14+48]
0015bb18pop [r14+48]
0015bb1cpop r11
0015bb1ejmp r11
0015bb21nop [rax]
0015bb24
0015bb24loc_15bb24:
0015bb24add rsp, 24
0015bb28ret
0015bb29nop [rax]
0015bb2c
0015bb2cloc_15bb2c:
0015bb2cmov rbx, [rsp+16]
0015bb31add rbx, 32
0015bb35mov rax, [rsp+8]
0015bb3aadd rsp, 24
0015bb3ejmp 0x15bb70
0015bb43
0015bb43loc_15bb43:
0015bb43call caml_call_gc
0015bb48jmp 0x15bae0
0015bb4a
0015bb4aloc_15bb4a:
0015bb4acall caml_call_gc
0015bb4fjmp 0x15ba81
0015bb54
0015bb54loc_15bb54:
0015bb54call caml_call_gc
0015bb59jmp 0x15b9cc
0015bb5e
0015bb5eloc_15bb5e:
0015bb5epush 38
0015bb60call caml_call_realloc_stack
0015bb65pop r10
0015bb67jmp 0x15b9b2
0015b9a0