File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    00186f40
    00186f40camlSaveUtils.entry:
    00186f40lea r10, [rsp-344]
    00186f48cmp r10, [r14+40]
    00186f4cjb 0x18747e
    00186f52
    00186f52loc_186f52:
    00186f52sub rsp, 24
    00186f56call caml_alloc3
    00186f5blea rsi, [r15+8]
    00186f5fadd rsi, 16
    00186f63mov [rsi-8], 1024
    00186f6bmov [rsi], 1
    00186f72lea r12, [rsi-16]
    00186f76mov [r12-8], 1024
    00186f7fmov [r12], 1
    00186f87lea rdi, [rip+0x19a5b2]
    00186f8emov rbx, rsp
    00186f91mov rsp, [r14+64]
    00186f95call caml_initialize
    00186f9amov rsp, rbx
    00186f9dlea rdi, [rip+0x19a59c]
    00186fa4add rdi, 8
    00186fa8mov rsi, r12
    00186fabmov rbx, rsp
    00186faemov rsp, [r14+64]
    00186fb2call caml_initialize
    00186fb7mov rsp, rbx
    00186fbalea rsi, [rip+0x19a487]
    00186fc1lea rdi, [rip+0x19a578]
    00186fc8add rdi, 16
    00186fccmov rbx, rsp
    00186fcfmov rsp, [r14+64]
    00186fd3call caml_initialize
    00186fd8mov rsp, rbx
    00186fdbmov edi, 1
    00186fe0mov rbx, rsp
    00186fe3mov rsp, [r14+64]
    00186fe7call caml_fresh_oo_id
    00186fecmov rsp, rbx
    00186fefcall caml_alloc2
    00186ff4lea rsi, [r15+8]
    00186ff8mov [rsi-8], 2296
    00187000lea rbx, [rip+0x19a6b9]
    00187007mov [rsi], rbx
    0018700amov [rsi+8], rax
    0018700elea rdi, [rip+0x19a52b]
    00187015add rdi, 24
    00187019mov rbx, rsp
    0018701cmov rsp, [r14+64]
    00187020call caml_initialize
    00187025mov rsp, rbx
    00187028mov edi, 1
    0018702dmov rbx, rsp
    00187030mov rsp, [r14+64]
    00187034call caml_fresh_oo_id
    00187039mov rsp, rbx
    0018703ccall caml_alloc2
    00187041lea rsi, [r15+8]
    00187045mov [rsi-8], 2296
    0018704dlea rbx, [rip+0x19a654]
    00187054mov [rsi], rbx
    00187057mov [rsi+8], rax
    0018705blea rdi, [rip+0x19a4de]
    00187062add rdi, 32
    00187066mov rbx, rsp
    00187069mov rsp, [r14+64]
    0018706dcall caml_initialize
    00187072mov rsp, rbx
    00187075call caml_alloc1
    0018707alea rsi, [r15+8]
    0018707emov [rsi-8], 1024
    00187086mov [rsi], 1
    0018708dlea rdi, [rip+0x19a4ac]
    00187094add rdi, 40
    00187098mov rbx, rsp
    0018709bmov rsp, [r14+64]
    0018709fcall caml_initialize
    001870a4mov rsp, rbx
    001870a7call caml_alloc1
    001870aclea rax, [r15+8]
    001870b0mov [rsp], rax
    001870b4mov [rax-8], 1024
    001870bcmov [rax], 1
    001870c3lea rax, [rip+0x19a92e]
    001870camov rax, [rax]
    001870cdmov rbx, [rax+16]
    001870d1mov eax, 1
    001870d6call camlDoOut.alloc_buff_526
    001870dbcall caml_alloc1
    001870e0lea rbx, [r15+8]
    001870e4mov [rsp+8], rbx
    001870e9mov [rbx-8], 1024
    001870f1mov [rbx], rax
    001870f4lea rax, [rip+0x19a8fd]
    001870fbmov rax, [rax]
    001870femov rbx, [rax+16]
    00187102mov eax, 1
    00187107call camlDoOut.alloc_buff_526
    0018710ccall caml_alloc1
    00187111lea rbx, [r15+8]
    00187115mov [rsp+16], rbx
    0018711amov [rbx-8], 1024
    00187122mov [rbx], rax
    00187125lea rax, [rip+0x19a8cc]
    0018712cmov rax, [rax]
    0018712fmov rbx, [rax+16]
    00187133mov eax, 1
    00187138call camlDoOut.alloc_buff_526
    0018713dcall caml_alloc1
    00187142lea r12, [r15+8]
    00187146mov [r12-8], 1024
    0018714fmov [r12], rax
    00187153lea rdi, [rip+0x19a3e6]
    0018715aadd rdi, 48
    0018715emov rsi, [rsp]
    00187162mov rbx, rsp
    00187165mov rsp, [r14+64]
    00187169call caml_initialize
    0018716emov rsp, rbx
    00187171lea rdi, [rip+0x19a3c8]
    00187178add rdi, 56
    0018717cmov rsi, [rsp+8]
    00187181mov rbx, rsp
    00187184mov rsp, [r14+64]
    00187188call caml_initialize
    0018718dmov rsp, rbx
    00187190lea rdi, [rip+0x19a3a9]
    00187197add rdi, 64
    0018719bmov rsi, [rsp+16]
    001871a0mov rbx, rsp
    001871a3mov rsp, [r14+64]
    001871a7call caml_initialize
    001871acmov rsp, rbx
    001871aflea rdi, [rip+0x19a38a]
    001871b6add rdi, 72
    001871bamov rsi, r12
    001871bdmov rbx, rsp
    001871c0mov rsp, [r14+64]
    001871c4call caml_initialize
    001871c9mov rsp, rbx
    001871cccall caml_alloc1
    001871d1lea rsi, [r15+8]
    001871d5mov [rsi-8], 1024
    001871ddmov [rsi], 1
    001871e4lea rdi, [rip+0x19a355]
    001871ebadd rdi, 80
    001871efmov rbx, rsp
    001871f2mov rsp, [r14+64]
    001871f6call caml_initialize
    001871fbmov rsp, rbx
    001871felea rsi, [rip+0x19a27b]
    00187205lea r12, [rip+0x19a25c]
    0018720clea rdi, [rip+0x19a32d]
    00187213add rdi, 88
    00187217mov rbx, rsp
    0018721amov rsp, [r14+64]
    0018721ecall caml_initialize
    00187223mov rsp, rbx
    00187226lea rdi, [rip+0x19a313]
    0018722dadd rdi, 96
    00187231mov rsi, r12
    00187234mov rbx, rsp
    00187237mov rsp, [r14+64]
    0018723bcall caml_initialize
    00187240mov rsp, rbx
    00187243lea rsi, [rip+0x19a24e]
    0018724alea rdi, [rip+0x19a2ef]
    00187251add rdi, 104
    00187255mov rbx, rsp
    00187258mov rsp, [r14+64]
    0018725ccall caml_initialize
    00187261mov rsp, rbx
    00187264lea rsi, [rip+0x19a245]
    0018726blea rdi, [rip+0x19a2ce]
    00187272add rdi, 112
    00187276mov rbx, rsp
    00187279mov rsp, [r14+64]
    0018727dcall caml_initialize
    00187282mov rsp, rbx
    00187285lea rsi, [rip+0x19a23c]
    0018728clea rdi, [rip+0x19a2ad]
    00187293add rdi, 120
    00187297mov rbx, rsp
    0018729amov rsp, [r14+64]
    0018729ecall caml_initialize
    001872a3mov rsp, rbx
    001872a6mov edi, 1
    001872abmov rbx, rsp
    001872aemov rsp, [r14+64]
    001872b2call caml_fresh_oo_id
    001872b7mov rsp, rbx
    001872bacall caml_alloc2
    001872bflea rsi, [r15+8]
    001872c3mov [rsi-8], 2296
    001872cblea rbx, [rip+0x19a386]
    001872d2mov [rsi], rbx
    001872d5mov [rsi+8], rax
    001872d9lea rdi, [rip+0x19a260]
    001872e0add rdi, 128
    001872e7mov rbx, rsp
    001872eamov rsp, [r14+64]
    001872eecall caml_initialize
    001872f3mov rsp, rbx
    001872f6mov edi, 1
    001872fbmov rbx, rsp
    001872femov rsp, [r14+64]
    00187302call caml_fresh_oo_id
    00187307mov rsp, rbx
    0018730acall caml_alloc2
    0018730flea rsi, [r15+8]
    00187313mov [rsi-8], 2296
    0018731blea rbx, [rip+0x19a316]
    00187322mov [rsi], rbx
    00187325mov [rsi+8], rax
    00187329lea rdi, [rip+0x19a210]
    00187330add rdi, 136
    00187337mov rbx, rsp
    0018733amov rsp, [r14+64]
    0018733ecall caml_initialize
    00187343mov rsp, rbx
    00187346mov edi, 1
    0018734bmov rbx, rsp
    0018734emov rsp, [r14+64]
    00187352call caml_fresh_oo_id
    00187357mov rsp, rbx
    0018735acall caml_alloc2
    0018735flea rsi, [r15+8]
    00187363mov [rsi-8], 2296
    0018736blea rbx, [rip+0x19a2ae]
    00187372mov [rsi], rbx
    00187375mov [rsi+8], rax
    00187379lea rdi, [rip+0x19a1c0]
    00187380add rdi, 144
    00187387mov rbx, rsp
    0018738amov rsp, [r14+64]
    0018738ecall caml_initialize
    00187393mov rsp, rbx
    00187396lea rsi, [rip+0x19a173]
    0018739dlea r12, [rip+0x19a154]
    001873a4lea r13, [rip+0x19a135]
    001873ablea rdi, [rip+0x19a18e]
    001873b2add rdi, 152
    001873b9mov rbx, rsp
    001873bcmov rsp, [r14+64]
    001873c0call caml_initialize
    001873c5mov rsp, rbx
    001873c8lea rdi, [rip+0x19a171]
    001873cfadd rdi, 160
    001873d6mov rsi, r12
    001873d9mov rbx, rsp
    001873dcmov rsp, [r14+64]
    001873e0call caml_initialize
    001873e5mov rsp, rbx
    001873e8lea rdi, [rip+0x19a151]
    001873efadd rdi, 168
    001873f6mov rsi, r13
    001873f9mov rbx, rsp
    001873fcmov rsp, [r14+64]
    00187400call caml_initialize
    00187405mov rsp, rbx
    00187408lea rsi, [rip+0x19a119]
    0018740flea rdi, [rip+0x19a12a]
    00187416add rdi, 176
    0018741dmov rbx, rsp
    00187420mov rsp, [r14+64]
    00187424call caml_initialize
    00187429mov rsp, rbx
    0018742clea rsi, [rip+0x199fe5]
    00187433lea rdi, [rip+0x19a106]
    0018743aadd rdi, 184
    00187441mov rbx, rsp
    00187444mov rsp, [r14+64]
    00187448call caml_initialize
    0018744dmov rsp, rbx
    00187450lea rsi, [rip+0x199fd9]
    00187457lea rdi, [rip+0x19a0e2]
    0018745eadd rdi, 192
    00187465mov rbx, rsp
    00187468mov rsp, [r14+64]
    0018746ccall caml_initialize
    00187471mov rsp, rbx
    00187474mov eax, 1
    00187479add rsp, 24
    0018747dret
    0018747e
    0018747eloc_18747e:
    0018747epush 36
    00187480call caml_call_realloc_stack
    00187485pop r10
    00187487jmp 0x186f52
    00186f40
    0018748c
    0018748c // align 0x10
    00187490
    00187490camlOut.entry:
    00187490lea r10, [rsp-320]
    00187498cmp r10, [r14+40]
    0018749cjb 0x1877ce
    001874a2
    001874a2loc_1874a2:
    001874a2lea rax, [rip+0x1a1197]
    001874a9mov rax, [rax+80]
    001874admov rax, [rax]
    001874b0cmp rax, 1
    001874b4jg 0x1874bb
    001874b6mov eax, 3
    001874bb
    001874bbloc_1874bb:
    001874bbcall caml_alloc1
    001874c0lea rbx, [r15+8]
    001874c4mov [rbx-8], 1024
    001874ccmov [rbx], rax
    001874cfmov rax, rbx
    001874d2call camlDoOut.fun_1305
    001874d7mov r12, rax
    001874damov rsi, [r12]
    001874delea rdi, [rip+0x19a513]
    001874e5mov rbx, rsp
    001874e8mov rsp, [r14+64]
    001874eccall caml_initialize
    001874f1mov rsp, rbx
    001874f4mov rsi, [r12+8]
    001874f9lea rdi, [rip+0x19a4f8]
    00187500add rdi, 8
    00187504mov rbx, rsp
    00187507mov rsp, [r14+64]
    0018750bcall caml_initialize
    00187510mov rsp, rbx
    00187513mov rsi, [r12+16]
    00187518lea rdi, [rip+0x19a4d9]
    0018751fadd rdi, 16
    00187523mov rbx, rsp
    00187526mov rsp, [r14+64]
    0018752acall caml_initialize
    0018752fmov rsp, rbx
    00187532mov rsi, [r12+24]
    00187537lea rdi, [rip+0x19a4ba]
    0018753eadd rdi, 24
    00187542mov rbx, rsp
    00187545mov rsp, [r14+64]
    00187549call caml_initialize
    0018754emov rsp, rbx
    00187551mov rsi, [r12+32]
    00187556lea rdi, [rip+0x19a49b]
    0018755dadd rdi, 32
    00187561mov rbx, rsp
    00187564mov rsp, [r14+64]
    00187568call caml_initialize
    0018756dmov rsp, rbx
    00187570mov rsi, [r12+40]
    00187575lea rdi, [rip+0x19a47c]
    0018757cadd rdi, 40
    00187580mov rbx, rsp
    00187583mov rsp, [r14+64]
    00187587call caml_initialize
    0018758cmov rsp, rbx
    0018758fmov rsi, [r12+48]
    00187594lea rdi, [rip+0x19a45d]
    0018759badd rdi, 48
    0018759fmov rbx, rsp
    001875a2mov rsp, [r14+64]
    001875a6call caml_initialize
    001875abmov rsp, rbx
    001875aemov rsi, [r12+56]
    001875b3lea rdi, [rip+0x19a43e]
    001875baadd rdi, 56
    001875bemov rbx, rsp
    001875c1mov rsp, [r14+64]
    001875c5call caml_initialize
    001875camov rsp, rbx
    001875cdmov rsi, [r12+64]
    001875d2lea rdi, [rip+0x19a41f]
    001875d9add rdi, 64
    001875ddmov rbx, rsp
    001875e0mov rsp, [r14+64]
    001875e4call caml_initialize
    001875e9mov rsp, rbx
    001875ecmov rsi, [r12+72]
    001875f1lea rdi, [rip+0x19a400]
    001875f8add rdi, 72
    001875fcmov rbx, rsp
    001875ffmov rsp, [r14+64]
    00187603call caml_initialize
    00187608mov rsp, rbx
    0018760bmov rsi, [r12+80]
    00187610lea rdi, [rip+0x19a3e1]
    00187617add rdi, 80
    0018761bmov rbx, rsp
    0018761emov rsp, [r14+64]
    00187622call caml_initialize
    00187627mov rsp, rbx
    0018762amov rsi, [r12+88]
    0018762flea rdi, [rip+0x19a3c2]
    00187636add rdi, 88
    0018763amov rbx, rsp
    0018763dmov rsp, [r14+64]
    00187641call caml_initialize
    00187646mov rsp, rbx
    00187649mov rsi, [r12+96]
    0018764elea rdi, [rip+0x19a3a3]
    00187655add rdi, 96
    00187659mov rbx, rsp
    0018765cmov rsp, [r14+64]
    00187660call caml_initialize
    00187665mov rsp, rbx
    00187668mov rsi, [r12+104]
    0018766dlea rdi, [rip+0x19a384]
    00187674add rdi, 104
    00187678mov rbx, rsp
    0018767bmov rsp, [r14+64]
    0018767fcall caml_initialize
    00187684mov rsp, rbx
    00187687mov rsi, [r12+112]
    0018768clea rdi, [rip+0x19a365]
    00187693add rdi, 112
    00187697mov rbx, rsp
    0018769amov rsp, [r14+64]
    0018769ecall caml_initialize
    001876a3mov rsp, rbx
    001876a6mov rsi, [r12+120]
    001876ablea rdi, [rip+0x19a346]
    001876b2add rdi, 120
    001876b6mov rbx, rsp
    001876b9mov rsp, [r14+64]
    001876bdcall caml_initialize
    001876c2mov rsp, rbx
    001876c5mov rsi, [r12+128]
    001876cdlea rdi, [rip+0x19a324]
    001876d4add rdi, 128
    001876dbmov rbx, rsp
    001876demov rsp, [r14+64]
    001876e2call caml_initialize
    001876e7mov rsp, rbx
    001876eamov rsi, [r12+136]
    001876f2lea rdi, [rip+0x19a2ff]
    001876f9add rdi, 136
    00187700mov rbx, rsp
    00187703mov rsp, [r14+64]
    00187707call caml_initialize
    0018770cmov rsp, rbx
    0018770fmov rsi, [r12+144]
    00187717lea rdi, [rip+0x19a2da]
    0018771eadd rdi, 144
    00187725mov rbx, rsp
    00187728mov rsp, [r14+64]
    0018772ccall caml_initialize
    00187731mov rsp, rbx
    00187734mov rsi, [r12+152]
    0018773clea rdi, [rip+0x19a2b5]
    00187743add rdi, 152
    0018774amov rbx, rsp
    0018774dmov rsp, [r14+64]
    00187751call caml_initialize
    00187756mov rsp, rbx
    00187759mov rsi, [r12+160]
    00187761lea rdi, [rip+0x19a290]
    00187768add rdi, 160
    0018776fmov rbx, rsp
    00187772mov rsp, [r14+64]
    00187776call caml_initialize
    0018777bmov rsp, rbx
    0018777emov rsi, [r12+168]
    00187786lea rdi, [rip+0x19a26b]
    0018778dadd rdi, 168
    00187794mov rbx, rsp
    00187797mov rsp, [r14+64]
    0018779bcall caml_initialize
    001877a0mov rsp, rbx
    001877a3mov rsi, [r12+176]
    001877ablea rdi, [rip+0x19a246]
    001877b2add rdi, 176
    001877b9mov rbx, rsp
    001877bcmov rsp, [r14+64]
    001877c0call caml_initialize
    001877c5mov rsp, rbx
    001877c8mov eax, 1
    001877cdret
    001877ce
    001877celoc_1877ce:
    001877cepush 33
    001877d0call caml_call_realloc_stack
    001877d5pop r10
    001877d7jmp 0x1874a2
    00187490
    001877dc
    001877dc // align 0x10
    001877e0
    001877e0camlMyfiles.fun_676:
    001877e0mov rbx, rax
    001877e3mov edi, 1
    001877e8lea rax, [rip+0x19a471]
    001877efmov rax, [rax+48]
    001877f3jmp 0x1e7690
    001877e0
    001877f8
    001877f8 // align 0x10
    00187800
    00187800camlMyfiles.is_except_480:
    00187800lea r10, [rsp-336]
    00187808cmp r10, [r14+40]
    0018780cjb 0x18786d
    0018780e
    0018780eloc_18780e:
    0018780emov rbx, rax
    00187811lea r11, [rip+44]
    00187818push r11
    0018781apush [r14+48]
    0018781emov [r14+48], rsp
    00187822lea rax, [rip+0x19a437]
    00187829mov rax, [rax+48]
    0018782dcall Stdlib.Hashtbl.find
    00187832mov eax, 3
    00187837pop [r14+48]
    0018783badd rsp, 8
    0018783fjmp 0x18786c
    00187841nop [rax]
    00187844lea rbx, [rip+0x1a5dcd]
    0018784bmov rbx, [rbx+56]
    0018784fcmp rax, rbx
    00187852jne 0x18785c
    00187854mov eax, 1
    00187859ret
    0018785anop
    0018785c
    0018785cloc_18785c:
    0018785cmov rsp, [r14+48]
    00187860pop [r14+48]
    00187864pop r11
    00187866jmp r11
    00187869nop [rax]
    0018786c
    0018786cloc_18786c:
    0018786cret
    0018786d
    0018786dloc_18786d:
    0018786dpush 35
    0018786fcall caml_call_realloc_stack
    00187874pop r10
    00187876jmp 0x18780e
    00187800
    00187878
    00187878 // align 0x10
    00187880
    00187880camlMyfiles.fun_679:
    00187880mov rbx, rax
    00187883lea rax, [rip+0x1a24e6]
    0018788amov rax, [rax+8]
    0018788ejmp 0x1f6270
    00187880
    00187893
    00187893 // align 0x10
    001878a0
    001878a0camlMyfiles.set_import_510:
    001878a0lea rbx, [rip+0x19a3b9]
    001878a7mov rdi, [rbx+72]
    001878abmov rsi, rax
    001878aemov rbx, rsp
    001878b1mov rsp, [r14+64]
    001878b5call caml_modify
    001878bamov rsp, rbx
    001878bdmov eax, 1
    001878c2ret
    001878a0
    001878c3
    001878c3 // align 0x10
    001878d0
    001878d0camlMyfiles.try_import_513:
    001878d0mov rbx, rax
    001878d3cmp r15, [r14]
    001878d6jbe 0x187911
    001878d8
    001878d8loc_1878d8:
    001878d8lea rax, [rip+0x19a381]
    001878dfmov rax, [rax+72]
    001878e3mov rax, [rax]
    001878e6mov rdi, [rax-8]
    001878eashr rdi, 10
    001878eecmp rdi, 2
    001878f2jge 0x18790c
    001878f4mov rdi, [rax]
    001878f7mov rsi, 0x700000000000000
    00187901cmp rdi, rsi
    00187904jne 0x18790c
    00187906mov eax, 1
    0018790bret
    0018790c
    0018790cloc_18790c:
    0018790cmov rdi, [rbx]
    0018790fjmp rdi
    00187911
    00187911loc_187911:
    00187911call caml_call_gc
    00187916jmp 0x1878d8
    001878d0
    00187918
    00187918 // align 0x10
    00187920
    00187920camlMyfiles.do_open_tex_518:
    00187920lea r10, [rsp-352]
    00187928cmp r10, [r14+40]
    0018792cjb 0x187a26
    00187932
    00187932loc_187932:
    00187932sub rsp, 16
    00187936mov [rsp+8], rax
    0018793bsub r15, 32
    0018793fcmp r15, [r14]
    00187942jb 0x187a1c
    00187948
    00187948loc_187948:
    00187948lea rdi, [r15+8]
    0018794cmov [rsp], rdi
    00187950mov [rdi-8], 3319
    00187958lea rbx, [rip+225]
    0018795fmov [rdi], rbx
    00187962mov rbx, 0x100000000000005
    0018796cmov [rdi+8], rbx
    00187970mov [rdi+16], rax
    00187974lea r11, [rip+110]
    0018797bpush r11
    0018797dpush [r14+48]
    00187981mov [r14+48], rsp
    00187985lea rax, [rip+0x19a2d4]
    0018798cmov rbx, [rax+64]
    00187990mov rax, rdi
    00187993call Stdlib.List.iter
    00187998mov rax, [rsp+16]
    0018799dcall camlMyfiles.try_import_513
    001879a2lea rax, [rip+0x19a4f7]
    001879a9mov rbx, [rsp+24]
    001879aecall camlStdlib.$5e_139
    001879b3sub r15, 24
    001879b7cmp r15, [r14]
    001879bajb 0x187a15
    001879bc
    001879bcloc_1879bc:
    001879bclea rbx, [r15+8]
    001879c0mov [rbx-8], 2048
    001879c8lea rdi, [rip+0x19a291]
    001879cfmov rdi, [rdi]
    001879d2mov [rbx], rdi
    001879d5mov [rbx+8], rax
    001879d9mov rax, rbx
    001879dcmov rsp, [r14+48]
    001879e0pop [r14+48]
    001879e4pop r11
    001879e6jmp r11
    001879e9lea rbx, [rip+0x19a270]
    001879f0mov rbx, [rbx+88]
    001879f4mov rdi, [rax]
    001879f7cmp rdi, rbx
    001879fajne 0x187a08
    001879fcmov rax, [rax+8]
    00187a00add rsp, 16
    00187a04ret
    00187a05nop [rax]
    00187a08
    00187a08loc_187a08:
    00187a08mov rsp, [r14+48]
    00187a0cpop [r14+48]
    00187a10pop r11
    00187a12jmp r11
    00187a15
    00187a15loc_187a15:
    00187a15call caml_call_gc
    00187a1ajmp 0x1879bc
    00187a1c
    00187a1cloc_187a1c:
    00187a1ccall caml_call_gc
    00187a21jmp 0x187948
    00187a26
    00187a26loc_187a26:
    00187a26push 37
    00187a28call caml_call_realloc_stack
    00187a2dpop r10
    00187a2fjmp 0x187932
    00187920
    00187a34
    00187a34 // align 0x10
    00187a40
    00187a40camlMyfiles.try_open_521:
    00187a40lea r10, [rsp-352]
    00187a48cmp r10, [r14+40]
    00187a4cjb 0x187b9f
    00187a52
    00187a52loc_187a52:
    00187a52sub rsp, 16
    00187a56lea r11, [rip+222]
    00187a5dpush r11
    00187a5fpush [r14+48]
    00187a63mov [r14+48], rsp
    00187a67mov rbx, [rbx+16]
    00187a6bcall Stdlib.Filename.concat
    00187a70mov rbx, rax
    00187a73mov [rsp+24], rbx
    00187a78lea rax, [rip+0x1a25f1]
    00187a7fmov rax, [rax+80]
    00187a83mov rax, [rax]
    00187a86cmp rax, 3
    00187a8ajle 0x187a9d
    00187a8clea rax, [rip+0x19a45d]
    00187a93call camlStdlib.$5e_139
    00187a98call camlStdlib.prerr_endline_390
    00187a9d
    00187a9dloc_187a9d:
    00187a9dmov ebx, 1
    00187aa2lea rax, [rip+0x1a5fd7]
    00187aa9mov rdi, [rsp+24]
    00187aaecall camlStdlib.open_in_gen_288
    00187ab3mov [rsp+16], rax
    00187ab8lea rax, [rip+0x1a25b1]
    00187abfmov rax, [rax+80]
    00187ac3mov rax, [rax]
    00187ac6cmp rax, 3
    00187acajle 0x187ae2
    00187acclea rax, [rip+0x19a405]
    00187ad3mov rbx, [rsp+24]
    00187ad8call camlStdlib.$5e_139
    00187addcall camlStdlib.prerr_endline_390
    00187ae2
    00187ae2loc_187ae2:
    00187ae2sub r15, 48
    00187ae6cmp r15, [r14]
    00187ae9jb 0x187b95
    00187aef
    00187aefloc_187aef:
    00187aeflea rbx, [r15+8]
    00187af3add rbx, 24
    00187af7mov [rbx-8], 2048
    00187affmov rax, [rsp+24]
    00187b04mov [rbx], rax
    00187b07mov rax, [rsp+16]
    00187b0cmov [rbx+8], rax
    00187b10lea rax, [rbx-24]
    00187b14mov [rax-8], 2048
    00187b1clea rdi, [rip+0x19a13d]
    00187b23mov rdi, [rdi+88]
    00187b27mov [rax], rdi
    00187b2amov [rax+8], rbx
    00187b2emov rsp, [r14+48]
    00187b32pop [r14+48]
    00187b36pop r11
    00187b38jmp r11
    00187b3blea rbx, [rip+0x1a5ad6]
    00187b42mov rbx, [rbx+80]
    00187b46mov rdi, [rax]
    00187b49cmp rdi, rbx
    00187b4cjne 0x187b88
    00187b4elea rbx, [rip+0x1a251b]
    00187b55mov rbx, [rbx+80]
    00187b59mov rbx, [rbx]
    00187b5ccmp rbx, 3
    00187b60jle 0x187b7c
    00187b62mov rbx, [rax+8]
    00187b66lea rax, [rip+0x19a353]
    00187b6dcall camlStdlib.$5e_139
    00187b72add rsp, 16
    00187b76jmp 0x196d50
    00187b7bnop
    00187b7c
    00187b7cloc_187b7c:
    00187b7cmov eax, 1
    00187b81add rsp, 16
    00187b85ret
    00187b86nop
    00187b88
    00187b88loc_187b88:
    00187b88mov rsp, [r14+48]
    00187b8cpop [r14+48]
    00187b90pop r11
    00187b92jmp r11
    00187b95
    00187b95loc_187b95:
    00187b95call caml_call_gc
    00187b9ajmp 0x187aef
    00187b9f
    00187b9floc_187b9f:
    00187b9fpush 37
    00187ba1call caml_call_realloc_stack
    00187ba6pop r10
    00187ba8jmp 0x187a52
    00187a40
    00187bad
    00187bad // align 0x10
    00187bb0
    00187bb0camlMyfiles.open_tex_528:
    00187bb0lea r10, [rsp-368]
    00187bb8cmp r10, [r14+40]
    00187bbcjb 0x187f25
    00187bc2
    00187bc2loc_187bc2:
    00187bc2sub rsp, 16
    00187bc6mov rbx, rax
    00187bc9mov [rsp+8], rbx
    00187bcelea rax, [rip+0x1a249b]
    00187bd5mov rax, [rax+80]
    00187bd9mov rax, [rax]
    00187bdccmp rax, 3
    00187be0jle 0x187bf3
    00187be2lea rax, [rip+0x19a297]
    00187be9call camlStdlib.$5e_139
    00187beecall camlStdlib.prerr_endline_390
    00187bf3
    00187bf3loc_187bf3:
    00187bf3mov rax, [rsp+8]
    00187bf8call camlMyfiles.is_except_480
    00187bfdcmp rax, 1
    00187c01je 0x187c1c
    00187c03lea rax, [rip+0x19a056]
    00187c0amov rax, [rax+8]
    00187c0emov rsp, [r14+48]
    00187c12pop [r14+48]
    00187c16pop r11
    00187c18jmp r11
    00187c1bnop
    00187c1c
    00187c1cloc_187c1c:
    00187c1clea rax, [rip+0x1ee14d]
    00187c23mov rbx, [rax+40]
    00187c27mov rdi, [rbx]
    00187c2amov rax, [rsp+8]
    00187c2fcall rdi
    00187c31cmp rax, 1
    00187c35je 0x187d30
    00187c3blea rax, [rip+0x1ee12e]
    00187c42mov rdi, [rax+48]
    00187c46lea rbx, [rip+0x19a20b]
    00187c4dmov rax, [rsp+8]
    00187c52call caml_apply2
    00187c57cmp rax, 1
    00187c5bjne 0x187d20
    00187c61lea rax, [rip+0x1ee108]
    00187c68mov rdi, [rax+48]
    00187c6clea rbx, [rip+0x19a1d5]
    00187c73mov rax, [rsp+8]
    00187c78call caml_apply2
    00187c7dcmp rax, 1
    00187c81jne 0x187d20
    00187c87lea r11, [rip+90]
    00187c8epush r11
    00187c90push [r14+48]
    00187c94mov [r14+48], rsp
    00187c98lea rbx, [rip+0x19a1b9]
    00187c9fmov rax, [rsp+24]
    00187ca4call camlStdlib.$5e_139
    00187ca9mov [rsp+16], rax
    00187caecall camlMyfiles.is_except_480
    00187cb3cmp rax, 1
    00187cb7je 0x187cd4
    00187cb9lea rax, [rip+0x199fa0]
    00187cc0mov rax, [rax+8]
    00187cc4mov rsp, [r14+48]
    00187cc8pop [r14+48]
    00187cccpop r11
    00187ccejmp r11
    00187cd1nop [rax]
    00187cd4
    00187cd4loc_187cd4:
    00187cd4mov rax, [rsp+16]
    00187cd9call camlMyfiles.do_open_tex_518
    00187cdepop [r14+48]
    00187ce2add rsp, 8
    00187ce6jmp 0x187d18
    00187ce8lea rbx, [rip+0x199f71]
    00187cefmov rbx, [rbx]
    00187cf2mov rdi, [rax]
    00187cf5cmp rdi, rbx
    00187cf8jne 0x187d08
    00187cfamov rax, [rsp+8]
    00187cffadd rsp, 16
    00187d03jmp 0x187920
    00187d08
    00187d08loc_187d08:
    00187d08mov rsp, [r14+48]
    00187d0cpop [r14+48]
    00187d10pop r11
    00187d12jmp r11
    00187d15nop [rax]
    00187d18
    00187d18loc_187d18:
    00187d18add rsp, 16
    00187d1cret
    00187d1dnop [rax]
    00187d20
    00187d20loc_187d20:
    00187d20mov rax, [rsp+8]
    00187d25add rsp, 16
    00187d29jmp 0x187920
    00187d2enop
    00187d30
    00187d30loc_187d30:
    00187d30lea r11, [rip+341]
    00187d37push r11
    00187d39push [r14+48]
    00187d3dmov [r14+48], rsp
    00187d41lea rax, [rip+0x1ee028]
    00187d48mov rdi, [rax+48]
    00187d4clea rbx, [rip+0x19a105]
    00187d53mov rax, [rsp+24]
    00187d58call caml_apply2
    00187d5dcmp rax, 1
    00187d61je 0x187da4
    00187d63mov ebx, 1
    00187d68lea rax, [rip+0x1a5d11]
    00187d6fmov rdi, [rsp+24]
    00187d74call camlStdlib.open_in_gen_288
    00187d79sub r15, 24
    00187d7dcmp r15, [r14]
    00187d80jb 0x187f1b
    00187d86
    00187d86loc_187d86:
    00187d86lea rbx, [r15+8]
    00187d8amov [rbx-8], 2048
    00187d92mov rdi, [rsp+24]
    00187d97mov [rbx], rdi
    00187d9amov [rbx+8], rax
    00187d9ejmp 0x187e80
    00187da3nop
    00187da4
    00187da4loc_187da4:
    00187da4lea r11, [rip+117]
    00187dabpush r11
    00187dadpush [r14+48]
    00187db1mov [r14+48], rsp
    00187db5lea rbx, [rip+0x19a09c]
    00187dbcmov rax, [rsp+40]
    00187dc1call camlStdlib.$5e_139
    00187dc6mov rdi, rax
    00187dc9mov ebx, 1
    00187dcelea rax, [rip+0x1a5cab]
    00187dd5call camlStdlib.open_in_gen_288
    00187ddamov [rsp+32], rax
    00187ddflea rbx, [rip+0x19a072]
    00187de6mov rax, [rsp+40]
    00187debcall camlStdlib.$5e_139
    00187df0sub r15, 24
    00187df4cmp r15, [r14]
    00187df7jb 0x187f11
    00187dfd
    00187dfdloc_187dfd:
    00187dfdlea rbx, [r15+8]
    00187e01mov [rbx-8], 2048
    00187e09mov [rbx], rax
    00187e0cmov rax, [rsp+32]
    00187e11mov [rbx+8], rax
    00187e15pop [r14+48]
    00187e19add rsp, 8
    00187e1djmp 0x187e80
    00187e1fnop
    00187e20lea rbx, [rip+0x1a57f1]
    00187e27mov rbx, [rbx+80]
    00187e2bmov rdi, [rax]
    00187e2ecmp rdi, rbx
    00187e31jne 0x187e70
    00187e33mov ebx, 1
    00187e38lea rax, [rip+0x1a5c41]
    00187e3fmov rdi, [rsp+24]
    00187e44call camlStdlib.open_in_gen_288
    00187e49sub r15, 24
    00187e4dcmp r15, [r14]
    00187e50jb 0x187f07
    00187e56
    00187e56loc_187e56:
    00187e56lea rbx, [r15+8]
    00187e5amov [rbx-8], 2048
    00187e62mov rdi, [rsp+24]
    00187e67mov [rbx], rdi
    00187e6amov [rbx+8], rax
    00187e6ejmp 0x187e80
    00187e70
    00187e70loc_187e70:
    00187e70mov rsp, [r14+48]
    00187e74pop [r14+48]
    00187e78pop r11
    00187e7ajmp r11
    00187e7dnop [rax]
    00187e80
    00187e80loc_187e80:
    00187e80pop [r14+48]
    00187e84add rsp, 8
    00187e88jmp 0x187ef8
    00187e8anop
    00187e8clea rbx, [rip+0x1a5785]
    00187e93mov rbx, [rbx+80]
    00187e97mov rdi, [rax]
    00187e9acmp rdi, rbx
    00187e9djne 0x187ee8
    00187e9flea rax, [rip+0x199f8a]
    00187ea6mov rbx, [rsp+8]
    00187eabcall camlStdlib.$5e_139
    00187eb0sub r15, 24
    00187eb4cmp r15, [r14]
    00187eb7jb 0x187f00
    00187eb9
    00187eb9loc_187eb9:
    00187eb9lea rbx, [r15+8]
    00187ebdmov [rbx-8], 2048
    00187ec5lea rdi, [rip+0x199d94]
    00187eccmov rdi, [rdi]
    00187ecfmov [rbx], rdi
    00187ed2mov [rbx+8], rax
    00187ed6mov rax, rbx
    00187ed9mov rsp, [r14+48]
    00187eddpop [r14+48]
    00187ee1pop r11
    00187ee3jmp r11
    00187ee6nop
    00187ee8
    00187ee8loc_187ee8:
    00187ee8mov rsp, [r14+48]
    00187eecpop [r14+48]
    00187ef0pop r11
    00187ef2jmp r11
    00187ef5nop [rax]
    00187ef8
    00187ef8loc_187ef8:
    00187ef8mov rax, rbx
    00187efbadd rsp, 16
    00187effret
    00187f00
    00187f00loc_187f00:
    00187f00call caml_call_gc
    00187f05jmp 0x187eb9
    00187f07
    00187f07loc_187f07:
    00187f07call caml_call_gc
    00187f0cjmp 0x187e56
    00187f11
    00187f11loc_187f11:
    00187f11call caml_call_gc
    00187f16jmp 0x187dfd
    00187f1b
    00187f1bloc_187f1b:
    00187f1bcall caml_call_gc
    00187f20jmp 0x187d86
    00187f25
    00187f25loc_187f25:
    00187f25push 39
    00187f27call caml_call_realloc_stack
    00187f2cpop r10
    00187f2ejmp 0x187bc2
    00187bb0
    00187f33
    00187f33 // align 0x10
    00187f40
    00187f40camlMyfiles.do_find_533:
    00187f40lea r10, [rsp-344]
    00187f48cmp r10, [r14+40]
    00187f4cjb 0x18800b
    00187f52
    00187f52loc_187f52:
    00187f52sub rsp, 8
    00187f56sub r15, 32
    00187f5acmp r15, [r14]
    00187f5djb 0x188001
    00187f63
    00187f63loc_187f63:
    00187f63lea rdi, [r15+8]
    00187f67mov [rsp], rdi
    00187f6bmov [rdi-8], 3319
    00187f73lea rbx, [rip+166]
    00187f7amov [rdi], rbx
    00187f7dmov rbx, 0x100000000000005
    00187f87mov [rdi+8], rbx
    00187f8bmov [rdi+16], rax
    00187f8flea r11, [rip+63]
    00187f96push r11
    00187f98push [r14+48]
    00187f9cmov [r14+48], rsp
    00187fa0lea rax, [rip+0x199cb9]
    00187fa7mov rbx, [rax+64]
    00187fabmov rax, rdi
    00187faecall Stdlib.List.iter
    00187fb3mov rax, [rsp+16]
    00187fb8call camlMyfiles.try_import_513
    00187fbdlea rax, [rip+0x1a5654]
    00187fc4mov rax, [rax+56]
    00187fc8mov rsp, [r14+48]
    00187fccpop [r14+48]
    00187fd0pop r11
    00187fd2jmp r11
    00187fd5lea rbx, [rip+0x199c84]
    00187fdcmov rbx, [rbx+104]
    00187fe0mov rdi, [rax]
    00187fe3cmp rdi, rbx
    00187fe6jne 0x187ff4
    00187fe8mov rax, [rax+8]
    00187fecadd rsp, 8
    00187ff0ret
    00187ff1nop [rax]
    00187ff4
    00187ff4loc_187ff4:
    00187ff4mov rsp, [r14+48]
    00187ff8pop [r14+48]
    00187ffcpop r11
    00187ffejmp r11
    00188001
    00188001loc_188001:
    00188001call caml_call_gc
    00188006jmp 0x187f63
    0018800b
    0018800bloc_18800b:
    0018800bpush 36
    0018800dcall caml_call_realloc_stack
    00188012pop r10
    00188014jmp 0x187f52
    00187f40
    00188019
    00188019 // align 0x10
    00188020
    00188020camlMyfiles.try_find_536:
    00188020lea r10, [rsp-328]
    00188028cmp r10, [r14+40]
    0018802cjb 0x18809d
    0018802e
    0018802eloc_18802e:
    0018802esub rsp, 8
    00188032mov rbx, [rbx+16]
    00188036call Stdlib.Filename.concat
    0018803bmov [rsp], rax
    0018803fmov rdi, rax
    00188042lea rax, [rip+0x9a597]
    00188049call caml_c_call
    0018804ecmp rax, 1
    00188052je 0x18808c
    00188054sub r15, 24
    00188058cmp r15, [r14]
    0018805bjb 0x188096
    0018805d
    0018805dloc_18805d:
    0018805dlea rax, [r15+8]
    00188061mov [rax-8], 2048
    00188069lea rbx, [rip+0x199bf0]
    00188070mov rbx, [rbx+104]
    00188074mov [rax], rbx
    00188077mov rbx, [rsp]
    0018807bmov [rax+8], rbx
    0018807fmov rsp, [r14+48]
    00188083pop [r14+48]
    00188087pop r11
    00188089jmp r11
    0018808c
    0018808cloc_18808c:
    0018808cmov eax, 1
    00188091add rsp, 8
    00188095ret
    00188096
    00188096loc_188096:
    00188096call caml_call_gc
    0018809bjmp 0x18805d
    0018809d
    0018809dloc_18809d:
    0018809dpush 34
    0018809fcall caml_call_realloc_stack
    001880a4pop r10
    001880a6jmp 0x18802e
    00188020
    001880a8
    001880a8 // align 0x10
    001880b0
    001880b0camlMyfiles.find_one_616:
    001880b0sub rsp, 8
    001880b4mov [rsp], rax
    001880b8mov rdi, rax
    001880bblea rax, [rip+0x9a51e]
    001880c2call caml_c_call
    001880c7cmp rax, 1
    001880cbje 0x1880d8
    001880cdmov rax, [rsp]
    001880d1add rsp, 8
    001880d5ret
    001880d6nop
    001880d8
    001880d8loc_1880d8:
    001880d8lea rax, [rip+0x1a5539]
    001880dfmov rax, [rax+56]
    001880e3mov rsp, [r14+48]
    001880e7pop [r14+48]
    001880ebpop r11
    001880edjmp r11
    001880b0
    001880f0
    001880f0camlMyfiles.find_619:
    001880f0lea r10, [rsp-344]
    001880f8cmp r10, [r14+40]
    001880fcjb 0x18827d
    00188102
    00188102loc_188102:
    00188102sub rsp, 8
    00188106mov [rsp], rax
    0018810alea rbx, [rip+0x1edc5f]
    00188111mov rbx, [rbx+40]
    00188115mov rdi, [rbx]
    00188118call rdi
    0018811acmp rax, 1
    0018811eje 0x1881e4
    00188124lea rax, [rip+0x1edc45]
    0018812bmov rdi, [rax+48]
    0018812flea rbx, [rip+0x199d22]
    00188136mov rax, [rsp]
    0018813acall caml_apply2
    0018813fcmp rax, 1
    00188143jne 0x1881d4
    00188149lea rax, [rip+0x1edc20]
    00188150mov rdi, [rax+48]
    00188154lea rbx, [rip+0x199ced]
    0018815bmov rax, [rsp]
    0018815fcall caml_apply2
    00188164cmp rax, 1
    00188168jne 0x1881d4
    0018816alea r11, [rip+43]
    00188171push r11
    00188173push [r14+48]
    00188177mov [r14+48], rsp
    0018817blea rbx, [rip+0x199cd6]
    00188182mov rax, [rsp+16]
    00188187call camlStdlib.$5e_139
    0018818ccall camlMyfiles.do_find_533
    00188191pop [r14+48]
    00188195add rsp, 8
    00188199jmp 0x1881cc
    0018819bnop
    0018819clea rbx, [rip+0x1a5475]
    001881a3mov rbx, [rbx+56]
    001881a7cmp rax, rbx
    001881aajne 0x1881bc
    001881acmov rax, [rsp]
    001881b0add rsp, 8
    001881b4jmp 0x187f40
    001881b9nop [rax]
    001881bc
    001881bcloc_1881bc:
    001881bcmov rsp, [r14+48]
    001881c0pop [r14+48]
    001881c4pop r11
    001881c6jmp r11
    001881c9nop [rax]
    001881cc
    001881ccloc_1881cc:
    001881ccadd rsp, 8
    001881d0ret
    001881d1nop [rax]
    001881d4
    001881d4loc_1881d4:
    001881d4mov rax, [rsp]
    001881d8add rsp, 8
    001881dcjmp 0x187f40
    001881e1nop [rax]
    001881e4
    001881e4loc_1881e4:
    001881e4lea rax, [rip+0x1edb85]
    001881ebmov rdi, [rax+48]
    001881eflea rbx, [rip+0x199c62]
    001881f6mov rax, [rsp]
    001881facall caml_apply2
    001881ffcmp rax, 1
    00188203je 0x188214
    00188205mov rax, [rsp]
    00188209add rsp, 8
    0018820djmp 0x1880b0
    00188212nop
    00188214
    00188214loc_188214:
    00188214lea r11, [rip+45]
    0018821bpush r11
    0018821dpush [r14+48]
    00188221mov [r14+48], rsp
    00188225lea rbx, [rip+0x199c2c]
    0018822cmov rax, [rsp+16]
    00188231call camlStdlib.$5e_139
    00188236call camlMyfiles.find_one_616
    0018823bpop [r14+48]
    0018823fadd rsp, 8
    00188243jmp 0x188278
    00188245nop [rax]
    00188248lea rbx, [rip+0x1a53c9]
    0018824fmov rbx, [rbx+56]
    00188253cmp rax, rbx
    00188256jne 0x188268
    00188258mov rax, [rsp]
    0018825cadd rsp, 8
    00188260jmp 0x1880b0
    00188265nop [rax]
    00188268
    00188268loc_188268:
    00188268mov rsp, [r14+48]
    0018826cpop [r14+48]
    00188270pop r11
    00188272jmp r11
    00188275nop [rax]
    00188278
    00188278loc_188278:
    00188278add rsp, 8
    0018827cret
    0018827d
    0018827dloc_18827d:
    0018827dpush 36
    0018827fcall caml_call_realloc_stack
    00188284pop r10
    00188286jmp 0x188102
    001880f0
    0018828b
    0018828b // align 0x10
    00188290
    00188290camlMyfiles.diff_chan_624:
    00188290sub rsp, 24
    00188294mov [rsp], rax
    00188298mov [rsp+16], rbx
    0018829dlea r11, [rip+574]
    001882a4push r11
    001882a6push [r14+48]
    001882aamov [r14+48], rsp
    001882ae
    001882aeloc_1882ae:
    001882aelea r11, [rip+47]
    001882b5push r11
    001882b7push [r14+48]
    001882bbmov [r14+48], rsp
    001882bfmov rdi, [rsp+32]
    001882c4lea rax, [rip+0x88725]
    001882cbcall caml_c_call
    001882d0mov [rsp+40], rax
    001882d5pop [r14+48]
    001882d9add rsp, 8
    001882ddjmp 0x1883c8
    001882e2nop
    001882e4lea rbx, [rip+0x1a532d]
    001882ebmov rbx, [rbx+88]
    001882efcmp rax, rbx
    001882f2jne 0x1883b8
    001882f8lea r11, [rip+90]
    001882ffpush r11
    00188301push [r14+48]
    00188305mov [r14+48], rsp
    00188309mov rdi, [rsp+48]
    0018830elea rax, [rip+0x886db]
    00188315call caml_c_call
    0018831asub r15, 24
    0018831ecmp r15, [r14]
    00188321jb 0x188540
    00188327
    00188327loc_188327:
    00188327lea rax, [r15+8]
    0018832bmov [rax-8], 2048
    00188333lea rbx, [rip+0x199926]
    0018833amov rbx, [rbx+128]
    00188341mov [rax], rbx
    00188344mov [rax+8], 3
    0018834cmov rsp, [r14+48]
    00188350pop [r14+48]
    00188354pop r11
    00188356jmp r11
    00188359lea rbx, [rip+0x1a52b8]
    00188360mov rbx, [rbx+88]
    00188364cmp rax, rbx
    00188367jne 0x1883a8
    00188369sub r15, 24
    0018836dcmp r15, [r14]
    00188370jb 0x188536
    00188376
    00188376loc_188376:
    00188376lea rax, [r15+8]
    0018837amov [rax-8], 2048
    00188382lea rbx, [rip+0x1998d7]
    00188389mov rbx, [rbx+128]
    00188390mov [rax], rbx
    00188393mov [rax+8], 1
    0018839bmov rsp, [r14+48]
    0018839fpop [r14+48]
    001883a3pop r11
    001883a5jmp r11
    001883a8
    001883a8loc_1883a8:
    001883a8mov rsp, [r14+48]
    001883acpop [r14+48]
    001883b0pop r11
    001883b2jmp r11
    001883b5nop [rax]
    001883b8
    001883b8loc_1883b8:
    001883b8mov rsp, [r14+48]
    001883bcpop [r14+48]
    001883c0pop r11
    001883c2jmp r11
    001883c5nop [rax]
    001883c8
    001883c8loc_1883c8:
    001883c8lea r11, [rip+37]
    001883cfpush r11
    001883d1push [r14+48]
    001883d5mov [r14+48], rsp
    001883d9mov rdi, [rsp+48]
    001883delea rax, [rip+0x8860b]
    001883e5call caml_c_call
    001883eapop [r14+48]
    001883eeadd rsp, 8
    001883f2jmp 0x188454
    001883f4lea rbx, [rip+0x1a521d]
    001883fbmov rbx, [rbx+88]
    001883ffcmp rax, rbx
    00188402jne 0x188444
    00188404sub r15, 24
    00188408cmp r15, [r14]
    0018840bjb 0x18852c
    00188411
    00188411loc_188411:
    00188411lea rax, [r15+8]
    00188415mov [rax-8], 2048
    0018841dlea rbx, [rip+0x19983c]
    00188424mov rbx, [rbx+128]
    0018842bmov [rax], rbx
    0018842emov [rax+8], 3
    00188436mov rsp, [r14+48]
    0018843apop [r14+48]
    0018843epop r11
    00188440jmp r11
    00188443nop
    00188444
    00188444loc_188444:
    00188444mov rsp, [r14+48]
    00188448pop [r14+48]
    0018844cpop r11
    0018844ejmp r11
    00188451nop [rax]
    00188454
    00188454loc_188454:
    00188454mov rbx, [rsp+24]
    00188459cmp rbx, rax
    0018845cje 0x1884a0
    0018845esub r15, 24
    00188462cmp r15, [r14]
    00188465jb 0x188522
    0018846b
    0018846bloc_18846b:
    0018846blea rax, [r15+8]
    0018846fmov [rax-8], 2048
    00188477lea rbx, [rip+0x1997e2]
    0018847emov rbx, [rbx+128]
    00188485mov [rax], rbx
    00188488mov [rax+8], 3
    00188490mov rsp, [r14+48]
    00188494pop [r14+48]
    00188498pop r11
    0018849ajmp r11
    0018849dnop [rax]
    001884a0
    001884a0loc_1884a0:
    001884a0cmp r15, [r14]
    001884a3ja 0x1882ae
    001884a9jmp 0x188518
    001884absub r15, 24
    001884afcmp r15, [r14]
    001884b2jb 0x188511
    001884b4
    001884b4loc_1884b4:
    001884b4lea rax, [r15+8]
    001884b8mov [rax-8], 2048
    001884c0lea rbx, [rip+0xedd41]
    001884c7mov [rax], rbx
    001884calea rbx, [rip+0x1998ef]
    001884d1mov [rax+8], rbx
    001884d5mov rsp, [r14+48]
    001884d9pop [r14+48]
    001884ddpop r11
    001884dfjmp r11
    001884e2lea rbx, [rip+0x199777]
    001884e9mov rbx, [rbx+128]
    001884f0mov rdi, [rax]
    001884f3cmp rdi, rbx
    001884f6jne 0x188504
    001884f8mov rax, [rax+8]
    001884fcadd rsp, 24
    00188500ret
    00188501nop [rax]
    00188504
    00188504loc_188504:
    00188504mov rsp, [r14+48]
    00188508pop [r14+48]
    0018850cpop r11
    0018850ejmp r11
    00188511
    00188511loc_188511:
    00188511call caml_call_gc
    00188516jmp 0x1884b4
    00188518
    00188518loc_188518:
    00188518call caml_call_gc
    0018851djmp 0x1882ae
    00188522
    00188522loc_188522:
    00188522call caml_call_gc
    00188527jmp 0x18846b
    0018852c
    0018852cloc_18852c:
    0018852ccall caml_call_gc
    00188531jmp 0x188411
    00188536
    00188536loc_188536:
    00188536call caml_call_gc
    0018853bjmp 0x188376
    00188540
    00188540loc_188540:
    00188540call caml_call_gc
    00188545jmp 0x188327
    00188290
    0018854a
    0018854a // align 0x10
    00188550
    00188550camlMyfiles.changed_631:
    00188550lea r10, [rsp-376]
    00188558cmp r10, [r14+40]
    0018855cjb 0x1886cf
    00188562
    00188562loc_188562:
    00188562sub rsp, 24
    00188566mov [rsp], rax
    0018856amov rdi, rbx
    0018856dlea r11, [rip+280]
    00188574push r11
    00188576push [r14+48]
    0018857amov [r14+48], rsp
    0018857emov ebx, 1
    00188583lea rax, [rip+0x1a54f6]
    0018858acall camlStdlib.open_in_gen_288
    0018858fmov [rsp+32], rax
    00188594lea r11, [rip+53]
    0018859bpush r11
    0018859dpush [r14+48]
    001885a1mov [r14+48], rsp
    001885a5mov ebx, 1
    001885aalea rax, [rip+0x1a54cf]
    001885b1mov rdi, [rsp+32]
    001885b6call camlStdlib.open_in_gen_288
    001885bbmov rbx, rax
    001885bemov [rsp+40], rbx
    001885c3pop [r14+48]
    001885c7add rsp, 8
    001885cbjmp 0x188650
    001885d0lea rbx, [rip+0x1a5041]
    001885d7mov rbx, [rbx+80]
    001885dbmov rdi, [rax]
    001885decmp rdi, rbx
    001885e1jne 0x188640
    001885e3mov rdi, [rsp+32]
    001885e8lea rax, [rip+0x87461]
    001885efcall caml_c_call
    001885f4lea rax, [rip+0x199795]
    001885fbmov rbx, [rsp+16]
    00188600call camlStdlib.$5e_139
    00188605sub r15, 24
    00188609cmp r15, [r14]
    0018860cjb 0x1886c5
    00188612
    00188612loc_188612:
    00188612lea rbx, [r15+8]
    00188616mov [rbx-8], 2048
    0018861elea rdi, [rip+0x1a1a4b]
    00188625mov rdi, [rdi]
    00188628mov [rbx], rdi
    0018862bmov [rbx+8], rax
    0018862fmov rax, rbx
    00188632mov rsp, [r14+48]
    00188636pop [r14+48]
    0018863apop r11
    0018863cjmp r11
    0018863fnop
    00188640
    00188640loc_188640:
    00188640mov rsp, [r14+48]
    00188644pop [r14+48]
    00188648pop r11
    0018864ajmp r11
    0018864dnop [rax]
    00188650
    00188650loc_188650:
    00188650mov rax, [rsp+32]
    00188655call camlMyfiles.diff_chan_624
    0018865amov [rsp+16], rax
    0018865fmov rdi, [rsp+32]
    00188664lea rax, [rip+0x873e5]
    0018866bcall caml_c_call
    00188670mov rdi, [rsp+24]
    00188675lea rax, [rip+0x873d4]
    0018867ccall caml_c_call
    00188681pop [r14+48]
    00188685add rsp, 8
    00188689jmp 0x1886bc
    0018868bnop
    0018868clea rbx, [rip+0x1a4f85]
    00188693mov rbx, [rbx+80]
    00188697mov rdi, [rax]
    0018869acmp rdi, rbx
    0018869djne 0x1886ac
    0018869fmov eax, 3
    001886a4add rsp, 24
    001886a8ret
    001886a9nop [rax]
    001886ac
    001886acloc_1886ac:
    001886acmov rsp, [r14+48]
    001886b0pop [r14+48]
    001886b4pop r11
    001886b6jmp r11
    001886b9nop [rax]
    001886bc
    001886bcloc_1886bc:
    001886bcmov rax, [rsp]
    001886c0add rsp, 24
    001886c4ret
    001886c5
    001886c5loc_1886c5:
    001886c5call caml_call_gc
    001886cajmp 0x188612
    001886cf
    001886cfloc_1886cf:
    001886cfpush 40
    001886d1call caml_call_realloc_stack
    001886d6pop r10
    001886d8jmp 0x188562
    00188550
    001886dd
    001886dd // align 0x10
    001886e0
    001886e0camlMyfiles.entry:
    001886e0lea r10, [rsp-320]
    001886e8cmp r10, [r14+40]
    001886ecjb 0x188aeb
    001886f2
    001886f2loc_1886f2:
    001886f2mov edi, 1
    001886f7mov rbx, rsp
    001886famov rsp, [r14+64]
    001886fecall caml_fresh_oo_id
    00188703mov rsp, rbx
    00188706call caml_alloc2
    0018870blea rsi, [r15+8]
    0018870fmov [rsi-8], 2296
    00188717lea rbx, [rip+0x199812]
    0018871emov [rsi], rbx
    00188721mov [rsi+8], rax
    00188725lea rdi, [rip+0x199534]
    0018872cmov rbx, rsp
    0018872fmov rsp, [r14+64]
    00188733call caml_initialize
    00188738mov rsp, rbx
    0018873bmov edi, 1
    00188740mov rbx, rsp
    00188743mov rsp, [r14+64]
    00188747call caml_fresh_oo_id
    0018874cmov rsp, rbx
    0018874fcall caml_alloc2
    00188754lea rsi, [r15+8]
    00188758mov [rsi-8], 2296
    00188760lea rbx, [rip+0x199701]
    00188767mov [rsi], rbx
    0018876amov [rsi+8], rax
    0018876elea rdi, [rip+0x1994eb]
    00188775add rdi, 8
    00188779mov rbx, rsp
    0018877cmov rsp, [r14+64]
    00188780call caml_initialize
    00188785mov rsp, rbx
    00188788lea rax, [rip+0x1e1879]
    0018878fmov rax, [rax+272]
    00188796mov rax, [rax]
    00188799mov ebx, 35
    0018879ecall Stdlib.Hashtbl.create_inner
    001887a3lea rdi, [rip+0x1994b6]
    001887aaadd rdi, 48
    001887aemov rsi, rax
    001887b1mov rbx, rsp
    001887b4mov rsp, [r14+64]
    001887b8call caml_initialize
    001887bdmov rsp, rbx
    001887c0lea rax, [rip+0x19fe79]
    001887c7mov rax, [rax+64]
    001887cbmov rbx, [rax]
    001887celea rax, [rip+0x199343]
    001887d5call Stdlib.List.iter
    001887dalea rsi, [rip+0x19934f]
    001887e1lea rdi, [rip+0x199478]
    001887e8add rdi, 56
    001887ecmov rbx, rsp
    001887efmov rsp, [r14+64]
    001887f3call caml_initialize
    001887f8mov rsp, rbx
    001887fblea rax, [rip+0x19fe3e]
    00188802mov rax, [rax+8]
    00188806mov rax, [rax]
    00188809or rax, 1
    0018880dlea rbx, [rip+0x19932c]
    00188814mov rbx, [rbx+4*rax-4]
    00188819lea rax, [rip+0x199340]
    00188820call Stdlib.List.map
    00188825sub r15, 48
    00188829call caml_allocN
    0018882elea rbx, [r15+8]
    00188832add rbx, 24
    00188836mov [rbx-8], 2048
    0018883elea rdi, [rip+0x1a152b]
    00188845mov rdi, [rdi+8]
    00188849mov [rbx], rdi
    0018884cmov [rbx+8], rax
    00188850lea rax, [rbx-24]
    00188854mov [rax-8], 2048
    0018885clea rdi, [rip+0x19951d]
    00188863mov [rax], rdi
    00188866lea rdi, [rip+0x19fdd3]
    0018886dmov rdi, [rdi+72]
    00188871mov rdi, [rdi]
    00188874mov [rax+8], rdi
    00188878call camlStdlib.$40_196
    0018887dlea rdi, [rip+0x1993dc]
    00188884add rdi, 64
    00188888mov rsi, rax
    0018888bmov rbx, rsp
    0018888emov rsp, [r14+64]
    00188892call caml_initialize
    00188897mov rsp, rbx
    0018889acall caml_alloc1
    0018889flea rsi, [r15+8]
    001888a3mov [rsi-8], 1024
    001888ablea rax, [rip+0x19966e]
    001888b2mov [rsi], rax
    001888b5lea rdi, [rip+0x1993a4]
    001888bcadd rdi, 72
    001888c0mov rbx, rsp
    001888c3mov rsp, [r14+64]
    001888c7call caml_initialize
    001888ccmov rsp, rbx
    001888cflea rsi, [rip+0x1992a2]
    001888d6lea rdi, [rip+0x199383]
    001888ddadd rdi, 16
    001888e1mov rbx, rsp
    001888e4mov rsp, [r14+64]
    001888e8call caml_initialize
    001888edmov rsp, rbx
    001888f0lea rsi, [rip+0x199299]
    001888f7lea rdi, [rip+0x199362]
    001888feadd rdi, 80
    00188902mov rbx, rsp
    00188905mov rsp, [r14+64]
    00188909call caml_initialize
    0018890emov rsp, rbx
    00188911mov edi, 1
    00188916mov rbx, rsp
    00188919mov rsp, [r14+64]
    0018891dcall caml_fresh_oo_id
    00188922mov rsp, rbx
    00188925call caml_alloc2
    0018892alea rsi, [r15+8]
    0018892emov [rsi-8], 2296
    00188936lea rbx, [rip+0x1995cb]
    0018893dmov [rsi], rbx
    00188940mov [rsi+8], rax
    00188944lea rdi, [rip+0x199315]
    0018894badd rdi, 88
    0018894fmov rbx, rsp
    00188952mov rsp, [r14+64]
    00188956call caml_initialize
    0018895bmov rsp, rbx
    0018895elea rsi, [rip+0x199243]
    00188965lea rdi, [rip+0x1992f4]
    0018896cadd rdi, 96
    00188970mov rbx, rsp
    00188973mov rsp, [r14+64]
    00188977call caml_initialize
    0018897cmov rsp, rbx
    0018897flea rsi, [rip+0x19923a]
    00188986lea rdi, [rip+0x1992d3]
    0018898dadd rdi, 24
    00188991mov rbx, rsp
    00188994mov rsp, [r14+64]
    00188998call caml_initialize
    0018899dmov rsp, rbx
    001889a0mov edi, 1
    001889a5mov rbx, rsp
    001889a8mov rsp, [r14+64]
    001889accall caml_fresh_oo_id
    001889b1mov rsp, rbx
    001889b4call caml_alloc2
    001889b9lea rsi, [r15+8]
    001889bdmov [rsi-8], 2296
    001889c5lea rbx, [rip+0x199444]
    001889ccmov [rsi], rbx
    001889cfmov [rsi+8], rax
    001889d3lea rdi, [rip+0x199286]
    001889daadd rdi, 104
    001889demov rbx, rsp
    001889e1mov rsp, [r14+64]
    001889e5call caml_initialize
    001889eamov rsp, rbx
    001889edlea rsi, [rip+0x1991e4]
    001889f4lea rdi, [rip+0x199265]
    001889fbadd rdi, 112
    001889ffmov rbx, rsp
    00188a02mov rsp, [r14+64]
    00188a06call caml_initialize
    00188a0bmov rsp, rbx
    00188a0elea rsi, [rip+0x1991db]
    00188a15lea rdi, [rip+0x199244]
    00188a1cadd rdi, 120
    00188a20mov rbx, rsp
    00188a23mov rsp, [r14+64]
    00188a27call caml_initialize
    00188a2cmov rsp, rbx
    00188a2flea rsi, [rip+0x1991d2]
    00188a36lea rdi, [rip+0x199223]
    00188a3dadd rdi, 32
    00188a41mov rbx, rsp
    00188a44mov rsp, [r14+64]
    00188a48call caml_initialize
    00188a4dmov rsp, rbx
    00188a50mov edi, 1
    00188a55mov rbx, rsp
    00188a58mov rsp, [r14+64]
    00188a5ccall caml_fresh_oo_id
    00188a61mov rsp, rbx
    00188a64call caml_alloc2
    00188a69lea rsi, [r15+8]
    00188a6dmov [rsi-8], 2296
    00188a75lea rbx, [rip+0x19937c]
    00188a7cmov [rsi], rbx
    00188a7fmov [rsi+8], rax
    00188a83lea rdi, [rip+0x1991d6]
    00188a8aadd rdi, 128
    00188a91mov rbx, rsp
    00188a94mov rsp, [r14+64]
    00188a98call caml_initialize
    00188a9dmov rsp, rbx
    00188aa0lea rsi, [rip+0x199179]
    00188aa7lea rdi, [rip+0x1991b2]
    00188aaeadd rdi, 136
    00188ab5mov rbx, rsp
    00188ab8mov rsp, [r14+64]
    00188abccall caml_initialize
    00188ac1mov rsp, rbx
    00188ac4lea rsi, [rip+0x199175]
    00188acblea rdi, [rip+0x19918e]
    00188ad2add rdi, 40
    00188ad6mov rbx, rsp
    00188ad9mov rsp, [r14+64]
    00188addcall caml_initialize
    00188ae2mov rsp, rbx
    00188ae5mov eax, 1
    00188aearet
    00188aeb
    00188aebloc_188aeb:
    00188aebpush 33
    00188aedcall caml_call_realloc_stack
    00188af2pop r10
    00188af4jmp 0x1886f2
    001886e0
    00188af9
    00188af9 // align 0x10
    00188b00
    00188b00camlDoOut.fun_1305:
    00188b00lea r10, [rsp-320]
    00188b08cmp r10, [r14+40]
    00188b0cjb 0x188c52
    00188b12
    00188b12loc_188b12:
    00188b12call camlDoOut.Make_952
    00188b17mov rbx, rax
    00188b1asub r15, 192
    00188b21cmp r15, [r14]
    00188b24jb 0x188c48
    00188b2a
    00188b2aloc_188b2a:
    00188b2alea rax, [r15+8]
    00188b2emov [rax-8], 23552
    00188b36mov rdi, [rbx+152]
    00188b3dmov [rax], rdi
    00188b40mov rdi, [rbx+160]
    00188b47mov [rax+8], rdi
    00188b4bmov rdi, [rbx+168]
    00188b52mov [rax+16], rdi
    00188b56mov rdi, [rbx+176]
    00188b5dmov [rax+24], rdi
    00188b61mov rdi, [rbx+184]
    00188b68mov [rax+32], rdi
    00188b6cmov rdi, [rbx+192]
    00188b73mov [rax+40], rdi
    00188b77mov rdi, [rbx+216]
    00188b7emov [rax+48], rdi
    00188b82mov rdi, [rbx+224]
    00188b89mov [rax+56], rdi
    00188b8dmov rdi, [rbx+232]
    00188b94mov [rax+64], rdi
    00188b98mov rdi, [rbx+240]
    00188b9fmov [rax+72], rdi
    00188ba3mov rdi, [rbx+200]
    00188baamov [rax+80], rdi
    00188baemov rdi, [rbx+208]
    00188bb5mov [rax+88], rdi
    00188bb9mov rdi, [rbx+248]
    00188bc0mov [rax+96], rdi
    00188bc4mov rdi, [rbx+256]
    00188bcbmov [rax+104], rdi
    00188bcfmov rdi, [rbx+264]
    00188bd6mov [rax+112], rdi
    00188bdamov rdi, [rbx+272]
    00188be1mov [rax+120], rdi
    00188be5mov rdi, [rbx+280]
    00188becmov [rax+128], rdi
    00188bf3mov rdi, [rbx+296]
    00188bfamov [rax+136], rdi
    00188c01mov rdi, [rbx+304]
    00188c08mov [rax+144], rdi
    00188c0fmov rdi, [rbx+312]
    00188c16mov [rax+152], rdi
    00188c1dmov rdi, [rbx+320]
    00188c24mov [rax+160], rdi
    00188c2bmov rdi, [rbx+136]
    00188c32mov [rax+168], rdi
    00188c39mov rbx, [rbx+336]
    00188c40mov [rax+176], rbx
    00188c47ret
    00188c48
    00188c48loc_188c48:
    00188c48call caml_call_gc
    00188c4djmp 0x188b2a
    00188c52
    00188c52loc_188c52:
    00188c52push 33
    00188c54call caml_call_realloc_stack
    00188c59pop r10
    00188c5bjmp 0x188b12
    00188b00
    00188c60
    00188c60camlDoOut.Make_952:
    00188c60lea r10, [rsp-616]
    00188c68cmp r10, [r14+40]
    00188c6cjb 0x189468
    00188c72
    00188c72loc_188c72:
    00188c72sub rsp, 296
    00188c79mov [rsp], rax
    00188c7dcall camlSimpleRope.fun_1011
    00188c82mov [rsp+16], rax
    00188c87mov rax, [rsp]
    00188c8bmov rbx, [rax]
    00188c8emov [rsp+48], rbx
    00188c93mov eax, 33
    00188c98call camlStdlib.min_44
    00188c9dmov [rsp+56], rax
    00188ca2sub r15, 1272
    00188ca9cmp r15, [r14]
    00188cacjb 0x18945e
    00188cb2
    00188cb2loc_188cb2:
    00188cb2lea rbx, [r15+8]
    00188cb6add rbx, 1232
    00188cbdmov [rsp+64], rbx
    00188cc2mov [rbx-8], 4343
    00188ccalea rdi, [rip+1967]
    00188cd1mov [rbx], rdi
    00188cd4mov rdi, 0x100000000000005
    00188cdemov [rbx+8], rdi
    00188ce2mov rdx, [rsp+16]
    00188ce7mov [rbx+16], rdx
    00188cebmov [rbx+24], rax
    00188ceflea rax, [rip+0x199d4a]
    00188cf6mov [rsp+72], rax
    00188cfblea rax, [rip+0x199d26]
    00188d02mov [rsp+80], rax
    00188d07lea rax, [rip+0x199d02]
    00188d0emov [rsp+88], rax
    00188d13lea rax, [rip+0x199cde]
    00188d1amov [rsp+8], rax
    00188d1flea rdi, [rbx-32]
    00188d23mov [rsp+96], rdi
    00188d28mov [rdi-8], 3319
    00188d30lea rax, [rip+2329]
    00188d37mov [rdi], rax
    00188d3amov rax, 0x100000000000005
    00188d44mov [rdi+8], rax
    00188d48mov [rdi+16], rdx
    00188d4clea rax, [rdi-32]
    00188d50mov [rsp+24], rax
    00188d55mov [rax-8], 3319
    00188d5dlea rbx, [rip+2476]
    00188d64mov [rax], rbx
    00188d67mov rbx, 0x100000000000005
    00188d71mov [rax+8], rbx
    00188d75mov [rax+16], rdi
    00188d79lea rsi, [rip+0x199c60]
    00188d80mov [rsp+104], rsi
    00188d85lea rbx, [rax-64]
    00188d89mov [rsp+112], rbx
    00188d8emov [rbx-8], 7415
    00188d96lea r8, [rip-0x91fdd]
    00188d9dmov [rbx], r8
    00188da0mov rax, 0x400000000000007
    00188daamov [rbx+8], rax
    00188daelea rax, [rip+2555]
    00188db5mov [rbx+16], rax
    00188db9mov [rbx+24], rdx
    00188dbdmov rcx, [rsp+48]
    00188dc2mov [rbx+32], rcx
    00188dc6mov [rbx+40], rdi
    00188dcamov [rbx+48], rsi
    00188dcelea rax, [rbx-56]
    00188dd2mov [rsp+120], rax
    00188dd7mov [rax-8], 6391
    00188ddfmov [rax], r8
    00188de2mov r9, 0x400000000000007
    00188decmov [rax+8], r9
    00188df0lea r9, [rip+2985]
    00188df7mov [rax+16], r9
    00188dfbmov [rax+24], rdx
    00188dffmov r9, [rsp+72]
    00188e04mov [rax+32], r9
    00188e08mov [rax+40], rbx
    00188e0clea rbx, [rax-40]
    00188e10mov [rsp+128], rbx
    00188e18mov [rbx-8], 4343
    00188e20mov [rbx], r8
    00188e23mov r8, 0x400000000000007
    00188e2dmov [rbx+8], r8
    00188e31lea r8, [rip+3304]
    00188e38mov [rbx+16], r8
    00188e3cmov [rbx+24], rax
    00188e40lea rax, [rbx-56]
    00188e44mov [rsp+136], rax
    00188e4cmov [rax-8], 6391
    00188e54lea r8, [rip-0x91e3b]
    00188e5bmov [rax], r8
    00188e5emov r9, 0x200000000000007
    00188e68mov [rax+8], r9
    00188e6clea r9, [rip+3261]
    00188e73mov [rax+16], r9
    00188e77mov [rax+24], rcx
    00188e7bmov [rax+32], rdi
    00188e7fmov [rax+40], rsi
    00188e83lea rdi, [rip+0x199b36]
    00188e8amov [rsp+144], rdi
    00188e92add rax, -56
    00188e96mov [rsp+152], rax
    00188e9emov [rax-8], 6391
    00188ea6mov [rsp], r8
    00188eaamov [rax], r8
    00188eadmov rdi, 0x200000000000007
    00188eb7mov [rax+8], rdi
    00188ebblea rdi, [rip+3422]
    00188ec2mov [rax+16], rdi
    00188ec6mov [rax+24], rdx
    00188ecamov rdi, [rsp+24]
    00188ecfmov [rax+32], rdi
    00188ed3mov [rax+40], rbx
    00188ed7lea rbx, [rip+0x199ac2]
    00188edemov [rsp+32], rbx
    00188ee3lea rbx, [rip+0x199a9e]
    00188eeamov [rsp+160], rbx
    00188ef2add rax, -32
    00188ef6mov [rsp+168], rax
    00188efemov [rax-8], 3319
    00188f06lea rbx, [rip+3795]
    00188f0dmov [rax], rbx
    00188f10mov rbx, 0x100000000000005
    00188f1amov [rax+8], rbx
    00188f1emov rbx, [rsp+64]
    00188f23mov [rax+16], rbx
    00188f27lea rbx, [rip+0x199a42]
    00188f2emov [rsp+176], rbx
    00188f36lea rbx, [rip+0x199a1b]
    00188f3dmov [rsp+184], rbx
    00188f45mov ebx, 1
    00188f4alea rdi, [rip+0x1999e7]
    00188f51add rax, -40
    00188f55mov [rsp+192], rax
    00188f5dmov [rax-8], 4343
    00188f65lea rsi, [rip+3876]
    00188f6cmov [rax], rsi
    00188f6fmov rsi, 0x100000000000005
    00188f79mov [rax+8], rsi
    00188f7dmov [rax+16], rbx
    00188f81mov [rax+24], rdi
    00188f85lea rbx, [rip+0x199994]
    00188f8cmov [rsp+40], rbx
    00188f91lea rbx, [rip+0x199970]
    00188f98mov [rsp+200], rbx
    00188fa0lea rbx, [rip+0x199949]
    00188fa7mov [rsp+208], rbx
    00188fafadd rax, -48
    00188fb3mov [rsp+216], rax
    00188fbbmov [rax-8], 5367
    00188fc3mov rbx, [rsp]
    00188fc7mov [rax], rbx
    00188fcamov rdi, 0x200000000000007
    00188fd4mov [rax+8], rdi
    00188fd8lea rdi, [rip+4097]
    00188fdfmov [rax+16], rdi
    00188fe3mov rdi, [rsp+16]
    00188fe8mov [rax+24], rdi
    00188fecmov rdi, [rsp+24]
    00188ff1mov [rax+32], rdi
    00188ff5add rax, -40
    00188ff9mov [rsp], rax
    00188ffdmov [rax-8], 4343
    00189005mov [rax], rbx
    00189008mov rdi, 0x200000000000007
    00189012mov [rax+8], rdi
    00189016lea rdi, [rip+4259]
    0018901dmov [rax+16], rdi
    00189021mov rdi, [rsp+120]
    00189026mov [rax+24], rdi
    0018902aadd rax, -40
    0018902emov [rsp+224], rax
    00189036mov [rax-8], 4343
    0018903emov [rax], rbx
    00189041mov rdi, 0x200000000000007
    0018904bmov [rax+8], rdi
    0018904flea rdi, [rip+4282]
    00189056mov [rax+16], rdi
    0018905amov rdi, [rsp+128]
    00189062mov [rax+24], rdi
    00189066add rax, -40
    0018906amov [rsp+232], rax
    00189072mov [rax-8], 4343
    0018907amov [rax], rbx
    0018907dmov rdi, 0x200000000000007
    00189087mov [rax+8], rdi
    0018908blea rdi, [rip+4318]
    00189092mov [rax+16], rdi
    00189096mov rdi, [rsp+136]
    0018909emov [rax+24], rdi
    001890a2lea rdi, [rip+0x19982f]
    001890a9mov [rsp+240], rdi
    001890b1lea rdi, [rip+0x199800]
    001890b8mov [rsp+248], rdi
    001890c0add rax, -48
    001890c4mov [rsp+256], rax
    001890ccmov [rax-8], 5367
    001890d4mov [rax], rbx
    001890d7mov rdi, 0x200000000000007
    001890e1mov [rax+8], rdi
    001890e5lea rdi, [rip+4580]
    001890ecmov [rax+16], rdi
    001890f0mov rdi, [rsp+88]
    001890f5mov [rax+24], rdi
    001890f9mov rdi, [rsp+144]
    00189101mov [rax+32], rdi
    00189105lea rdi, [rip+0x199794]
    0018910cmov [rsp+264], rdi
    00189114lea rdi, [rip+0x19976d]
    0018911bmov [rsp+272], rdi
    00189123lea rdi, [rip+0x19973e]
    0018912amov [rsp+280], rdi
    00189132lea rcx, [rax-48]
    00189136mov [rcx-8], 5367
    0018913emov [rcx], rbx
    00189141mov rax, 0x200000000000007
    0018914bmov [rcx+8], rax
    0018914flea rax, [rip+5850]
    00189156mov [rcx+16], rax
    0018915amov rax, [rsp+72]
    0018915fmov [rcx+24], rax
    00189163mov rax, [rsp+152]
    0018916bmov [rcx+32], rax
    0018916flea rax, [rcx-40]
    00189173mov [rsp+288], rax
    0018917bmov [rax-8], 4343
    00189183mov [rax], rbx
    00189186mov rdi, 0x200000000000007
    00189190mov [rax+8], rdi
    00189194lea rdi, [rip+5909]
    0018919bmov [rax+16], rdi
    0018919fmov [rax+24], rcx
    001891a3lea r8, [rax-48]
    001891a7mov [r8-8], 5367
    001891aflea rax, [rip-0x92286]
    001891b6mov [r8], rax
    001891b9mov rax, 0x300000000000007
    001891c3mov [r8+8], rax
    001891c7lea rax, [rip+5938]
    001891cemov [r8+16], rax
    001891d2mov r9, [rsp+8]
    001891d7mov [r8+24], r9
    001891dbmov r10, [rsp]
    001891dfmov [r8+32], r10
    001891e3lea rdi, [r8-72]
    001891e7mov [rdi-8], 8439
    001891efmov [rdi], rbx
    001891f2mov rax, 0x200000000000007
    001891fcmov [rdi+8], rax
    00189200lea rax, [rip+6009]
    00189207mov [rdi+16], rax
    0018920bmov rbx, [rsp+16]
    00189210mov [rdi+24], rbx
    00189214mov rdx, [rsp+24]
    00189219mov [rdi+32], rdx
    0018921dmov r12, [rsp+32]
    00189222mov [rdi+40], r12
    00189226mov r13, [rsp+40]
    0018922bmov [rdi+48], r13
    0018922fmov [rdi+56], rcx
    00189233lea rbp, [rip+0x199616]
    0018923alea r11, [rip+0x1995f7]
    00189241lea rsi, [rdi-48]
    00189245mov [rsi-8], 5367
    0018924dlea rax, [rip+6636]
    00189254mov [rsi], rax
    00189257mov rax, 0x100000000000005
    00189261mov [rsi+8], rax
    00189265mov [rsi+16], rbx
    00189269mov [rsi+24], rdx
    0018926dmov [rsi+32], r11
    00189271lea rax, [rsi-352]
    00189278mov [rax-8], 44032
    00189280mov [rax], rbx
    00189283mov rbx, [rsp+48]
    00189288mov [rax+8], rbx
    0018928cmov rbx, [rsp+56]
    00189291mov [rax+16], rbx
    00189295mov rbx, [rsp+64]
    0018929amov [rax+24], rbx
    0018929emov rbx, [rsp+72]
    001892a3mov [rax+32], rbx
    001892a7mov rbx, [rsp+80]
    001892acmov [rax+40], rbx
    001892b0mov rbx, [rsp+88]
    001892b5mov [rax+48], rbx
    001892b9mov [rax+56], r9
    001892bdmov rbx, [rsp+96]
    001892c2mov [rax+64], rbx
    001892c6mov [rax+72], rdx
    001892camov rbx, [rsp+104]
    001892cfmov [rax+80], rbx
    001892d3mov rbx, [rsp+112]
    001892d8mov [rax+88], rbx
    001892dcmov rbx, [rsp+120]
    001892e1mov [rax+96], rbx
    001892e5mov rbx, [rsp+128]
    001892edmov [rax+104], rbx
    001892f1mov rbx, [rsp+136]
    001892f9mov [rax+112], rbx
    001892fdmov rbx, [rsp+144]
    00189305mov [rax+120], rbx
    00189309mov rbx, [rsp+152]
    00189311mov [rax+128], rbx
    00189318mov [rax+136], r12
    0018931fmov rbx, [rsp+160]
    00189327mov [rax+144], rbx
    0018932emov rbx, [rsp+168]
    00189336mov [rax+152], rbx
    0018933dmov rbx, [rsp+176]
    00189345mov [rax+160], rbx
    0018934cmov rbx, [rsp+184]
    00189354mov [rax+168], rbx
    0018935bmov rbx, [rsp+192]
    00189363mov [rax+176], rbx
    0018936amov [rax+184], r13
    00189371mov rbx, [rsp+200]
    00189379mov [rax+192], rbx
    00189380mov rbx, [rsp+208]
    00189388mov [rax+200], rbx
    0018938fmov rbx, [rsp+216]
    00189397mov [rax+208], rbx
    0018939emov [rax+216], r10
    001893a5mov rbx, [rsp+224]
    001893admov [rax+224], rbx
    001893b4mov rbx, [rsp+232]
    001893bcmov [rax+232], rbx
    001893c3mov rbx, [rsp+240]
    001893cbmov [rax+240], rbx
    001893d2mov rbx, [rsp+248]
    001893damov [rax+248], rbx
    001893e1mov rbx, [rsp+256]
    001893e9mov [rax+256], rbx
    001893f0mov rbx, [rsp+264]
    001893f8mov [rax+264], rbx
    001893ffmov rbx, [rsp+272]
    00189407mov [rax+272], rbx
    0018940emov rbx, [rsp+280]
    00189416mov [rax+280], rbx
    0018941dmov [rax+288], rcx
    00189424mov rbx, [rsp+288]
    0018942cmov [rax+296], rbx
    00189433mov [rax+304], r8
    0018943amov [rax+312], rdi
    00189441mov [rax+320], rbp
    00189448mov [rax+328], r11
    0018944fmov [rax+336], rsi
    00189456add rsp, 296
    0018945dret
    0018945e
    0018945eloc_18945e:
    0018945ecall caml_call_gc
    00189463jmp 0x188cb2
    00189468
    00189468loc_189468:
    00189468push 70
    0018946acall caml_call_realloc_stack
    0018946fpop r10
    00189471jmp 0x188c72
    00188c60