Similarity

001589b0
001589b0camlText.item_display_format_1770:
001589b0lea r10, [rsp-336]
001589b8cmp r10, [r14+40]
001589bcjb 0x158a7a
001589c2
001589c2loc_1589c2:
001589c2sub rsp, 16
001589c6mov [rsp], rax
001589camov eax, 1
001589cfcall camlText.pop_freeze_1751
001589d4mov [rsp+8], rax
001589d9lea rax, [rip+0x1d1690]
001589e0mov rax, [rax+80]
001589e4mov rax, [rax]
001589e7cmp rax, 3
001589ebjle 0x1589f9
001589edlea rax, [rip+0x19049c]
001589f4call camlText.make_border_1631
001589f9
001589f9loc_1589f9:
001589f9mov eax, 1
001589fecall camlText.do_close_cell_1601
00158a03lea rax, [rip+0x18e0ae]
00158a0amov rax, [rax+1128]
00158a11mov rax, [rax]
00158a14mov [rax+64], 1
00158a1cmov rax, [rsp]
00158a20call camlText.formated_1741
00158a25mov esi, 1
00158a2amov edi, 1
00158a2fmov ebx, 3
00158a34call camlText.open_cell_1595
00158a39lea rax, [rip+0x18e078]
00158a40mov rax, [rax+1128]
00158a47mov rax, [rax]
00158a4amov [rax+64], 3
00158a52mov rbx, [rsp+8]
00158a57mov rax, [rbx+8]
00158a5bcmp rax, 1
00158a5fje 0x158a70
00158a61mov rax, [rbx]
00158a64add rsp, 16
00158a68jmp 0x1584e0
00158a6d
00158a6d 0f 1f 00 ...
00158a70
00158a70loc_158a70:
00158a70mov eax, 1
00158a75add rsp, 16
00158a79ret
00158a7a
00158a7aloc_158a7a:
00158a7apush 35
00158a7ccall caml_call_realloc_stack
00158a81pop r10
00158a83jmp 0x1589c2
001589b0

00158a88
00158a88 // align 0x10

00158a90
00158a90camlText.force_item_display_1775:
00158a90mov eax, 1
00158a95jmp 0x1588e0
00158a90

00158a9a
00158a9a // align 0x10

00158aa0
00158aa0camlText.erase_display_1778:
00158aa0lea r10, [rsp-320]
00158aa8cmp r10, [r14+40]
00158aacjb 0x158b05
00158aae
00158aaeloc_158aae:
00158aaelea rax, [rip+0x1d15bb]
00158ab5mov rax, [rax+80]
00158ab9mov rax, [rax]
00158abccmp rax, 5
00158ac0jle 0x158ace
00158ac2lea rax, [rip+0x18efbf]
00158ac9call camlStdlib.prerr_endline_390
00158ace
00158aceloc_158ace:
00158acemov eax, 1
00158ad3call camlText.erase_cell_1620
00158ad8lea rax, [rip+0x18dfd9]
00158adfmov rax, [rax+1128]
00158ae6mov rax, [rax]
00158ae9mov [rax+64], 1
00158af1mov eax, 1
00158af6call camlText.erase_row_1623
00158afbmov eax, 1
00158b00jmp 0x1574f0
00158b05
00158b05loc_158b05:
00158b05push 33
00158b07call caml_call_realloc_stack
00158b0cpop r10
00158b0ejmp 0x158aae
00158aa0

00158b10
00158b10camlText.open_maths_1781:
00158b10lea r10, [rsp-328]
00158b18cmp r10, [r14+40]
00158b1cjb 0x158bb8
00158b22
00158b22loc_158b22:
00158b22sub rsp, 8
00158b26mov [rsp], rax
00158b2alea rax, [rip+0x1d153f]
00158b31mov rax, [rax+80]
00158b35mov rax, [rax]
00158b38cmp rax, 3
00158b3cjle 0x158b4a
00158b3elea rax, [rip+0x18ef2b]
00158b45call camlStdlib.prerr_endline_390
00158b4a
00158b4aloc_158b4a:
00158b4amov rax, [rsp]
00158b4ecmp rax, 1
00158b52je 0x158ba0
00158b54mov eax, 1
00158b59lea rdi, [rip+0x18eee8]
00158b60lea rbx, [rip+0x18faf9]
00158b67call camlText.open_block_inner_2309
00158b6clea rax, [rip+0x18efc5]
00158b73call camlText.open_display_1756
00158b78lea rax, [rip+0x18df39]
00158b7fmov rax, [rax+824]
00158b86mov [rax+104], 1
00158b8elea rax, [rip+0x18efa3]
00158b95add rsp, 8
00158b99jmp 0x158780
00158b9e
00158b9e 66 90 f.
00158ba0
00158ba0loc_158ba0:
00158ba0mov eax, 1
00158ba5lea rdi, [rip+0x18ef8c]
00158bacmov rbx, rdi
00158bafadd rsp, 8
00158bb3jmp 0x1534e0
00158bb8
00158bb8loc_158bb8:
00158bb8push 34
00158bbacall caml_call_realloc_stack
00158bbfpop r10
00158bc1jmp 0x158b22
00158b10

00158bc6
00158bc6 // align 0x10

00158bd0
00158bd0camlText.close_maths_1782:
00158bd0lea r10, [rsp-320]
00158bd8cmp r10, [r14+40]
00158bdcjb 0x158c4e
00158bde
00158bdeloc_158bde:
00158bdecmp rax, 1
00158be2je 0x158c14
00158be4mov eax, 1
00158be9call camlText.close_display_1762
00158beemov eax, 1
00158bf3call camlText.close_display_1762
00158bf8lea rbx, [rip+0x18ef39]
00158bfflea rax, [rip+0x18fa5a]
00158c06call camlText.tr_block_630
00158c0bcall camlText.do_close_block_1239
00158c10jmp 0x158c28
00158c12
00158c12 66 90 f.
00158c14
00158c14loc_158c14:
00158c14lea rbx, [rip+0x18ef1d]
00158c1bmov rax, rbx
00158c1ecall camlText.tr_block_630
00158c23call camlText.do_close_block_1239
00158c28
00158c28loc_158c28:
00158c28lea rax, [rip+0x1d1441]
00158c2fmov rax, [rax+80]
00158c33mov rax, [rax]
00158c36cmp rax, 3
00158c3ajle 0x158c48
00158c3clea rax, [rip+0x18eded]
00158c43jmp 0x196d50
00158c48
00158c48loc_158c48:
00158c48mov eax, 1
00158c4dret
00158c4e
00158c4eloc_158c4e:
00158c4epush 33
00158c50call caml_call_realloc_stack
00158c55pop r10
00158c57jmp 0x158bde
00158bd0

00158c59
00158c59 // align 0x10

00158c60
00158c60camlText.open_vdisplay_1787:
00158c60lea rbx, [rip+0x18eed1]
00158c67lea rax, [rip+0x1d1402]
00158c6emov rax, [rax+80]
00158c72mov rax, [rax]
00158c75cmp rax, 3
00158c79setg al
00158c7cmovzx rax, al
00158c80lea rax, [rax+rax+1]
00158c85jmp 0x154a30
00158c60

00158c8a
00158c8a // align 0x10

00158c90
00158c90camlText.close_vdisplay_1788:
00158c90mov eax, 1
00158c95jmp 0x1574f0
00158c90

00158c9a
00158c9a // align 0x10

00158ca0
00158ca0camlText.open_vdisplay_row_1789:
00158ca0lea r10, [rsp-328]
00158ca8cmp r10, [r14+40]
00158cacjb 0x158d26
00158cae
00158caeloc_158cae:
00158caesub rsp, 8
00158cb2mov [rsp], rax
00158cb6mov eax, 1
00158cbbcall camlText.new_row_1571
00158cc0lea rax, [rip+0x1d13a9]
00158cc7mov rax, [rax+80]
00158ccbmov rax, [rax]
00158ccecmp rax, 1
00158cd2jle 0x158ce0
00158cd4lea rax, [rip+0x18f845]
00158cdbcall camlText.make_border_1631
00158ce0
00158ce0loc_158ce0:
00158ce0mov rax, [rsp]
00158ce4call camlText.formated_1741
00158ce9mov esi, 1
00158ceemov edi, 1
00158cf3mov ebx, 3
00158cf8call camlText.open_cell_1595
00158cfdlea rax, [rip+0x18ddb4]
00158d04mov rax, [rax+1128]
00158d0bmov rax, [rax]
00158d0emov [rax+64], 3
00158d16lea rax, [rip+0x18ee1b]
00158d1dadd rsp, 8
00158d21jmp 0x158780
00158d26
00158d26loc_158d26:
00158d26push 34
00158d28call caml_call_realloc_stack
00158d2dpop r10
00158d2fjmp 0x158cae
00158ca0

00158d34
00158d34 // align 0x10

00158d40
00158d40camlText.close_vdisplay_row_1790:
00158d40lea r10, [rsp-320]
00158d48cmp r10, [r14+40]
00158d4cjb 0x158dd2
00158d52
00158d52loc_158d52:
00158d52mov eax, 1
00158d57call camlText.close_display_1762
00158d5clea rax, [rip+0x1d130d]
00158d63mov rax, [rax+80]
00158d67mov rax, [rax]
00158d6acmp rax, 1
00158d6ejle 0x158d7c
00158d70lea rax, [rip+0x190231]
00158d77call camlText.make_border_1631
00158d7c
00158d7cloc_158d7c:
00158d7cmov eax, 1
00158d81call camlText.do_close_cell_1601
00158d86lea rax, [rip+0x18dd2b]
00158d8dmov rax, [rax+1128]
00158d94mov rax, [rax]
00158d97mov [rax+64], 1
00158d9fmov eax, 1
00158da4call camlText.close_row_1624
00158da9lea rax, [rip+0x1d12c0]
00158db0mov rax, [rax+80]
00158db4mov rax, [rax]
00158db7cmp rax, 1
00158dbbjle 0x158dcc
00158dbdmov ebx, 1
00158dc2mov eax, 1
00158dc7jmp 0x1569d0
00158dcc
00158dccloc_158dcc:
00158dccmov eax, 1
00158dd1ret
00158dd2
00158dd2loc_158dd2:
00158dd2push 33
00158dd4call caml_call_realloc_stack
00158dd9pop r10
00158ddbjmp 0x158d52
00158d40

00158de0
00158de0camlText.insert_sup_sub_1799:
00158de0lea r10, [rsp-352]
00158de8cmp r10, [r14+40]
00158decjb 0x158f80
00158df2
00158df2loc_158df2:
00158df2sub rsp, 32
00158df6mov eax, 1
00158dfbcall camlText.pop_freeze_1751
00158e00mov [rsp+16], rax
00158e05lea rax, [rip+0x18dcac]
00158e0cmov rax, [rax+768]
00158e13call camlText.pop_out_777
00158e18mov [rsp+8], rax
00158e1dmov rax, [rax]
00158e20mov [rsp], rax
00158e24cmp rax, 29
00158e28je 0x158e52
00158e2acall camlText.pp_block_727
00158e2fmov [rsp+24], rax
00158e34lea rax, [rip+0x18eb45]
00158e3bcall Stdlib.Printf.sprintf
00158e40mov rbx, rax
00158e43mov rdi, [rbx]
00158e46mov rax, [rsp+24]
00158e4bcall rdi
00158e4dcall camlText.failclose_454
00158e52
00158e52loc_158e52:
00158e52mov esi, 3
00158e57mov edi, 1
00158e5cmov ebx, 1
00158e61mov eax, 1
00158e66call camlText.newstatus_796
00158e6bmov [rsp+24], rax
00158e70sub r15, 32
00158e74cmp r15, [r14]
00158e77jb 0x158f76
00158e7d
00158e7dloc_158e7d:
00158e7dlea rbx, [r15+8]
00158e81mov [rbx-8], 3072
00158e89mov rdi, [rsp]
00158e8dmov [rbx], rdi
00158e90mov rdi, [rsp+8]
00158e95mov rdi, [rdi+8]
00158e99mov [rbx+8], rdi
00158e9dmov [rbx+16], rax
00158ea1lea rax, [rip+0x18dc10]
00158ea8mov rax, [rax+768]
00158eafcall camlText.push_out_764
00158eb4lea rbx, [rip+0x18ec7d]
00158ebbmov rax, rbx
00158ebecall camlText.tr_block_630
00158ec3call camlText.do_close_block_1239
00158ec8mov rax, [rsp+8]
00158ecdmov rsi, [rax+16]
00158ed1lea rax, [rip+0x18dbe0]
00158ed8mov rdi, [rax+792]
00158edfmov rbx, rsp
00158ee2mov rsp, [r14+64]
00158ee6call caml_modify
00158eebmov rsp, rbx
00158eeemov eax, 1
00158ef3lea rdi, [rip+0x18ec3e]
00158efamov rbx, rdi
00158efdcall camlText.open_block_inner_2309
00158f02mov rbx, [rsp+16]
00158f07mov rax, [rbx+8]
00158f0bcmp rax, 1
00158f0fje 0x158f19
00158f11mov rax, [rbx]
00158f14call camlText.freeze_1744
00158f19
00158f19loc_158f19:
00158f19lea rax, [rip+0x18ec18]
00158f20call camlText.open_display_1756
00158f25mov rax, [rsp+24]
00158f2amov rax, [rax+16]
00158f2ecall camlDoOut.to_string_830
00158f33mov [rsp], rax
00158f37call camlText.do_put_1141
00158f3clea rsi, [rip+0x18ebf5]
00158f43mov rdi, [rsp]
00158f47mov rbx, rsp
00158f4amov rsp, [r14+64]
00158f4ecall caml_string_equal
00158f53mov rsp, rbx
00158f56lea rbx, [rip+0x18db5b]
00158f5dmov rbx, [rbx+824]
00158f64mov [rbx+8], rax
00158f68mov rax, [rsp+24]
00158f6dadd rsp, 32
00158f71jmp 0x150050
00158f76
00158f76loc_158f76:
00158f76call caml_call_gc
00158f7bjmp 0x158e7d
00158f80
00158f80loc_158f80:
00158f80push 37
00158f82call caml_call_realloc_stack
00158f87pop r10
00158f89jmp 0x158df2
00158de0

00158f8e
00158f8e // align 0x10

00158f90
00158f90camlText.standard_sup_sub_1809:
00158f90lea r10, [rsp-368]
00158f98cmp r10, [r14+40]
00158f9cjb 0x1592e4
00158fa2
00158fa2loc_158fa2:
00158fa2sub rsp, 48
00158fa6mov [rsp+8], rax
00158fabmov [rsp+32], rdi
00158fb0mov [rsp+40], rsi
00158fb5cmp r15, [r14]
00158fb8jbe 0x1592da
00158fbe
00158fbeloc_158fbe:
00158fbecmp rdx, 1
00158fc2je 0x159238
00158fc8mov [rsp+24], rbx
00158fcdmov eax, 1
00158fd2call camlText.insert_sup_sub_1799
00158fd7mov rax, [rsp+32]
00158fdcmov rax, [rax]
00158fdfmov rbx, [rsp+40]
00158fe4mov rbx, [rbx]
00158fe7mov rdi, [rax-8]
00158febshr rdi, 10
00158fefcmp rdi, 2
00158ff3jge 0x159060
00158ff5mov rax, [rax]
00158ff8mov rdi, 0x700000000000000
00159002cmp rax, rdi
00159005jne 0x159060
00159007mov rax, [rbx-8]
0015900bshr rax, 10
0015900fcmp rax, 2
00159013jge 0x159038
00159015mov rax, [rbx]
00159018mov rbx, 0x700000000000000
00159022cmp rax, rbx
00159025jne 0x159038
00159027lea rax, [rip+0x18e942]
0015902emov rbx, rax
00159031mov [rsp], rax
00159035jmp 0x1590b6
00159037nop
00159038
00159038loc_159038:
00159038lea rax, [rip+0x18e909]
0015903fcall camlText.formated_1741
00159044call camlText.change_format_1575
00159049lea rax, [rip+0x18e920]
00159050lea rbx, [rip+0x18e8e1]
00159057mov [rsp], rax
0015905bjmp 0x1590b6
0015905dnop [rax]
00159060
00159060loc_159060:
00159060mov rax, [rbx-8]
00159064shr rax, 10
00159068cmp rax, 2
0015906cjge 0x1590a8
0015906emov rax, [rbx]
00159071mov rbx, 0x700000000000000
0015907bcmp rax, rbx
0015907ejne 0x1590a8
00159080lea rax, [rip+0x18e8a1]
00159087call camlText.formated_1741
0015908ccall camlText.change_format_1575
00159091lea rax, [rip+0x18e880]
00159098lea rbx, [rip+0x18e8a9]
0015909fmov [rsp], rax
001590a3jmp 0x1590b6
001590a5nop [rax]
001590a8
001590a8loc_1590a8:
001590a8lea rax, [rip+0x18e8c1]
001590afmov rbx, rax
001590b2mov [rsp], rax
001590b6
001590b6loc_1590b6:
001590b6lea rax, [rip+0x18d9fb]
001590bdmov rax, [rax+824]
001590c4mov rax, [rax+8]
001590c8mov [rsp+16], rax
001590cdmov rax, rbx
001590d0call camlText.item_display_format_1770
001590d5lea rsi, [rip+0x18ea5c]
001590dcmov rax, [rsp+32]
001590e1mov rdi, [rax]
001590e4mov rbx, rsp
001590e7mov rsp, [r14+64]
001590ebcall caml_string_notequal
001590f0mov rsp, rbx
001590f3cmp rax, 1
001590f7jne 0x159134
001590f9lea rsi, [rip+0x18ea38]
00159100mov rax, [rsp+40]
00159105mov rdi, [rax]
00159108mov rbx, rsp
0015910bmov rsp, [r14+64]
0015910fcall caml_string_notequal
00159114mov rsp, rbx
00159117cmp rax, 1
0015911bjne 0x159134
0015911dmov eax, 1
00159122mov rbx, [rsp+24]
00159127mov rdi, [rbx]
0015912acall rdi
0015912cjmp 0x159210
00159131nop [rax]
00159134
00159134loc_159134:
00159134lea rbx, [rip+0x18e9fd]
0015913blea rax, [rip+0x1d0f2e]
00159142mov rax, [rax+80]
00159146mov rax, [rax]
00159149cmp rax, 3
0015914dsetg al
00159150movzx rax, al
00159154lea rax, [rax+rax+1]
00159159call camlText.open_table_1557
0015915elea rax, [rip+0x18e7e3]
00159165call camlText.open_vdisplay_row_1789
0015916amov rbx, [rsp+8]
0015916fmov rdi, [rbx]
00159172mov rax, [rsp+32]
00159177call rdi
00159179mov eax, 1
0015917ecall camlText.close_vdisplay_row_1790
00159183lea rax, [rip+0x18e79e]
0015918acall camlText.open_vdisplay_row_1789
0015918fmov eax, 1
00159194mov rbx, [rsp+24]
00159199mov rdi, [rbx]
0015919ccall rdi
0015919emov eax, 1
001591a3call camlText.close_vdisplay_row_1790
001591a8lea rsi, [rip+0x18e989]
001591afmov rax, [rsp+40]
001591b4mov rdi, [rax]
001591b7mov rbx, rsp
001591bamov rsp, [r14+64]
001591becall caml_string_notequal
001591c3mov rsp, rbx
001591c6cmp rax, 1
001591cajne 0x1591d7
001591ccmov rax, [rsp+16]
001591d1cmp rax, 1
001591d5je 0x1591fc
001591d7
001591d7loc_1591d7:
001591d7lea rax, [rip+0x18e75a]
001591decall camlText.open_vdisplay_row_1789
001591e3mov rbx, [rsp+8]
001591e8mov rdi, [rbx]
001591ebmov rax, [rsp+40]
001591f0call rdi
001591f2mov eax, 1
001591f7call camlText.close_vdisplay_row_1790
001591fc
001591fcloc_1591fc:
001591fcmov eax, 1
00159201call camlText.close_table_1695
00159206mov eax, 1
0015920bcall camlText.item_display_1765
00159210
00159210loc_159210:
00159210mov eax, 1
00159215call camlText.close_display_1762
0015921amov rax, [rsp]
0015921ecall camlText.formated_1741
00159223call camlText.change_format_1575
00159228mov eax, 1
0015922dadd rsp, 48
00159231jmp 0x1588e0
00159236nop
00159238
00159238loc_159238:
00159238mov eax, 1
0015923dmov rdi, [rbx]
00159240call rdi
00159242lea rsi, [rip+0x18e8ef]
00159249mov r12, [rsp+40]
0015924emov rdi, [r12]
00159252mov rbx, rsp
00159255mov rsp, [r14+64]
00159259call caml_string_notequal
0015925emov rsp, rbx
00159261cmp rax, 1
00159265je 0x159287
00159267mov [rsp+40], r12
0015926clea rax, [rip+0x18e695]
00159273call camlText.put_1298
00159278mov rbx, [rsp+8]
0015927dmov rdi, [rbx]
00159280mov rax, [rsp+40]
00159285call rdi
00159287
00159287loc_159287:
00159287lea rsi, [rip+0x18e8aa]
0015928emov r12, [rsp+32]
00159293mov rdi, [r12]
00159297mov rbx, rsp
0015929amov rsp, [r14+64]
0015929ecall caml_string_notequal
001592a3mov rsp, rbx
001592a6cmp rax, 1
001592aaje 0x1592d0
001592acmov [rsp+32], r12
001592b1lea rax, [rip+0x18e640]
001592b8call camlText.put_1298
001592bdmov rbx, [rsp+8]
001592c2mov rdi, [rbx]
001592c5mov rax, [rsp+32]
001592caadd rsp, 48
001592cejmp rdi
001592d0
001592d0loc_1592d0:
001592d0mov eax, 1
001592d5add rsp, 48
001592d9ret
001592da
001592daloc_1592da:
001592dacall caml_call_gc
001592dfjmp 0x158fbe
001592e4
001592e4loc_1592e4:
001592e4push 39
001592e6call caml_call_realloc_stack
001592ebpop r10
001592edjmp 0x158fa2
00158f90

001592f2
001592f2 // align 0x10

00159300
00159300camlText.limit_sup_sub_1810:
00159300lea r10, [rsp-352]
00159308cmp r10, [r14+40]
0015930cjb 0x1593e3
00159312
00159312loc_159312:
00159312sub rsp, 32
00159316mov [rsp+16], rax
0015931bmov [rsp+8], rbx
00159320mov [rsp], rdi
00159324mov [rsp+24], rsi
00159329mov eax, 1
0015932ecall camlText.item_display_1765
00159333lea rbx, [rip+0x18e7fe]
0015933alea rax, [rip+0x1d0d2f]
00159341mov rax, [rax+80]
00159345mov rax, [rax]
00159348cmp rax, 3
0015934csetg al
0015934fmovzx rax, al
00159353lea rax, [rax+rax+1]
00159358call camlText.open_table_1557
0015935dlea rax, [rip+0x18e60c]
00159364call camlText.open_vdisplay_row_1789
00159369mov rbx, [rsp+16]
0015936emov rdi, [rbx]
00159371mov rax, [rsp]
00159375call rdi
00159377mov eax, 1
0015937ccall camlText.close_vdisplay_row_1790
00159381lea rax, [rip+0x18e5e8]
00159388call camlText.open_vdisplay_row_1789
0015938dmov eax, 1
00159392mov rbx, [rsp+8]
00159397mov rdi, [rbx]
0015939acall rdi
0015939cmov eax, 1
001593a1call camlText.close_vdisplay_row_1790
001593a6lea rax, [rip+0x18e5c3]
001593adcall camlText.open_vdisplay_row_1789
001593b2mov rbx, [rsp+16]
001593b7mov rdi, [rbx]
001593bamov rax, [rsp+24]
001593bfcall rdi
001593c1mov eax, 1
001593c6call camlText.close_vdisplay_row_1790
001593cbmov eax, 1
001593d0call camlText.close_table_1695
001593d5mov eax, 1
001593daadd rsp, 32
001593dejmp 0x1588e0
001593e3
001593e3loc_1593e3:
001593e3push 37
001593e5call caml_call_realloc_stack
001593eapop r10
001593ecjmp 0x159312
00159300

001593f1
001593f1 // align 0x10

00159400
00159400camlText.int_sup_sub_1811:
00159400lea r10, [rsp-344]
00159408cmp r10, [r14+40]
0015940cjb 0x1594ee
00159412
00159412loc_159412:
00159412sub rsp, 24
00159416mov [rsp+8], rdi
0015941bmov rbx, rsi
0015941emov [rsp], rdx
00159422mov [rsp+16], rcx
00159427cmp rax, 1
0015942bje 0x159437
0015942dmov eax, 1
00159432mov rdi, [rbx]
00159435call rdi
00159437
00159437loc_159437:
00159437mov eax, 1
0015943ccall camlText.item_display_1765
00159441lea rbx, [rip+0x18e6f0]
00159448lea rax, [rip+0x1d0c21]
0015944fmov rax, [rax+80]
00159453mov rax, [rax]
00159456cmp rax, 3
0015945asetg al
0015945dmovzx rax, al
00159461lea rax, [rax+rax+1]
00159466call camlText.open_table_1557
0015946blea rax, [rip+0x18e4b6]
00159472call camlText.open_vdisplay_row_1789
00159477mov rbx, [rsp+8]
0015947cmov rdi, [rbx]
0015947fmov rax, [rsp]
00159483call rdi
00159485mov eax, 1
0015948acall camlText.close_vdisplay_row_1790
0015948flea rax, [rip+0x18e492]
00159496call camlText.open_vdisplay_row_1789
0015949blea rax, [rip+0x18e696]
001594a2call camlText.put_1298
001594a7mov eax, 1
001594accall camlText.close_vdisplay_row_1790
001594b1lea rax, [rip+0x18e470]
001594b8call camlText.open_vdisplay_row_1789
001594bdmov rbx, [rsp+8]
001594c2mov rdi, [rbx]
001594c5mov rax, [rsp+16]
001594cacall rdi
001594ccmov eax, 1
001594d1call camlText.close_vdisplay_row_1790
001594d6mov eax, 1
001594dbcall camlText.close_table_1695
001594e0mov eax, 1
001594e5add rsp, 24
001594e9jmp 0x1588e0
001594ee
001594eeloc_1594ee:
001594eepush 36
001594f0call caml_call_realloc_stack
001594f5pop r10
001594f7jmp 0x159412
00159400

001594fc
001594fc // align 0x10

00159500
00159500camlText.insert_vdisplay_1835:
00159500lea r10, [rsp-392]
00159508cmp r10, [r14+40]
0015950cjb 0x15978d
00159512
00159512loc_159512:
00159512sub rsp, 72
00159516mov [rsp+56], rax
0015951blea rax, [rip+0x18d596]
00159522mov rax, [rax+768]
00159529call camlText.pop_out_777
0015952emov [rsp+40], rax
00159533mov rax, [rax]
00159536mov [rsp+32], rax
0015953bcmp rax, 29
0015953fje 0x159567
00159541call camlText.pp_block_727
00159546mov [rsp], rax
0015954alea rax, [rip+0x18e2bf]
00159551call Stdlib.Printf.sprintf
00159556mov rbx, rax
00159559mov rdi, [rbx]
0015955cmov rax, [rsp]
00159560call rdi
00159562call camlText.failclose_454
00159567
00159567loc_159567:
00159567lea rax, [rip+0x18d54a]
0015956emov rax, [rax+768]
00159575call camlText.pop_out_777
0015957amov [rsp+24], rax
0015957fmov rax, [rax]
00159582mov [rsp+16], rax
00159587cmp rax, 19
0015958bje 0x1595b3
0015958dcall camlText.pp_block_727
00159592mov [rsp], rax
00159596lea rax, [rip+0x18e1c3]
0015959dcall Stdlib.Printf.sprintf
001595a2mov rbx, rax
001595a5mov rdi, [rbx]
001595a8mov rax, [rsp]
001595accall rdi
001595aecall camlText.failclose_454
001595b3
001595b3loc_1595b3:
001595b3lea rax, [rip+0x18d4fe]
001595bamov rax, [rax+768]
001595c1call camlText.pop_out_777
001595c6mov [rsp+8], rax
001595cbmov rbx, [rax+16]
001595cfmov [rsp+48], rbx
001595d4mov rax, [rax]
001595d7mov [rsp], rax
001595dbcmp rax, 29
001595dfje 0x159609
001595e1call camlText.pp_block_727
001595e6mov [rsp+64], rax
001595eblea rax, [rip+0x18e0a6]
001595f2call Stdlib.Printf.sprintf
001595f7mov rbx, rax
001595famov rdi, [rbx]
001595fdmov rax, [rsp+64]
00159602call rdi
00159604call camlText.failclose_454
00159609
00159609loc_159609:
00159609mov rax, [rsp+48]
0015960emov rsi, [rax+24]
00159612mov edi, 1
00159617mov ebx, 1
0015961cmov eax, 1
00159621call camlText.newstatus_796
00159626mov [rsp+64], rax
0015962bsub r15, 32
0015962fcmp r15, [r14]
00159632jb 0x159783
00159638
00159638loc_159638:
00159638lea rbx, [r15+8]
0015963cmov [rbx-8], 3072
00159644mov rdi, [rsp]
00159648mov [rbx], rdi
0015964bmov rdi, [rsp+8]
00159650mov rdi, [rdi+8]
00159654mov [rbx+8], rdi
00159658mov [rbx+16], rax
0015965clea rax, [rip+0x18d455]
00159663mov rax, [rax+768]
0015966acall camlText.push_out_764
0015966fsub r15, 32
00159673cmp r15, [r14]
00159676jb 0x159779
0015967c
0015967cloc_15967c:
0015967clea rbx, [r15+8]
00159680mov [rbx-8], 3072
00159688mov rax, [rsp+16]
0015968dmov [rbx], rax
00159690mov rdi, [rsp+24]
00159695mov rax, [rdi+8]
00159699mov [rbx+8], rax
0015969dmov rax, [rdi+16]
001596a1mov [rbx+16], rax
001596a5lea rax, [rip+0x18d40c]
001596acmov rax, [rax+768]
001596b3call camlText.push_out_764
001596b8sub r15, 32
001596bccmp r15, [r14]
001596bfjb 0x15976f
001596c5
001596c5loc_1596c5:
001596c5lea rbx, [r15+8]
001596c9mov [rbx-8], 3072
001596d1mov rax, [rsp+32]
001596d6mov [rbx], rax
001596d9mov rdi, [rsp+40]
001596demov rax, [rdi+8]
001596e2mov [rbx+8], rax
001596e6mov rax, [rdi+16]
001596eamov [rbx+16], rax
001596eelea rax, [rip+0x18d3c3]
001596f5mov rax, [rax+768]
001596fccall camlText.push_out_764
00159701mov eax, 1
00159706call camlText.close_display_1762
0015970blea rax, [rip+0x18d3a6]
00159712mov rdi, [rax+792]
00159719mov rsi, [rsp+48]
0015971emov rbx, rsp
00159721mov rsp, [r14+64]
00159725call caml_modify
0015972amov rsp, rbx
0015972dlea rax, [rip+0x18e404]
00159734call camlText.open_display_1756
00159739mov eax, 1
0015973emov rbx, [rsp+56]
00159743mov rdi, [rbx]
00159746call rdi
00159748mov rax, [rsp+64]
0015974dmov rax, [rax+16]
00159751call camlDoOut.to_string_830
00159756call camlText.put_1298
0015975bmov rax, [rsp+64]
00159760call camlText.free_789
00159765mov eax, 1
0015976aadd rsp, 72
0015976eret
0015976f
0015976floc_15976f:
0015976fcall caml_call_gc
00159774jmp 0x1596c5
00159779
00159779loc_159779:
00159779call caml_call_gc
0015977ejmp 0x15967c
00159783
00159783loc_159783:
00159783call caml_call_gc
00159788jmp 0x159638
0015978d
0015978dloc_15978d:
0015978dpush 42
0015978fcall caml_call_realloc_stack
00159794pop r10
00159796jmp 0x159512
00159500

0015979b
0015979b // align 0x10

001597a0
001597a0camlText.addvsize_1849:
001597a0lea rbx, [rip+0x18d311]
001597a7mov rbx, [rbx+824]
001597aemov rdi, [rbx+136]
001597b5lea rax, [rdi+rax-1]
001597bamov [rbx+136], rax
001597c1mov eax, 1
001597c6ret
001597a0

001597c7
001597c7 // align 0x10

001597d0
001597d0camlText.over_1852:
001597d0lea r10, [rsp-320]
001597d8cmp r10, [r14+40]
001597dcjb 0x15981b
001597de
001597deloc_1597de:
001597delea rax, [rip+0x18c34b]
001597e5call camlText.insert_vdisplay_1835
001597eamov eax, 1
001597efcall camlText.close_vdisplay_row_1790
001597f4mov ebx, 1
001597f9mov eax, 1
001597fecall camlText.make_hline_1642
00159803lea rax, [rip+0x18e166]
0015980acall camlText.open_vdisplay_row_1789
0015980flea rax, [rip+0x18c332]
00159816jmp 0x1584e0
0015981b
0015981bloc_15981b:
0015981bpush 33
0015981dcall caml_call_realloc_stack
00159822pop r10
00159824jmp 0x1597de
001597d0

00159826
00159826 // align 0x10

00159830
00159830camlText.fun_2534:
00159830lea r10, [rsp-320]
00159838cmp r10, [r14+40]
0015983cjb 0x159874
0015983e
0015983eloc_15983e:
0015983elea rbx, [rip+0x18e2f3]
00159845lea rax, [rip+0x1d0824]
0015984cmov rax, [rax+80]
00159850mov rax, [rax]
00159853cmp rax, 3
00159857setg al
0015985amovzx rax, al
0015985elea rax, [rax+rax+1]
00159863call camlText.open_table_1557
00159868lea rax, [rip+0x18e101]
0015986fjmp 0x158ca0
00159874
00159874loc_159874:
00159874push 33
00159876call caml_call_realloc_stack
0015987bpop r10
0015987djmp 0x15983e
00159830

0015987f
0015987f // align 0x10

00159880
00159880camlText.fun_2537:
00159880lea r10, [rsp-320]
00159888cmp r10, [r14+40]
0015988cjb 0x1598ac
0015988e
0015988eloc_15988e:
0015988emov eax, 1
00159893call camlText.close_vdisplay_row_1790
00159898mov eax, 1
0015989dcall camlText.close_table_1695
001598a2mov eax, 1
001598a7jmp 0x158850
001598ac
001598acloc_1598ac:
001598acpush 33
001598aecall caml_call_realloc_stack
001598b3pop r10
001598b5jmp 0x15988e
00159880

001598b7
001598b7 // align 0x10

001598c0
001598c0camlText.translate_1857:
001598c0mov rbx, [rax-8]
001598c4shr rbx, 10
001598c8cmp rbx, 2
001598ccjge 0x159940
001598cemov rbx, [rax]
001598d1mov rdi, 0x60000000000003c
001598dbcmp rbx, rdi
001598dejge 0x159910
001598e0mov rdi, 0x500000000007b5c
001598eacmp rbx, rdi
001598edjne 0x1598f8
001598eflea rax, [rip+0x18e1aa]
001598f6ret
001598f7
001598f7 90 .
001598f8
001598f8loc_1598f8:
001598f8mov rdi, 0x500000000007d5c
00159902cmp rbx, rdi
00159905jne 0x159940
00159907lea rax, [rip+0x18ee92]
0015990eret
0015990f
0015990f 90 .
00159910
00159910loc_159910:
00159910mov rdi, 0x60000000000003c
0015991acmp rbx, rdi
0015991djne 0x159928
0015991flea rax, [rip+0x18dd62]
00159926ret
00159927
00159927 90 .
00159928
00159928loc_159928:
00159928mov rdi, 0x60000000000003e
00159932cmp rbx, rdi
00159935jne 0x159940
00159937lea rax, [rip+0x18dd3a]
0015993eret
0015993f
0015993f 90 .
00159940
00159940loc_159940:
00159940ret
001598c0

00159941
00159941 // align 0x10

00159950
00159950camlText.left_1860:
00159950lea r10, [rsp-336]
00159958cmp r10, [r14+40]
0015995cjb 0x1599da
0015995e
0015995eloc_15995e:
0015995esub rsp, 16
00159962mov [rsp], rax
00159966mov [rsp+8], rdi
0015996bmov eax, 1
00159970call camlText.item_display_1765
00159975lea rax, [rip+0x18e1bc]
0015997ccall camlText.open_display_1756
00159981lea rax, [rip+0x18d130]
00159988mov rax, [rax+1128]
0015998fmov rax, [rax]
00159992mov [rax+64], 1
0015999amov rax, [rsp]
0015999ecall camlText.translate_1857
001599a3call camlText.make_border_1631
001599a8mov eax, 7
001599admov rbx, [rsp+8]
001599b2mov rdi, [rbx]
001599b5call rdi
001599b7lea rax, [rip+0x18d0fa]
001599bemov rax, [rax+1128]
001599c5mov rax, [rax]
001599c8mov [rax+64], 3
001599d0mov eax, 1
001599d5add rsp, 16
001599d9ret
001599da
001599daloc_1599da:
001599dapush 35
001599dccall caml_call_realloc_stack
001599e1pop r10
001599e3jmp 0x15995e
00159950

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