Similarity

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

0015bb6c
0015bb6c // align 0x10

0015bb70
0015bb70camlTabular.tfmiddle_568:
0015bb70mov rdi, rbx
0015bb73cmp r15, [r14]
0015bb76jbe 0x15bb86
0015bb78
0015bb78loc_15bb78:
0015bb78add rdi, 24
0015bb7cmov ebx, 7
0015bb81jmp 0x15bb90
0015bb86
0015bb86loc_15bb86:
0015bb86call caml_call_gc
0015bb8bjmp 0x15bb78
0015bb70

0015bb8d
0015bb8d // align 0x10

0015bb90
0015bb90Tabular..ocaml_lex_tfmiddle_rec:
0015bb90lea r10, [rsp-376]
0015bb98cmp r10, [r14+40]
0015bb9cjb 0x15c136
0015bba2
0015bba2loc_15bba2:
0015bba2sub rsp, 40
0015bba6
0015bba6loc_15bba6:
0015bba6mov rsi, rax
0015bba9mov [rsp+16], rsi
0015bbaemov [rsp+32], rdi
0015bbb3cmp r15, [r14]
0015bbb6jbe 0x15c127
0015bbbc
0015bbbcloc_15bbbc:
0015bbbclea rax, [rip+0x1935b5]
0015bbc3mov rdi, rsi
0015bbc6call Stdlib.Lexing.engine
0015bbcbcmp rax, 15
0015bbcfjbe 0x15bbf4
0015bbd1mov [rsp], rax
0015bbd5mov rax, [rsp+16]
0015bbdamov rbx, [rax]
0015bbddmov rdi, [rbx]
0015bbe0call rdi
0015bbe2mov rax, [rsp+16]
0015bbe7mov rbx, [rsp]
0015bbebmov rdi, [rsp+32]
0015bbf0jmp 0x15bba6
0015bbf2nop
0015bbf4
0015bbf4loc_15bbf4:
0015bbf4sar rax, 1
0015bbf7lea rdx, [rip+0xcee4a]
0015bbfemovsxd rax, [rdx+4*rax]
0015bc02add rdx, rax
0015bc05jmp rdx
0015bc07nop
0015bc08mov rax, [rsp+16]
0015bc0dmov rbx, [rax+32]
0015bc11sar rbx, 1
0015bc14mov rdi, [rax+8]
0015bc18mov rsi, [rdi-8]
0015bc1cshr rsi, 10
0015bc20lea rsi, [8*rsi-1]
0015bc28movzx rdx, [rdi+rsi]
0015bc2dsub rsi, rdx
0015bc30cmp rsi, rbx
0015bc33jbe 0x15c131
0015bc39movzx rbx, [rdi+rbx]
0015bc3elea rbx, [rbx+rbx+1]
0015bc43mov [rsp], rbx
0015bc47mov rbx, [rsp+32]
0015bc4cadd rbx, 32
0015bc50call camlTabular.tfpostlude_570
0015bc55mov [rsp+16], rax
0015bc5amov rax, [rsp]
0015bc5ecall camlTabular.make_vert_473
0015bc63mov [rsp+8], rax
0015bc68mov rax, [rsp]
0015bc6ccall camlTabular.make_hor_472
0015bc71sub r15, 72
0015bc75cmp r15, [r14]
0015bc78jb 0x15c11d
0015bc7e
0015bc7eloc_15bc7e:
0015bc7elea rdi, [r15+8]
0015bc82add rdi, 16
0015bc86mov [rdi-8], 6144
0015bc8emov [rdi], rax
0015bc91mov rax, [rsp+8]
0015bc96mov [rdi+8], rax
0015bc9amov [rdi+16], 1
0015bca2lea rax, [rip+0x193b4f]
0015bca9mov [rdi+24], rax
0015bcadmov rax, [rsp+16]
0015bcb2mov [rdi+32], rax
0015bcb6mov [rdi+40], 1
0015bcbelea rbx, [rdi-16]
0015bcc2mov [rbx-8], 1024
0015bccamov [rbx], rdi
0015bccdlea rax, [rip+0x19322c]
0015bcd4mov rax, [rax+72]
0015bcd8add rsp, 40
0015bcdcjmp 0x15d550
0015bce1nop [rax]
0015bce4mov rax, [rsp+16]
0015bce9mov rbx, [rax+32]
0015bcedsar rbx, 1
0015bcf0mov rdi, [rax+8]
0015bcf4mov rsi, [rdi-8]
0015bcf8shr rsi, 10
0015bcfclea rsi, [8*rsi-1]
0015bd04movzx rdx, [rdi+rsi]
0015bd09sub rsi, rdx
0015bd0ccmp rsi, rbx
0015bd0fjbe 0x15c131
0015bd15movzx rbx, [rdi+rbx]
0015bd1alea rbx, [rbx+rbx+1]
0015bd1fmov [rsp], rbx
0015bd23call camlLexstate.save_arg_1030
0015bd28mov rbx, rax
0015bd2bmov eax, 1
0015bd30call camlSubst.do_do_subst_this_697
0015bd35call camlMyLexing.from_string_309
0015bd3acall camlLength.main_473
0015bd3fmov [rsp+24], rax
0015bd44mov rbx, [rsp+32]
0015bd49add rbx, 32
0015bd4dmov rax, [rsp+16]
0015bd52call camlTabular.tfpostlude_570
0015bd57mov [rsp+16], rax
0015bd5cmov rax, [rsp]
0015bd60call camlTabular.make_vert_473
0015bd65mov [rsp+8], rax
0015bd6amov rax, [rsp]
0015bd6ecall camlTabular.make_hor_472
0015bd73sub r15, 72
0015bd77cmp r15, [r14]
0015bd7ajb 0x15c113
0015bd80
0015bd80loc_15bd80:
0015bd80lea rdi, [r15+8]
0015bd84add rdi, 16
0015bd88mov [rdi-8], 6144
0015bd90mov [rdi], rax
0015bd93mov rax, [rsp+8]
0015bd98mov [rdi+8], rax
0015bd9cmov [rdi+16], 3
0015bda4lea rax, [rip+0x193a4d]
0015bdabmov [rdi+24], rax
0015bdafmov rax, [rsp+16]
0015bdb4mov [rdi+32], rax
0015bdb8mov rax, [rsp+24]
0015bdbdmov [rdi+40], rax
0015bdc1lea rbx, [rdi-16]
0015bdc5mov [rbx-8], 1024
0015bdcdmov [rbx], rdi
0015bdd0lea rax, [rip+0x193129]
0015bdd7mov rax, [rax+72]
0015bddbadd rsp, 40
0015bddfjmp 0x15d550
0015bde4mov rax, [rsp+16]
0015bde9mov rbx, [rax+32]
0015bdedmov rdi, [rax+40]
0015bdf1sub rdi, rbx
0015bdf4inc rdi
0015bdf7mov rax, [rax+8]
0015bdfbcall Stdlib.Bytes.sub
0015be00mov rbx, [rax-8]
0015be04shr rbx, 10
0015be08lea rbx, [8*rbx-1]
0015be10movzx rdi, [rax+rbx]
0015be15sub rbx, rdi
0015be18cmp rbx, 1
0015be1cjbe 0x15c131
0015be22movzx rax, [rax+1]
0015be27lea rbx, [rax+rax-97]
0015be2cmov rdi, [rsp+32]
0015be31add rdi, -24
0015be35lea rax, [rip+0x1bab64]
0015be3cmov rsi, [rax+656]
0015be43sub r15, 40
0015be47cmp r15, [r14]
0015be4ajb 0x15c109
0015be50
0015be50loc_15be50:
0015be50lea rax, [r15+8]
0015be54mov [rax-8], 4343
0015be5clea rdx, [rip+3933]
0015be63mov [rax], rdx
0015be66mov rdx, 0x100000000000005
0015be70mov [rax+8], rdx
0015be74mov [rax+16], rdi
0015be78mov [rax+24], rsi
0015be7cadd rsp, 40
0015be80jmp 0x17cec0
0015be85nop [rax]
0015be88mov rax, [rsp+16]
0015be8dmov rbx, [rax+32]
0015be91mov rdi, [rax+40]
0015be95sub rdi, rbx
0015be98inc rdi
0015be9bmov rax, [rax+8]
0015be9fcall Stdlib.Bytes.sub
0015bea4lea rbx, [rip+0x1ce43d]
0015beabcall camlStdlib.$5e_139
0015beb0mov rbx, rax
0015beb3lea rax, [rip+0x1ce43e]
0015bebacall camlStdlib.$5e_139
0015bebfmov [rsp], rax
0015bec3call camlLatexmacros.find_941
0015bec8mov [rsp+8], rax
0015becdmov rbx, [rax]
0015bed0mov rax, [rsp]
0015bed4mov rdi, [rsp+16]
0015bed9call camlLexstate.make_stack_1175
0015bedemov rdi, rax
0015bee1lea rax, [rip+0x1baab8]
0015bee8mov rax, [rax+728]
0015beefmov rbx, [rax]
0015bef2sub r15, 48
0015bef6cmp r15, [r14]
0015bef9jb 0x15c0ff
0015beff
0015beffloc_15beff:
0015befflea rax, [r15+8]
0015bf03mov [rax-8], 5367
0015bf0blea rsi, [rip+3774]
0015bf12mov [rax], rsi
0015bf15mov rsi, 0x100000000000005
0015bf1fmov [rax+8], rsi
0015bf23mov rsi, [rsp+32]
0015bf28add rsi, 88
0015bf2cmov [rax+16], rsi
0015bf30mov rsi, [rsp+16]
0015bf35mov [rax+24], rsi
0015bf39mov [rax+32], rbx
0015bf3dmov rbx, [rsp+8]
0015bf42mov rbx, [rbx+8]
0015bf46call camlLexstate.scan_body_856
0015bf4bmov rbx, [rsp+32]
0015bf50add rbx, 32
0015bf54mov rax, [rsp+16]
0015bf59call camlTabular.tfpostlude_570
0015bf5emov r12, rax
0015bf61lea rsi, [rip+0x193890]
0015bf68mov rdi, r12
0015bf6bmov rbx, rsp
0015bf6emov rsp, [r14+64]
0015bf72call caml_string_notequal
0015bf77mov rsp, rbx
0015bf7acmp rax, 1
0015bf7eje 0x15c04c
0015bf84lea r11, [rip+89]
0015bf8bpush r11
0015bf8dpush [r14+48]
0015bf91mov [r14+48], rsp
0015bf95sub r15, 32
0015bf99cmp r15, [r14]
0015bf9cjb 0x15c0f5
0015bfa2
0015bfa2loc_15bfa2:
0015bfa2lea rbx, [r15+8]
0015bfa6mov [rbx-8], 3319
0015bfaelea rax, [rip+3771]
0015bfb5mov [rbx], rax
0015bfb8mov rax, 0x100000000000005
0015bfc2mov [rbx+8], rax
0015bfc6mov [rbx+16], r12
0015bfcalea rax, [rip+0x192f2f]
0015bfd1mov rax, [rax+72]
0015bfd5call camlTable.apply_341
0015bfdapop [r14+48]
0015bfdeadd rsp, 8
0015bfe2jmp 0x15c044
0015bfe4lea rbx, [rip+0x194935]
0015bfebmov rbx, [rbx]
0015bfeecmp rax, rbx
0015bff1jne 0x15c034
0015bff3sub r15, 24
0015bff7cmp r15, [r14]
0015bffajb 0x15c0eb
0015c000
0015c000loc_15c000:
0015c000lea rax, [r15+8]
0015c004mov [rax-8], 2048
0015c00clea rbx, [rip+0x192eed]
0015c013mov rbx, [rbx]
0015c016mov [rax], rbx
0015c019lea rbx, [rip+0x193070]
0015c020mov [rax+8], rbx
0015c024mov rsp, [r14+48]
0015c028pop [r14+48]
0015c02cpop r11
0015c02ejmp r11
0015c031nop [rax]
0015c034
0015c034loc_15c034:
0015c034mov rsp, [r14+48]
0015c038pop [r14+48]
0015c03cpop r11
0015c03ejmp r11
0015c041nop [rax]
0015c044
0015c044loc_15c044:
0015c044add rsp, 40
0015c048ret
0015c049nop [rax]
0015c04c
0015c04cloc_15c04c:
0015c04cmov eax, 1
0015c051add rsp, 40
0015c055ret
0015c056nop
0015c058mov eax, 1
0015c05dadd rsp, 40
0015c061ret
0015c062nop
0015c064mov rax, [rsp+16]
0015c069mov rbx, [rax+40]
0015c06dmov rdi, [rax+16]
0015c071sub rdi, rbx
0015c074inc rdi
0015c077mov rax, [rax+8]
0015c07bcall Stdlib.Bytes.sub
0015c080mov rbx, rax
0015c083lea rax, [rip+0x192fde]
0015c08acall camlStdlib.$5e_139
0015c08fsub r15, 24
0015c093cmp r15, [r14]
0015c096jb 0x15c0e4
0015c098
0015c098loc_15c098:
0015c098lea rbx, [r15+8]
0015c09cmov [rbx-8], 2048
0015c0a4lea rdi, [rip+0x192e55]
0015c0abmov rdi, [rdi]
0015c0aemov [rbx], rdi
0015c0b1mov [rbx+8], rax
0015c0b5mov rax, rbx
0015c0b8mov rsp, [r14+48]
0015c0bcpop [r14+48]
0015c0c0pop r11
0015c0c2jmp r11
0015c0c5nop [rax]
0015c0c8mov rdi, [rsp+32]
0015c0cdadd rdi, -24
0015c0d1add rdi, 24
0015c0d5mov ebx, 7
0015c0damov rax, [rsp+16]
0015c0dfjmp 0x15bba6
0015c0e4
0015c0e4loc_15c0e4:
0015c0e4call caml_call_gc
0015c0e9jmp 0x15c098
0015c0eb
0015c0ebloc_15c0eb:
0015c0ebcall caml_call_gc
0015c0f0jmp 0x15c000
0015c0f5
0015c0f5loc_15c0f5:
0015c0f5call caml_call_gc
0015c0fajmp 0x15bfa2
0015c0ff
0015c0ffloc_15c0ff:
0015c0ffcall caml_call_gc
0015c104jmp 0x15beff
0015c109
0015c109loc_15c109:
0015c109call caml_call_gc
0015c10ejmp 0x15be50
0015c113
0015c113loc_15c113:
0015c113call caml_call_gc
0015c118jmp 0x15bd80
0015c11d
0015c11dloc_15c11d:
0015c11dcall caml_call_gc
0015c122jmp 0x15bc7e
0015c127
0015c127loc_15c127:
0015c127call caml_call_gc
0015c12cjmp 0x15bbbc
0015c131
0015c131loc_15c131:
0015c131call caml_ml_array_bound_error
0015c136
0015c136loc_15c136:
0015c136push 40
0015c138call caml_call_realloc_stack
0015c13dpop r10
0015c13fjmp 0x15bba2
0015bb90

0015c144
0015c144 // align 0x10

0015c150
0015c150camlTabular.tfpostlude_570:
0015c150mov rdi, rbx
0015c153cmp r15, [r14]
0015c156jbe 0x15c166
0015c158
0015c158loc_15c158:
0015c158add rdi, 24
0015c15cmov ebx, 29
0015c161jmp 0x15c170
0015c166
0015c166loc_15c166:
0015c166call caml_call_gc
0015c16bjmp 0x15c158
0015c150

0015c16d
0015c16d // align 0x10

0015c170
0015c170Tabular..ocaml_lex_tfpostlude_rec:
0015c170lea r10, [rsp-344]
0015c178cmp r10, [r14+40]
0015c17cjb 0x15c2aa
0015c182
0015c182loc_15c182:
0015c182sub rsp, 24
0015c186
0015c186loc_15c186:
0015c186mov rsi, rax
0015c189mov [rsp+8], rsi
0015c18emov [rsp+16], rdi
0015c193cmp r15, [r14]
0015c196jbe 0x15c2a0
0015c19c
0015c19cloc_15c19c:
0015c19clea rax, [rip+0x192fd5]
0015c1a3mov rdi, rsi
0015c1a6call Stdlib.Lexing.engine
0015c1abcmp rax, 7
0015c1afjbe 0x15c1d4
0015c1b1mov [rsp], rax
0015c1b5mov rax, [rsp+8]
0015c1bamov rbx, [rax]
0015c1bdmov rdi, [rbx]
0015c1c0call rdi
0015c1c2mov rax, [rsp+8]
0015c1c7mov rbx, [rsp]
0015c1cbmov rdi, [rsp+16]
0015c1d0jmp 0x15c186
0015c1d2nop
0015c1d4
0015c1d4loc_15c1d4:
0015c1d4sar rax, 1
0015c1d7lea rdx, [rip+0xce88a]
0015c1demovsxd rax, [rdx+4*rax]
0015c1e2add rdx, rax
0015c1e5jmp rdx
0015c1e7nop
0015c1e8mov rdi, [rsp+16]
0015c1edadd rdi, -24
0015c1f1add rdi, 24
0015c1f5mov ebx, 29
0015c1famov rax, [rsp+8]
0015c1ffjmp 0x15c186
0015c201nop [rax]
0015c204mov rax, [rsp+8]
0015c209call camlLexstate.save_arg_1030
0015c20emov rbx, rax
0015c211mov eax, 1
0015c216call camlSubst.do_do_subst_this_697
0015c21bmov [rsp], rax
0015c21fmov rdi, [rsp+16]
0015c224add rdi, -24
0015c228add rdi, 24
0015c22cmov ebx, 29
0015c231mov rax, [rsp+8]
0015c236call Tabular..ocaml_lex_tfpostlude_rec
0015c23bmov rbx, rax
0015c23emov rax, [rsp]
0015c242add rsp, 24
0015c246jmp 0x15cc60
0015c24bnop
0015c24clea rax, [rip+0x1ba74d]
0015c253mov rax, [rax+344]
0015c25amov rax, [rax]
0015c25dtest al, 1
0015c25fje 0x15c270
0015c261lea rax, [rip+0x193590]
0015c268add rsp, 24
0015c26cret
0015c26dnop [rax]
0015c270
0015c270loc_15c270:
0015c270mov eax, 1
0015c275call camlLexstate.previous_lexbuf_870
0015c27amov rdi, [rsp+16]
0015c27fadd rdi, -24
0015c283add rdi, 24
0015c287mov ebx, 29
0015c28cjmp 0x15c186
0015c291nop [rax]
0015c294lea rax, [rip+0x19355d]
0015c29badd rsp, 24
0015c29fret
0015c2a0
0015c2a0loc_15c2a0:
0015c2a0call caml_call_gc
0015c2a5jmp 0x15c19c
0015c2aa
0015c2aaloc_15c2aa:
0015c2aapush 36
0015c2accall caml_call_realloc_stack
0015c2b1pop r10
0015c2b3jmp 0x15c182
0015c170

0015c2b8
0015c2b8 // align 0x10

0015c2c0
0015c2c0camlTabular.lexformat_572:
0015c2c0mov rdi, rbx
0015c2c3cmp r15, [r14]
0015c2c6jbe 0x15c2d6
0015c2c8
0015c2c8loc_15c2c8:
0015c2c8add rdi, 24
0015c2ccmov ebx, 37
0015c2d1jmp 0x15c2e0
0015c2d6
0015c2d6loc_15c2d6:
0015c2d6call caml_call_gc
0015c2dbjmp 0x15c2c8
0015c2c0

0015c2dd
0015c2dd // align 0x10

0015c2e0
0015c2e0Tabular..ocaml_lex_lexformat_rec:
0015c2e0lea r10, [rsp-352]
0015c2e8cmp r10, [r14+40]
0015c2ecjb 0x15c674
0015c2f2
0015c2f2loc_15c2f2:
0015c2f2sub rsp, 32
0015c2f6
0015c2f6loc_15c2f6:
0015c2f6mov rsi, rax
0015c2f9mov [rsp+16], rsi
0015c2femov [rsp+24], rdi
0015c303cmp r15, [r14]
0015c306jbe 0x15c665
0015c30c
0015c30cloc_15c30c:
0015c30clea rax, [rip+0x192e65]
0015c313mov rdi, rsi
0015c316call Stdlib.Lexing.engine
0015c31bcmp rax, 13
0015c31fjbe 0x15c344
0015c321mov [rsp], rax
0015c325mov rax, [rsp+16]
0015c32amov rbx, [rax]
0015c32dmov rdi, [rbx]
0015c330call rdi
0015c332mov rax, [rsp+16]
0015c337mov rbx, [rsp]
0015c33bmov rdi, [rsp+24]
0015c340jmp 0x15c2f6
0015c342nop
0015c344
0015c344loc_15c344:
0015c344sar rax, 1
0015c347lea rdx, [rip+0xce72a]
0015c34emovsxd rax, [rdx+4*rax]
0015c352add rdx, rax
0015c355jmp rdx
0015c357nop
0015c358mov rdi, [rsp+24]
0015c35dadd rdi, -24
0015c361add rdi, 24
0015c365mov ebx, 37
0015c36amov rax, [rsp+16]
0015c36fjmp 0x15c2f6
0015c371nop [rax]
0015c374mov rax, [rsp+16]
0015c379call camlLexstate.save_arg_1030
0015c37emov [rsp], rax
0015c382mov rax, [rsp+16]
0015c387call camlLexstate.save_arg_1030
0015c38csub r15, 48
0015c390cmp r15, [r14]
0015c393jb 0x15c65b
0015c399
0015c399loc_15c399:
0015c399lea rbx, [r15+8]
0015c39dmov [rsp+8], rbx
0015c3a2mov [rbx-8], 5367
0015c3aalea rdi, [rip+2815]
0015c3b1mov [rbx], rdi
0015c3b4mov rdi, 0x100000000000005
0015c3bemov [rbx+8], rdi
0015c3c2mov rdi, [rsp+24]
0015c3c7add rdi, -24
0015c3cbmov [rbx+16], rdi
0015c3cfmov rdi, [rsp+16]
0015c3d4mov [rbx+24], rdi
0015c3d8mov [rbx+32], rax
0015c3dclea rax, [rip+0x19947d]
0015c3e3mov rax, [rax+272]
0015c3eamov rbx, [rsp]
0015c3eecall camlGet.do_get_int_873
0015c3f3mov rbx, [rsp+8]
0015c3f8add rsp, 32
0015c3fcjmp 0x15ceb0
0015c401nop [rax]
0015c404lea rax, [rip+0x192af5]
0015c40bmov rbx, [rax+8]
0015c40fmov [rbx], 3
0015c416lea rbx, [rip+0x192c13]
0015c41dmov rax, [rax+72]
0015c421call camlTable.emit_336
0015c426mov rdi, [rsp+24]
0015c42badd rdi, -24
0015c42fadd rdi, 24
0015c433mov ebx, 37
0015c438mov rax, [rsp+16]
0015c43djmp 0x15c2f6
0015c442nop
0015c444mov rax, [rsp+16]
0015c449mov rbx, [rax+32]
0015c44dsar rbx, 1
0015c450mov rdi, [rax+8]
0015c454mov rsi, [rdi-8]
0015c458shr rsi, 10
0015c45clea rsi, [8*rsi-1]
0015c464movzx rdx, [rdi+rsi]
0015c469sub rsi, rdx
0015c46ccmp rsi, rbx
0015c46fjbe 0x15c66f
0015c475movzx rbx, [rdi+rbx]
0015c47alea rbx, [rbx+rbx+1]
0015c47fmov [rsp], rbx
0015c483call camlLexstate.save_arg_1030
0015c488mov rbx, rax
0015c48bmov eax, 1
0015c490call camlSubst.do_do_subst_this_697
0015c495mov r12, rax
0015c498mov rax, [rsp]
0015c49ccmp rax, 67
0015c4a0je 0x15c4c1
0015c4a2lea rsi, [rip+0x19334f]
0015c4a9mov rdi, r12
0015c4acmov rbx, rsp
0015c4afmov rsp, [r14+64]
0015c4b3call caml_string_notequal
0015c4b8mov rsp, rbx
0015c4bbcmp rax, 1
0015c4bfje 0x15c4ed
0015c4c1
0015c4c1loc_15c4c1:
0015c4c1sub r15, 16
0015c4c5cmp r15, [r14]
0015c4c8jb 0x15c651
0015c4ce
0015c4celoc_15c4ce:
0015c4celea rbx, [r15+8]
0015c4d2mov [rbx-8], 1025
0015c4damov [rbx], r12
0015c4ddlea rax, [rip+0x192a1c]
0015c4e4mov rax, [rax+72]
0015c4e8call camlTable.emit_336
0015c4ed
0015c4edloc_15c4ed:
0015c4edmov rdi, [rsp+24]
0015c4f2add rdi, -24
0015c4f6add rdi, 24
0015c4famov ebx, 37
0015c4ffmov rax, [rsp+16]
0015c504jmp 0x15c2f6
0015c509nop [rax]
0015c50cmov rax, [rsp+16]
0015c511mov rbx, [rax+32]
0015c515mov rdi, [rax+40]
0015c519sub rdi, rbx
0015c51cinc rdi
0015c51fmov rax, [rax+8]
0015c523call Stdlib.Bytes.sub
0015c528mov rbx, [rax-8]
0015c52cshr rbx, 10
0015c530lea rbx, [8*rbx-1]
0015c538movzx rdi, [rax+rbx]
0015c53dsub rbx, rdi
0015c540cmp rbx, 1
0015c544jbe 0x15c66f
0015c54amovzx rax, [rax+1]
0015c54flea rbx, [rax+rax-97]
0015c554mov rdi, [rsp+24]
0015c559add rdi, -24
0015c55dlea rax, [rip+0x1ba43c]
0015c564mov rsi, [rax+656]
0015c56bsub r15, 40
0015c56fcmp r15, [r14]
0015c572jb 0x15c647
0015c578
0015c578loc_15c578:
0015c578lea rax, [r15+8]
0015c57cmov [rax-8], 4343
0015c584lea rdx, [rip+2469]
0015c58bmov [rax], rdx
0015c58emov rdx, 0x100000000000005
0015c598mov [rax+8], rdx
0015c59cmov [rax+16], rdi
0015c5a0mov [rax+24], rsi
0015c5a4call camlLexstate.scan_arg_855
0015c5a9mov rdi, [rsp+24]
0015c5aeadd rdi, -24
0015c5b2add rdi, 24
0015c5b6mov ebx, 37
0015c5bbmov rax, [rsp+16]
0015c5c0jmp 0x15c2f6
0015c5c5nop [rax]
0015c5c8lea rax, [rip+0x1ba3d1]
0015c5cfmov rax, [rax+344]
0015c5d6mov rax, [rax]
0015c5d9test al, 1
0015c5dbje 0x15c5e8
0015c5ddmov eax, 1
0015c5e2add rsp, 32
0015c5e6ret
0015c5e7nop
0015c5e8
0015c5e8loc_15c5e8:
0015c5e8mov eax, 1
0015c5edcall camlLexstate.previous_lexbuf_870
0015c5f2mov rdi, [rsp+24]
0015c5f7add rdi, -24
0015c5fbadd rdi, 24
0015c5ffmov ebx, 37
0015c604jmp 0x15c2f6
0015c609nop [rax]
0015c60cmov rdi, [rsp+24]
0015c611add rdi, -192
0015c618add rdi, 24
0015c61cmov ebx, 1
0015c621mov rax, [rsp+16]
0015c626call Tabular..ocaml_lex_tfone_rec
0015c62bmov rdi, [rsp+24]
0015c630add rdi, -24
0015c634add rdi, 24
0015c638mov ebx, 37
0015c63dmov rax, [rsp+16]
0015c642jmp 0x15c2f6
0015c647
0015c647loc_15c647:
0015c647call caml_call_gc
0015c64cjmp 0x15c578
0015c651
0015c651loc_15c651:
0015c651call caml_call_gc
0015c656jmp 0x15c4ce
0015c65b
0015c65bloc_15c65b:
0015c65bcall caml_call_gc
0015c660jmp 0x15c399
0015c665
0015c665loc_15c665:
0015c665call caml_call_gc
0015c66ajmp 0x15c30c
0015c66f
0015c66floc_15c66f:
0015c66fcall caml_ml_array_bound_error
0015c674
0015c674loc_15c674:
0015c674push 37
0015c676call caml_call_realloc_stack
0015c67bpop r10
0015c67djmp 0x15c2f2
0015c2e0

0015c682
0015c682 // align 0x10

0015c690
0015c690camlTabular.make_hor_472:
0015c690add rax, -196
0015c696cmp rax, 33
0015c69aja 0x15c6c8
0015c69csar rax, 1
0015c69flea rdx, [rip+0xce3ee]
0015c6a6movsxd rax, [rdx+4*rax]
0015c6aaadd rdx, rax
0015c6adjmp rdx
0015c6afnop
0015c6b0lea rax, [rip+0x1930a1]
0015c6b7ret
0015c6b8lea rax, [rip+0x192aa9]
0015c6bfret
0015c6c0lea rax, [rip+0x192a91]
0015c6c7ret
0015c6c8
0015c6c8loc_15c6c8:
0015c6c8sub r15, 24
0015c6cccmp r15, [r14]
0015c6cfjb 0x15c70c
0015c6d1
0015c6d1loc_15c6d1:
0015c6d1lea rax, [r15+8]
0015c6d5mov [rax-8], 2048
0015c6ddlea rbx, [rip+0x1cd98c]
0015c6e4mov rbx, [rbx]
0015c6e7mov [rax], rbx
0015c6ealea rbx, [rip+0x19295f]
0015c6f1mov [rax+8], rbx
0015c6f5mov rsp, [r14+48]
0015c6f9pop [r14+48]
0015c6fdpop r11
0015c6ffjmp r11
0015c702nop
0015c704lea rax, [rip+0x192a5d]
0015c70bret
0015c70c
0015c70cloc_15c70c:
0015c70ccall caml_call_gc
0015c711jmp 0x15c6d1
0015c690

0015c713
0015c713 // align 0x10

0015c720
0015c720camlTabular.make_vert_473:
0015c720add rax, -196
0015c726cmp rax, 33
0015c72aja 0x15c758
0015c72csar rax, 1
0015c72flea rdx, [rip+0xce3a2]
0015c736movsxd rax, [rdx+4*rax]
0015c73aadd rdx, rax
0015c73djmp rdx
0015c73fnop
0015c740lea rax, [rip+0x1928a9]
0015c747ret
0015c748lea rax, [rip+0x192891]
0015c74fret
0015c750lea rax, [rip+0x192879]
0015c757ret
0015c758
0015c758loc_15c758:
0015c758sub r15, 24
0015c75ccmp r15, [r14]
0015c75fjb 0x15c79c
0015c761
0015c761loc_15c761:
0015c761lea rax, [r15+8]
0015c765mov [rax-8], 2048
0015c76dlea rbx, [rip+0x1cd8fc]
0015c774mov rbx, [rbx]
0015c777mov [rax], rbx
0015c77alea rbx, [rip+0x192837]
0015c781mov [rax+8], rbx
0015c785mov rsp, [r14+48]
0015c789pop [r14+48]
0015c78dpop r11
0015c78fjmp r11
0015c792nop
0015c794lea rax, [rip+0x19305d]
0015c79bret
0015c79c
0015c79cloc_15c79c:
0015c79ccall caml_call_gc
0015c7a1jmp 0x15c761
0015c720

0015c7a3
0015c7a3 // align 0x10

0015c7b0
0015c7b0camlTabular.check_vert_482:
0015c7b0sub rsp, 8
0015c7b4mov r13, rax
0015c7b7lea r11, [rip+170]
0015c7bepush r11
0015c7c0push [r14+48]
0015c7c4mov [r14+48], rsp
0015c7c8mov r12l, 1
0015c7cemov rbp, [r13-8]
0015c7d2shr rbp, 9
0015c7d6or rbp, 1
0015c7daadd rbp, -2
0015c7decmp r12, rbp
0015c7e1jg 0x15c85a
0015c7e3mov [rsp+16], r13
0015c7e8
0015c7e8loc_15c7e8:
0015c7e8mov rax, [r13-8]
0015c7ecshr rax, 9
0015c7f0cmp rax, r12
0015c7f3jbe 0x15c944
0015c7f9mov rax, [r13+4*r12-4]
0015c7femovzx rbx, [rax-8]
0015c803test rbx, rbx
0015c806jne 0x15c844
0015c808mov rax, [rax]
0015c80bmov rdi, [rax+8]
0015c80flea rsi, [rip+0x192fe2]
0015c816mov rbx, rsp
0015c819mov rsp, [r14+64]
0015c81dcall caml_string_notequal
0015c822mov rsp, rbx
0015c825cmp rax, 1
0015c829je 0x15c844
0015c82blea rax, [rip+0x1d0de6]
0015c832mov rax, [rax+16]
0015c836mov rsp, [r14+48]
0015c83apop [r14+48]
0015c83epop r11
0015c840jmp r11
0015c843nop
0015c844
0015c844loc_15c844:
0015c844mov rax, r12
0015c847add r12, 2
0015c84bcmp rax, rbp
0015c84eje 0x15c85a
0015c850cmp r15, [r14]
0015c853ja 0x15c7e8
0015c855jmp 0x15c93a
0015c85a
0015c85aloc_15c85a:
0015c85apop [r14+48]
0015c85eadd rsp, 8
0015c862jmp 0x15c928
0015c867nop
0015c868lea rbx, [rip+0x1d0da9]
0015c86fmov rbx, [rbx+16]
0015c873cmp rax, rbx
0015c876jne 0x15c918
0015c87cmov r12l, 1
0015c882mov r13, [rsp]
0015c886mov rbp, [r13-8]
0015c88ashr rbp, 9
0015c88eor rbp, 1
0015c892add rbp, -2
0015c896cmp r12, rbp
0015c899jg 0x15c90f
0015c89b
0015c89bloc_15c89b:
0015c89bmov rax, [r13-8]
0015c89fshr rax, 9
0015c8a3cmp rax, r12
0015c8a6jbe 0x15c944
0015c8acmov rax, [r13+4*r12-4]
0015c8b1movzx rbx, [rax-8]
0015c8b6test rbx, rbx
0015c8b9jne 0x15c8fc
0015c8bbmov rdi, [rax]
0015c8bemov rax, [rdi+8]
0015c8c2mov rbx, [rax-8]
0015c8c6shr rbx, 10
0015c8cacmp rbx, 2
0015c8cejge 0x15c8fc
0015c8d0mov rax, [rax]
0015c8d3mov rbx, 0x700000000000000
0015c8ddcmp rax, rbx
0015c8e0jne 0x15c8fc
0015c8e2lea rsi, [rip+0x1926e7]
0015c8e9add rdi, 8
0015c8edmov rbx, rsp
0015c8f0mov rsp, [r14+64]
0015c8f4call caml_modify
0015c8f9mov rsp, rbx
0015c8fc
0015c8fcloc_15c8fc:
0015c8fcmov rax, r12
0015c8ffadd r12, 2
0015c903cmp rax, rbp
0015c906je 0x15c90f
0015c908cmp r15, [r14]
0015c90bja 0x15c89b
0015c90djmp 0x15c930
0015c90f
0015c90floc_15c90f:
0015c90fmov rax, r13
0015c912add rsp, 8
0015c916ret
0015c917nop
0015c918
0015c918loc_15c918:
0015c918mov rsp, [r14+48]
0015c91cpop [r14+48]
0015c920pop r11
0015c922jmp r11
0015c925nop [rax]
0015c928
0015c928loc_15c928:
0015c928mov rax, r13
0015c92badd rsp, 8
0015c92fret
0015c930
0015c930loc_15c930:
0015c930call caml_call_gc
0015c935jmp 0x15c89b
0015c93a
0015c93aloc_15c93a:
0015c93acall caml_call_gc
0015c93fjmp 0x15c7e8
0015c944
0015c944loc_15c944:
0015c944call caml_ml_array_bound_error
0015c7b0

0015c949
0015c949 // align 0x10

0015c950
0015c950camlTabular.check_length_483:
0015c950mov r13, rax
0015c953mov r12l, 1
0015c959mov rbp, [r13-8]
0015c95dshr rbp, 9
0015c961or rbp, 1
0015c965add rbp, -2
0015c969cmp r12, rbp
0015c96cjg 0x15ca70
0015c972
0015c972loc_15c972:
0015c972mov rdi, [r13-8]
0015c976mov rax, rdi
0015c979shr rax, 9
0015c97dcmp rax, r12
0015c980jbe 0x15ca8a
0015c986mov rax, [r13+4*r12-4]
0015c98bmovzx rbx, [rax-8]
0015c990test rbx, rbx
0015c993jne 0x15ca59
0015c999mov rbx, [rax]
0015c99cmov rsi, [rbx+16]
0015c9a0cmp rsi, 1
0015c9a4je 0x15ca59
0015c9aamov rax, [rbx+40]
0015c9aetest al, 1
0015c9b0jne 0x15ca59
0015c9b6movzx rax, [rax-8]
0015c9bbcmp rax, 3
0015c9bfjl 0x15ca59
0015c9c5sub r15, 88
0015c9c9cmp r15, [r14]
0015c9ccjb 0x15ca80
0015c9d2
0015c9d2loc_15c9d2:
0015c9d2lea rax, [r15+8]
0015c9d6add rax, 72
0015c9damov [rax-8], 1026
0015c9e2shr rdi, 10
0015c9e6cvtsi2sd x0, rdi
0015c9ebmovsd_xmm x1, [rip+0xcdd85]
0015c9f3divsd x1, x0
0015c9f7cvttsd2si rdi, x1
0015c9fclea rdi, [rdi+rdi+1]
0015ca01mov [rax], rdi
0015ca04lea rdi, [rax-56]
0015ca08mov [rdi-8], 6144
0015ca10mov rdx, [rbx]
0015ca13mov [rdi], rdx
0015ca16mov rdx, [rbx+8]
0015ca1amov [rdi+8], rdx
0015ca1emov [rdi+16], rsi
0015ca22mov rsi, [rbx+24]
0015ca26mov [rdi+24], rsi
0015ca2amov rbx, [rbx+32]
0015ca2emov [rdi+32], rbx
0015ca32mov [rdi+40], rax
0015ca36lea rsi, [rdi-16]
0015ca3amov [rsi-8], 1024
0015ca42mov [rsi], rdi
0015ca45lea rdi, [r13+4*r12-4]
0015ca4amov rbx, rsp
0015ca4dmov rsp, [r14+64]
0015ca51call caml_modify
0015ca56mov rsp, rbx
0015ca59
0015ca59loc_15ca59:
0015ca59mov rax, r12
0015ca5cadd r12, 2
0015ca60cmp rax, rbp
0015ca63je 0x15ca70
0015ca65cmp r15, [r14]
0015ca68ja 0x15c972
0015ca6ejmp 0x15ca76
0015ca70
0015ca70loc_15ca70:
0015ca70mov eax, 1
0015ca75ret
0015ca76
0015ca76loc_15ca76:
0015ca76call caml_call_gc
0015ca7bjmp 0x15c972
0015ca80
0015ca80loc_15ca80:
0015ca80call caml_call_gc
0015ca85jmp 0x15c9d2
0015ca8a
0015ca8aloc_15ca8a:
0015ca8acall caml_ml_array_bound_error
0015c950

0015ca8f
0015ca8f // align 0x10

0015ca90
0015ca90camlTabular.pretty_format_546:
0015ca90lea r10, [rsp-352]
0015ca98cmp r10, [r14+40]
0015ca9cjb 0x15cbec
0015caa2
0015caa2loc_15caa2:
0015caa2sub rsp, 32
0015caa6mov rdi, rax
0015caa9movzx rax, [rdi-8]
0015caaecmp rax, 1
0015cab2je 0x15cbc0
0015cab8ja 0x15cbe4
0015cabemov rax, [rdi]
0015cac1mov [rsp+16], rax
0015cac6mov rbx, [rax+8]
0015cacamov [rsp+8], rbx
0015cacfmov rbx, [rax+24]
0015cad3mov [rsp+24], rbx
0015cad8mov rbx, [rax+32]
0015cadcmov [rsp], rbx
0015cae0mov rax, [rax+40]
0015cae4call camlLength.pretty_315
0015cae9lea rbx, [rip+0x192c58]
0015caf0call camlStdlib.$5e_139
0015caf5mov rbx, rax
0015caf8lea rax, [rip+0x192c69]
0015caffcall camlStdlib.$5e_139
0015cb04mov rbx, rax
0015cb07mov rax, [rsp+16]
0015cb0cmov rax, [rax+16]
0015cb10cmp rax, 1
0015cb14je 0x15cb20
0015cb16lea rax, [rip+0x192c5b]
0015cb1djmp 0x15cb27
0015cb1f
0015cb1f 90 .
0015cb20
0015cb20loc_15cb20:
0015cb20lea rax, [rip+0x192cd1]
0015cb27
0015cb27loc_15cb27:
0015cb27call camlStdlib.$5e_139
0015cb2cmov rbx, rax
0015cb2flea rax, [rip+0x192c82]
0015cb36call camlStdlib.$5e_139
0015cb3bmov rbx, rax
0015cb3emov rax, [rsp]
0015cb42call camlStdlib.$5e_139
0015cb47mov rbx, rax
0015cb4alea rax, [rip+0x192c37]
0015cb51call camlStdlib.$5e_139
0015cb56mov rbx, rax
0015cb59mov rax, [rsp+8]
0015cb5ecall camlStdlib.$5e_139
0015cb63mov rbx, rax
0015cb66lea rax, [rip+0x192c2b]
0015cb6dcall camlStdlib.$5e_139
0015cb72mov rbx, rax
0015cb75mov rax, [rsp+16]
0015cb7amov rax, [rax]
0015cb7dcall camlStdlib.$5e_139
0015cb82mov rbx, rax
0015cb85lea rax, [rip+0x192c1c]
0015cb8ccall camlStdlib.$5e_139
0015cb91mov rbx, rax
0015cb94lea rax, [rip+0x192c1d]
0015cb9bcall camlStdlib.$5e_139
0015cba0mov rbx, rax
0015cba3mov rax, [rsp+24]
0015cba8call camlStdlib.$5e_139
0015cbadmov rbx, rax
0015cbb0lea rax, [rip+0x192c11]
0015cbb7add rsp, 32
0015cbbbjmp 0x195ba0
0015cbc0
0015cbc0loc_15cbc0:
0015cbc0lea rbx, [rip+0x192bf1]
0015cbc7mov rax, [rdi]
0015cbcacall camlStdlib.$5e_139
0015cbcfmov rbx, rax
0015cbd2lea rax, [rip+0x192b5f]
0015cbd9add rsp, 32
0015cbddjmp 0x195ba0
0015cbe2
0015cbe2 66 90 f.
0015cbe4
0015cbe4loc_15cbe4:
0015cbe4mov rax, [rdi]
0015cbe7add rsp, 32
0015cbebret
0015cbec
0015cbecloc_15cbec:
0015cbecpush 37
0015cbeecall caml_call_realloc_stack
0015cbf3pop r10
0015cbf5jmp 0x15caa2
0015ca90

0015cbfa
0015cbfa // align 0x10

0015cc00
0015cc00camlTabular.pretty_formats_557:
0015cc00mov rbx, rax
0015cc03lea rax, [rip+0x192136]
0015cc0ajmp 0x1ad550
0015cc00

0015cc0f
0015cc0f // align 0x10

0015cc10
0015cc10camlTabular.fun_964:
0015cc10lea r10, [rsp-320]
0015cc18cmp r10, [r14+40]
0015cc1cjb 0x15cc53
0015cc1e
0015cc1eloc_15cc1e:
0015cc1ecall camlTabular.pretty_format_546
0015cc23mov rbx, rax
0015cc26lea rax, [rip+0x1d09eb]
0015cc2dmov rax, [rax+312]
0015cc34call camlStdlib.output_string_253
0015cc39lea rbx, [rip+0x192ae8]
0015cc40lea rax, [rip+0x1d09d1]
0015cc47mov rax, [rax+312]
0015cc4ejmp 0x1963d0
0015cc53
0015cc53loc_15cc53:
0015cc53push 33
0015cc55call caml_call_realloc_stack
0015cc5apop r10
0015cc5cjmp 0x15cc1e
0015cc10

0015cc5e
0015cc5e // align 0x10

0015cc60
0015cc60camlTabular.concat_pre_post_561:
0015cc60lea r10, [rsp-328]
0015cc68cmp r10, [r14+40]
0015cc6cjb 0x15ccf3
0015cc72
0015cc72loc_15cc72:
0015cc72sub rsp, 8
0015cc76mov rdi, rax
0015cc79mov rax, rbx
0015cc7cmov rbx, [rdi-8]
0015cc80shr rbx, 10
0015cc84cmp rbx, 2
0015cc88jl 0x15cc90
0015cc8amov [rsp], rax
0015cc8ejmp 0x15ccac
0015cc90
0015cc90loc_15cc90:
0015cc90mov rbx, [rdi]
0015cc93mov rsi, 0x700000000000000
0015cc9dcmp rbx, rsi
0015cca0jne 0x15cca8
0015cca2add rsp, 8
0015cca6ret
0015cca7
0015cca7 90 .
0015cca8
0015cca8loc_15cca8:
0015cca8mov [rsp], rax
0015ccac
0015ccacloc_15ccac:
0015ccacmov rbx, [rax-8]
0015ccb0shr rbx, 10
0015ccb4cmp rbx, 2
0015ccb8jge 0x15ccd4
0015ccbamov rax, [rax]
0015ccbdmov rbx, 0x700000000000000
0015ccc7cmp rax, rbx
0015cccajne 0x15ccd4
0015ccccmov rax, rdi
0015cccfadd rsp, 8
0015ccd3ret
0015ccd4
0015ccd4loc_15ccd4:
0015ccd4lea rax, [rip+0x192a3d]
0015ccdbmov rbx, rdi
0015ccdecall camlStdlib.$5e_139
0015cce3mov rbx, rax
0015cce6mov rax, [rsp]
0015cceaadd rsp, 8
0015cceejmp 0x195ba0
0015ccf3
0015ccf3loc_15ccf3:
0015ccf3push 34
0015ccf5call caml_call_realloc_stack
0015ccfapop r10
0015ccfcjmp 0x15cc72
0015cc60

0015cd01
0015cd01 // align 0x10

0015cd10
0015cd10camlTabular.fun_1003:
0015cd10lea r10, [rsp-328]
0015cd18cmp r10, [r14+40]
0015cd1cjb 0x15cdad
0015cd22
0015cd22loc_15cd22:
0015cd22sub rsp, 8
0015cd26movzx rdi, [rax-8]
0015cd2btest rdi, rdi
0015cd2ejne 0x15cd6c
0015cd30mov rax, [rax]
0015cd33mov [rsp], rax
0015cd37mov rdi, [rax+24]
0015cd3bmov rax, [rbx+16]
0015cd3fmov rbx, rdi
0015cd42call camlTabular.concat_pre_post_561
0015cd47mov rdi, [rsp]
0015cd4badd rdi, 24
0015cd4fmov rsi, rax
0015cd52mov rbx, rsp
0015cd55mov rsp, [r14+64]
0015cd59call caml_modify
0015cd5emov rsp, rbx
0015cd61mov eax, 1
0015cd66add rsp, 8
0015cd6aret
0015cd6bnop
0015cd6c
0015cd6cloc_15cd6c:
0015cd6csub r15, 24
0015cd70cmp r15, [r14]
0015cd73jb 0x15cda6
0015cd75
0015cd75loc_15cd75:
0015cd75lea rax, [r15+8]
0015cd79mov [rax-8], 2048
0015cd81lea rbx, [rip+0x192178]
0015cd88mov rbx, [rbx]
0015cd8bmov [rax], rbx
0015cd8elea rbx, [rip+0x192393]
0015cd95mov [rax+8], rbx
0015cd99mov rsp, [r14+48]
0015cd9dpop [r14+48]
0015cda1pop r11
0015cda3jmp r11
0015cda6
0015cda6loc_15cda6:
0015cda6call caml_call_gc
0015cdabjmp 0x15cd75
0015cdad
0015cdadloc_15cdad:
0015cdadpush 34
0015cdafcall caml_call_realloc_stack
0015cdb4pop r10
0015cdb6jmp 0x15cd22
0015cd10

0015cdbb
0015cdbb // align 0x10

0015cdc0
0015cdc0camlTabular.fun_1015:
0015cdc0mov rdi, rax
0015cdc3mov rax, [rbx+16]
0015cdc7mov rbx, rdi
0015cdcajmp 0x17f460
0015cdc0

0015cdcf
0015cdcf // align 0x10

0015cdd0
0015cdd0camlTabular.fun_1021:
0015cdd0movzx rdi, [rax-8]
0015cdd5test rdi, rdi
0015cdd8jne 0x15ce20
0015cddamov rax, [rax]
0015cdddsub r15, 24
0015cde1cmp r15, [r14]
0015cde4jb 0x15ce5e
0015cde6
0015cde6loc_15cde6:
0015cde6lea rsi, [r15+8]
0015cdeamov [rsi-8], 2048
0015cdf2mov [rsi], rax
0015cdf5lea rax, [rip+0x1b9ba4]
0015cdfcmov rax, [rax+728]
0015ce03mov rax, [rax]
0015ce06mov [rsi+8], rax
0015ce0amov rdi, [rbx+32]
0015ce0emov rdx, [rbx+24]
0015ce12mov rax, [rbx+16]
0015ce16mov rbx, rdx
0015ce19jmp 0x17f6f0
0015ce1enop
0015ce20
0015ce20loc_15ce20:
0015ce20sub r15, 24
0015ce24cmp r15, [r14]
0015ce27jb 0x15ce57
0015ce29
0015ce29loc_15ce29:
0015ce29lea rax, [r15+8]
0015ce2dmov [rax-8], 2048
0015ce35lea rbx, [rip+0x1193cc]
0015ce3cmov [rax], rbx
0015ce3flea rbx, [rip+0x1922aa]
0015ce46mov [rax+8], rbx
0015ce4amov rsp, [r14+48]
0015ce4epop [r14+48]
0015ce52pop r11
0015ce54jmp r11
0015ce57
0015ce57loc_15ce57:
0015ce57call caml_call_gc
0015ce5cjmp 0x15ce29
0015ce5e
0015ce5eloc_15ce5e:
0015ce5ecall caml_call_gc
0015ce63jmp 0x15cde6
0015cdd0

0015ce65
0015ce65 // align 0x10

0015ce70
0015ce70camlTabular.fun_1026:
0015ce70movzx rdi, [rax-8]
0015ce75test rdi, rdi
0015ce78jne 0x15ce9c
0015ce7amov rsi, [rbx+16]
0015ce7emov rdi, [rax]
0015ce81add rdi, 32
0015ce85mov rbx, rsp
0015ce88mov rsp, [r14+64]
0015ce8ccall caml_modify
0015ce91mov rsp, rbx
0015ce94mov eax, 1
0015ce99ret
0015ce9a
0015ce9a 66 90 f.
0015ce9c
0015ce9cloc_15ce9c:
0015ce9clea rax, [rip+0x192215]
0015cea3jmp 0x1919c0
0015ce70

0015cea8
0015cea8 // align 0x10

0015ceb0
0015ceb0camlTabular.do_rec_866:
0015ceb0lea r10, [rsp-336]
0015ceb8cmp r10, [r14+40]
0015cebcjb 0x15cf19
0015cebe
0015cebeloc_15cebe:
0015cebesub rsp, 16
0015cec2
0015cec2loc_15cec2:
0015cec2cmp r15, [r14]
0015cec5jbe 0x15cf12
0015cec7
0015cec7loc_15cec7:
0015cec7cmp rax, 1
0015cecbje 0x15cef8
0015cecdmov [rsp+8], rbx
0015ced2mov [rsp], rax
0015ced6mov rdi, [rbx+32]
0015cedamov rax, [rbx+16]
0015cedemov rbx, rdi
0015cee1call camlLexstate.scan_this_arg_1187
0015cee6mov rax, [rsp]
0015ceeaadd rax, -2
0015ceeemov rbx, [rsp+8]
0015cef3jmp 0x15cec2
0015cef5
0015cef5 0f 1f 00 ...
0015cef8
0015cef8loc_15cef8:
0015cef8mov rax, [rbx+24]
0015cefcmov rdi, [rbx+16]
0015cf00add rdi, 24
0015cf04mov ebx, 37
0015cf09add rsp, 16
0015cf0djmp 0x15c2e0
0015cf12
0015cf12loc_15cf12:
0015cf12call caml_call_gc
0015cf17jmp 0x15cec7
0015cf19
0015cf19loc_15cf19:
0015cf19push 35
0015cf1bcall caml_call_realloc_stack
0015cf20pop r10
0015cf22jmp 0x15cebe
0015ceb0

0015cf24
0015cf24 // align 0x10

0015cf30
0015cf30camlTabular.fun_1053:
0015cf30mov rdi, rax
0015cf33mov rax, [rbx+16]
0015cf37mov rbx, rdi
0015cf3ajmp 0x17f460
0015cf30

0015cf3f
0015cf3f // align 0x10

0015cf40
0015cf40camlTabular.main_902:
0015cf40lea r10, [rsp-336]
0015cf48cmp r10, [r14+40]
0015cf4cjb 0x15d0ee
0015cf52
0015cf52loc_15cf52:
0015cf52sub rsp, 16
0015cf56mov [rsp], rax
0015cf5amov rbx, [rax]
0015cf5dmov [rsp+8], rbx
0015cf62lea rax, [rip+0x1cd107]
0015cf69mov rax, [rax+80]
0015cf6dmov rax, [rax]
0015cf70cmp rax, 3
0015cf74jle 0x15cf87
0015cf76lea rax, [rip+0x19209b]
0015cf7dcall camlStdlib.$5e_139
0015cf82call camlStdlib.prerr_endline_390
0015cf87
0015cf87loc_15cf87:
0015cf87mov rax, [rsp+8]
0015cf8cmov rbx, [rax-8]
0015cf90shr rbx, 10
0015cf94lea rbx, [8*rbx-1]
0015cf9cmovzx rdi, [rax+rbx]
0015cfa1sub rbx, rdi
0015cfa4lea rdi, [rbx+rbx+1]
0015cfa9cmp rdi, 1
0015cfadjle 0x15d004
0015cfafcmp rbx, 0
0015cfb3jbe 0x15d0e9
0015cfb9movzx rbx, [rax]
0015cfbdlea rbx, [rbx+rbx+1]
0015cfc2cmp rbx, 185
0015cfc9jne 0x15d004
0015cfcbmov [rsp+8], rax
0015cfd0call camlLatexmacros.find_941
0015cfd5mov rax, [rax+8]
0015cfd9movzx rbx, [rax-8]
0015cfdetest rbx, rbx
0015cfe1jne 0x15cff0
0015cfe3mov rax, [rax]
0015cfe6call camlMyLexing.from_list_562
0015cfebjmp 0x15cffa
0015cfed
0015cfed 0f 1f 00 ...
0015cff0
0015cff0loc_15cff0:
0015cff0mov rax, [rsp+8]
0015cff5call camlMyLexing.from_string_309
0015cffa
0015cffaloc_15cffa:
0015cffamov [rsp+8], rax
0015cfffjmp 0x15d00e
0015d001
0015d001 0f 1f 00 ...
0015d004
0015d004loc_15d004:
0015d004call camlMyLexing.from_string_309
0015d009mov [rsp+8], rax
0015d00e
0015d00eloc_15d00e:
0015d00emov rax, [rsp]
0015d012mov rax, [rax+8]
0015d016call camlLexstate.start_normal_914
0015d01blea rax, [rip+0x191ede]
0015d022mov rdi, [rax+144]
0015d029add rdi, 24
0015d02dmov ebx, 37
0015d032mov rax, [rsp+8]
0015d037call Tabular..ocaml_lex_lexformat_rec
0015d03cmov eax, 1
0015d041call camlLexstate.restore_flags_891
0015d046mov eax, 1
0015d04bcall camlLexstate.restore_lexstate_882
0015d050lea rax, [rip+0x191ea9]
0015d057mov rax, [rax+72]
0015d05bmov [rsp], rax
0015d05fmov rdi, [rax]
0015d062mov ebx, 1
0015d067mov rax, [rax+8]
0015d06bcall Stdlib.Array.sub
0015d070mov rbx, [rsp]
0015d074mov [rbx], 1
0015d07bcall camlTabular.check_vert_482
0015d080mov [rsp], rax
0015d084lea rbx, [rip+0x1cb5b5]
0015d08bmov rbx, [rbx+8]
0015d08fmov rbx, [rbx]
0015d092cmp rbx, 1
0015d096je 0x15d09d
0015d098call camlTabular.check_length_483
0015d09d
0015d09dloc_15d09d:
0015d09dlea rax, [rip+0x1ccfcc]
0015d0a4mov rax, [rax+80]
0015d0a8mov rax, [rax]
0015d0abcmp rax, 3
0015d0afjle 0x15d0e0
0015d0b1lea rbx, [rip+0x191f48]
0015d0b8lea rax, [rip+0x1d0559]
0015d0bfmov rax, [rax+312]
0015d0c6call camlStdlib.output_string_253
0015d0cbmov rax, [rsp]
0015d0cfcall camlTabular.pretty_formats_557
0015d0d4lea rax, [rip+0x19271d]
0015d0dbcall camlStdlib.prerr_endline_390
0015d0e0
0015d0e0loc_15d0e0:
0015d0e0mov rax, [rsp]
0015d0e4add rsp, 16
0015d0e8ret
0015d0e9
0015d0e9loc_15d0e9:
0015d0e9call caml_ml_array_bound_error
0015d0ee
0015d0eeloc_15d0ee:
0015d0eepush 35
0015d0f0call caml_call_realloc_stack
0015d0f5pop r10
0015d0f7jmp 0x15cf52
0015cf40

0015d0fc
0015d0fc // align 0x10