File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001dc9c0
001dc9c0Stdlib.Printexc.entry:
001dc9c0lea rsi, [rip+0x184521]
001dc9c7lea rdi, [rip+0x18494a]
001dc9ceadd rdi, 176
001dc9d5mov rbx, rsp
001dc9d8mov rsp, [r14+64]
001dc9dccall caml_initialize
001dc9e1mov rsp, rbx
001dc9e4lea rsi, [rip+0x184515]
001dc9eblea rdi, [rip+0x184926]
001dc9f2add rdi, 168
001dc9f9mov rbx, rsp
001dc9fcmov rsp, [r14+64]
001dca00call caml_initialize
001dca05mov rsp, rbx
001dca08lea rsi, [rip+0x184509]
001dca0flea rdi, [rip+0x184902]
001dca16add rdi, 160
001dca1dmov rbx, rsp
001dca20mov rsp, [r14+64]
001dca24call caml_initialize
001dca29mov rsp, rbx
001dca2clea rsi, [rip+0x184505]
001dca33lea rdi, [rip+0x1848de]
001dca3aadd rdi, 88
001dca3emov rbx, rsp
001dca41mov rsp, [r14+64]
001dca45call caml_initialize
001dca4amov rsp, rbx
001dca4dlea rsi, [rip+0x1844fc]
001dca54lea rdi, [rip+0x1848bd]
001dca5badd rdi, 56
001dca5fmov rbx, rsp
001dca62mov rsp, [r14+64]
001dca66call caml_initialize
001dca6bmov rsp, rbx
001dca6elea rsi, [rip+0x1844f3]
001dca75lea rdi, [rip+0x18489c]
001dca7cadd rdi, 48
001dca80mov rbx, rsp
001dca83mov rsp, [r14+64]
001dca87call caml_initialize
001dca8cmov rsp, rbx
001dca8fcall caml_alloc1
001dca94lea rsi, [r15+8]
001dca98mov [rsi-8], 1024
001dcaa0mov [rsi], 1
001dcaa7lea rdi, [rip+0x18486a]
001dcaaeadd rdi, 208
001dcab5mov rbx, rsp
001dcab8mov rsp, [r14+64]
001dcabccall caml_initialize
001dcac1mov rsp, rbx
001dcac4lea rsi, [rip+0x18541d]
001dcacblea rdi, [rip+0x184846]
001dcad2add rdi, 216
001dcad9mov rbx, rsp
001dcadcmov rsp, [r14+64]
001dcae0call caml_initialize
001dcae5mov rsp, rbx
001dcae8lea rsi, [rip+0x184491]
001dcaeflea rdi, [rip+0x184822]
001dcaf6add rdi, 224
001dcafdmov rbx, rsp
001dcb00mov rsp, [r14+64]
001dcb04call caml_initialize
001dcb09mov rsp, rbx
001dcb0clea rsi, [rip+0x18448d]
001dcb13lea rdi, [rip+0x1847fe]
001dcb1aadd rdi, 232
001dcb21mov rbx, rsp
001dcb24mov rsp, [r14+64]
001dcb28call caml_initialize
001dcb2dmov rsp, rbx
001dcb30lea rsi, [rip+0x184489]
001dcb37lea rdi, [rip+0x1847da]
001dcb3eadd rdi, 240
001dcb45mov rbx, rsp
001dcb48mov rsp, [r14+64]
001dcb4ccall caml_initialize
001dcb51mov rsp, rbx
001dcb54lea rsi, [rip+0x18447d]
001dcb5blea rdi, [rip+0x1847b6]
001dcb62add rdi, 72
001dcb66mov rbx, rsp
001dcb69mov rsp, [r14+64]
001dcb6dcall caml_initialize
001dcb72mov rsp, rbx
001dcb75lea rsi, [rip+0x184474]
001dcb7clea rdi, [rip+0x184795]
001dcb83add rdi, 248
001dcb8amov rbx, rsp
001dcb8dmov rsp, [r14+64]
001dcb91call caml_initialize
001dcb96mov rsp, rbx
001dcb99lea rsi, [rip+0x184468]
001dcba0lea rdi, [rip+0x184771]
001dcba7add rdi, 200
001dcbaemov rbx, rsp
001dcbb1mov rsp, [r14+64]
001dcbb5call caml_initialize
001dcbbamov rsp, rbx
001dcbbdlea rsi, [rip+0x18445c]
001dcbc4lea rdi, [rip+0x18474d]
001dcbcbadd rdi, 8
001dcbcfmov rbx, rsp
001dcbd2mov rsp, [r14+64]
001dcbd6call caml_initialize
001dcbdbmov rsp, rbx
001dcbdelea rsi, [rip+0x184453]
001dcbe5lea rdi, [rip+0x18472c]
001dcbecmov rbx, rsp
001dcbefmov rsp, [r14+64]
001dcbf3call caml_initialize
001dcbf8mov rsp, rbx
001dcbfblea rsi, [rip+0x18444e]
001dcc02lea rdi, [rip+0x18470f]
001dcc09add rdi, 16
001dcc0dmov rbx, rsp
001dcc10mov rsp, [r14+64]
001dcc14call caml_initialize
001dcc19mov rsp, rbx
001dcc1clea rsi, [rip+0x18444d]
001dcc23lea rdi, [rip+0x1846ee]
001dcc2aadd rdi, 24
001dcc2emov rbx, rsp
001dcc31mov rsp, [r14+64]
001dcc35call caml_initialize
001dcc3amov rsp, rbx
001dcc3dlea rsi, [rip+0x18444c]
001dcc44lea rdi, [rip+0x1846cd]
001dcc4badd rdi, 80
001dcc4fmov rbx, rsp
001dcc52mov rsp, [r14+64]
001dcc56call caml_initialize
001dcc5bmov rsp, rbx
001dcc5elea rsi, [rip+0x184443]
001dcc65lea rdi, [rip+0x1846ac]
001dcc6cadd rdi, 256
001dcc73mov rbx, rsp
001dcc76mov rsp, [r14+64]
001dcc7acall caml_initialize
001dcc7fmov rsp, rbx
001dcc82lea rsi, [rip+0x184437]
001dcc89lea rdi, [rip+0x184688]
001dcc90add rdi, 264
001dcc97mov rbx, rsp
001dcc9amov rsp, [r14+64]
001dcc9ecall caml_initialize
001dcca3mov rsp, rbx
001dcca6lea rsi, [rip+0x184433]
001dccadlea rdi, [rip+0x184664]
001dccb4add rdi, 272
001dccbbmov rbx, rsp
001dccbemov rsp, [r14+64]
001dccc2call caml_initialize
001dccc7mov rsp, rbx
001dcccalea rsi, [rip+0x18442f]
001dccd1lea rdi, [rip+0x184640]
001dccd8add rdi, 96
001dccdcmov rbx, rsp
001dccdfmov rsp, [r14+64]
001dcce3call caml_initialize
001dcce8mov rsp, rbx
001dcceblea rsi, [rip+0x18442e]
001dccf2lea rdi, [rip+0x18461f]
001dccf9add rdi, 32
001dccfdmov rbx, rsp
001dcd00mov rsp, [r14+64]
001dcd04call caml_initialize
001dcd09mov rsp, rbx
001dcd0clea rsi, [rip+0x184425]
001dcd13lea rdi, [rip+0x1845fe]
001dcd1aadd rdi, 280
001dcd21mov rbx, rsp
001dcd24mov rsp, [r14+64]
001dcd28call caml_initialize
001dcd2dmov rsp, rbx
001dcd30lea rsi, [rip+0x184419]
001dcd37lea rdi, [rip+0x1845da]
001dcd3eadd rdi, 104
001dcd42mov rbx, rsp
001dcd45mov rsp, [r14+64]
001dcd49call caml_initialize
001dcd4emov rsp, rbx
001dcd51lea rsi, [rip+0x184410]
001dcd58lea rdi, [rip+0x1845b9]
001dcd5fadd rdi, 288
001dcd66mov rbx, rsp
001dcd69mov rsp, [r14+64]
001dcd6dcall caml_initialize
001dcd72mov rsp, rbx
001dcd75lea rsi, [rip+0x184404]
001dcd7clea rdi, [rip+0x184595]
001dcd83add rdi, 296
001dcd8amov rbx, rsp
001dcd8dmov rsp, [r14+64]
001dcd91call caml_initialize
001dcd96mov rsp, rbx
001dcd99lea rsi, [rip+0x1843f8]
001dcda0lea rdi, [rip+0x184571]
001dcda7add rdi, 304
001dcdaemov rbx, rsp
001dcdb1mov rsp, [r14+64]
001dcdb5call caml_initialize
001dcdbamov rsp, rbx
001dcdbdlea rsi, [rip+0x1843ec]
001dcdc4lea rdi, [rip+0x18454d]
001dcdcbadd rdi, 312
001dcdd2mov rbx, rsp
001dcdd5mov rsp, [r14+64]
001dcdd9call caml_initialize
001dcddemov rsp, rbx
001dcde1lea rsi, [rip+0x1843e0]
001dcde8lea rdi, [rip+0x184529]
001dcdefadd rdi, 128
001dcdf6mov rbx, rsp
001dcdf9mov rsp, [r14+64]
001dcdfdcall caml_initialize
001dce02mov rsp, rbx
001dce05lea rsi, [rip+0x1843d4]
001dce0clea rdi, [rip+0x184505]
001dce13add rdi, 136
001dce1amov rbx, rsp
001dce1dmov rsp, [r14+64]
001dce21call caml_initialize
001dce26mov rsp, rbx
001dce29lea rdi, [rip+0x1844e8]
001dce30mov rsi, [rdi+264]
001dce37add rdi, 376
001dce3emov rbx, rsp
001dce41mov rsp, [r14+64]
001dce45call caml_initialize
001dce4amov rsp, rbx
001dce4dlea rdi, [rip+0x1844c4]
001dce54mov rsi, [rdi+288]
001dce5badd rdi, 384
001dce62mov rbx, rsp
001dce65mov rsp, [r14+64]
001dce69call caml_initialize
001dce6emov rsp, rbx
001dce71lea rdi, [rip+0x1844a0]
001dce78mov rsi, [rdi+296]
001dce7fadd rdi, 392
001dce86mov rbx, rsp
001dce89mov rsp, [r14+64]
001dce8dcall caml_initialize
001dce92mov rsp, rbx
001dce95lea rdi, [rip+0x18447c]
001dce9cmov rsi, [rdi+304]
001dcea3add rdi, 400
001dceaamov rbx, rsp
001dceadmov rsp, [r14+64]
001dceb1call caml_initialize
001dceb6mov rsp, rbx
001dceb9lea rdi, [rip+0x184458]
001dcec0mov rsi, [rdi+312]
001dcec7add rdi, 408
001dcecemov rbx, rsp
001dced1mov rsp, [r14+64]
001dced5call caml_initialize
001dcedamov rsp, rbx
001dceddsub r15, 96
001dcee1call caml_allocN
001dcee6lea rax, [r15+8]
001dceeaadd rax, 48
001dceeemov [rax-8], 5120
001dcef6lea rdi, [rip+0x18441b]
001dcefdmov rbx, [rdi+376]
001dcf04mov [rax], rbx
001dcf07mov rbx, [rdi+384]
001dcf0emov [rax+8], rbx
001dcf12mov rbx, [rdi+392]
001dcf19mov [rax+16], rbx
001dcf1dmov rbx, [rdi+400]
001dcf24mov [rax+24], rbx
001dcf28mov rbx, [rdi+408]
001dcf2fmov [rax+32], rbx
001dcf33lea rsi, [rax-48]
001dcf37mov [rsi-8], 5120
001dcf3fmov rbx, [rax+8]
001dcf43mov [rsi], rbx
001dcf46mov rbx, [rax+16]
001dcf4amov [rsi+8], rbx
001dcf4emov rbx, [rax+24]
001dcf52mov [rsi+16], rbx
001dcf56mov rbx, [rax+32]
001dcf5amov [rsi+24], rbx
001dcf5emov rax, [rax]
001dcf61mov [rsi+32], rax
001dcf65add rdi, 144
001dcf6cmov rbx, rsp
001dcf6fmov rsp, [r14+64]
001dcf73call caml_initialize
001dcf78mov rsp, rbx
001dcf7blea rsi, [rip+0x184276]
001dcf82lea rdi, [rip+0x18438f]
001dcf89add rdi, 152
001dcf90mov rbx, rsp
001dcf93mov rsp, [r14+64]
001dcf97call caml_initialize
001dcf9cmov rsp, rbx
001dcf9flea rsi, [rip+0x18426a]
001dcfa6lea rdi, [rip+0x18436b]
001dcfadadd rdi, 40
001dcfb1mov rbx, rsp
001dcfb4mov rsp, [r14+64]
001dcfb8call caml_initialize
001dcfbdmov rsp, rbx
001dcfc0lea rsi, [rip+0x184261]
001dcfc7lea rdi, [rip+0x18434a]
001dcfceadd rdi, 64
001dcfd2mov rbx, rsp
001dcfd5mov rsp, [r14+64]
001dcfd9call caml_initialize
001dcfdemov rsp, rbx
001dcfe1lea rsi, [rip+0x184258]
001dcfe8lea rdi, [rip+0x184329]
001dcfefadd rdi, 320
001dcff6mov rbx, rsp
001dcff9mov rsp, [r14+64]
001dcffdcall caml_initialize
001dd002mov rsp, rbx
001dd005lea rsi, [rip+0x18424c]
001dd00clea rdi, [rip+0x184305]
001dd013add rdi, 184
001dd01amov rbx, rsp
001dd01dmov rsp, [r14+64]
001dd021call caml_initialize
001dd026mov rsp, rbx
001dd029lea rsi, [rip+0x184240]
001dd030lea rdi, [rip+0x1842e1]
001dd037add rdi, 192
001dd03emov rbx, rsp
001dd041mov rsp, [r14+64]
001dd045call caml_initialize
001dd04amov rsp, rbx
001dd04dlea rdi, [rip+0x1844dc]
001dd054lea rax, [rip+0x3e5e5]
001dd05bcall caml_c_call
001dd060lea rdi, [rip+0x1842b1]
001dd067add rdi, 328
001dd06emov rsi, rax
001dd071mov rbx, rsp
001dd074mov rsp, [r14+64]
001dd078call caml_initialize
001dd07dmov rsp, rbx
001dd080lea rsi, [rip+0x184201]
001dd087lea rdi, [rip+0x18428a]
001dd08eadd rdi, 112
001dd092mov rbx, rsp
001dd095mov rsp, [r14+64]
001dd099call caml_initialize
001dd09emov rsp, rbx
001dd0a1call caml_alloc1
001dd0a6lea rsi, [r15+8]
001dd0aamov [rsi-8], 1024
001dd0b2lea rdi, [rip+0x18425f]
001dd0b9mov rax, [rdi+112]
001dd0bdmov [rsi], rax
001dd0c0add rdi, 336
001dd0c7mov rbx, rsp
001dd0camov rsp, [r14+64]
001dd0cecall caml_initialize
001dd0d3mov rsp, rbx
001dd0d6lea rsi, [rip+0x1841cb]
001dd0ddlea rdi, [rip+0x184234]
001dd0e4add rdi, 120
001dd0e8mov rbx, rsp
001dd0ebmov rsp, [r14+64]
001dd0efcall caml_initialize
001dd0f4mov rsp, rbx
001dd0f7lea rsi, [rip+0x184fda]
001dd0felea rdi, [rip+0x184213]
001dd105add rdi, 344
001dd10cmov rbx, rsp
001dd10fmov rsp, [r14+64]
001dd113call caml_initialize
001dd118mov rsp, rbx
001dd11blea rsi, [rip+0x18419e]
001dd122lea rdi, [rip+0x1841ef]
001dd129add rdi, 352
001dd130mov rbx, rsp
001dd133mov rsp, [r14+64]
001dd137call caml_initialize
001dd13cmov rsp, rbx
001dd13flea rsi, [rip+0x184192]
001dd146lea rdi, [rip+0x1841cb]
001dd14dadd rdi, 360
001dd154mov rbx, rsp
001dd157mov rsp, [r14+64]
001dd15bcall caml_initialize
001dd160mov rsp, rbx
001dd163lea rsi, [rip+0x18418e]
001dd16alea rdi, [rip+0x1841a7]
001dd171add rdi, 368
001dd178mov rbx, rsp
001dd17bmov rsp, [r14+64]
001dd17fcall caml_initialize
001dd184mov rsp, rbx
001dd187lea rax, [rip+0x18418a]
001dd18emov rsi, [rax+368]
001dd195lea rdi, [rip+0x184e0c]
001dd19clea rax, [rip+0x22bbd]
001dd1a3call caml_c_call
001dd1a8mov eax, 1
001dd1adret
001dc9c0
001dc9c0Stdlib.Printexc.entry:
001dc9c0lea rsi, [rip+0x184521]
001dc9c7lea rdi, [rip+0x18494a]
001dc9ceadd rdi, 176
001dc9d5mov rbx, rsp
001dc9d8mov rsp, [r14+64]
001dc9dccall caml_initialize
001dc9e1mov rsp, rbx
001dc9e4lea rsi, [rip+0x184515]
001dc9eblea rdi, [rip+0x184926]
001dc9f2add rdi, 168
001dc9f9mov rbx, rsp
001dc9fcmov rsp, [r14+64]
001dca00call caml_initialize
001dca05mov rsp, rbx
001dca08lea rsi, [rip+0x184509]
001dca0flea rdi, [rip+0x184902]
001dca16add rdi, 160
001dca1dmov rbx, rsp
001dca20mov rsp, [r14+64]
001dca24call caml_initialize
001dca29mov rsp, rbx
001dca2clea rsi, [rip+0x184505]
001dca33lea rdi, [rip+0x1848de]
001dca3aadd rdi, 88
001dca3emov rbx, rsp
001dca41mov rsp, [r14+64]
001dca45call caml_initialize
001dca4amov rsp, rbx
001dca4dlea rsi, [rip+0x1844fc]
001dca54lea rdi, [rip+0x1848bd]
001dca5badd rdi, 56
001dca5fmov rbx, rsp
001dca62mov rsp, [r14+64]
001dca66call caml_initialize
001dca6bmov rsp, rbx
001dca6elea rsi, [rip+0x1844f3]
001dca75lea rdi, [rip+0x18489c]
001dca7cadd rdi, 48
001dca80mov rbx, rsp
001dca83mov rsp, [r14+64]
001dca87call caml_initialize
001dca8cmov rsp, rbx
001dca8fcall caml_alloc1
001dca94lea rsi, [r15+8]
001dca98mov [rsi-8], 1024
001dcaa0mov [rsi], 1
001dcaa7lea rdi, [rip+0x18486a]
001dcaaeadd rdi, 208
001dcab5mov rbx, rsp
001dcab8mov rsp, [r14+64]
001dcabccall caml_initialize
001dcac1mov rsp, rbx
001dcac4lea rsi, [rip+0x18541d]
001dcacblea rdi, [rip+0x184846]
001dcad2add rdi, 216
001dcad9mov rbx, rsp
001dcadcmov rsp, [r14+64]
001dcae0call caml_initialize
001dcae5mov rsp, rbx
001dcae8lea rsi, [rip+0x184491]
001dcaeflea rdi, [rip+0x184822]
001dcaf6add rdi, 224
001dcafdmov rbx, rsp
001dcb00mov rsp, [r14+64]
001dcb04call caml_initialize
001dcb09mov rsp, rbx
001dcb0clea rsi, [rip+0x18448d]
001dcb13lea rdi, [rip+0x1847fe]
001dcb1aadd rdi, 232
001dcb21mov rbx, rsp
001dcb24mov rsp, [r14+64]
001dcb28call caml_initialize
001dcb2dmov rsp, rbx
001dcb30lea rsi, [rip+0x184489]
001dcb37lea rdi, [rip+0x1847da]
001dcb3eadd rdi, 240
001dcb45mov rbx, rsp
001dcb48mov rsp, [r14+64]
001dcb4ccall caml_initialize
001dcb51mov rsp, rbx
001dcb54lea rsi, [rip+0x18447d]
001dcb5blea rdi, [rip+0x1847b6]
001dcb62add rdi, 72
001dcb66mov rbx, rsp
001dcb69mov rsp, [r14+64]
001dcb6dcall caml_initialize
001dcb72mov rsp, rbx
001dcb75lea rsi, [rip+0x184474]
001dcb7clea rdi, [rip+0x184795]
001dcb83add rdi, 248
001dcb8amov rbx, rsp
001dcb8dmov rsp, [r14+64]
001dcb91call caml_initialize
001dcb96mov rsp, rbx
001dcb99lea rsi, [rip+0x184468]
001dcba0lea rdi, [rip+0x184771]
001dcba7add rdi, 200
001dcbaemov rbx, rsp
001dcbb1mov rsp, [r14+64]
001dcbb5call caml_initialize
001dcbbamov rsp, rbx
001dcbbdlea rsi, [rip+0x18445c]
001dcbc4lea rdi, [rip+0x18474d]
001dcbcbadd rdi, 8
001dcbcfmov rbx, rsp
001dcbd2mov rsp, [r14+64]
001dcbd6call caml_initialize
001dcbdbmov rsp, rbx
001dcbdelea rsi, [rip+0x184453]
001dcbe5lea rdi, [rip+0x18472c]
001dcbecmov rbx, rsp
001dcbefmov rsp, [r14+64]
001dcbf3call caml_initialize
001dcbf8mov rsp, rbx
001dcbfblea rsi, [rip+0x18444e]
001dcc02lea rdi, [rip+0x18470f]
001dcc09add rdi, 16
001dcc0dmov rbx, rsp
001dcc10mov rsp, [r14+64]
001dcc14call caml_initialize
001dcc19mov rsp, rbx
001dcc1clea rsi, [rip+0x18444d]
001dcc23lea rdi, [rip+0x1846ee]
001dcc2aadd rdi, 24
001dcc2emov rbx, rsp
001dcc31mov rsp, [r14+64]
001dcc35call caml_initialize
001dcc3amov rsp, rbx
001dcc3dlea rsi, [rip+0x18444c]
001dcc44lea rdi, [rip+0x1846cd]
001dcc4badd rdi, 80
001dcc4fmov rbx, rsp
001dcc52mov rsp, [r14+64]
001dcc56call caml_initialize
001dcc5bmov rsp, rbx
001dcc5elea rsi, [rip+0x184443]
001dcc65lea rdi, [rip+0x1846ac]
001dcc6cadd rdi, 256
001dcc73mov rbx, rsp
001dcc76mov rsp, [r14+64]
001dcc7acall caml_initialize
001dcc7fmov rsp, rbx
001dcc82lea rsi, [rip+0x184437]
001dcc89lea rdi, [rip+0x184688]
001dcc90add rdi, 264
001dcc97mov rbx, rsp
001dcc9amov rsp, [r14+64]
001dcc9ecall caml_initialize
001dcca3mov rsp, rbx
001dcca6lea rsi, [rip+0x184433]
001dccadlea rdi, [rip+0x184664]
001dccb4add rdi, 272
001dccbbmov rbx, rsp
001dccbemov rsp, [r14+64]
001dccc2call caml_initialize
001dccc7mov rsp, rbx
001dcccalea rsi, [rip+0x18442f]
001dccd1lea rdi, [rip+0x184640]
001dccd8add rdi, 96
001dccdcmov rbx, rsp
001dccdfmov rsp, [r14+64]
001dcce3call caml_initialize
001dcce8mov rsp, rbx
001dcceblea rsi, [rip+0x18442e]
001dccf2lea rdi, [rip+0x18461f]
001dccf9add rdi, 32
001dccfdmov rbx, rsp
001dcd00mov rsp, [r14+64]
001dcd04call caml_initialize
001dcd09mov rsp, rbx
001dcd0clea rsi, [rip+0x184425]
001dcd13lea rdi, [rip+0x1845fe]
001dcd1aadd rdi, 280
001dcd21mov rbx, rsp
001dcd24mov rsp, [r14+64]
001dcd28call caml_initialize
001dcd2dmov rsp, rbx
001dcd30lea rsi, [rip+0x184419]
001dcd37lea rdi, [rip+0x1845da]
001dcd3eadd rdi, 104
001dcd42mov rbx, rsp
001dcd45mov rsp, [r14+64]
001dcd49call caml_initialize
001dcd4emov rsp, rbx
001dcd51lea rsi, [rip+0x184410]
001dcd58lea rdi, [rip+0x1845b9]
001dcd5fadd rdi, 288
001dcd66mov rbx, rsp
001dcd69mov rsp, [r14+64]
001dcd6dcall caml_initialize
001dcd72mov rsp, rbx
001dcd75lea rsi, [rip+0x184404]
001dcd7clea rdi, [rip+0x184595]
001dcd83add rdi, 296
001dcd8amov rbx, rsp
001dcd8dmov rsp, [r14+64]
001dcd91call caml_initialize
001dcd96mov rsp, rbx
001dcd99lea rsi, [rip+0x1843f8]
001dcda0lea rdi, [rip+0x184571]
001dcda7add rdi, 304
001dcdaemov rbx, rsp
001dcdb1mov rsp, [r14+64]
001dcdb5call caml_initialize
001dcdbamov rsp, rbx
001dcdbdlea rsi, [rip+0x1843ec]
001dcdc4lea rdi, [rip+0x18454d]
001dcdcbadd rdi, 312
001dcdd2mov rbx, rsp
001dcdd5mov rsp, [r14+64]
001dcdd9call caml_initialize
001dcddemov rsp, rbx
001dcde1lea rsi, [rip+0x1843e0]
001dcde8lea rdi, [rip+0x184529]
001dcdefadd rdi, 128
001dcdf6mov rbx, rsp
001dcdf9mov rsp, [r14+64]
001dcdfdcall caml_initialize
001dce02mov rsp, rbx
001dce05lea rsi, [rip+0x1843d4]
001dce0clea rdi, [rip+0x184505]
001dce13add rdi, 136
001dce1amov rbx, rsp
001dce1dmov rsp, [r14+64]
001dce21call caml_initialize
001dce26mov rsp, rbx
001dce29lea rdi, [rip+0x1844e8]
001dce30mov rsi, [rdi+264]
001dce37add rdi, 376
001dce3emov rbx, rsp
001dce41mov rsp, [r14+64]
001dce45call caml_initialize
001dce4amov rsp, rbx
001dce4dlea rdi, [rip+0x1844c4]
001dce54mov rsi, [rdi+288]
001dce5badd rdi, 384
001dce62mov rbx, rsp
001dce65mov rsp, [r14+64]
001dce69call caml_initialize
001dce6emov rsp, rbx
001dce71lea rdi, [rip+0x1844a0]
001dce78mov rsi, [rdi+296]
001dce7fadd rdi, 392
001dce86mov rbx, rsp
001dce89mov rsp, [r14+64]
001dce8dcall caml_initialize
001dce92mov rsp, rbx
001dce95lea rdi, [rip+0x18447c]
001dce9cmov rsi, [rdi+304]
001dcea3add rdi, 400
001dceaamov rbx, rsp
001dceadmov rsp, [r14+64]
001dceb1call caml_initialize
001dceb6mov rsp, rbx
001dceb9lea rdi, [rip+0x184458]
001dcec0mov rsi, [rdi+312]
001dcec7add rdi, 408
001dcecemov rbx, rsp
001dced1mov rsp, [r14+64]
001dced5call caml_initialize
001dcedamov rsp, rbx
001dceddsub r15, 96
001dcee1call caml_allocN
001dcee6lea rax, [r15+8]
001dceeaadd rax, 48
001dceeemov [rax-8], 5120
001dcef6lea rdi, [rip+0x18441b]
001dcefdmov rbx, [rdi+376]
001dcf04mov [rax], rbx
001dcf07mov rbx, [rdi+384]
001dcf0emov [rax+8], rbx
001dcf12mov rbx, [rdi+392]
001dcf19mov [rax+16], rbx
001dcf1dmov rbx, [rdi+400]
001dcf24mov [rax+24], rbx
001dcf28mov rbx, [rdi+408]
001dcf2fmov [rax+32], rbx
001dcf33lea rsi, [rax-48]
001dcf37mov [rsi-8], 5120
001dcf3fmov rbx, [rax+8]
001dcf43mov [rsi], rbx
001dcf46mov rbx, [rax+16]
001dcf4amov [rsi+8], rbx
001dcf4emov rbx, [rax+24]
001dcf52mov [rsi+16], rbx
001dcf56mov rbx, [rax+32]
001dcf5amov [rsi+24], rbx
001dcf5emov rax, [rax]
001dcf61mov [rsi+32], rax
001dcf65add rdi, 144
001dcf6cmov rbx, rsp
001dcf6fmov rsp, [r14+64]
001dcf73call caml_initialize
001dcf78mov rsp, rbx
001dcf7blea rsi, [rip+0x184276]
001dcf82lea rdi, [rip+0x18438f]
001dcf89add rdi, 152
001dcf90mov rbx, rsp
001dcf93mov rsp, [r14+64]
001dcf97call caml_initialize
001dcf9cmov rsp, rbx
001dcf9flea rsi, [rip+0x18426a]
001dcfa6lea rdi, [rip+0x18436b]
001dcfadadd rdi, 40
001dcfb1mov rbx, rsp
001dcfb4mov rsp, [r14+64]
001dcfb8call caml_initialize
001dcfbdmov rsp, rbx
001dcfc0lea rsi, [rip+0x184261]
001dcfc7lea rdi, [rip+0x18434a]
001dcfceadd rdi, 64
001dcfd2mov rbx, rsp
001dcfd5mov rsp, [r14+64]
001dcfd9call caml_initialize
001dcfdemov rsp, rbx
001dcfe1lea rsi, [rip+0x184258]
001dcfe8lea rdi, [rip+0x184329]
001dcfefadd rdi, 320
001dcff6mov rbx, rsp
001dcff9mov rsp, [r14+64]
001dcffdcall caml_initialize
001dd002mov rsp, rbx
001dd005lea rsi, [rip+0x18424c]
001dd00clea rdi, [rip+0x184305]
001dd013add rdi, 184
001dd01amov rbx, rsp
001dd01dmov rsp, [r14+64]
001dd021call caml_initialize
001dd026mov rsp, rbx
001dd029lea rsi, [rip+0x184240]
001dd030lea rdi, [rip+0x1842e1]
001dd037add rdi, 192
001dd03emov rbx, rsp
001dd041mov rsp, [r14+64]
001dd045call caml_initialize
001dd04amov rsp, rbx
001dd04dlea rdi, [rip+0x1844dc]
001dd054lea rax, [rip+0x3e5e5]
001dd05bcall caml_c_call
001dd060lea rdi, [rip+0x1842b1]
001dd067add rdi, 328
001dd06emov rsi, rax
001dd071mov rbx, rsp
001dd074mov rsp, [r14+64]
001dd078call caml_initialize
001dd07dmov rsp, rbx
001dd080lea rsi, [rip+0x184201]
001dd087lea rdi, [rip+0x18428a]
001dd08eadd rdi, 112
001dd092mov rbx, rsp
001dd095mov rsp, [r14+64]
001dd099call caml_initialize
001dd09emov rsp, rbx
001dd0a1call caml_alloc1
001dd0a6lea rsi, [r15+8]
001dd0aamov [rsi-8], 1024
001dd0b2lea rdi, [rip+0x18425f]
001dd0b9mov rax, [rdi+112]
001dd0bdmov [rsi], rax
001dd0c0add rdi, 336
001dd0c7mov rbx, rsp
001dd0camov rsp, [r14+64]
001dd0cecall caml_initialize
001dd0d3mov rsp, rbx
001dd0d6lea rsi, [rip+0x1841cb]
001dd0ddlea rdi, [rip+0x184234]
001dd0e4add rdi, 120
001dd0e8mov rbx, rsp
001dd0ebmov rsp, [r14+64]
001dd0efcall caml_initialize
001dd0f4mov rsp, rbx
001dd0f7lea rsi, [rip+0x184fda]
001dd0felea rdi, [rip+0x184213]
001dd105add rdi, 344
001dd10cmov rbx, rsp
001dd10fmov rsp, [r14+64]
001dd113call caml_initialize
001dd118mov rsp, rbx
001dd11blea rsi, [rip+0x18419e]
001dd122lea rdi, [rip+0x1841ef]
001dd129add rdi, 352
001dd130mov rbx, rsp
001dd133mov rsp, [r14+64]
001dd137call caml_initialize
001dd13cmov rsp, rbx
001dd13flea rsi, [rip+0x184192]
001dd146lea rdi, [rip+0x1841cb]
001dd14dadd rdi, 360
001dd154mov rbx, rsp
001dd157mov rsp, [r14+64]
001dd15bcall caml_initialize
001dd160mov rsp, rbx
001dd163lea rsi, [rip+0x18418e]
001dd16alea rdi, [rip+0x1841a7]
001dd171add rdi, 368
001dd178mov rbx, rsp
001dd17bmov rsp, [r14+64]
001dd17fcall caml_initialize
001dd184mov rsp, rbx
001dd187lea rax, [rip+0x18418a]
001dd18emov rsi, [rax+368]
001dd195lea rdi, [rip+0x184e0c]
001dd19clea rax, [rip+0x22bbd]
001dd1a3call caml_c_call
001dd1a8mov eax, 1
001dd1adret
001dc9c0
001dd1ae
001dd1ae // align 0x10
001dd1ae // align 0x10
001dd1b1
001dd1b1 // align 0x10
001dd1b1 // align 0x10
001dd1c0
001dd1c0Stdlib.Fun.compose:
001dd1c0lea r10, [rsp-328]
001dd1c8cmp r10, [r14+40]
001dd1ccjb 0x1dd1f7
001dd1ce
001dd1celoc_1dd1ce:
001dd1cesub rsp, 8
001dd1d2mov [rsp], rax
001dd1d6mov rax, rdi
001dd1d9cmp r15, [r14]
001dd1dcjbe 0x1dd1f0
001dd1de
001dd1deloc_1dd1de:
001dd1demov rdi, [rbx]
001dd1e1call rdi
001dd1e3mov rbx, [rsp]
001dd1e7mov rdi, [rbx]
001dd1eaadd rsp, 8
001dd1eejmp rdi
001dd1f0
001dd1f0loc_1dd1f0:
001dd1f0call caml_call_gc
001dd1f5jmp 0x1dd1de
001dd1f7
001dd1f7loc_1dd1f7:
001dd1f7push 34
001dd1f9call caml_call_realloc_stack
001dd1fepop r10
001dd200jmp 0x1dd1ce
001dd1c0
001dd1c0Stdlib.Fun.compose:
001dd1c0lea r10, [rsp-328]
001dd1c8cmp r10, [r14+40]
001dd1ccjb 0x1dd1f7
001dd1ce
001dd1celoc_1dd1ce:
001dd1cesub rsp, 8
001dd1d2mov [rsp], rax
001dd1d6mov rax, rdi
001dd1d9cmp r15, [r14]
001dd1dcjbe 0x1dd1f0
001dd1de
001dd1deloc_1dd1de:
001dd1demov rdi, [rbx]
001dd1e1call rdi
001dd1e3mov rbx, [rsp]
001dd1e7mov rdi, [rbx]
001dd1eaadd rsp, 8
001dd1eejmp rdi
001dd1f0
001dd1f0loc_1dd1f0:
001dd1f0call caml_call_gc
001dd1f5jmp 0x1dd1de
001dd1f7
001dd1f7loc_1dd1f7:
001dd1f7push 34
001dd1f9call caml_call_realloc_stack
001dd1fepop r10
001dd200jmp 0x1dd1ce
001dd1c0
001dd202
001dd202 // align 0x10
001dd202 // align 0x10
001dd210
001dd210Stdlib.Fun.flip:
001dd210mov rsi, rax
001dd213mov rax, rdi
001dd216cmp r15, [r14]
001dd219jbe 0x1dd223
001dd21b
001dd21bloc_1dd21b:
001dd21bmov rdi, rsi
001dd21ejmp 0xf73e0
001dd223
001dd223loc_1dd223:
001dd223call caml_call_gc
001dd228jmp 0x1dd21b
001dd210
001dd210Stdlib.Fun.flip:
001dd210mov rsi, rax
001dd213mov rax, rdi
001dd216cmp r15, [r14]
001dd219jbe 0x1dd223
001dd21b
001dd21bloc_1dd21b:
001dd21bmov rdi, rsi
001dd21ejmp 0xf73e0
001dd223
001dd223loc_1dd223:
001dd223call caml_call_gc
001dd228jmp 0x1dd21b
001dd210
001dd22a
001dd22a // align 0x10
001dd22a // align 0x10
001dd230
001dd230Stdlib.Fun.negate:
001dd230lea r10, [rsp-320]
001dd238cmp r10, [r14+40]
001dd23cjb 0x1dd258
001dd23e
001dd23eloc_1dd23e:
001dd23emov rdi, rax
001dd241mov rax, rbx
001dd244mov rsi, [rdi]
001dd247mov rbx, rdi
001dd24acall rsi
001dd24cmov rbx, rax
001dd24fmov eax, 4
001dd254sub rax, rbx
001dd257ret
001dd258
001dd258loc_1dd258:
001dd258push 33
001dd25acall caml_call_realloc_stack
001dd25fpop r10
001dd261jmp 0x1dd23e
001dd230
001dd230Stdlib.Fun.negate:
001dd230lea r10, [rsp-320]
001dd238cmp r10, [r14+40]
001dd23cjb 0x1dd258
001dd23e
001dd23eloc_1dd23e:
001dd23emov rdi, rax
001dd241mov rax, rbx
001dd244mov rsi, [rdi]
001dd247mov rbx, rdi
001dd24acall rsi
001dd24cmov rbx, rax
001dd24fmov eax, 4
001dd254sub rax, rbx
001dd257ret
001dd258
001dd258loc_1dd258:
001dd258push 33
001dd25acall caml_call_realloc_stack
001dd25fpop r10
001dd261jmp 0x1dd23e
001dd230
001dd263
001dd263 // align 0x10
001dd263 // align 0x10
001dd270
001dd270Stdlib.Fun.fun:
001dd270lea r10, [rsp-320]
001dd278cmp r10, [r14+40]
001dd27cjb 0x1dd2d5
001dd27e
001dd27eloc_1dd27e:
001dd27elea rbx, [rip+0x186433]
001dd285mov rbx, [rbx+40]
001dd289mov rdi, [rax]
001dd28ccmp rdi, rbx
001dd28fjne 0x1dd2c8
001dd291mov rax, [rax+8]
001dd295call Stdlib.Printexc.to_string
001dd29amov rbx, rax
001dd29dlea rax, [rip+0x18645c]
001dd2a4call camlStdlib.$5e_139
001dd2a9sub r15, 16
001dd2adcmp r15, [r14]
001dd2b0jb 0x1dd2ce
001dd2b2
001dd2b2loc_1dd2b2:
001dd2b2lea rbx, [r15+8]
001dd2b6mov [rbx-8], 1024
001dd2bemov [rbx], rax
001dd2c1mov rax, rbx
001dd2c4ret
001dd2c5
001dd2c5 0f 1f 00 ...
001dd2c8
001dd2c8loc_1dd2c8:
001dd2c8mov eax, 1
001dd2cdret
001dd2ce
001dd2celoc_1dd2ce:
001dd2cecall caml_call_gc
001dd2d3jmp 0x1dd2b2
001dd2d5
001dd2d5loc_1dd2d5:
001dd2d5push 33
001dd2d7call caml_call_realloc_stack
001dd2dcpop r10
001dd2dejmp 0x1dd27e
001dd270
001dd270Stdlib.Fun.fun:
001dd270lea r10, [rsp-320]
001dd278cmp r10, [r14+40]
001dd27cjb 0x1dd2d5
001dd27e
001dd27eloc_1dd27e:
001dd27elea rbx, [rip+0x186433]
001dd285mov rbx, [rbx+40]
001dd289mov rdi, [rax]
001dd28ccmp rdi, rbx
001dd28fjne 0x1dd2c8
001dd291mov rax, [rax+8]
001dd295call Stdlib.Printexc.to_string
001dd29amov rbx, rax
001dd29dlea rax, [rip+0x18645c]
001dd2a4call camlStdlib.$5e_139
001dd2a9sub r15, 16
001dd2adcmp r15, [r14]
001dd2b0jb 0x1dd2ce
001dd2b2
001dd2b2loc_1dd2b2:
001dd2b2lea rbx, [r15+8]
001dd2b6mov [rbx-8], 1024
001dd2bemov [rbx], rax
001dd2c1mov rax, rbx
001dd2c4ret
001dd2c5
001dd2c5 0f 1f 00 ...
001dd2c8
001dd2c8loc_1dd2c8:
001dd2c8mov eax, 1
001dd2cdret
001dd2ce
001dd2celoc_1dd2ce:
001dd2cecall caml_call_gc
001dd2d3jmp 0x1dd2b2
001dd2d5
001dd2d5loc_1dd2d5:
001dd2d5push 33
001dd2d7call caml_call_realloc_stack
001dd2dcpop r10
001dd2dejmp 0x1dd27e
001dd270
001dd2e0
001dd2e0Stdlib.Fun.protect:
001dd2e0lea r10, [rsp-360]
001dd2e8cmp r10, [r14+40]
001dd2ecjb 0x1dd3ca
001dd2f2
001dd2f2loc_1dd2f2:
001dd2f2sub rsp, 24
001dd2f6sub r15, 32
001dd2facmp r15, [r14]
001dd2fdjb 0x1dd3c0
001dd303
001dd303loc_1dd303:
001dd303lea rdi, [r15+8]
001dd307mov [rsp+8], rdi
001dd30cmov [rdi-8], 3319
001dd314lea rsi, [rip+197]
001dd31bmov [rdi], rsi
001dd31emov rsi, 0x100000000000005
001dd328mov [rdi+8], rsi
001dd32cmov [rdi+16], rax
001dd330lea r11, [rip+37]
001dd337push r11
001dd339push [r14+48]
001dd33dmov [r14+48], rsp
001dd341mov eax, 1
001dd346mov rdi, [rbx]
001dd349call rdi
001dd34bmov [rsp+16], rax
001dd350pop [r14+48]
001dd354add rsp, 8
001dd358jmp 0x1dd3a8
001dd35a
001dd35a 66 90 f.
001dd35cmov [rsp], rax
001dd360mov edi, 1
001dd365lea rax, [rip+0x1dae4]
001dd36ccall caml_c_call
001dd371mov [rsp+16], rax
001dd376mov eax, 1
001dd37bmov rbx, [rsp+8]
001dd380call Stdlib.Fun.finally_no_exn
001dd385mov r12, [rsp]
001dd389mov rdi, r12
001dd38cmov rsi, [rsp+16]
001dd391mov rbx, rsp
001dd394mov rsp, [r14+64]
001dd398call caml_restore_raw_backtrace
001dd39dmov rsp, rbx
001dd3a0mov rax, r12
001dd3a3call caml_reraise_exn
001dd3a8
001dd3a8loc_1dd3a8:
001dd3a8mov eax, 1
001dd3admov rbx, [rsp+8]
001dd3b2call Stdlib.Fun.finally_no_exn
001dd3b7mov rax, [rsp]
001dd3bbadd rsp, 24
001dd3bfret
001dd3c0
001dd3c0loc_1dd3c0:
001dd3c0call caml_call_gc
001dd3c5jmp 0x1dd303
001dd3ca
001dd3caloc_1dd3ca:
001dd3capush 38
001dd3cccall caml_call_realloc_stack
001dd3d1pop r10
001dd3d3jmp 0x1dd2f2
001dd2e0
001dd2e0Stdlib.Fun.protect:
001dd2e0lea r10, [rsp-360]
001dd2e8cmp r10, [r14+40]
001dd2ecjb 0x1dd3ca
001dd2f2
001dd2f2loc_1dd2f2:
001dd2f2sub rsp, 24
001dd2f6sub r15, 32
001dd2facmp r15, [r14]
001dd2fdjb 0x1dd3c0
001dd303
001dd303loc_1dd303:
001dd303lea rdi, [r15+8]
001dd307mov [rsp+8], rdi
001dd30cmov [rdi-8], 3319
001dd314lea rsi, [rip+197]
001dd31bmov [rdi], rsi
001dd31emov rsi, 0x100000000000005
001dd328mov [rdi+8], rsi
001dd32cmov [rdi+16], rax
001dd330lea r11, [rip+37]
001dd337push r11
001dd339push [r14+48]
001dd33dmov [r14+48], rsp
001dd341mov eax, 1
001dd346mov rdi, [rbx]
001dd349call rdi
001dd34bmov [rsp+16], rax
001dd350pop [r14+48]
001dd354add rsp, 8
001dd358jmp 0x1dd3a8
001dd35a
001dd35a 66 90 f.
001dd35cmov [rsp], rax
001dd360mov edi, 1
001dd365lea rax, [rip+0x1dae4]
001dd36ccall caml_c_call
001dd371mov [rsp+16], rax
001dd376mov eax, 1
001dd37bmov rbx, [rsp+8]
001dd380call Stdlib.Fun.finally_no_exn
001dd385mov r12, [rsp]
001dd389mov rdi, r12
001dd38cmov rsi, [rsp+16]
001dd391mov rbx, rsp
001dd394mov rsp, [r14+64]
001dd398call caml_restore_raw_backtrace
001dd39dmov rsp, rbx
001dd3a0mov rax, r12
001dd3a3call caml_reraise_exn
001dd3a8
001dd3a8loc_1dd3a8:
001dd3a8mov eax, 1
001dd3admov rbx, [rsp+8]
001dd3b2call Stdlib.Fun.finally_no_exn
001dd3b7mov rax, [rsp]
001dd3bbadd rsp, 24
001dd3bfret
001dd3c0
001dd3c0loc_1dd3c0:
001dd3c0call caml_call_gc
001dd3c5jmp 0x1dd303
001dd3ca
001dd3caloc_1dd3ca:
001dd3capush 38
001dd3cccall caml_call_realloc_stack
001dd3d1pop r10
001dd3d3jmp 0x1dd2f2
001dd2e0
001dd3d8
001dd3d8 // align 0x10
001dd3d8 // align 0x10
001dd3e0
001dd3e0Stdlib.Fun.finally_no_exn:
001dd3e0lea r10, [rsp-344]
001dd3e8cmp r10, [r14+40]
001dd3ecjb 0x1dd48c
001dd3f2
001dd3f2loc_1dd3f2:
001dd3f2sub rsp, 8
001dd3f6lea r11, [rip+35]
001dd3fdpush r11
001dd3ffpush [r14+48]
001dd403mov [r14+48], rsp
001dd407mov rbx, [rbx+16]
001dd40bmov eax, 1
001dd410mov rdi, [rbx]
001dd413call rdi
001dd415pop [r14+48]
001dd419add rsp, 8
001dd41djmp 0x1dd480
001dd41f
001dd41f 90 .
001dd420mov [rsp], rax
001dd424mov edi, 1
001dd429lea rax, [rip+0x1da20]
001dd430call caml_c_call
001dd435sub r15, 24
001dd439cmp r15, [r14]
001dd43cjb 0x1dd485
001dd43e
001dd43eloc_1dd43e:
001dd43elea r12, [r15+8]
001dd442mov [r12-8], 2048
001dd44blea rbx, [rip+0x186266]
001dd452mov rbx, [rbx+40]
001dd456mov [r12], rbx
001dd45amov rbx, [rsp]
001dd45emov [r12+8], rbx
001dd463mov rdi, r12
001dd466mov rsi, rax
001dd469mov rbx, rsp
001dd46cmov rsp, [r14+64]
001dd470call caml_restore_raw_backtrace
001dd475mov rsp, rbx
001dd478mov rax, r12
001dd47bcall caml_reraise_exn
001dd480
001dd480loc_1dd480:
001dd480add rsp, 8
001dd484ret
001dd485
001dd485loc_1dd485:
001dd485call caml_call_gc
001dd48ajmp 0x1dd43e
001dd48c
001dd48cloc_1dd48c:
001dd48cpush 36
001dd48ecall caml_call_realloc_stack
001dd493pop r10
001dd495jmp 0x1dd3f2
001dd3e0
001dd3e0Stdlib.Fun.finally_no_exn:
001dd3e0lea r10, [rsp-344]
001dd3e8cmp r10, [r14+40]
001dd3ecjb 0x1dd48c
001dd3f2
001dd3f2loc_1dd3f2:
001dd3f2sub rsp, 8
001dd3f6lea r11, [rip+35]
001dd3fdpush r11
001dd3ffpush [r14+48]
001dd403mov [r14+48], rsp
001dd407mov rbx, [rbx+16]
001dd40bmov eax, 1
001dd410mov rdi, [rbx]
001dd413call rdi
001dd415pop [r14+48]
001dd419add rsp, 8
001dd41djmp 0x1dd480
001dd41f
001dd41f 90 .
001dd420mov [rsp], rax
001dd424mov edi, 1
001dd429lea rax, [rip+0x1da20]
001dd430call caml_c_call
001dd435sub r15, 24
001dd439cmp r15, [r14]
001dd43cjb 0x1dd485
001dd43e
001dd43eloc_1dd43e:
001dd43elea r12, [r15+8]
001dd442mov [r12-8], 2048
001dd44blea rbx, [rip+0x186266]
001dd452mov rbx, [rbx+40]
001dd456mov [r12], rbx
001dd45amov rbx, [rsp]
001dd45emov [r12+8], rbx
001dd463mov rdi, r12
001dd466mov rsi, rax
001dd469mov rbx, rsp
001dd46cmov rsp, [r14+64]
001dd470call caml_restore_raw_backtrace
001dd475mov rsp, rbx
001dd478mov rax, r12
001dd47bcall caml_reraise_exn
001dd480
001dd480loc_1dd480:
001dd480add rsp, 8
001dd484ret
001dd485
001dd485loc_1dd485:
001dd485call caml_call_gc
001dd48ajmp 0x1dd43e
001dd48c
001dd48cloc_1dd48c:
001dd48cpush 36
001dd48ecall caml_call_realloc_stack
001dd493pop r10
001dd495jmp 0x1dd3f2
001dd3e0
001dd49a
001dd49a // align 0x10
001dd49a // align 0x10
001dd4a0
001dd4a0Stdlib.Fun.entry:
001dd4a0lea r10, [rsp-320]
001dd4a8cmp r10, [r14+40]
001dd4acjb 0x1dd5b2
001dd4b2
001dd4b2loc_1dd4b2:
001dd4b2lea rsi, [rip+0x186147]
001dd4b9lea rdi, [rip+0x1861f8]
001dd4c0mov rbx, rsp
001dd4c3mov rsp, [r14+64]
001dd4c7call caml_initialize
001dd4ccmov rsp, rbx
001dd4cflea rsi, [rip+0x18614a]
001dd4d6lea rdi, [rip+0x1861db]
001dd4ddadd rdi, 8
001dd4e1mov rbx, rsp
001dd4e4mov rsp, [r14+64]
001dd4e8call caml_initialize
001dd4edmov rsp, rbx
001dd4f0lea rsi, [rip+0x186149]
001dd4f7lea rdi, [rip+0x1861ba]
001dd4feadd rdi, 16
001dd502mov rbx, rsp
001dd505mov rsp, [r14+64]
001dd509call caml_initialize
001dd50emov rsp, rbx
001dd511lea rsi, [rip+0x186148]
001dd518lea rdi, [rip+0x186199]
001dd51fadd rdi, 24
001dd523mov rbx, rsp
001dd526mov rsp, [r14+64]
001dd52acall caml_initialize
001dd52fmov rsp, rbx
001dd532mov edi, 1
001dd537mov rbx, rsp
001dd53amov rsp, [r14+64]
001dd53ecall caml_fresh_oo_id
001dd543mov rsp, rbx
001dd546call caml_alloc2
001dd54blea rsi, [r15+8]
001dd54fmov [rsi-8], 2296
001dd557lea rbx, [rip+0x1861c2]
001dd55emov [rsi], rbx
001dd561mov [rsi+8], rax
001dd565lea rdi, [rip+0x18614c]
001dd56cadd rdi, 40
001dd570mov rbx, rsp
001dd573mov rsp, [r14+64]
001dd577call caml_initialize
001dd57cmov rsp, rbx
001dd57flea rax, [rip+0x1860fa]
001dd586call Stdlib.Printexc.register_printer
001dd58blea rsi, [rip+0x186106]
001dd592lea rdi, [rip+0x18611f]
001dd599add rdi, 32
001dd59dmov rbx, rsp
001dd5a0mov rsp, [r14+64]
001dd5a4call caml_initialize
001dd5a9mov rsp, rbx
001dd5acmov eax, 1
001dd5b1ret
001dd5b2
001dd5b2loc_1dd5b2:
001dd5b2push 33
001dd5b4call caml_call_realloc_stack
001dd5b9pop r10
001dd5bbjmp 0x1dd4b2
001dd4a0
001dd4a0Stdlib.Fun.entry:
001dd4a0lea r10, [rsp-320]
001dd4a8cmp r10, [r14+40]
001dd4acjb 0x1dd5b2
001dd4b2
001dd4b2loc_1dd4b2:
001dd4b2lea rsi, [rip+0x186147]
001dd4b9lea rdi, [rip+0x1861f8]
001dd4c0mov rbx, rsp
001dd4c3mov rsp, [r14+64]
001dd4c7call caml_initialize
001dd4ccmov rsp, rbx
001dd4cflea rsi, [rip+0x18614a]
001dd4d6lea rdi, [rip+0x1861db]
001dd4ddadd rdi, 8
001dd4e1mov rbx, rsp
001dd4e4mov rsp, [r14+64]
001dd4e8call caml_initialize
001dd4edmov rsp, rbx
001dd4f0lea rsi, [rip+0x186149]
001dd4f7lea rdi, [rip+0x1861ba]
001dd4feadd rdi, 16
001dd502mov rbx, rsp
001dd505mov rsp, [r14+64]
001dd509call caml_initialize
001dd50emov rsp, rbx
001dd511lea rsi, [rip+0x186148]
001dd518lea rdi, [rip+0x186199]
001dd51fadd rdi, 24
001dd523mov rbx, rsp
001dd526mov rsp, [r14+64]
001dd52acall caml_initialize
001dd52fmov rsp, rbx
001dd532mov edi, 1
001dd537mov rbx, rsp
001dd53amov rsp, [r14+64]
001dd53ecall caml_fresh_oo_id
001dd543mov rsp, rbx
001dd546call caml_alloc2
001dd54blea rsi, [r15+8]
001dd54fmov [rsi-8], 2296
001dd557lea rbx, [rip+0x1861c2]
001dd55emov [rsi], rbx
001dd561mov [rsi+8], rax
001dd565lea rdi, [rip+0x18614c]
001dd56cadd rdi, 40
001dd570mov rbx, rsp
001dd573mov rsp, [r14+64]
001dd577call caml_initialize
001dd57cmov rsp, rbx
001dd57flea rax, [rip+0x1860fa]
001dd586call Stdlib.Printexc.register_printer
001dd58blea rsi, [rip+0x186106]
001dd592lea rdi, [rip+0x18611f]
001dd599add rdi, 32
001dd59dmov rbx, rsp
001dd5a0mov rsp, [r14+64]
001dd5a4call caml_initialize
001dd5a9mov rsp, rbx
001dd5acmov eax, 1
001dd5b1ret
001dd5b2
001dd5b2loc_1dd5b2:
001dd5b2push 33
001dd5b4call caml_call_realloc_stack
001dd5b9pop r10
001dd5bbjmp 0x1dd4b2
001dd4a0
001dd5c0
001dd5c0Stdlib.In_channel.fun:
001dd5c0mov rdi, rax
001dd5c3lea rax, [rip+0x46096]
001dd5cacall caml_c_call
001dd5cfret
001dd5c0
001dd5c0Stdlib.In_channel.fun:
001dd5c0mov rdi, rax
001dd5c3lea rax, [rip+0x46096]
001dd5cacall caml_c_call
001dd5cfret
001dd5c0
001dd5d0
001dd5d0Stdlib.In_channel.fun:
001dd5d0mov rdi, rax
001dd5d3lea rax, [rip+0x32656]
001dd5dacall caml_c_call
001dd5dfret
001dd5d0
001dd5d0Stdlib.In_channel.fun:
001dd5d0mov rdi, rax
001dd5d3lea rax, [rip+0x32656]
001dd5dacall caml_c_call
001dd5dfret
001dd5d0
001dd5e0
001dd5e0Stdlib.In_channel.with_open:
001dd5e0lea r10, [rsp-328]
001dd5e8cmp r10, [r14+40]
001dd5ecjb 0x1dd680
001dd5f2
001dd5f2loc_1dd5f2:
001dd5f2sub rsp, 8
001dd5f6mov rsi, rax
001dd5f9mov rax, rbx
001dd5fcmov [rsp], rdi
001dd600mov rdi, [rsi]
001dd603mov rbx, rsi
001dd606call rdi
001dd608sub r15, 72
001dd60ccmp r15, [r14]
001dd60fjb 0x1dd679
001dd611
001dd611loc_1dd611:
001dd611lea rbx, [r15+8]
001dd615add rbx, 32
001dd619mov [rbx-8], 4343
001dd621lea rdi, [rip+120]
001dd628mov [rbx], rdi
001dd62bmov rdi, 0x100000000000005
001dd635mov [rbx+8], rdi
001dd639mov rdi, [rsp]
001dd63dmov [rbx+16], rdi
001dd641mov [rbx+24], rax
001dd645lea rdi, [rbx-32]
001dd649mov [rdi-8], 3319
001dd651lea rsi, [rip+56]
001dd658mov [rdi], rsi
001dd65bmov rsi, 0x100000000000005
001dd665mov [rdi+8], rsi
001dd669mov [rdi+16], rax
001dd66dmov rax, rdi
001dd670add rsp, 8
001dd674jmp 0x1dd2e0
001dd679
001dd679loc_1dd679:
001dd679call caml_call_gc
001dd67ejmp 0x1dd611
001dd680
001dd680loc_1dd680:
001dd680push 34
001dd682call caml_call_realloc_stack
001dd687pop r10
001dd689jmp 0x1dd5f2
001dd5e0
001dd5e0Stdlib.In_channel.with_open:
001dd5e0lea r10, [rsp-328]
001dd5e8cmp r10, [r14+40]
001dd5ecjb 0x1dd680
001dd5f2
001dd5f2loc_1dd5f2:
001dd5f2sub rsp, 8
001dd5f6mov rsi, rax
001dd5f9mov rax, rbx
001dd5fcmov [rsp], rdi
001dd600mov rdi, [rsi]
001dd603mov rbx, rsi
001dd606call rdi
001dd608sub r15, 72
001dd60ccmp r15, [r14]
001dd60fjb 0x1dd679
001dd611
001dd611loc_1dd611:
001dd611lea rbx, [r15+8]
001dd615add rbx, 32
001dd619mov [rbx-8], 4343
001dd621lea rdi, [rip+120]
001dd628mov [rbx], rdi
001dd62bmov rdi, 0x100000000000005
001dd635mov [rbx+8], rdi
001dd639mov rdi, [rsp]
001dd63dmov [rbx+16], rdi
001dd641mov [rbx+24], rax
001dd645lea rdi, [rbx-32]
001dd649mov [rdi-8], 3319
001dd651lea rsi, [rip+56]
001dd658mov [rdi], rsi
001dd65bmov rsi, 0x100000000000005
001dd665mov [rdi+8], rsi
001dd669mov [rdi+16], rax
001dd66dmov rax, rdi
001dd670add rsp, 8
001dd674jmp 0x1dd2e0
001dd679
001dd679loc_1dd679:
001dd679call caml_call_gc
001dd67ejmp 0x1dd611
001dd680
001dd680loc_1dd680:
001dd680push 34
001dd682call caml_call_realloc_stack
001dd687pop r10
001dd689jmp 0x1dd5f2
001dd5e0
001dd68e
001dd68e // align 0x10
001dd68e // align 0x10
001dd699
001dd699 // align 0x10
001dd699 // align 0x10
001dd6a0
001dd6a0Stdlib.In_channel.fun:
001dd6a0cmp r15, [r14]
001dd6a3jbe 0x1dd6b5
001dd6a5
001dd6a5loc_1dd6a5:
001dd6a5mov rdi, [rbx+16]
001dd6a9mov rax, [rbx+24]
001dd6admov rsi, [rdi]
001dd6b0mov rbx, rdi
001dd6b3jmp rsi
001dd6b5
001dd6b5loc_1dd6b5:
001dd6b5call caml_call_gc
001dd6bajmp 0x1dd6a5
001dd6a0
001dd6a0Stdlib.In_channel.fun:
001dd6a0cmp r15, [r14]
001dd6a3jbe 0x1dd6b5
001dd6a5
001dd6a5loc_1dd6a5:
001dd6a5mov rdi, [rbx+16]
001dd6a9mov rax, [rbx+24]
001dd6admov rsi, [rdi]
001dd6b0mov rbx, rdi
001dd6b3jmp rsi
001dd6b5
001dd6b5loc_1dd6b5:
001dd6b5call caml_call_gc
001dd6bajmp 0x1dd6a5
001dd6a0
001dd6bc
001dd6bc // align 0x10
001dd6bc // align 0x10
001dd6c0
001dd6c0Stdlib.In_channel.with_open_bin:
001dd6c0mov rsi, rax
001dd6c3mov rdi, rbx
001dd6c6lea rax, [rip+0x14ff4b]
001dd6cdmov rax, [rax+632]
001dd6d4mov rbx, rsi
001dd6d7jmp 0x1dd5e0
001dd6c0
001dd6c0Stdlib.In_channel.with_open_bin:
001dd6c0mov rsi, rax
001dd6c3mov rdi, rbx
001dd6c6lea rax, [rip+0x14ff4b]
001dd6cdmov rax, [rax+632]
001dd6d4mov rbx, rsi
001dd6d7jmp 0x1dd5e0
001dd6c0
001dd6dc
001dd6dc // align 0x10
001dd6dc // align 0x10
001dd6e0
001dd6e0Stdlib.In_channel.with_open_text:
001dd6e0mov rsi, rax
001dd6e3mov rdi, rbx
001dd6e6lea rax, [rip+0x14ff2b]
001dd6edmov rax, [rax+624]
001dd6f4mov rbx, rsi
001dd6f7jmp 0x1dd5e0
001dd6e0
001dd6e0Stdlib.In_channel.with_open_text:
001dd6e0mov rsi, rax
001dd6e3mov rdi, rbx
001dd6e6lea rax, [rip+0x14ff2b]
001dd6edmov rax, [rax+624]
001dd6f4mov rbx, rsi
001dd6f7jmp 0x1dd5e0
001dd6e0
001dd6fc
001dd6fc // align 0x10
001dd6fc // align 0x10
001dd700
001dd700Stdlib.In_channel.with_open_gen:
001dd700lea rdx, [rip+0x14ff11]
001dd707mov rdx, [rdx+640]
001dd70esub r15, 48
001dd712cmp r15, [r14]
001dd715jb 0x1dd755
001dd717
001dd717loc_1dd717:
001dd717lea rcx, [r15+8]
001dd71bmov [rcx-8], 5367
001dd723lea r8, [rip+54]
001dd72amov [rcx], r8
001dd72dmov r8, 0x100000000000005
001dd737mov [rcx+8], r8
001dd73bmov [rcx+16], rax
001dd73fmov [rcx+24], rbx
001dd743mov [rcx+32], rdx
001dd747mov rax, rcx
001dd74amov rbx, rdi
001dd74dmov rdi, rsi
001dd750jmp 0x1dd5e0
001dd755
001dd755loc_1dd755:
001dd755call caml_call_gc
001dd75ajmp 0x1dd717
001dd700
001dd700Stdlib.In_channel.with_open_gen:
001dd700lea rdx, [rip+0x14ff11]
001dd707mov rdx, [rdx+640]
001dd70esub r15, 48
001dd712cmp r15, [r14]
001dd715jb 0x1dd755
001dd717
001dd717loc_1dd717:
001dd717lea rcx, [r15+8]
001dd71bmov [rcx-8], 5367
001dd723lea r8, [rip+54]
001dd72amov [rcx], r8
001dd72dmov r8, 0x100000000000005
001dd737mov [rcx+8], r8
001dd73bmov [rcx+16], rax
001dd73fmov [rcx+24], rbx
001dd743mov [rcx+32], rdx
001dd747mov rax, rcx
001dd74amov rbx, rdi
001dd74dmov rdi, rsi
001dd750jmp 0x1dd5e0
001dd755
001dd755loc_1dd755:
001dd755call caml_call_gc
001dd75ajmp 0x1dd717
001dd700
001dd75c
001dd75c // align 0x10
001dd75c // align 0x10
001dd760
001dd760Stdlib.In_channel.fun:
001dd760mov rdi, rax
001dd763mov rsi, [rbx+24]
001dd767mov rax, [rbx+16]
001dd76bmov rbx, rsi
001dd76ejmp 0x1965a0
001dd760
001dd760Stdlib.In_channel.fun:
001dd760mov rdi, rax
001dd763mov rsi, [rbx+24]
001dd767mov rax, [rbx+16]
001dd76bmov rbx, rsi
001dd76ejmp 0x1965a0
001dd760
001dd773
001dd773 // align 0x10
001dd773 // align 0x10
001dd780
001dd780Stdlib.In_channel.input_char:
001dd780lea r11, [rip+37]
001dd787push r11
001dd789push [r14+48]
001dd78dmov [r14+48], rsp
001dd791mov rdi, rax
001dd794lea rax, [rip+0x33255]
001dd79bcall caml_c_call
001dd7a0pop [r14+48]
001dd7a4add rsp, 8
001dd7a8jmp 0x1dd7cc
001dd7aa
001dd7aa 66 90 f.
001dd7aclea rbx, [rip+0x14fe65]
001dd7b3mov rbx, [rbx+88]
001dd7b7cmp rax, rbx
001dd7bajne 0x1dd7c4
001dd7bcmov eax, 1
001dd7c1ret
001dd7c2
001dd7c2 66 90 f.
001dd7c4
001dd7c4loc_1dd7c4:
001dd7c4call caml_reraise_exn
001dd7c9nop [rax]
001dd7cc
001dd7ccloc_1dd7cc:
001dd7ccsub r15, 16
001dd7d0cmp r15, [r14]
001dd7d3jb 0x1dd7e8
001dd7d5
001dd7d5loc_1dd7d5:
001dd7d5lea rbx, [r15+8]
001dd7d9mov [rbx-8], 1024
001dd7e1mov [rbx], rax
001dd7e4mov rax, rbx
001dd7e7ret
001dd7e8
001dd7e8loc_1dd7e8:
001dd7e8call caml_call_gc
001dd7edjmp 0x1dd7d5
001dd780
001dd780Stdlib.In_channel.input_char:
001dd780lea r11, [rip+37]
001dd787push r11
001dd789push [r14+48]
001dd78dmov [r14+48], rsp
001dd791mov rdi, rax
001dd794lea rax, [rip+0x33255]
001dd79bcall caml_c_call
001dd7a0pop [r14+48]
001dd7a4add rsp, 8
001dd7a8jmp 0x1dd7cc
001dd7aa
001dd7aa 66 90 f.
001dd7aclea rbx, [rip+0x14fe65]
001dd7b3mov rbx, [rbx+88]
001dd7b7cmp rax, rbx
001dd7bajne 0x1dd7c4
001dd7bcmov eax, 1
001dd7c1ret
001dd7c2
001dd7c2 66 90 f.
001dd7c4
001dd7c4loc_1dd7c4:
001dd7c4call caml_reraise_exn
001dd7c9nop [rax]
001dd7cc
001dd7ccloc_1dd7cc:
001dd7ccsub r15, 16
001dd7d0cmp r15, [r14]
001dd7d3jb 0x1dd7e8
001dd7d5
001dd7d5loc_1dd7d5:
001dd7d5lea rbx, [r15+8]
001dd7d9mov [rbx-8], 1024
001dd7e1mov [rbx], rax
001dd7e4mov rax, rbx
001dd7e7ret
001dd7e8
001dd7e8loc_1dd7e8:
001dd7e8call caml_call_gc
001dd7edjmp 0x1dd7d5
001dd780
001dd7ef
001dd7ef // align 0x10
001dd7ef // align 0x10
001dd7f0
001dd7f0Stdlib.In_channel.input_byte:
001dd7f0lea r11, [rip+37]
001dd7f7push r11
001dd7f9push [r14+48]
001dd7fdmov [r14+48], rsp
001dd801mov rdi, rax
001dd804lea rax, [rip+0x331e5]
001dd80bcall caml_c_call
001dd810pop [r14+48]
001dd814add rsp, 8
001dd818jmp 0x1dd83c
001dd81a
001dd81a 66 90 f.
001dd81clea rbx, [rip+0x14fdf5]
001dd823mov rbx, [rbx+88]
001dd827cmp rax, rbx
001dd82ajne 0x1dd834
001dd82cmov eax, 1
001dd831ret
001dd832
001dd832 66 90 f.
001dd834
001dd834loc_1dd834:
001dd834call caml_reraise_exn
001dd839nop [rax]
001dd83c
001dd83cloc_1dd83c:
001dd83csub r15, 16
001dd840cmp r15, [r14]
001dd843jb 0x1dd858
001dd845
001dd845loc_1dd845:
001dd845lea rbx, [r15+8]
001dd849mov [rbx-8], 1024
001dd851mov [rbx], rax
001dd854mov rax, rbx
001dd857ret
001dd858
001dd858loc_1dd858:
001dd858call caml_call_gc
001dd85djmp 0x1dd845
001dd7f0
001dd7f0Stdlib.In_channel.input_byte:
001dd7f0lea r11, [rip+37]
001dd7f7push r11
001dd7f9push [r14+48]
001dd7fdmov [r14+48], rsp
001dd801mov rdi, rax
001dd804lea rax, [rip+0x331e5]
001dd80bcall caml_c_call
001dd810pop [r14+48]
001dd814add rsp, 8
001dd818jmp 0x1dd83c
001dd81a
001dd81a 66 90 f.
001dd81clea rbx, [rip+0x14fdf5]
001dd823mov rbx, [rbx+88]
001dd827cmp rax, rbx
001dd82ajne 0x1dd834
001dd82cmov eax, 1
001dd831ret
001dd832
001dd832 66 90 f.
001dd834
001dd834loc_1dd834:
001dd834call caml_reraise_exn
001dd839nop [rax]
001dd83c
001dd83cloc_1dd83c:
001dd83csub r15, 16
001dd840cmp r15, [r14]
001dd843jb 0x1dd858
001dd845
001dd845loc_1dd845:
001dd845lea rbx, [r15+8]
001dd849mov [rbx-8], 1024
001dd851mov [rbx], rax
001dd854mov rax, rbx
001dd857ret
001dd858
001dd858loc_1dd858:
001dd858call caml_call_gc
001dd85djmp 0x1dd845
001dd7f0
001dd85f
001dd85f // align 0x10
001dd85f // align 0x10
001dd860
001dd860Stdlib.In_channel.input_line:
001dd860lea r10, [rsp-336]
001dd868cmp r10, [r14+40]
001dd86cjb 0x1dd8d3
001dd86e
001dd86eloc_1dd86e:
001dd86elea r11, [rip+27]
001dd875push r11
001dd877push [r14+48]
001dd87bmov [r14+48], rsp
001dd87fcall camlStdlib.input_line_326
001dd884pop [r14+48]
001dd888add rsp, 8
001dd88cjmp 0x1dd8b0
001dd88e
001dd88e 66 90 f.
001dd890lea rbx, [rip+0x14fd81]
001dd897mov rbx, [rbx+88]
001dd89bcmp rax, rbx
001dd89ejne 0x1dd8a8
001dd8a0mov eax, 1
001dd8a5ret
001dd8a6
001dd8a6 66 90 f.
001dd8a8
001dd8a8loc_1dd8a8:
001dd8a8call caml_reraise_exn
001dd8adnop [rax]
001dd8b0
001dd8b0loc_1dd8b0:
001dd8b0sub r15, 16
001dd8b4cmp r15, [r14]
001dd8b7jb 0x1dd8cc
001dd8b9
001dd8b9loc_1dd8b9:
001dd8b9lea rbx, [r15+8]
001dd8bdmov [rbx-8], 1024
001dd8c5mov [rbx], rax
001dd8c8mov rax, rbx
001dd8cbret
001dd8cc
001dd8ccloc_1dd8cc:
001dd8cccall caml_call_gc
001dd8d1jmp 0x1dd8b9
001dd8d3
001dd8d3loc_1dd8d3:
001dd8d3push 35
001dd8d5call caml_call_realloc_stack
001dd8dapop r10
001dd8dcjmp 0x1dd86e
001dd860
001dd860Stdlib.In_channel.input_line:
001dd860lea r10, [rsp-336]
001dd868cmp r10, [r14+40]
001dd86cjb 0x1dd8d3
001dd86e
001dd86eloc_1dd86e:
001dd86elea r11, [rip+27]
001dd875push r11
001dd877push [r14+48]
001dd87bmov [r14+48], rsp
001dd87fcall camlStdlib.input_line_326
001dd884pop [r14+48]
001dd888add rsp, 8
001dd88cjmp 0x1dd8b0
001dd88e
001dd88e 66 90 f.
001dd890lea rbx, [rip+0x14fd81]
001dd897mov rbx, [rbx+88]
001dd89bcmp rax, rbx
001dd89ejne 0x1dd8a8
001dd8a0mov eax, 1
001dd8a5ret
001dd8a6
001dd8a6 66 90 f.
001dd8a8
001dd8a8loc_1dd8a8:
001dd8a8call caml_reraise_exn
001dd8adnop [rax]
001dd8b0
001dd8b0loc_1dd8b0:
001dd8b0sub r15, 16
001dd8b4cmp r15, [r14]
001dd8b7jb 0x1dd8cc
001dd8b9
001dd8b9loc_1dd8b9:
001dd8b9lea rbx, [r15+8]
001dd8bdmov [rbx-8], 1024
001dd8c5mov [rbx], rax
001dd8c8mov rax, rbx
001dd8cbret
001dd8cc
001dd8ccloc_1dd8cc:
001dd8cccall caml_call_gc
001dd8d1jmp 0x1dd8b9
001dd8d3
001dd8d3loc_1dd8d3:
001dd8d3push 35
001dd8d5call caml_call_realloc_stack
001dd8dapop r10
001dd8dcjmp 0x1dd86e
001dd860
001dd8de
001dd8de // align 0x10
001dd8de // align 0x10
001dd8e0
001dd8e0Stdlib.In_channel.input_bigarray:
001dd8e0mov rdx, rdi
001dd8e3mov rcx, rsi
001dd8e6cmp rdx, 1
001dd8eajl 0x1dd918
001dd8eccmp rcx, 1
001dd8f0jl 0x1dd918
001dd8f2mov rdi, [rbx+40]
001dd8f6shl rdi, 1
001dd8f9sub rdi, rcx
001dd8fcadd rdi, 2
001dd900cmp rdx, rdi
001dd903jg 0x1dd918
001dd905mov rdi, rax
001dd908mov rsi, rbx
001dd90blea rax, [rip+0x3355e]
001dd912call caml_c_call
001dd917ret
001dd918
001dd918loc_1dd918:
001dd918lea rax, [rip+0x1864d1]
001dd91fjmp 0x195ab0
001dd8e0
001dd8e0Stdlib.In_channel.input_bigarray:
001dd8e0mov rdx, rdi
001dd8e3mov rcx, rsi
001dd8e6cmp rdx, 1
001dd8eajl 0x1dd918
001dd8eccmp rcx, 1
001dd8f0jl 0x1dd918
001dd8f2mov rdi, [rbx+40]
001dd8f6shl rdi, 1
001dd8f9sub rdi, rcx
001dd8fcadd rdi, 2
001dd900cmp rdx, rdi
001dd903jg 0x1dd918
001dd905mov rdi, rax
001dd908mov rsi, rbx
001dd90blea rax, [rip+0x3355e]
001dd912call caml_c_call
001dd917ret
001dd918
001dd918loc_1dd918:
001dd918lea rax, [rip+0x1864d1]
001dd91fjmp 0x195ab0
001dd8e0
001dd924
001dd924 // align 0x10
001dd924 // align 0x10
001dd930
001dd930Stdlib.In_channel.really_input:
001dd930lea r10, [rsp-336]
001dd938cmp r10, [r14+40]
001dd93cjb 0x1dd988
001dd93e
001dd93eloc_1dd93e:
001dd93elea r11, [rip+27]
001dd945push r11
001dd947push [r14+48]
001dd94bmov [r14+48], rsp
001dd94fcall camlStdlib.really_input_314
001dd954pop [r14+48]
001dd958add rsp, 8
001dd95cjmp 0x1dd980
001dd95e
001dd95e 66 90 f.
001dd960lea rbx, [rip+0x14fcb1]
001dd967mov rbx, [rbx+88]
001dd96bcmp rax, rbx
001dd96ejne 0x1dd978
001dd970mov eax, 1
001dd975ret
001dd976
001dd976 66 90 f.
001dd978
001dd978loc_1dd978:
001dd978call caml_reraise_exn
001dd97dnop [rax]
001dd980
001dd980loc_1dd980:
001dd980lea rax, [rip+0x186459]
001dd987ret
001dd988
001dd988loc_1dd988:
001dd988push 35
001dd98acall caml_call_realloc_stack
001dd98fpop r10
001dd991jmp 0x1dd93e
001dd930
001dd930Stdlib.In_channel.really_input:
001dd930lea r10, [rsp-336]
001dd938cmp r10, [r14+40]
001dd93cjb 0x1dd988
001dd93e
001dd93eloc_1dd93e:
001dd93elea r11, [rip+27]
001dd945push r11
001dd947push [r14+48]
001dd94bmov [r14+48], rsp
001dd94fcall camlStdlib.really_input_314
001dd954pop [r14+48]
001dd958add rsp, 8
001dd95cjmp 0x1dd980
001dd95e
001dd95e 66 90 f.
001dd960lea rbx, [rip+0x14fcb1]
001dd967mov rbx, [rbx+88]
001dd96bcmp rax, rbx
001dd96ejne 0x1dd978
001dd970mov eax, 1
001dd975ret
001dd976
001dd976 66 90 f.
001dd978
001dd978loc_1dd978:
001dd978call caml_reraise_exn
001dd97dnop [rax]
001dd980
001dd980loc_1dd980:
001dd980lea rax, [rip+0x186459]
001dd987ret
001dd988
001dd988loc_1dd988:
001dd988push 35
001dd98acall caml_call_realloc_stack
001dd98fpop r10
001dd991jmp 0x1dd93e
001dd930
001dd993
001dd993 // align 0x10
001dd993 // align 0x10
001dd9a0
001dd9a0Stdlib.In_channel.unsafe_really_input_bigarray:
001dd9a0sub rsp, 32
001dd9a4
001dd9a4loc_1dd9a4:
001dd9a4mov rdx, rdi
001dd9a7mov rcx, rsi
001dd9aacmp r15, [r14]
001dd9adjbe 0x1dda1c
001dd9af
001dd9afloc_1dd9af:
001dd9afcmp rcx, 1
001dd9b3jg 0x1dd9c4
001dd9b5lea rax, [rip+0x186424]
001dd9bcadd rsp, 32
001dd9c0ret
001dd9c1
001dd9c1 0f 1f 00 ...
001dd9c4
001dd9c4loc_1dd9c4:
001dd9c4mov [rsp], rcx
001dd9c8mov [rsp+8], rdx
001dd9cdmov [rsp+24], rbx
001dd9d2mov [rsp+16], rax
001dd9d7mov rdi, rax
001dd9damov rsi, rbx
001dd9ddlea rax, [rip+0x3348c]
001dd9e4call caml_c_call
001dd9e9cmp rax, 1
001dd9edjne 0x1dd9fc
001dd9efmov eax, 1
001dd9f4add rsp, 32
001dd9f8ret
001dd9f9
001dd9f9 0f 1f 00 ...
001dd9fc
001dd9fcloc_1dd9fc:
001dd9fcmov rsi, [rsp]
001dda00sub rsi, rax
001dda03inc rsi
001dda06mov rbx, [rsp+8]
001dda0blea rdi, [rbx+rax-1]
001dda10mov rax, [rsp+16]
001dda15mov rbx, [rsp+24]
001dda1ajmp 0x1dd9a4
001dda1c
001dda1cloc_1dda1c:
001dda1ccall caml_call_gc
001dda21jmp 0x1dd9af
001dd9a0
001dd9a0Stdlib.In_channel.unsafe_really_input_bigarray:
001dd9a0sub rsp, 32
001dd9a4
001dd9a4loc_1dd9a4:
001dd9a4mov rdx, rdi
001dd9a7mov rcx, rsi
001dd9aacmp r15, [r14]
001dd9adjbe 0x1dda1c
001dd9af
001dd9afloc_1dd9af:
001dd9afcmp rcx, 1
001dd9b3jg 0x1dd9c4
001dd9b5lea rax, [rip+0x186424]
001dd9bcadd rsp, 32
001dd9c0ret
001dd9c1
001dd9c1 0f 1f 00 ...
001dd9c4
001dd9c4loc_1dd9c4:
001dd9c4mov [rsp], rcx
001dd9c8mov [rsp+8], rdx
001dd9cdmov [rsp+24], rbx
001dd9d2mov [rsp+16], rax
001dd9d7mov rdi, rax
001dd9damov rsi, rbx
001dd9ddlea rax, [rip+0x3348c]
001dd9e4call caml_c_call
001dd9e9cmp rax, 1
001dd9edjne 0x1dd9fc
001dd9efmov eax, 1
001dd9f4add rsp, 32
001dd9f8ret
001dd9f9
001dd9f9 0f 1f 00 ...
001dd9fc
001dd9fcloc_1dd9fc:
001dd9fcmov rsi, [rsp]
001dda00sub rsi, rax
001dda03inc rsi
001dda06mov rbx, [rsp+8]
001dda0blea rdi, [rbx+rax-1]
001dda10mov rax, [rsp+16]
001dda15mov rbx, [rsp+24]
001dda1ajmp 0x1dd9a4
001dda1c
001dda1cloc_1dda1c:
001dda1ccall caml_call_gc
001dda21jmp 0x1dd9af
001dd9a0
001dda23
001dda23 // align 0x10
001dda23 // align 0x10
001dda30
001dda30Stdlib.In_channel.really_input_bigarray:
001dda30cmp rdi, 1
001dda34jl 0x1dda54
001dda36cmp rsi, 1
001dda3ajl 0x1dda54
001dda3cmov rdx, [rbx+40]
001dda40shl rdx, 1
001dda43sub rdx, rsi
001dda46add rdx, 2
001dda4acmp rdi, rdx
001dda4djg 0x1dda54
001dda4fjmp 0x1dd9a0
001dda54
001dda54loc_1dda54:
001dda54lea rax, [rip+0x186365]
001dda5bjmp 0x195ab0
001dda30
001dda30Stdlib.In_channel.really_input_bigarray:
001dda30cmp rdi, 1
001dda34jl 0x1dda54
001dda36cmp rsi, 1
001dda3ajl 0x1dda54
001dda3cmov rdx, [rbx+40]
001dda40shl rdx, 1
001dda43sub rdx, rsi
001dda46add rdx, 2
001dda4acmp rdi, rdx
001dda4djg 0x1dda54
001dda4fjmp 0x1dd9a0
001dda54
001dda54loc_1dda54:
001dda54lea rax, [rip+0x186365]
001dda5bjmp 0x195ab0
001dda30
001dda60
001dda60Stdlib.In_channel.really_input_string:
001dda60lea r10, [rsp-336]
001dda68cmp r10, [r14+40]
001dda6cjb 0x1ddad3
001dda6e
001dda6eloc_1dda6e:
001dda6elea r11, [rip+27]
001dda75push r11
001dda77push [r14+48]
001dda7bmov [r14+48], rsp
001dda7fcall camlStdlib.really_input_string_320
001dda84pop [r14+48]
001dda88add rsp, 8
001dda8cjmp 0x1ddab0
001dda8e
001dda8e 66 90 f.
001dda90lea rbx, [rip+0x14fb81]
001dda97mov rbx, [rbx+88]
001dda9bcmp rax, rbx
001dda9ejne 0x1ddaa8
001ddaa0mov eax, 1
001ddaa5ret
001ddaa6
001ddaa6 66 90 f.
001ddaa8
001ddaa8loc_1ddaa8:
001ddaa8call caml_reraise_exn
001ddaadnop [rax]
001ddab0
001ddab0loc_1ddab0:
001ddab0sub r15, 16
001ddab4cmp r15, [r14]
001ddab7jb 0x1ddacc
001ddab9
001ddab9loc_1ddab9:
001ddab9lea rbx, [r15+8]
001ddabdmov [rbx-8], 1024
001ddac5mov [rbx], rax
001ddac8mov rax, rbx
001ddacbret
001ddacc
001ddaccloc_1ddacc:
001ddacccall caml_call_gc
001ddad1jmp 0x1ddab9
001ddad3
001ddad3loc_1ddad3:
001ddad3push 35
001ddad5call caml_call_realloc_stack
001ddadapop r10
001ddadcjmp 0x1dda6e
001dda60
001dda60Stdlib.In_channel.really_input_string:
001dda60lea r10, [rsp-336]
001dda68cmp r10, [r14+40]
001dda6cjb 0x1ddad3
001dda6e
001dda6eloc_1dda6e:
001dda6elea r11, [rip+27]
001dda75push r11
001dda77push [r14+48]
001dda7bmov [r14+48], rsp
001dda7fcall camlStdlib.really_input_string_320
001dda84pop [r14+48]
001dda88add rsp, 8
001dda8cjmp 0x1ddab0
001dda8e
001dda8e 66 90 f.
001dda90lea rbx, [rip+0x14fb81]
001dda97mov rbx, [rbx+88]
001dda9bcmp rax, rbx
001dda9ejne 0x1ddaa8
001ddaa0mov eax, 1
001ddaa5ret
001ddaa6
001ddaa6 66 90 f.
001ddaa8
001ddaa8loc_1ddaa8:
001ddaa8call caml_reraise_exn
001ddaadnop [rax]
001ddab0
001ddab0loc_1ddab0:
001ddab0sub r15, 16
001ddab4cmp r15, [r14]
001ddab7jb 0x1ddacc
001ddab9
001ddab9loc_1ddab9:
001ddab9lea rbx, [r15+8]
001ddabdmov [rbx-8], 1024
001ddac5mov [rbx], rax
001ddac8mov rax, rbx
001ddacbret
001ddacc
001ddaccloc_1ddacc:
001ddacccall caml_call_gc
001ddad1jmp 0x1ddab9
001ddad3
001ddad3loc_1ddad3:
001ddad3push 35
001ddad5call caml_call_realloc_stack
001ddadapop r10
001ddadcjmp 0x1dda6e
001dda60
001ddade
001ddade // align 0x10
001ddade // align 0x10
001ddae0
001ddae0Stdlib.In_channel.read_upto:
001ddae0lea r10, [rsp-328]
001ddae8cmp r10, [r14+40]
001ddaecjb 0x1ddb5a
001ddaee
001ddaeeloc_1ddaee:
001ddaeesub rsp, 8
001ddaf2mov [rsp], rdi
001ddaf6sub r15, 48
001ddafacmp r15, [r14]
001ddafdjb 0x1ddb53
001ddaff
001ddaffloc_1ddaff:
001ddafflea rdx, [r15+8]
001ddb03mov [rdx-8], 5367
001ddb0blea rcx, [rip-0xe6af2]
001ddb12mov [rdx], rcx
001ddb15mov rcx, 0x200000000000007
001ddb1fmov [rdx+8], rcx
001ddb23lea rcx, [rip+70]
001ddb2amov [rdx+16], rcx
001ddb2emov [rdx+24], rax
001ddb32mov [rdx+32], rbx
001ddb36mov rax, rdi
001ddb39mov rbx, rsi
001ddb3cmov rdi, rdx
001ddb3fcall Stdlib.In_channel.loop
001ddb44mov rbx, [rsp]
001ddb48sub rax, rbx
001ddb4binc rax
001ddb4eadd rsp, 8
001ddb52ret
001ddb53
001ddb53loc_1ddb53:
001ddb53call caml_call_gc
001ddb58jmp 0x1ddaff
001ddb5a
001ddb5aloc_1ddb5a:
001ddb5apush 34
001ddb5ccall caml_call_realloc_stack
001ddb61pop r10
001ddb63jmp 0x1ddaee
001ddae0
001ddae0Stdlib.In_channel.read_upto:
001ddae0lea r10, [rsp-328]
001ddae8cmp r10, [r14+40]
001ddaecjb 0x1ddb5a
001ddaee
001ddaeeloc_1ddaee:
001ddaeesub rsp, 8
001ddaf2mov [rsp], rdi
001ddaf6sub r15, 48
001ddafacmp r15, [r14]
001ddafdjb 0x1ddb53
001ddaff
001ddaffloc_1ddaff:
001ddafflea rdx, [r15+8]
001ddb03mov [rdx-8], 5367
001ddb0blea rcx, [rip-0xe6af2]
001ddb12mov [rdx], rcx
001ddb15mov rcx, 0x200000000000007
001ddb1fmov [rdx+8], rcx
001ddb23lea rcx, [rip+70]
001ddb2amov [rdx+16], rcx
001ddb2emov [rdx+24], rax
001ddb32mov [rdx+32], rbx
001ddb36mov rax, rdi
001ddb39mov rbx, rsi
001ddb3cmov rdi, rdx
001ddb3fcall Stdlib.In_channel.loop
001ddb44mov rbx, [rsp]
001ddb48sub rax, rbx
001ddb4binc rax
001ddb4eadd rsp, 8
001ddb52ret
001ddb53
001ddb53loc_1ddb53:
001ddb53call caml_call_gc
001ddb58jmp 0x1ddaff
001ddb5a
001ddb5aloc_1ddb5a:
001ddb5apush 34
001ddb5ccall caml_call_realloc_stack
001ddb61pop r10
001ddb63jmp 0x1ddaee
001ddae0
001ddb65
001ddb65 // align 0x10
001ddb65 // align 0x10
001ddb70
001ddb70Stdlib.In_channel.loop:
001ddb70lea r10, [rsp-344]
001ddb78cmp r10, [r14+40]
001ddb7cjb 0x1ddbee
001ddb7e
001ddb7eloc_1ddb7e:
001ddb7esub rsp, 24
001ddb82
001ddb82loc_1ddb82:
001ddb82mov rdx, rax
001ddb85mov rsi, rbx
001ddb88cmp r15, [r14]
001ddb8bjbe 0x1ddbe7
001ddb8d
001ddb8dloc_1ddb8d:
001ddb8dcmp rsi, 1
001ddb91jne 0x1ddb9c
001ddb93mov rax, rdx
001ddb96add rsp, 24
001ddb9aret
001ddb9b
001ddb9b 90 .
001ddb9c
001ddb9cloc_1ddb9c:
001ddb9cmov [rsp+8], rdi
001ddba1mov [rsp], rsi
001ddba5mov [rsp+16], rdx
001ddbaamov rbx, [rdi+32]
001ddbaemov rax, [rdi+24]
001ddbb2mov rdi, rdx
001ddbb5call camlStdlib.input_302
001ddbbacmp rax, 1
001ddbbejne 0x1ddbcc
001ddbc0mov rax, [rsp+16]
001ddbc5add rsp, 24
001ddbc9ret
001ddbca
001ddbca 66 90 f.
001ddbcc
001ddbccloc_1ddbcc:
001ddbccmov rbx, [rsp]
001ddbd0sub rbx, rax
001ddbd3inc rbx
001ddbd6mov rdi, [rsp+16]
001ddbdblea rax, [rdi+rax-1]
001ddbe0mov rdi, [rsp+8]
001ddbe5jmp 0x1ddb82
001ddbe7
001ddbe7loc_1ddbe7:
001ddbe7call caml_call_gc
001ddbecjmp 0x1ddb8d
001ddbee
001ddbeeloc_1ddbee:
001ddbeepush 36
001ddbf0call caml_call_realloc_stack
001ddbf5pop r10
001ddbf7jmp 0x1ddb7e
001ddb70
001ddb70Stdlib.In_channel.loop:
001ddb70lea r10, [rsp-344]
001ddb78cmp r10, [r14+40]
001ddb7cjb 0x1ddbee
001ddb7e
001ddb7eloc_1ddb7e:
001ddb7esub rsp, 24
001ddb82
001ddb82loc_1ddb82:
001ddb82mov rdx, rax
001ddb85mov rsi, rbx
001ddb88cmp r15, [r14]
001ddb8bjbe 0x1ddbe7
001ddb8d
001ddb8dloc_1ddb8d:
001ddb8dcmp rsi, 1
001ddb91jne 0x1ddb9c
001ddb93mov rax, rdx
001ddb96add rsp, 24
001ddb9aret
001ddb9b
001ddb9b 90 .
001ddb9c
001ddb9cloc_1ddb9c:
001ddb9cmov [rsp+8], rdi
001ddba1mov [rsp], rsi
001ddba5mov [rsp+16], rdx
001ddbaamov rbx, [rdi+32]
001ddbaemov rax, [rdi+24]
001ddbb2mov rdi, rdx
001ddbb5call camlStdlib.input_302
001ddbbacmp rax, 1
001ddbbejne 0x1ddbcc
001ddbc0mov rax, [rsp+16]
001ddbc5add rsp, 24
001ddbc9ret
001ddbca
001ddbca 66 90 f.
001ddbcc
001ddbccloc_1ddbcc:
001ddbccmov rbx, [rsp]
001ddbd0sub rbx, rax
001ddbd3inc rbx
001ddbd6mov rdi, [rsp+16]
001ddbdblea rax, [rdi+rax-1]
001ddbe0mov rdi, [rsp+8]
001ddbe5jmp 0x1ddb82
001ddbe7
001ddbe7loc_1ddbe7:
001ddbe7call caml_call_gc
001ddbecjmp 0x1ddb8d
001ddbee
001ddbeeloc_1ddbee:
001ddbeepush 36
001ddbf0call caml_call_realloc_stack
001ddbf5pop r10
001ddbf7jmp 0x1ddb7e
001ddb70
001ddbf9
001ddbf9 // align 0x10
001ddbf9 // align 0x10
001ddc00
001ddc00Stdlib.In_channel.ensure:
001ddc00lea r10, [rsp-344]
001ddc08cmp r10, [r14+40]
001ddc0cjb 0x1ddce3
001ddc12
001ddc12loc_1ddc12:
001ddc12sub rsp, 24
001ddc16mov rsi, rdi
001ddc19mov rdi, [rax-8]
001ddc1dshr rdi, 10
001ddc21lea rdi, [8*rdi-1]
001ddc29movzx rdx, [rax+rdi]
001ddc2esub rdi, rdx
001ddc31lea rdi, [rdi+rdi+1]
001ddc36lea rdx, [rbx+rsi-1]
001ddc3bcmp rdi, rdx
001ddc3ejl 0x1ddc48
001ddc40add rsp, 24
001ddc44ret
001ddc45
001ddc45 0f 1f 00 ...
001ddc48
001ddc48loc_1ddc48:
001ddc48mov [rsp+8], rbx
001ddc4dmov [rsp], rax
001ddc51
001ddc51loc_1ddc51:
001ddc51lea rax, [rbx+rsi-1]
001ddc56cmp rdi, rax
001ddc59jge 0x1ddc67
001ddc5blea rdi, [rdi+rdi+1]
001ddc60cmp r15, [r14]
001ddc63ja 0x1ddc51
001ddc65jmp 0x1ddcd9
001ddc67
001ddc67loc_1ddc67:
001ddc67mov rax, 0x3ffffffffffffef
001ddc71cmp rdi, rax
001ddc74jg 0x1ddc78
001ddc76jmp 0x1ddca3
001ddc78
001ddc78loc_1ddc78:
001ddc78mov rax, 0x3ffffffffffffef
001ddc82cmp rbx, rax
001ddc85jge 0x1ddc94
001ddc87mov rdi, 0x3ffffffffffffef
001ddc91jmp 0x1ddca3
001ddc93
001ddc93 90 .
001ddc94
001ddc94loc_1ddc94:
001ddc94lea rax, [rip+0x1860cd]
001ddc9bcall camlStdlib.failwith_7
001ddca0mov rdi, rax
001ddca3
001ddca3loc_1ddca3:
001ddca3lea rax, [rip+0x43386]
001ddcaacall caml_c_call
001ddcafmov rdi, rax
001ddcb2mov [rsp+16], rdi
001ddcb7mov esi, 1
001ddcbcmov ebx, 1
001ddcc1mov rax, [rsp]
001ddcc5mov rdx, [rsp+8]
001ddccacall Stdlib.Bytes.blit
001ddccfmov rax, [rsp+16]
001ddcd4add rsp, 24
001ddcd8ret
001ddcd9
001ddcd9loc_1ddcd9:
001ddcd9call caml_call_gc
001ddcdejmp 0x1ddc51
001ddce3
001ddce3loc_1ddce3:
001ddce3push 36
001ddce5call caml_call_realloc_stack
001ddceapop r10
001ddcecjmp 0x1ddc12
001ddc00
001ddc00Stdlib.In_channel.ensure:
001ddc00lea r10, [rsp-344]
001ddc08cmp r10, [r14+40]
001ddc0cjb 0x1ddce3
001ddc12
001ddc12loc_1ddc12:
001ddc12sub rsp, 24
001ddc16mov rsi, rdi
001ddc19mov rdi, [rax-8]
001ddc1dshr rdi, 10
001ddc21lea rdi, [8*rdi-1]
001ddc29movzx rdx, [rax+rdi]
001ddc2esub rdi, rdx
001ddc31lea rdi, [rdi+rdi+1]
001ddc36lea rdx, [rbx+rsi-1]
001ddc3bcmp rdi, rdx
001ddc3ejl 0x1ddc48
001ddc40add rsp, 24
001ddc44ret
001ddc45
001ddc45 0f 1f 00 ...
001ddc48
001ddc48loc_1ddc48:
001ddc48mov [rsp+8], rbx
001ddc4dmov [rsp], rax
001ddc51
001ddc51loc_1ddc51:
001ddc51lea rax, [rbx+rsi-1]
001ddc56cmp rdi, rax
001ddc59jge 0x1ddc67
001ddc5blea rdi, [rdi+rdi+1]
001ddc60cmp r15, [r14]
001ddc63ja 0x1ddc51
001ddc65jmp 0x1ddcd9
001ddc67
001ddc67loc_1ddc67:
001ddc67mov rax, 0x3ffffffffffffef
001ddc71cmp rdi, rax
001ddc74jg 0x1ddc78
001ddc76jmp 0x1ddca3
001ddc78
001ddc78loc_1ddc78:
001ddc78mov rax, 0x3ffffffffffffef
001ddc82cmp rbx, rax
001ddc85jge 0x1ddc94
001ddc87mov rdi, 0x3ffffffffffffef
001ddc91jmp 0x1ddca3
001ddc93
001ddc93 90 .
001ddc94
001ddc94loc_1ddc94:
001ddc94lea rax, [rip+0x1860cd]
001ddc9bcall camlStdlib.failwith_7
001ddca0mov rdi, rax
001ddca3
001ddca3loc_1ddca3:
001ddca3lea rax, [rip+0x43386]
001ddcaacall caml_c_call
001ddcafmov rdi, rax
001ddcb2mov [rsp+16], rdi
001ddcb7mov esi, 1
001ddcbcmov ebx, 1
001ddcc1mov rax, [rsp]
001ddcc5mov rdx, [rsp+8]
001ddccacall Stdlib.Bytes.blit
001ddccfmov rax, [rsp+16]
001ddcd4add rsp, 24
001ddcd8ret
001ddcd9
001ddcd9loc_1ddcd9:
001ddcd9call caml_call_gc
001ddcdejmp 0x1ddc51
001ddce3
001ddce3loc_1ddce3:
001ddce3push 36
001ddce5call caml_call_realloc_stack
001ddceapop r10
001ddcecjmp 0x1ddc12
001ddc00
001ddcf1
001ddcf1 // align 0x10
001ddcf1 // align 0x10
001ddd00
001ddd00Stdlib.In_channel.input_all:
001ddd00lea r10, [rsp-376]
001ddd08cmp r10, [r14+40]
001ddd0cjb 0x1ddf1a
001ddd12
001ddd12loc_1ddd12:
001ddd12sub rsp, 40
001ddd16mov [rsp+32], rax
001ddd1blea r11, [rip+70]
001ddd22push r11
001ddd24push [r14+48]
001ddd28mov [r14+48], rsp
001ddd2cmov rdi, rax
001ddd2flea rax, [rip+0x334ba]
001ddd36call caml_c_call
001ddd3bmov [rsp+16], rax
001ddd40mov rdi, [rsp+48]
001ddd45lea rax, [rip+0x31e74]
001ddd4ccall caml_c_call
001ddd51mov rbx, [rsp+16]
001ddd56sub rax, rbx
001ddd59inc rax
001ddd5cpop [r14+48]
001ddd60add rsp, 8
001ddd64jmp 0x1ddd8c
001ddd66
001ddd66 66 90 f.
001ddd68lea rbx, [rip+0x14f8a9]
001ddd6fmov rbx, [rbx+80]
001ddd73mov rdi, [rax]
001ddd76cmp rdi, rbx
001ddd79jne 0x1ddd84
001ddd7bmov rax, -1
001ddd82jmp 0x1ddd8c
001ddd84
001ddd84loc_1ddd84:
001ddd84call caml_reraise_exn
001ddd89nop [rax]
001ddd8c
001ddd8cloc_1ddd8c:
001ddd8ccmp rax, 1
001ddd90jge 0x1ddd97
001ddd92mov eax, 0x20001
001ddd97
001ddd97loc_1ddd97:
001ddd97mov rbx, 0x3ffffffffffffef
001ddda1cmp rax, rbx
001ddda4jg 0x1dddac
001ddda6mov [rsp], rax
001dddaajmp 0x1dddba
001dddac
001dddacloc_1dddac:
001dddacmov rax, 0x3ffffffffffffef
001dddb6mov [rsp], rax
001dddba
001dddbaloc_1dddba:
001dddbamov rdi, rax
001dddbdlea rax, [rip+0x4326c]
001dddc4call caml_c_call
001dddc9mov rbx, rax
001dddccmov [rsp+24], rbx
001dddd1mov edi, 1
001dddd6mov rax, [rsp+32]
001ddddbmov rsi, [rsp]
001ddddfcall Stdlib.In_channel.read_upto
001ddde4mov rdi, rax
001ddde7mov rax, [rsp]
001dddebcmp rdi, rax
001dddeejge 0x1dde04
001dddf0mov ebx, 1
001dddf5mov rax, [rsp+24]
001dddfaadd rsp, 40
001dddfejmp 0x1a63e0
001dde03
001dde03 90 .
001dde04
001dde04loc_1dde04:
001dde04mov [rsp+8], rdi
001dde09lea r11, [rip+44]
001dde10push r11
001dde12push [r14+48]
001dde16mov [r14+48], rsp
001dde1amov rdi, [rsp+48]
001dde1flea rax, [rip+0x32bca]
001dde26call caml_c_call
001dde2bmov [rsp+16], rax
001dde30pop [r14+48]
001dde34add rsp, 8
001dde38jmp 0x1dde60
001dde3a
001dde3a 66 90 f.
001dde3clea rbx, [rip+0x14f7d5]
001dde43mov rbx, [rbx+88]
001dde47cmp rax, rbx
001dde4ajne 0x1dde58
001dde4cmov rax, [rsp+24]
001dde51add rsp, 40
001dde55ret
001dde56
001dde56 66 90 f.
001dde58
001dde58loc_1dde58:
001dde58call caml_reraise_exn
001dde5dnop [rax]
001dde60
001dde60loc_1dde60:
001dde60sub r15, 48
001dde64cmp r15, [r14]
001dde67jb 0x1ddf0b
001dde6d
001dde6dloc_1dde6d:
001dde6dlea rax, [r15+8]
001dde71mov [rsp+16], rax
001dde76mov [rax-8], 5367
001dde7elea rbx, [rip-0xe6e65]
001dde85mov [rax], rbx
001dde88mov rbx, 0x200000000000007
001dde92mov [rax+8], rbx
001dde96lea rbx, [rip+147]
001dde9dmov [rax+16], rbx
001ddea1mov rbx, [rsp+32]
001ddea6mov [rax+24], rbx
001ddeaamov [rax+32], 0x20001
001ddeb2mov edi, 0x20003
001ddeb7mov rax, [rsp+24]
001ddebcmov rbx, [rsp+8]
001ddec1call Stdlib.In_channel.ensure
001ddec6mov rdi, [rsp]
001ddecasar rdi, 1
001ddecdmov rbx, [rsp+8]
001dded2mov rsi, rbx
001dded5sar rsi, 1
001dded8mov rdx, [rax-8]
001ddedcshr rdx, 10
001ddee0lea rdx, [8*rdx-1]
001ddee8movzx rcx, [rax+rdx]
001ddeedsub rdx, rcx
001ddef0cmp rdx, rsi
001ddef3jbe 0x1ddf15
001ddef5mov [rax+rsi], dil
001ddef9add rbx, 2
001ddefdmov rdi, [rsp+16]
001ddf02add rsp, 40
001ddf06jmp 0x1ddf30
001ddf0b
001ddf0bloc_1ddf0b:
001ddf0bcall caml_call_gc
001ddf10jmp 0x1dde6d
001ddf15
001ddf15loc_1ddf15:
001ddf15call caml_ml_array_bound_error
001ddf1a
001ddf1aloc_1ddf1a:
001ddf1apush 40
001ddf1ccall caml_call_realloc_stack
001ddf21pop r10
001ddf23jmp 0x1ddd12
001ddd00
001ddd00Stdlib.In_channel.input_all:
001ddd00lea r10, [rsp-376]
001ddd08cmp r10, [r14+40]
001ddd0cjb 0x1ddf1a
001ddd12
001ddd12loc_1ddd12:
001ddd12sub rsp, 40
001ddd16mov [rsp+32], rax
001ddd1blea r11, [rip+70]
001ddd22push r11
001ddd24push [r14+48]
001ddd28mov [r14+48], rsp
001ddd2cmov rdi, rax
001ddd2flea rax, [rip+0x334ba]
001ddd36call caml_c_call
001ddd3bmov [rsp+16], rax
001ddd40mov rdi, [rsp+48]
001ddd45lea rax, [rip+0x31e74]
001ddd4ccall caml_c_call
001ddd51mov rbx, [rsp+16]
001ddd56sub rax, rbx
001ddd59inc rax
001ddd5cpop [r14+48]
001ddd60add rsp, 8
001ddd64jmp 0x1ddd8c
001ddd66
001ddd66 66 90 f.
001ddd68lea rbx, [rip+0x14f8a9]
001ddd6fmov rbx, [rbx+80]
001ddd73mov rdi, [rax]
001ddd76cmp rdi, rbx
001ddd79jne 0x1ddd84
001ddd7bmov rax, -1
001ddd82jmp 0x1ddd8c
001ddd84
001ddd84loc_1ddd84:
001ddd84call caml_reraise_exn
001ddd89nop [rax]
001ddd8c
001ddd8cloc_1ddd8c:
001ddd8ccmp rax, 1
001ddd90jge 0x1ddd97
001ddd92mov eax, 0x20001
001ddd97
001ddd97loc_1ddd97:
001ddd97mov rbx, 0x3ffffffffffffef
001ddda1cmp rax, rbx
001ddda4jg 0x1dddac
001ddda6mov [rsp], rax
001dddaajmp 0x1dddba
001dddac
001dddacloc_1dddac:
001dddacmov rax, 0x3ffffffffffffef
001dddb6mov [rsp], rax
001dddba
001dddbaloc_1dddba:
001dddbamov rdi, rax
001dddbdlea rax, [rip+0x4326c]
001dddc4call caml_c_call
001dddc9mov rbx, rax
001dddccmov [rsp+24], rbx
001dddd1mov edi, 1
001dddd6mov rax, [rsp+32]
001ddddbmov rsi, [rsp]
001ddddfcall Stdlib.In_channel.read_upto
001ddde4mov rdi, rax
001ddde7mov rax, [rsp]
001dddebcmp rdi, rax
001dddeejge 0x1dde04
001dddf0mov ebx, 1
001dddf5mov rax, [rsp+24]
001dddfaadd rsp, 40
001dddfejmp 0x1a63e0
001dde03
001dde03 90 .
001dde04
001dde04loc_1dde04:
001dde04mov [rsp+8], rdi
001dde09lea r11, [rip+44]
001dde10push r11
001dde12push [r14+48]
001dde16mov [r14+48], rsp
001dde1amov rdi, [rsp+48]
001dde1flea rax, [rip+0x32bca]
001dde26call caml_c_call
001dde2bmov [rsp+16], rax
001dde30pop [r14+48]
001dde34add rsp, 8
001dde38jmp 0x1dde60
001dde3a
001dde3a 66 90 f.
001dde3clea rbx, [rip+0x14f7d5]
001dde43mov rbx, [rbx+88]
001dde47cmp rax, rbx
001dde4ajne 0x1dde58
001dde4cmov rax, [rsp+24]
001dde51add rsp, 40
001dde55ret
001dde56
001dde56 66 90 f.
001dde58
001dde58loc_1dde58:
001dde58call caml_reraise_exn
001dde5dnop [rax]
001dde60
001dde60loc_1dde60:
001dde60sub r15, 48
001dde64cmp r15, [r14]
001dde67jb 0x1ddf0b
001dde6d
001dde6dloc_1dde6d:
001dde6dlea rax, [r15+8]
001dde71mov [rsp+16], rax
001dde76mov [rax-8], 5367
001dde7elea rbx, [rip-0xe6e65]
001dde85mov [rax], rbx
001dde88mov rbx, 0x200000000000007
001dde92mov [rax+8], rbx
001dde96lea rbx, [rip+147]
001dde9dmov [rax+16], rbx
001ddea1mov rbx, [rsp+32]
001ddea6mov [rax+24], rbx
001ddeaamov [rax+32], 0x20001
001ddeb2mov edi, 0x20003
001ddeb7mov rax, [rsp+24]
001ddebcmov rbx, [rsp+8]
001ddec1call Stdlib.In_channel.ensure
001ddec6mov rdi, [rsp]
001ddecasar rdi, 1
001ddecdmov rbx, [rsp+8]
001dded2mov rsi, rbx
001dded5sar rsi, 1
001dded8mov rdx, [rax-8]
001ddedcshr rdx, 10
001ddee0lea rdx, [8*rdx-1]
001ddee8movzx rcx, [rax+rdx]
001ddeedsub rdx, rcx
001ddef0cmp rdx, rsi
001ddef3jbe 0x1ddf15
001ddef5mov [rax+rsi], dil
001ddef9add rbx, 2
001ddefdmov rdi, [rsp+16]
001ddf02add rsp, 40
001ddf06jmp 0x1ddf30
001ddf0b
001ddf0bloc_1ddf0b:
001ddf0bcall caml_call_gc
001ddf10jmp 0x1dde6d
001ddf15
001ddf15loc_1ddf15:
001ddf15call caml_ml_array_bound_error
001ddf1a
001ddf1aloc_1ddf1a:
001ddf1apush 40
001ddf1ccall caml_call_realloc_stack
001ddf21pop r10
001ddf23jmp 0x1ddd12
001ddd00
001ddf28
001ddf28 // align 0x10
001ddf28 // align 0x10
001ddf30
001ddf30Stdlib.In_channel.loop:
001ddf30lea r10, [rsp-352]
001ddf38cmp r10, [r14+40]
001ddf3cjb 0x1ddfef
001ddf42
001ddf42loc_1ddf42:
001ddf42sub rsp, 32
001ddf46
001ddf46loc_1ddf46:
001ddf46mov [rsp+16], rbx
001ddf4bmov [rsp+8], rdi
001ddf50cmp r15, [r14]
001ddf53jbe 0x1ddfe5
001ddf59
001ddf59loc_1ddf59:
001ddf59mov edi, 0x20001
001ddf5ecall Stdlib.In_channel.ensure
001ddf63mov rbx, rax
001ddf66mov [rsp+24], rbx
001ddf6bmov rax, [rbx-8]
001ddf6fshr rax, 10
001ddf73lea rsi, [8*rax-1]
001ddf7bmovzx rax, [rbx+rsi]
001ddf80sub rsi, rax
001ddf83shl rsi, 1
001ddf86mov rdi, [rsp+16]
001ddf8bsub rsi, rdi
001ddf8eadd rsi, 2
001ddf92mov [rsp], rsi
001ddf96mov rax, [rsp+8]
001ddf9bmov rax, [rax+24]
001ddf9fcall Stdlib.In_channel.read_upto
001ddfa4mov rbx, [rsp]
001ddfa8cmp rax, rbx
001ddfabjge 0x1ddfcc
001ddfadmov rbx, [rsp+16]
001ddfb2lea rdi, [rbx+rax-1]
001ddfb7mov ebx, 1
001ddfbcmov rax, [rsp+24]
001ddfc1add rsp, 32
001ddfc5jmp 0x1a63e0
001ddfca
001ddfca 66 90 f.
001ddfcc
001ddfccloc_1ddfcc:
001ddfccmov rax, [rsp+16]
001ddfd1lea rbx, [rax+rbx-1]
001ddfd6mov rax, [rsp+24]
001ddfdbmov rdi, [rsp+8]
001ddfe0jmp 0x1ddf46
001ddfe5
001ddfe5loc_1ddfe5:
001ddfe5call caml_call_gc
001ddfeajmp 0x1ddf59
001ddfef
001ddfefloc_1ddfef:
001ddfefpush 37
001ddff1call caml_call_realloc_stack
001ddff6pop r10
001ddff8jmp 0x1ddf42
001ddf30
001ddf30Stdlib.In_channel.loop:
001ddf30lea r10, [rsp-352]
001ddf38cmp r10, [r14+40]
001ddf3cjb 0x1ddfef
001ddf42
001ddf42loc_1ddf42:
001ddf42sub rsp, 32
001ddf46
001ddf46loc_1ddf46:
001ddf46mov [rsp+16], rbx
001ddf4bmov [rsp+8], rdi
001ddf50cmp r15, [r14]
001ddf53jbe 0x1ddfe5
001ddf59
001ddf59loc_1ddf59:
001ddf59mov edi, 0x20001
001ddf5ecall Stdlib.In_channel.ensure
001ddf63mov rbx, rax
001ddf66mov [rsp+24], rbx
001ddf6bmov rax, [rbx-8]
001ddf6fshr rax, 10
001ddf73lea rsi, [8*rax-1]
001ddf7bmovzx rax, [rbx+rsi]
001ddf80sub rsi, rax
001ddf83shl rsi, 1
001ddf86mov rdi, [rsp+16]
001ddf8bsub rsi, rdi
001ddf8eadd rsi, 2
001ddf92mov [rsp], rsi
001ddf96mov rax, [rsp+8]
001ddf9bmov rax, [rax+24]
001ddf9fcall Stdlib.In_channel.read_upto
001ddfa4mov rbx, [rsp]
001ddfa8cmp rax, rbx
001ddfabjge 0x1ddfcc
001ddfadmov rbx, [rsp+16]
001ddfb2lea rdi, [rbx+rax-1]
001ddfb7mov ebx, 1
001ddfbcmov rax, [rsp+24]
001ddfc1add rsp, 32
001ddfc5jmp 0x1a63e0
001ddfca
001ddfca 66 90 f.
001ddfcc
001ddfccloc_1ddfcc:
001ddfccmov rax, [rsp+16]
001ddfd1lea rbx, [rax+rbx-1]
001ddfd6mov rax, [rsp+24]
001ddfdbmov rdi, [rsp+8]
001ddfe0jmp 0x1ddf46
001ddfe5
001ddfe5loc_1ddfe5:
001ddfe5call caml_call_gc
001ddfeajmp 0x1ddf59
001ddfef
001ddfefloc_1ddfef:
001ddfefpush 37
001ddff1call caml_call_realloc_stack
001ddff6pop r10
001ddff8jmp 0x1ddf42
001ddf30
001ddffd
001ddffd // align 0x10
001ddffd // align 0x10
001de000
001de000Stdlib.In_channel.input_lines_dps:
001de000lea r10, [rsp-360]
001de008cmp r10, [r14+40]
001de00cjb 0x1de0ec
001de012
001de012loc_1de012:
001de012sub rsp, 24
001de016
001de016loc_1de016:
001de016mov [rsp+16], rax
001de01bmov [rsp+8], rbx
001de020mov rax, rdi
001de023mov [rsp], rax
001de027lea r11, [rip+26]
001de02epush r11
001de030push [r14+48]
001de034mov [r14+48], rsp
001de038call camlStdlib.input_line_326
001de03dpop [r14+48]
001de041add rsp, 8
001de045jmp 0x1de090
001de047
001de047 90 .
001de048lea rbx, [rip+0x14f5c9]
001de04fmov rbx, [rbx+88]
001de053cmp rax, rbx
001de056jne 0x1de088
001de058mov esi, 1
001de05dmov rax, [rsp+8]
001de062mov rbx, [rsp+16]
001de067lea rdi, [rbx+4*rax-4]
001de06cmov rbx, rsp
001de06fmov rsp, [r14+64]
001de073call caml_initialize
001de078mov rsp, rbx
001de07bmov eax, 1
001de080add rsp, 24
001de084ret
001de085
001de085 0f 1f 00 ...
001de088
001de088loc_1de088:
001de088call caml_reraise_exn
001de08dnop [rax]
001de090
001de090loc_1de090:
001de090sub r15, 24
001de094cmp r15, [r14]
001de097jb 0x1de0e5
001de099
001de099loc_1de099:
001de099lea r12, [r15+8]
001de09dmov [r12-8], 2048
001de0a6mov [r12], rax
001de0aamov [r12+8], 48059
001de0b3mov rax, [rsp+8]
001de0b8mov rbx, [rsp+16]
001de0bdlea rdi, [rbx+4*rax-4]
001de0c2mov rsi, r12
001de0c5mov rbx, rsp
001de0c8mov rsp, [r14+64]
001de0cccall caml_initialize
001de0d1mov rsp, rbx
001de0d4mov ebx, 3
001de0d9mov rax, r12
001de0dcmov rdi, [rsp]
001de0e0jmp 0x1de016
001de0e5
001de0e5loc_1de0e5:
001de0e5call caml_call_gc
001de0eajmp 0x1de099
001de0ec
001de0ecloc_1de0ec:
001de0ecpush 38
001de0eecall caml_call_realloc_stack
001de0f3pop r10
001de0f5jmp 0x1de012
001de000
001de000Stdlib.In_channel.input_lines_dps:
001de000lea r10, [rsp-360]
001de008cmp r10, [r14+40]
001de00cjb 0x1de0ec
001de012
001de012loc_1de012:
001de012sub rsp, 24
001de016
001de016loc_1de016:
001de016mov [rsp+16], rax
001de01bmov [rsp+8], rbx
001de020mov rax, rdi
001de023mov [rsp], rax
001de027lea r11, [rip+26]
001de02epush r11
001de030push [r14+48]
001de034mov [r14+48], rsp
001de038call camlStdlib.input_line_326
001de03dpop [r14+48]
001de041add rsp, 8
001de045jmp 0x1de090
001de047
001de047 90 .
001de048lea rbx, [rip+0x14f5c9]
001de04fmov rbx, [rbx+88]
001de053cmp rax, rbx
001de056jne 0x1de088
001de058mov esi, 1
001de05dmov rax, [rsp+8]
001de062mov rbx, [rsp+16]
001de067lea rdi, [rbx+4*rax-4]
001de06cmov rbx, rsp
001de06fmov rsp, [r14+64]
001de073call caml_initialize
001de078mov rsp, rbx
001de07bmov eax, 1
001de080add rsp, 24
001de084ret
001de085
001de085 0f 1f 00 ...
001de088
001de088loc_1de088:
001de088call caml_reraise_exn
001de08dnop [rax]
001de090
001de090loc_1de090:
001de090sub r15, 24
001de094cmp r15, [r14]
001de097jb 0x1de0e5
001de099
001de099loc_1de099:
001de099lea r12, [r15+8]
001de09dmov [r12-8], 2048
001de0a6mov [r12], rax
001de0aamov [r12+8], 48059
001de0b3mov rax, [rsp+8]
001de0b8mov rbx, [rsp+16]
001de0bdlea rdi, [rbx+4*rax-4]
001de0c2mov rsi, r12
001de0c5mov rbx, rsp
001de0c8mov rsp, [r14+64]
001de0cccall caml_initialize
001de0d1mov rsp, rbx
001de0d4mov ebx, 3
001de0d9mov rax, r12
001de0dcmov rdi, [rsp]
001de0e0jmp 0x1de016
001de0e5
001de0e5loc_1de0e5:
001de0e5call caml_call_gc
001de0eajmp 0x1de099
001de0ec
001de0ecloc_1de0ec:
001de0ecpush 38
001de0eecall caml_call_realloc_stack
001de0f3pop r10
001de0f5jmp 0x1de012
001de000
001de0fa
001de0fa // align 0x10
001de0fa // align 0x10
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
Loading..