File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
00109040
00109040camlVerb.fun_4682:
00109040lea r10, [rsp-352]
00109048cmp r10, [r14+40]
0010904cjb 0x10916e
00109052
00109052loc_109052:
00109052sub rsp, 32
00109056mov [rsp], rax
0010905amov [rsp+24], rbx
0010905fmov rbx, [rbx+16]
00109063mov rbx, [rbx+240]
0010906amov rdi, [rbx]
0010906dcall rdi
0010906fmov [rsp+16], rax
00109074mov rax, [rsp+24]
00109079mov rax, [rax+16]
0010907dmov rbx, [rax+224]
00109084mov rdi, [rbx]
00109087mov rax, [rsp]
0010908bcall rdi
0010908dcall camlMyLexing.from_string_309
00109092mov rbx, rax
00109095mov [rsp], rbx
00109099lea rax, [rip+0x1772b0]
001090a0call camlSubst.subst_opt_800
001090a5mov [rsp+8], rax
001090aalea rax, [rip+0x21209f]
001090b1mov rdi, [rax+176]
001090b8add rdi, 24
001090bcmov ebx, 19
001090c1mov rax, [rsp]
001090c5call Save..ocaml_lex_rest_rec
001090casub r15, 96
001090cecmp r15, [r14]
001090d1jb 0x109164
001090d7
001090d7loc_1090d7:
001090d7lea rdi, [r15+8]
001090dbadd rdi, 72
001090dfmov [rdi-8], 2048
001090e7mov [rdi], rax
001090ealea rax, [rip+0x17693f]
001090f1mov [rdi+8], rax
001090f5lea rbx, [rdi-24]
001090f9mov [rbx-8], 2048
00109101lea rax, [rip+0x1764d0]
00109108mov [rbx], rax
0010910bmov [rbx+8], rdi
0010910flea rdi, [rbx-24]
00109113mov [rdi-8], 2048
0010911blea rax, [rip+0x1764c6]
00109122mov [rdi], rax
00109125mov rax, [rsp+8]
0010912amov [rdi+8], rax
0010912elea rax, [rdi-24]
00109132mov [rax-8], 2048
0010913amov rsi, [rsp+16]
0010913fmov [rax], rsi
00109142mov [rax+8], rdi
00109146call camlStdlib.$40_196
0010914bmov rbx, rax
0010914emov rax, [rsp+24]
00109153mov rax, [rax+16]
00109157mov rax, [rax+24]
0010915badd rsp, 32
0010915fjmp 0x17f240
00109164
00109164loc_109164:
00109164call caml_call_gc
00109169jmp 0x1090d7
0010916e
0010916eloc_10916e:
0010916epush 37
00109170call caml_call_realloc_stack
00109175pop r10
00109177jmp 0x109052
00109040
00109040camlVerb.fun_4682:
00109040lea r10, [rsp-352]
00109048cmp r10, [r14+40]
0010904cjb 0x10916e
00109052
00109052loc_109052:
00109052sub rsp, 32
00109056mov [rsp], rax
0010905amov [rsp+24], rbx
0010905fmov rbx, [rbx+16]
00109063mov rbx, [rbx+240]
0010906amov rdi, [rbx]
0010906dcall rdi
0010906fmov [rsp+16], rax
00109074mov rax, [rsp+24]
00109079mov rax, [rax+16]
0010907dmov rbx, [rax+224]
00109084mov rdi, [rbx]
00109087mov rax, [rsp]
0010908bcall rdi
0010908dcall camlMyLexing.from_string_309
00109092mov rbx, rax
00109095mov [rsp], rbx
00109099lea rax, [rip+0x1772b0]
001090a0call camlSubst.subst_opt_800
001090a5mov [rsp+8], rax
001090aalea rax, [rip+0x21209f]
001090b1mov rdi, [rax+176]
001090b8add rdi, 24
001090bcmov ebx, 19
001090c1mov rax, [rsp]
001090c5call Save..ocaml_lex_rest_rec
001090casub r15, 96
001090cecmp r15, [r14]
001090d1jb 0x109164
001090d7
001090d7loc_1090d7:
001090d7lea rdi, [r15+8]
001090dbadd rdi, 72
001090dfmov [rdi-8], 2048
001090e7mov [rdi], rax
001090ealea rax, [rip+0x17693f]
001090f1mov [rdi+8], rax
001090f5lea rbx, [rdi-24]
001090f9mov [rbx-8], 2048
00109101lea rax, [rip+0x1764d0]
00109108mov [rbx], rax
0010910bmov [rbx+8], rdi
0010910flea rdi, [rbx-24]
00109113mov [rdi-8], 2048
0010911blea rax, [rip+0x1764c6]
00109122mov [rdi], rax
00109125mov rax, [rsp+8]
0010912amov [rdi+8], rax
0010912elea rax, [rdi-24]
00109132mov [rax-8], 2048
0010913amov rsi, [rsp+16]
0010913fmov [rax], rsi
00109142mov [rax+8], rdi
00109146call camlStdlib.$40_196
0010914bmov rbx, rax
0010914emov rax, [rsp+24]
00109153mov rax, [rax+16]
00109157mov rax, [rax+24]
0010915badd rsp, 32
0010915fjmp 0x17f240
00109164
00109164loc_109164:
00109164call caml_call_gc
00109169jmp 0x1090d7
0010916e
0010916eloc_10916e:
0010916epush 37
00109170call caml_call_realloc_stack
00109175pop r10
00109177jmp 0x109052
00109040
0010917c
0010917c // align 0x10
0010917c // align 0x10
00109180
00109180camlVerb.init_listings_1857:
00109180lea r10, [rsp-336]
00109188cmp r10, [r14+40]
0010918cjb 0x109891
00109192
00109192loc_109192:
00109192sub rsp, 16
00109196mov [rsp+8], rbx
0010919bmov rax, [rbx+248]
001091a2mov rdi, [rax+104]
001091a6mov rbx, [rbx+24]
001091aalea rax, [rip+0x176397]
001091b1call caml_apply2
001091b6mov rbx, [rsp+8]
001091bbmov rax, [rbx+248]
001091c2mov rdi, [rax+104]
001091c6mov rbx, [rbx+32]
001091calea rax, [rip+0x176357]
001091d1call caml_apply2
001091d6mov rbx, [rsp+8]
001091dbmov rax, [rbx+248]
001091e2mov rdi, [rax+104]
001091e6mov rbx, [rbx+56]
001091ealea rax, [rip+0x176317]
001091f1call caml_apply2
001091f6mov rbx, [rsp+8]
001091fbmov rax, [rbx+248]
00109202mov rdi, [rax+104]
00109206mov rbx, [rbx+48]
0010920alea rax, [rip+0x1762af]
00109211call caml_apply2
00109216mov rbx, [rsp+8]
0010921bmov rax, [rbx+248]
00109222mov rdi, [rax+104]
00109226mov rbx, [rbx+64]
0010922alea rax, [rip+0x176277]
00109231call caml_apply2
00109236mov rbx, [rsp+8]
0010923bmov rax, [rbx+248]
00109242mov rdi, [rax+104]
00109246mov rbx, [rbx+72]
0010924alea rax, [rip+0x17623f]
00109251call caml_apply2
00109256mov rbx, [rsp+8]
0010925bmov rax, [rbx+248]
00109262mov rdi, [rax+104]
00109266mov rbx, [rbx+80]
0010926alea rax, [rip+0x176207]
00109271call caml_apply2
00109276mov rbx, [rsp+8]
0010927bmov rax, [rbx+248]
00109282mov rdi, [rax+104]
00109286mov rbx, [rbx+40]
0010928alea rax, [rip+0x1761c7]
00109291call caml_apply2
00109296mov rbx, [rsp+8]
0010929bmov rax, [rbx+248]
001092a2mov rdi, [rax+104]
001092a6mov rbx, [rbx+88]
001092aalea rax, [rip+0x17618f]
001092b1call caml_apply2
001092b6mov rbx, [rsp+8]
001092bbmov rax, [rbx+248]
001092c2mov rdi, [rax+104]
001092c6mov rbx, [rbx+96]
001092calea rax, [rip+0x176157]
001092d1call caml_apply2
001092d6mov rbx, [rsp+8]
001092dbmov rax, [rbx+248]
001092e2mov rdi, [rax+104]
001092e6mov rbx, [rbx+104]
001092ealea rax, [rip+0x17611f]
001092f1call caml_apply2
001092f6mov rbx, [rsp+8]
001092fbmov rax, [rbx+248]
00109302mov rdi, [rax+160]
00109309mov rbx, [rbx+152]
00109310lea rax, [rip+0x1760e1]
00109317call caml_apply2
0010931cmov rbx, [rsp+8]
00109321mov rax, [rbx+248]
00109328mov rdi, [rax+160]
0010932fmov rbx, [rbx+240]
00109336lea rax, [rip+0x1760a3]
0010933dcall caml_apply2
00109342mov rbx, [rsp+8]
00109347mov rax, [rbx+248]
0010934emov rdi, [rax+160]
00109355mov rbx, [rbx+192]
0010935clea rax, [rip+0x17605d]
00109363call caml_apply2
00109368sub r15, 32
0010936ccmp r15, [r14]
0010936fjb 0x109887
00109375
00109375loc_109375:
00109375lea rbx, [r15+8]
00109379mov [rbx-8], 3319
00109381lea rax, [rip+1304]
00109388mov [rbx], rax
0010938bmov rax, 0x100000000000005
00109395mov [rbx+8], rax
00109399mov rax, [rsp+8]
0010939emov rax, [rax+248]
001093a5mov [rbx+16], rax
001093a9mov rdi, [rax+160]
001093b0lea rax, [rip+0x175ff1]
001093b7call caml_apply2
001093bcsub r15, 32
001093c0cmp r15, [r14]
001093c3jb 0x10987d
001093c9
001093c9loc_1093c9:
001093c9lea rbx, [r15+8]
001093cdmov [rbx-8], 3319
001093d5lea rax, [rip+1668]
001093dcmov [rbx], rax
001093dfmov rax, 0x100000000000005
001093e9mov [rbx+8], rax
001093edmov rax, [rsp+8]
001093f2mov rax, [rax+248]
001093f9mov [rbx+16], rax
001093fdmov rdi, [rax+160]
00109404lea rax, [rip+0x175f85]
0010940bcall caml_apply2
00109410mov rbx, [rsp+8]
00109415mov rax, [rbx+248]
0010941cmov rdi, [rax+160]
00109423mov rbx, [rbx+232]
0010942alea rax, [rip+0x175eff]
00109431call caml_apply2
00109436sub r15, 40
0010943acmp r15, [r14]
0010943djb 0x109873
00109443
00109443loc_109443:
00109443lea rax, [r15+8]
00109447mov [rsp], rax
0010944bmov [rax-8], 4343
00109453lea rbx, [rip+1942]
0010945amov [rax], rbx
0010945dmov rbx, 0x100000000000005
00109467mov [rax+8], rbx
0010946bmov rdi, [rsp+8]
00109470mov rbx, [rdi+248]
00109477mov [rax+16], rbx
0010947bmov rbx, [rdi+264]
00109482mov [rax+24], rbx
00109486lea rbx, [rip+0x1763eb]
0010948dlea rax, [rip+0x175e84]
00109494call camlStdlib.$5e_139
00109499mov rbx, rax
0010949clea rax, [rip+0x220e1d]
001094a3call camlStdlib.$5e_139
001094a8mov rbx, [rsp+8]
001094admov rbx, [rbx+248]
001094b4mov rdi, [rbx+160]
001094bbmov rbx, [rsp]
001094bfcall caml_apply2
001094c4lea rbx, [rip+0x1763ad]
001094cblea rax, [rip+0x175e46]
001094d2call camlStdlib.$5e_139
001094d7mov rbx, rax
001094dalea rax, [rip+0x220dcf]
001094e1call camlStdlib.$5e_139
001094e6mov rbx, [rsp+8]
001094ebmov rbx, [rbx+248]
001094f2mov rdi, [rbx+160]
001094f9lea rbx, [rip+0x1754f0]
00109500call caml_apply2
00109505mov rax, [rsp+8]
0010950amov rbx, [rax+224]
00109511lea rax, [rip+0x175e00]
00109518call camlVerb.open_lst_env_1817
0010951dmov [rsp], rax
00109521lea rbx, [rip+0x175df0]
00109528lea rax, [rip+0x220d91]
0010952fcall camlStdlib.$5e_139
00109534mov rbx, [rsp+8]
00109539mov rbx, [rbx+248]
00109540mov rdi, [rbx+160]
00109547mov rbx, [rsp]
0010954bcall caml_apply2
00109550sub r15, 48
00109554cmp r15, [r14]
00109557jb 0x109869
0010955d
0010955dloc_10955d:
0010955dlea rbx, [r15+8]
00109561mov [rbx-8], 5367
00109569lea rax, [rip+2128]
00109570mov [rbx], rax
00109573mov rax, 0x100000000000005
0010957dmov [rbx+8], rax
00109581mov rdi, [rsp+8]
00109586mov rax, [rdi+128]
0010958dmov [rbx+16], rax
00109591mov rax, [rdi+136]
00109598mov [rbx+24], rax
0010959cmov rax, [rdi+160]
001095a3mov [rbx+32], rax
001095a7mov rax, [rdi+248]
001095aemov rdi, [rax+160]
001095b5lea rax, [rip+0x175d14]
001095bccall caml_apply2
001095c1sub r15, 48
001095c5cmp r15, [r14]
001095c8jb 0x10985f
001095ce
001095celoc_1095ce:
001095celea rbx, [r15+8]
001095d2mov [rbx-8], 5367
001095dalea rax, [rip+2047]
001095e1mov [rbx], rax
001095e4mov rax, 0x100000000000005
001095eemov [rbx+8], rax
001095f2mov rdi, [rsp+8]
001095f7mov rax, [rdi+112]
001095fbmov [rbx+16], rax
001095ffmov rax, [rdi+120]
00109603mov [rbx+24], rax
00109607mov rax, [rdi+160]
0010960emov [rbx+32], rax
00109612mov rax, [rdi+248]
00109619mov rdi, [rax+160]
00109620lea rax, [rip+0x175c89]
00109627call caml_apply2
0010962cmov rbx, [rsp+8]
00109631mov rax, [rbx+248]
00109638mov rdi, [rax+160]
0010963fmov rbx, [rbx+176]
00109646lea rax, [rip+0x175c43]
0010964dcall caml_apply2
00109652mov rbx, [rsp+8]
00109657mov rax, [rbx+248]
0010965emov rdi, [rax+160]
00109665mov rbx, [rbx+184]
0010966clea rax, [rip+0x175c05]
00109673call caml_apply2
00109678sub r15, 48
0010967ccmp r15, [r14]
0010967fjb 0x109855
00109685
00109685loc_109685:
00109685lea rbx, [r15+8]
00109689mov [rbx-8], 5367
00109691lea rax, [rip+1896]
00109698mov [rbx], rax
0010969bmov rax, 0x100000000000005
001096a5mov [rbx+8], rax
001096a9mov rdi, [rsp+8]
001096aemov rax, [rdi+128]
001096b5mov [rbx+16], rax
001096b9mov rax, [rdi+136]
001096c0mov [rbx+24], rax
001096c4mov rax, [rdi+168]
001096cbmov [rbx+32], rax
001096cfmov rax, [rdi+248]
001096d6mov rdi, [rax+160]
001096ddlea rax, [rip+0x175b74]
001096e4call caml_apply2
001096e9sub r15, 80
001096edcmp r15, [r14]
001096f0jb 0x10984b
001096f6
001096f6loc_1096f6:
001096f6lea rbx, [r15+8]
001096famov [rbx-8], 9463
00109702lea rax, [rip+1815]
00109709mov [rbx], rax
0010970cmov rax, 0x100000000000005
00109716mov [rbx+8], rax
0010971amov rsi, [rsp+8]
0010971fmov rax, [rsi+16]
00109723mov [rbx+16], rax
00109727mov rax, [rsi+144]
0010972emov [rbx+24], rax
00109732mov rax, [rsi+200]
00109739mov [rbx+32], rax
0010973dmov rax, [rsi+208]
00109744mov [rbx+40], rax
00109748mov rax, [rsi+248]
0010974fmov [rbx+48], rax
00109753mov rdi, [rsi+256]
0010975amov [rbx+56], rdi
0010975emov rdi, [rsi+264]
00109765mov [rbx+64], rdi
00109769mov rdi, [rax+160]
00109770lea rax, [rip+0x175ac9]
00109777call caml_apply2
0010977csub r15, 32
00109780cmp r15, [r14]
00109783jb 0x109841
00109789
00109789loc_109789:
00109789lea rbx, [r15+8]
0010978dmov [rbx-8], 3319
00109795lea rax, [rip+2100]
0010979cmov [rbx], rax
0010979fmov rax, 0x100000000000005
001097a9mov [rbx+8], rax
001097admov rax, [rsp+8]
001097b2mov rax, [rax+248]
001097b9mov [rbx+16], rax
001097bdmov rdi, [rax+160]
001097c4lea rax, [rip+0x175a3d]
001097cbcall caml_apply2
001097d0lea rax, [rip+0x175231]
001097d7sub r15, 48
001097dbcmp r15, [r14]
001097dejb 0x10983a
001097e0
001097e0loc_1097e0:
001097e0lea rbx, [r15+8]
001097e4mov [rbx-8], 5367
001097eclea rdi, [rip+2845]
001097f3mov [rbx], rdi
001097f6mov rdi, 0x100000000000005
00109800mov [rbx+8], rdi
00109804mov [rbx+16], rax
00109808mov rdi, [rsp+8]
0010980dmov rax, [rdi+248]
00109814mov [rbx+24], rax
00109818mov rdi, [rdi+264]
0010981fmov [rbx+32], rdi
00109823mov rdi, [rax+160]
0010982alea rax, [rip+0x17592f]
00109831add rsp, 16
00109835jmp 0xf73e0
0010983a
0010983aloc_10983a:
0010983acall caml_call_gc
0010983fjmp 0x1097e0
00109841
00109841loc_109841:
00109841call caml_call_gc
00109846jmp 0x109789
0010984b
0010984bloc_10984b:
0010984bcall caml_call_gc
00109850jmp 0x1096f6
00109855
00109855loc_109855:
00109855call caml_call_gc
0010985ajmp 0x109685
0010985f
0010985floc_10985f:
0010985fcall caml_call_gc
00109864jmp 0x1095ce
00109869
00109869loc_109869:
00109869call caml_call_gc
0010986ejmp 0x10955d
00109873
00109873loc_109873:
00109873call caml_call_gc
00109878jmp 0x109443
0010987d
0010987dloc_10987d:
0010987dcall caml_call_gc
00109882jmp 0x1093c9
00109887
00109887loc_109887:
00109887call caml_call_gc
0010988cjmp 0x109375
00109891
00109891loc_109891:
00109891push 35
00109893call caml_call_realloc_stack
00109898pop r10
0010989ajmp 0x109192
00109180
00109180camlVerb.init_listings_1857:
00109180lea r10, [rsp-336]
00109188cmp r10, [r14+40]
0010918cjb 0x109891
00109192
00109192loc_109192:
00109192sub rsp, 16
00109196mov [rsp+8], rbx
0010919bmov rax, [rbx+248]
001091a2mov rdi, [rax+104]
001091a6mov rbx, [rbx+24]
001091aalea rax, [rip+0x176397]
001091b1call caml_apply2
001091b6mov rbx, [rsp+8]
001091bbmov rax, [rbx+248]
001091c2mov rdi, [rax+104]
001091c6mov rbx, [rbx+32]
001091calea rax, [rip+0x176357]
001091d1call caml_apply2
001091d6mov rbx, [rsp+8]
001091dbmov rax, [rbx+248]
001091e2mov rdi, [rax+104]
001091e6mov rbx, [rbx+56]
001091ealea rax, [rip+0x176317]
001091f1call caml_apply2
001091f6mov rbx, [rsp+8]
001091fbmov rax, [rbx+248]
00109202mov rdi, [rax+104]
00109206mov rbx, [rbx+48]
0010920alea rax, [rip+0x1762af]
00109211call caml_apply2
00109216mov rbx, [rsp+8]
0010921bmov rax, [rbx+248]
00109222mov rdi, [rax+104]
00109226mov rbx, [rbx+64]
0010922alea rax, [rip+0x176277]
00109231call caml_apply2
00109236mov rbx, [rsp+8]
0010923bmov rax, [rbx+248]
00109242mov rdi, [rax+104]
00109246mov rbx, [rbx+72]
0010924alea rax, [rip+0x17623f]
00109251call caml_apply2
00109256mov rbx, [rsp+8]
0010925bmov rax, [rbx+248]
00109262mov rdi, [rax+104]
00109266mov rbx, [rbx+80]
0010926alea rax, [rip+0x176207]
00109271call caml_apply2
00109276mov rbx, [rsp+8]
0010927bmov rax, [rbx+248]
00109282mov rdi, [rax+104]
00109286mov rbx, [rbx+40]
0010928alea rax, [rip+0x1761c7]
00109291call caml_apply2
00109296mov rbx, [rsp+8]
0010929bmov rax, [rbx+248]
001092a2mov rdi, [rax+104]
001092a6mov rbx, [rbx+88]
001092aalea rax, [rip+0x17618f]
001092b1call caml_apply2
001092b6mov rbx, [rsp+8]
001092bbmov rax, [rbx+248]
001092c2mov rdi, [rax+104]
001092c6mov rbx, [rbx+96]
001092calea rax, [rip+0x176157]
001092d1call caml_apply2
001092d6mov rbx, [rsp+8]
001092dbmov rax, [rbx+248]
001092e2mov rdi, [rax+104]
001092e6mov rbx, [rbx+104]
001092ealea rax, [rip+0x17611f]
001092f1call caml_apply2
001092f6mov rbx, [rsp+8]
001092fbmov rax, [rbx+248]
00109302mov rdi, [rax+160]
00109309mov rbx, [rbx+152]
00109310lea rax, [rip+0x1760e1]
00109317call caml_apply2
0010931cmov rbx, [rsp+8]
00109321mov rax, [rbx+248]
00109328mov rdi, [rax+160]
0010932fmov rbx, [rbx+240]
00109336lea rax, [rip+0x1760a3]
0010933dcall caml_apply2
00109342mov rbx, [rsp+8]
00109347mov rax, [rbx+248]
0010934emov rdi, [rax+160]
00109355mov rbx, [rbx+192]
0010935clea rax, [rip+0x17605d]
00109363call caml_apply2
00109368sub r15, 32
0010936ccmp r15, [r14]
0010936fjb 0x109887
00109375
00109375loc_109375:
00109375lea rbx, [r15+8]
00109379mov [rbx-8], 3319
00109381lea rax, [rip+1304]
00109388mov [rbx], rax
0010938bmov rax, 0x100000000000005
00109395mov [rbx+8], rax
00109399mov rax, [rsp+8]
0010939emov rax, [rax+248]
001093a5mov [rbx+16], rax
001093a9mov rdi, [rax+160]
001093b0lea rax, [rip+0x175ff1]
001093b7call caml_apply2
001093bcsub r15, 32
001093c0cmp r15, [r14]
001093c3jb 0x10987d
001093c9
001093c9loc_1093c9:
001093c9lea rbx, [r15+8]
001093cdmov [rbx-8], 3319
001093d5lea rax, [rip+1668]
001093dcmov [rbx], rax
001093dfmov rax, 0x100000000000005
001093e9mov [rbx+8], rax
001093edmov rax, [rsp+8]
001093f2mov rax, [rax+248]
001093f9mov [rbx+16], rax
001093fdmov rdi, [rax+160]
00109404lea rax, [rip+0x175f85]
0010940bcall caml_apply2
00109410mov rbx, [rsp+8]
00109415mov rax, [rbx+248]
0010941cmov rdi, [rax+160]
00109423mov rbx, [rbx+232]
0010942alea rax, [rip+0x175eff]
00109431call caml_apply2
00109436sub r15, 40
0010943acmp r15, [r14]
0010943djb 0x109873
00109443
00109443loc_109443:
00109443lea rax, [r15+8]
00109447mov [rsp], rax
0010944bmov [rax-8], 4343
00109453lea rbx, [rip+1942]
0010945amov [rax], rbx
0010945dmov rbx, 0x100000000000005
00109467mov [rax+8], rbx
0010946bmov rdi, [rsp+8]
00109470mov rbx, [rdi+248]
00109477mov [rax+16], rbx
0010947bmov rbx, [rdi+264]
00109482mov [rax+24], rbx
00109486lea rbx, [rip+0x1763eb]
0010948dlea rax, [rip+0x175e84]
00109494call camlStdlib.$5e_139
00109499mov rbx, rax
0010949clea rax, [rip+0x220e1d]
001094a3call camlStdlib.$5e_139
001094a8mov rbx, [rsp+8]
001094admov rbx, [rbx+248]
001094b4mov rdi, [rbx+160]
001094bbmov rbx, [rsp]
001094bfcall caml_apply2
001094c4lea rbx, [rip+0x1763ad]
001094cblea rax, [rip+0x175e46]
001094d2call camlStdlib.$5e_139
001094d7mov rbx, rax
001094dalea rax, [rip+0x220dcf]
001094e1call camlStdlib.$5e_139
001094e6mov rbx, [rsp+8]
001094ebmov rbx, [rbx+248]
001094f2mov rdi, [rbx+160]
001094f9lea rbx, [rip+0x1754f0]
00109500call caml_apply2
00109505mov rax, [rsp+8]
0010950amov rbx, [rax+224]
00109511lea rax, [rip+0x175e00]
00109518call camlVerb.open_lst_env_1817
0010951dmov [rsp], rax
00109521lea rbx, [rip+0x175df0]
00109528lea rax, [rip+0x220d91]
0010952fcall camlStdlib.$5e_139
00109534mov rbx, [rsp+8]
00109539mov rbx, [rbx+248]
00109540mov rdi, [rbx+160]
00109547mov rbx, [rsp]
0010954bcall caml_apply2
00109550sub r15, 48
00109554cmp r15, [r14]
00109557jb 0x109869
0010955d
0010955dloc_10955d:
0010955dlea rbx, [r15+8]
00109561mov [rbx-8], 5367
00109569lea rax, [rip+2128]
00109570mov [rbx], rax
00109573mov rax, 0x100000000000005
0010957dmov [rbx+8], rax
00109581mov rdi, [rsp+8]
00109586mov rax, [rdi+128]
0010958dmov [rbx+16], rax
00109591mov rax, [rdi+136]
00109598mov [rbx+24], rax
0010959cmov rax, [rdi+160]
001095a3mov [rbx+32], rax
001095a7mov rax, [rdi+248]
001095aemov rdi, [rax+160]
001095b5lea rax, [rip+0x175d14]
001095bccall caml_apply2
001095c1sub r15, 48
001095c5cmp r15, [r14]
001095c8jb 0x10985f
001095ce
001095celoc_1095ce:
001095celea rbx, [r15+8]
001095d2mov [rbx-8], 5367
001095dalea rax, [rip+2047]
001095e1mov [rbx], rax
001095e4mov rax, 0x100000000000005
001095eemov [rbx+8], rax
001095f2mov rdi, [rsp+8]
001095f7mov rax, [rdi+112]
001095fbmov [rbx+16], rax
001095ffmov rax, [rdi+120]
00109603mov [rbx+24], rax
00109607mov rax, [rdi+160]
0010960emov [rbx+32], rax
00109612mov rax, [rdi+248]
00109619mov rdi, [rax+160]
00109620lea rax, [rip+0x175c89]
00109627call caml_apply2
0010962cmov rbx, [rsp+8]
00109631mov rax, [rbx+248]
00109638mov rdi, [rax+160]
0010963fmov rbx, [rbx+176]
00109646lea rax, [rip+0x175c43]
0010964dcall caml_apply2
00109652mov rbx, [rsp+8]
00109657mov rax, [rbx+248]
0010965emov rdi, [rax+160]
00109665mov rbx, [rbx+184]
0010966clea rax, [rip+0x175c05]
00109673call caml_apply2
00109678sub r15, 48
0010967ccmp r15, [r14]
0010967fjb 0x109855
00109685
00109685loc_109685:
00109685lea rbx, [r15+8]
00109689mov [rbx-8], 5367
00109691lea rax, [rip+1896]
00109698mov [rbx], rax
0010969bmov rax, 0x100000000000005
001096a5mov [rbx+8], rax
001096a9mov rdi, [rsp+8]
001096aemov rax, [rdi+128]
001096b5mov [rbx+16], rax
001096b9mov rax, [rdi+136]
001096c0mov [rbx+24], rax
001096c4mov rax, [rdi+168]
001096cbmov [rbx+32], rax
001096cfmov rax, [rdi+248]
001096d6mov rdi, [rax+160]
001096ddlea rax, [rip+0x175b74]
001096e4call caml_apply2
001096e9sub r15, 80
001096edcmp r15, [r14]
001096f0jb 0x10984b
001096f6
001096f6loc_1096f6:
001096f6lea rbx, [r15+8]
001096famov [rbx-8], 9463
00109702lea rax, [rip+1815]
00109709mov [rbx], rax
0010970cmov rax, 0x100000000000005
00109716mov [rbx+8], rax
0010971amov rsi, [rsp+8]
0010971fmov rax, [rsi+16]
00109723mov [rbx+16], rax
00109727mov rax, [rsi+144]
0010972emov [rbx+24], rax
00109732mov rax, [rsi+200]
00109739mov [rbx+32], rax
0010973dmov rax, [rsi+208]
00109744mov [rbx+40], rax
00109748mov rax, [rsi+248]
0010974fmov [rbx+48], rax
00109753mov rdi, [rsi+256]
0010975amov [rbx+56], rdi
0010975emov rdi, [rsi+264]
00109765mov [rbx+64], rdi
00109769mov rdi, [rax+160]
00109770lea rax, [rip+0x175ac9]
00109777call caml_apply2
0010977csub r15, 32
00109780cmp r15, [r14]
00109783jb 0x109841
00109789
00109789loc_109789:
00109789lea rbx, [r15+8]
0010978dmov [rbx-8], 3319
00109795lea rax, [rip+2100]
0010979cmov [rbx], rax
0010979fmov rax, 0x100000000000005
001097a9mov [rbx+8], rax
001097admov rax, [rsp+8]
001097b2mov rax, [rax+248]
001097b9mov [rbx+16], rax
001097bdmov rdi, [rax+160]
001097c4lea rax, [rip+0x175a3d]
001097cbcall caml_apply2
001097d0lea rax, [rip+0x175231]
001097d7sub r15, 48
001097dbcmp r15, [r14]
001097dejb 0x10983a
001097e0
001097e0loc_1097e0:
001097e0lea rbx, [r15+8]
001097e4mov [rbx-8], 5367
001097eclea rdi, [rip+2845]
001097f3mov [rbx], rdi
001097f6mov rdi, 0x100000000000005
00109800mov [rbx+8], rdi
00109804mov [rbx+16], rax
00109808mov rdi, [rsp+8]
0010980dmov rax, [rdi+248]
00109814mov [rbx+24], rax
00109818mov rdi, [rdi+264]
0010981fmov [rbx+32], rdi
00109823mov rdi, [rax+160]
0010982alea rax, [rip+0x17592f]
00109831add rsp, 16
00109835jmp 0xf73e0
0010983a
0010983aloc_10983a:
0010983acall caml_call_gc
0010983fjmp 0x1097e0
00109841
00109841loc_109841:
00109841call caml_call_gc
00109846jmp 0x109789
0010984b
0010984bloc_10984b:
0010984bcall caml_call_gc
00109850jmp 0x1096f6
00109855
00109855loc_109855:
00109855call caml_call_gc
0010985ajmp 0x109685
0010985f
0010985floc_10985f:
0010985fcall caml_call_gc
00109864jmp 0x1095ce
00109869
00109869loc_109869:
00109869call caml_call_gc
0010986ejmp 0x10955d
00109873
00109873loc_109873:
00109873call caml_call_gc
00109878jmp 0x109443
0010987d
0010987dloc_10987d:
0010987dcall caml_call_gc
00109882jmp 0x1093c9
00109887
00109887loc_109887:
00109887call caml_call_gc
0010988cjmp 0x109375
00109891
00109891loc_109891:
00109891push 35
00109893call caml_call_realloc_stack
00109898pop r10
0010989ajmp 0x109192
00109180
0010989f
0010989f // align 0x10
0010989f // align 0x10
001098a0
001098a0camlVerb.fun_4768:
001098a0lea r10, [rsp-376]
001098a8cmp r10, [r14+40]
001098acjb 0x109a4b
001098b2
001098b2loc_1098b2:
001098b2sub rsp, 40
001098b6mov [rsp+8], rax
001098bbmov [rsp], rbx
001098bfmov rbx, [rbx+16]
001098c3mov rbx, [rbx+224]
001098camov rdi, [rbx]
001098cdcall rdi
001098cfmov [rsp+24], rax
001098d4mov rax, [rsp]
001098d8mov rax, [rax+16]
001098dcmov rbx, [rax+240]
001098e3mov rdi, [rbx]
001098e6mov rax, [rsp+8]
001098ebcall rdi
001098edmov [rsp+16], rax
001098f2lea r11, [rip+59]
001098f9push r11
001098fbpush [r14+48]
001098ffmov [r14+48], rsp
00109903call camlLatexmacros.find_fail_942
00109908mov rax, [rax+8]
0010990cmovzx rbx, [rax-8]
00109911test rbx, rbx
00109914jne 0x109920
00109916mov rax, [rax]
00109919mov [rsp+48], rax
0010991ejmp 0x10992a
00109920
00109920loc_109920:
00109920mov eax, 1
00109925mov [rsp+48], rax
0010992a
0010992aloc_10992a:
0010992apop [r14+48]
0010992eadd rsp, 8
00109932jmp 0x109961
00109934lea rbx, [rip+0x20b02d]
0010993bmov rbx, [rbx]
0010993ecmp rax, rbx
00109941jne 0x10994c
00109943mov eax, 1
00109948jmp 0x10995c
0010994anop
0010994c
0010994cloc_10994c:
0010994cmov rsp, [r14+48]
00109950pop [r14+48]
00109954pop r11
00109956jmp r11
00109959nop [rax]
0010995c
0010995cloc_10995c:
0010995cmov [rsp+32], rax
00109961
00109961loc_109961:
00109961mov rax, [rsp]
00109965mov rax, [rax+16]
00109969mov rbx, [rax+224]
00109970mov rdi, [rbx]
00109973mov rax, [rsp+8]
00109978call rdi
0010997amov [rsp], rax
0010997emov rax, [rsp+32]
00109983call camlLexstate.is_empty_list_564
00109988cmp rax, 1
0010998cje 0x1099b8
0010998esub r15, 24
00109992cmp r15, [r14]
00109995jb 0x109a41
0010999b
0010999bloc_10999b:
0010999blea rax, [r15+8]
0010999fmov [rax-8], 2048
001099a7mov rbx, [rsp]
001099abmov [rax], rbx
001099aemov [rax+8], 1
001099b6jmp 0x109a02
001099b8
001099b8loc_1099b8:
001099b8sub r15, 48
001099bccmp r15, [r14]
001099bfjb 0x109a3a
001099c1
001099c1loc_1099c1:
001099c1lea rax, [r15+8]
001099c5add rax, 24
001099c9mov [rax-8], 2048
001099d1mov rbx, [rsp]
001099d5mov [rax], rbx
001099d8mov [rax+8], 1
001099e0lea rbx, [rax-24]
001099e4mov [rbx-8], 2048
001099ecmov rdi, [rsp+24]
001099f1mov [rbx], rdi
001099f4mov [rbx+8], rax
001099f8mov rax, [rsp+32]
001099fdcall camlStdlib.$40_196
00109a02
00109a02loc_109a02:
00109a02sub r15, 16
00109a06cmp r15, [r14]
00109a09jb 0x109a33
00109a0b
00109a0bloc_109a0b:
00109a0blea rdi, [r15+8]
00109a0fmov [rdi-8], 1024
00109a17mov [rdi], rax
00109a1alea rax, [rip+0x20cf7f]
00109a21mov rbx, [rax+56]
00109a25mov rax, [rsp+16]
00109a2aadd rsp, 40
00109a2ejmp 0x17af20
00109a33
00109a33loc_109a33:
00109a33call caml_call_gc
00109a38jmp 0x109a0b
00109a3a
00109a3aloc_109a3a:
00109a3acall caml_call_gc
00109a3fjmp 0x1099c1
00109a41
00109a41loc_109a41:
00109a41call caml_call_gc
00109a46jmp 0x10999b
00109a4b
00109a4bloc_109a4b:
00109a4bpush 40
00109a4dcall caml_call_realloc_stack
00109a52pop r10
00109a54jmp 0x1098b2
001098a0
001098a0camlVerb.fun_4768:
001098a0lea r10, [rsp-376]
001098a8cmp r10, [r14+40]
001098acjb 0x109a4b
001098b2
001098b2loc_1098b2:
001098b2sub rsp, 40
001098b6mov [rsp+8], rax
001098bbmov [rsp], rbx
001098bfmov rbx, [rbx+16]
001098c3mov rbx, [rbx+224]
001098camov rdi, [rbx]
001098cdcall rdi
001098cfmov [rsp+24], rax
001098d4mov rax, [rsp]
001098d8mov rax, [rax+16]
001098dcmov rbx, [rax+240]
001098e3mov rdi, [rbx]
001098e6mov rax, [rsp+8]
001098ebcall rdi
001098edmov [rsp+16], rax
001098f2lea r11, [rip+59]
001098f9push r11
001098fbpush [r14+48]
001098ffmov [r14+48], rsp
00109903call camlLatexmacros.find_fail_942
00109908mov rax, [rax+8]
0010990cmovzx rbx, [rax-8]
00109911test rbx, rbx
00109914jne 0x109920
00109916mov rax, [rax]
00109919mov [rsp+48], rax
0010991ejmp 0x10992a
00109920
00109920loc_109920:
00109920mov eax, 1
00109925mov [rsp+48], rax
0010992a
0010992aloc_10992a:
0010992apop [r14+48]
0010992eadd rsp, 8
00109932jmp 0x109961
00109934lea rbx, [rip+0x20b02d]
0010993bmov rbx, [rbx]
0010993ecmp rax, rbx
00109941jne 0x10994c
00109943mov eax, 1
00109948jmp 0x10995c
0010994anop
0010994c
0010994cloc_10994c:
0010994cmov rsp, [r14+48]
00109950pop [r14+48]
00109954pop r11
00109956jmp r11
00109959nop [rax]
0010995c
0010995cloc_10995c:
0010995cmov [rsp+32], rax
00109961
00109961loc_109961:
00109961mov rax, [rsp]
00109965mov rax, [rax+16]
00109969mov rbx, [rax+224]
00109970mov rdi, [rbx]
00109973mov rax, [rsp+8]
00109978call rdi
0010997amov [rsp], rax
0010997emov rax, [rsp+32]
00109983call camlLexstate.is_empty_list_564
00109988cmp rax, 1
0010998cje 0x1099b8
0010998esub r15, 24
00109992cmp r15, [r14]
00109995jb 0x109a41
0010999b
0010999bloc_10999b:
0010999blea rax, [r15+8]
0010999fmov [rax-8], 2048
001099a7mov rbx, [rsp]
001099abmov [rax], rbx
001099aemov [rax+8], 1
001099b6jmp 0x109a02
001099b8
001099b8loc_1099b8:
001099b8sub r15, 48
001099bccmp r15, [r14]
001099bfjb 0x109a3a
001099c1
001099c1loc_1099c1:
001099c1lea rax, [r15+8]
001099c5add rax, 24
001099c9mov [rax-8], 2048
001099d1mov rbx, [rsp]
001099d5mov [rax], rbx
001099d8mov [rax+8], 1
001099e0lea rbx, [rax-24]
001099e4mov [rbx-8], 2048
001099ecmov rdi, [rsp+24]
001099f1mov [rbx], rdi
001099f4mov [rbx+8], rax
001099f8mov rax, [rsp+32]
001099fdcall camlStdlib.$40_196
00109a02
00109a02loc_109a02:
00109a02sub r15, 16
00109a06cmp r15, [r14]
00109a09jb 0x109a33
00109a0b
00109a0bloc_109a0b:
00109a0blea rdi, [r15+8]
00109a0fmov [rdi-8], 1024
00109a17mov [rdi], rax
00109a1alea rax, [rip+0x20cf7f]
00109a21mov rbx, [rax+56]
00109a25mov rax, [rsp+16]
00109a2aadd rsp, 40
00109a2ejmp 0x17af20
00109a33
00109a33loc_109a33:
00109a33call caml_call_gc
00109a38jmp 0x109a0b
00109a3a
00109a3aloc_109a3a:
00109a3acall caml_call_gc
00109a3fjmp 0x1099c1
00109a41
00109a41loc_109a41:
00109a41call caml_call_gc
00109a46jmp 0x10999b
00109a4b
00109a4bloc_109a4b:
00109a4bpush 40
00109a4dcall caml_call_realloc_stack
00109a52pop r10
00109a54jmp 0x1098b2
001098a0
00109a59
00109a59 // align 0x10
00109a59 // align 0x10
00109a60
00109a60camlVerb.fun_4771:
00109a60lea r10, [rsp-360]
00109a68cmp r10, [r14+40]
00109a6cjb 0x109bd9
00109a72
00109a72loc_109a72:
00109a72sub rsp, 24
00109a76mov [rsp], rax
00109a7amov rbx, [rbx+16]
00109a7emov rbx, [rbx+240]
00109a85mov rdi, [rbx]
00109a88call rdi
00109a8amov [rsp+16], rax
00109a8flea r11, [rip+226]
00109a96push r11
00109a98push [r14+48]
00109a9cmov [r14+48], rsp
00109aa0call camlLatexmacros.find_fail_942
00109aa5mov rax, [rax+8]
00109aa9movzx rbx, [rax-8]
00109aaetest rbx, rbx
00109ab1jne 0x109b48
00109ab7mov [rsp+24], rax
00109abcmov rax, [rsp+16]
00109ac1call camlLexstate.save_arg_1030
00109ac6mov rbx, rax
00109ac9mov eax, 1
00109acecall camlSubst.do_do_subst_this_697
00109ad3mov rbx, rax
00109ad6lea rax, [rip+0x1758a3]
00109addcall camlStdlib.$5e_139
00109ae2sub r15, 24
00109ae6cmp r15, [r14]
00109ae9jb 0x109bcf
00109aef
00109aefloc_109aef:
00109aeflea rbx, [r15+8]
00109af3mov [rbx-8], 2048
00109afbmov [rbx], rax
00109afemov [rbx+8], 1
00109b06mov rax, [rsp+24]
00109b0bmov rax, [rax]
00109b0ecall camlStdlib.$40_196
00109b13sub r15, 16
00109b17cmp r15, [r14]
00109b1ajb 0x109bc5
00109b20
00109b20loc_109b20:
00109b20lea rdi, [r15+8]
00109b24mov [rdi-8], 1024
00109b2cmov [rdi], rax
00109b2flea rax, [rip+0x20ce6a]
00109b36mov rbx, [rax+56]
00109b3amov rax, [rsp+32]
00109b3fcall camlLatexmacros.def_952
00109b44jmp 0x109b6d
00109b46nop
00109b48
00109b48loc_109b48:
00109b48lea rbx, [rip+0x175801]
00109b4fmov rax, [rsp+32]
00109b54call camlStdlib.$5e_139
00109b59mov rbx, rax
00109b5clea rax, [rip+0x1757fd]
00109b63call camlStdlib.$5e_139
00109b68call camlMisc.warning_287
00109b6d
00109b6dloc_109b6d:
00109b6dpop [r14+48]
00109b71add rsp, 8
00109b75jmp 0x109bc0
00109b77nop
00109b78lea rbx, [rip+0x20ade9]
00109b7fmov rbx, [rbx]
00109b82cmp rax, rbx
00109b85jne 0x109bb0
00109b87lea rbx, [rip+0x1757c2]
00109b8emov rax, [rsp+16]
00109b93call camlStdlib.$5e_139
00109b98mov rbx, rax
00109b9blea rax, [rip+0x1757be]
00109ba2call camlStdlib.$5e_139
00109ba7add rsp, 24
00109babjmp 0x1919c0
00109bb0
00109bb0loc_109bb0:
00109bb0mov rsp, [r14+48]
00109bb4pop [r14+48]
00109bb8pop r11
00109bbajmp r11
00109bbdnop [rax]
00109bc0
00109bc0loc_109bc0:
00109bc0add rsp, 24
00109bc4ret
00109bc5
00109bc5loc_109bc5:
00109bc5call caml_call_gc
00109bcajmp 0x109b20
00109bcf
00109bcfloc_109bcf:
00109bcfcall caml_call_gc
00109bd4jmp 0x109aef
00109bd9
00109bd9loc_109bd9:
00109bd9push 38
00109bdbcall caml_call_realloc_stack
00109be0pop r10
00109be2jmp 0x109a72
00109a60
00109a60camlVerb.fun_4771:
00109a60lea r10, [rsp-360]
00109a68cmp r10, [r14+40]
00109a6cjb 0x109bd9
00109a72
00109a72loc_109a72:
00109a72sub rsp, 24
00109a76mov [rsp], rax
00109a7amov rbx, [rbx+16]
00109a7emov rbx, [rbx+240]
00109a85mov rdi, [rbx]
00109a88call rdi
00109a8amov [rsp+16], rax
00109a8flea r11, [rip+226]
00109a96push r11
00109a98push [r14+48]
00109a9cmov [r14+48], rsp
00109aa0call camlLatexmacros.find_fail_942
00109aa5mov rax, [rax+8]
00109aa9movzx rbx, [rax-8]
00109aaetest rbx, rbx
00109ab1jne 0x109b48
00109ab7mov [rsp+24], rax
00109abcmov rax, [rsp+16]
00109ac1call camlLexstate.save_arg_1030
00109ac6mov rbx, rax
00109ac9mov eax, 1
00109acecall camlSubst.do_do_subst_this_697
00109ad3mov rbx, rax
00109ad6lea rax, [rip+0x1758a3]
00109addcall camlStdlib.$5e_139
00109ae2sub r15, 24
00109ae6cmp r15, [r14]
00109ae9jb 0x109bcf
00109aef
00109aefloc_109aef:
00109aeflea rbx, [r15+8]
00109af3mov [rbx-8], 2048
00109afbmov [rbx], rax
00109afemov [rbx+8], 1
00109b06mov rax, [rsp+24]
00109b0bmov rax, [rax]
00109b0ecall camlStdlib.$40_196
00109b13sub r15, 16
00109b17cmp r15, [r14]
00109b1ajb 0x109bc5
00109b20
00109b20loc_109b20:
00109b20lea rdi, [r15+8]
00109b24mov [rdi-8], 1024
00109b2cmov [rdi], rax
00109b2flea rax, [rip+0x20ce6a]
00109b36mov rbx, [rax+56]
00109b3amov rax, [rsp+32]
00109b3fcall camlLatexmacros.def_952
00109b44jmp 0x109b6d
00109b46nop
00109b48
00109b48loc_109b48:
00109b48lea rbx, [rip+0x175801]
00109b4fmov rax, [rsp+32]
00109b54call camlStdlib.$5e_139
00109b59mov rbx, rax
00109b5clea rax, [rip+0x1757fd]
00109b63call camlStdlib.$5e_139
00109b68call camlMisc.warning_287
00109b6d
00109b6dloc_109b6d:
00109b6dpop [r14+48]
00109b71add rsp, 8
00109b75jmp 0x109bc0
00109b77nop
00109b78lea rbx, [rip+0x20ade9]
00109b7fmov rbx, [rbx]
00109b82cmp rax, rbx
00109b85jne 0x109bb0
00109b87lea rbx, [rip+0x1757c2]
00109b8emov rax, [rsp+16]
00109b93call camlStdlib.$5e_139
00109b98mov rbx, rax
00109b9blea rax, [rip+0x1757be]
00109ba2call camlStdlib.$5e_139
00109ba7add rsp, 24
00109babjmp 0x1919c0
00109bb0
00109bb0loc_109bb0:
00109bb0mov rsp, [r14+48]
00109bb4pop [r14+48]
00109bb8pop r11
00109bbajmp r11
00109bbdnop [rax]
00109bc0
00109bc0loc_109bc0:
00109bc0add rsp, 24
00109bc4ret
00109bc5
00109bc5loc_109bc5:
00109bc5call caml_call_gc
00109bcajmp 0x109b20
00109bcf
00109bcfloc_109bcf:
00109bcfcall caml_call_gc
00109bd4jmp 0x109aef
00109bd9
00109bd9loc_109bd9:
00109bd9push 38
00109bdbcall caml_call_realloc_stack
00109be0pop r10
00109be2jmp 0x109a72
00109a60
00109be7
00109be7 // align 0x10
00109be7 // align 0x10
00109bf0
00109bf0camlVerb.fun_4777:
00109bf0lea r10, [rsp-344]
00109bf8cmp r10, [r14+40]
00109bfcjb 0x109d6f
00109c02
00109c02loc_109c02:
00109c02sub rsp, 24
00109c06mov rdi, rax
00109c09mov [rsp+16], rdi
00109c0emov [rsp+8], rbx
00109c13lea rax, [rip+0x176736]
00109c1amov rbx, rdi
00109c1dcall camlSubst.subst_opt_800
00109c22mov [rsp], rax
00109c26mov eax, 21
00109c2bmov rbx, [rsp+16]
00109c30call camlSave.if_next_char_480
00109c35cmp rax, 1
00109c39je 0x109c44
00109c3blea r12, [rip+0x17670e]
00109c42jmp 0x109c61
00109c44
00109c44loc_109c44:
00109c44mov rax, [rsp+8]
00109c49mov rax, [rax+16]
00109c4dmov rbx, [rax+224]
00109c54mov rdi, [rbx]
00109c57mov rax, [rsp+16]
00109c5ccall rdi
00109c5emov r12, rax
00109c61
00109c61loc_109c61:
00109c61lea rsi, [rip+0x1756a0]
00109c68mov rdi, r12
00109c6bmov rbx, rsp
00109c6emov rsp, [r14+64]
00109c72call caml_string_equal
00109c77mov rsp, rbx
00109c7acmp rax, 1
00109c7eje 0x109c87
00109c80lea r12, [rip+0x1766c9]
00109c87
00109c87loc_109c87:
00109c87lea rsi, [rip+0x1766c2]
00109c8emov rdi, r12
00109c91mov rbx, rsp
00109c94mov rsp, [r14+64]
00109c98call caml_string_notequal
00109c9dmov rsp, rbx
00109ca0cmp rax, 1
00109ca4je 0x109d12
00109ca6sub r15, 56
00109caacmp r15, [r14]
00109cadjb 0x109d65
00109cb3
00109cb3loc_109cb3:
00109cb3lea rax, [r15+8]
00109cb7add rax, 16
00109cbbmov [rax-8], 4343
00109cc3lea rbx, [rip+182]
00109ccamov [rax], rbx
00109ccdmov rbx, 0x100000000000005
00109cd7mov [rax+8], rbx
00109cdbmov [rax+16], r12
00109cdfmov rbx, [rsp+8]
00109ce4mov rbx, [rbx+24]
00109ce8mov [rax+24], rbx
00109ceclea rdi, [rax-16]
00109cf0mov [rdi-8], 1026
00109cf8mov [rdi], rax
00109cfblea rax, [rip+0x20cc9e]
00109d02mov rbx, [rax+56]
00109d06lea rax, [rip+0x1755e3]
00109d0dcall camlLatexmacros.def_952
00109d12
00109d12loc_109d12:
00109d12sub r15, 24
00109d16cmp r15, [r14]
00109d19jb 0x109d5e
00109d1b
00109d1bloc_109d1b:
00109d1blea rax, [r15+8]
00109d1fmov [rax-8], 2048
00109d27lea rbx, [rip+0x175d1a]
00109d2emov [rax], rbx
00109d31mov rbx, [rsp]
00109d35mov [rax+8], rbx
00109d39lea rbx, [rip+0x175cf0]
00109d40call camlStdlib.$40_196
00109d45mov rbx, rax
00109d48mov rax, [rsp+8]
00109d4dmov rax, [rax+16]
00109d51mov rax, [rax+24]
00109d55add rsp, 24
00109d59jmp 0x17f240
00109d5e
00109d5eloc_109d5e:
00109d5ecall caml_call_gc
00109d63jmp 0x109d1b
00109d65
00109d65loc_109d65:
00109d65call caml_call_gc
00109d6ajmp 0x109cb3
00109d6f
00109d6floc_109d6f:
00109d6fpush 36
00109d71call caml_call_realloc_stack
00109d76pop r10
00109d78jmp 0x109c02
00109bf0
00109bf0camlVerb.fun_4777:
00109bf0lea r10, [rsp-344]
00109bf8cmp r10, [r14+40]
00109bfcjb 0x109d6f
00109c02
00109c02loc_109c02:
00109c02sub rsp, 24
00109c06mov rdi, rax
00109c09mov [rsp+16], rdi
00109c0emov [rsp+8], rbx
00109c13lea rax, [rip+0x176736]
00109c1amov rbx, rdi
00109c1dcall camlSubst.subst_opt_800
00109c22mov [rsp], rax
00109c26mov eax, 21
00109c2bmov rbx, [rsp+16]
00109c30call camlSave.if_next_char_480
00109c35cmp rax, 1
00109c39je 0x109c44
00109c3blea r12, [rip+0x17670e]
00109c42jmp 0x109c61
00109c44
00109c44loc_109c44:
00109c44mov rax, [rsp+8]
00109c49mov rax, [rax+16]
00109c4dmov rbx, [rax+224]
00109c54mov rdi, [rbx]
00109c57mov rax, [rsp+16]
00109c5ccall rdi
00109c5emov r12, rax
00109c61
00109c61loc_109c61:
00109c61lea rsi, [rip+0x1756a0]
00109c68mov rdi, r12
00109c6bmov rbx, rsp
00109c6emov rsp, [r14+64]
00109c72call caml_string_equal
00109c77mov rsp, rbx
00109c7acmp rax, 1
00109c7eje 0x109c87
00109c80lea r12, [rip+0x1766c9]
00109c87
00109c87loc_109c87:
00109c87lea rsi, [rip+0x1766c2]
00109c8emov rdi, r12
00109c91mov rbx, rsp
00109c94mov rsp, [r14+64]
00109c98call caml_string_notequal
00109c9dmov rsp, rbx
00109ca0cmp rax, 1
00109ca4je 0x109d12
00109ca6sub r15, 56
00109caacmp r15, [r14]
00109cadjb 0x109d65
00109cb3
00109cb3loc_109cb3:
00109cb3lea rax, [r15+8]
00109cb7add rax, 16
00109cbbmov [rax-8], 4343
00109cc3lea rbx, [rip+182]
00109ccamov [rax], rbx
00109ccdmov rbx, 0x100000000000005
00109cd7mov [rax+8], rbx
00109cdbmov [rax+16], r12
00109cdfmov rbx, [rsp+8]
00109ce4mov rbx, [rbx+24]
00109ce8mov [rax+24], rbx
00109ceclea rdi, [rax-16]
00109cf0mov [rdi-8], 1026
00109cf8mov [rdi], rax
00109cfblea rax, [rip+0x20cc9e]
00109d02mov rbx, [rax+56]
00109d06lea rax, [rip+0x1755e3]
00109d0dcall camlLatexmacros.def_952
00109d12
00109d12loc_109d12:
00109d12sub r15, 24
00109d16cmp r15, [r14]
00109d19jb 0x109d5e
00109d1b
00109d1bloc_109d1b:
00109d1blea rax, [r15+8]
00109d1fmov [rax-8], 2048
00109d27lea rbx, [rip+0x175d1a]
00109d2emov [rax], rbx
00109d31mov rbx, [rsp]
00109d35mov [rax+8], rbx
00109d39lea rbx, [rip+0x175cf0]
00109d40call camlStdlib.$40_196
00109d45mov rbx, rax
00109d48mov rax, [rsp+8]
00109d4dmov rax, [rax+16]
00109d51mov rax, [rax+24]
00109d55add rsp, 24
00109d59jmp 0x17f240
00109d5e
00109d5eloc_109d5e:
00109d5ecall caml_call_gc
00109d63jmp 0x109d1b
00109d65
00109d65loc_109d65:
00109d65call caml_call_gc
00109d6ajmp 0x109cb3
00109d6f
00109d6floc_109d6f:
00109d6fpush 36
00109d71call caml_call_realloc_stack
00109d76pop r10
00109d78jmp 0x109c02
00109bf0
00109d7d
00109d7d // align 0x10
00109d7d // align 0x10
00109d80
00109d80camlVerb.fun_4783:
00109d80cmp r15, [r14]
00109d83jbe 0x109d9c
00109d85
00109d85loc_109d85:
00109d85mov rax, [rbx+24]
00109d89mov rdi, [rax+352]
00109d90mov rax, [rbx+16]
00109d94mov rsi, [rdi]
00109d97mov rbx, rdi
00109d9ajmp rsi
00109d9c
00109d9cloc_109d9c:
00109d9ccall caml_call_gc
00109da1jmp 0x109d85
00109d80
00109d80camlVerb.fun_4783:
00109d80cmp r15, [r14]
00109d83jbe 0x109d9c
00109d85
00109d85loc_109d85:
00109d85mov rax, [rbx+24]
00109d89mov rdi, [rax+352]
00109d90mov rax, [rbx+16]
00109d94mov rsi, [rdi]
00109d97mov rbx, rdi
00109d9ajmp rsi
00109d9c
00109d9cloc_109d9c:
00109d9ccall caml_call_gc
00109da1jmp 0x109d85
00109d80
00109da3
00109da3 // align 0x10
00109da3 // align 0x10
00109db6
00109db6 // align 0x10
00109db6 // align 0x10
00109dc0
00109dc0camlVerb.fun_4790:
00109dc0mov rdi, rax
00109dc3mov rdx, [rbx+24]
00109dc7mov rax, [rbx+16]
00109dcbmov rsi, [rbx+32]
00109dcfmov rbx, rdx
00109dd2jmp 0x107660
00109dc0
00109dc0camlVerb.fun_4790:
00109dc0mov rdi, rax
00109dc3mov rdx, [rbx+24]
00109dc7mov rax, [rbx+16]
00109dcbmov rsi, [rbx+32]
00109dcfmov rbx, rdx
00109dd2jmp 0x107660
00109dc0
00109dd7
00109dd7 // align 0x10
00109dd7 // align 0x10
00109de0
00109de0camlVerb.fun_4799:
00109de0mov rdi, rax
00109de3mov rdx, [rbx+24]
00109de7mov rax, [rbx+16]
00109debmov rsi, [rbx+32]
00109defmov rbx, rdx
00109df2jmp 0x107660
00109de0
00109de0camlVerb.fun_4799:
00109de0mov rdi, rax
00109de3mov rdx, [rbx+24]
00109de7mov rax, [rbx+16]
00109debmov rsi, [rbx+32]
00109defmov rbx, rdx
00109df2jmp 0x107660
00109de0
00109df7
00109df7 // align 0x10
00109df7 // align 0x10
00109e00
00109e00camlVerb.fun_4808:
00109e00mov rdi, rax
00109e03mov rdx, [rbx+24]
00109e07mov rax, [rbx+16]
00109e0bmov rsi, [rbx+32]
00109e0fmov rbx, rdx
00109e12jmp 0x1076d0
00109e00
00109e00camlVerb.fun_4808:
00109e00mov rdi, rax
00109e03mov rdx, [rbx+24]
00109e07mov rax, [rbx+16]
00109e0bmov rsi, [rbx+32]
00109e0fmov rbx, rdx
00109e12jmp 0x1076d0
00109e00
00109e17
00109e17 // align 0x10
00109e17 // align 0x10
00109e20
00109e20camlVerb.fun_4817:
00109e20lea r10, [rsp-360]
00109e28cmp r10, [r14+40]
00109e2cjb 0x109fbc
00109e32
00109e32loc_109e32:
00109e32sub rsp, 24
00109e36mov [rsp], rax
00109e3amov [rsp+16], rbx
00109e3fcmp r15, [r14]
00109e42jbe 0x109fb2
00109e48
00109e48loc_109e48:
00109e48mov rax, [rbx+56]
00109e4cmov rbx, [rax+8]
00109e50mov eax, 1
00109e55mov rdi, [rbx]
00109e58call rdi
00109e5alea rax, [rip+0x1764ef]
00109e61mov rbx, [rsp]
00109e65call camlSubst.subst_opt_800
00109e6amov [rsp+8], rax
00109e6fmov rax, [rsp]
00109e73call camlLexstate.save_verbatim_1034
00109e78mov [rsp], rax
00109e7cmov rax, [rsp+16]
00109e81mov rax, [rax+48]
00109e85mov rbx, [rax+64]
00109e89lea rax, [rip+0x175398]
00109e90mov rdi, [rbx]
00109e93call rdi
00109e95lea rbx, [rip+0x1763fc]
00109e9cmov rax, [rsp+16]
00109ea1mov rax, [rax+48]
00109ea5mov rax, [rax+24]
00109ea9call camlLexstate.scan_this_1185
00109eaemov rax, [rsp+16]
00109eb3mov rbx, [rax+32]
00109eb7mov rax, [rsp+8]
00109ebccall camlVerb.open_lst_inline_1800
00109ec1mov rax, [rsp+16]
00109ec6mov rax, [rax+64]
00109ecamov rbx, [rax+328]
00109ed1lea rax, [rip+0x176498]
00109ed8mov rdi, [rbx]
00109edbcall rdi
00109eddlea r11, [rip+44]
00109ee4push r11
00109ee6push [r14+48]
00109eeamov [r14+48], rsp
00109eeemov rax, [rsp+16]
00109ef3mov rbx, [rax]
00109ef6mov rax, [rsp+32]
00109efbmov rax, [rax+24]
00109effcall camlLexstate.scan_this_1185
00109f04pop [r14+48]
00109f08add rsp, 8
00109f0cjmp 0x109f38
00109f0enop
00109f10mov rsi, [rsp+16]
00109f15mov rbx, [rsi+16]
00109f19mov rdi, [rax]
00109f1ccmp rdi, rbx
00109f1fjne 0x109f28
00109f21mov [rsp+16], rsi
00109f26jmp 0x109f38
00109f28
00109f28loc_109f28:
00109f28mov rsp, [r14+48]
00109f2cpop [r14+48]
00109f30pop r11
00109f32jmp r11
00109f35nop [rax]
00109f38
00109f38loc_109f38:
00109f38mov rax, [rsp+16]
00109f3dmov rbx, [rax+40]
00109f41mov eax, 1
00109f46call camlVerb.close_lst_inline_1801
00109f4bmov rax, [rsp+16]
00109f50mov rax, [rax+64]
00109f54mov rbx, [rax+344]
00109f5bmov eax, 1
00109f60mov rdi, [rbx]
00109f63call rdi
00109f65lea rbx, [rip+0x17631c]
00109f6cmov rax, [rsp+16]
00109f71mov rax, [rax+48]
00109f75mov rax, [rax+24]
00109f79call camlLexstate.scan_this_1185
00109f7emov rax, [rsp+16]
00109f83mov rax, [rax+48]
00109f87mov rbx, [rax+72]
00109f8blea rax, [rip+0x175296]
00109f92mov rdi, [rbx]
00109f95call rdi
00109f97mov rax, [rsp+16]
00109f9cmov rax, [rax+56]
00109fa0mov rbx, [rax+16]
00109fa4mov eax, 1
00109fa9mov rdi, [rbx]
00109facadd rsp, 24
00109fb0jmp rdi
00109fb2
00109fb2loc_109fb2:
00109fb2call caml_call_gc
00109fb7jmp 0x109e48
00109fbc
00109fbcloc_109fbc:
00109fbcpush 38
00109fbecall caml_call_realloc_stack
00109fc3pop r10
00109fc5jmp 0x109e32
00109e20
00109e20camlVerb.fun_4817:
00109e20lea r10, [rsp-360]
00109e28cmp r10, [r14+40]
00109e2cjb 0x109fbc
00109e32
00109e32loc_109e32:
00109e32sub rsp, 24
00109e36mov [rsp], rax
00109e3amov [rsp+16], rbx
00109e3fcmp r15, [r14]
00109e42jbe 0x109fb2
00109e48
00109e48loc_109e48:
00109e48mov rax, [rbx+56]
00109e4cmov rbx, [rax+8]
00109e50mov eax, 1
00109e55mov rdi, [rbx]
00109e58call rdi
00109e5alea rax, [rip+0x1764ef]
00109e61mov rbx, [rsp]
00109e65call camlSubst.subst_opt_800
00109e6amov [rsp+8], rax
00109e6fmov rax, [rsp]
00109e73call camlLexstate.save_verbatim_1034
00109e78mov [rsp], rax
00109e7cmov rax, [rsp+16]
00109e81mov rax, [rax+48]
00109e85mov rbx, [rax+64]
00109e89lea rax, [rip+0x175398]
00109e90mov rdi, [rbx]
00109e93call rdi
00109e95lea rbx, [rip+0x1763fc]
00109e9cmov rax, [rsp+16]
00109ea1mov rax, [rax+48]
00109ea5mov rax, [rax+24]
00109ea9call camlLexstate.scan_this_1185
00109eaemov rax, [rsp+16]
00109eb3mov rbx, [rax+32]
00109eb7mov rax, [rsp+8]
00109ebccall camlVerb.open_lst_inline_1800
00109ec1mov rax, [rsp+16]
00109ec6mov rax, [rax+64]
00109ecamov rbx, [rax+328]
00109ed1lea rax, [rip+0x176498]
00109ed8mov rdi, [rbx]
00109edbcall rdi
00109eddlea r11, [rip+44]
00109ee4push r11
00109ee6push [r14+48]
00109eeamov [r14+48], rsp
00109eeemov rax, [rsp+16]
00109ef3mov rbx, [rax]
00109ef6mov rax, [rsp+32]
00109efbmov rax, [rax+24]
00109effcall camlLexstate.scan_this_1185
00109f04pop [r14+48]
00109f08add rsp, 8
00109f0cjmp 0x109f38
00109f0enop
00109f10mov rsi, [rsp+16]
00109f15mov rbx, [rsi+16]
00109f19mov rdi, [rax]
00109f1ccmp rdi, rbx
00109f1fjne 0x109f28
00109f21mov [rsp+16], rsi
00109f26jmp 0x109f38
00109f28
00109f28loc_109f28:
00109f28mov rsp, [r14+48]
00109f2cpop [r14+48]
00109f30pop r11
00109f32jmp r11
00109f35nop [rax]
00109f38
00109f38loc_109f38:
00109f38mov rax, [rsp+16]
00109f3dmov rbx, [rax+40]
00109f41mov eax, 1
00109f46call camlVerb.close_lst_inline_1801
00109f4bmov rax, [rsp+16]
00109f50mov rax, [rax+64]
00109f54mov rbx, [rax+344]
00109f5bmov eax, 1
00109f60mov rdi, [rbx]
00109f63call rdi
00109f65lea rbx, [rip+0x17631c]
00109f6cmov rax, [rsp+16]
00109f71mov rax, [rax+48]
00109f75mov rax, [rax+24]
00109f79call camlLexstate.scan_this_1185
00109f7emov rax, [rsp+16]
00109f83mov rax, [rax+48]
00109f87mov rbx, [rax+72]
00109f8blea rax, [rip+0x175296]
00109f92mov rdi, [rbx]
00109f95call rdi
00109f97mov rax, [rsp+16]
00109f9cmov rax, [rax+56]
00109fa0mov rbx, [rax+16]
00109fa4mov eax, 1
00109fa9mov rdi, [rbx]
00109facadd rsp, 24
00109fb0jmp rdi
00109fb2
00109fb2loc_109fb2:
00109fb2call caml_call_gc
00109fb7jmp 0x109e48
00109fbc
00109fbcloc_109fbc:
00109fbcpush 38
00109fbecall caml_call_realloc_stack
00109fc3pop r10
00109fc5jmp 0x109e32
00109e20
00109fca
00109fca // align 0x10
00109fca // align 0x10
00109fd0
00109fd0camlVerb.fun_4824:
00109fd0lea r10, [rsp-376]
00109fd8cmp r10, [r14+40]
00109fdcjb 0x10a2d9
00109fe2
00109fe2loc_109fe2:
00109fe2sub rsp, 56
00109fe6mov rsi, rax
00109fe9mov [rsp+24], rsi
00109feemov [rsp+48], rbx
00109ff3mov rax, [rbx+16]
00109ff7mov rdi, [rax+232]
00109ffelea rax, [rip+0x17634b]
0010a005mov rbx, rsi
0010a008call caml_apply2
0010a00dmov [rsp+32], rax
0010a012mov rax, [rsp+48]
0010a017mov rax, [rax+16]
0010a01bmov rbx, [rax+224]
0010a022mov rdi, [rbx]
0010a025mov rax, [rsp+24]
0010a02acall rdi
0010a02cmov [rsp+40], rax
0010a031mov rax, [rsp+48]
0010a036mov rax, [rax+16]
0010a03amov rdi, [rax+232]
0010a041lea rax, [rip+0x1751b0]
0010a048mov rbx, [rsp+24]
0010a04dcall caml_apply2
0010a052mov rbx, [rax-8]
0010a056shr rbx, 10
0010a05acmp rbx, 2
0010a05ejl 0x10a06c
0010a060mov [rsp+8], rax
0010a065jmp 0x10a169
0010a06a
0010a06a 66 90 f.
0010a06c
0010a06cloc_10a06c:
0010a06cmov rbx, [rax]
0010a06fmov rdi, 0x400000000212a21
0010a079cmp rbx, rdi
0010a07cjne 0x10a164
0010a082mov rax, [rsp+24]
0010a087call camlLexstate.save_body_1031
0010a08cmov rbx, rax
0010a08fmov eax, 1
0010a094call camlSubst.do_do_subst_this_list_777
0010a099mov [rsp], rax
0010a09dlea rax, [rip+0x1762ac]
0010a0a4mov rbx, [rsp+24]
0010a0a9call camlLexstate.save_arg_opt_1107
0010a0aecall camlLexstate.from_ok_1113
0010a0b3sub r15, 120
0010a0b7cmp r15, [r14]
0010a0bajb 0x10a2cf
0010a0c0
0010a0c0loc_10a0c0:
0010a0c0lea rax, [r15+8]
0010a0c4add rax, 96
0010a0c8mov [rax-8], 2048
0010a0d0lea rbx, [rip+0x1750f1]
0010a0d7mov [rax], rbx
0010a0damov rdi, [rsp]
0010a0demov [rax+8], rdi
0010a0e2lea rdi, [rax-24]
0010a0e6mov [rdi-8], 2048
0010a0eemov rsi, [rsp+32]
0010a0f3mov [rdi], rsi
0010a0f6mov [rdi+8], rax
0010a0falea rax, [rdi-24]
0010a0femov [rax-8], 2048
0010a106mov [rax], rbx
0010a109mov [rax+8], rdi
0010a10dlea rbx, [rax-24]
0010a111mov [rbx-8], 2048
0010a119mov rdi, [rsp+40]
0010a11emov [rbx], rdi
0010a121mov [rbx+8], rax
0010a125lea rax, [rbx-24]
0010a129mov [rax-8], 2048
0010a131lea rdi, [rip+0x1750a0]
0010a138mov [rax], rdi
0010a13bmov [rax+8], rbx
0010a13flea rbx, [rip+0x1758ea]
0010a146call camlStdlib.$40_196
0010a14bmov rbx, rax
0010a14emov rax, [rsp+48]
0010a153mov rax, [rax+16]
0010a157mov rax, [rax+24]
0010a15badd rsp, 56
0010a15fjmp 0x17f240
0010a164
0010a164loc_10a164:
0010a164mov [rsp+8], rax
0010a169
0010a169loc_10a169:
0010a169mov rax, [rsp+48]
0010a16emov rax, [rax+16]
0010a172mov rbx, [rax+224]
0010a179mov rdi, [rbx]
0010a17cmov rax, [rsp+24]
0010a181call rdi
0010a183mov [rsp+16], rax
0010a188mov rax, [rsp+24]
0010a18dcall camlLexstate.save_body_1031
0010a192mov rbx, rax
0010a195mov eax, 1
0010a19acall camlSubst.do_do_subst_this_list_777
0010a19fmov [rsp], rax
0010a1a3lea rax, [rip+0x1761a6]
0010a1aamov rbx, [rsp+24]
0010a1afcall camlLexstate.save_arg_opt_1107
0010a1b4call camlLexstate.from_ok_1113
0010a1b9sub r15, 216
0010a1c0cmp r15, [r14]
0010a1c3jb 0x10a2c5
0010a1c9
0010a1c9loc_10a1c9:
0010a1c9lea rax, [r15+8]
0010a1cdadd rax, 192
0010a1d3mov [rax-8], 2048
0010a1dblea rbx, [rip+0x174fe6]
0010a1e2mov [rax], rbx
0010a1e5mov rdi, [rsp]
0010a1e9mov [rax+8], rdi
0010a1edlea rdi, [rax-24]
0010a1f1mov [rdi-8], 2048
0010a1f9mov rsi, [rsp+8]
0010a1femov [rdi], rsi
0010a201mov [rdi+8], rax
0010a205lea rax, [rdi-24]
0010a209mov [rax-8], 2048
0010a211mov [rax], rbx
0010a214mov [rax+8], rdi
0010a218lea rdi, [rax-24]
0010a21cmov [rdi-8], 2048
0010a224mov rsi, [rsp+16]
0010a229mov [rdi], rsi
0010a22cmov [rdi+8], rax
0010a230lea rax, [rdi-24]
0010a234mov [rax-8], 2048
0010a23cmov [rax], rbx
0010a23fmov [rax+8], rdi
0010a243lea rdi, [rax-24]
0010a247mov [rdi-8], 2048
0010a24fmov rsi, [rsp+32]
0010a254mov [rdi], rsi
0010a257mov [rdi+8], rax
0010a25blea rax, [rdi-24]
0010a25fmov [rax-8], 2048
0010a267mov [rax], rbx
0010a26amov [rax+8], rdi
0010a26elea rbx, [rax-24]
0010a272mov [rbx-8], 2048
0010a27amov rdi, [rsp+40]
0010a27fmov [rbx], rdi
0010a282mov [rbx+8], rax
0010a286lea rax, [rbx-24]
0010a28amov [rax-8], 2048
0010a292lea rdi, [rip+0x174f0f]
0010a299mov [rax], rdi
0010a29cmov [rax+8], rbx
0010a2a0lea rbx, [rip+0x175789]
0010a2a7call camlStdlib.$40_196
0010a2acmov rbx, rax
0010a2afmov rax, [rsp+48]
0010a2b4mov rax, [rax+16]
0010a2b8mov rax, [rax+24]
0010a2bcadd rsp, 56
0010a2c0jmp 0x17f240
0010a2c5
0010a2c5loc_10a2c5:
0010a2c5call caml_call_gc
0010a2cajmp 0x10a1c9
0010a2cf
0010a2cfloc_10a2cf:
0010a2cfcall caml_call_gc
0010a2d4jmp 0x10a0c0
0010a2d9
0010a2d9loc_10a2d9:
0010a2d9push 40
0010a2dbcall caml_call_realloc_stack
0010a2e0pop r10
0010a2e2jmp 0x109fe2
00109fd0
00109fd0camlVerb.fun_4824:
00109fd0lea r10, [rsp-376]
00109fd8cmp r10, [r14+40]
00109fdcjb 0x10a2d9
00109fe2
00109fe2loc_109fe2:
00109fe2sub rsp, 56
00109fe6mov rsi, rax
00109fe9mov [rsp+24], rsi
00109feemov [rsp+48], rbx
00109ff3mov rax, [rbx+16]
00109ff7mov rdi, [rax+232]
00109ffelea rax, [rip+0x17634b]
0010a005mov rbx, rsi
0010a008call caml_apply2
0010a00dmov [rsp+32], rax
0010a012mov rax, [rsp+48]
0010a017mov rax, [rax+16]
0010a01bmov rbx, [rax+224]
0010a022mov rdi, [rbx]
0010a025mov rax, [rsp+24]
0010a02acall rdi
0010a02cmov [rsp+40], rax
0010a031mov rax, [rsp+48]
0010a036mov rax, [rax+16]
0010a03amov rdi, [rax+232]
0010a041lea rax, [rip+0x1751b0]
0010a048mov rbx, [rsp+24]
0010a04dcall caml_apply2
0010a052mov rbx, [rax-8]
0010a056shr rbx, 10
0010a05acmp rbx, 2
0010a05ejl 0x10a06c
0010a060mov [rsp+8], rax
0010a065jmp 0x10a169
0010a06a
0010a06a 66 90 f.
0010a06c
0010a06cloc_10a06c:
0010a06cmov rbx, [rax]
0010a06fmov rdi, 0x400000000212a21
0010a079cmp rbx, rdi
0010a07cjne 0x10a164
0010a082mov rax, [rsp+24]
0010a087call camlLexstate.save_body_1031
0010a08cmov rbx, rax
0010a08fmov eax, 1
0010a094call camlSubst.do_do_subst_this_list_777
0010a099mov [rsp], rax
0010a09dlea rax, [rip+0x1762ac]
0010a0a4mov rbx, [rsp+24]
0010a0a9call camlLexstate.save_arg_opt_1107
0010a0aecall camlLexstate.from_ok_1113
0010a0b3sub r15, 120
0010a0b7cmp r15, [r14]
0010a0bajb 0x10a2cf
0010a0c0
0010a0c0loc_10a0c0:
0010a0c0lea rax, [r15+8]
0010a0c4add rax, 96
0010a0c8mov [rax-8], 2048
0010a0d0lea rbx, [rip+0x1750f1]
0010a0d7mov [rax], rbx
0010a0damov rdi, [rsp]
0010a0demov [rax+8], rdi
0010a0e2lea rdi, [rax-24]
0010a0e6mov [rdi-8], 2048
0010a0eemov rsi, [rsp+32]
0010a0f3mov [rdi], rsi
0010a0f6mov [rdi+8], rax
0010a0falea rax, [rdi-24]
0010a0femov [rax-8], 2048
0010a106mov [rax], rbx
0010a109mov [rax+8], rdi
0010a10dlea rbx, [rax-24]
0010a111mov [rbx-8], 2048
0010a119mov rdi, [rsp+40]
0010a11emov [rbx], rdi
0010a121mov [rbx+8], rax
0010a125lea rax, [rbx-24]
0010a129mov [rax-8], 2048
0010a131lea rdi, [rip+0x1750a0]
0010a138mov [rax], rdi
0010a13bmov [rax+8], rbx
0010a13flea rbx, [rip+0x1758ea]
0010a146call camlStdlib.$40_196
0010a14bmov rbx, rax
0010a14emov rax, [rsp+48]
0010a153mov rax, [rax+16]
0010a157mov rax, [rax+24]
0010a15badd rsp, 56
0010a15fjmp 0x17f240
0010a164
0010a164loc_10a164:
0010a164mov [rsp+8], rax
0010a169
0010a169loc_10a169:
0010a169mov rax, [rsp+48]
0010a16emov rax, [rax+16]
0010a172mov rbx, [rax+224]
0010a179mov rdi, [rbx]
0010a17cmov rax, [rsp+24]
0010a181call rdi
0010a183mov [rsp+16], rax
0010a188mov rax, [rsp+24]
0010a18dcall camlLexstate.save_body_1031
0010a192mov rbx, rax
0010a195mov eax, 1
0010a19acall camlSubst.do_do_subst_this_list_777
0010a19fmov [rsp], rax
0010a1a3lea rax, [rip+0x1761a6]
0010a1aamov rbx, [rsp+24]
0010a1afcall camlLexstate.save_arg_opt_1107
0010a1b4call camlLexstate.from_ok_1113
0010a1b9sub r15, 216
0010a1c0cmp r15, [r14]
0010a1c3jb 0x10a2c5
0010a1c9
0010a1c9loc_10a1c9:
0010a1c9lea rax, [r15+8]
0010a1cdadd rax, 192
0010a1d3mov [rax-8], 2048
0010a1dblea rbx, [rip+0x174fe6]
0010a1e2mov [rax], rbx
0010a1e5mov rdi, [rsp]
0010a1e9mov [rax+8], rdi
0010a1edlea rdi, [rax-24]
0010a1f1mov [rdi-8], 2048
0010a1f9mov rsi, [rsp+8]
0010a1femov [rdi], rsi
0010a201mov [rdi+8], rax
0010a205lea rax, [rdi-24]
0010a209mov [rax-8], 2048
0010a211mov [rax], rbx
0010a214mov [rax+8], rdi
0010a218lea rdi, [rax-24]
0010a21cmov [rdi-8], 2048
0010a224mov rsi, [rsp+16]
0010a229mov [rdi], rsi
0010a22cmov [rdi+8], rax
0010a230lea rax, [rdi-24]
0010a234mov [rax-8], 2048
0010a23cmov [rax], rbx
0010a23fmov [rax+8], rdi
0010a243lea rdi, [rax-24]
0010a247mov [rdi-8], 2048
0010a24fmov rsi, [rsp+32]
0010a254mov [rdi], rsi
0010a257mov [rdi+8], rax
0010a25blea rax, [rdi-24]
0010a25fmov [rax-8], 2048
0010a267mov [rax], rbx
0010a26amov [rax+8], rdi
0010a26elea rbx, [rax-24]
0010a272mov [rbx-8], 2048
0010a27amov rdi, [rsp+40]
0010a27fmov [rbx], rdi
0010a282mov [rbx+8], rax
0010a286lea rax, [rbx-24]
0010a28amov [rax-8], 2048
0010a292lea rdi, [rip+0x174f0f]
0010a299mov [rax], rdi
0010a29cmov [rax+8], rbx
0010a2a0lea rbx, [rip+0x175789]
0010a2a7call camlStdlib.$40_196
0010a2acmov rbx, rax
0010a2afmov rax, [rsp+48]
0010a2b4mov rax, [rax+16]
0010a2b8mov rax, [rax+24]
0010a2bcadd rsp, 56
0010a2c0jmp 0x17f240
0010a2c5
0010a2c5loc_10a2c5:
0010a2c5call caml_call_gc
0010a2cajmp 0x10a1c9
0010a2cf
0010a2cfloc_10a2cf:
0010a2cfcall caml_call_gc
0010a2d4jmp 0x10a0c0
0010a2d9
0010a2d9loc_10a2d9:
0010a2d9push 40
0010a2dbcall caml_call_realloc_stack
0010a2e0pop r10
0010a2e2jmp 0x109fe2
00109fd0
0010a2e7
0010a2e7 // align 0x10
0010a2e7 // align 0x10
0010a2f0
0010a2f0camlVerb.string_of_border_1890:
0010a2f0or rax, 1
0010a2f4lea rbx, [rip+0x1746bd]
0010a2fbmov rax, [rbx+4*rax-4]
0010a300ret
0010a2f0
0010a2f0camlVerb.string_of_border_1890:
0010a2f0or rax, 1
0010a2f4lea rbx, [rip+0x1746bd]
0010a2fbmov rax, [rbx+4*rax-4]
0010a300ret
0010a2f0
0010a301
0010a301 // align 0x10
0010a301 // align 0x10
0010a310
0010a310camlVerb.fun_4828:
0010a310lea r10, [rsp-360]
0010a318cmp r10, [r14+40]
0010a31cjb 0x10a746
0010a322
0010a322loc_10a322:
0010a322sub rsp, 40
0010a326mov [rsp+8], rbx
0010a32bcmp r15, [r14]
0010a32ejbe 0x10a737
0010a334
0010a334loc_10a334:
0010a334mov rbx, [rbx+24]
0010a338mov rbx, [rbx+224]
0010a33fmov rdi, [rbx]
0010a342call rdi
0010a344mov [rsp], rax
0010a348mov esi, 1
0010a34dmov edi, 9
0010a352lea rax, [rip+0xef947]
0010a359call caml_c_call
0010a35emov rbx, rax
0010a361mov edi, 1
0010a366mov rsi, [rsp]
0010a36amov rax, [rsi-8]
0010a36eshr rax, 10
0010a372lea rax, [8*rax-1]
0010a37amovzx rdx, [rsi+rax]
0010a37fsub rax, rdx
0010a382lea rcx, [rax+rax-1]
0010a387cmp rdi, rcx
0010a38ajg 0x10a53e
0010a390
0010a390loc_10a390:
0010a390mov rax, rdi
0010a393sar rax, 1
0010a396mov rdx, [rsi-8]
0010a39ashr rdx, 10
0010a39elea rdx, [8*rdx-1]
0010a3a6movzx r8, [rsi+rdx]
0010a3absub rdx, r8
0010a3aecmp rdx, rax
0010a3b1jbe 0x10a741
0010a3b7movzx rax, [rsi+rax]
0010a3bclea rax, [rax+rax+1]
0010a3c1cmp rax, 171
0010a3c7jl 0x10a488
0010a3cdcmp rax, 217
0010a3d3jl 0x10a45c
0010a3d9cmp rax, 235
0010a3dfjge 0x10a524
0010a3e5add rax, -216
0010a3ebsar rax, 1
0010a3eelea rdx, [rip+0x11fefb]
0010a3f5movsxd rax, [rdx+4*rax]
0010a3f9add rdx, rax
0010a3fcjmp rdx
0010a3fenop
0010a400mov rax, [rbx-8]
0010a404cmp rax, 4095
0010a40ajbe 0x10a741
0010a410mov [rbx+24], 3
0010a418jmp 0x10a524
0010a41dnop [rax]
0010a420mov rax, [rbx-8]
0010a424cmp rax, 2047
0010a42ajbe 0x10a741
0010a430mov [rbx+8], 3
0010a438jmp 0x10a524
0010a43dnop [rax]
0010a440mov rax, [rbx-8]
0010a444cmp rax, 1023
0010a44ajbe 0x10a741
0010a450mov [rbx], 3
0010a457jmp 0x10a524
0010a45c
0010a45cloc_10a45c:
0010a45ccmp rax, 197
0010a462jne 0x10a524
0010a468mov rax, [rbx-8]
0010a46ccmp rax, 3071
0010a472jbe 0x10a741
0010a478mov [rbx+16], 3
0010a480jmp 0x10a524
0010a485nop [rax]
0010a488
0010a488loc_10a488:
0010a488cmp rax, 133
0010a48eje 0x10a50c
0010a490cmp rax, 153
0010a496jl 0x10a524
0010a49cadd rax, -152
0010a4a2sar rax, 1
0010a4a5lea rdx, [rip+0x11fe68]
0010a4acmovsxd rax, [rdx+4*rax]
0010a4b0add rdx, rax
0010a4b3jmp rdx
0010a4b5nop [rax]
0010a4b8mov rax, [rbx-8]
0010a4bccmp rax, 4095
0010a4c2jbe 0x10a741
0010a4c8mov [rbx+24], 5
0010a4d0jmp 0x10a524
0010a4d2nop
0010a4d4mov rax, [rbx-8]
0010a4d8cmp rax, 2047
0010a4dejbe 0x10a741
0010a4e4mov [rbx+8], 5
0010a4ecjmp 0x10a524
0010a4eenop
0010a4f0mov rax, [rbx-8]
0010a4f4cmp rax, 1023
0010a4fajbe 0x10a741
0010a500mov [rbx], 5
0010a507jmp 0x10a524
0010a509nop [rax]
0010a50c
0010a50cloc_10a50c:
0010a50cmov rax, [rbx-8]
0010a510cmp rax, 3071
0010a516jbe 0x10a741
0010a51cmov [rbx+16], 5
0010a524
0010a524loc_10a524:
0010a524mov rax, rdi
0010a527add rdi, 2
0010a52bcmp rax, rcx
0010a52eje 0x10a53e
0010a530cmp r15, [r14]
0010a533ja 0x10a390
0010a539jmp 0x10a72d
0010a53e
0010a53eloc_10a53e:
0010a53emov rax, [rbx-8]
0010a542shr rax, 9
0010a546or rax, 1
0010a54acmp rax, 9
0010a54eje 0x10a58c
0010a550sub r15, 24
0010a554cmp r15, [r14]
0010a557jb 0x10a723
0010a55d
0010a55dloc_10a55d:
0010a55dlea rax, [r15+8]
0010a561mov [rax-8], 2048
0010a569lea rbx, [rip+0x16bc98]
0010a570mov [rax], rbx
0010a573lea rbx, [rip+0x174bc6]
0010a57amov [rax+8], rbx
0010a57emov rsp, [r14+48]
0010a582pop [r14+48]
0010a586pop r11
0010a588jmp r11
0010a58bnop
0010a58c
0010a58cloc_10a58c:
0010a58cmov rdi, [rbx]
0010a58fmov rax, rdi
0010a592sar rax, 1
0010a595cmp rax, 1
0010a599je 0x10a5c8
0010a59bja 0x10a5f4
0010a59dmov rax, [rbx+8]
0010a5a1cmp rax, 1
0010a5a5jne 0x10a620
0010a5a7mov rax, [rbx+16]
0010a5abcmp rax, 1
0010a5afjne 0x10a620
0010a5b1mov rax, [rbx+24]
0010a5b5cmp rax, 1
0010a5b9jne 0x10a620
0010a5bblea rax, [rip+0x175d8e]
0010a5c2jmp 0x10a70a
0010a5c7nop
0010a5c8
0010a5c8loc_10a5c8:
0010a5c8mov rax, [rbx+8]
0010a5cccmp rax, 3
0010a5d0jne 0x10a620
0010a5d2mov rax, [rbx+16]
0010a5d6cmp rax, 3
0010a5dajne 0x10a620
0010a5dcmov rax, [rbx+24]
0010a5e0cmp rax, 3
0010a5e4jne 0x10a620
0010a5e6lea rax, [rip+0x174b33]
0010a5edjmp 0x10a70a
0010a5f2nop
0010a5f4
0010a5f4loc_10a5f4:
0010a5f4mov rax, [rbx+8]
0010a5f8cmp rax, 5
0010a5fcjl 0x10a620
0010a5femov rax, [rbx+16]
0010a602cmp rax, 5
0010a606jl 0x10a620
0010a608mov rax, [rbx+24]
0010a60ccmp rax, 5
0010a610jl 0x10a620
0010a612lea rax, [rip+0x174ae7]
0010a619jmp 0x10a70a
0010a61enop
0010a620
0010a620loc_10a620:
0010a620mov rax, [rbx+8]
0010a624mov rsi, [rbx+16]
0010a628mov rdx, [rbx+24]
0010a62ccmp rdi, rsi
0010a62fjne 0x10a684
0010a631cmp rax, rdx
0010a634jne 0x10a684
0010a636or rax, 1
0010a63alea rbx, [rip+0x17435f]
0010a641mov rax, [rbx+4*rax-4]
0010a646mov [rsp+16], rax
0010a64bor rdi, 1
0010a64flea rax, [rip+0x174332]
0010a656mov rax, [rax+4*rdi-4]
0010a65bmov [rsp], rax
0010a65flea rax, [rip+0x1749d2]
0010a666call Stdlib.Printf.sprintf
0010a66bmov rdi, rax
0010a66emov rax, [rsp]
0010a672mov rbx, [rsp+16]
0010a677call caml_apply2
0010a67cjmp 0x10a70a
0010a681nop [rax]
0010a684
0010a684loc_10a684:
0010a684mov rax, [rbx+8]
0010a688mov rsi, [rbx+16]
0010a68cmov rbx, [rbx+24]
0010a690or rbx, 1
0010a694lea rdx, [rip+0x1742d5]
0010a69bmov rbx, [rdx+4*rbx-4]
0010a6a0mov [rsp+32], rbx
0010a6a5or rsi, 1
0010a6a9lea rbx, [rip+0x1742a8]
0010a6b0mov rbx, [rbx+4*rsi-4]
0010a6b5mov [rsp+24], rbx
0010a6baor rax, 1
0010a6belea rbx, [rip+0x17427b]
0010a6c5mov rax, [rbx+4*rax-4]
0010a6camov [rsp+16], rax
0010a6cfor rdi, 1
0010a6d3lea rax, [rip+0x17424e]
0010a6damov rax, [rax+4*rdi-4]
0010a6dfmov [rsp], rax
0010a6e3lea rax, [rip+0x174896]
0010a6eacall Stdlib.Printf.sprintf
0010a6efmov rdx, rax
0010a6f2mov rax, [rsp]
0010a6f6mov rbx, [rsp+16]
0010a6fbmov rdi, [rsp+24]
0010a700mov rsi, [rsp+32]
0010a705call caml_apply4
0010a70a
0010a70aloc_10a70a:
0010a70amov rbx, [rsp+8]
0010a70fmov rbx, [rbx+32]
0010a713mov rbx, [rbx+352]
0010a71amov rdi, [rbx]
0010a71dadd rsp, 40
0010a721jmp rdi
0010a723
0010a723loc_10a723:
0010a723call caml_call_gc
0010a728jmp 0x10a55d
0010a72d
0010a72dloc_10a72d:
0010a72dcall caml_call_gc
0010a732jmp 0x10a390
0010a737
0010a737loc_10a737:
0010a737call caml_call_gc
0010a73cjmp 0x10a334
0010a741
0010a741loc_10a741:
0010a741call caml_ml_array_bound_error
0010a746
0010a746loc_10a746:
0010a746push 38
0010a748call caml_call_realloc_stack
0010a74dpop r10
0010a74fjmp 0x10a322
0010a310
0010a310camlVerb.fun_4828:
0010a310lea r10, [rsp-360]
0010a318cmp r10, [r14+40]
0010a31cjb 0x10a746
0010a322
0010a322loc_10a322:
0010a322sub rsp, 40
0010a326mov [rsp+8], rbx
0010a32bcmp r15, [r14]
0010a32ejbe 0x10a737
0010a334
0010a334loc_10a334:
0010a334mov rbx, [rbx+24]
0010a338mov rbx, [rbx+224]
0010a33fmov rdi, [rbx]
0010a342call rdi
0010a344mov [rsp], rax
0010a348mov esi, 1
0010a34dmov edi, 9
0010a352lea rax, [rip+0xef947]
0010a359call caml_c_call
0010a35emov rbx, rax
0010a361mov edi, 1
0010a366mov rsi, [rsp]
0010a36amov rax, [rsi-8]
0010a36eshr rax, 10
0010a372lea rax, [8*rax-1]
0010a37amovzx rdx, [rsi+rax]
0010a37fsub rax, rdx
0010a382lea rcx, [rax+rax-1]
0010a387cmp rdi, rcx
0010a38ajg 0x10a53e
0010a390
0010a390loc_10a390:
0010a390mov rax, rdi
0010a393sar rax, 1
0010a396mov rdx, [rsi-8]
0010a39ashr rdx, 10
0010a39elea rdx, [8*rdx-1]
0010a3a6movzx r8, [rsi+rdx]
0010a3absub rdx, r8
0010a3aecmp rdx, rax
0010a3b1jbe 0x10a741
0010a3b7movzx rax, [rsi+rax]
0010a3bclea rax, [rax+rax+1]
0010a3c1cmp rax, 171
0010a3c7jl 0x10a488
0010a3cdcmp rax, 217
0010a3d3jl 0x10a45c
0010a3d9cmp rax, 235
0010a3dfjge 0x10a524
0010a3e5add rax, -216
0010a3ebsar rax, 1
0010a3eelea rdx, [rip+0x11fefb]
0010a3f5movsxd rax, [rdx+4*rax]
0010a3f9add rdx, rax
0010a3fcjmp rdx
0010a3fenop
0010a400mov rax, [rbx-8]
0010a404cmp rax, 4095
0010a40ajbe 0x10a741
0010a410mov [rbx+24], 3
0010a418jmp 0x10a524
0010a41dnop [rax]
0010a420mov rax, [rbx-8]
0010a424cmp rax, 2047
0010a42ajbe 0x10a741
0010a430mov [rbx+8], 3
0010a438jmp 0x10a524
0010a43dnop [rax]
0010a440mov rax, [rbx-8]
0010a444cmp rax, 1023
0010a44ajbe 0x10a741
0010a450mov [rbx], 3
0010a457jmp 0x10a524
0010a45c
0010a45cloc_10a45c:
0010a45ccmp rax, 197
0010a462jne 0x10a524
0010a468mov rax, [rbx-8]
0010a46ccmp rax, 3071
0010a472jbe 0x10a741
0010a478mov [rbx+16], 3
0010a480jmp 0x10a524
0010a485nop [rax]
0010a488
0010a488loc_10a488:
0010a488cmp rax, 133
0010a48eje 0x10a50c
0010a490cmp rax, 153
0010a496jl 0x10a524
0010a49cadd rax, -152
0010a4a2sar rax, 1
0010a4a5lea rdx, [rip+0x11fe68]
0010a4acmovsxd rax, [rdx+4*rax]
0010a4b0add rdx, rax
0010a4b3jmp rdx
0010a4b5nop [rax]
0010a4b8mov rax, [rbx-8]
0010a4bccmp rax, 4095
0010a4c2jbe 0x10a741
0010a4c8mov [rbx+24], 5
0010a4d0jmp 0x10a524
0010a4d2nop
0010a4d4mov rax, [rbx-8]
0010a4d8cmp rax, 2047
0010a4dejbe 0x10a741
0010a4e4mov [rbx+8], 5
0010a4ecjmp 0x10a524
0010a4eenop
0010a4f0mov rax, [rbx-8]
0010a4f4cmp rax, 1023
0010a4fajbe 0x10a741
0010a500mov [rbx], 5
0010a507jmp 0x10a524
0010a509nop [rax]
0010a50c
0010a50cloc_10a50c:
0010a50cmov rax, [rbx-8]
0010a510cmp rax, 3071
0010a516jbe 0x10a741
0010a51cmov [rbx+16], 5
0010a524
0010a524loc_10a524:
0010a524mov rax, rdi
0010a527add rdi, 2
0010a52bcmp rax, rcx
0010a52eje 0x10a53e
0010a530cmp r15, [r14]
0010a533ja 0x10a390
0010a539jmp 0x10a72d
0010a53e
0010a53eloc_10a53e:
0010a53emov rax, [rbx-8]
0010a542shr rax, 9
0010a546or rax, 1
0010a54acmp rax, 9
0010a54eje 0x10a58c
0010a550sub r15, 24
0010a554cmp r15, [r14]
0010a557jb 0x10a723
0010a55d
0010a55dloc_10a55d:
0010a55dlea rax, [r15+8]
0010a561mov [rax-8], 2048
0010a569lea rbx, [rip+0x16bc98]
0010a570mov [rax], rbx
0010a573lea rbx, [rip+0x174bc6]
0010a57amov [rax+8], rbx
0010a57emov rsp, [r14+48]
0010a582pop [r14+48]
0010a586pop r11
0010a588jmp r11
0010a58bnop
0010a58c
0010a58cloc_10a58c:
0010a58cmov rdi, [rbx]
0010a58fmov rax, rdi
0010a592sar rax, 1
0010a595cmp rax, 1
0010a599je 0x10a5c8
0010a59bja 0x10a5f4
0010a59dmov rax, [rbx+8]
0010a5a1cmp rax, 1
0010a5a5jne 0x10a620
0010a5a7mov rax, [rbx+16]
0010a5abcmp rax, 1
0010a5afjne 0x10a620
0010a5b1mov rax, [rbx+24]
0010a5b5cmp rax, 1
0010a5b9jne 0x10a620
0010a5bblea rax, [rip+0x175d8e]
0010a5c2jmp 0x10a70a
0010a5c7nop
0010a5c8
0010a5c8loc_10a5c8:
0010a5c8mov rax, [rbx+8]
0010a5cccmp rax, 3
0010a5d0jne 0x10a620
0010a5d2mov rax, [rbx+16]
0010a5d6cmp rax, 3
0010a5dajne 0x10a620
0010a5dcmov rax, [rbx+24]
0010a5e0cmp rax, 3
0010a5e4jne 0x10a620
0010a5e6lea rax, [rip+0x174b33]
0010a5edjmp 0x10a70a
0010a5f2nop
0010a5f4
0010a5f4loc_10a5f4:
0010a5f4mov rax, [rbx+8]
0010a5f8cmp rax, 5
0010a5fcjl 0x10a620
0010a5femov rax, [rbx+16]
0010a602cmp rax, 5
0010a606jl 0x10a620
0010a608mov rax, [rbx+24]
0010a60ccmp rax, 5
0010a610jl 0x10a620
0010a612lea rax, [rip+0x174ae7]
0010a619jmp 0x10a70a
0010a61enop
0010a620
0010a620loc_10a620:
0010a620mov rax, [rbx+8]
0010a624mov rsi, [rbx+16]
0010a628mov rdx, [rbx+24]
0010a62ccmp rdi, rsi
0010a62fjne 0x10a684
0010a631cmp rax, rdx
0010a634jne 0x10a684
0010a636or rax, 1
0010a63alea rbx, [rip+0x17435f]
0010a641mov rax, [rbx+4*rax-4]
0010a646mov [rsp+16], rax
0010a64bor rdi, 1
0010a64flea rax, [rip+0x174332]
0010a656mov rax, [rax+4*rdi-4]
0010a65bmov [rsp], rax
0010a65flea rax, [rip+0x1749d2]
0010a666call Stdlib.Printf.sprintf
0010a66bmov rdi, rax
0010a66emov rax, [rsp]
0010a672mov rbx, [rsp+16]
0010a677call caml_apply2
0010a67cjmp 0x10a70a
0010a681nop [rax]
0010a684
0010a684loc_10a684:
0010a684mov rax, [rbx+8]
0010a688mov rsi, [rbx+16]
0010a68cmov rbx, [rbx+24]
0010a690or rbx, 1
0010a694lea rdx, [rip+0x1742d5]
0010a69bmov rbx, [rdx+4*rbx-4]
0010a6a0mov [rsp+32], rbx
0010a6a5or rsi, 1
0010a6a9lea rbx, [rip+0x1742a8]
0010a6b0mov rbx, [rbx+4*rsi-4]
0010a6b5mov [rsp+24], rbx
0010a6baor rax, 1
0010a6belea rbx, [rip+0x17427b]
0010a6c5mov rax, [rbx+4*rax-4]
0010a6camov [rsp+16], rax
0010a6cfor rdi, 1
0010a6d3lea rax, [rip+0x17424e]
0010a6damov rax, [rax+4*rdi-4]
0010a6dfmov [rsp], rax
0010a6e3lea rax, [rip+0x174896]
0010a6eacall Stdlib.Printf.sprintf
0010a6efmov rdx, rax
0010a6f2mov rax, [rsp]
0010a6f6mov rbx, [rsp+16]
0010a6fbmov rdi, [rsp+24]
0010a700mov rsi, [rsp+32]
0010a705call caml_apply4
0010a70a
0010a70aloc_10a70a:
0010a70amov rbx, [rsp+8]
0010a70fmov rbx, [rbx+32]
0010a713mov rbx, [rbx+352]
0010a71amov rdi, [rbx]
0010a71dadd rsp, 40
0010a721jmp rdi
0010a723
0010a723loc_10a723:
0010a723call caml_call_gc
0010a728jmp 0x10a55d
0010a72d
0010a72dloc_10a72d:
0010a72dcall caml_call_gc
0010a732jmp 0x10a390
0010a737
0010a737loc_10a737:
0010a737call caml_call_gc
0010a73cjmp 0x10a334
0010a741
0010a741loc_10a741:
0010a741call caml_ml_array_bound_error
0010a746
0010a746loc_10a746:
0010a746push 38
0010a748call caml_call_realloc_stack
0010a74dpop r10
0010a74fjmp 0x10a322
0010a310
0010a754
0010a754 // align 0x10
0010a754 // align 0x10
0010a760
0010a760camlVerb.fun_4847:
0010a760lea r10, [rsp-328]
0010a768cmp r10, [r14+40]
0010a76cjb 0x10a803
0010a772
0010a772loc_10a772:
0010a772sub rsp, 8
0010a776mov [rsp], rbx
0010a77asub r15, 48
0010a77ecmp r15, [r14]
0010a781jb 0x10a7fc
0010a783
0010a783loc_10a783:
0010a783lea rsi, [r15+8]
0010a787mov [rsi-8], 5367
0010a78flea rax, [rip+138]
0010a796mov [rsi], rax
0010a799mov rax, 0x100000000000005
0010a7a3mov [rsi+8], rax
0010a7a7mov rax, [rbx+16]
0010a7abmov [rsi+16], rax
0010a7afmov rax, [rbx+24]
0010a7b3mov [rsi+24], rax
0010a7b7mov rax, [rbx+32]
0010a7bbmov [rsi+32], rax
0010a7bfmov rax, [rbx+48]
0010a7c3mov rdi, [rax+160]
0010a7calea rax, [rip+0x17477f]
0010a7d1mov rbx, rsi
0010a7d4call caml_apply2
0010a7d9mov rbx, [rsp]
0010a7ddmov rax, [rbx+48]
0010a7e1mov rdi, [rax+160]
0010a7e8mov rbx, [rbx+40]
0010a7eclea rax, [rip+0x174745]
0010a7f3add rsp, 8
0010a7f7jmp 0xf73e0
0010a7fc
0010a7fcloc_10a7fc:
0010a7fccall caml_call_gc
0010a801jmp 0x10a783
0010a803
0010a803loc_10a803:
0010a803push 34
0010a805call caml_call_realloc_stack
0010a80apop r10
0010a80cjmp 0x10a772
0010a760
0010a760camlVerb.fun_4847:
0010a760lea r10, [rsp-328]
0010a768cmp r10, [r14+40]
0010a76cjb 0x10a803
0010a772
0010a772loc_10a772:
0010a772sub rsp, 8
0010a776mov [rsp], rbx
0010a77asub r15, 48
0010a77ecmp r15, [r14]
0010a781jb 0x10a7fc
0010a783
0010a783loc_10a783:
0010a783lea rsi, [r15+8]
0010a787mov [rsi-8], 5367
0010a78flea rax, [rip+138]
0010a796mov [rsi], rax
0010a799mov rax, 0x100000000000005
0010a7a3mov [rsi+8], rax
0010a7a7mov rax, [rbx+16]
0010a7abmov [rsi+16], rax
0010a7afmov rax, [rbx+24]
0010a7b3mov [rsi+24], rax
0010a7b7mov rax, [rbx+32]
0010a7bbmov [rsi+32], rax
0010a7bfmov rax, [rbx+48]
0010a7c3mov rdi, [rax+160]
0010a7calea rax, [rip+0x17477f]
0010a7d1mov rbx, rsi
0010a7d4call caml_apply2
0010a7d9mov rbx, [rsp]
0010a7ddmov rax, [rbx+48]
0010a7e1mov rdi, [rax+160]
0010a7e8mov rbx, [rbx+40]
0010a7eclea rax, [rip+0x174745]
0010a7f3add rsp, 8
0010a7f7jmp 0xf73e0
0010a7fc
0010a7fcloc_10a7fc:
0010a7fccall caml_call_gc
0010a801jmp 0x10a783
0010a803
0010a803loc_10a803:
0010a803push 34
0010a805call caml_call_realloc_stack
0010a80apop r10
0010a80cjmp 0x10a772
0010a760
0010a811
0010a811 // align 0x10
0010a811 // align 0x10
0010a820
0010a820camlVerb.fun_4885:
0010a820lea r10, [rsp-336]
0010a828cmp r10, [r14+40]
0010a82cjb 0x10a8aa
0010a82e
0010a82eloc_10a82e:
0010a82esub rsp, 16
0010a832mov [rsp+8], rax
0010a837mov [rsp], rbx
0010a83bmov rbx, [rbx+32]
0010a83fmov eax, 1
0010a844call camlVerb.open_verbenv_1535
0010a849mov rbx, [rax+8]
0010a84dmov rdi, [rax]
0010a850mov rcx, [rsp]
0010a854mov rsi, [rcx+16]
0010a858sub r15, 48
0010a85ccmp r15, [r14]
0010a85fjb 0x10a8a3
0010a861
0010a861loc_10a861:
0010a861lea rax, [r15+8]
0010a865mov [rax-8], 5367
0010a86dlea rdx, [rip+76]
0010a874mov [rax], rdx
0010a877mov rdx, 0x100000000000005
0010a881mov [rax+8], rdx
0010a885mov [rax+16], rdi
0010a889mov [rax+24], rbx
0010a88dmov [rax+32], rsi
0010a891mov rdi, [rcx+24]
0010a895mov rbx, [rsp+8]
0010a89aadd rsp, 16
0010a89ejmp 0x104e20
0010a8a3
0010a8a3loc_10a8a3:
0010a8a3call caml_call_gc
0010a8a8jmp 0x10a861
0010a8aa
0010a8aaloc_10a8aa:
0010a8aapush 35
0010a8accall caml_call_realloc_stack
0010a8b1pop r10
0010a8b3jmp 0x10a82e
0010a820
0010a820camlVerb.fun_4885:
0010a820lea r10, [rsp-336]
0010a828cmp r10, [r14+40]
0010a82cjb 0x10a8aa
0010a82e
0010a82eloc_10a82e:
0010a82esub rsp, 16
0010a832mov [rsp+8], rax
0010a837mov [rsp], rbx
0010a83bmov rbx, [rbx+32]
0010a83fmov eax, 1
0010a844call camlVerb.open_verbenv_1535
0010a849mov rbx, [rax+8]
0010a84dmov rdi, [rax]
0010a850mov rcx, [rsp]
0010a854mov rsi, [rcx+16]
0010a858sub r15, 48
0010a85ccmp r15, [r14]
0010a85fjb 0x10a8a3
0010a861
0010a861loc_10a861:
0010a861lea rax, [r15+8]
0010a865mov [rax-8], 5367
0010a86dlea rdx, [rip+76]
0010a874mov [rax], rdx
0010a877mov rdx, 0x100000000000005
0010a881mov [rax+8], rdx
0010a885mov [rax+16], rdi
0010a889mov [rax+24], rbx
0010a88dmov [rax+32], rsi
0010a891mov rdi, [rcx+24]
0010a895mov rbx, [rsp+8]
0010a89aadd rsp, 16
0010a89ejmp 0x104e20
0010a8a3
0010a8a3loc_10a8a3:
0010a8a3call caml_call_gc
0010a8a8jmp 0x10a861
0010a8aa
0010a8aaloc_10a8aa:
0010a8aapush 35
0010a8accall caml_call_realloc_stack
0010a8b1pop r10
0010a8b3jmp 0x10a82e
0010a820
0010a8b8
0010a8b8 // align 0x10
0010a8b8 // align 0x10
0010a8c0
0010a8c0camlVerb.fun_4909:
0010a8c0mov rdi, rax
0010a8c3mov rdx, [rbx+24]
0010a8c7mov rax, [rbx+16]
0010a8cbmov rsi, [rbx+32]
0010a8cfmov rbx, rdx
0010a8d2jmp 0xfc450
0010a8c0
0010a8c0camlVerb.fun_4909:
0010a8c0mov rdi, rax
0010a8c3mov rdx, [rbx+24]
0010a8c7mov rax, [rbx+16]
0010a8cbmov rsi, [rbx+32]
0010a8cfmov rbx, rdx
0010a8d2jmp 0xfc450
0010a8c0
0010a8d7
0010a8d7 // align 0x10
0010a8d7 // align 0x10
0010a8e0
0010a8e0camlVerb.init_longtable_1911:
0010a8e0lea r10, [rsp-328]
0010a8e8cmp r10, [r14+40]
0010a8ecjb 0x10a9c3
0010a8f2
0010a8f2loc_10a8f2:
0010a8f2sub rsp, 8
0010a8f6mov [rsp], rbx
0010a8falea rax, [rip+0x1740d7]
0010a901sub r15, 48
0010a905cmp r15, [r14]
0010a908jb 0x10a9b9
0010a90e
0010a90eloc_10a90e:
0010a90elea rsi, [r15+8]
0010a912mov [rsi-8], 5367
0010a91alea rdi, [rip+239]
0010a921mov [rsi], rdi
0010a924mov rdi, 0x100000000000005
0010a92emov [rsi+8], rdi
0010a932mov rdi, [rbx+16]
0010a936mov [rsi+16], rdi
0010a93amov [rsi+24], rax
0010a93emov rax, [rbx+24]
0010a942mov [rsi+32], rax
0010a946mov rdi, [rax+160]
0010a94dlea rax, [rip+0x1745b4]
0010a954mov rbx, rsi
0010a957call caml_apply2
0010a95csub r15, 32
0010a960cmp r15, [r14]
0010a963jb 0x10a9b2
0010a965
0010a965loc_10a965:
0010a965lea rbx, [r15+8]
0010a969mov [rbx-8], 3319
0010a971lea rax, [rip+312]
0010a978mov [rbx], rax
0010a97bmov rax, 0x100000000000005
0010a985mov [rbx+8], rax
0010a989mov rax, [rsp]
0010a98dmov rax, [rax+24]
0010a991mov [rbx+16], rax
0010a995mov rdi, [rax+160]
0010a99clea rax, [rip+0x17454d]
0010a9a3call caml_apply2
0010a9a8mov eax, 1
0010a9adadd rsp, 8
0010a9b1ret
0010a9b2
0010a9b2loc_10a9b2:
0010a9b2call caml_call_gc
0010a9b7jmp 0x10a965
0010a9b9
0010a9b9loc_10a9b9:
0010a9b9call caml_call_gc
0010a9bejmp 0x10a90e
0010a9c3
0010a9c3loc_10a9c3:
0010a9c3push 34
0010a9c5call caml_call_realloc_stack
0010a9capop r10
0010a9ccjmp 0x10a8f2
0010a8e0
0010a8e0camlVerb.init_longtable_1911:
0010a8e0lea r10, [rsp-328]
0010a8e8cmp r10, [r14+40]
0010a8ecjb 0x10a9c3
0010a8f2
0010a8f2loc_10a8f2:
0010a8f2sub rsp, 8
0010a8f6mov [rsp], rbx
0010a8falea rax, [rip+0x1740d7]
0010a901sub r15, 48
0010a905cmp r15, [r14]
0010a908jb 0x10a9b9
0010a90e
0010a90eloc_10a90e:
0010a90elea rsi, [r15+8]
0010a912mov [rsi-8], 5367
0010a91alea rdi, [rip+239]
0010a921mov [rsi], rdi
0010a924mov rdi, 0x100000000000005
0010a92emov [rsi+8], rdi
0010a932mov rdi, [rbx+16]
0010a936mov [rsi+16], rdi
0010a93amov [rsi+24], rax
0010a93emov rax, [rbx+24]
0010a942mov [rsi+32], rax
0010a946mov rdi, [rax+160]
0010a94dlea rax, [rip+0x1745b4]
0010a954mov rbx, rsi
0010a957call caml_apply2
0010a95csub r15, 32
0010a960cmp r15, [r14]
0010a963jb 0x10a9b2
0010a965
0010a965loc_10a965:
0010a965lea rbx, [r15+8]
0010a969mov [rbx-8], 3319
0010a971lea rax, [rip+312]
0010a978mov [rbx], rax
0010a97bmov rax, 0x100000000000005
0010a985mov [rbx+8], rax
0010a989mov rax, [rsp]
0010a98dmov rax, [rax+24]
0010a991mov [rbx+16], rax
0010a995mov rdi, [rax+160]
0010a99clea rax, [rip+0x17454d]
0010a9a3call caml_apply2
0010a9a8mov eax, 1
0010a9adadd rsp, 8
0010a9b1ret
0010a9b2
0010a9b2loc_10a9b2:
0010a9b2call caml_call_gc
0010a9b7jmp 0x10a965
0010a9b9
0010a9b9loc_10a9b9:
0010a9b9call caml_call_gc
0010a9bejmp 0x10a90e
0010a9c3
0010a9c3loc_10a9c3:
0010a9c3push 34
0010a9c5call caml_call_realloc_stack
0010a9capop r10
0010a9ccjmp 0x10a8f2
0010a8e0
0010a9d1
0010a9d1 // align 0x10
0010a9d1 // align 0x10
0010a9e0
0010a9e0camlVerb.is_cmd_1913:
0010a9e0lea r10, [rsp-320]
0010a9e8cmp r10, [r14+40]
0010a9ecjb 0x10a9ff
0010a9ee
0010a9eeloc_10a9ee:
0010a9eelea rbx, [rip+0x17452b]
0010a9f5call camlStdlib.$5e_139
0010a9fajmp 0x17ad20
0010a9ff
0010a9ffloc_10a9ff:
0010a9ffpush 33
0010aa01call caml_call_realloc_stack
0010aa06pop r10
0010aa08jmp 0x10a9ee
0010a9e0
0010a9e0camlVerb.is_cmd_1913:
0010a9e0lea r10, [rsp-320]
0010a9e8cmp r10, [r14+40]
0010a9ecjb 0x10a9ff
0010a9ee
0010a9eeloc_10a9ee:
0010a9eelea rbx, [rip+0x17452b]
0010a9f5call camlStdlib.$5e_139
0010a9fajmp 0x17ad20
0010a9ff
0010a9ffloc_10a9ff:
0010a9ffpush 33
0010aa01call caml_call_realloc_stack
0010aa06pop r10
0010aa08jmp 0x10a9ee
0010a9e0
0010aa0a
0010aa0a // align 0x10
0010aa0a // align 0x10
0010aa10
0010aa10camlVerb.fun_4938:
0010aa10lea r10, [rsp-336]
0010aa18cmp r10, [r14+40]
0010aa1cjb 0x10aa94
0010aa1e
0010aa1eloc_10aa1e:
0010aa1esub rsp, 16
0010aa22mov [rsp], rax
0010aa26mov [rsp+8], rbx
0010aa2blea rax, [rip+0x216fc6]
0010aa32mov rax, [rax]
0010aa35mov rbx, [rax+16]
0010aa39mov eax, 1
0010aa3ecall camlDoOut.alloc_buff_526
0010aa43sub r15, 16
0010aa47cmp r15, [r14]
0010aa4ajb 0x10aa8d
0010aa4c
0010aa4cloc_10aa4c:
0010aa4clea rdi, [r15+8]
0010aa50mov [rdi-8], 1024
0010aa58mov [rdi], rax
0010aa5bmov rax, [rsp+8]
0010aa60mov rbx, [rax+24]
0010aa64mov rsi, [rax+16]
0010aa68mov rax, rdi
0010aa6bmov rdi, [rsp]
0010aa6fcall camlVerb.scan_bycommand_1406
0010aa74mov rbx, rax
0010aa77mov rax, [rsp+8]
0010aa7cmov rax, [rax+32]
0010aa80mov rax, [rax+24]
0010aa84add rsp, 16
0010aa88jmp 0x17f150
0010aa8d
0010aa8dloc_10aa8d:
0010aa8dcall caml_call_gc
0010aa92jmp 0x10aa4c
0010aa94
0010aa94loc_10aa94:
0010aa94push 35
0010aa96call caml_call_realloc_stack
0010aa9bpop r10
0010aa9djmp 0x10aa1e
0010aa10
0010aa10camlVerb.fun_4938:
0010aa10lea r10, [rsp-336]
0010aa18cmp r10, [r14+40]
0010aa1cjb 0x10aa94
0010aa1e
0010aa1eloc_10aa1e:
0010aa1esub rsp, 16
0010aa22mov [rsp], rax
0010aa26mov [rsp+8], rbx
0010aa2blea rax, [rip+0x216fc6]
0010aa32mov rax, [rax]
0010aa35mov rbx, [rax+16]
0010aa39mov eax, 1
0010aa3ecall camlDoOut.alloc_buff_526
0010aa43sub r15, 16
0010aa47cmp r15, [r14]
0010aa4ajb 0x10aa8d
0010aa4c
0010aa4cloc_10aa4c:
0010aa4clea rdi, [r15+8]
0010aa50mov [rdi-8], 1024
0010aa58mov [rdi], rax
0010aa5bmov rax, [rsp+8]
0010aa60mov rbx, [rax+24]
0010aa64mov rsi, [rax+16]
0010aa68mov rax, rdi
0010aa6bmov rdi, [rsp]
0010aa6fcall camlVerb.scan_bycommand_1406
0010aa74mov rbx, rax
0010aa77mov rax, [rsp+8]
0010aa7cmov rax, [rax+32]
0010aa80mov rax, [rax+24]
0010aa84add rsp, 16
0010aa88jmp 0x17f150
0010aa8d
0010aa8dloc_10aa8d:
0010aa8dcall caml_call_gc
0010aa92jmp 0x10aa4c
0010aa94
0010aa94loc_10aa94:
0010aa94push 35
0010aa96call caml_call_realloc_stack
0010aa9bpop r10
0010aa9djmp 0x10aa1e
0010aa10
0010aaa2
0010aaa2 // align 0x10
0010aaa2 // align 0x10
0010aab0
0010aab0camlVerb.fun_4949:
0010aab0lea r10, [rsp-320]
0010aab8cmp r10, [r14+40]
0010aabcjb 0x10aaf1
0010aabe
0010aabeloc_10aabe:
0010aabemov rbx, [rbx+16]
0010aac2mov rbx, [rbx+240]
0010aac9mov rdi, [rbx]
0010aacccall rdi
0010aacelea rbx, [rip+0x17444b]
0010aad5call camlStdlib.$5e_139
0010aadalea rdi, [rip+0x17726f]
0010aae1lea rbx, [rip+0x20beb8]
0010aae8mov rbx, [rbx+56]
0010aaecjmp 0x17af20
0010aaf1
0010aaf1loc_10aaf1:
0010aaf1push 33
0010aaf3call caml_call_realloc_stack
0010aaf8pop r10
0010aafajmp 0x10aabe
0010aab0
0010aab0camlVerb.fun_4949:
0010aab0lea r10, [rsp-320]
0010aab8cmp r10, [r14+40]
0010aabcjb 0x10aaf1
0010aabe
0010aabeloc_10aabe:
0010aabemov rbx, [rbx+16]
0010aac2mov rbx, [rbx+240]
0010aac9mov rdi, [rbx]
0010aacccall rdi
0010aacelea rbx, [rip+0x17444b]
0010aad5call camlStdlib.$5e_139
0010aadalea rdi, [rip+0x17726f]
0010aae1lea rbx, [rip+0x20beb8]
0010aae8mov rbx, [rbx+56]
0010aaecjmp 0x17af20
0010aaf1
0010aaf1loc_10aaf1:
0010aaf1push 33
0010aaf3call caml_call_realloc_stack
0010aaf8pop r10
0010aafajmp 0x10aabe
0010aab0
0010aafc
0010aafc // align 0x10
0010aafc // align 0x10
0010ab00
0010ab00camlVerb.init_mathjax_1922:
0010ab00sub r15, 56
0010ab04cmp r15, [r14]
0010ab07jb 0x10ab4d
0010ab09
0010ab09loc_10ab09:
0010ab09lea rdi, [r15+8]
0010ab0dmov [rdi-8], 6391
0010ab15lea rsi, [rip+68]
0010ab1cmov [rdi], rsi
0010ab1fmov rsi, 0x100000000000005
0010ab29mov [rdi+8], rsi
0010ab2dmov rsi, [rbx+16]
0010ab31mov [rdi+16], rsi
0010ab35mov [rdi+24], rax
0010ab39mov rax, [rbx+24]
0010ab3dmov [rdi+32], rax
0010ab41mov rax, [rbx+32]
0010ab45mov [rdi+40], rax
0010ab49mov rax, rdi
0010ab4cret
0010ab4d
0010ab4dloc_10ab4d:
0010ab4dcall caml_call_gc
0010ab52jmp 0x10ab09
0010ab00
0010ab00camlVerb.init_mathjax_1922:
0010ab00sub r15, 56
0010ab04cmp r15, [r14]
0010ab07jb 0x10ab4d
0010ab09
0010ab09loc_10ab09:
0010ab09lea rdi, [r15+8]
0010ab0dmov [rdi-8], 6391
0010ab15lea rsi, [rip+68]
0010ab1cmov [rdi], rsi
0010ab1fmov rsi, 0x100000000000005
0010ab29mov [rdi+8], rsi
0010ab2dmov rsi, [rbx+16]
0010ab31mov [rdi+16], rsi
0010ab35mov [rdi+24], rax
0010ab39mov rax, [rbx+24]
0010ab3dmov [rdi+32], rax
0010ab41mov rax, [rbx+32]
0010ab45mov [rdi+40], rax
0010ab49mov rax, rdi
0010ab4cret
0010ab4d
0010ab4dloc_10ab4d:
0010ab4dcall caml_call_gc
0010ab52jmp 0x10ab09
0010ab00
0010ab54
0010ab54 // align 0x10
0010ab54 // align 0x10
0010ab60
0010ab60camlVerb.fun_4983:
0010ab60lea r10, [rsp-328]
0010ab68cmp r10, [r14+40]
0010ab6cjb 0x10acb3
0010ab72
0010ab72loc_10ab72:
0010ab72sub rsp, 8
0010ab76mov [rsp], rbx
0010ab7alea rax, [rip+0x20be1f]
0010ab81mov rax, [rax+152]
0010ab88mov rdi, [rbx+24]
0010ab8cmov [rax], rdi
0010ab8fsub r15, 32
0010ab93cmp r15, [r14]
0010ab96jb 0x10aca9
0010ab9c
0010ab9cloc_10ab9c:
0010ab9clea rsi, [r15+8]
0010aba0mov [rsi-8], 3319
0010aba8lea rax, [rip+289]
0010abafmov [rsi], rax
0010abb2mov rax, 0x100000000000005
0010abbcmov [rsi+8], rax
0010abc0mov rax, [rbx+40]
0010abc4mov [rsi+16], rax
0010abc8mov rax, [rbx+32]
0010abccmov rdi, [rax+160]
0010abd3lea rax, [rip+0x1742be]
0010abdamov rbx, rsi
0010abddcall caml_apply2
0010abe2sub r15, 40
0010abe6cmp r15, [r14]
0010abe9jb 0x10ac9f
0010abef
0010abefloc_10abef:
0010abeflea rbx, [r15+8]
0010abf3mov [rbx-8], 4343
0010abfblea rax, [rip+462]
0010ac02mov [rbx], rax
0010ac05mov rax, 0x100000000000005
0010ac0fmov [rbx+8], rax
0010ac13mov rdi, [rsp]
0010ac17mov rax, [rdi+16]
0010ac1bmov [rbx+16], rax
0010ac1fmov rax, [rdi+40]
0010ac23mov [rbx+24], rax
0010ac27mov rax, [rdi+32]
0010ac2bmov rdi, [rax+160]
0010ac32lea rax, [rip+0x17420f]
0010ac39call caml_apply2
0010ac3esub r15, 32
0010ac42cmp r15, [r14]
0010ac45jb 0x10ac98
0010ac47
0010ac47loc_10ac47:
0010ac47lea rbx, [r15+8]
0010ac4bmov [rbx-8], 3319
0010ac53lea rax, [rip+486]
0010ac5amov [rbx], rax
0010ac5dmov rax, 0x100000000000005
0010ac67mov [rbx+8], rax
0010ac6bmov rdi, [rsp]
0010ac6fmov rax, [rdi+40]
0010ac73mov [rbx+16], rax
0010ac77mov rax, [rdi+32]
0010ac7bmov rdi, [rax+160]
0010ac82lea rax, [rip+0x1741a7]
0010ac89call caml_apply2
0010ac8emov eax, 1
0010ac93add rsp, 8
0010ac97ret
0010ac98
0010ac98loc_10ac98:
0010ac98call caml_call_gc
0010ac9djmp 0x10ac47
0010ac9f
0010ac9floc_10ac9f:
0010ac9fcall caml_call_gc
0010aca4jmp 0x10abef
0010aca9
0010aca9loc_10aca9:
0010aca9call caml_call_gc
0010acaejmp 0x10ab9c
0010acb3
0010acb3loc_10acb3:
0010acb3push 34
0010acb5call caml_call_realloc_stack
0010acbapop r10
0010acbcjmp 0x10ab72
0010ab60
0010ab60camlVerb.fun_4983:
0010ab60lea r10, [rsp-328]
0010ab68cmp r10, [r14+40]
0010ab6cjb 0x10acb3
0010ab72
0010ab72loc_10ab72:
0010ab72sub rsp, 8
0010ab76mov [rsp], rbx
0010ab7alea rax, [rip+0x20be1f]
0010ab81mov rax, [rax+152]
0010ab88mov rdi, [rbx+24]
0010ab8cmov [rax], rdi
0010ab8fsub r15, 32
0010ab93cmp r15, [r14]
0010ab96jb 0x10aca9
0010ab9c
0010ab9cloc_10ab9c:
0010ab9clea rsi, [r15+8]
0010aba0mov [rsi-8], 3319
0010aba8lea rax, [rip+289]
0010abafmov [rsi], rax
0010abb2mov rax, 0x100000000000005
0010abbcmov [rsi+8], rax
0010abc0mov rax, [rbx+40]
0010abc4mov [rsi+16], rax
0010abc8mov rax, [rbx+32]
0010abccmov rdi, [rax+160]
0010abd3lea rax, [rip+0x1742be]
0010abdamov rbx, rsi
0010abddcall caml_apply2
0010abe2sub r15, 40
0010abe6cmp r15, [r14]
0010abe9jb 0x10ac9f
0010abef
0010abefloc_10abef:
0010abeflea rbx, [r15+8]
0010abf3mov [rbx-8], 4343
0010abfblea rax, [rip+462]
0010ac02mov [rbx], rax
0010ac05mov rax, 0x100000000000005
0010ac0fmov [rbx+8], rax
0010ac13mov rdi, [rsp]
0010ac17mov rax, [rdi+16]
0010ac1bmov [rbx+16], rax
0010ac1fmov rax, [rdi+40]
0010ac23mov [rbx+24], rax
0010ac27mov rax, [rdi+32]
0010ac2bmov rdi, [rax+160]
0010ac32lea rax, [rip+0x17420f]
0010ac39call caml_apply2
0010ac3esub r15, 32
0010ac42cmp r15, [r14]
0010ac45jb 0x10ac98
0010ac47
0010ac47loc_10ac47:
0010ac47lea rbx, [r15+8]
0010ac4bmov [rbx-8], 3319
0010ac53lea rax, [rip+486]
0010ac5amov [rbx], rax
0010ac5dmov rax, 0x100000000000005
0010ac67mov [rbx+8], rax
0010ac6bmov rdi, [rsp]
0010ac6fmov rax, [rdi+40]
0010ac73mov [rbx+16], rax
0010ac77mov rax, [rdi+32]
0010ac7bmov rdi, [rax+160]
0010ac82lea rax, [rip+0x1741a7]
0010ac89call caml_apply2
0010ac8emov eax, 1
0010ac93add rsp, 8
0010ac97ret
0010ac98
0010ac98loc_10ac98:
0010ac98call caml_call_gc
0010ac9djmp 0x10ac47
0010ac9f
0010ac9floc_10ac9f:
0010ac9fcall caml_call_gc
0010aca4jmp 0x10abef
0010aca9
0010aca9loc_10aca9:
0010aca9call caml_call_gc
0010acaejmp 0x10ab9c
0010acb3
0010acb3loc_10acb3:
0010acb3push 34
0010acb5call caml_call_realloc_stack
0010acbapop r10
0010acbcjmp 0x10ab72
0010ab60
0010acc1
0010acc1 // align 0x10
0010acc1 // align 0x10
0010acd0
0010acd0camlVerb.fun_4999:
0010acd0lea r10, [rsp-336]
0010acd8cmp r10, [r14+40]
0010acdcjb 0x10adb6
0010ace2
0010ace2loc_10ace2:
0010ace2sub rsp, 16
0010ace6mov [rsp+8], rbx
0010acebcmp r15, [r14]
0010aceejbe 0x10adac
0010acf4
0010acf4loc_10acf4:
0010acf4call camlLexstate.save_arg_1030
0010acf9mov rbx, rax
0010acfcmov eax, 1
0010ad01call camlSubst.do_do_subst_this_697
0010ad06mov [rsp], rax
0010ad0amov rax, [rsp+8]
0010ad0fmov rax, [rax+16]
0010ad13mov rbx, [rax+328]
0010ad1alea rax, [rip+0x17415f]
0010ad21mov rdi, [rbx]
0010ad24call rdi
0010ad26mov rax, [rsp+8]
0010ad2bmov rax, [rax+16]
0010ad2fmov rbx, [rax+56]
0010ad33mov eax, 1
0010ad38mov rdi, [rbx]
0010ad3bcall rdi
0010ad3dmov rax, [rsp+8]
0010ad42mov rax, [rax+16]
0010ad46mov rbx, [rax+352]
0010ad4dlea rax, [rip+0x17411c]
0010ad54mov rdi, [rbx]
0010ad57call rdi
0010ad59mov rax, [rsp+8]
0010ad5emov rax, [rax+16]
0010ad62mov rbx, [rax+352]
0010ad69mov rdi, [rbx]
0010ad6cmov rax, [rsp]
0010ad70call rdi
0010ad72mov rax, [rsp+8]
0010ad77mov rax, [rax+16]
0010ad7bmov rbx, [rax+352]
0010ad82lea rax, [rip+0x1740d7]
0010ad89mov rdi, [rbx]
0010ad8ccall rdi
0010ad8emov rax, [rsp+8]
0010ad93mov rax, [rax+16]
0010ad97mov rbx, [rax+344]
0010ad9emov eax, 1
0010ada3mov rdi, [rbx]
0010ada6add rsp, 16
0010adaajmp rdi
0010adac
0010adacloc_10adac:
0010adaccall caml_call_gc
0010adb1jmp 0x10acf4
0010adb6
0010adb6loc_10adb6:
0010adb6push 35
0010adb8call caml_call_realloc_stack
0010adbdpop r10
0010adbfjmp 0x10ace2
0010acd0
0010acd0camlVerb.fun_4999:
0010acd0lea r10, [rsp-336]
0010acd8cmp r10, [r14+40]
0010acdcjb 0x10adb6
0010ace2
0010ace2loc_10ace2:
0010ace2sub rsp, 16
0010ace6mov [rsp+8], rbx
0010acebcmp r15, [r14]
0010aceejbe 0x10adac
0010acf4
0010acf4loc_10acf4:
0010acf4call camlLexstate.save_arg_1030
0010acf9mov rbx, rax
0010acfcmov eax, 1
0010ad01call camlSubst.do_do_subst_this_697
0010ad06mov [rsp], rax
0010ad0amov rax, [rsp+8]
0010ad0fmov rax, [rax+16]
0010ad13mov rbx, [rax+328]
0010ad1alea rax, [rip+0x17415f]
0010ad21mov rdi, [rbx]
0010ad24call rdi
0010ad26mov rax, [rsp+8]
0010ad2bmov rax, [rax+16]
0010ad2fmov rbx, [rax+56]
0010ad33mov eax, 1
0010ad38mov rdi, [rbx]
0010ad3bcall rdi
0010ad3dmov rax, [rsp+8]
0010ad42mov rax, [rax+16]
0010ad46mov rbx, [rax+352]
0010ad4dlea rax, [rip+0x17411c]
0010ad54mov rdi, [rbx]
0010ad57call rdi
0010ad59mov rax, [rsp+8]
0010ad5emov rax, [rax+16]
0010ad62mov rbx, [rax+352]
0010ad69mov rdi, [rbx]
0010ad6cmov rax, [rsp]
0010ad70call rdi
0010ad72mov rax, [rsp+8]
0010ad77mov rax, [rax+16]
0010ad7bmov rbx, [rax+352]
0010ad82lea rax, [rip+0x1740d7]
0010ad89mov rdi, [rbx]
0010ad8ccall rdi
0010ad8emov rax, [rsp+8]
0010ad93mov rax, [rax+16]
0010ad97mov rbx, [rax+344]
0010ad9emov eax, 1
0010ada3mov rdi, [rbx]
0010ada6add rsp, 16
0010adaajmp rdi
0010adac
0010adacloc_10adac:
0010adaccall caml_call_gc
0010adb1jmp 0x10acf4
0010adb6
0010adb6loc_10adb6:
0010adb6push 35
0010adb8call caml_call_realloc_stack
0010adbdpop r10
0010adbfjmp 0x10ace2
0010acd0
0010adc4
0010adc4 // align 0x10
0010adc4 // align 0x10
0010add0
0010add0camlVerb.fun_5004:
0010add0lea r10, [rsp-336]
0010add8cmp r10, [r14+40]
0010addcjb 0x10ae2e
0010adde
0010addeloc_10adde:
0010addesub rsp, 16
0010ade2mov [rsp+8], rax
0010ade7mov [rsp], rbx
0010adebmov rax, [rbx+24]
0010adefmov rbx, [rax+328]
0010adf6lea rax, [rip+0x174083]
0010adfdmov rdi, [rbx]
0010ae00call rdi
0010ae02mov rax, [rsp]
0010ae06mov rax, [rax+24]
0010ae0amov rbx, [rax+56]
0010ae0emov eax, 1
0010ae13mov rdi, [rbx]
0010ae16call rdi
0010ae18mov rax, [rsp]
0010ae1cmov rbx, [rax+16]
0010ae20mov rax, [rsp+8]
0010ae25add rsp, 16
0010ae29jmp 0x1054b0
0010ae2e
0010ae2eloc_10ae2e:
0010ae2epush 35
0010ae30call caml_call_realloc_stack
0010ae35pop r10
0010ae37jmp 0x10adde
0010add0
0010add0camlVerb.fun_5004:
0010add0lea r10, [rsp-336]
0010add8cmp r10, [r14+40]
0010addcjb 0x10ae2e
0010adde
0010addeloc_10adde:
0010addesub rsp, 16
0010ade2mov [rsp+8], rax
0010ade7mov [rsp], rbx
0010adebmov rax, [rbx+24]
0010adefmov rbx, [rax+328]
0010adf6lea rax, [rip+0x174083]
0010adfdmov rdi, [rbx]
0010ae00call rdi
0010ae02mov rax, [rsp]
0010ae06mov rax, [rax+24]
0010ae0amov rbx, [rax+56]
0010ae0emov eax, 1
0010ae13mov rdi, [rbx]
0010ae16call rdi
0010ae18mov rax, [rsp]
0010ae1cmov rbx, [rax+16]
0010ae20mov rax, [rsp+8]
0010ae25add rsp, 16
0010ae29jmp 0x1054b0
0010ae2e
0010ae2eloc_10ae2e:
0010ae2epush 35
0010ae30call caml_call_realloc_stack
0010ae35pop r10
0010ae37jmp 0x10adde
0010add0
0010ae39
0010ae39 // align 0x10
0010ae39 // align 0x10
0010ae40
0010ae40camlVerb.fun_5009:
0010ae40cmp r15, [r14]
0010ae43jbe 0x10ae5a
0010ae45
0010ae45loc_10ae45:
0010ae45mov rax, [rbx+16]
0010ae49mov rbx, [rax+344]
0010ae50mov eax, 1
0010ae55mov rdi, [rbx]
0010ae58jmp rdi
0010ae5a
0010ae5aloc_10ae5a:
0010ae5acall caml_call_gc
0010ae5fjmp 0x10ae45
0010ae40
0010ae40camlVerb.fun_5009:
0010ae40cmp r15, [r14]
0010ae43jbe 0x10ae5a
0010ae45
0010ae45loc_10ae45:
0010ae45mov rax, [rbx+16]
0010ae49mov rbx, [rax+344]
0010ae50mov eax, 1
0010ae55mov rdi, [rbx]
0010ae58jmp rdi
0010ae5a
0010ae5aloc_10ae5a:
0010ae5acall caml_call_gc
0010ae5fjmp 0x10ae45
0010ae40
0010ae61
0010ae61 // align 0x10
0010ae61 // align 0x10
0010ae70
0010ae70camlVerb.fun_5012:
0010ae70lea r10, [rsp-416]
0010ae78cmp r10, [r14+40]
0010ae7cjb 0x10b0ad
0010ae82
0010ae82loc_10ae82:
0010ae82sub rsp, 64
0010ae86mov [rsp], rax
0010ae8amov [rsp+40], rbx
0010ae8fcall camlLexstate.save_arg_1030
0010ae94mov [rsp+56], rax
0010ae99mov rax, [rsp+40]
0010ae9emov rax, [rax+24]
0010aea2mov rbx, [rax+224]
0010aea9mov rdi, [rbx]
0010aeacmov rax, [rsp]
0010aeb0call rdi
0010aeb2mov [rsp+8], rax
0010aeb7mov rax, [rsp]
0010aebbcall camlLexstate.save_arg_1030
0010aec0mov [rsp+32], rax
0010aec5lea r11, [rip+392]
0010aeccpush r11
0010aecepush [r14+48]
0010aed2mov [r14+48], rsp
0010aed6mov rax, [rsp+24]
0010aedbcall camlMyfiles.open_tex_528
0010aee0mov rbx, [rax+8]
0010aee4mov [rsp+40], rbx
0010aee9mov rbx, [rax]
0010aeecmov [rsp+16], rbx
0010aef1lea rax, [rip+0x21f178]
0010aef8mov rax, [rax+80]
0010aefcmov rax, [rax]
0010aeffcmp rax, 1
0010af03jle 0x10af16
0010af05lea rax, [rip+0x173eac]
0010af0ccall camlStdlib.$5e_139
0010af11call camlMisc.message_307
0010af16
0010af16loc_10af16:
0010af16mov eax, 1
0010af1bmov rbx, [rsp+40]
0010af20call Stdlib.Lexing.from_channel
0010af25mov [rsp+64], rax
0010af2amov eax, 1
0010af2fcall camlLexstate.start_lexstate_907
0010af34mov rax, [rsp+56]
0010af39mov rax, [rax+16]
0010af3dmov rax, [rax]
0010af40mov [rsp+32], rax
0010af45cmp rax, 1
0010af49je 0x10af57
0010af4blea rax, [rip+0x173e46]
0010af52call camlMisc.warning_287
0010af57
0010af57loc_10af57:
0010af57mov rax, [rsp+56]
0010af5cmov rax, [rax+16]
0010af60mov [rax], 3
0010af67mov rax, [rsp+16]
0010af6cmov rbx, [rsp+64]
0010af71call camlLocation.set_382
0010af76lea r11, [rip+83]
0010af7dpush r11
0010af7fpush [r14+48]
0010af83mov [r14+48], rsp
0010af87mov rax, [rsp+64]
0010af8cmov rax, [rax]
0010af8fcall camlMyLexing.from_string_309
0010af94mov rbx, [rsp+64]
0010af99mov rbx, [rbx+8]
0010af9dcall camlLexstate.record_lexbuf_869
0010afa2mov edi, 1
0010afa7mov rax, [rsp+72]
0010afacmov rax, [rax+24]
0010afb0mov rax, [rax+24]
0010afb4mov rbx, [rsp+80]
0010afb9mov rsi, [rsp+88]
0010afbecall camlLexstate.scan_this_may_cont_1215
0010afc3pop [r14+48]
0010afc7add rsp, 8
0010afcbjmp 0x10b00c
0010afcdnop [rax]
0010afd0mov [rsp+16], rax
0010afd5mov eax, 1
0010afdacall camlLexstate.restore_lexstate_882
0010afdfmov eax, 1
0010afe4call camlLocation.restore_386
0010afe9mov rdi, [rsp+40]
0010afeelea rax, [rip+0x104a5b]
0010aff5call caml_c_call
0010affamov rax, [rsp+16]
0010afffmov rsp, [r14+48]
0010b003pop [r14+48]
0010b007pop r11
0010b009jmp r11
0010b00c
0010b00cloc_10b00c:
0010b00cmov eax, 1
0010b011call camlLexstate.restore_lexstate_882
0010b016mov eax, 1
0010b01bcall camlLocation.restore_386
0010b020mov rdi, [rsp+40]
0010b025lea rax, [rip+0x104a24]
0010b02ccall caml_c_call
0010b031mov rax, [rsp+56]
0010b036mov rax, [rax+16]
0010b03amov rbx, [rsp+32]
0010b03fmov [rax], rbx
0010b042mov eax, 1
0010b047pop [r14+48]
0010b04badd rsp, 8
0010b04fjmp 0x10b0a8
0010b051nop [rax]
0010b054lea rbx, [rip+0x216c05]
0010b05bmov rdi, [rbx+8]
0010b05fcmp rax, rdi
0010b062jne 0x10b080
0010b064lea rax, [rip+0x173d0d]
0010b06bmov rbx, [rsp+8]
0010b070call camlStdlib.$5e_139
0010b075add rsp, 64
0010b079jmp 0x1919c0
0010b07enop
0010b080
0010b080loc_10b080:
0010b080mov rbx, [rbx]
0010b083mov rdi, [rax]
0010b086cmp rdi, rbx
0010b089jne 0x10b098
0010b08bmov rax, [rax+8]
0010b08fadd rsp, 64
0010b093jmp 0x1919c0
0010b098
0010b098loc_10b098:
0010b098mov rsp, [r14+48]
0010b09cpop [r14+48]
0010b0a0pop r11
0010b0a2jmp r11
0010b0a5nop [rax]
0010b0a8
0010b0a8loc_10b0a8:
0010b0a8add rsp, 64
0010b0acret
0010b0ad
0010b0adloc_10b0ad:
0010b0adpush 45
0010b0afcall caml_call_realloc_stack
0010b0b4pop r10
0010b0b6jmp 0x10ae82
0010ae70
0010ae70camlVerb.fun_5012:
0010ae70lea r10, [rsp-416]
0010ae78cmp r10, [r14+40]
0010ae7cjb 0x10b0ad
0010ae82
0010ae82loc_10ae82:
0010ae82sub rsp, 64
0010ae86mov [rsp], rax
0010ae8amov [rsp+40], rbx
0010ae8fcall camlLexstate.save_arg_1030
0010ae94mov [rsp+56], rax
0010ae99mov rax, [rsp+40]
0010ae9emov rax, [rax+24]
0010aea2mov rbx, [rax+224]
0010aea9mov rdi, [rbx]
0010aeacmov rax, [rsp]
0010aeb0call rdi
0010aeb2mov [rsp+8], rax
0010aeb7mov rax, [rsp]
0010aebbcall camlLexstate.save_arg_1030
0010aec0mov [rsp+32], rax
0010aec5lea r11, [rip+392]
0010aeccpush r11
0010aecepush [r14+48]
0010aed2mov [r14+48], rsp
0010aed6mov rax, [rsp+24]
0010aedbcall camlMyfiles.open_tex_528
0010aee0mov rbx, [rax+8]
0010aee4mov [rsp+40], rbx
0010aee9mov rbx, [rax]
0010aeecmov [rsp+16], rbx
0010aef1lea rax, [rip+0x21f178]
0010aef8mov rax, [rax+80]
0010aefcmov rax, [rax]
0010aeffcmp rax, 1
0010af03jle 0x10af16
0010af05lea rax, [rip+0x173eac]
0010af0ccall camlStdlib.$5e_139
0010af11call camlMisc.message_307
0010af16
0010af16loc_10af16:
0010af16mov eax, 1
0010af1bmov rbx, [rsp+40]
0010af20call Stdlib.Lexing.from_channel
0010af25mov [rsp+64], rax
0010af2amov eax, 1
0010af2fcall camlLexstate.start_lexstate_907
0010af34mov rax, [rsp+56]
0010af39mov rax, [rax+16]
0010af3dmov rax, [rax]
0010af40mov [rsp+32], rax
0010af45cmp rax, 1
0010af49je 0x10af57
0010af4blea rax, [rip+0x173e46]
0010af52call camlMisc.warning_287
0010af57
0010af57loc_10af57:
0010af57mov rax, [rsp+56]
0010af5cmov rax, [rax+16]
0010af60mov [rax], 3
0010af67mov rax, [rsp+16]
0010af6cmov rbx, [rsp+64]
0010af71call camlLocation.set_382
0010af76lea r11, [rip+83]
0010af7dpush r11
0010af7fpush [r14+48]
0010af83mov [r14+48], rsp
0010af87mov rax, [rsp+64]
0010af8cmov rax, [rax]
0010af8fcall camlMyLexing.from_string_309
0010af94mov rbx, [rsp+64]
0010af99mov rbx, [rbx+8]
0010af9dcall camlLexstate.record_lexbuf_869
0010afa2mov edi, 1
0010afa7mov rax, [rsp+72]
0010afacmov rax, [rax+24]
0010afb0mov rax, [rax+24]
0010afb4mov rbx, [rsp+80]
0010afb9mov rsi, [rsp+88]
0010afbecall camlLexstate.scan_this_may_cont_1215
0010afc3pop [r14+48]
0010afc7add rsp, 8
0010afcbjmp 0x10b00c
0010afcdnop [rax]
0010afd0mov [rsp+16], rax
0010afd5mov eax, 1
0010afdacall camlLexstate.restore_lexstate_882
0010afdfmov eax, 1
0010afe4call camlLocation.restore_386
0010afe9mov rdi, [rsp+40]
0010afeelea rax, [rip+0x104a5b]
0010aff5call caml_c_call
0010affamov rax, [rsp+16]
0010afffmov rsp, [r14+48]
0010b003pop [r14+48]
0010b007pop r11
0010b009jmp r11
0010b00c
0010b00cloc_10b00c:
0010b00cmov eax, 1
0010b011call camlLexstate.restore_lexstate_882
0010b016mov eax, 1
0010b01bcall camlLocation.restore_386
0010b020mov rdi, [rsp+40]
0010b025lea rax, [rip+0x104a24]
0010b02ccall caml_c_call
0010b031mov rax, [rsp+56]
0010b036mov rax, [rax+16]
0010b03amov rbx, [rsp+32]
0010b03fmov [rax], rbx
0010b042mov eax, 1
0010b047pop [r14+48]
0010b04badd rsp, 8
0010b04fjmp 0x10b0a8
0010b051nop [rax]
0010b054lea rbx, [rip+0x216c05]
0010b05bmov rdi, [rbx+8]
0010b05fcmp rax, rdi
0010b062jne 0x10b080
0010b064lea rax, [rip+0x173d0d]
0010b06bmov rbx, [rsp+8]
0010b070call camlStdlib.$5e_139
0010b075add rsp, 64
0010b079jmp 0x1919c0
0010b07enop
0010b080
0010b080loc_10b080:
0010b080mov rbx, [rbx]
0010b083mov rdi, [rax]
0010b086cmp rdi, rbx
0010b089jne 0x10b098
0010b08bmov rax, [rax+8]
0010b08fadd rsp, 64
0010b093jmp 0x1919c0
0010b098
0010b098loc_10b098:
0010b098mov rsp, [r14+48]
0010b09cpop [r14+48]
0010b0a0pop r11
0010b0a2jmp r11
0010b0a5nop [rax]
0010b0a8
0010b0a8loc_10b0a8:
0010b0a8add rsp, 64
0010b0acret
0010b0ad
0010b0adloc_10b0ad:
0010b0adpush 45
0010b0afcall caml_call_realloc_stack
0010b0b4pop r10
0010b0b6jmp 0x10ae82
0010ae70
0010b0bb
0010b0bb // align 0x10
0010b0bb // align 0x10
Loading..