File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001de100
001de100Stdlib.In_channel.input_lines:
001de100lea r10, [rsp-352]
001de108cmp r10, [r14+40]
001de10cjb 0x1de1a7
001de112
001de112loc_1de112:
001de112sub rsp, 16
001de116mov [rsp], rax
001de11alea r11, [rip+27]
001de121push r11
001de123push [r14+48]
001de127mov [r14+48], rsp
001de12bcall camlStdlib.input_line_326
001de130pop [r14+48]
001de134add rsp, 8
001de138jmp 0x1de160
001de13a
001de13a 66 90 f.
001de13clea rbx, [rip+0x14f4d5]
001de143mov rbx, [rbx+88]
001de147cmp rax, rbx
001de14ajne 0x1de158
001de14cmov eax, 1
001de151add rsp, 16
001de155ret
001de156
001de156 66 90 f.
001de158
001de158loc_1de158:
001de158call caml_reraise_exn
001de15dnop [rax]
001de160
001de160loc_1de160:
001de160sub r15, 24
001de164cmp r15, [r14]
001de167jb 0x1de1a0
001de169
001de169loc_1de169:
001de169lea rdi, [r15+8]
001de16dmov [rsp+8], rdi
001de172mov [rdi-8], 2048
001de17amov [rdi], rax
001de17dmov [rdi+8], 48059
001de185mov ebx, 3
001de18amov rax, rdi
001de18dmov rdi, [rsp]
001de191call Stdlib.In_channel.input_lines_dps
001de196mov rax, [rsp+8]
001de19badd rsp, 16
001de19fret
001de1a0
001de1a0loc_1de1a0:
001de1a0call caml_call_gc
001de1a5jmp 0x1de169
001de1a7
001de1a7loc_1de1a7:
001de1a7push 37
001de1a9call caml_call_realloc_stack
001de1aepop r10
001de1b0jmp 0x1de112
001de100
001de100Stdlib.In_channel.input_lines:
001de100lea r10, [rsp-352]
001de108cmp r10, [r14+40]
001de10cjb 0x1de1a7
001de112
001de112loc_1de112:
001de112sub rsp, 16
001de116mov [rsp], rax
001de11alea r11, [rip+27]
001de121push r11
001de123push [r14+48]
001de127mov [r14+48], rsp
001de12bcall camlStdlib.input_line_326
001de130pop [r14+48]
001de134add rsp, 8
001de138jmp 0x1de160
001de13a
001de13a 66 90 f.
001de13clea rbx, [rip+0x14f4d5]
001de143mov rbx, [rbx+88]
001de147cmp rax, rbx
001de14ajne 0x1de158
001de14cmov eax, 1
001de151add rsp, 16
001de155ret
001de156
001de156 66 90 f.
001de158
001de158loc_1de158:
001de158call caml_reraise_exn
001de15dnop [rax]
001de160
001de160loc_1de160:
001de160sub r15, 24
001de164cmp r15, [r14]
001de167jb 0x1de1a0
001de169
001de169loc_1de169:
001de169lea rdi, [r15+8]
001de16dmov [rsp+8], rdi
001de172mov [rdi-8], 2048
001de17amov [rdi], rax
001de17dmov [rdi+8], 48059
001de185mov ebx, 3
001de18amov rax, rdi
001de18dmov rdi, [rsp]
001de191call Stdlib.In_channel.input_lines_dps
001de196mov rax, [rsp+8]
001de19badd rsp, 16
001de19fret
001de1a0
001de1a0loc_1de1a0:
001de1a0call caml_call_gc
001de1a5jmp 0x1de169
001de1a7
001de1a7loc_1de1a7:
001de1a7push 37
001de1a9call caml_call_realloc_stack
001de1aepop r10
001de1b0jmp 0x1de112
001de100
001de1b5
001de1b5 // align 0x10
001de1b5 // align 0x10
001de1c0
001de1c0Stdlib.In_channel.fold_lines:
001de1c0lea r10, [rsp-360]
001de1c8cmp r10, [r14+40]
001de1ccjb 0x1de257
001de1d2
001de1d2loc_1de1d2:
001de1d2sub rsp, 24
001de1d6
001de1d6loc_1de1d6:
001de1d6mov [rsp], rax
001de1damov [rsp+16], rbx
001de1dfmov rax, rdi
001de1e2mov [rsp+8], rax
001de1e7cmp r15, [r14]
001de1eajbe 0x1de250
001de1ec
001de1ecloc_1de1ec:
001de1eclea r11, [rip+29]
001de1f3push r11
001de1f5push [r14+48]
001de1f9mov [r14+48], rsp
001de1fdcall camlStdlib.input_line_326
001de202mov rbx, rax
001de205pop [r14+48]
001de209add rsp, 8
001de20djmp 0x1de234
001de20f
001de20f 90 .
001de210lea rbx, [rip+0x14f401]
001de217mov rbx, [rbx+88]
001de21bcmp rax, rbx
001de21ejne 0x1de22c
001de220mov rax, [rsp+16]
001de225add rsp, 24
001de229ret
001de22a
001de22a 66 90 f.
001de22c
001de22cloc_1de22c:
001de22ccall caml_reraise_exn
001de231nop [rax]
001de234
001de234loc_1de234:
001de234mov rax, [rsp+16]
001de239mov rdi, [rsp]
001de23dcall caml_apply2
001de242mov rbx, rax
001de245mov rax, [rsp]
001de249mov rdi, [rsp+8]
001de24ejmp 0x1de1d6
001de250
001de250loc_1de250:
001de250call caml_call_gc
001de255jmp 0x1de1ec
001de257
001de257loc_1de257:
001de257push 38
001de259call caml_call_realloc_stack
001de25epop r10
001de260jmp 0x1de1d2
001de1c0
001de1c0Stdlib.In_channel.fold_lines:
001de1c0lea r10, [rsp-360]
001de1c8cmp r10, [r14+40]
001de1ccjb 0x1de257
001de1d2
001de1d2loc_1de1d2:
001de1d2sub rsp, 24
001de1d6
001de1d6loc_1de1d6:
001de1d6mov [rsp], rax
001de1damov [rsp+16], rbx
001de1dfmov rax, rdi
001de1e2mov [rsp+8], rax
001de1e7cmp r15, [r14]
001de1eajbe 0x1de250
001de1ec
001de1ecloc_1de1ec:
001de1eclea r11, [rip+29]
001de1f3push r11
001de1f5push [r14+48]
001de1f9mov [r14+48], rsp
001de1fdcall camlStdlib.input_line_326
001de202mov rbx, rax
001de205pop [r14+48]
001de209add rsp, 8
001de20djmp 0x1de234
001de20f
001de20f 90 .
001de210lea rbx, [rip+0x14f401]
001de217mov rbx, [rbx+88]
001de21bcmp rax, rbx
001de21ejne 0x1de22c
001de220mov rax, [rsp+16]
001de225add rsp, 24
001de229ret
001de22a
001de22a 66 90 f.
001de22c
001de22cloc_1de22c:
001de22ccall caml_reraise_exn
001de231nop [rax]
001de234
001de234loc_1de234:
001de234mov rax, [rsp+16]
001de239mov rdi, [rsp]
001de23dcall caml_apply2
001de242mov rbx, rax
001de245mov rax, [rsp]
001de249mov rdi, [rsp+8]
001de24ejmp 0x1de1d6
001de250
001de250loc_1de250:
001de250call caml_call_gc
001de255jmp 0x1de1ec
001de257
001de257loc_1de257:
001de257push 38
001de259call caml_call_realloc_stack
001de25epop r10
001de260jmp 0x1de1d2
001de1c0
001de265
001de265 // align 0x10
001de265 // align 0x10
001de270
001de270Stdlib.In_channel.entry:
001de270lea rsi, [rip+0x185851]
001de277lea rdi, [rip+0x1859e2]
001de27eadd rdi, 200
001de285mov rbx, rsp
001de288mov rsp, [r14+64]
001de28ccall caml_initialize
001de291mov rsp, rbx
001de294lea rsi, [rip+0x185845]
001de29blea rdi, [rip+0x1859be]
001de2a2add rdi, 192
001de2a9mov rbx, rsp
001de2acmov rsp, [r14+64]
001de2b0call caml_initialize
001de2b5mov rsp, rbx
001de2b8lea rax, [rip+0x14f359]
001de2bfmov rsi, [rax+296]
001de2c6lea rdi, [rip+0x185993]
001de2cdmov rbx, rsp
001de2d0mov rsp, [r14+64]
001de2d4call caml_initialize
001de2d9mov rsp, rbx
001de2dclea rax, [rip+0x14f335]
001de2e3mov rsi, [rax+632]
001de2ealea rdi, [rip+0x18596f]
001de2f1add rdi, 8
001de2f5mov rbx, rsp
001de2f8mov rsp, [r14+64]
001de2fccall caml_initialize
001de301mov rsp, rbx
001de304lea rax, [rip+0x14f30d]
001de30bmov rsi, [rax+624]
001de312lea rdi, [rip+0x185947]
001de319add rdi, 16
001de31dmov rbx, rsp
001de320mov rsp, [r14+64]
001de324call caml_initialize
001de329mov rsp, rbx
001de32clea rax, [rip+0x14f2e5]
001de333mov rsi, [rax+640]
001de33alea rdi, [rip+0x18591f]
001de341add rdi, 24
001de345mov rbx, rsp
001de348mov rsp, [r14+64]
001de34ccall caml_initialize
001de351mov rsp, rbx
001de354lea rsi, [rip+0x18579d]
001de35blea rdi, [rip+0x1858fe]
001de362add rdi, 208
001de369mov rbx, rsp
001de36cmov rsp, [r14+64]
001de370call caml_initialize
001de375mov rsp, rbx
001de378lea rsi, [rip+0x185799]
001de37flea rdi, [rip+0x1858da]
001de386add rdi, 32
001de38amov rbx, rsp
001de38dmov rsp, [r14+64]
001de391call caml_initialize
001de396mov rsp, rbx
001de399lea rsi, [rip+0x185798]
001de3a0lea rdi, [rip+0x1858b9]
001de3a7add rdi, 40
001de3abmov rbx, rsp
001de3aemov rsp, [r14+64]
001de3b2call caml_initialize
001de3b7mov rsp, rbx
001de3balea rsi, [rip+0x185797]
001de3c1lea rdi, [rip+0x185898]
001de3c8add rdi, 48
001de3ccmov rbx, rsp
001de3cfmov rsp, [r14+64]
001de3d3call caml_initialize
001de3d8mov rsp, rbx
001de3dblea rax, [rip+0x14f236]
001de3e2mov rax, [rax+760]
001de3e9mov rsi, [rax+24]
001de3edlea rdi, [rip+0x18586c]
001de3f4add rdi, 160
001de3fbmov rbx, rsp
001de3femov rsp, [r14+64]
001de402call caml_initialize
001de407mov rsp, rbx
001de40alea rax, [rip+0x14f207]
001de411mov rax, [rax+760]
001de418mov rsi, [rax+32]
001de41clea rdi, [rip+0x18583d]
001de423add rdi, 168
001de42amov rbx, rsp
001de42dmov rsp, [r14+64]
001de431call caml_initialize
001de436mov rsp, rbx
001de439lea rax, [rip+0x14f1d8]
001de440mov rax, [rax+760]
001de447mov rsi, [rax+40]
001de44blea rdi, [rip+0x18580e]
001de452add rdi, 176
001de459mov rbx, rsp
001de45cmov rsp, [r14+64]
001de460call caml_initialize
001de465mov rsp, rbx
001de468lea rax, [rip+0x14f1a9]
001de46fmov rsi, [rax+736]
001de476lea rdi, [rip+0x1857e3]
001de47dadd rdi, 56
001de481mov rbx, rsp
001de484mov rsp, [r14+64]
001de488call caml_initialize
001de48dmov rsp, rbx
001de490lea rax, [rip+0x14f181]
001de497mov rsi, [rax+744]
001de49elea rdi, [rip+0x1857bb]
001de4a5add rdi, 64
001de4a9mov rbx, rsp
001de4acmov rsp, [r14+64]
001de4b0call caml_initialize
001de4b5mov rsp, rbx
001de4b8lea rsi, [rip+0x1856b9]
001de4bflea rdi, [rip+0x18579a]
001de4c6add rdi, 72
001de4camov rbx, rsp
001de4cdmov rsp, [r14+64]
001de4d1call caml_initialize
001de4d6mov rsp, rbx
001de4d9lea rsi, [rip+0x1856b0]
001de4e0lea rdi, [rip+0x185779]
001de4e7add rdi, 80
001de4ebmov rbx, rsp
001de4eemov rsp, [r14+64]
001de4f2call caml_initialize
001de4f7mov rsp, rbx
001de4falea rsi, [rip+0x1856a7]
001de501lea rdi, [rip+0x185758]
001de508add rdi, 88
001de50cmov rbx, rsp
001de50fmov rsp, [r14+64]
001de513call caml_initialize
001de518mov rsp, rbx
001de51blea rax, [rip+0x14f0f6]
001de522mov rsi, [rax+664]
001de529lea rdi, [rip+0x185730]
001de530add rdi, 120
001de534mov rbx, rsp
001de537mov rsp, [r14+64]
001de53bcall caml_initialize
001de540mov rsp, rbx
001de543lea rsi, [rip+0x185676]
001de54alea rdi, [rip+0x18570f]
001de551add rdi, 128
001de558mov rbx, rsp
001de55bmov rsp, [r14+64]
001de55fcall caml_initialize
001de564mov rsp, rbx
001de567lea rsi, [rip+0x185672]
001de56elea rdi, [rip+0x1856eb]
001de575add rdi, 136
001de57cmov rbx, rsp
001de57fmov rsp, [r14+64]
001de583call caml_initialize
001de588mov rsp, rbx
001de58blea rsi, [rip+0x18566e]
001de592lea rdi, [rip+0x1856c7]
001de599add rdi, 216
001de5a0mov rbx, rsp
001de5a3mov rsp, [r14+64]
001de5a7call caml_initialize
001de5acmov rsp, rbx
001de5aflea rsi, [rip+0x18566a]
001de5b6lea rdi, [rip+0x1856a3]
001de5bdadd rdi, 144
001de5c4mov rbx, rsp
001de5c7mov rsp, [r14+64]
001de5cbcall caml_initialize
001de5d0mov rsp, rbx
001de5d3lea rsi, [rip+0x185666]
001de5dalea rdi, [rip+0x18567f]
001de5e1add rdi, 96
001de5e5mov rbx, rsp
001de5e8mov rsp, [r14+64]
001de5eccall caml_initialize
001de5f1mov rsp, rbx
001de5f4lea rsi, [rip+0x18541d]
001de5fblea rdi, [rip+0x18565e]
001de602add rdi, 224
001de609mov rbx, rsp
001de60cmov rsp, [r14+64]
001de610call caml_initialize
001de615mov rsp, rbx
001de618lea rsi, [rip+0x185419]
001de61flea rdi, [rip+0x18563a]
001de626add rdi, 232
001de62dmov rbx, rsp
001de630mov rsp, [r14+64]
001de634call caml_initialize
001de639mov rsp, rbx
001de63clea rsi, [rip+0x185415]
001de643lea rdi, [rip+0x185616]
001de64aadd rdi, 104
001de64emov rbx, rsp
001de651mov rsp, [r14+64]
001de655call caml_initialize
001de65amov rsp, rbx
001de65dlea rsi, [rip+0x18540c]
001de664lea rdi, [rip+0x1855f5]
001de66badd rdi, 112
001de66fmov rbx, rsp
001de672mov rsp, [r14+64]
001de676call caml_initialize
001de67bmov rsp, rbx
001de67elea rsi, [rip+0x185423]
001de685lea rdi, [rip+0x1855d4]
001de68cadd rdi, 152
001de693mov rbx, rsp
001de696mov rsp, [r14+64]
001de69acall caml_initialize
001de69fmov rsp, rbx
001de6a2lea rax, [rip+0x14ef6f]
001de6a9mov rsi, [rax+752]
001de6b0lea rdi, [rip+0x1855a9]
001de6b7add rdi, 184
001de6bemov rbx, rsp
001de6c1mov rsp, [r14+64]
001de6c5call caml_initialize
001de6camov rsp, rbx
001de6cdmov eax, 1
001de6d2ret
001de270
001de270Stdlib.In_channel.entry:
001de270lea rsi, [rip+0x185851]
001de277lea rdi, [rip+0x1859e2]
001de27eadd rdi, 200
001de285mov rbx, rsp
001de288mov rsp, [r14+64]
001de28ccall caml_initialize
001de291mov rsp, rbx
001de294lea rsi, [rip+0x185845]
001de29blea rdi, [rip+0x1859be]
001de2a2add rdi, 192
001de2a9mov rbx, rsp
001de2acmov rsp, [r14+64]
001de2b0call caml_initialize
001de2b5mov rsp, rbx
001de2b8lea rax, [rip+0x14f359]
001de2bfmov rsi, [rax+296]
001de2c6lea rdi, [rip+0x185993]
001de2cdmov rbx, rsp
001de2d0mov rsp, [r14+64]
001de2d4call caml_initialize
001de2d9mov rsp, rbx
001de2dclea rax, [rip+0x14f335]
001de2e3mov rsi, [rax+632]
001de2ealea rdi, [rip+0x18596f]
001de2f1add rdi, 8
001de2f5mov rbx, rsp
001de2f8mov rsp, [r14+64]
001de2fccall caml_initialize
001de301mov rsp, rbx
001de304lea rax, [rip+0x14f30d]
001de30bmov rsi, [rax+624]
001de312lea rdi, [rip+0x185947]
001de319add rdi, 16
001de31dmov rbx, rsp
001de320mov rsp, [r14+64]
001de324call caml_initialize
001de329mov rsp, rbx
001de32clea rax, [rip+0x14f2e5]
001de333mov rsi, [rax+640]
001de33alea rdi, [rip+0x18591f]
001de341add rdi, 24
001de345mov rbx, rsp
001de348mov rsp, [r14+64]
001de34ccall caml_initialize
001de351mov rsp, rbx
001de354lea rsi, [rip+0x18579d]
001de35blea rdi, [rip+0x1858fe]
001de362add rdi, 208
001de369mov rbx, rsp
001de36cmov rsp, [r14+64]
001de370call caml_initialize
001de375mov rsp, rbx
001de378lea rsi, [rip+0x185799]
001de37flea rdi, [rip+0x1858da]
001de386add rdi, 32
001de38amov rbx, rsp
001de38dmov rsp, [r14+64]
001de391call caml_initialize
001de396mov rsp, rbx
001de399lea rsi, [rip+0x185798]
001de3a0lea rdi, [rip+0x1858b9]
001de3a7add rdi, 40
001de3abmov rbx, rsp
001de3aemov rsp, [r14+64]
001de3b2call caml_initialize
001de3b7mov rsp, rbx
001de3balea rsi, [rip+0x185797]
001de3c1lea rdi, [rip+0x185898]
001de3c8add rdi, 48
001de3ccmov rbx, rsp
001de3cfmov rsp, [r14+64]
001de3d3call caml_initialize
001de3d8mov rsp, rbx
001de3dblea rax, [rip+0x14f236]
001de3e2mov rax, [rax+760]
001de3e9mov rsi, [rax+24]
001de3edlea rdi, [rip+0x18586c]
001de3f4add rdi, 160
001de3fbmov rbx, rsp
001de3femov rsp, [r14+64]
001de402call caml_initialize
001de407mov rsp, rbx
001de40alea rax, [rip+0x14f207]
001de411mov rax, [rax+760]
001de418mov rsi, [rax+32]
001de41clea rdi, [rip+0x18583d]
001de423add rdi, 168
001de42amov rbx, rsp
001de42dmov rsp, [r14+64]
001de431call caml_initialize
001de436mov rsp, rbx
001de439lea rax, [rip+0x14f1d8]
001de440mov rax, [rax+760]
001de447mov rsi, [rax+40]
001de44blea rdi, [rip+0x18580e]
001de452add rdi, 176
001de459mov rbx, rsp
001de45cmov rsp, [r14+64]
001de460call caml_initialize
001de465mov rsp, rbx
001de468lea rax, [rip+0x14f1a9]
001de46fmov rsi, [rax+736]
001de476lea rdi, [rip+0x1857e3]
001de47dadd rdi, 56
001de481mov rbx, rsp
001de484mov rsp, [r14+64]
001de488call caml_initialize
001de48dmov rsp, rbx
001de490lea rax, [rip+0x14f181]
001de497mov rsi, [rax+744]
001de49elea rdi, [rip+0x1857bb]
001de4a5add rdi, 64
001de4a9mov rbx, rsp
001de4acmov rsp, [r14+64]
001de4b0call caml_initialize
001de4b5mov rsp, rbx
001de4b8lea rsi, [rip+0x1856b9]
001de4bflea rdi, [rip+0x18579a]
001de4c6add rdi, 72
001de4camov rbx, rsp
001de4cdmov rsp, [r14+64]
001de4d1call caml_initialize
001de4d6mov rsp, rbx
001de4d9lea rsi, [rip+0x1856b0]
001de4e0lea rdi, [rip+0x185779]
001de4e7add rdi, 80
001de4ebmov rbx, rsp
001de4eemov rsp, [r14+64]
001de4f2call caml_initialize
001de4f7mov rsp, rbx
001de4falea rsi, [rip+0x1856a7]
001de501lea rdi, [rip+0x185758]
001de508add rdi, 88
001de50cmov rbx, rsp
001de50fmov rsp, [r14+64]
001de513call caml_initialize
001de518mov rsp, rbx
001de51blea rax, [rip+0x14f0f6]
001de522mov rsi, [rax+664]
001de529lea rdi, [rip+0x185730]
001de530add rdi, 120
001de534mov rbx, rsp
001de537mov rsp, [r14+64]
001de53bcall caml_initialize
001de540mov rsp, rbx
001de543lea rsi, [rip+0x185676]
001de54alea rdi, [rip+0x18570f]
001de551add rdi, 128
001de558mov rbx, rsp
001de55bmov rsp, [r14+64]
001de55fcall caml_initialize
001de564mov rsp, rbx
001de567lea rsi, [rip+0x185672]
001de56elea rdi, [rip+0x1856eb]
001de575add rdi, 136
001de57cmov rbx, rsp
001de57fmov rsp, [r14+64]
001de583call caml_initialize
001de588mov rsp, rbx
001de58blea rsi, [rip+0x18566e]
001de592lea rdi, [rip+0x1856c7]
001de599add rdi, 216
001de5a0mov rbx, rsp
001de5a3mov rsp, [r14+64]
001de5a7call caml_initialize
001de5acmov rsp, rbx
001de5aflea rsi, [rip+0x18566a]
001de5b6lea rdi, [rip+0x1856a3]
001de5bdadd rdi, 144
001de5c4mov rbx, rsp
001de5c7mov rsp, [r14+64]
001de5cbcall caml_initialize
001de5d0mov rsp, rbx
001de5d3lea rsi, [rip+0x185666]
001de5dalea rdi, [rip+0x18567f]
001de5e1add rdi, 96
001de5e5mov rbx, rsp
001de5e8mov rsp, [r14+64]
001de5eccall caml_initialize
001de5f1mov rsp, rbx
001de5f4lea rsi, [rip+0x18541d]
001de5fblea rdi, [rip+0x18565e]
001de602add rdi, 224
001de609mov rbx, rsp
001de60cmov rsp, [r14+64]
001de610call caml_initialize
001de615mov rsp, rbx
001de618lea rsi, [rip+0x185419]
001de61flea rdi, [rip+0x18563a]
001de626add rdi, 232
001de62dmov rbx, rsp
001de630mov rsp, [r14+64]
001de634call caml_initialize
001de639mov rsp, rbx
001de63clea rsi, [rip+0x185415]
001de643lea rdi, [rip+0x185616]
001de64aadd rdi, 104
001de64emov rbx, rsp
001de651mov rsp, [r14+64]
001de655call caml_initialize
001de65amov rsp, rbx
001de65dlea rsi, [rip+0x18540c]
001de664lea rdi, [rip+0x1855f5]
001de66badd rdi, 112
001de66fmov rbx, rsp
001de672mov rsp, [r14+64]
001de676call caml_initialize
001de67bmov rsp, rbx
001de67elea rsi, [rip+0x185423]
001de685lea rdi, [rip+0x1855d4]
001de68cadd rdi, 152
001de693mov rbx, rsp
001de696mov rsp, [r14+64]
001de69acall caml_initialize
001de69fmov rsp, rbx
001de6a2lea rax, [rip+0x14ef6f]
001de6a9mov rsi, [rax+752]
001de6b0lea rdi, [rip+0x1855a9]
001de6b7add rdi, 184
001de6bemov rbx, rsp
001de6c1mov rsp, [r14+64]
001de6c5call caml_initialize
001de6camov rsp, rbx
001de6cdmov eax, 1
001de6d2ret
001de270
001de6d3
001de6d3 // align 0x10
001de6d3 // align 0x10
001de6e0
001de6e0Stdlib.Digest.fun:
001de6e0mov rdi, rax
001de6e3mov rsi, rbx
001de6e6lea rax, [rip+0x37163]
001de6edcall caml_c_call
001de6f2ret
001de6e0
001de6e0Stdlib.Digest.fun:
001de6e0mov rdi, rax
001de6e3mov rsi, rbx
001de6e6lea rax, [rip+0x37163]
001de6edcall caml_c_call
001de6f2ret
001de6e0
001de6f3
001de6f3 // align 0x10
001de6f3 // align 0x10
001de700
001de700Stdlib.Digest.hex_of_string:
001de700lea r10, [rsp-360]
001de708cmp r10, [r14+40]
001de70cjb 0x1de832
001de712
001de712loc_1de712:
001de712sub rsp, 40
001de716mov [rsp+8], rax
001de71bmov rbx, [rax-8]
001de71fshr rbx, 10
001de723lea rbx, [8*rbx-1]
001de72bmovzx rax, [rax+rbx]
001de730sub rbx, rax
001de733lea rax, [rbx+rbx+1]
001de738mov [rsp], rax
001de73clea rdi, [rax+rax-1]
001de741lea rax, [rip+0x428e8]
001de748call caml_c_call
001de74dmov rbx, rax
001de750mov eax, 1
001de755mov rdi, rax
001de758mov rax, [rsp]
001de75cadd rax, -2
001de760cmp rdi, rax
001de763jg 0x1de81b
001de769mov [rsp+32], rax
001de76emov [rsp+16], rdi
001de773mov [rsp+24], rbx
001de778
001de778loc_1de778:
001de778sar rdi, 1
001de77bmov rsi, [rsp+8]
001de780mov rax, [rsi-8]
001de784shr rax, 10
001de788lea rax, [8*rax-1]
001de790movzx rbx, [rsi+rax]
001de795sub rax, rbx
001de798cmp rax, rdi
001de79bjbe 0x1de82d
001de7a1movzx rax, [rsi+rdi]
001de7a6lea rax, [rax+rax+1]
001de7abmov [rsp], rax
001de7afshr rax, 4
001de7b3or rax, 1
001de7b7call Stdlib.Digest.char_hex
001de7bcsar rax, 1
001de7bfmov rbx, [rsp+16]
001de7c4lea rbx, [rbx+rbx-1]
001de7c9sar rbx, 1
001de7ccmov rdi, [rsp+24]
001de7d1mov [rdi+rbx], al
001de7d4mov rax, [rsp]
001de7d8and rax, 31
001de7dccall Stdlib.Digest.char_hex
001de7e1sar rax, 1
001de7e4mov rdi, [rsp+16]
001de7e9mov rsi, rdi
001de7ecshl rsi, 1
001de7efsar rsi, 1
001de7f2mov rbx, [rsp+24]
001de7f7mov [rbx+rsi], al
001de7famov rax, rdi
001de7fdadd rdi, 2
001de801mov [rsp+16], rdi
001de806mov rsi, [rsp+32]
001de80bcmp rax, rsi
001de80eje 0x1de81b
001de810cmp r15, [r14]
001de813ja 0x1de778
001de819jmp 0x1de823
001de81b
001de81bloc_1de81b:
001de81bmov rax, rbx
001de81eadd rsp, 40
001de822ret
001de823
001de823loc_1de823:
001de823call caml_call_gc
001de828jmp 0x1de778
001de82d
001de82dloc_1de82d:
001de82dcall caml_ml_array_bound_error
001de832
001de832loc_1de832:
001de832push 38
001de834call caml_call_realloc_stack
001de839pop r10
001de83bjmp 0x1de712
001de700
001de700Stdlib.Digest.hex_of_string:
001de700lea r10, [rsp-360]
001de708cmp r10, [r14+40]
001de70cjb 0x1de832
001de712
001de712loc_1de712:
001de712sub rsp, 40
001de716mov [rsp+8], rax
001de71bmov rbx, [rax-8]
001de71fshr rbx, 10
001de723lea rbx, [8*rbx-1]
001de72bmovzx rax, [rax+rbx]
001de730sub rbx, rax
001de733lea rax, [rbx+rbx+1]
001de738mov [rsp], rax
001de73clea rdi, [rax+rax-1]
001de741lea rax, [rip+0x428e8]
001de748call caml_c_call
001de74dmov rbx, rax
001de750mov eax, 1
001de755mov rdi, rax
001de758mov rax, [rsp]
001de75cadd rax, -2
001de760cmp rdi, rax
001de763jg 0x1de81b
001de769mov [rsp+32], rax
001de76emov [rsp+16], rdi
001de773mov [rsp+24], rbx
001de778
001de778loc_1de778:
001de778sar rdi, 1
001de77bmov rsi, [rsp+8]
001de780mov rax, [rsi-8]
001de784shr rax, 10
001de788lea rax, [8*rax-1]
001de790movzx rbx, [rsi+rax]
001de795sub rax, rbx
001de798cmp rax, rdi
001de79bjbe 0x1de82d
001de7a1movzx rax, [rsi+rdi]
001de7a6lea rax, [rax+rax+1]
001de7abmov [rsp], rax
001de7afshr rax, 4
001de7b3or rax, 1
001de7b7call Stdlib.Digest.char_hex
001de7bcsar rax, 1
001de7bfmov rbx, [rsp+16]
001de7c4lea rbx, [rbx+rbx-1]
001de7c9sar rbx, 1
001de7ccmov rdi, [rsp+24]
001de7d1mov [rdi+rbx], al
001de7d4mov rax, [rsp]
001de7d8and rax, 31
001de7dccall Stdlib.Digest.char_hex
001de7e1sar rax, 1
001de7e4mov rdi, [rsp+16]
001de7e9mov rsi, rdi
001de7ecshl rsi, 1
001de7efsar rsi, 1
001de7f2mov rbx, [rsp+24]
001de7f7mov [rbx+rsi], al
001de7famov rax, rdi
001de7fdadd rdi, 2
001de801mov [rsp+16], rdi
001de806mov rsi, [rsp+32]
001de80bcmp rax, rsi
001de80eje 0x1de81b
001de810cmp r15, [r14]
001de813ja 0x1de778
001de819jmp 0x1de823
001de81b
001de81bloc_1de81b:
001de81bmov rax, rbx
001de81eadd rsp, 40
001de822ret
001de823
001de823loc_1de823:
001de823call caml_call_gc
001de828jmp 0x1de778
001de82d
001de82dloc_1de82d:
001de82dcall caml_ml_array_bound_error
001de832
001de832loc_1de832:
001de832push 38
001de834call caml_call_realloc_stack
001de839pop r10
001de83bjmp 0x1de712
001de700
001de840
001de840Stdlib.Digest.char_hex:
001de840cmp rax, 21
001de844jge 0x1de84c
001de846add rax, 96
001de84ajmp 0x1de852
001de84c
001de84cloc_1de84c:
001de84cadd rax, 174
001de852
001de852loc_1de852:
001de852jmp 0x19eb60
001de840
001de840Stdlib.Digest.char_hex:
001de840cmp rax, 21
001de844jge 0x1de84c
001de846add rax, 96
001de84ajmp 0x1de852
001de84c
001de84cloc_1de84c:
001de84cadd rax, 174
001de852
001de852loc_1de852:
001de852jmp 0x19eb60
001de840
001de857
001de857 // align 0x10
001de857 // align 0x10
001de860
001de860Stdlib.Digest.string_of_hex:
001de860lea r10, [rsp-320]
001de868cmp r10, [r14+40]
001de86cjb 0x1de91d
001de872
001de872loc_1de872:
001de872lea rbx, [rip+0x185ea7]
001de879sub r15, 72
001de87dcmp r15, [r14]
001de880jb 0x1de913
001de886
001de886loc_1de886:
001de886lea rdi, [r15+8]
001de88aadd rdi, 32
001de88emov [rdi-8], 4343
001de896lea rsi, [rip+227]
001de89dmov [rdi], rsi
001de8a0mov rsi, 0x100000000000005
001de8aamov [rdi+8], rsi
001de8aemov [rdi+16], rax
001de8b2mov [rdi+24], rbx
001de8b6lea rbx, [rdi-32]
001de8bamov [rbx-8], 3319
001de8c2lea rsi, [rip+391]
001de8c9mov [rbx], rsi
001de8ccmov rsi, 0x100000000000005
001de8d6mov [rbx+8], rsi
001de8damov [rbx+16], rdi
001de8demov rdi, [rax-8]
001de8e2shr rdi, 10
001de8e6lea rdi, [8*rdi-1]
001de8eemovzx rsi, [rax+rdi]
001de8f3mov rax, rdi
001de8f6sub rax, rsi
001de8f9shl rax, 1
001de8fcsar rax, 1
001de8ffmov rdi, rax
001de902shr rdi, 63
001de906add rax, rdi
001de909or rax, 1
001de90dcall Stdlib.Bytes.init
001de912ret
001de913
001de913loc_1de913:
001de913call caml_call_gc
001de918jmp 0x1de886
001de91d
001de91dloc_1de91d:
001de91dpush 33
001de91fcall caml_call_realloc_stack
001de924pop r10
001de926jmp 0x1de872
001de860
001de860Stdlib.Digest.string_of_hex:
001de860lea r10, [rsp-320]
001de868cmp r10, [r14+40]
001de86cjb 0x1de91d
001de872
001de872loc_1de872:
001de872lea rbx, [rip+0x185ea7]
001de879sub r15, 72
001de87dcmp r15, [r14]
001de880jb 0x1de913
001de886
001de886loc_1de886:
001de886lea rdi, [r15+8]
001de88aadd rdi, 32
001de88emov [rdi-8], 4343
001de896lea rsi, [rip+227]
001de89dmov [rdi], rsi
001de8a0mov rsi, 0x100000000000005
001de8aamov [rdi+8], rsi
001de8aemov [rdi+16], rax
001de8b2mov [rdi+24], rbx
001de8b6lea rbx, [rdi-32]
001de8bamov [rbx-8], 3319
001de8c2lea rsi, [rip+391]
001de8c9mov [rbx], rsi
001de8ccmov rsi, 0x100000000000005
001de8d6mov [rbx+8], rsi
001de8damov [rbx+16], rdi
001de8demov rdi, [rax-8]
001de8e2shr rdi, 10
001de8e6lea rdi, [8*rdi-1]
001de8eemovzx rsi, [rax+rdi]
001de8f3mov rax, rdi
001de8f6sub rax, rsi
001de8f9shl rax, 1
001de8fcsar rax, 1
001de8ffmov rdi, rax
001de902shr rdi, 63
001de906add rax, rdi
001de909or rax, 1
001de90dcall Stdlib.Bytes.init
001de912ret
001de913
001de913loc_1de913:
001de913call caml_call_gc
001de918jmp 0x1de886
001de91d
001de91dloc_1de91d:
001de91dpush 33
001de91fcall caml_call_realloc_stack
001de924pop r10
001de926jmp 0x1de872
001de860
001de92b
001de92b // align 0x10
001de92b // align 0x10
001de930
001de930Stdlib.Digest.digit:
001de930cmp rax, 131
001de936jl 0x1de960
001de938cmp rax, 195
001de93ejl 0x1de950
001de940cmp rax, 207
001de946jge 0x1de96c
001de948add rax, -174
001de94eret
001de94f
001de94f 90 .
001de950
001de950loc_1de950:
001de950cmp rax, 143
001de956jge 0x1de96c
001de958add rax, -110
001de95cret
001de95d
001de95d 0f 1f 00 ...
001de960
001de960loc_1de960:
001de960add rax, -96
001de964cmp rax, 19
001de968ja 0x1de96c
001de96aret
001de96b
001de96b 90 .
001de96c
001de96cloc_1de96c:
001de96clea rax, [rip+0x186165]
001de973jmp 0x195ab0
001de930
001de930Stdlib.Digest.digit:
001de930cmp rax, 131
001de936jl 0x1de960
001de938cmp rax, 195
001de93ejl 0x1de950
001de940cmp rax, 207
001de946jge 0x1de96c
001de948add rax, -174
001de94eret
001de94f
001de94f 90 .
001de950
001de950loc_1de950:
001de950cmp rax, 143
001de956jge 0x1de96c
001de958add rax, -110
001de95cret
001de95d
001de95d 0f 1f 00 ...
001de960
001de960loc_1de960:
001de960add rax, -96
001de964cmp rax, 19
001de968ja 0x1de96c
001de96aret
001de96b
001de96b 90 .
001de96c
001de96cloc_1de96c:
001de96clea rax, [rip+0x186165]
001de973jmp 0x195ab0
001de930
001de978
001de978 // align 0x10
001de978 // align 0x10
001de980
001de980Stdlib.Digest.byte:
001de980lea r10, [rsp-344]
001de988cmp r10, [r14+40]
001de98cjb 0x1dea36
001de992
001de992loc_1de992:
001de992sub rsp, 24
001de996mov [rsp], rax
001de99amov [rsp+8], rbx
001de99fadd rax, 2
001de9a3sar rax, 1
001de9a6mov rbx, [rbx+16]
001de9aamov rdi, [rbx-8]
001de9aeshr rdi, 10
001de9b2lea rdi, [8*rdi-1]
001de9bamovzx rsi, [rbx+rdi]
001de9bfsub rdi, rsi
001de9c2cmp rdi, rax
001de9c5jbe 0x1dea31
001de9c7movzx rax, [rbx+rax]
001de9cclea rax, [rax+rax+1]
001de9d1call Stdlib.Digest.digit
001de9d6mov [rsp+16], rax
001de9dbmov rax, [rsp]
001de9dfsar rax, 1
001de9e2mov rbx, [rsp+8]
001de9e7mov rbx, [rbx+16]
001de9ebmov rdi, [rbx-8]
001de9efshr rdi, 10
001de9f3lea rdi, [8*rdi-1]
001de9fbmovzx rsi, [rbx+rdi]
001dea00sub rdi, rsi
001dea03cmp rdi, rax
001dea06jbe 0x1dea2c
001dea08movzx rax, [rbx+rax]
001dea0dlea rax, [rax+rax+1]
001dea12call Stdlib.Digest.digit
001dea17shl rax, 4
001dea1bmov rbx, [rsp+16]
001dea20add rax, rbx
001dea23add rax, -16
001dea27add rsp, 24
001dea2bret
001dea2c
001dea2cloc_1dea2c:
001dea2ccall caml_ml_array_bound_error
001dea31
001dea31loc_1dea31:
001dea31call caml_ml_array_bound_error
001dea36
001dea36loc_1dea36:
001dea36push 36
001dea38call caml_call_realloc_stack
001dea3dpop r10
001dea3fjmp 0x1de992
001de980
001de980Stdlib.Digest.byte:
001de980lea r10, [rsp-344]
001de988cmp r10, [r14+40]
001de98cjb 0x1dea36
001de992
001de992loc_1de992:
001de992sub rsp, 24
001de996mov [rsp], rax
001de99amov [rsp+8], rbx
001de99fadd rax, 2
001de9a3sar rax, 1
001de9a6mov rbx, [rbx+16]
001de9aamov rdi, [rbx-8]
001de9aeshr rdi, 10
001de9b2lea rdi, [8*rdi-1]
001de9bamovzx rsi, [rbx+rdi]
001de9bfsub rdi, rsi
001de9c2cmp rdi, rax
001de9c5jbe 0x1dea31
001de9c7movzx rax, [rbx+rax]
001de9cclea rax, [rax+rax+1]
001de9d1call Stdlib.Digest.digit
001de9d6mov [rsp+16], rax
001de9dbmov rax, [rsp]
001de9dfsar rax, 1
001de9e2mov rbx, [rsp+8]
001de9e7mov rbx, [rbx+16]
001de9ebmov rdi, [rbx-8]
001de9efshr rdi, 10
001de9f3lea rdi, [8*rdi-1]
001de9fbmovzx rsi, [rbx+rdi]
001dea00sub rdi, rsi
001dea03cmp rdi, rax
001dea06jbe 0x1dea2c
001dea08movzx rax, [rbx+rax]
001dea0dlea rax, [rax+rax+1]
001dea12call Stdlib.Digest.digit
001dea17shl rax, 4
001dea1bmov rbx, [rsp+16]
001dea20add rax, rbx
001dea23add rax, -16
001dea27add rsp, 24
001dea2bret
001dea2c
001dea2cloc_1dea2c:
001dea2ccall caml_ml_array_bound_error
001dea31
001dea31loc_1dea31:
001dea31call caml_ml_array_bound_error
001dea36
001dea36loc_1dea36:
001dea36push 36
001dea38call caml_call_realloc_stack
001dea3dpop r10
001dea3fjmp 0x1de992
001de980
001dea44
001dea44 // align 0x10
001dea44 // align 0x10
001dea50
001dea50Stdlib.Digest.fun:
001dea50lea r10, [rsp-320]
001dea58cmp r10, [r14+40]
001dea5cjb 0x1dea71
001dea5e
001dea5eloc_1dea5e:
001dea5elea rax, [rax+rax-1]
001dea63mov rbx, [rbx+16]
001dea67call Stdlib.Digest.byte
001dea6cjmp 0x19eb60
001dea71
001dea71loc_1dea71:
001dea71push 33
001dea73call caml_call_realloc_stack
001dea78pop r10
001dea7ajmp 0x1dea5e
001dea50
001dea50Stdlib.Digest.fun:
001dea50lea r10, [rsp-320]
001dea58cmp r10, [r14+40]
001dea5cjb 0x1dea71
001dea5e
001dea5eloc_1dea5e:
001dea5elea rax, [rax+rax-1]
001dea63mov rbx, [rbx+16]
001dea67call Stdlib.Digest.byte
001dea6cjmp 0x19eb60
001dea71
001dea71loc_1dea71:
001dea71push 33
001dea73call caml_call_realloc_stack
001dea78pop r10
001dea7ajmp 0x1dea5e
001dea50
001dea7c
001dea7c // align 0x10
001dea7c // align 0x10
001dea80
001dea80Stdlib.Digest.BLAKE2:
001dea80lea r10, [rsp-328]
001dea88cmp r10, [r14+40]
001dea8cjb 0x1decf5
001dea92
001dea92loc_1dea92:
001dea92sub rsp, 8
001dea96mov [rsp], rax
001dea9amov rax, [rax]
001dea9dcmp rax, 3
001deaa1jl 0x1deaab
001deaa3cmp rax, 129
001deaa9jle 0x1deab7
001deaab
001deaabloc_1deaab:
001deaablea rax, [rip+0x185f9e]
001deab2call camlStdlib.invalid_arg_10
001deab7
001deab7loc_1deab7:
001deab7mov rax, [rsp]
001deabbmov r9, [rax]
001deabelea rax, [rip+0x15d73b]
001deac5mov rbx, [rax+72]
001deac9mov [rsp], rbx
001deacdmov rbp, [rax+64]
001dead1sub r15, 464
001dead8cmp r15, [r14]
001deadbjb 0x1deceb
001deae1
001deae1loc_1deae1:
001deae1lea rax, [r15+8]
001deae5add rax, 432
001deaebmov [rax-8], 3319
001deaf3lea rbx, [rip+534]
001deafamov [rax], rbx
001deafdmov rbx, 0x100000000000005
001deb07mov [rax+8], rbx
001deb0bmov [rax+16], r9
001deb0flea r10, [rax-32]
001deb13mov [r10-8], 3319
001deb1blea rbx, [rip+526]
001deb22mov [r10], rbx
001deb25mov rbx, 0x100000000000005
001deb2fmov [r10+8], rbx
001deb33mov [r10+16], r9
001deb37lea r13, [r10-32]
001deb3bmov [r13-8], 3319
001deb43lea rbx, [rip+550]
001deb4amov [r13], rbx
001deb4emov rbx, 0x100000000000005
001deb58mov [r13+8], rbx
001deb5cmov [r13+16], r9
001deb60lea r12, [r13-40]
001deb64mov [r12-8], 4343
001deb6dlea rbx, [rip-0xe7c44]
001deb74mov [r12], rbx
001deb78mov rdi, 0x300000000000007
001deb82mov [r12+8], rdi
001deb87lea rdi, [rip+546]
001deb8emov [r12+16], rdi
001deb93mov [r12+24], r9
001deb98lea r8, [r12-40]
001deb9dmov [r8-8], 4343
001deba5mov [r8], rbx
001deba8mov rbx, 0x300000000000007
001debb2mov [r8+8], rbx
001debb6lea rbx, [rip+675]
001debbdmov [r8+16], rbx
001debc1mov [r8+24], r9
001debc5lea rsi, [r8-48]
001debc9mov [rsi-8], 5367
001debd1lea rbx, [rip-0xe7bb8]
001debd8mov [rsi], rbx
001debdbmov rbx, 0x200000000000007
001debe5mov [rsi+8], rbx
001debe9lea rbx, [rip+800]
001debf0mov [rsi+16], rbx
001debf4mov [rsi+24], r9
001debf8mov [rsi+32], rax
001debfclea rcx, [rsi-32]
001dec00mov [rcx-8], 3319
001dec08lea rax, [rip+1489]
001dec0fmov [rcx], rax
001dec12mov rax, 0x100000000000005
001dec1cmov [rcx+8], rax
001dec20mov [rcx+16], rsi
001dec24lea r11, [rip+0x185b25]
001dec2blea rdx, [rcx-32]
001dec2fmov [rdx-8], 3319
001dec37lea rax, [rip+1570]
001dec3emov [rdx], rax
001dec41mov rax, 0x100000000000005
001dec4bmov [rdx+8], rax
001dec4fmov [rdx+16], r9
001dec53lea rdi, [rdx-32]
001dec57mov [rdi-8], 3319
001dec5flea rax, [rip+1546]
001dec66mov [rdi], rax
001dec69mov rax, 0x100000000000005
001dec73mov [rdi+8], rax
001dec77mov [rdi+16], r9
001dec7blea rbx, [rdi-32]
001dec7fmov [rbx-8], 3319
001dec87lea rax, [rip+1602]
001dec8emov [rbx], rax
001dec91mov rax, 0x100000000000005
001dec9bmov [rbx+8], rax
001dec9fmov [rbx+16], r9
001deca3lea rax, [rbx-112]
001deca7mov [rax-8], 13312
001decafmov [rax], r9
001decb2mov r9, [rsp]
001decb6mov [rax+8], r9
001decbamov [rax+16], rbp
001decbemov [rax+24], r10
001decc2mov [rax+32], r13
001decc6mov [rax+40], r12
001deccamov [rax+48], r8
001deccemov [rax+56], rsi
001decd2mov [rax+64], rcx
001decd6mov [rax+72], r11
001decdamov [rax+80], rdx
001decdemov [rax+88], rdi
001dece2mov [rax+96], rbx
001dece6add rsp, 8
001decearet
001deceb
001decebloc_1deceb:
001decebcall caml_call_gc
001decf0jmp 0x1deae1
001decf5
001decf5loc_1decf5:
001decf5push 34
001decf7call caml_call_realloc_stack
001decfcpop r10
001decfejmp 0x1dea92
001dea80
001dea80Stdlib.Digest.BLAKE2:
001dea80lea r10, [rsp-328]
001dea88cmp r10, [r14+40]
001dea8cjb 0x1decf5
001dea92
001dea92loc_1dea92:
001dea92sub rsp, 8
001dea96mov [rsp], rax
001dea9amov rax, [rax]
001dea9dcmp rax, 3
001deaa1jl 0x1deaab
001deaa3cmp rax, 129
001deaa9jle 0x1deab7
001deaab
001deaabloc_1deaab:
001deaablea rax, [rip+0x185f9e]
001deab2call camlStdlib.invalid_arg_10
001deab7
001deab7loc_1deab7:
001deab7mov rax, [rsp]
001deabbmov r9, [rax]
001deabelea rax, [rip+0x15d73b]
001deac5mov rbx, [rax+72]
001deac9mov [rsp], rbx
001deacdmov rbp, [rax+64]
001dead1sub r15, 464
001dead8cmp r15, [r14]
001deadbjb 0x1deceb
001deae1
001deae1loc_1deae1:
001deae1lea rax, [r15+8]
001deae5add rax, 432
001deaebmov [rax-8], 3319
001deaf3lea rbx, [rip+534]
001deafamov [rax], rbx
001deafdmov rbx, 0x100000000000005
001deb07mov [rax+8], rbx
001deb0bmov [rax+16], r9
001deb0flea r10, [rax-32]
001deb13mov [r10-8], 3319
001deb1blea rbx, [rip+526]
001deb22mov [r10], rbx
001deb25mov rbx, 0x100000000000005
001deb2fmov [r10+8], rbx
001deb33mov [r10+16], r9
001deb37lea r13, [r10-32]
001deb3bmov [r13-8], 3319
001deb43lea rbx, [rip+550]
001deb4amov [r13], rbx
001deb4emov rbx, 0x100000000000005
001deb58mov [r13+8], rbx
001deb5cmov [r13+16], r9
001deb60lea r12, [r13-40]
001deb64mov [r12-8], 4343
001deb6dlea rbx, [rip-0xe7c44]
001deb74mov [r12], rbx
001deb78mov rdi, 0x300000000000007
001deb82mov [r12+8], rdi
001deb87lea rdi, [rip+546]
001deb8emov [r12+16], rdi
001deb93mov [r12+24], r9
001deb98lea r8, [r12-40]
001deb9dmov [r8-8], 4343
001deba5mov [r8], rbx
001deba8mov rbx, 0x300000000000007
001debb2mov [r8+8], rbx
001debb6lea rbx, [rip+675]
001debbdmov [r8+16], rbx
001debc1mov [r8+24], r9
001debc5lea rsi, [r8-48]
001debc9mov [rsi-8], 5367
001debd1lea rbx, [rip-0xe7bb8]
001debd8mov [rsi], rbx
001debdbmov rbx, 0x200000000000007
001debe5mov [rsi+8], rbx
001debe9lea rbx, [rip+800]
001debf0mov [rsi+16], rbx
001debf4mov [rsi+24], r9
001debf8mov [rsi+32], rax
001debfclea rcx, [rsi-32]
001dec00mov [rcx-8], 3319
001dec08lea rax, [rip+1489]
001dec0fmov [rcx], rax
001dec12mov rax, 0x100000000000005
001dec1cmov [rcx+8], rax
001dec20mov [rcx+16], rsi
001dec24lea r11, [rip+0x185b25]
001dec2blea rdx, [rcx-32]
001dec2fmov [rdx-8], 3319
001dec37lea rax, [rip+1570]
001dec3emov [rdx], rax
001dec41mov rax, 0x100000000000005
001dec4bmov [rdx+8], rax
001dec4fmov [rdx+16], r9
001dec53lea rdi, [rdx-32]
001dec57mov [rdi-8], 3319
001dec5flea rax, [rip+1546]
001dec66mov [rdi], rax
001dec69mov rax, 0x100000000000005
001dec73mov [rdi+8], rax
001dec77mov [rdi+16], r9
001dec7blea rbx, [rdi-32]
001dec7fmov [rbx-8], 3319
001dec87lea rax, [rip+1602]
001dec8emov [rbx], rax
001dec91mov rax, 0x100000000000005
001dec9bmov [rbx+8], rax
001dec9fmov [rbx+16], r9
001deca3lea rax, [rbx-112]
001deca7mov [rax-8], 13312
001decafmov [rax], r9
001decb2mov r9, [rsp]
001decb6mov [rax+8], r9
001decbamov [rax+16], rbp
001decbemov [rax+24], r10
001decc2mov [rax+32], r13
001decc6mov [rax+40], r12
001deccamov [rax+48], r8
001deccemov [rax+56], rsi
001decd2mov [rax+64], rcx
001decd6mov [rax+72], r11
001decdamov [rax+80], rdx
001decdemov [rax+88], rdi
001dece2mov [rax+96], rbx
001dece6add rsp, 8
001decearet
001deceb
001decebloc_1deceb:
001decebcall caml_call_gc
001decf0jmp 0x1deae1
001decf5
001decf5loc_1decf5:
001decf5push 34
001decf7call caml_call_realloc_stack
001decfcpop r10
001decfejmp 0x1dea92
001dea80
001ded03
001ded03 // align 0x10
001ded03 // align 0x10
001ded10
001ded10Stdlib.Digest.create:
001ded10lea rsi, [rip+0x185d29]
001ded17mov rdi, [rbx+16]
001ded1blea rax, [rip+0x204ce]
001ded22call caml_c_call
001ded27ret
001ded10
001ded10Stdlib.Digest.create:
001ded10lea rsi, [rip+0x185d29]
001ded17mov rdi, [rbx+16]
001ded1blea rax, [rip+0x204ce]
001ded22call caml_c_call
001ded27ret
001ded10
001ded28
001ded28 // align 0x10
001ded28 // align 0x10
001ded30
001ded30Stdlib.Digest.string:
001ded30mov rdi, [rax-8]
001ded34shr rdi, 10
001ded38lea rdi, [8*rdi-1]
001ded40movzx rsi, [rax+rdi]
001ded45sub rdi, rsi
001ded48lea r8, [rdi+rdi+1]
001ded4dmov ecx, 1
001ded52lea rsi, [rip+0x185ce7]
001ded59mov rdi, [rbx+16]
001ded5dmov rdx, rax
001ded60lea rax, [rip+0x20669]
001ded67call caml_c_call
001ded6cret
001ded30
001ded30Stdlib.Digest.string:
001ded30mov rdi, [rax-8]
001ded34shr rdi, 10
001ded38lea rdi, [8*rdi-1]
001ded40movzx rsi, [rax+rdi]
001ded45sub rdi, rsi
001ded48lea r8, [rdi+rdi+1]
001ded4dmov ecx, 1
001ded52lea rsi, [rip+0x185ce7]
001ded59mov rdi, [rbx+16]
001ded5dmov rdx, rax
001ded60lea rax, [rip+0x20669]
001ded67call caml_c_call
001ded6cret
001ded30
001ded6d
001ded6d // align 0x10
001ded6d // align 0x10
001ded70
001ded70Stdlib.Digest.bytes:
001ded70mov rdi, [rax-8]
001ded74shr rdi, 10
001ded78lea rdi, [8*rdi-1]
001ded80movzx rsi, [rax+rdi]
001ded85sub rdi, rsi
001ded88lea r8, [rdi+rdi+1]
001ded8dmov ecx, 1
001ded92lea rsi, [rip+0x185ca7]
001ded99mov rdi, [rbx+16]
001ded9dmov rdx, rax
001deda0lea rax, [rip+0x206d9]
001deda7call caml_c_call
001dedacret
001ded70
001ded70Stdlib.Digest.bytes:
001ded70mov rdi, [rax-8]
001ded74shr rdi, 10
001ded78lea rdi, [8*rdi-1]
001ded80movzx rsi, [rax+rdi]
001ded85sub rdi, rsi
001ded88lea r8, [rdi+rdi+1]
001ded8dmov ecx, 1
001ded92lea rsi, [rip+0x185ca7]
001ded99mov rdi, [rbx+16]
001ded9dmov rdx, rax
001deda0lea rax, [rip+0x206d9]
001deda7call caml_c_call
001dedacret
001ded70
001dedad
001dedad // align 0x10
001dedad // align 0x10
001dedb0
001dedb0Stdlib.Digest.substring:
001dedb0lea r10, [rsp-352]
001dedb8cmp r10, [r14+40]
001dedbcjb 0x1dee47
001dedc2
001dedc2loc_1dedc2:
001dedc2sub rsp, 32
001dedc6mov [rsp+8], rax
001dedcbmov [rsp+16], rbx
001dedd0mov [rsp+24], rdi
001dedd5mov [rsp], rsi
001dedd9cmp rbx, 1
001dedddjl 0x1dee0c
001deddfcmp rdi, 1
001dede3jl 0x1dee0c
001dede5mov rsi, [rax-8]
001dede9shr rsi, 10
001dededlea rsi, [8*rsi-1]
001dedf5movzx rax, [rax+rsi]
001dedfasub rsi, rax
001dedfdshl rsi, 1
001dee00sub rsi, rdi
001dee03add rsi, 2
001dee07cmp rbx, rsi
001dee0ajle 0x1dee18
001dee0c
001dee0cloc_1dee0c:
001dee0clea rax, [rip+0x185c0d]
001dee13call camlStdlib.invalid_arg_10
001dee18
001dee18loc_1dee18:
001dee18lea rsi, [rip+0x185c21]
001dee1fmov rax, [rsp]
001dee23mov rdi, [rax+24]
001dee27mov rdx, [rsp+8]
001dee2cmov rcx, [rsp+16]
001dee31mov r8, [rsp+24]
001dee36lea rax, [rip+0x20593]
001dee3dcall caml_c_call
001dee42add rsp, 32
001dee46ret
001dee47
001dee47loc_1dee47:
001dee47push 37
001dee49call caml_call_realloc_stack
001dee4epop r10
001dee50jmp 0x1dedc2
001dedb0
001dedb0Stdlib.Digest.substring:
001dedb0lea r10, [rsp-352]
001dedb8cmp r10, [r14+40]
001dedbcjb 0x1dee47
001dedc2
001dedc2loc_1dedc2:
001dedc2sub rsp, 32
001dedc6mov [rsp+8], rax
001dedcbmov [rsp+16], rbx
001dedd0mov [rsp+24], rdi
001dedd5mov [rsp], rsi
001dedd9cmp rbx, 1
001dedddjl 0x1dee0c
001deddfcmp rdi, 1
001dede3jl 0x1dee0c
001dede5mov rsi, [rax-8]
001dede9shr rsi, 10
001dededlea rsi, [8*rsi-1]
001dedf5movzx rax, [rax+rsi]
001dedfasub rsi, rax
001dedfdshl rsi, 1
001dee00sub rsi, rdi
001dee03add rsi, 2
001dee07cmp rbx, rsi
001dee0ajle 0x1dee18
001dee0c
001dee0cloc_1dee0c:
001dee0clea rax, [rip+0x185c0d]
001dee13call camlStdlib.invalid_arg_10
001dee18
001dee18loc_1dee18:
001dee18lea rsi, [rip+0x185c21]
001dee1fmov rax, [rsp]
001dee23mov rdi, [rax+24]
001dee27mov rdx, [rsp+8]
001dee2cmov rcx, [rsp+16]
001dee31mov r8, [rsp+24]
001dee36lea rax, [rip+0x20593]
001dee3dcall caml_c_call
001dee42add rsp, 32
001dee46ret
001dee47
001dee47loc_1dee47:
001dee47push 37
001dee49call caml_call_realloc_stack
001dee4epop r10
001dee50jmp 0x1dedc2
001dedb0
001dee55
001dee55 // align 0x10
001dee55 // align 0x10
001dee60
001dee60Stdlib.Digest.subbytes:
001dee60lea r10, [rsp-352]
001dee68cmp r10, [r14+40]
001dee6cjb 0x1deef7
001dee72
001dee72loc_1dee72:
001dee72sub rsp, 32
001dee76mov [rsp+8], rax
001dee7bmov [rsp+16], rbx
001dee80mov [rsp+24], rdi
001dee85mov [rsp], rsi
001dee89cmp rbx, 1
001dee8djl 0x1deebc
001dee8fcmp rdi, 1
001dee93jl 0x1deebc
001dee95mov rsi, [rax-8]
001dee99shr rsi, 10
001dee9dlea rsi, [8*rsi-1]
001deea5movzx rax, [rax+rsi]
001deeaasub rsi, rax
001deeadshl rsi, 1
001deeb0sub rsi, rdi
001deeb3add rsi, 2
001deeb7cmp rbx, rsi
001deebajle 0x1deec8
001deebc
001deebcloc_1deebc:
001deebclea rax, [rip+0x185b45]
001deec3call camlStdlib.invalid_arg_10
001deec8
001deec8loc_1deec8:
001deec8lea rsi, [rip+0x185b71]
001deecfmov rax, [rsp]
001deed3mov rdi, [rax+24]
001deed7mov rdx, [rsp+8]
001deedcmov rcx, [rsp+16]
001deee1mov r8, [rsp+24]
001deee6lea rax, [rip+0x20593]
001deeedcall caml_c_call
001deef2add rsp, 32
001deef6ret
001deef7
001deef7loc_1deef7:
001deef7push 37
001deef9call caml_call_realloc_stack
001deefepop r10
001def00jmp 0x1dee72
001dee60
001dee60Stdlib.Digest.subbytes:
001dee60lea r10, [rsp-352]
001dee68cmp r10, [r14+40]
001dee6cjb 0x1deef7
001dee72
001dee72loc_1dee72:
001dee72sub rsp, 32
001dee76mov [rsp+8], rax
001dee7bmov [rsp+16], rbx
001dee80mov [rsp+24], rdi
001dee85mov [rsp], rsi
001dee89cmp rbx, 1
001dee8djl 0x1deebc
001dee8fcmp rdi, 1
001dee93jl 0x1deebc
001dee95mov rsi, [rax-8]
001dee99shr rsi, 10
001dee9dlea rsi, [8*rsi-1]
001deea5movzx rax, [rax+rsi]
001deeaasub rsi, rax
001deeadshl rsi, 1
001deeb0sub rsi, rdi
001deeb3add rsi, 2
001deeb7cmp rbx, rsi
001deebajle 0x1deec8
001deebc
001deebcloc_1deebc:
001deebclea rax, [rip+0x185b45]
001deec3call camlStdlib.invalid_arg_10
001deec8
001deec8loc_1deec8:
001deec8lea rsi, [rip+0x185b71]
001deecfmov rax, [rsp]
001deed3mov rdi, [rax+24]
001deed7mov rdx, [rsp+8]
001deedcmov rcx, [rsp+16]
001deee1mov r8, [rsp+24]
001deee6lea rax, [rip+0x20593]
001deeedcall caml_c_call
001deef2add rsp, 32
001deef6ret
001deef7
001deef7loc_1deef7:
001deef7push 37
001deef9call caml_call_realloc_stack
001deefepop r10
001def00jmp 0x1dee72
001dee60
001def05
001def05 // align 0x10
001def05 // align 0x10
001def10
001def10Stdlib.Digest.channel:
001def10lea r10, [rsp-352]
001def18cmp r10, [r14+40]
001def1cjb 0x1df049
001def22
001def22loc_1def22:
001def22sub rsp, 32
001def26mov [rsp+16], rax
001def2bmov [rsp], rbx
001def2fmov [rsp+8], rdi
001def34mov edi, 8193
001def39lea rax, [rip+0x420f0]
001def40call caml_c_call
001def45mov [rsp+24], rax
001def4amov rax, [rsp+8]
001def4fmov rbx, [rax+32]
001def53mov eax, 1
001def58call Stdlib.Digest.create
001def5dmov rsi, [rsp]
001def61cmp rsi, 1
001def65jge 0x1defd4
001def67sub r15, 64
001def6bcmp r15, [r14]
001def6ejb 0x1df03f
001def74
001def74loc_1def74:
001def74lea rbx, [r15+8]
001def78mov [rbx-8], 7415
001def80lea rdi, [rip+217]
001def87mov [rbx], rdi
001def8amov rdi, 0x100000000000005
001def94mov [rbx+8], rdi
001def98mov rdi, [rsp+8]
001def9dmov rdi, [rdi+24]
001defa1mov [rbx+16], rdi
001defa5mov rdi, [rsp+16]
001defaamov [rbx+24], rdi
001defaemov [rbx+32], 8193
001defb6mov rdi, [rsp+24]
001defbbmov [rbx+40], rdi
001defbfmov [rbx+48], rax
001defc3mov eax, 1
001defc8add rsp, 32
001defccjmp 0x1df060
001defd1
001defd1 0f 1f 00 ...
001defd4
001defd4loc_1defd4:
001defd4sub r15, 64
001defd8cmp r15, [r14]
001defdbjb 0x1df038
001defdd
001defddloc_1defdd:
001defddlea rbx, [r15+8]
001defe1mov [rbx-8], 7415
001defe9lea rdi, [rip+272]
001deff0mov [rbx], rdi
001deff3mov rdi, 0x100000000000005
001deffdmov [rbx+8], rdi
001df001mov rdi, [rsp+8]
001df006mov rdi, [rdi+24]
001df00amov [rbx+16], rdi
001df00emov rdi, [rsp+16]
001df013mov [rbx+24], rdi
001df017mov [rbx+32], 8193
001df01fmov rdi, [rsp+24]
001df024mov [rbx+40], rdi
001df028mov [rbx+48], rax
001df02cmov rax, rsi
001df02fadd rsp, 32
001df033jmp 0x1df100
001df038
001df038loc_1df038:
001df038call caml_call_gc
001df03djmp 0x1defdd
001df03f
001df03floc_1df03f:
001df03fcall caml_call_gc
001df044jmp 0x1def74
001df049
001df049loc_1df049:
001df049push 37
001df04bcall caml_call_realloc_stack
001df050pop r10
001df052jmp 0x1def22
001def10
001def10Stdlib.Digest.channel:
001def10lea r10, [rsp-352]
001def18cmp r10, [r14+40]
001def1cjb 0x1df049
001def22
001def22loc_1def22:
001def22sub rsp, 32
001def26mov [rsp+16], rax
001def2bmov [rsp], rbx
001def2fmov [rsp+8], rdi
001def34mov edi, 8193
001def39lea rax, [rip+0x420f0]
001def40call caml_c_call
001def45mov [rsp+24], rax
001def4amov rax, [rsp+8]
001def4fmov rbx, [rax+32]
001def53mov eax, 1
001def58call Stdlib.Digest.create
001def5dmov rsi, [rsp]
001def61cmp rsi, 1
001def65jge 0x1defd4
001def67sub r15, 64
001def6bcmp r15, [r14]
001def6ejb 0x1df03f
001def74
001def74loc_1def74:
001def74lea rbx, [r15+8]
001def78mov [rbx-8], 7415
001def80lea rdi, [rip+217]
001def87mov [rbx], rdi
001def8amov rdi, 0x100000000000005
001def94mov [rbx+8], rdi
001def98mov rdi, [rsp+8]
001def9dmov rdi, [rdi+24]
001defa1mov [rbx+16], rdi
001defa5mov rdi, [rsp+16]
001defaamov [rbx+24], rdi
001defaemov [rbx+32], 8193
001defb6mov rdi, [rsp+24]
001defbbmov [rbx+40], rdi
001defbfmov [rbx+48], rax
001defc3mov eax, 1
001defc8add rsp, 32
001defccjmp 0x1df060
001defd1
001defd1 0f 1f 00 ...
001defd4
001defd4loc_1defd4:
001defd4sub r15, 64
001defd8cmp r15, [r14]
001defdbjb 0x1df038
001defdd
001defddloc_1defdd:
001defddlea rbx, [r15+8]
001defe1mov [rbx-8], 7415
001defe9lea rdi, [rip+272]
001deff0mov [rbx], rdi
001deff3mov rdi, 0x100000000000005
001deffdmov [rbx+8], rdi
001df001mov rdi, [rsp+8]
001df006mov rdi, [rdi+24]
001df00amov [rbx+16], rdi
001df00emov rdi, [rsp+16]
001df013mov [rbx+24], rdi
001df017mov [rbx+32], 8193
001df01fmov rdi, [rsp+24]
001df024mov [rbx+40], rdi
001df028mov [rbx+48], rax
001df02cmov rax, rsi
001df02fadd rsp, 32
001df033jmp 0x1df100
001df038
001df038loc_1df038:
001df038call caml_call_gc
001df03djmp 0x1defdd
001df03f
001df03floc_1df03f:
001df03fcall caml_call_gc
001df044jmp 0x1def74
001df049
001df049loc_1df049:
001df049push 37
001df04bcall caml_call_realloc_stack
001df050pop r10
001df052jmp 0x1def22
001def10
001df057
001df057 // align 0x10
001df057 // align 0x10
001df060
001df060Stdlib.Digest.do_read:
001df060lea r10, [rsp-328]
001df068cmp r10, [r14+40]
001df06cjb 0x1df0ea
001df06e
001df06eloc_1df06e:
001df06esub rsp, 8
001df072
001df072loc_1df072:
001df072mov [rsp], rbx
001df076cmp r15, [r14]
001df079jbe 0x1df0e3
001df07b
001df07bloc_1df07b:
001df07bmov esi, 8193
001df080mov edi, 1
001df085mov rdx, [rbx+40]
001df089mov rax, [rbx+24]
001df08dmov rbx, rdx
001df090call camlStdlib.input_302
001df095cmp rax, 1
001df099jne 0x1df0b8
001df09bmov rax, [rsp]
001df09fmov rsi, [rax+16]
001df0a3mov rdi, [rax+48]
001df0a7lea rax, [rip+0x20262]
001df0aecall caml_c_call
001df0b3add rsp, 8
001df0b7ret
001df0b8
001df0b8loc_1df0b8:
001df0b8mov edx, 1
001df0bdmov rbx, [rsp]
001df0c1mov rsi, [rbx+40]
001df0c5mov rdi, [rbx+48]
001df0c9mov rcx, rax
001df0cclea rax, [rip+0x2020d]
001df0d3call caml_c_call
001df0d8mov eax, 1
001df0ddmov rbx, [rsp]
001df0e1jmp 0x1df072
001df0e3
001df0e3loc_1df0e3:
001df0e3call caml_call_gc
001df0e8jmp 0x1df07b
001df0ea
001df0ealoc_1df0ea:
001df0eapush 34
001df0eccall caml_call_realloc_stack
001df0f1pop r10
001df0f3jmp 0x1df06e
001df060
001df060Stdlib.Digest.do_read:
001df060lea r10, [rsp-328]
001df068cmp r10, [r14+40]
001df06cjb 0x1df0ea
001df06e
001df06eloc_1df06e:
001df06esub rsp, 8
001df072
001df072loc_1df072:
001df072mov [rsp], rbx
001df076cmp r15, [r14]
001df079jbe 0x1df0e3
001df07b
001df07bloc_1df07b:
001df07bmov esi, 8193
001df080mov edi, 1
001df085mov rdx, [rbx+40]
001df089mov rax, [rbx+24]
001df08dmov rbx, rdx
001df090call camlStdlib.input_302
001df095cmp rax, 1
001df099jne 0x1df0b8
001df09bmov rax, [rsp]
001df09fmov rsi, [rax+16]
001df0a3mov rdi, [rax+48]
001df0a7lea rax, [rip+0x20262]
001df0aecall caml_c_call
001df0b3add rsp, 8
001df0b7ret
001df0b8
001df0b8loc_1df0b8:
001df0b8mov edx, 1
001df0bdmov rbx, [rsp]
001df0c1mov rsi, [rbx+40]
001df0c5mov rdi, [rbx+48]
001df0c9mov rcx, rax
001df0cclea rax, [rip+0x2020d]
001df0d3call caml_c_call
001df0d8mov eax, 1
001df0ddmov rbx, [rsp]
001df0e1jmp 0x1df072
001df0e3
001df0e3loc_1df0e3:
001df0e3call caml_call_gc
001df0e8jmp 0x1df07b
001df0ea
001df0ealoc_1df0ea:
001df0eapush 34
001df0eccall caml_call_realloc_stack
001df0f1pop r10
001df0f3jmp 0x1df06e
001df060
001df0f8
001df0f8 // align 0x10
001df0f8 // align 0x10
001df100
001df100Stdlib.Digest.do_read:
001df100lea r10, [rsp-344]
001df108cmp r10, [r14+40]
001df10cjb 0x1df1d1
001df112
001df112loc_1df112:
001df112sub rsp, 24
001df116
001df116loc_1df116:
001df116mov rsi, rax
001df119cmp r15, [r14]
001df11cjbe 0x1df1c7
001df122
001df122loc_1df122:
001df122cmp rsi, 1
001df126jne 0x1df144
001df128mov rsi, [rbx+16]
001df12cmov rdi, [rbx+48]
001df130lea rax, [rip+0x201d9]
001df137call caml_c_call
001df13cadd rsp, 24
001df140ret
001df141
001df141 0f 1f 00 ...
001df144
001df144loc_1df144:
001df144mov [rsp+16], rbx
001df149mov [rsp], rsi
001df14dcmp rsi, 8193
001df154jl 0x1df15b
001df156mov esi, 8193
001df15b
001df15bloc_1df15b:
001df15bmov edi, 1
001df160mov rdx, [rbx+40]
001df164mov rax, [rbx+24]
001df168mov rbx, rdx
001df16bcall camlStdlib.input_302
001df170cmp rax, 1
001df174jne 0x1df188
001df176lea rax, [rip+0x14e49b]
001df17dmov rax, [rax+88]
001df181call caml_raise_exn
001df186nop
001df188
001df188loc_1df188:
001df188mov [rsp+8], rax
001df18dmov edx, 1
001df192mov rbx, [rsp+16]
001df197mov rsi, [rbx+40]
001df19bmov rdi, [rbx+48]
001df19fmov rcx, rax
001df1a2lea rax, [rip+0x20137]
001df1a9call caml_c_call
001df1aemov rax, [rsp]
001df1b2mov rbx, [rsp+8]
001df1b7sub rax, rbx
001df1bainc rax
001df1bdmov rbx, [rsp+16]
001df1c2jmp 0x1df116
001df1c7
001df1c7loc_1df1c7:
001df1c7call caml_call_gc
001df1ccjmp 0x1df122
001df1d1
001df1d1loc_1df1d1:
001df1d1push 36
001df1d3call caml_call_realloc_stack
001df1d8pop r10
001df1dajmp 0x1df112
001df100
001df100Stdlib.Digest.do_read:
001df100lea r10, [rsp-344]
001df108cmp r10, [r14+40]
001df10cjb 0x1df1d1
001df112
001df112loc_1df112:
001df112sub rsp, 24
001df116
001df116loc_1df116:
001df116mov rsi, rax
001df119cmp r15, [r14]
001df11cjbe 0x1df1c7
001df122
001df122loc_1df122:
001df122cmp rsi, 1
001df126jne 0x1df144
001df128mov rsi, [rbx+16]
001df12cmov rdi, [rbx+48]
001df130lea rax, [rip+0x201d9]
001df137call caml_c_call
001df13cadd rsp, 24
001df140ret
001df141
001df141 0f 1f 00 ...
001df144
001df144loc_1df144:
001df144mov [rsp+16], rbx
001df149mov [rsp], rsi
001df14dcmp rsi, 8193
001df154jl 0x1df15b
001df156mov esi, 8193
001df15b
001df15bloc_1df15b:
001df15bmov edi, 1
001df160mov rdx, [rbx+40]
001df164mov rax, [rbx+24]
001df168mov rbx, rdx
001df16bcall camlStdlib.input_302
001df170cmp rax, 1
001df174jne 0x1df188
001df176lea rax, [rip+0x14e49b]
001df17dmov rax, [rax+88]
001df181call caml_raise_exn
001df186nop
001df188
001df188loc_1df188:
001df188mov [rsp+8], rax
001df18dmov edx, 1
001df192mov rbx, [rsp+16]
001df197mov rsi, [rbx+40]
001df19bmov rdi, [rbx+48]
001df19fmov rcx, rax
001df1a2lea rax, [rip+0x20137]
001df1a9call caml_c_call
001df1aemov rax, [rsp]
001df1b2mov rbx, [rsp+8]
001df1b7sub rax, rbx
001df1bainc rax
001df1bdmov rbx, [rsp+16]
001df1c2jmp 0x1df116
001df1c7
001df1c7loc_1df1c7:
001df1c7call caml_call_gc
001df1ccjmp 0x1df122
001df1d1
001df1d1loc_1df1d1:
001df1d1push 36
001df1d3call caml_call_realloc_stack
001df1d8pop r10
001df1dajmp 0x1df112
001df100
001df1df
001df1df // align 0x10
001df1df // align 0x10
001df1e0
001df1e0Stdlib.Digest.file:
001df1e0mov rsi, rax
001df1e3sub r15, 32
001df1e7cmp r15, [r14]
001df1eajb 0x1df22e
001df1ec
001df1ecloc_1df1ec:
001df1eclea rdi, [r15+8]
001df1f0mov [rdi-8], 3319
001df1f8lea rax, [rip+65]
001df1ffmov [rdi], rax
001df202mov rax, 0x100000000000005
001df20cmov [rdi+8], rax
001df210mov rax, [rbx+16]
001df214mov [rdi+16], rax
001df218lea rax, [rip+0x14e3f9]
001df21fmov rax, [rax+632]
001df226mov rbx, rsi
001df229jmp 0x1dd5e0
001df22e
001df22eloc_1df22e:
001df22ecall caml_call_gc
001df233jmp 0x1df1ec
001df1e0
001df1e0Stdlib.Digest.file:
001df1e0mov rsi, rax
001df1e3sub r15, 32
001df1e7cmp r15, [r14]
001df1eajb 0x1df22e
001df1ec
001df1ecloc_1df1ec:
001df1eclea rdi, [r15+8]
001df1f0mov [rdi-8], 3319
001df1f8lea rax, [rip+65]
001df1ffmov [rdi], rax
001df202mov rax, 0x100000000000005
001df20cmov [rdi+8], rax
001df210mov rax, [rbx+16]
001df214mov [rdi+16], rax
001df218lea rax, [rip+0x14e3f9]
001df21fmov rax, [rax+632]
001df226mov rbx, rsi
001df229jmp 0x1dd5e0
001df22e
001df22eloc_1df22e:
001df22ecall caml_call_gc
001df233jmp 0x1df1ec
001df1e0
001df235
001df235 // align 0x10
001df235 // align 0x10
001df240
001df240Stdlib.Digest.fun:
001df240mov rdi, [rbx+16]
001df244mov rbx, -1
001df24bjmp 0x1def10
001df240
001df240Stdlib.Digest.fun:
001df240mov rdi, [rbx+16]
001df244mov rbx, -1
001df24bjmp 0x1def10
001df240
001df255
001df255 // align 0x10
001df255 // align 0x10
001df269
001df269 // align 0x10
001df269 // align 0x10
001df270
001df270Stdlib.Digest.to_hex:
001df270lea r10, [rsp-328]
001df278cmp r10, [r14+40]
001df27cjb 0x1df2c5
001df27e
001df27eloc_1df27e:
001df27esub rsp, 8
001df282mov [rsp], rax
001df286mov rbx, [rbx+16]
001df28amov rdi, [rax-8]
001df28eshr rdi, 10
001df292lea rdi, [8*rdi-1]
001df29amovzx rax, [rax+rdi]
001df29fsub rdi, rax
001df2a2lea rax, [rdi+rdi+1]
001df2a7cmp rax, rbx
001df2aaje 0x1df2b8
001df2aclea rax, [rip+0x18580d]
001df2b3call camlStdlib.invalid_arg_10
001df2b8
001df2b8loc_1df2b8:
001df2b8mov rax, [rsp]
001df2bcadd rsp, 8
001df2c0jmp 0x1de700
001df2c5
001df2c5loc_1df2c5:
001df2c5push 34
001df2c7call caml_call_realloc_stack
001df2ccpop r10
001df2cejmp 0x1df27e
001df270
001df270Stdlib.Digest.to_hex:
001df270lea r10, [rsp-328]
001df278cmp r10, [r14+40]
001df27cjb 0x1df2c5
001df27e
001df27eloc_1df27e:
001df27esub rsp, 8
001df282mov [rsp], rax
001df286mov rbx, [rbx+16]
001df28amov rdi, [rax-8]
001df28eshr rdi, 10
001df292lea rdi, [8*rdi-1]
001df29amovzx rax, [rax+rdi]
001df29fsub rdi, rax
001df2a2lea rax, [rdi+rdi+1]
001df2a7cmp rax, rbx
001df2aaje 0x1df2b8
001df2aclea rax, [rip+0x18580d]
001df2b3call camlStdlib.invalid_arg_10
001df2b8
001df2b8loc_1df2b8:
001df2b8mov rax, [rsp]
001df2bcadd rsp, 8
001df2c0jmp 0x1de700
001df2c5
001df2c5loc_1df2c5:
001df2c5push 34
001df2c7call caml_call_realloc_stack
001df2ccpop r10
001df2cejmp 0x1df27e
001df270
001df2d0
001df2d0Stdlib.Digest.of_hex:
001df2d0lea r10, [rsp-328]
001df2d8cmp r10, [r14+40]
001df2dcjb 0x1df32a
001df2de
001df2deloc_1df2de:
001df2desub rsp, 8
001df2e2mov [rsp], rax
001df2e6mov rbx, [rbx+16]
001df2ealea rbx, [rbx+rbx-1]
001df2efmov rdi, [rax-8]
001df2f3shr rdi, 10
001df2f7lea rdi, [8*rdi-1]
001df2ffmovzx rax, [rax+rdi]
001df304sub rdi, rax
001df307lea rax, [rdi+rdi+1]
001df30ccmp rax, rbx
001df30fje 0x1df31d
001df311lea rax, [rip+0x1857c0]
001df318call camlStdlib.invalid_arg_10
001df31d
001df31dloc_1df31d:
001df31dmov rax, [rsp]
001df321add rsp, 8
001df325jmp 0x1de860
001df32a
001df32aloc_1df32a:
001df32apush 34
001df32ccall caml_call_realloc_stack
001df331pop r10
001df333jmp 0x1df2de
001df2d0
001df2d0Stdlib.Digest.of_hex:
001df2d0lea r10, [rsp-328]
001df2d8cmp r10, [r14+40]
001df2dcjb 0x1df32a
001df2de
001df2deloc_1df2de:
001df2desub rsp, 8
001df2e2mov [rsp], rax
001df2e6mov rbx, [rbx+16]
001df2ealea rbx, [rbx+rbx-1]
001df2efmov rdi, [rax-8]
001df2f3shr rdi, 10
001df2f7lea rdi, [8*rdi-1]
001df2ffmovzx rax, [rax+rdi]
001df304sub rdi, rax
001df307lea rax, [rdi+rdi+1]
001df30ccmp rax, rbx
001df30fje 0x1df31d
001df311lea rax, [rip+0x1857c0]
001df318call camlStdlib.invalid_arg_10
001df31d
001df31dloc_1df31d:
001df31dmov rax, [rsp]
001df321add rsp, 8
001df325jmp 0x1de860
001df32a
001df32aloc_1df32a:
001df32apush 34
001df32ccall caml_call_realloc_stack
001df331pop r10
001df333jmp 0x1df2de
001df2d0
001df335
001df335 // align 0x10
001df335 // align 0x10
001df340
001df340Stdlib.Digest.fun:
001df340mov rdi, rax
001df343mov rsi, rbx
001df346lea rax, [rip+0x36503]
001df34dcall caml_c_call
001df352ret
001df340
001df340Stdlib.Digest.fun:
001df340mov rdi, rax
001df343mov rsi, rbx
001df346lea rax, [rip+0x36503]
001df34dcall caml_c_call
001df352ret
001df340
001df353
001df353 // align 0x10
001df353 // align 0x10
001df360
001df360Stdlib.Digest.string:
001df360mov rbx, [rax-8]
001df364shr rbx, 10
001df368lea rbx, [8*rbx-1]
001df370movzx rdi, [rax+rbx]
001df375sub rbx, rdi
001df378lea rdx, [rbx+rbx+1]
001df37dmov esi, 1
001df382mov rdi, rax
001df385lea rax, [rip+0x362e4]
001df38ccall caml_c_call
001df391ret
001df360
001df360Stdlib.Digest.string:
001df360mov rbx, [rax-8]
001df364shr rbx, 10
001df368lea rbx, [8*rbx-1]
001df370movzx rdi, [rax+rbx]
001df375sub rbx, rdi
001df378lea rdx, [rbx+rbx+1]
001df37dmov esi, 1
001df382mov rdi, rax
001df385lea rax, [rip+0x362e4]
001df38ccall caml_c_call
001df391ret
001df360
001df392
001df392 // align 0x10
001df392 // align 0x10
001df3a0
001df3a0Stdlib.Digest.bytes:
001df3a0mov rbx, [rax-8]
001df3a4shr rbx, 10
001df3a8lea rbx, [8*rbx-1]
001df3b0movzx rdi, [rax+rbx]
001df3b5sub rbx, rdi
001df3b8lea rdx, [rbx+rbx+1]
001df3bdmov esi, 1
001df3c2mov rdi, rax
001df3c5lea rax, [rip+0x36584]
001df3cccall caml_c_call
001df3d1ret
001df3a0
001df3a0Stdlib.Digest.bytes:
001df3a0mov rbx, [rax-8]
001df3a4shr rbx, 10
001df3a8lea rbx, [8*rbx-1]
001df3b0movzx rdi, [rax+rbx]
001df3b5sub rbx, rdi
001df3b8lea rdx, [rbx+rbx+1]
001df3bdmov esi, 1
001df3c2mov rdi, rax
001df3c5lea rax, [rip+0x36584]
001df3cccall caml_c_call
001df3d1ret
001df3a0
001df3d2
001df3d2 // align 0x10
001df3d2 // align 0x10
001df3e0
001df3e0Stdlib.Digest.substring:
001df3e0mov rdx, rdi
001df3e3cmp rbx, 1
001df3e7jl 0x1df42c
001df3e9cmp rdx, 1
001df3edjl 0x1df42c
001df3efmov rdi, [rax-8]
001df3f3shr rdi, 10
001df3f7lea rdi, [8*rdi-1]
001df3ffmovzx rsi, [rax+rdi]
001df404sub rdi, rsi
001df407shl rdi, 1
001df40asub rdi, rdx
001df40dadd rdi, 2
001df411cmp rbx, rdi
001df414jg 0x1df42c
001df416mov rdi, rax
001df419mov rsi, rbx
001df41clea rax, [rip+0x3624d]
001df423call caml_c_call
001df428ret
001df429
001df429 0f 1f 00 ...
001df42c
001df42cloc_1df42c:
001df42clea rax, [rip+0x1855ed]
001df433jmp 0x195ab0
001df3e0
001df3e0Stdlib.Digest.substring:
001df3e0mov rdx, rdi
001df3e3cmp rbx, 1
001df3e7jl 0x1df42c
001df3e9cmp rdx, 1
001df3edjl 0x1df42c
001df3efmov rdi, [rax-8]
001df3f3shr rdi, 10
001df3f7lea rdi, [8*rdi-1]
001df3ffmovzx rsi, [rax+rdi]
001df404sub rdi, rsi
001df407shl rdi, 1
001df40asub rdi, rdx
001df40dadd rdi, 2
001df411cmp rbx, rdi
001df414jg 0x1df42c
001df416mov rdi, rax
001df419mov rsi, rbx
001df41clea rax, [rip+0x3624d]
001df423call caml_c_call
001df428ret
001df429
001df429 0f 1f 00 ...
001df42c
001df42cloc_1df42c:
001df42clea rax, [rip+0x1855ed]
001df433jmp 0x195ab0
001df3e0
001df438
001df438 // align 0x10
001df438 // align 0x10
001df440
001df440Stdlib.Digest.subbytes:
001df440mov rdx, rdi
001df443cmp rbx, 1
001df447jl 0x1df48c
001df449cmp rdx, 1
001df44djl 0x1df48c
001df44fmov rdi, [rax-8]
001df453shr rdi, 10
001df457lea rdi, [8*rdi-1]
001df45fmovzx rsi, [rax+rdi]
001df464sub rdi, rsi
001df467shl rdi, 1
001df46asub rdi, rdx
001df46dadd rdi, 2
001df471cmp rbx, rdi
001df474jg 0x1df48c
001df476mov rdi, rax
001df479mov rsi, rbx
001df47clea rax, [rip+0x364cd]
001df483call caml_c_call
001df488ret
001df489
001df489 0f 1f 00 ...
001df48c
001df48cloc_1df48c:
001df48clea rax, [rip+0x185575]
001df493jmp 0x195ab0
001df440
001df440Stdlib.Digest.subbytes:
001df440mov rdx, rdi
001df443cmp rbx, 1
001df447jl 0x1df48c
001df449cmp rdx, 1
001df44djl 0x1df48c
001df44fmov rdi, [rax-8]
001df453shr rdi, 10
001df457lea rdi, [8*rdi-1]
001df45fmovzx rsi, [rax+rdi]
001df464sub rdi, rsi
001df467shl rdi, 1
001df46asub rdi, rdx
001df46dadd rdi, 2
001df471cmp rbx, rdi
001df474jg 0x1df48c
001df476mov rdi, rax
001df479mov rsi, rbx
001df47clea rax, [rip+0x364cd]
001df483call caml_c_call
001df488ret
001df489
001df489 0f 1f 00 ...
001df48c
001df48cloc_1df48c:
001df48clea rax, [rip+0x185575]
001df493jmp 0x195ab0
001df440
001df498
001df498 // align 0x10
001df498 // align 0x10
001df4a0
001df4a0Stdlib.Digest.file:
001df4a0mov rbx, rax
001df4a3lea rdi, [rip+0x18528e]
001df4aalea rax, [rip+0x14e167]
001df4b1mov rax, [rax+632]
001df4b8jmp 0x1dd5e0
001df4a0
001df4a0Stdlib.Digest.file:
001df4a0mov rbx, rax
001df4a3lea rdi, [rip+0x18528e]
001df4aalea rax, [rip+0x14e167]
001df4b1mov rax, [rax+632]
001df4b8jmp 0x1dd5e0
001df4a0
001df4bd
001df4bd // align 0x10
001df4bd // align 0x10
001df4c0
001df4c0Stdlib.Digest.fun:
001df4c0mov rsi, -1
001df4c7mov rdi, rax
001df4calea rax, [rip+0x3637f]
001df4d1call caml_c_call
001df4d6ret
001df4c0
001df4c0Stdlib.Digest.fun:
001df4c0mov rsi, -1
001df4c7mov rdi, rax
001df4calea rax, [rip+0x3637f]
001df4d1call caml_c_call
001df4d6ret
001df4c0
001df4d7
001df4d7 // align 0x10
001df4d7 // align 0x10
001df4e5
001df4e5 // align 0x10
001df4e5 // align 0x10
001df4fa
001df4fa // align 0x10
001df4fa // align 0x10
001df500
001df500Stdlib.Digest.to_hex:
001df500lea r10, [rsp-328]
001df508cmp r10, [r14+40]
001df50cjb 0x1df552
001df50e
001df50eloc_1df50e:
001df50esub rsp, 8
001df512mov [rsp], rax
001df516mov rbx, [rax-8]
001df51ashr rbx, 10
001df51elea rbx, [8*rbx-1]
001df526movzx rax, [rax+rbx]
001df52bsub rbx, rax
001df52elea rax, [rbx+rbx+1]
001df533cmp rax, 33
001df537je 0x1df545
001df539lea rax, [rip+0x185580]
001df540call camlStdlib.invalid_arg_10
001df545
001df545loc_1df545:
001df545mov rax, [rsp]
001df549add rsp, 8
001df54djmp 0x1de700
001df552
001df552loc_1df552:
001df552push 34
001df554call caml_call_realloc_stack
001df559pop r10
001df55bjmp 0x1df50e
001df500
001df500Stdlib.Digest.to_hex:
001df500lea r10, [rsp-328]
001df508cmp r10, [r14+40]
001df50cjb 0x1df552
001df50e
001df50eloc_1df50e:
001df50esub rsp, 8
001df512mov [rsp], rax
001df516mov rbx, [rax-8]
001df51ashr rbx, 10
001df51elea rbx, [8*rbx-1]
001df526movzx rax, [rax+rbx]
001df52bsub rbx, rax
001df52elea rax, [rbx+rbx+1]
001df533cmp rax, 33
001df537je 0x1df545
001df539lea rax, [rip+0x185580]
001df540call camlStdlib.invalid_arg_10
001df545
001df545loc_1df545:
001df545mov rax, [rsp]
001df549add rsp, 8
001df54djmp 0x1de700
001df552
001df552loc_1df552:
001df552push 34
001df554call caml_call_realloc_stack
001df559pop r10
001df55bjmp 0x1df50e
001df500
001df55d
001df55d // align 0x10
001df55d // align 0x10
001df560
001df560Stdlib.Digest.of_hex:
001df560lea r10, [rsp-328]
001df568cmp r10, [r14+40]
001df56cjb 0x1df5b2
001df56e
001df56eloc_1df56e:
001df56esub rsp, 8
001df572mov [rsp], rax
001df576mov rbx, [rax-8]
001df57ashr rbx, 10
001df57elea rbx, [8*rbx-1]
001df586movzx rax, [rax+rbx]
001df58bsub rbx, rax
001df58elea rax, [rbx+rbx+1]
001df593cmp rax, 65
001df597je 0x1df5a5
001df599lea rax, [rip+0x1854d8]
001df5a0call camlStdlib.invalid_arg_10
001df5a5
001df5a5loc_1df5a5:
001df5a5mov rax, [rsp]
001df5a9add rsp, 8
001df5adjmp 0x1de860
001df5b2
001df5b2loc_1df5b2:
001df5b2push 34
001df5b4call caml_call_realloc_stack
001df5b9pop r10
001df5bbjmp 0x1df56e
001df560
001df560Stdlib.Digest.of_hex:
001df560lea r10, [rsp-328]
001df568cmp r10, [r14+40]
001df56cjb 0x1df5b2
001df56e
001df56eloc_1df56e:
001df56esub rsp, 8
001df572mov [rsp], rax
001df576mov rbx, [rax-8]
001df57ashr rbx, 10
001df57elea rbx, [8*rbx-1]
001df586movzx rax, [rax+rbx]
001df58bsub rbx, rax
001df58elea rax, [rbx+rbx+1]
001df593cmp rax, 65
001df597je 0x1df5a5
001df599lea rax, [rip+0x1854d8]
001df5a0call camlStdlib.invalid_arg_10
001df5a5
001df5a5loc_1df5a5:
001df5a5mov rax, [rsp]
001df5a9add rsp, 8
001df5adjmp 0x1de860
001df5b2
001df5b2loc_1df5b2:
001df5b2push 34
001df5b4call caml_call_realloc_stack
001df5b9pop r10
001df5bbjmp 0x1df56e
001df560
001df5bd
001df5bd // align 0x10
001df5bd // align 0x10
001df5c0
001df5c0Stdlib.Digest.entry:
001df5c0lea r10, [rsp-320]
001df5c8cmp r10, [r14+40]
001df5ccjb 0x1dfb6f
001df5d2
001df5d2loc_1df5d2:
001df5d2lea rsi, [rip+0x185197]
001df5d9lea rdi, [rip+0x185308]
001df5e0add rdi, 48
001df5e4mov rbx, rsp
001df5e7mov rsp, [r14+64]
001df5ebcall caml_initialize
001df5f0mov rsp, rbx
001df5f3lea rsi, [rip+0x185196]
001df5falea rdi, [rip+0x1852e7]
001df601add rdi, 136
001df608mov rbx, rsp
001df60bmov rsp, [r14+64]
001df60fcall caml_initialize
001df614mov rsp, rbx
001df617lea rsi, [rip+0x18518a]
001df61elea rdi, [rip+0x1852c3]
001df625add rdi, 144
001df62cmov rbx, rsp
001df62fmov rsp, [r14+64]
001df633call caml_initialize
001df638mov rsp, rbx
001df63blea rsi, [rip+0x18528e]
001df642lea rdi, [rip+0x18529f]
001df649add rdi, 152
001df650mov rbx, rsp
001df653mov rsp, [r14+64]
001df657call caml_initialize
001df65cmov rsp, rbx
001df65flea rax, [rip+0x18544a]
001df666call Stdlib.Digest.BLAKE2
001df66blea rdi, [rip+0x185276]
001df672add rdi, 104
001df676mov rsi, rax
001df679mov rbx, rsp
001df67cmov rsp, [r14+64]
001df680call caml_initialize
001df685mov rsp, rbx
001df688lea rax, [rip+0x185411]
001df68fcall Stdlib.Digest.BLAKE2
001df694lea rdi, [rip+0x18524d]
001df69badd rdi, 112
001df69fmov rsi, rax
001df6a2mov rbx, rsp
001df6a5mov rsp, [r14+64]
001df6a9call caml_initialize
001df6aemov rsp, rbx
001df6b1lea rax, [rip+0x1853d8]
001df6b8call Stdlib.Digest.BLAKE2
001df6bdlea rdi, [rip+0x185224]
001df6c4add rdi, 120
001df6c8mov rsi, rax
001df6cbmov rbx, rsp
001df6cemov rsp, [r14+64]
001df6d2call caml_initialize
001df6d7mov rsp, rbx
001df6damov esi, 33
001df6dflea rdi, [rip+0x185202]
001df6e6add rdi, 168
001df6edmov rbx, rsp
001df6f0mov rsp, [r14+64]
001df6f4call caml_initialize
001df6f9mov rsp, rbx
001df6fclea rax, [rip+0x15cafd]
001df703mov rsi, [rax+72]
001df707lea rdi, [rip+0x1851da]
001df70eadd rdi, 176
001df715mov rbx, rsp
001df718mov rsp, [r14+64]
001df71ccall caml_initialize
001df721mov rsp, rbx
001df724lea rax, [rip+0x15cad5]
001df72bmov rsi, [rax+64]
001df72flea rdi, [rip+0x1851b2]
001df736add rdi, 184
001df73dmov rbx, rsp
001df740mov rsp, [r14+64]
001df744call caml_initialize
001df749mov rsp, rbx
001df74clea rsi, [rip+0x18506d]
001df753lea rdi, [rip+0x18518e]
001df75aadd rdi, 192
001df761mov rbx, rsp
001df764mov rsp, [r14+64]
001df768call caml_initialize
001df76dmov rsp, rbx
001df770lea rsi, [rip+0x185061]
001df777lea rdi, [rip+0x18516a]
001df77eadd rdi, 200
001df785mov rbx, rsp
001df788mov rsp, [r14+64]
001df78ccall caml_initialize
001df791mov rsp, rbx
001df794lea rsi, [rip+0x185055]
001df79blea rdi, [rip+0x185146]
001df7a2add rdi, 208
001df7a9mov rbx, rsp
001df7acmov rsp, [r14+64]
001df7b0call caml_initialize
001df7b5mov rsp, rbx
001df7b8lea rsi, [rip+0x185051]
001df7bflea rdi, [rip+0x185122]
001df7c6add rdi, 216
001df7cdmov rbx, rsp
001df7d0mov rsp, [r14+64]
001df7d4call caml_initialize
001df7d9mov rsp, rbx
001df7dclea rsi, [rip+0x18504d]
001df7e3lea rdi, [rip+0x1850fe]
001df7eaadd rdi, 224
001df7f1mov rbx, rsp
001df7f4mov rsp, [r14+64]
001df7f8call caml_initialize
001df7fdmov rsp, rbx
001df800lea rsi, [rip+0x185041]
001df807lea rdi, [rip+0x1850da]
001df80eadd rdi, 232
001df815mov rbx, rsp
001df818mov rsp, [r14+64]
001df81ccall caml_initialize
001df821mov rsp, rbx
001df824lea rsi, [rip+0x18503d]
001df82blea rdi, [rip+0x1850b6]
001df832add rdi, 240
001df839mov rbx, rsp
001df83cmov rsp, [r14+64]
001df840call caml_initialize
001df845mov rsp, rbx
001df848lea rsi, [rip+0x185031]
001df84flea rdi, [rip+0x185092]
001df856add rdi, 248
001df85dmov rbx, rsp
001df860mov rsp, [r14+64]
001df864call caml_initialize
001df869mov rsp, rbx
001df86clea rsi, [rip+0x185025]
001df873lea rdi, [rip+0x18506e]
001df87aadd rdi, 256
001df881mov rbx, rsp
001df884mov rsp, [r14+64]
001df888call caml_initialize
001df88dmov rsp, rbx
001df890sub r15, 216
001df897call caml_allocN
001df89clea r12, [r15+8]
001df8a0add r12, 112
001df8a4mov [r12-8], 12288
001df8admov [r12], 33
001df8b5lea rdi, [rip+0x18502c]
001df8bcmov rax, [rdi+176]
001df8c3mov [r12+8], rax
001df8c8mov rax, [rdi+184]
001df8cfmov [r12+16], rax
001df8d4mov rax, [rdi+192]
001df8dbmov [r12+24], rax
001df8e0mov rax, [rdi+200]
001df8e7mov [r12+32], rax
001df8ecmov rax, [rdi+208]
001df8f3mov [r12+40], rax
001df8f8mov rax, [rdi+216]
001df8ffmov [r12+48], rax
001df904mov rax, [rdi+224]
001df90bmov [r12+56], rax
001df910mov rax, [rdi+232]
001df917mov [r12+64], rax
001df91cmov rax, [rdi+240]
001df923mov [r12+72], rax
001df928mov rax, [rdi+248]
001df92fmov [r12+80], rax
001df934mov rax, [rdi+256]
001df93bmov [r12+88], rax
001df940lea rsi, [r12-112]
001df945mov [rsi-8], 13312
001df94dmov [rsi], 33
001df954mov rax, [r12+8]
001df959mov [rsi+8], rax
001df95dmov rax, [r12+16]
001df962mov [rsi+16], rax
001df966mov rax, [r12+24]
001df96bmov [rsi+24], rax
001df96fmov rax, [r12+32]
001df974mov [rsi+32], rax
001df978mov rax, [r12+40]
001df97dmov [rsi+40], rax
001df981mov rax, [r12+48]
001df986mov [rsi+48], rax
001df98alea rax, [rip+0x184f1f]
001df991mov [rsi+56], rax
001df995mov rax, [r12+56]
001df99amov [rsi+64], rax
001df99emov rax, [r12+64]
001df9a3mov [rsi+72], rax
001df9a7mov rax, [r12+72]
001df9acmov [rsi+80], rax
001df9b0mov rax, [r12+80]
001df9b5mov [rsi+88], rax
001df9b9mov rax, [r12+88]
001df9bemov [rsi+96], rax
001df9c2add rdi, 128
001df9c9mov rbx, rsp
001df9ccmov rsp, [r14+64]
001df9d0call caml_initialize
001df9d5mov rsp, rbx
001df9d8mov esi, 33
001df9ddlea rdi, [rip+0x184f04]
001df9e4add rdi, 160
001df9ebmov rbx, rsp
001df9eemov rsp, [r14+64]
001df9f2call caml_initialize
001df9f7mov rsp, rbx
001df9famov rsi, [r12+8]
001df9fflea rdi, [rip+0x184ee2]
001dfa06mov rbx, rsp
001dfa09mov rsp, [r14+64]
001dfa0dcall caml_initialize
001dfa12mov rsp, rbx
001dfa15mov rsi, [r12+16]
001dfa1alea rdi, [rip+0x184ec7]
001dfa21add rdi, 8
001dfa25mov rbx, rsp
001dfa28mov rsp, [r14+64]
001dfa2ccall caml_initialize
001dfa31mov rsp, rbx
001dfa34mov rsi, [r12+24]
001dfa39lea rdi, [rip+0x184ea8]
001dfa40add rdi, 16
001dfa44mov rbx, rsp
001dfa47mov rsp, [r14+64]
001dfa4bcall caml_initialize
001dfa50mov rsp, rbx
001dfa53mov rsi, [r12+32]
001dfa58lea rdi, [rip+0x184e89]
001dfa5fadd rdi, 24
001dfa63mov rbx, rsp
001dfa66mov rsp, [r14+64]
001dfa6acall caml_initialize
001dfa6fmov rsp, rbx
001dfa72mov rsi, [r12+40]
001dfa77lea rdi, [rip+0x184e6a]
001dfa7eadd rdi, 32
001dfa82mov rbx, rsp
001dfa85mov rsp, [r14+64]
001dfa89call caml_initialize
001dfa8emov rsp, rbx
001dfa91mov rsi, [r12+48]
001dfa96lea rdi, [rip+0x184e4b]
001dfa9dadd rdi, 40
001dfaa1mov rbx, rsp
001dfaa4mov rsp, [r14+64]
001dfaa8call caml_initialize
001dfaadmov rsp, rbx
001dfab0mov rsi, [r12+56]
001dfab5lea rdi, [rip+0x184e2c]
001dfabcadd rdi, 56
001dfac0mov rbx, rsp
001dfac3mov rsp, [r14+64]
001dfac7call caml_initialize
001dfaccmov rsp, rbx
001dfacfmov rsi, [r12+64]
001dfad4lea rdi, [rip+0x184e0d]
001dfadbadd rdi, 64
001dfadfmov rbx, rsp
001dfae2mov rsp, [r14+64]
001dfae6call caml_initialize
001dfaebmov rsp, rbx
001dfaeemov rsi, [r12+72]
001dfaf3lea rdi, [rip+0x184dee]
001dfafaadd rdi, 72
001dfafemov rbx, rsp
001dfb01mov rsp, [r14+64]
001dfb05call caml_initialize
001dfb0amov rsp, rbx
001dfb0dmov rsi, [r12+80]
001dfb12lea rdi, [rip+0x184dcf]
001dfb19add rdi, 80
001dfb1dmov rbx, rsp
001dfb20mov rsp, [r14+64]
001dfb24call caml_initialize
001dfb29mov rsp, rbx
001dfb2cmov rsi, [r12+88]
001dfb31lea rdi, [rip+0x184db0]
001dfb38add rdi, 88
001dfb3cmov rbx, rsp
001dfb3fmov rsp, [r14+64]
001dfb43call caml_initialize
001dfb48mov rsp, rbx
001dfb4blea rdi, [rip+0x184d96]
001dfb52mov rsi, [rdi+88]
001dfb56add rdi, 96
001dfb5amov rbx, rsp
001dfb5dmov rsp, [r14+64]
001dfb61call caml_initialize
001dfb66mov rsp, rbx
001dfb69mov eax, 1
001dfb6eret
001dfb6f
001dfb6floc_1dfb6f:
001dfb6fpush 33
001dfb71call caml_call_realloc_stack
001dfb76pop r10
001dfb78jmp 0x1df5d2
001df5c0
001df5c0Stdlib.Digest.entry:
001df5c0lea r10, [rsp-320]
001df5c8cmp r10, [r14+40]
001df5ccjb 0x1dfb6f
001df5d2
001df5d2loc_1df5d2:
001df5d2lea rsi, [rip+0x185197]
001df5d9lea rdi, [rip+0x185308]
001df5e0add rdi, 48
001df5e4mov rbx, rsp
001df5e7mov rsp, [r14+64]
001df5ebcall caml_initialize
001df5f0mov rsp, rbx
001df5f3lea rsi, [rip+0x185196]
001df5falea rdi, [rip+0x1852e7]
001df601add rdi, 136
001df608mov rbx, rsp
001df60bmov rsp, [r14+64]
001df60fcall caml_initialize
001df614mov rsp, rbx
001df617lea rsi, [rip+0x18518a]
001df61elea rdi, [rip+0x1852c3]
001df625add rdi, 144
001df62cmov rbx, rsp
001df62fmov rsp, [r14+64]
001df633call caml_initialize
001df638mov rsp, rbx
001df63blea rsi, [rip+0x18528e]
001df642lea rdi, [rip+0x18529f]
001df649add rdi, 152
001df650mov rbx, rsp
001df653mov rsp, [r14+64]
001df657call caml_initialize
001df65cmov rsp, rbx
001df65flea rax, [rip+0x18544a]
001df666call Stdlib.Digest.BLAKE2
001df66blea rdi, [rip+0x185276]
001df672add rdi, 104
001df676mov rsi, rax
001df679mov rbx, rsp
001df67cmov rsp, [r14+64]
001df680call caml_initialize
001df685mov rsp, rbx
001df688lea rax, [rip+0x185411]
001df68fcall Stdlib.Digest.BLAKE2
001df694lea rdi, [rip+0x18524d]
001df69badd rdi, 112
001df69fmov rsi, rax
001df6a2mov rbx, rsp
001df6a5mov rsp, [r14+64]
001df6a9call caml_initialize
001df6aemov rsp, rbx
001df6b1lea rax, [rip+0x1853d8]
001df6b8call Stdlib.Digest.BLAKE2
001df6bdlea rdi, [rip+0x185224]
001df6c4add rdi, 120
001df6c8mov rsi, rax
001df6cbmov rbx, rsp
001df6cemov rsp, [r14+64]
001df6d2call caml_initialize
001df6d7mov rsp, rbx
001df6damov esi, 33
001df6dflea rdi, [rip+0x185202]
001df6e6add rdi, 168
001df6edmov rbx, rsp
001df6f0mov rsp, [r14+64]
001df6f4call caml_initialize
001df6f9mov rsp, rbx
001df6fclea rax, [rip+0x15cafd]
001df703mov rsi, [rax+72]
001df707lea rdi, [rip+0x1851da]
001df70eadd rdi, 176
001df715mov rbx, rsp
001df718mov rsp, [r14+64]
001df71ccall caml_initialize
001df721mov rsp, rbx
001df724lea rax, [rip+0x15cad5]
001df72bmov rsi, [rax+64]
001df72flea rdi, [rip+0x1851b2]
001df736add rdi, 184
001df73dmov rbx, rsp
001df740mov rsp, [r14+64]
001df744call caml_initialize
001df749mov rsp, rbx
001df74clea rsi, [rip+0x18506d]
001df753lea rdi, [rip+0x18518e]
001df75aadd rdi, 192
001df761mov rbx, rsp
001df764mov rsp, [r14+64]
001df768call caml_initialize
001df76dmov rsp, rbx
001df770lea rsi, [rip+0x185061]
001df777lea rdi, [rip+0x18516a]
001df77eadd rdi, 200
001df785mov rbx, rsp
001df788mov rsp, [r14+64]
001df78ccall caml_initialize
001df791mov rsp, rbx
001df794lea rsi, [rip+0x185055]
001df79blea rdi, [rip+0x185146]
001df7a2add rdi, 208
001df7a9mov rbx, rsp
001df7acmov rsp, [r14+64]
001df7b0call caml_initialize
001df7b5mov rsp, rbx
001df7b8lea rsi, [rip+0x185051]
001df7bflea rdi, [rip+0x185122]
001df7c6add rdi, 216
001df7cdmov rbx, rsp
001df7d0mov rsp, [r14+64]
001df7d4call caml_initialize
001df7d9mov rsp, rbx
001df7dclea rsi, [rip+0x18504d]
001df7e3lea rdi, [rip+0x1850fe]
001df7eaadd rdi, 224
001df7f1mov rbx, rsp
001df7f4mov rsp, [r14+64]
001df7f8call caml_initialize
001df7fdmov rsp, rbx
001df800lea rsi, [rip+0x185041]
001df807lea rdi, [rip+0x1850da]
001df80eadd rdi, 232
001df815mov rbx, rsp
001df818mov rsp, [r14+64]
001df81ccall caml_initialize
001df821mov rsp, rbx
001df824lea rsi, [rip+0x18503d]
001df82blea rdi, [rip+0x1850b6]
001df832add rdi, 240
001df839mov rbx, rsp
001df83cmov rsp, [r14+64]
001df840call caml_initialize
001df845mov rsp, rbx
001df848lea rsi, [rip+0x185031]
001df84flea rdi, [rip+0x185092]
001df856add rdi, 248
001df85dmov rbx, rsp
001df860mov rsp, [r14+64]
001df864call caml_initialize
001df869mov rsp, rbx
001df86clea rsi, [rip+0x185025]
001df873lea rdi, [rip+0x18506e]
001df87aadd rdi, 256
001df881mov rbx, rsp
001df884mov rsp, [r14+64]
001df888call caml_initialize
001df88dmov rsp, rbx
001df890sub r15, 216
001df897call caml_allocN
001df89clea r12, [r15+8]
001df8a0add r12, 112
001df8a4mov [r12-8], 12288
001df8admov [r12], 33
001df8b5lea rdi, [rip+0x18502c]
001df8bcmov rax, [rdi+176]
001df8c3mov [r12+8], rax
001df8c8mov rax, [rdi+184]
001df8cfmov [r12+16], rax
001df8d4mov rax, [rdi+192]
001df8dbmov [r12+24], rax
001df8e0mov rax, [rdi+200]
001df8e7mov [r12+32], rax
001df8ecmov rax, [rdi+208]
001df8f3mov [r12+40], rax
001df8f8mov rax, [rdi+216]
001df8ffmov [r12+48], rax
001df904mov rax, [rdi+224]
001df90bmov [r12+56], rax
001df910mov rax, [rdi+232]
001df917mov [r12+64], rax
001df91cmov rax, [rdi+240]
001df923mov [r12+72], rax
001df928mov rax, [rdi+248]
001df92fmov [r12+80], rax
001df934mov rax, [rdi+256]
001df93bmov [r12+88], rax
001df940lea rsi, [r12-112]
001df945mov [rsi-8], 13312
001df94dmov [rsi], 33
001df954mov rax, [r12+8]
001df959mov [rsi+8], rax
001df95dmov rax, [r12+16]
001df962mov [rsi+16], rax
001df966mov rax, [r12+24]
001df96bmov [rsi+24], rax
001df96fmov rax, [r12+32]
001df974mov [rsi+32], rax
001df978mov rax, [r12+40]
001df97dmov [rsi+40], rax
001df981mov rax, [r12+48]
001df986mov [rsi+48], rax
001df98alea rax, [rip+0x184f1f]
001df991mov [rsi+56], rax
001df995mov rax, [r12+56]
001df99amov [rsi+64], rax
001df99emov rax, [r12+64]
001df9a3mov [rsi+72], rax
001df9a7mov rax, [r12+72]
001df9acmov [rsi+80], rax
001df9b0mov rax, [r12+80]
001df9b5mov [rsi+88], rax
001df9b9mov rax, [r12+88]
001df9bemov [rsi+96], rax
001df9c2add rdi, 128
001df9c9mov rbx, rsp
001df9ccmov rsp, [r14+64]
001df9d0call caml_initialize
001df9d5mov rsp, rbx
001df9d8mov esi, 33
001df9ddlea rdi, [rip+0x184f04]
001df9e4add rdi, 160
001df9ebmov rbx, rsp
001df9eemov rsp, [r14+64]
001df9f2call caml_initialize
001df9f7mov rsp, rbx
001df9famov rsi, [r12+8]
001df9fflea rdi, [rip+0x184ee2]
001dfa06mov rbx, rsp
001dfa09mov rsp, [r14+64]
001dfa0dcall caml_initialize
001dfa12mov rsp, rbx
001dfa15mov rsi, [r12+16]
001dfa1alea rdi, [rip+0x184ec7]
001dfa21add rdi, 8
001dfa25mov rbx, rsp
001dfa28mov rsp, [r14+64]
001dfa2ccall caml_initialize
001dfa31mov rsp, rbx
001dfa34mov rsi, [r12+24]
001dfa39lea rdi, [rip+0x184ea8]
001dfa40add rdi, 16
001dfa44mov rbx, rsp
001dfa47mov rsp, [r14+64]
001dfa4bcall caml_initialize
001dfa50mov rsp, rbx
001dfa53mov rsi, [r12+32]
001dfa58lea rdi, [rip+0x184e89]
001dfa5fadd rdi, 24
001dfa63mov rbx, rsp
001dfa66mov rsp, [r14+64]
001dfa6acall caml_initialize
001dfa6fmov rsp, rbx
001dfa72mov rsi, [r12+40]
001dfa77lea rdi, [rip+0x184e6a]
001dfa7eadd rdi, 32
001dfa82mov rbx, rsp
001dfa85mov rsp, [r14+64]
001dfa89call caml_initialize
001dfa8emov rsp, rbx
001dfa91mov rsi, [r12+48]
001dfa96lea rdi, [rip+0x184e4b]
001dfa9dadd rdi, 40
001dfaa1mov rbx, rsp
001dfaa4mov rsp, [r14+64]
001dfaa8call caml_initialize
001dfaadmov rsp, rbx
001dfab0mov rsi, [r12+56]
001dfab5lea rdi, [rip+0x184e2c]
001dfabcadd rdi, 56
001dfac0mov rbx, rsp
001dfac3mov rsp, [r14+64]
001dfac7call caml_initialize
001dfaccmov rsp, rbx
001dfacfmov rsi, [r12+64]
001dfad4lea rdi, [rip+0x184e0d]
001dfadbadd rdi, 64
001dfadfmov rbx, rsp
001dfae2mov rsp, [r14+64]
001dfae6call caml_initialize
001dfaebmov rsp, rbx
001dfaeemov rsi, [r12+72]
001dfaf3lea rdi, [rip+0x184dee]
001dfafaadd rdi, 72
001dfafemov rbx, rsp
001dfb01mov rsp, [r14+64]
001dfb05call caml_initialize
001dfb0amov rsp, rbx
001dfb0dmov rsi, [r12+80]
001dfb12lea rdi, [rip+0x184dcf]
001dfb19add rdi, 80
001dfb1dmov rbx, rsp
001dfb20mov rsp, [r14+64]
001dfb24call caml_initialize
001dfb29mov rsp, rbx
001dfb2cmov rsi, [r12+88]
001dfb31lea rdi, [rip+0x184db0]
001dfb38add rdi, 88
001dfb3cmov rbx, rsp
001dfb3fmov rsp, [r14+64]
001dfb43call caml_initialize
001dfb48mov rsp, rbx
001dfb4blea rdi, [rip+0x184d96]
001dfb52mov rsi, [rdi+88]
001dfb56add rdi, 96
001dfb5amov rbx, rsp
001dfb5dmov rsp, [r14+64]
001dfb61call caml_initialize
001dfb66mov rsp, rbx
001dfb69mov eax, 1
001dfb6eret
001dfb6f
001dfb6floc_1dfb6f:
001dfb6fpush 33
001dfb71call caml_call_realloc_stack
001dfb76pop r10
001dfb78jmp 0x1df5d2
001df5c0
001dfb7d
001dfb7d // align 0x10
001dfb7d // align 0x10
001dfb80
001dfb80Stdlib.Bigarray.fun:
001dfb80mov rdi, rax
001dfb83mov rsi, rbx
001dfb86lea rax, [rip+0x1eb53]
001dfb8dcall caml_c_call
001dfb92ret
001dfb80
001dfb80Stdlib.Bigarray.fun:
001dfb80mov rdi, rax
001dfb83mov rsi, rbx
001dfb86lea rax, [rip+0x1eb53]
001dfb8dcall caml_c_call
001dfb92ret
001dfb80
001dfb93
001dfb93 // align 0x10
001dfb93 // align 0x10
001dfba0
001dfba0Stdlib.Bigarray.kind_size_in_bytes:
001dfba0sar rax, 1
001dfba3lea rdx, [rip+0x4ebae]
001dfbaamovsxd rax, [rdx+4*rax]
001dfbaeadd rdx, rax
001dfbb1jmp rdx
001dfbb3nop
001dfbb4mov eax, 33
001dfbb9ret
001dfbbanop
001dfbbcmov eax, 9
001dfbc1ret
001dfbc2nop
001dfbc4mov eax, 17
001dfbc9ret
001dfbcanop
001dfbccmov eax, 3
001dfbd1ret
001dfbd2nop
001dfbd4mov eax, 5
001dfbd9ret
001dfbdanop
001dfbdcmov eax, 17
001dfbe1ret
001dfba0
001dfba0Stdlib.Bigarray.kind_size_in_bytes:
001dfba0sar rax, 1
001dfba3lea rdx, [rip+0x4ebae]
001dfbaamovsxd rax, [rdx+4*rax]
001dfbaeadd rdx, rax
001dfbb1jmp rdx
001dfbb3nop
001dfbb4mov eax, 33
001dfbb9ret
001dfbbanop
001dfbbcmov eax, 9
001dfbc1ret
001dfbc2nop
001dfbc4mov eax, 17
001dfbc9ret
001dfbcanop
001dfbccmov eax, 3
001dfbd1ret
001dfbd2nop
001dfbd4mov eax, 5
001dfbd9ret
001dfbdanop
001dfbdcmov eax, 17
001dfbe1ret
001dfba0
001dfbe2
001dfbe2 // align 0x10
001dfbe2 // align 0x10
001dfbf0
001dfbf0Stdlib.Bigarray.cloop:
001dfbf0lea r10, [rsp-376]
001dfbf8cmp r10, [r14+40]
001dfbfcjb 0x1dfd06
001dfc02
001dfc02loc_1dfc02:
001dfc02sub rsp, 56
001dfc06mov r8, rax
001dfc09mov rax, rbx
001dfc0cmov rbx, rdi
001dfc0fmov rdi, [rax-8]
001dfc13shr rdi, 9
001dfc17or rdi, 1
001dfc1bcmp rsi, rdi
001dfc1ejne 0x1dfc50
001dfc20mov [rsp+48], rax
001dfc25mov [rsp+40], r8
001dfc2amov rdi, [rbx]
001dfc2dcall rdi
001dfc2fmov rdi, [rsp+40]
001dfc34mov rsi, [rsp+48]
001dfc39mov rdx, rax
001dfc3clea rax, [rip+0x1d63d]
001dfc43call caml_c_call
001dfc48add rsp, 56
001dfc4cret
001dfc4d
001dfc4d 0f 1f 00 ...
001dfc50
001dfc50loc_1dfc50:
001dfc50mov ecx, 1
001dfc55mov rdi, [rdx-8]
001dfc59shr rdi, 9
001dfc5dcmp rdi, rsi
001dfc60jbe 0x1dfd01
001dfc66mov rdi, [rdx+4*rsi-4]
001dfc6badd rdi, -2
001dfc6fcmp rcx, rdi
001dfc72jg 0x1dfceb
001dfc74mov [rsp+32], rdi
001dfc79mov [rsp+24], rcx
001dfc7emov [rsp+16], rdx
001dfc83mov [rsp], rsi
001dfc87mov [rsp+8], rbx
001dfc8cmov [rsp+48], rax
001dfc91mov [rsp+40], r8
001dfc96
001dfc96loc_1dfc96:
001dfc96mov rbx, [rsp+48]
001dfc9bmov rax, [rbx-8]
001dfc9fshr rax, 9
001dfca3mov rsi, [rsp]
001dfca7cmp rax, rsi
001dfcaajbe 0x1dfcfc
001dfcacmov [rbx+4*rsi-4], rcx
001dfcb1add rsi, 2
001dfcb5mov rax, [rsp+40]
001dfcbamov rdi, [rsp+8]
001dfcbfmov rdx, [rsp+16]
001dfcc4call Stdlib.Bigarray.cloop
001dfcc9mov rcx, [rsp+24]
001dfccemov rax, rcx
001dfcd1add rcx, 2
001dfcd5mov [rsp+24], rcx
001dfcdamov rbx, [rsp+32]
001dfcdfcmp rax, rbx
001dfce2je 0x1dfceb
001dfce4cmp r15, [r14]
001dfce7ja 0x1dfc96
001dfce9jmp 0x1dfcf5
001dfceb
001dfcebloc_1dfceb:
001dfcebmov eax, 1
001dfcf0add rsp, 56
001dfcf4ret
001dfcf5
001dfcf5loc_1dfcf5:
001dfcf5call caml_call_gc
001dfcfajmp 0x1dfc96
001dfcfc
001dfcfcloc_1dfcfc:
001dfcfccall caml_ml_array_bound_error
001dfd01
001dfd01loc_1dfd01:
001dfd01call caml_ml_array_bound_error
001dfd06
001dfd06loc_1dfd06:
001dfd06push 40
001dfd08call caml_call_realloc_stack
001dfd0dpop r10
001dfd0fjmp 0x1dfc02
001dfbf0
001dfbf0Stdlib.Bigarray.cloop:
001dfbf0lea r10, [rsp-376]
001dfbf8cmp r10, [r14+40]
001dfbfcjb 0x1dfd06
001dfc02
001dfc02loc_1dfc02:
001dfc02sub rsp, 56
001dfc06mov r8, rax
001dfc09mov rax, rbx
001dfc0cmov rbx, rdi
001dfc0fmov rdi, [rax-8]
001dfc13shr rdi, 9
001dfc17or rdi, 1
001dfc1bcmp rsi, rdi
001dfc1ejne 0x1dfc50
001dfc20mov [rsp+48], rax
001dfc25mov [rsp+40], r8
001dfc2amov rdi, [rbx]
001dfc2dcall rdi
001dfc2fmov rdi, [rsp+40]
001dfc34mov rsi, [rsp+48]
001dfc39mov rdx, rax
001dfc3clea rax, [rip+0x1d63d]
001dfc43call caml_c_call
001dfc48add rsp, 56
001dfc4cret
001dfc4d
001dfc4d 0f 1f 00 ...
001dfc50
001dfc50loc_1dfc50:
001dfc50mov ecx, 1
001dfc55mov rdi, [rdx-8]
001dfc59shr rdi, 9
001dfc5dcmp rdi, rsi
001dfc60jbe 0x1dfd01
001dfc66mov rdi, [rdx+4*rsi-4]
001dfc6badd rdi, -2
001dfc6fcmp rcx, rdi
001dfc72jg 0x1dfceb
001dfc74mov [rsp+32], rdi
001dfc79mov [rsp+24], rcx
001dfc7emov [rsp+16], rdx
001dfc83mov [rsp], rsi
001dfc87mov [rsp+8], rbx
001dfc8cmov [rsp+48], rax
001dfc91mov [rsp+40], r8
001dfc96
001dfc96loc_1dfc96:
001dfc96mov rbx, [rsp+48]
001dfc9bmov rax, [rbx-8]
001dfc9fshr rax, 9
001dfca3mov rsi, [rsp]
001dfca7cmp rax, rsi
001dfcaajbe 0x1dfcfc
001dfcacmov [rbx+4*rsi-4], rcx
001dfcb1add rsi, 2
001dfcb5mov rax, [rsp+40]
001dfcbamov rdi, [rsp+8]
001dfcbfmov rdx, [rsp+16]
001dfcc4call Stdlib.Bigarray.cloop
001dfcc9mov rcx, [rsp+24]
001dfccemov rax, rcx
001dfcd1add rcx, 2
001dfcd5mov [rsp+24], rcx
001dfcdamov rbx, [rsp+32]
001dfcdfcmp rax, rbx
001dfce2je 0x1dfceb
001dfce4cmp r15, [r14]
001dfce7ja 0x1dfc96
001dfce9jmp 0x1dfcf5
001dfceb
001dfcebloc_1dfceb:
001dfcebmov eax, 1
001dfcf0add rsp, 56
001dfcf4ret
001dfcf5
001dfcf5loc_1dfcf5:
001dfcf5call caml_call_gc
001dfcfajmp 0x1dfc96
001dfcfc
001dfcfcloc_1dfcfc:
001dfcfccall caml_ml_array_bound_error
001dfd01
001dfd01loc_1dfd01:
001dfd01call caml_ml_array_bound_error
001dfd06
001dfd06loc_1dfd06:
001dfd06push 40
001dfd08call caml_call_realloc_stack
001dfd0dpop r10
001dfd0fjmp 0x1dfc02
001dfbf0
001dfd14
001dfd14 // align 0x10
001dfd14 // align 0x10
001dfd20
001dfd20Stdlib.Bigarray.floop:
001dfd20lea r10, [rsp-376]
001dfd28cmp r10, [r14+40]
001dfd2cjb 0x1dfe26
001dfd32
001dfd32loc_1dfd32:
001dfd32sub rsp, 56
001dfd36mov r8, rax
001dfd39mov rax, rbx
001dfd3cmov rbx, rdi
001dfd3fcmp rsi, 1
001dfd43jge 0x1dfd74
001dfd45mov [rsp+48], rax
001dfd4amov [rsp+40], r8
001dfd4fmov rdi, [rbx]
001dfd52call rdi
001dfd54mov rdi, [rsp+40]
001dfd59mov rsi, [rsp+48]
001dfd5emov rdx, rax
001dfd61lea rax, [rip+0x1d518]
001dfd68call caml_c_call
001dfd6dadd rsp, 56
001dfd71ret
001dfd72
001dfd72 66 90 f.
001dfd74
001dfd74loc_1dfd74:
001dfd74mov ecx, 3
001dfd79mov rdi, [rdx-8]
001dfd7dshr rdi, 9
001dfd81cmp rdi, rsi
001dfd84jbe 0x1dfe21
001dfd8amov rdi, [rdx+4*rsi-4]
001dfd8fcmp rcx, rdi
001dfd92jg 0x1dfe0b
001dfd94mov [rsp+32], rdi
001dfd99mov [rsp+24], rcx
001dfd9emov [rsp+16], rdx
001dfda3mov [rsp], rsi
001dfda7mov [rsp+8], rbx
001dfdacmov [rsp+48], rax
001dfdb1mov [rsp+40], r8
001dfdb6
001dfdb6loc_1dfdb6:
001dfdb6mov rbx, [rsp+48]
001dfdbbmov rax, [rbx-8]
001dfdbfshr rax, 9
001dfdc3mov rsi, [rsp]
001dfdc7cmp rax, rsi
001dfdcajbe 0x1dfe1c
001dfdccmov [rbx+4*rsi-4], rcx
001dfdd1add rsi, -2
001dfdd5mov rax, [rsp+40]
001dfddamov rdi, [rsp+8]
001dfddfmov rdx, [rsp+16]
001dfde4call Stdlib.Bigarray.floop
001dfde9mov rcx, [rsp+24]
001dfdeemov rax, rcx
001dfdf1add rcx, 2
001dfdf5mov [rsp+24], rcx
001dfdfamov rbx, [rsp+32]
001dfdffcmp rax, rbx
001dfe02je 0x1dfe0b
001dfe04cmp r15, [r14]
001dfe07ja 0x1dfdb6
001dfe09jmp 0x1dfe15
001dfe0b
001dfe0bloc_1dfe0b:
001dfe0bmov eax, 1
001dfe10add rsp, 56
001dfe14ret
001dfe15
001dfe15loc_1dfe15:
001dfe15call caml_call_gc
001dfe1ajmp 0x1dfdb6
001dfe1c
001dfe1cloc_1dfe1c:
001dfe1ccall caml_ml_array_bound_error
001dfe21
001dfe21loc_1dfe21:
001dfe21call caml_ml_array_bound_error
001dfe26
001dfe26loc_1dfe26:
001dfe26push 40
001dfe28call caml_call_realloc_stack
001dfe2dpop r10
001dfe2fjmp 0x1dfd32
001dfd20
001dfd20Stdlib.Bigarray.floop:
001dfd20lea r10, [rsp-376]
001dfd28cmp r10, [r14+40]
001dfd2cjb 0x1dfe26
001dfd32
001dfd32loc_1dfd32:
001dfd32sub rsp, 56
001dfd36mov r8, rax
001dfd39mov rax, rbx
001dfd3cmov rbx, rdi
001dfd3fcmp rsi, 1
001dfd43jge 0x1dfd74
001dfd45mov [rsp+48], rax
001dfd4amov [rsp+40], r8
001dfd4fmov rdi, [rbx]
001dfd52call rdi
001dfd54mov rdi, [rsp+40]
001dfd59mov rsi, [rsp+48]
001dfd5emov rdx, rax
001dfd61lea rax, [rip+0x1d518]
001dfd68call caml_c_call
001dfd6dadd rsp, 56
001dfd71ret
001dfd72
001dfd72 66 90 f.
001dfd74
001dfd74loc_1dfd74:
001dfd74mov ecx, 3
001dfd79mov rdi, [rdx-8]
001dfd7dshr rdi, 9
001dfd81cmp rdi, rsi
001dfd84jbe 0x1dfe21
001dfd8amov rdi, [rdx+4*rsi-4]
001dfd8fcmp rcx, rdi
001dfd92jg 0x1dfe0b
001dfd94mov [rsp+32], rdi
001dfd99mov [rsp+24], rcx
001dfd9emov [rsp+16], rdx
001dfda3mov [rsp], rsi
001dfda7mov [rsp+8], rbx
001dfdacmov [rsp+48], rax
001dfdb1mov [rsp+40], r8
001dfdb6
001dfdb6loc_1dfdb6:
001dfdb6mov rbx, [rsp+48]
001dfdbbmov rax, [rbx-8]
001dfdbfshr rax, 9
001dfdc3mov rsi, [rsp]
001dfdc7cmp rax, rsi
001dfdcajbe 0x1dfe1c
001dfdccmov [rbx+4*rsi-4], rcx
001dfdd1add rsi, -2
001dfdd5mov rax, [rsp+40]
001dfddamov rdi, [rsp+8]
001dfddfmov rdx, [rsp+16]
001dfde4call Stdlib.Bigarray.floop
001dfde9mov rcx, [rsp+24]
001dfdeemov rax, rcx
001dfdf1add rcx, 2
001dfdf5mov [rsp+24], rcx
001dfdfamov rbx, [rsp+32]
001dfdffcmp rax, rbx
001dfe02je 0x1dfe0b
001dfe04cmp r15, [r14]
001dfe07ja 0x1dfdb6
001dfe09jmp 0x1dfe15
001dfe0b
001dfe0bloc_1dfe0b:
001dfe0bmov eax, 1
001dfe10add rsp, 56
001dfe14ret
001dfe15
001dfe15loc_1dfe15:
001dfe15call caml_call_gc
001dfe1ajmp 0x1dfdb6
001dfe1c
001dfe1cloc_1dfe1c:
001dfe1ccall caml_ml_array_bound_error
001dfe21
001dfe21loc_1dfe21:
001dfe21call caml_ml_array_bound_error
001dfe26
001dfe26loc_1dfe26:
001dfe26push 40
001dfe28call caml_call_realloc_stack
001dfe2dpop r10
001dfe2fjmp 0x1dfd32
001dfd20
001dfe34
001dfe34 // align 0x10
001dfe34 // align 0x10
001dfe40
001dfe40Stdlib.Bigarray.init:
001dfe40lea r10, [rsp-352]
001dfe48cmp r10, [r14+40]
001dfe4cjb 0x1dff0f
001dfe52
001dfe52loc_1dfe52:
001dfe52sub rsp, 32
001dfe56mov [rsp], rbx
001dfe5amov rdx, rdi
001dfe5dmov [rsp+16], rdx
001dfe62mov [rsp+8], rsi
001dfe67mov rdi, rax
001dfe6amov rsi, rbx
001dfe6dlea rax, [rip+0x1cd6c]
001dfe74call caml_c_call
001dfe79mov [rsp+24], rax
001dfe7emov rax, [rsp+16]
001dfe83mov rdi, [rax-8]
001dfe87shr rdi, 9
001dfe8bor rdi, 1
001dfe8fmov rax, [rsp]
001dfe93cmp rax, 1
001dfe97je 0x1dfed8
001dfe99mov [rsp], rdi
001dfe9dmov esi, 3
001dfea2lea rax, [rip+0x19df7]
001dfea9call caml_c_call
001dfeaemov rbx, rax
001dfeb1mov rsi, [rsp]
001dfeb5add rsi, -2
001dfeb9mov rax, [rsp+24]
001dfebemov rdi, [rsp+8]
001dfec3mov rdx, [rsp+16]
001dfec8call Stdlib.Bigarray.floop
001dfecdmov rax, [rsp+24]
001dfed2add rsp, 32
001dfed6ret
001dfed7
001dfed7 90 .
001dfed8
001dfed8loc_1dfed8:
001dfed8mov esi, 1
001dfeddlea rax, [rip+0x19dbc]
001dfee4call caml_c_call
001dfee9mov rbx, rax
001dfeecmov esi, 1
001dfef1mov rax, [rsp+24]
001dfef6mov rdi, [rsp+8]
001dfefbmov rdx, [rsp+16]
001dff00call Stdlib.Bigarray.cloop
001dff05mov rax, [rsp+24]
001dff0aadd rsp, 32
001dff0eret
001dff0f
001dff0floc_1dff0f:
001dff0fpush 37
001dff11call caml_call_realloc_stack
001dff16pop r10
001dff18jmp 0x1dfe52
001dfe40
001dfe40Stdlib.Bigarray.init:
001dfe40lea r10, [rsp-352]
001dfe48cmp r10, [r14+40]
001dfe4cjb 0x1dff0f
001dfe52
001dfe52loc_1dfe52:
001dfe52sub rsp, 32
001dfe56mov [rsp], rbx
001dfe5amov rdx, rdi
001dfe5dmov [rsp+16], rdx
001dfe62mov [rsp+8], rsi
001dfe67mov rdi, rax
001dfe6amov rsi, rbx
001dfe6dlea rax, [rip+0x1cd6c]
001dfe74call caml_c_call
001dfe79mov [rsp+24], rax
001dfe7emov rax, [rsp+16]
001dfe83mov rdi, [rax-8]
001dfe87shr rdi, 9
001dfe8bor rdi, 1
001dfe8fmov rax, [rsp]
001dfe93cmp rax, 1
001dfe97je 0x1dfed8
001dfe99mov [rsp], rdi
001dfe9dmov esi, 3
001dfea2lea rax, [rip+0x19df7]
001dfea9call caml_c_call
001dfeaemov rbx, rax
001dfeb1mov rsi, [rsp]
001dfeb5add rsi, -2
001dfeb9mov rax, [rsp+24]
001dfebemov rdi, [rsp+8]
001dfec3mov rdx, [rsp+16]
001dfec8call Stdlib.Bigarray.floop
001dfecdmov rax, [rsp+24]
001dfed2add rsp, 32
001dfed6ret
001dfed7
001dfed7 90 .
001dfed8
001dfed8loc_1dfed8:
001dfed8mov esi, 1
001dfeddlea rax, [rip+0x19dbc]
001dfee4call caml_c_call
001dfee9mov rbx, rax
001dfeecmov esi, 1
001dfef1mov rax, [rsp+24]
001dfef6mov rdi, [rsp+8]
001dfefbmov rdx, [rsp+16]
001dff00call Stdlib.Bigarray.cloop
001dff05mov rax, [rsp+24]
001dff0aadd rsp, 32
001dff0eret
001dff0f
001dff0floc_1dff0f:
001dff0fpush 37
001dff11call caml_call_realloc_stack
001dff16pop r10
001dff18jmp 0x1dfe52
001dfe40
001dff1d
001dff1d // align 0x10
001dff1d // align 0x10
001dff20
001dff20Stdlib.Bigarray.dims:
001dff20sub rsp, 32
001dff24mov [rsp+8], rax
001dff29mov rdi, rax
001dff2clea rax, [rip+0x1d4ad]
001dff33call caml_c_call
001dff38mov [rsp], rax
001dff3cmov esi, 1
001dff41mov rdi, rax
001dff44lea rax, [rip+0x19d55]
001dff4bcall caml_c_call
001dff50mov rbx, rax
001dff53mov esi, 1
001dff58mov rax, [rsp]
001dff5cadd rax, -2
001dff60cmp rsi, rax
001dff63jg 0x1dffbc
001dff65mov [rsp+24], rax
001dff6amov [rsp+16], rsi
001dff6fmov [rsp], rbx
001dff73
001dff73loc_1dff73:
001dff73mov rdi, [rsp+8]
001dff78lea rax, [rip+0x1d471]
001dff7fcall caml_c_call
001dff84mov rbx, [rsp]
001dff88mov rdi, [rbx-8]
001dff8cshr rdi, 9
001dff90mov rsi, [rsp+16]
001dff95cmp rdi, rsi
001dff98jbe 0x1dffcb
001dff9amov [rbx+4*rsi-4], rax
001dff9fmov rax, rsi
001dffa2add rsi, 2
001dffa6mov [rsp+16], rsi
001dffabmov rdi, [rsp+24]
001dffb0cmp rax, rdi
001dffb3je 0x1dffbc
001dffb5cmp r15, [r14]
001dffb8ja 0x1dff73
001dffbajmp 0x1dffc4
001dffbc
001dffbcloc_1dffbc:
001dffbcmov rax, rbx
001dffbfadd rsp, 32
001dffc3ret
001dffc4
001dffc4loc_1dffc4:
001dffc4call caml_call_gc
001dffc9jmp 0x1dff73
001dffcb
001dffcbloc_1dffcb:
001dffcbcall caml_ml_array_bound_error
001dff20
001dff20Stdlib.Bigarray.dims:
001dff20sub rsp, 32
001dff24mov [rsp+8], rax
001dff29mov rdi, rax
001dff2clea rax, [rip+0x1d4ad]
001dff33call caml_c_call
001dff38mov [rsp], rax
001dff3cmov esi, 1
001dff41mov rdi, rax
001dff44lea rax, [rip+0x19d55]
001dff4bcall caml_c_call
001dff50mov rbx, rax
001dff53mov esi, 1
001dff58mov rax, [rsp]
001dff5cadd rax, -2
001dff60cmp rsi, rax
001dff63jg 0x1dffbc
001dff65mov [rsp+24], rax
001dff6amov [rsp+16], rsi
001dff6fmov [rsp], rbx
001dff73
001dff73loc_1dff73:
001dff73mov rdi, [rsp+8]
001dff78lea rax, [rip+0x1d471]
001dff7fcall caml_c_call
001dff84mov rbx, [rsp]
001dff88mov rdi, [rbx-8]
001dff8cshr rdi, 9
001dff90mov rsi, [rsp+16]
001dff95cmp rdi, rsi
001dff98jbe 0x1dffcb
001dff9amov [rbx+4*rsi-4], rax
001dff9fmov rax, rsi
001dffa2add rsi, 2
001dffa6mov [rsp+16], rsi
001dffabmov rdi, [rsp+24]
001dffb0cmp rax, rdi
001dffb3je 0x1dffbc
001dffb5cmp r15, [r14]
001dffb8ja 0x1dff73
001dffbajmp 0x1dffc4
001dffbc
001dffbcloc_1dffbc:
001dffbcmov rax, rbx
001dffbfadd rsp, 32
001dffc3ret
001dffc4
001dffc4loc_1dffc4:
001dffc4call caml_call_gc
001dffc9jmp 0x1dff73
001dffcb
001dffcbloc_1dffcb:
001dffcbcall caml_ml_array_bound_error
001dff20
001dffd0
001dffd0Stdlib.Bigarray.size_in_bytes:
001dffd0lea r10, [rsp-336]
001dffd8cmp r10, [r14+40]
001dffdcjb 0x1e0030
001dffde
001dffdeloc_1dffde:
001dffdesub rsp, 16
001dffe2mov [rsp], rax
001dffe6call Stdlib.Bigarray.dims
001dffebmov rdi, rax
001dffeemov ebx, 3
001dfff3lea rax, [rip+0x185616]
001dfffacall Stdlib.Array.fold_left
001dffffsar rax, 1
001e0002mov [rsp+8], rax
001e0007mov rdi, [rsp]
001e000blea rax, [rip+0x1d49e]
001e0012call caml_c_call
001e0017call Stdlib.Bigarray.kind_size_in_bytes
001e001cdec rax
001e001fmov rbx, [rsp+8]
001e0024imul rax, rbx
001e0028inc rax
001e002badd rsp, 16
001e002fret
001e0030
001e0030loc_1e0030:
001e0030push 35
001e0032call caml_call_realloc_stack
001e0037pop r10
001e0039jmp 0x1dffde
001dffd0
001dffd0Stdlib.Bigarray.size_in_bytes:
001dffd0lea r10, [rsp-336]
001dffd8cmp r10, [r14+40]
001dffdcjb 0x1e0030
001dffde
001dffdeloc_1dffde:
001dffdesub rsp, 16
001dffe2mov [rsp], rax
001dffe6call Stdlib.Bigarray.dims
001dffebmov rdi, rax
001dffeemov ebx, 3
001dfff3lea rax, [rip+0x185616]
001dfffacall Stdlib.Array.fold_left
001dffffsar rax, 1
001e0002mov [rsp+8], rax
001e0007mov rdi, [rsp]
001e000blea rax, [rip+0x1d49e]
001e0012call caml_c_call
001e0017call Stdlib.Bigarray.kind_size_in_bytes
001e001cdec rax
001e001fmov rbx, [rsp+8]
001e0024imul rax, rbx
001e0028inc rax
001e002badd rsp, 16
001e002fret
001e0030
001e0030loc_1e0030:
001e0030push 35
001e0032call caml_call_realloc_stack
001e0037pop r10
001e0039jmp 0x1dffde
001dffd0
001e003b
001e003b // align 0x10
001e003b // align 0x10
001e0040
001e0040Stdlib.Bigarray.fun:
001e0040sar rbx, 1
001e0043dec rax
001e0046imul rax, rbx
001e004ainc rax
001e004dret
001e0040
001e0040Stdlib.Bigarray.fun:
001e0040sar rbx, 1
001e0043dec rax
001e0046imul rax, rbx
001e004ainc rax
001e004dret
001e0040
001e004e
001e004e // align 0x10
001e004e // align 0x10
001e0050
001e0050Stdlib.Bigarray.fun:
001e0050mov rdi, rax
001e0053mov rsi, rbx
001e0056lea rax, [rip+0x1d783]
001e005dcall caml_c_call
001e0062ret
001e0050
001e0050Stdlib.Bigarray.fun:
001e0050mov rdi, rax
001e0053mov rsi, rbx
001e0056lea rax, [rip+0x1d783]
001e005dcall caml_c_call
001e0062ret
001e0050
001e0063
001e0063 // align 0x10
001e0063 // align 0x10
001e0070
001e0070Stdlib.Bigarray.create:
001e0070lea rdx, [rip+0x185f09]
001e0077mov rdi, rax
001e007amov rsi, rbx
001e007dlea rax, [rip+0x1cb5c]
001e0084call caml_c_call
001e0089ret
001e0070
001e0070Stdlib.Bigarray.create:
001e0070lea rdx, [rip+0x185f09]
001e0077mov rdi, rax
001e007amov rsi, rbx
001e007dlea rax, [rip+0x1cb5c]
001e0084call caml_c_call
001e0089ret
001e0070
001e008a
001e008a // align 0x10
001e008a // align 0x10
001e0090
001e0090Stdlib.Bigarray.get:
001e0090lea rsi, [rip+0x185ee9]
001e0097mov rdi, rax
001e009alea rax, [rip+0x1cfaf]
001e00a1call caml_c_call
001e00a6ret
001e0090
001e0090Stdlib.Bigarray.get:
001e0090lea rsi, [rip+0x185ee9]
001e0097mov rdi, rax
001e009alea rax, [rip+0x1cfaf]
001e00a1call caml_c_call
001e00a6ret
001e0090
001e00a7
001e00a7 // align 0x10
001e00a7 // align 0x10
001e00b0
001e00b0Stdlib.Bigarray.fun:
001e00b0mov rdx, rdi
001e00b3mov rdi, rax
001e00b6mov rsi, rbx
001e00b9lea rax, [rip+0x1d1c0]
001e00c0call caml_c_call
001e00c5ret
001e00b0
001e00b0Stdlib.Bigarray.fun:
001e00b0mov rdx, rdi
001e00b3mov rdi, rax
001e00b6mov rsi, rbx
001e00b9lea rax, [rip+0x1d1c0]
001e00c0call caml_c_call
001e00c5ret
001e00b0
001e00c6
001e00c6 // align 0x10
001e00c6 // align 0x10
001e00d0
001e00d0Stdlib.Bigarray.set:
001e00d0lea rbx, [rip+0x185ea9]
001e00d7lea rdi, [rip+0x185552]
001e00desub r15, 48
001e00e2cmp r15, [r14]
001e00e5jb 0x1e011b
001e00e7
001e00e7loc_1e00e7:
001e00e7lea rsi, [r15+8]
001e00ebmov [rsi-8], 5367
001e00f3lea rdx, [rip+54]
001e00famov [rsi], rdx
001e00fdmov rdx, 0x100000000000005
001e0107mov [rsi+8], rdx
001e010bmov [rsi+16], rax
001e010fmov [rsi+24], rbx
001e0113mov [rsi+32], rdi
001e0117mov rax, rsi
001e011aret
001e011b
001e011bloc_1e011b:
001e011bcall caml_call_gc
001e0120jmp 0x1e00e7
001e00d0
001e00d0Stdlib.Bigarray.set:
001e00d0lea rbx, [rip+0x185ea9]
001e00d7lea rdi, [rip+0x185552]
001e00desub r15, 48
001e00e2cmp r15, [r14]
001e00e5jb 0x1e011b
001e00e7
001e00e7loc_1e00e7:
001e00e7lea rsi, [r15+8]
001e00ebmov [rsi-8], 5367
001e00f3lea rdx, [rip+54]
001e00famov [rsi], rdx
001e00fdmov rdx, 0x100000000000005
001e0107mov [rsi+8], rdx
001e010bmov [rsi+16], rax
001e010fmov [rsi+24], rbx
001e0113mov [rsi+32], rdi
001e0117mov rax, rsi
001e011aret
001e011b
001e011bloc_1e011b:
001e011bcall caml_call_gc
001e0120jmp 0x1e00e7
001e00d0
001e0122
001e0122 // align 0x10
001e0122 // align 0x10
001e0130
001e0130Stdlib.Bigarray.fun:
001e0130mov rsi, [rbx+24]
001e0134mov rdi, [rbx+16]
001e0138mov rdx, rax
001e013blea rax, [rip+0x1d13e]
001e0142call caml_c_call
001e0147ret
001e0130
001e0130Stdlib.Bigarray.fun:
001e0130mov rsi, [rbx+24]
001e0134mov rdi, [rbx+16]
001e0138mov rdx, rax
001e013blea rax, [rip+0x1d13e]
001e0142call caml_c_call
001e0147ret
001e0130
001e0148
001e0148 // align 0x10
001e0148 // align 0x10
001e0150
001e0150Stdlib.Bigarray.size_in_bytes:
001e0150mov rdi, rax
001e0153lea rax, [rip+0x1d356]
001e015acall caml_c_call
001e015fjmp 0x1dfba0
001e0150
001e0150Stdlib.Bigarray.size_in_bytes:
001e0150mov rdi, rax
001e0153lea rax, [rip+0x1d356]
001e015acall caml_c_call
001e015fjmp 0x1dfba0
001e0150
Loading..