File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001f2f40
001f2f40Stdlib.Scanf.entry:
001f2f40lea r10, [rsp-320]
001f2f48cmp r10, [r14+40]
001f2f4cjb 0x1f46ce
001f2f52
001f2f52loc_1f2f52:
001f2f52mov esi, 1
001f2f57lea rdi, [rip+0x17a222]
001f2f5eadd rdi, 696
001f2f65mov rbx, rsp
001f2f68mov rsp, [r14+64]
001f2f6ccall caml_initialize
001f2f71mov rsp, rbx
001f2f74lea rsi, [rip+0x179795]
001f2f7blea rdi, [rip+0x17a1fe]
001f2f82add rdi, 704
001f2f89mov rbx, rsp
001f2f8cmov rsp, [r14+64]
001f2f90call caml_initialize
001f2f95mov rsp, rbx
001f2f98lea rsi, [rip+0x179789]
001f2f9flea rdi, [rip+0x17a1da]
001f2fa6add rdi, 712
001f2fadmov rbx, rsp
001f2fb0mov rsp, [r14+64]
001f2fb4call caml_initialize
001f2fb9mov rsp, rbx
001f2fbclea rsi, [rip+0x17977d]
001f2fc3lea rdi, [rip+0x17a1b6]
001f2fcaadd rdi, 720
001f2fd1mov rbx, rsp
001f2fd4mov rsp, [r14+64]
001f2fd8call caml_initialize
001f2fddmov rsp, rbx
001f2fe0lea rsi, [rip+0x179771]
001f2fe7lea rdi, [rip+0x17a192]
001f2feeadd rdi, 728
001f2ff5mov rbx, rsp
001f2ff8mov rsp, [r14+64]
001f2ffccall caml_initialize
001f3001mov rsp, rbx
001f3004lea rsi, [rip+0x179765]
001f300blea rdi, [rip+0x17a16e]
001f3012add rdi, 736
001f3019mov rbx, rsp
001f301cmov rsp, [r14+64]
001f3020call caml_initialize
001f3025mov rsp, rbx
001f3028lea rsi, [rip+0x179759]
001f302flea rdi, [rip+0x17a14a]
001f3036add rdi, 744
001f303dmov rbx, rsp
001f3040mov rsp, [r14+64]
001f3044call caml_initialize
001f3049mov rsp, rbx
001f304clea rsi, [rip+0x17974d]
001f3053lea rdi, [rip+0x17a126]
001f305aadd rdi, 752
001f3061mov rbx, rsp
001f3064mov rsp, [r14+64]
001f3068call caml_initialize
001f306dmov rsp, rbx
001f3070lea rsi, [rip+0x179741]
001f3077lea rdi, [rip+0x17a102]
001f307eadd rdi, 760
001f3085mov rbx, rsp
001f3088mov rsp, [r14+64]
001f308ccall caml_initialize
001f3091mov rsp, rbx
001f3094lea rsi, [rip+0x179735]
001f309blea rdi, [rip+0x17a0de]
001f30a2add rdi, 768
001f30a9mov rbx, rsp
001f30acmov rsp, [r14+64]
001f30b0call caml_initialize
001f30b5mov rsp, rbx
001f30b8lea rsi, [rip+0x179729]
001f30bflea rdi, [rip+0x17a0ba]
001f30c6add rdi, 776
001f30cdmov rbx, rsp
001f30d0mov rsp, [r14+64]
001f30d4call caml_initialize
001f30d9mov rsp, rbx
001f30dclea rsi, [rip+0x17971d]
001f30e3lea rdi, [rip+0x17a096]
001f30eaadd rdi, 784
001f30f1mov rbx, rsp
001f30f4mov rsp, [r14+64]
001f30f8call caml_initialize
001f30fdmov rsp, rbx
001f3100lea rsi, [rip+0x179711]
001f3107lea rdi, [rip+0x17a072]
001f310eadd rdi, 792
001f3115mov rbx, rsp
001f3118mov rsp, [r14+64]
001f311ccall caml_initialize
001f3121mov rsp, rbx
001f3124lea rsi, [rip+0x179705]
001f312blea rdi, [rip+0x17a04e]
001f3132add rdi, 800
001f3139mov rbx, rsp
001f313cmov rsp, [r14+64]
001f3140call caml_initialize
001f3145mov rsp, rbx
001f3148lea rsi, [rip+0x1796f9]
001f314flea rdi, [rip+0x17a02a]
001f3156add rdi, 808
001f315dmov rbx, rsp
001f3160mov rsp, [r14+64]
001f3164call caml_initialize
001f3169mov rsp, rbx
001f316clea rsi, [rip+0x1796f5]
001f3173lea rdi, [rip+0x17a006]
001f317aadd rdi, 816
001f3181mov rbx, rsp
001f3184mov rsp, [r14+64]
001f3188call caml_initialize
001f318dmov rsp, rbx
001f3190lea rsi, [rip+0x1796f1]
001f3197lea rdi, [rip+0x179fe2]
001f319eadd rdi, 824
001f31a5mov rbx, rsp
001f31a8mov rsp, [r14+64]
001f31accall caml_initialize
001f31b1mov rsp, rbx
001f31b4mov esi, 2049
001f31b9lea rdi, [rip+0x179fc0]
001f31c0add rdi, 832
001f31c7mov rbx, rsp
001f31camov rsp, [r14+64]
001f31cecall caml_initialize
001f31d3mov rsp, rbx
001f31d6lea rsi, [rip+0x1796cb]
001f31ddlea rdi, [rip+0x179f9c]
001f31e4add rdi, 840
001f31ebmov rbx, rsp
001f31eemov rsp, [r14+64]
001f31f2call caml_initialize
001f31f7mov rsp, rbx
001f31falea rsi, [rip+0x1796c7]
001f3201lea rdi, [rip+0x179f78]
001f3208add rdi, 848
001f320fmov rbx, rsp
001f3212mov rsp, [r14+64]
001f3216call caml_initialize
001f321bmov rsp, rbx
001f321emov eax, 1
001f3223lea rdi, [rip+0x179f56]
001f322amov rbx, [rdi+840]
001f3231sub r15, 40
001f3235call caml_allocN
001f323alea rsi, [r15+8]
001f323emov [rsi-8], 4343
001f3246lea rdx, [rip-40333]
001f324dmov [rsi], rdx
001f3250mov rdx, 0x100000000000005
001f325amov [rsi+8], rdx
001f325emov [rsi+16], rax
001f3262mov [rsi+24], rbx
001f3266add rdi, 856
001f326dmov rbx, rsp
001f3270mov rsp, [r14+64]
001f3274call caml_initialize
001f3279mov rsp, rbx
001f327ccall caml_alloc1
001f3281lea rsi, [r15+8]
001f3285mov [rsi-8], 1024
001f328dmov [rsi], 2049
001f3294lea rdi, [rip+0x179ee5]
001f329badd rdi, 864
001f32a2mov rbx, rsp
001f32a5mov rsp, [r14+64]
001f32a9call caml_initialize
001f32aemov rsp, rbx
001f32b1lea rsi, [rip+0x179628]
001f32b8lea rdi, [rip+0x179ec1]
001f32bfadd rdi, 872
001f32c6mov rbx, rsp
001f32c9mov rsp, [r14+64]
001f32cdcall caml_initialize
001f32d2mov rsp, rbx
001f32d5lea rsi, [rip+0x17961c]
001f32dclea rdi, [rip+0x179e9d]
001f32e3add rdi, 880
001f32eamov rbx, rsp
001f32edmov rsp, [r14+64]
001f32f1call caml_initialize
001f32f6mov rsp, rbx
001f32f9lea rsi, [rip+0x179610]
001f3300lea rdi, [rip+0x179e79]
001f3307add rdi, 888
001f330emov rbx, rsp
001f3311mov rsp, [r14+64]
001f3315call caml_initialize
001f331amov rsp, rbx
001f331dlea rdi, [rip+0x179e5c]
001f3324mov rax, [rdi+872]
001f332bmov rbx, [rdi+888]
001f3332sub r15, 48
001f3336call caml_allocN
001f333blea rsi, [r15+8]
001f333fmov [rsi-8], 5367
001f3347lea rdx, [rip-0xfc32e]
001f334emov [rsi], rdx
001f3351mov rdx, 0x200000000000007
001f335bmov [rsi+8], rdx
001f335flea rdx, [rip-39686]
001f3366mov [rsi+16], rdx
001f336amov [rsi+24], rax
001f336emov [rsi+32], rbx
001f3372add rdi, 896
001f3379mov rbx, rsp
001f337cmov rsp, [r14+64]
001f3380call caml_initialize
001f3385mov rsp, rbx
001f3388lea rdi, [rip+0x179df1]
001f338fmov rax, [rdi+880]
001f3396mov rbx, [rdi+888]
001f339dsub r15, 48
001f33a1call caml_allocN
001f33a6lea rsi, [r15+8]
001f33aamov [rsi-8], 5367
001f33b2lea rdx, [rip-0xfc399]
001f33b9mov [rsi], rdx
001f33bcmov rdx, 0x200000000000007
001f33c6mov [rsi+8], rdx
001f33calea rdx, [rip-39761]
001f33d1mov [rsi+16], rdx
001f33d5mov [rsi+24], rax
001f33d9mov [rsi+32], rbx
001f33ddadd rdi, 904
001f33e4mov rbx, rsp
001f33e7mov rsp, [r14+64]
001f33ebcall caml_initialize
001f33f0mov rsp, rbx
001f33f3call caml_alloc2
001f33f8lea rbx, [r15+8]
001f33fcmov [rbx-8], 2049
001f3404lea rax, [rip+0x17a805]
001f340bmov [rbx], rax
001f340elea rax, [rip+0x13a203]
001f3415mov rdi, [rax+296]
001f341cmov [rbx+8], rdi
001f3420lea rax, [rip+0x179d59]
001f3427mov rax, [rax+880]
001f342ecall Stdlib.Scanf.from_ic
001f3433lea rdi, [rip+0x179d46]
001f343aadd rdi, 912
001f3441mov rsi, rax
001f3444mov rbx, rsp
001f3447mov rsp, [r14+64]
001f344bcall caml_initialize
001f3450mov rsp, rbx
001f3453lea rsi, [rip+0x1794d6]
001f345alea rdi, [rip+0x179d1f]
001f3461add rdi, 920
001f3468mov rbx, rsp
001f346bmov rsp, [r14+64]
001f346fcall caml_initialize
001f3474mov rsp, rbx
001f3477lea rax, [rip+0x13a19a]
001f347emov rax, [rax+624]
001f3485lea rdi, [rip+0x179cf4]
001f348cmov rbx, [rdi+920]
001f3493sub r15, 40
001f3497call caml_allocN
001f349clea rsi, [r15+8]
001f34a0mov [rsi-8], 4343
001f34a8lea rdx, [rip-39759]
001f34afmov [rsi], rdx
001f34b2mov rdx, 0x100000000000005
001f34bcmov [rsi+8], rdx
001f34c0mov [rsi+16], rax
001f34c4mov [rsi+24], rbx
001f34c8add rdi, 928
001f34cfmov rbx, rsp
001f34d2mov rsp, [r14+64]
001f34d6call caml_initialize
001f34dbmov rsp, rbx
001f34delea rax, [rip+0x13a133]
001f34e5mov rax, [rax+632]
001f34eclea rdi, [rip+0x179c8d]
001f34f3mov rbx, [rdi+920]
001f34fasub r15, 40
001f34fecall caml_allocN
001f3503lea rsi, [r15+8]
001f3507mov [rsi-8], 4343
001f350flea rdx, [rip-39670]
001f3516mov [rsi], rdx
001f3519mov rdx, 0x100000000000005
001f3523mov [rsi+8], rdx
001f3527mov [rsi+16], rax
001f352bmov [rsi+24], rbx
001f352fadd rdi, 936
001f3536mov rbx, rsp
001f3539mov rsp, [r14+64]
001f353dcall caml_initialize
001f3542mov rsp, rbx
001f3545lea rdi, [rip+0x179c34]
001f354cmov rsi, [rdi+928]
001f3553add rdi, 944
001f355amov rbx, rsp
001f355dmov rsp, [r14+64]
001f3561call caml_initialize
001f3566mov rsp, rbx
001f3569lea rdi, [rip+0x179c10]
001f3570mov rsi, [rdi+936]
001f3577add rdi, 952
001f357emov rbx, rsp
001f3581mov rsp, [r14+64]
001f3585call caml_initialize
001f358amov rsp, rbx
001f358dlea rsi, [rip+0x1793bc]
001f3594lea rdi, [rip+0x179be5]
001f359badd rdi, 960
001f35a2mov rbx, rsp
001f35a5mov rsp, [r14+64]
001f35a9call caml_initialize
001f35aemov rsp, rbx
001f35b1lea rsi, [rip+0x1793b0]
001f35b8lea rdi, [rip+0x179bc1]
001f35bfadd rdi, 968
001f35c6mov rbx, rsp
001f35c9mov rsp, [r14+64]
001f35cdcall caml_initialize
001f35d2mov rsp, rbx
001f35d5sub r15, 312
001f35dccall caml_allocN
001f35e1lea r13, [r15+8]
001f35e5add r13, 104
001f35e9mov [r13-8], 25600
001f35f1lea rdi, [rip+0x179b88]
001f35f8mov rax, [rdi+912]
001f35ffmov [r13], rax
001f3603mov rbx, [rdi+704]
001f360amov [r13+8], rbx
001f360emov rbx, [rdi+784]
001f3615mov [r13+16], rbx
001f3619mov rbx, [rdi+712]
001f3620mov [r13+24], rbx
001f3624mov rbx, [rdi+720]
001f362bmov [r13+32], rbx
001f362fmov rbx, [rdi+824]
001f3636mov [r13+40], rbx
001f363amov rbx, [rdi+808]
001f3641mov [r13+48], rbx
001f3645mov rbx, [rdi+816]
001f364cmov [r13+56], rbx
001f3650mov rbx, [rdi+792]
001f3657mov [r13+64], rbx
001f365bmov rbx, [rdi+776]
001f3662mov [r13+72], rbx
001f3666mov rbx, [rdi+760]
001f366dmov [r13+80], rbx
001f3671mov rbx, [rdi+768]
001f3678mov [r13+88], rbx
001f367cmov rbx, [rdi+800]
001f3683mov [r13+96], rbx
001f3687mov rbx, [rdi+736]
001f368emov [r13+104], rbx
001f3692mov rbx, [rdi+728]
001f3699mov [r13+112], rbx
001f369dmov rbx, [rdi+744]
001f36a4mov [r13+120], rbx
001f36a8mov rbx, [rdi+752]
001f36afmov [r13+128], rbx
001f36b6mov rbx, [rdi+928]
001f36bdmov [r13+136], rbx
001f36c4mov rbx, [rdi+936]
001f36cbmov [r13+144], rbx
001f36d2mov rbx, [rdi+944]
001f36d9mov [r13+152], rbx
001f36e0mov rbx, [rdi+952]
001f36e7mov [r13+160], rbx
001f36eemov rbx, [rdi+848]
001f36f5mov [r13+168], rbx
001f36fcmov rbx, [rdi+856]
001f3703mov [r13+176], rbx
001f370amov rbx, [rdi+960]
001f3711mov [r13+184], rbx
001f3718mov rbx, [rdi+968]
001f371fmov [r13+192], rbx
001f3726lea rsi, [r13-104]
001f372amov [rsi-8], 12288
001f3732mov [rsi], rax
001f3735mov rax, [r13+136]
001f373cmov [rsi+8], rax
001f3740mov rax, [r13+144]
001f3747mov [rsi+16], rax
001f374bmov rax, [r13+192]
001f3752mov [rsi+24], rax
001f3756mov rax, [r13+152]
001f375dmov [rsi+32], rax
001f3761mov rax, [r13+160]
001f3768mov [rsi+40], rax
001f376cmov rax, [r13+168]
001f3773mov [rsi+48], rax
001f3777mov rax, [r13+176]
001f377emov [rsi+56], rax
001f3782mov rax, [r13+184]
001f3789mov [rsi+64], rax
001f378dmov rax, [r13+112]
001f3791mov [rsi+72], rax
001f3795mov rax, [r13+120]
001f3799mov [rsi+80], rax
001f379dmov rax, [r13+128]
001f37a4mov [rsi+88], rax
001f37a8mov rbx, rsp
001f37abmov rsp, [r14+64]
001f37afcall caml_initialize
001f37b4mov rsp, rbx
001f37b7mov edi, 1
001f37bcmov rbx, rsp
001f37bfmov rsp, [r14+64]
001f37c3call caml_fresh_oo_id
001f37c8mov rsp, rbx
001f37cbcall caml_alloc2
001f37d0lea rsi, [r15+8]
001f37d4mov [rsi-8], 2296
001f37dclea rbx, [rip+0x17a32d]
001f37e3mov [rsi], rbx
001f37e6mov [rsi+8], rax
001f37ealea rdi, [rip+0x17998f]
001f37f1add rdi, 8
001f37f5mov rbx, rsp
001f37f8mov rsp, [r14+64]
001f37fccall caml_initialize
001f3801mov rsp, rbx
001f3804lea rsi, [rip+0x179175]
001f380blea rdi, [rip+0x17996e]
001f3812add rdi, 112
001f3816mov rbx, rsp
001f3819mov rsp, [r14+64]
001f381dcall caml_initialize
001f3822mov rsp, rbx
001f3825lea rsi, [rip+0x17916c]
001f382clea rdi, [rip+0x17994d]
001f3833add rdi, 120
001f3837mov rbx, rsp
001f383amov rsp, [r14+64]
001f383ecall caml_initialize
001f3843mov rsp, rbx
001f3846lea rsi, [rip+0x179163]
001f384dlea rdi, [rip+0x17992c]
001f3854add rdi, 128
001f385bmov rbx, rsp
001f385emov rsp, [r14+64]
001f3862call caml_initialize
001f3867mov rsp, rbx
001f386alea rsi, [rip+0x179157]
001f3871lea rdi, [rip+0x179908]
001f3878add rdi, 136
001f387fmov rbx, rsp
001f3882mov rsp, [r14+64]
001f3886call caml_initialize
001f388bmov rsp, rbx
001f388elea rsi, [rip+0x17914b]
001f3895lea rdi, [rip+0x1798e4]
001f389cadd rdi, 144
001f38a3mov rbx, rsp
001f38a6mov rsp, [r14+64]
001f38aacall caml_initialize
001f38afmov rsp, rbx
001f38b2lea rsi, [rip+0x17913f]
001f38b9lea rdi, [rip+0x1798c0]
001f38c0add rdi, 152
001f38c7mov rbx, rsp
001f38camov rsp, [r14+64]
001f38cecall caml_initialize
001f38d3mov rsp, rbx
001f38d6lea rsi, [rip+0x179133]
001f38ddlea rdi, [rip+0x17989c]
001f38e4add rdi, 160
001f38ebmov rbx, rsp
001f38eemov rsp, [r14+64]
001f38f2call caml_initialize
001f38f7mov rsp, rbx
001f38falea rsi, [rip+0x17912f]
001f3901lea rdi, [rip+0x179878]
001f3908add rdi, 168
001f390fmov rbx, rsp
001f3912mov rsp, [r14+64]
001f3916call caml_initialize
001f391bmov rsp, rbx
001f391elea rsi, [rip+0x17912b]
001f3925lea rdi, [rip+0x179854]
001f392cadd rdi, 176
001f3933mov rbx, rsp
001f3936mov rsp, [r14+64]
001f393acall caml_initialize
001f393fmov rsp, rbx
001f3942lea r12, [rip+0x17911f]
001f3949lea rdi, [rip+0x179830]
001f3950add rdi, 184
001f3957mov rsi, r12
001f395amov rbx, rsp
001f395dmov rsp, [r14+64]
001f3961call caml_initialize
001f3966mov rsp, rbx
001f3969mov rsi, r12
001f396cadd rsi, 32
001f3970lea rdi, [rip+0x179809]
001f3977add rdi, 192
001f397emov rbx, rsp
001f3981mov rsp, [r14+64]
001f3985call caml_initialize
001f398amov rsp, rbx
001f398dmov rsi, r12
001f3990add rsi, 64
001f3994lea rdi, [rip+0x1797e5]
001f399badd rdi, 200
001f39a2mov rbx, rsp
001f39a5mov rsp, [r14+64]
001f39a9call caml_initialize
001f39aemov rsp, rbx
001f39b1lea rsi, [rip+0x179108]
001f39b8lea rdi, [rip+0x1797c1]
001f39bfadd rdi, 208
001f39c6mov rbx, rsp
001f39c9mov rsp, [r14+64]
001f39cdcall caml_initialize
001f39d2mov rsp, rbx
001f39d5mov rsi, [r13+64]
001f39d9lea rdi, [rip+0x1797a0]
001f39e0add rdi, 216
001f39e7mov rbx, rsp
001f39eamov rsp, [r14+64]
001f39eecall caml_initialize
001f39f3mov rsp, rbx
001f39f6lea rsi, [rip+0x1790db]
001f39fdlea rdi, [rip+0x17977c]
001f3a04add rdi, 224
001f3a0bmov rbx, rsp
001f3a0emov rsp, [r14+64]
001f3a12call caml_initialize
001f3a17mov rsp, rbx
001f3a1alea rsi, [rip+0x1790cf]
001f3a21lea rdi, [rip+0x179758]
001f3a28add rdi, 232
001f3a2fmov rbx, rsp
001f3a32mov rsp, [r14+64]
001f3a36call caml_initialize
001f3a3bmov rsp, rbx
001f3a3elea rsi, [rip+0x1790c3]
001f3a45lea rdi, [rip+0x179734]
001f3a4cadd rdi, 240
001f3a53mov rbx, rsp
001f3a56mov rsp, [r14+64]
001f3a5acall caml_initialize
001f3a5fmov rsp, rbx
001f3a62lea rsi, [rip+0x1790bf]
001f3a69lea rdi, [rip+0x179710]
001f3a70add rdi, 248
001f3a77mov rbx, rsp
001f3a7amov rsp, [r14+64]
001f3a7ecall caml_initialize
001f3a83mov rsp, rbx
001f3a86lea rsi, [rip+0x1790bb]
001f3a8dlea rdi, [rip+0x1796ec]
001f3a94add rdi, 256
001f3a9bmov rbx, rsp
001f3a9emov rsp, [r14+64]
001f3aa2call caml_initialize
001f3aa7mov rsp, rbx
001f3aaalea rsi, [rip+0x1790af]
001f3ab1lea rdi, [rip+0x1796c8]
001f3ab8add rdi, 264
001f3abfmov rbx, rsp
001f3ac2mov rsp, [r14+64]
001f3ac6call caml_initialize
001f3acbmov rsp, rbx
001f3acelea rsi, [rip+0x1790ab]
001f3ad5lea rdi, [rip+0x1796a4]
001f3adcadd rdi, 272
001f3ae3mov rbx, rsp
001f3ae6mov rsp, [r14+64]
001f3aeacall caml_initialize
001f3aefmov rsp, rbx
001f3af2lea rsi, [rip+0x1790a7]
001f3af9lea rdi, [rip+0x179680]
001f3b00add rdi, 280
001f3b07mov rbx, rsp
001f3b0amov rsp, [r14+64]
001f3b0ecall caml_initialize
001f3b13mov rsp, rbx
001f3b16lea rsi, [rip+0x1790a3]
001f3b1dlea rdi, [rip+0x17965c]
001f3b24add rdi, 288
001f3b2bmov rbx, rsp
001f3b2emov rsp, [r14+64]
001f3b32call caml_initialize
001f3b37mov rsp, rbx
001f3b3alea rsi, [rip+0x17909f]
001f3b41lea rdi, [rip+0x179638]
001f3b48add rdi, 296
001f3b4fmov rbx, rsp
001f3b52mov rsp, [r14+64]
001f3b56call caml_initialize
001f3b5bmov rsp, rbx
001f3b5esub r15, 40
001f3b62call caml_allocN
001f3b67lea rsi, [r15+8]
001f3b6bmov [rsi-8], 4343
001f3b73lea rax, [rip-0xfcc4a]
001f3b7amov [rsi], rax
001f3b7dmov rax, 0x300000000000007
001f3b87mov [rsi+8], rax
001f3b8blea rax, [rip-36866]
001f3b92mov [rsi+16], rax
001f3b96mov [rsi+24], r13
001f3b9alea rdi, [rip+0x1795df]
001f3ba1add rdi, 304
001f3ba8mov rbx, rsp
001f3babmov rsp, [r14+64]
001f3bafcall caml_initialize
001f3bb4mov rsp, rbx
001f3bb7lea rsi, [rip+0x179042]
001f3bbelea rdi, [rip+0x1795bb]
001f3bc5add rdi, 312
001f3bccmov rbx, rsp
001f3bcfmov rsp, [r14+64]
001f3bd3call caml_initialize
001f3bd8mov rsp, rbx
001f3bdblea rsi, [rip+0x17903e]
001f3be2lea rdi, [rip+0x179597]
001f3be9add rdi, 320
001f3bf0mov rbx, rsp
001f3bf3mov rsp, [r14+64]
001f3bf7call caml_initialize
001f3bfcmov rsp, rbx
001f3bfflea rdi, [rip+0x17957a]
001f3c06mov rax, [rdi+320]
001f3c0dlea rbx, [rip+0x179d6c]
001f3c14mov rdx, [rdi+312]
001f3c1bsub r15, 56
001f3c1fcall caml_allocN
001f3c24lea rsi, [r15+8]
001f3c28mov [rsi-8], 6391
001f3c30lea rcx, [rip-0xfcc17]
001f3c37mov [rsi], rcx
001f3c3amov rcx, 0x200000000000007
001f3c44mov [rsi+8], rcx
001f3c48lea rcx, [rip-35951]
001f3c4fmov [rsi+16], rcx
001f3c53mov [rsi+24], rbx
001f3c57mov [rsi+32], rax
001f3c5bmov [rsi+40], rdx
001f3c5fadd rdi, 328
001f3c66mov rbx, rsp
001f3c69mov rsp, [r14+64]
001f3c6dcall caml_initialize
001f3c72mov rsp, rbx
001f3c75lea rsi, [rip+0x178fbc]
001f3c7clea rdi, [rip+0x1794fd]
001f3c83add rdi, 336
001f3c8amov rbx, rsp
001f3c8dmov rsp, [r14+64]
001f3c91call caml_initialize
001f3c96mov rsp, rbx
001f3c99lea rdi, [rip+0x1794e0]
001f3ca0mov rax, [rdi+336]
001f3ca7lea rbx, [rip+0x179cc2]
001f3caemov rdx, [rdi+312]
001f3cb5sub r15, 56
001f3cb9call caml_allocN
001f3cbelea rsi, [r15+8]
001f3cc2mov [rsi-8], 6391
001f3ccalea rcx, [rip-0xfccb1]
001f3cd1mov [rsi], rcx
001f3cd4mov rcx, 0x200000000000007
001f3cdemov [rsi+8], rcx
001f3ce2lea rcx, [rip-36041]
001f3ce9mov [rsi+16], rcx
001f3cedmov [rsi+24], rbx
001f3cf1mov [rsi+32], rax
001f3cf5mov [rsi+40], rdx
001f3cf9add rdi, 344
001f3d00mov rbx, rsp
001f3d03mov rsp, [r14+64]
001f3d07call caml_initialize
001f3d0cmov rsp, rbx
001f3d0flea rsi, [rip+0x178f3a]
001f3d16lea rdi, [rip+0x179463]
001f3d1dadd rdi, 352
001f3d24mov rbx, rsp
001f3d27mov rsp, [r14+64]
001f3d2bcall caml_initialize
001f3d30mov rsp, rbx
001f3d33lea rdi, [rip+0x179446]
001f3d3amov rax, [rdi+352]
001f3d41lea rbx, [rip+0x179c10]
001f3d48mov rdx, [rdi+312]
001f3d4fsub r15, 56
001f3d53call caml_allocN
001f3d58lea rsi, [r15+8]
001f3d5cmov [rsi-8], 6391
001f3d64lea rcx, [rip-0xfcd4b]
001f3d6bmov [rsi], rcx
001f3d6emov rcx, 0x200000000000007
001f3d78mov [rsi+8], rcx
001f3d7clea rcx, [rip-36115]
001f3d83mov [rsi+16], rcx
001f3d87mov [rsi+24], rbx
001f3d8bmov [rsi+32], rax
001f3d8fmov [rsi+40], rdx
001f3d93add rdi, 360
001f3d9amov rbx, rsp
001f3d9dmov rsp, [r14+64]
001f3da1call caml_initialize
001f3da6mov rsp, rbx
001f3da9lea rdi, [rip+0x1793d0]
001f3db0mov rsi, [rdi+296]
001f3db7add rdi, 368
001f3dbemov rbx, rsp
001f3dc1mov rsp, [r14+64]
001f3dc5call caml_initialize
001f3dcamov rsp, rbx
001f3dcdlea rsi, [rip+0x178e94]
001f3dd4lea rdi, [rip+0x1793a5]
001f3ddbadd rdi, 376
001f3de2mov rbx, rsp
001f3de5mov rsp, [r14+64]
001f3de9call caml_initialize
001f3deemov rsp, rbx
001f3df1lea rsi, [rip+0x178e90]
001f3df8lea rdi, [rip+0x179381]
001f3dffadd rdi, 384
001f3e06mov rbx, rsp
001f3e09mov rsp, [r14+64]
001f3e0dcall caml_initialize
001f3e12mov rsp, rbx
001f3e15lea rsi, [rip+0x178e8c]
001f3e1clea rdi, [rip+0x17935d]
001f3e23add rdi, 392
001f3e2amov rbx, rsp
001f3e2dmov rsp, [r14+64]
001f3e31call caml_initialize
001f3e36mov rsp, rbx
001f3e39lea rsi, [rip+0x178e88]
001f3e40lea rdi, [rip+0x179339]
001f3e47add rdi, 400
001f3e4emov rbx, rsp
001f3e51mov rsp, [r14+64]
001f3e55call caml_initialize
001f3e5amov rsp, rbx
001f3e5dlea rsi, [rip+0x178e84]
001f3e64lea rdi, [rip+0x179315]
001f3e6badd rdi, 408
001f3e72mov rbx, rsp
001f3e75mov rsp, [r14+64]
001f3e79call caml_initialize
001f3e7emov rsp, rbx
001f3e81lea rsi, [rip+0x178e80]
001f3e88lea rdi, [rip+0x1792f1]
001f3e8fadd rdi, 416
001f3e96mov rbx, rsp
001f3e99mov rsp, [r14+64]
001f3e9dcall caml_initialize
001f3ea2mov rsp, rbx
001f3ea5lea rsi, [rip+0x178e7c]
001f3eaclea rdi, [rip+0x1792cd]
001f3eb3add rdi, 424
001f3ebamov rbx, rsp
001f3ebdmov rsp, [r14+64]
001f3ec1call caml_initialize
001f3ec6mov rsp, rbx
001f3ec9lea rsi, [rip+0x178e78]
001f3ed0lea rdi, [rip+0x1792a9]
001f3ed7add rdi, 432
001f3edemov rbx, rsp
001f3ee1mov rsp, [r14+64]
001f3ee5call caml_initialize
001f3eeamov rsp, rbx
001f3eedlea rsi, [rip+0x178e74]
001f3ef4lea rdi, [rip+0x179285]
001f3efbadd rdi, 440
001f3f02mov rbx, rsp
001f3f05mov rsp, [r14+64]
001f3f09call caml_initialize
001f3f0emov rsp, rbx
001f3f11lea rsi, [rip+0x178e70]
001f3f18lea rdi, [rip+0x179261]
001f3f1fadd rdi, 448
001f3f26mov rbx, rsp
001f3f29mov rsp, [r14+64]
001f3f2dcall caml_initialize
001f3f32mov rsp, rbx
001f3f35lea rsi, [rip+0x178e6c]
001f3f3clea rdi, [rip+0x17923d]
001f3f43add rdi, 456
001f3f4amov rbx, rsp
001f3f4dmov rsp, [r14+64]
001f3f51call caml_initialize
001f3f56mov rsp, rbx
001f3f59lea rsi, [rip+0x178e68]
001f3f60lea rdi, [rip+0x179219]
001f3f67add rdi, 464
001f3f6emov rbx, rsp
001f3f71mov rsp, [r14+64]
001f3f75call caml_initialize
001f3f7amov rsp, rbx
001f3f7dlea rsi, [rip+0x178e64]
001f3f84lea rdi, [rip+0x1791f5]
001f3f8badd rdi, 472
001f3f92mov rbx, rsp
001f3f95mov rsp, [r14+64]
001f3f99call caml_initialize
001f3f9emov rsp, rbx
001f3fa1sub r15, 40
001f3fa5call caml_allocN
001f3faalea rsi, [r15+8]
001f3faemov [rsi-8], 4343
001f3fb6lea rax, [rip-0xfd08d]
001f3fbdmov [rsi], rax
001f3fc0mov rax, 0x300000000000007
001f3fcamov [rsi+8], rax
001f3fcelea rax, [rip-24549]
001f3fd5mov [rsi+16], rax
001f3fd9mov [rsi+24], r13
001f3fddlea rdi, [rip+0x17919c]
001f3fe4add rdi, 480
001f3febmov rbx, rsp
001f3feemov rsp, [r14+64]
001f3ff2call caml_initialize
001f3ff7mov rsp, rbx
001f3ffalea rsi, [rip+0x178e07]
001f4001lea rdi, [rip+0x179178]
001f4008add rdi, 488
001f400fmov rbx, rsp
001f4012mov rsp, [r14+64]
001f4016call caml_initialize
001f401bmov rsp, rbx
001f401elea rsi, [rip+0x178e03]
001f4025lea rdi, [rip+0x179154]
001f402cadd rdi, 496
001f4033mov rbx, rsp
001f4036mov rsp, [r14+64]
001f403acall caml_initialize
001f403fmov rsp, rbx
001f4042lea rsi, [rip+0x178df7]
001f4049lea rdi, [rip+0x179130]
001f4050add rdi, 504
001f4057mov rbx, rsp
001f405amov rsp, [r14+64]
001f405ecall caml_initialize
001f4063mov rsp, rbx
001f4066lea rsi, [rip+0x178deb]
001f406dlea rdi, [rip+0x17910c]
001f4074add rdi, 512
001f407bmov rbx, rsp
001f407emov rsp, [r14+64]
001f4082call caml_initialize
001f4087mov rsp, rbx
001f408alea rsi, [rip+0x178de7]
001f4091lea rdi, [rip+0x1790e8]
001f4098add rdi, 520
001f409fmov rbx, rsp
001f40a2mov rsp, [r14+64]
001f40a6call caml_initialize
001f40abmov rsp, rbx
001f40aelea rsi, [rip+0x178ddb]
001f40b5lea rdi, [rip+0x1790c4]
001f40bcadd rdi, 528
001f40c3mov rbx, rsp
001f40c6mov rsp, [r14+64]
001f40cacall caml_initialize
001f40cfmov rsp, rbx
001f40d2lea rsi, [rip+0x178dd7]
001f40d9lea rdi, [rip+0x1790a0]
001f40e0add rdi, 536
001f40e7mov rbx, rsp
001f40eamov rsp, [r14+64]
001f40eecall caml_initialize
001f40f3mov rsp, rbx
001f40f6lea rax, [rip+0x17969b]
001f40fdlea rdi, [rip+0x17907c]
001f4104mov rbx, [rdi+536]
001f410bsub r15, 48
001f410fcall caml_allocN
001f4114lea rsi, [r15+8]
001f4118mov [rsi-8], 5367
001f4120lea rdx, [rip-0xfd107]
001f4127mov [rsi], rdx
001f412amov rdx, 0x200000000000007
001f4134mov [rsi+8], rdx
001f4138lea rdx, [rip-23023]
001f413fmov [rsi+16], rdx
001f4143mov [rsi+24], rax
001f4147mov [rsi+32], rbx
001f414badd rdi, 544
001f4152mov rbx, rsp
001f4155mov rsp, [r14+64]
001f4159call caml_initialize
001f415emov rsp, rbx
001f4161lea rax, [rip+0x179618]
001f4168lea rdi, [rip+0x179011]
001f416fmov rbx, [rdi+536]
001f4176sub r15, 48
001f417acall caml_allocN
001f417flea rsi, [r15+8]
001f4183mov [rsi-8], 5367
001f418blea rdx, [rip-0xfd172]
001f4192mov [rsi], rdx
001f4195mov rdx, 0x200000000000007
001f419fmov [rsi+8], rdx
001f41a3lea rdx, [rip-23098]
001f41aamov [rsi+16], rdx
001f41aemov [rsi+24], rax
001f41b2mov [rsi+32], rbx
001f41b6add rdi, 552
001f41bdmov rbx, rsp
001f41c0mov rsp, [r14+64]
001f41c4call caml_initialize
001f41c9mov rsp, rbx
001f41ccsub r15, 40
001f41d0call caml_allocN
001f41d5lea rsi, [r15+8]
001f41d9mov [rsi-8], 4343
001f41e1lea rax, [rip-0xfd1c8]
001f41e8mov [rsi], rax
001f41ebmov rax, 0x200000000000007
001f41f5mov [rsi+8], rax
001f41f9lea rax, [rip-23152]
001f4200mov [rsi+16], rax
001f4204mov [rsi+24], r13
001f4208lea rdi, [rip+0x178f71]
001f420fadd rdi, 560
001f4216mov rbx, rsp
001f4219mov rsp, [r14+64]
001f421dcall caml_initialize
001f4222mov rsp, rbx
001f4225sub r15, 40
001f4229call caml_allocN
001f422elea rsi, [r15+8]
001f4232mov [rsi-8], 4343
001f423alea rax, [rip-0xfd221]
001f4241mov [rsi], rax
001f4244mov rax, 0x200000000000007
001f424emov [rsi+8], rax
001f4252lea rax, [rip-21673]
001f4259mov [rsi+16], rax
001f425dmov [rsi+24], r13
001f4261lea rdi, [rip+0x178f18]
001f4268add rdi, 568
001f426fmov rbx, rsp
001f4272mov rsp, [r14+64]
001f4276call caml_initialize
001f427bmov rsp, rbx
001f427esub r15, 40
001f4282call caml_allocN
001f4287lea rsi, [r15+8]
001f428bmov [rsi-8], 4343
001f4293lea rax, [rip-0xfd27a]
001f429amov [rsi], rax
001f429dmov rax, 0x200000000000007
001f42a7mov [rsi+8], rax
001f42ablea rax, [rip-20738]
001f42b2mov [rsi+16], rax
001f42b6mov [rsi+24], r13
001f42balea rdi, [rip+0x178ebf]
001f42c1add rdi, 576
001f42c8mov rbx, rsp
001f42cbmov rsp, [r14+64]
001f42cfcall caml_initialize
001f42d4mov rsp, rbx
001f42d7lea rsi, [rip+0x178bf2]
001f42delea rdi, [rip+0x178e9b]
001f42e5add rdi, 584
001f42ecmov rbx, rsp
001f42efmov rsp, [r14+64]
001f42f3call caml_initialize
001f42f8mov rsp, rbx
001f42fbsub r15, 40
001f42ffcall caml_allocN
001f4304lea rsi, [r15+8]
001f4308mov [rsi-8], 4343
001f4310lea rax, [rip-0xfd557]
001f4317mov [rsi], rax
001f431amov rax, 0x400000000000007
001f4324mov [rsi+8], rax
001f4328lea rax, [rip-18431]
001f432fmov [rsi+16], rax
001f4333mov [rsi+24], r13
001f4337lea rdi, [rip+0x178e42]
001f433eadd rdi, 592
001f4345mov rbx, rsp
001f4348mov rsp, [r14+64]
001f434ccall caml_initialize
001f4351mov rsp, rbx
001f4354lea rsi, [rip+0x178b8d]
001f435blea rdi, [rip+0x178e1e]
001f4362add rdi, 600
001f4369mov rbx, rsp
001f436cmov rsp, [r14+64]
001f4370call caml_initialize
001f4375mov rsp, rbx
001f4378lea rsi, [rip+0x178b89]
001f437flea rdi, [rip+0x178dfa]
001f4386add rdi, 608
001f438dmov rbx, rsp
001f4390mov rsp, [r14+64]
001f4394call caml_initialize
001f4399mov rsp, rbx
001f439clea rsi, [rip+0x178b85]
001f43a3lea rdi, [rip+0x178dd6]
001f43aaadd rdi, 616
001f43b1mov rbx, rsp
001f43b4mov rsp, [r14+64]
001f43b8call caml_initialize
001f43bdmov rsp, rbx
001f43c0lea rsi, [rip+0x178b79]
001f43c7lea rdi, [rip+0x178db2]
001f43ceadd rdi, 624
001f43d5mov rbx, rsp
001f43d8mov rsp, [r14+64]
001f43dccall caml_initialize
001f43e1mov rsp, rbx
001f43e4lea r12, [rip+0x178b6d]
001f43eblea rdi, [rip+0x178d8e]
001f43f2add rdi, 632
001f43f9mov rsi, r12
001f43fcmov rbx, rsp
001f43ffmov rsp, [r14+64]
001f4403call caml_initialize
001f4408mov rsp, rbx
001f440bmov rsi, r12
001f440eadd rsi, 32
001f4412lea rdi, [rip+0x178d67]
001f4419add rdi, 640
001f4420mov rbx, rsp
001f4423mov rsp, [r14+64]
001f4427call caml_initialize
001f442cmov rsp, rbx
001f442fmov rsi, r12
001f4432add rsi, 64
001f4436lea rdi, [rip+0x178d43]
001f443dadd rdi, 648
001f4444mov rbx, rsp
001f4447mov rsp, [r14+64]
001f444bcall caml_initialize
001f4450mov rsp, rbx
001f4453lea r12, [rip+0x178b5e]
001f445alea rdi, [rip+0x178d1f]
001f4461add rdi, 656
001f4468mov rsi, r12
001f446bmov rbx, rsp
001f446emov rsp, [r14+64]
001f4472call caml_initialize
001f4477mov rsp, rbx
001f447amov rsi, r12
001f447dadd rsi, 32
001f4481lea rdi, [rip+0x178cf8]
001f4488add rdi, 664
001f448fmov rbx, rsp
001f4492mov rsp, [r14+64]
001f4496call caml_initialize
001f449bmov rsp, rbx
001f449esub r15, 40
001f44a2call caml_allocN
001f44a7lea rsi, [r15+8]
001f44abmov [rsi-8], 4343
001f44b3lea rax, [rip-0xfd6fa]
001f44bamov [rsi], rax
001f44bdmov rax, 0x400000000000007
001f44c7mov [rsi+8], rax
001f44cblea rax, [rip-7874]
001f44d2mov [rsi+16], rax
001f44d6mov [rsi+24], r13
001f44dalea rdi, [rip+0x178c9f]
001f44e1add rdi, 672
001f44e8mov rbx, rsp
001f44ebmov rsp, [r14+64]
001f44efcall caml_initialize
001f44f4mov rsp, rbx
001f44f7lea rsi, [rip+0x178afa]
001f44felea rdi, [rip+0x178c7b]
001f4505add rdi, 64
001f4509mov rbx, rsp
001f450cmov rsp, [r14+64]
001f4510call caml_initialize
001f4515mov rsp, rbx
001f4518lea rsi, [rip+0x178af9]
001f451flea rdi, [rip+0x178c5a]
001f4526add rdi, 680
001f452dmov rbx, rsp
001f4530mov rsp, [r14+64]
001f4534call caml_initialize
001f4539mov rsp, rbx
001f453clea rdi, [rip+0x178c3d]
001f4543mov rsi, [rdi+64]
001f4547add rdi, 688
001f454emov rbx, rsp
001f4551mov rsp, [r14+64]
001f4555call caml_initialize
001f455amov rsp, rbx
001f455dlea rsi, [rip+0x178ad4]
001f4564lea rdi, [rip+0x178c15]
001f456badd rdi, 16
001f456fmov rbx, rsp
001f4572mov rsp, [r14+64]
001f4576call caml_initialize
001f457bmov rsp, rbx
001f457elea rsi, [rip+0x178ad3]
001f4585lea rdi, [rip+0x178bf4]
001f458cadd rdi, 24
001f4590mov rbx, rsp
001f4593mov rsp, [r14+64]
001f4597call caml_initialize
001f459cmov rsp, rbx
001f459flea rsi, [rip+0x178ad2]
001f45a6lea rdi, [rip+0x178bd3]
001f45adadd rdi, 72
001f45b1mov rbx, rsp
001f45b4mov rsp, [r14+64]
001f45b8call caml_initialize
001f45bdmov rsp, rbx
001f45c0lea rsi, [rip+0x178ad1]
001f45c7lea rdi, [rip+0x178bb2]
001f45ceadd rdi, 32
001f45d2mov rbx, rsp
001f45d5mov rsp, [r14+64]
001f45d9call caml_initialize
001f45demov rsp, rbx
001f45e1lea rsi, [rip+0x178ad0]
001f45e8lea rdi, [rip+0x178b91]
001f45efadd rdi, 40
001f45f3mov rbx, rsp
001f45f6mov rsp, [r14+64]
001f45facall caml_initialize
001f45ffmov rsp, rbx
001f4602lea rsi, [rip+0x178acf]
001f4609lea rdi, [rip+0x178b70]
001f4610add rdi, 48
001f4614mov rbx, rsp
001f4617mov rsp, [r14+64]
001f461bcall caml_initialize
001f4620mov rsp, rbx
001f4623lea rsi, [rip+0x178ac6]
001f462alea rdi, [rip+0x178b4f]
001f4631add rdi, 56
001f4635mov rbx, rsp
001f4638mov rsp, [r14+64]
001f463ccall caml_initialize
001f4641mov rsp, rbx
001f4644lea rsi, [rip+0x178abd]
001f464blea rdi, [rip+0x178b2e]
001f4652add rdi, 80
001f4656mov rbx, rsp
001f4659mov rsp, [r14+64]
001f465dcall caml_initialize
001f4662mov rsp, rbx
001f4665lea rsi, [rip+0x178abc]
001f466clea rdi, [rip+0x178b0d]
001f4673add rdi, 88
001f4677mov rbx, rsp
001f467amov rsp, [r14+64]
001f467ecall caml_initialize
001f4683mov rsp, rbx
001f4686lea rsi, [rip+0x178abb]
001f468dlea rdi, [rip+0x178aec]
001f4694add rdi, 96
001f4698mov rbx, rsp
001f469bmov rsp, [r14+64]
001f469fcall caml_initialize
001f46a4mov rsp, rbx
001f46a7lea rsi, [rip+0x178aba]
001f46aelea rdi, [rip+0x178acb]
001f46b5add rdi, 104
001f46b9mov rbx, rsp
001f46bcmov rsp, [r14+64]
001f46c0call caml_initialize
001f46c5mov rsp, rbx
001f46c8mov eax, 1
001f46cdret
001f46ce
001f46celoc_1f46ce:
001f46cepush 33
001f46d0call caml_call_realloc_stack
001f46d5pop r10
001f46d7jmp 0x1f2f52
001f2f40
001f2f40Stdlib.Scanf.entry:
001f2f40lea r10, [rsp-320]
001f2f48cmp r10, [r14+40]
001f2f4cjb 0x1f46ce
001f2f52
001f2f52loc_1f2f52:
001f2f52mov esi, 1
001f2f57lea rdi, [rip+0x17a222]
001f2f5eadd rdi, 696
001f2f65mov rbx, rsp
001f2f68mov rsp, [r14+64]
001f2f6ccall caml_initialize
001f2f71mov rsp, rbx
001f2f74lea rsi, [rip+0x179795]
001f2f7blea rdi, [rip+0x17a1fe]
001f2f82add rdi, 704
001f2f89mov rbx, rsp
001f2f8cmov rsp, [r14+64]
001f2f90call caml_initialize
001f2f95mov rsp, rbx
001f2f98lea rsi, [rip+0x179789]
001f2f9flea rdi, [rip+0x17a1da]
001f2fa6add rdi, 712
001f2fadmov rbx, rsp
001f2fb0mov rsp, [r14+64]
001f2fb4call caml_initialize
001f2fb9mov rsp, rbx
001f2fbclea rsi, [rip+0x17977d]
001f2fc3lea rdi, [rip+0x17a1b6]
001f2fcaadd rdi, 720
001f2fd1mov rbx, rsp
001f2fd4mov rsp, [r14+64]
001f2fd8call caml_initialize
001f2fddmov rsp, rbx
001f2fe0lea rsi, [rip+0x179771]
001f2fe7lea rdi, [rip+0x17a192]
001f2feeadd rdi, 728
001f2ff5mov rbx, rsp
001f2ff8mov rsp, [r14+64]
001f2ffccall caml_initialize
001f3001mov rsp, rbx
001f3004lea rsi, [rip+0x179765]
001f300blea rdi, [rip+0x17a16e]
001f3012add rdi, 736
001f3019mov rbx, rsp
001f301cmov rsp, [r14+64]
001f3020call caml_initialize
001f3025mov rsp, rbx
001f3028lea rsi, [rip+0x179759]
001f302flea rdi, [rip+0x17a14a]
001f3036add rdi, 744
001f303dmov rbx, rsp
001f3040mov rsp, [r14+64]
001f3044call caml_initialize
001f3049mov rsp, rbx
001f304clea rsi, [rip+0x17974d]
001f3053lea rdi, [rip+0x17a126]
001f305aadd rdi, 752
001f3061mov rbx, rsp
001f3064mov rsp, [r14+64]
001f3068call caml_initialize
001f306dmov rsp, rbx
001f3070lea rsi, [rip+0x179741]
001f3077lea rdi, [rip+0x17a102]
001f307eadd rdi, 760
001f3085mov rbx, rsp
001f3088mov rsp, [r14+64]
001f308ccall caml_initialize
001f3091mov rsp, rbx
001f3094lea rsi, [rip+0x179735]
001f309blea rdi, [rip+0x17a0de]
001f30a2add rdi, 768
001f30a9mov rbx, rsp
001f30acmov rsp, [r14+64]
001f30b0call caml_initialize
001f30b5mov rsp, rbx
001f30b8lea rsi, [rip+0x179729]
001f30bflea rdi, [rip+0x17a0ba]
001f30c6add rdi, 776
001f30cdmov rbx, rsp
001f30d0mov rsp, [r14+64]
001f30d4call caml_initialize
001f30d9mov rsp, rbx
001f30dclea rsi, [rip+0x17971d]
001f30e3lea rdi, [rip+0x17a096]
001f30eaadd rdi, 784
001f30f1mov rbx, rsp
001f30f4mov rsp, [r14+64]
001f30f8call caml_initialize
001f30fdmov rsp, rbx
001f3100lea rsi, [rip+0x179711]
001f3107lea rdi, [rip+0x17a072]
001f310eadd rdi, 792
001f3115mov rbx, rsp
001f3118mov rsp, [r14+64]
001f311ccall caml_initialize
001f3121mov rsp, rbx
001f3124lea rsi, [rip+0x179705]
001f312blea rdi, [rip+0x17a04e]
001f3132add rdi, 800
001f3139mov rbx, rsp
001f313cmov rsp, [r14+64]
001f3140call caml_initialize
001f3145mov rsp, rbx
001f3148lea rsi, [rip+0x1796f9]
001f314flea rdi, [rip+0x17a02a]
001f3156add rdi, 808
001f315dmov rbx, rsp
001f3160mov rsp, [r14+64]
001f3164call caml_initialize
001f3169mov rsp, rbx
001f316clea rsi, [rip+0x1796f5]
001f3173lea rdi, [rip+0x17a006]
001f317aadd rdi, 816
001f3181mov rbx, rsp
001f3184mov rsp, [r14+64]
001f3188call caml_initialize
001f318dmov rsp, rbx
001f3190lea rsi, [rip+0x1796f1]
001f3197lea rdi, [rip+0x179fe2]
001f319eadd rdi, 824
001f31a5mov rbx, rsp
001f31a8mov rsp, [r14+64]
001f31accall caml_initialize
001f31b1mov rsp, rbx
001f31b4mov esi, 2049
001f31b9lea rdi, [rip+0x179fc0]
001f31c0add rdi, 832
001f31c7mov rbx, rsp
001f31camov rsp, [r14+64]
001f31cecall caml_initialize
001f31d3mov rsp, rbx
001f31d6lea rsi, [rip+0x1796cb]
001f31ddlea rdi, [rip+0x179f9c]
001f31e4add rdi, 840
001f31ebmov rbx, rsp
001f31eemov rsp, [r14+64]
001f31f2call caml_initialize
001f31f7mov rsp, rbx
001f31falea rsi, [rip+0x1796c7]
001f3201lea rdi, [rip+0x179f78]
001f3208add rdi, 848
001f320fmov rbx, rsp
001f3212mov rsp, [r14+64]
001f3216call caml_initialize
001f321bmov rsp, rbx
001f321emov eax, 1
001f3223lea rdi, [rip+0x179f56]
001f322amov rbx, [rdi+840]
001f3231sub r15, 40
001f3235call caml_allocN
001f323alea rsi, [r15+8]
001f323emov [rsi-8], 4343
001f3246lea rdx, [rip-40333]
001f324dmov [rsi], rdx
001f3250mov rdx, 0x100000000000005
001f325amov [rsi+8], rdx
001f325emov [rsi+16], rax
001f3262mov [rsi+24], rbx
001f3266add rdi, 856
001f326dmov rbx, rsp
001f3270mov rsp, [r14+64]
001f3274call caml_initialize
001f3279mov rsp, rbx
001f327ccall caml_alloc1
001f3281lea rsi, [r15+8]
001f3285mov [rsi-8], 1024
001f328dmov [rsi], 2049
001f3294lea rdi, [rip+0x179ee5]
001f329badd rdi, 864
001f32a2mov rbx, rsp
001f32a5mov rsp, [r14+64]
001f32a9call caml_initialize
001f32aemov rsp, rbx
001f32b1lea rsi, [rip+0x179628]
001f32b8lea rdi, [rip+0x179ec1]
001f32bfadd rdi, 872
001f32c6mov rbx, rsp
001f32c9mov rsp, [r14+64]
001f32cdcall caml_initialize
001f32d2mov rsp, rbx
001f32d5lea rsi, [rip+0x17961c]
001f32dclea rdi, [rip+0x179e9d]
001f32e3add rdi, 880
001f32eamov rbx, rsp
001f32edmov rsp, [r14+64]
001f32f1call caml_initialize
001f32f6mov rsp, rbx
001f32f9lea rsi, [rip+0x179610]
001f3300lea rdi, [rip+0x179e79]
001f3307add rdi, 888
001f330emov rbx, rsp
001f3311mov rsp, [r14+64]
001f3315call caml_initialize
001f331amov rsp, rbx
001f331dlea rdi, [rip+0x179e5c]
001f3324mov rax, [rdi+872]
001f332bmov rbx, [rdi+888]
001f3332sub r15, 48
001f3336call caml_allocN
001f333blea rsi, [r15+8]
001f333fmov [rsi-8], 5367
001f3347lea rdx, [rip-0xfc32e]
001f334emov [rsi], rdx
001f3351mov rdx, 0x200000000000007
001f335bmov [rsi+8], rdx
001f335flea rdx, [rip-39686]
001f3366mov [rsi+16], rdx
001f336amov [rsi+24], rax
001f336emov [rsi+32], rbx
001f3372add rdi, 896
001f3379mov rbx, rsp
001f337cmov rsp, [r14+64]
001f3380call caml_initialize
001f3385mov rsp, rbx
001f3388lea rdi, [rip+0x179df1]
001f338fmov rax, [rdi+880]
001f3396mov rbx, [rdi+888]
001f339dsub r15, 48
001f33a1call caml_allocN
001f33a6lea rsi, [r15+8]
001f33aamov [rsi-8], 5367
001f33b2lea rdx, [rip-0xfc399]
001f33b9mov [rsi], rdx
001f33bcmov rdx, 0x200000000000007
001f33c6mov [rsi+8], rdx
001f33calea rdx, [rip-39761]
001f33d1mov [rsi+16], rdx
001f33d5mov [rsi+24], rax
001f33d9mov [rsi+32], rbx
001f33ddadd rdi, 904
001f33e4mov rbx, rsp
001f33e7mov rsp, [r14+64]
001f33ebcall caml_initialize
001f33f0mov rsp, rbx
001f33f3call caml_alloc2
001f33f8lea rbx, [r15+8]
001f33fcmov [rbx-8], 2049
001f3404lea rax, [rip+0x17a805]
001f340bmov [rbx], rax
001f340elea rax, [rip+0x13a203]
001f3415mov rdi, [rax+296]
001f341cmov [rbx+8], rdi
001f3420lea rax, [rip+0x179d59]
001f3427mov rax, [rax+880]
001f342ecall Stdlib.Scanf.from_ic
001f3433lea rdi, [rip+0x179d46]
001f343aadd rdi, 912
001f3441mov rsi, rax
001f3444mov rbx, rsp
001f3447mov rsp, [r14+64]
001f344bcall caml_initialize
001f3450mov rsp, rbx
001f3453lea rsi, [rip+0x1794d6]
001f345alea rdi, [rip+0x179d1f]
001f3461add rdi, 920
001f3468mov rbx, rsp
001f346bmov rsp, [r14+64]
001f346fcall caml_initialize
001f3474mov rsp, rbx
001f3477lea rax, [rip+0x13a19a]
001f347emov rax, [rax+624]
001f3485lea rdi, [rip+0x179cf4]
001f348cmov rbx, [rdi+920]
001f3493sub r15, 40
001f3497call caml_allocN
001f349clea rsi, [r15+8]
001f34a0mov [rsi-8], 4343
001f34a8lea rdx, [rip-39759]
001f34afmov [rsi], rdx
001f34b2mov rdx, 0x100000000000005
001f34bcmov [rsi+8], rdx
001f34c0mov [rsi+16], rax
001f34c4mov [rsi+24], rbx
001f34c8add rdi, 928
001f34cfmov rbx, rsp
001f34d2mov rsp, [r14+64]
001f34d6call caml_initialize
001f34dbmov rsp, rbx
001f34delea rax, [rip+0x13a133]
001f34e5mov rax, [rax+632]
001f34eclea rdi, [rip+0x179c8d]
001f34f3mov rbx, [rdi+920]
001f34fasub r15, 40
001f34fecall caml_allocN
001f3503lea rsi, [r15+8]
001f3507mov [rsi-8], 4343
001f350flea rdx, [rip-39670]
001f3516mov [rsi], rdx
001f3519mov rdx, 0x100000000000005
001f3523mov [rsi+8], rdx
001f3527mov [rsi+16], rax
001f352bmov [rsi+24], rbx
001f352fadd rdi, 936
001f3536mov rbx, rsp
001f3539mov rsp, [r14+64]
001f353dcall caml_initialize
001f3542mov rsp, rbx
001f3545lea rdi, [rip+0x179c34]
001f354cmov rsi, [rdi+928]
001f3553add rdi, 944
001f355amov rbx, rsp
001f355dmov rsp, [r14+64]
001f3561call caml_initialize
001f3566mov rsp, rbx
001f3569lea rdi, [rip+0x179c10]
001f3570mov rsi, [rdi+936]
001f3577add rdi, 952
001f357emov rbx, rsp
001f3581mov rsp, [r14+64]
001f3585call caml_initialize
001f358amov rsp, rbx
001f358dlea rsi, [rip+0x1793bc]
001f3594lea rdi, [rip+0x179be5]
001f359badd rdi, 960
001f35a2mov rbx, rsp
001f35a5mov rsp, [r14+64]
001f35a9call caml_initialize
001f35aemov rsp, rbx
001f35b1lea rsi, [rip+0x1793b0]
001f35b8lea rdi, [rip+0x179bc1]
001f35bfadd rdi, 968
001f35c6mov rbx, rsp
001f35c9mov rsp, [r14+64]
001f35cdcall caml_initialize
001f35d2mov rsp, rbx
001f35d5sub r15, 312
001f35dccall caml_allocN
001f35e1lea r13, [r15+8]
001f35e5add r13, 104
001f35e9mov [r13-8], 25600
001f35f1lea rdi, [rip+0x179b88]
001f35f8mov rax, [rdi+912]
001f35ffmov [r13], rax
001f3603mov rbx, [rdi+704]
001f360amov [r13+8], rbx
001f360emov rbx, [rdi+784]
001f3615mov [r13+16], rbx
001f3619mov rbx, [rdi+712]
001f3620mov [r13+24], rbx
001f3624mov rbx, [rdi+720]
001f362bmov [r13+32], rbx
001f362fmov rbx, [rdi+824]
001f3636mov [r13+40], rbx
001f363amov rbx, [rdi+808]
001f3641mov [r13+48], rbx
001f3645mov rbx, [rdi+816]
001f364cmov [r13+56], rbx
001f3650mov rbx, [rdi+792]
001f3657mov [r13+64], rbx
001f365bmov rbx, [rdi+776]
001f3662mov [r13+72], rbx
001f3666mov rbx, [rdi+760]
001f366dmov [r13+80], rbx
001f3671mov rbx, [rdi+768]
001f3678mov [r13+88], rbx
001f367cmov rbx, [rdi+800]
001f3683mov [r13+96], rbx
001f3687mov rbx, [rdi+736]
001f368emov [r13+104], rbx
001f3692mov rbx, [rdi+728]
001f3699mov [r13+112], rbx
001f369dmov rbx, [rdi+744]
001f36a4mov [r13+120], rbx
001f36a8mov rbx, [rdi+752]
001f36afmov [r13+128], rbx
001f36b6mov rbx, [rdi+928]
001f36bdmov [r13+136], rbx
001f36c4mov rbx, [rdi+936]
001f36cbmov [r13+144], rbx
001f36d2mov rbx, [rdi+944]
001f36d9mov [r13+152], rbx
001f36e0mov rbx, [rdi+952]
001f36e7mov [r13+160], rbx
001f36eemov rbx, [rdi+848]
001f36f5mov [r13+168], rbx
001f36fcmov rbx, [rdi+856]
001f3703mov [r13+176], rbx
001f370amov rbx, [rdi+960]
001f3711mov [r13+184], rbx
001f3718mov rbx, [rdi+968]
001f371fmov [r13+192], rbx
001f3726lea rsi, [r13-104]
001f372amov [rsi-8], 12288
001f3732mov [rsi], rax
001f3735mov rax, [r13+136]
001f373cmov [rsi+8], rax
001f3740mov rax, [r13+144]
001f3747mov [rsi+16], rax
001f374bmov rax, [r13+192]
001f3752mov [rsi+24], rax
001f3756mov rax, [r13+152]
001f375dmov [rsi+32], rax
001f3761mov rax, [r13+160]
001f3768mov [rsi+40], rax
001f376cmov rax, [r13+168]
001f3773mov [rsi+48], rax
001f3777mov rax, [r13+176]
001f377emov [rsi+56], rax
001f3782mov rax, [r13+184]
001f3789mov [rsi+64], rax
001f378dmov rax, [r13+112]
001f3791mov [rsi+72], rax
001f3795mov rax, [r13+120]
001f3799mov [rsi+80], rax
001f379dmov rax, [r13+128]
001f37a4mov [rsi+88], rax
001f37a8mov rbx, rsp
001f37abmov rsp, [r14+64]
001f37afcall caml_initialize
001f37b4mov rsp, rbx
001f37b7mov edi, 1
001f37bcmov rbx, rsp
001f37bfmov rsp, [r14+64]
001f37c3call caml_fresh_oo_id
001f37c8mov rsp, rbx
001f37cbcall caml_alloc2
001f37d0lea rsi, [r15+8]
001f37d4mov [rsi-8], 2296
001f37dclea rbx, [rip+0x17a32d]
001f37e3mov [rsi], rbx
001f37e6mov [rsi+8], rax
001f37ealea rdi, [rip+0x17998f]
001f37f1add rdi, 8
001f37f5mov rbx, rsp
001f37f8mov rsp, [r14+64]
001f37fccall caml_initialize
001f3801mov rsp, rbx
001f3804lea rsi, [rip+0x179175]
001f380blea rdi, [rip+0x17996e]
001f3812add rdi, 112
001f3816mov rbx, rsp
001f3819mov rsp, [r14+64]
001f381dcall caml_initialize
001f3822mov rsp, rbx
001f3825lea rsi, [rip+0x17916c]
001f382clea rdi, [rip+0x17994d]
001f3833add rdi, 120
001f3837mov rbx, rsp
001f383amov rsp, [r14+64]
001f383ecall caml_initialize
001f3843mov rsp, rbx
001f3846lea rsi, [rip+0x179163]
001f384dlea rdi, [rip+0x17992c]
001f3854add rdi, 128
001f385bmov rbx, rsp
001f385emov rsp, [r14+64]
001f3862call caml_initialize
001f3867mov rsp, rbx
001f386alea rsi, [rip+0x179157]
001f3871lea rdi, [rip+0x179908]
001f3878add rdi, 136
001f387fmov rbx, rsp
001f3882mov rsp, [r14+64]
001f3886call caml_initialize
001f388bmov rsp, rbx
001f388elea rsi, [rip+0x17914b]
001f3895lea rdi, [rip+0x1798e4]
001f389cadd rdi, 144
001f38a3mov rbx, rsp
001f38a6mov rsp, [r14+64]
001f38aacall caml_initialize
001f38afmov rsp, rbx
001f38b2lea rsi, [rip+0x17913f]
001f38b9lea rdi, [rip+0x1798c0]
001f38c0add rdi, 152
001f38c7mov rbx, rsp
001f38camov rsp, [r14+64]
001f38cecall caml_initialize
001f38d3mov rsp, rbx
001f38d6lea rsi, [rip+0x179133]
001f38ddlea rdi, [rip+0x17989c]
001f38e4add rdi, 160
001f38ebmov rbx, rsp
001f38eemov rsp, [r14+64]
001f38f2call caml_initialize
001f38f7mov rsp, rbx
001f38falea rsi, [rip+0x17912f]
001f3901lea rdi, [rip+0x179878]
001f3908add rdi, 168
001f390fmov rbx, rsp
001f3912mov rsp, [r14+64]
001f3916call caml_initialize
001f391bmov rsp, rbx
001f391elea rsi, [rip+0x17912b]
001f3925lea rdi, [rip+0x179854]
001f392cadd rdi, 176
001f3933mov rbx, rsp
001f3936mov rsp, [r14+64]
001f393acall caml_initialize
001f393fmov rsp, rbx
001f3942lea r12, [rip+0x17911f]
001f3949lea rdi, [rip+0x179830]
001f3950add rdi, 184
001f3957mov rsi, r12
001f395amov rbx, rsp
001f395dmov rsp, [r14+64]
001f3961call caml_initialize
001f3966mov rsp, rbx
001f3969mov rsi, r12
001f396cadd rsi, 32
001f3970lea rdi, [rip+0x179809]
001f3977add rdi, 192
001f397emov rbx, rsp
001f3981mov rsp, [r14+64]
001f3985call caml_initialize
001f398amov rsp, rbx
001f398dmov rsi, r12
001f3990add rsi, 64
001f3994lea rdi, [rip+0x1797e5]
001f399badd rdi, 200
001f39a2mov rbx, rsp
001f39a5mov rsp, [r14+64]
001f39a9call caml_initialize
001f39aemov rsp, rbx
001f39b1lea rsi, [rip+0x179108]
001f39b8lea rdi, [rip+0x1797c1]
001f39bfadd rdi, 208
001f39c6mov rbx, rsp
001f39c9mov rsp, [r14+64]
001f39cdcall caml_initialize
001f39d2mov rsp, rbx
001f39d5mov rsi, [r13+64]
001f39d9lea rdi, [rip+0x1797a0]
001f39e0add rdi, 216
001f39e7mov rbx, rsp
001f39eamov rsp, [r14+64]
001f39eecall caml_initialize
001f39f3mov rsp, rbx
001f39f6lea rsi, [rip+0x1790db]
001f39fdlea rdi, [rip+0x17977c]
001f3a04add rdi, 224
001f3a0bmov rbx, rsp
001f3a0emov rsp, [r14+64]
001f3a12call caml_initialize
001f3a17mov rsp, rbx
001f3a1alea rsi, [rip+0x1790cf]
001f3a21lea rdi, [rip+0x179758]
001f3a28add rdi, 232
001f3a2fmov rbx, rsp
001f3a32mov rsp, [r14+64]
001f3a36call caml_initialize
001f3a3bmov rsp, rbx
001f3a3elea rsi, [rip+0x1790c3]
001f3a45lea rdi, [rip+0x179734]
001f3a4cadd rdi, 240
001f3a53mov rbx, rsp
001f3a56mov rsp, [r14+64]
001f3a5acall caml_initialize
001f3a5fmov rsp, rbx
001f3a62lea rsi, [rip+0x1790bf]
001f3a69lea rdi, [rip+0x179710]
001f3a70add rdi, 248
001f3a77mov rbx, rsp
001f3a7amov rsp, [r14+64]
001f3a7ecall caml_initialize
001f3a83mov rsp, rbx
001f3a86lea rsi, [rip+0x1790bb]
001f3a8dlea rdi, [rip+0x1796ec]
001f3a94add rdi, 256
001f3a9bmov rbx, rsp
001f3a9emov rsp, [r14+64]
001f3aa2call caml_initialize
001f3aa7mov rsp, rbx
001f3aaalea rsi, [rip+0x1790af]
001f3ab1lea rdi, [rip+0x1796c8]
001f3ab8add rdi, 264
001f3abfmov rbx, rsp
001f3ac2mov rsp, [r14+64]
001f3ac6call caml_initialize
001f3acbmov rsp, rbx
001f3acelea rsi, [rip+0x1790ab]
001f3ad5lea rdi, [rip+0x1796a4]
001f3adcadd rdi, 272
001f3ae3mov rbx, rsp
001f3ae6mov rsp, [r14+64]
001f3aeacall caml_initialize
001f3aefmov rsp, rbx
001f3af2lea rsi, [rip+0x1790a7]
001f3af9lea rdi, [rip+0x179680]
001f3b00add rdi, 280
001f3b07mov rbx, rsp
001f3b0amov rsp, [r14+64]
001f3b0ecall caml_initialize
001f3b13mov rsp, rbx
001f3b16lea rsi, [rip+0x1790a3]
001f3b1dlea rdi, [rip+0x17965c]
001f3b24add rdi, 288
001f3b2bmov rbx, rsp
001f3b2emov rsp, [r14+64]
001f3b32call caml_initialize
001f3b37mov rsp, rbx
001f3b3alea rsi, [rip+0x17909f]
001f3b41lea rdi, [rip+0x179638]
001f3b48add rdi, 296
001f3b4fmov rbx, rsp
001f3b52mov rsp, [r14+64]
001f3b56call caml_initialize
001f3b5bmov rsp, rbx
001f3b5esub r15, 40
001f3b62call caml_allocN
001f3b67lea rsi, [r15+8]
001f3b6bmov [rsi-8], 4343
001f3b73lea rax, [rip-0xfcc4a]
001f3b7amov [rsi], rax
001f3b7dmov rax, 0x300000000000007
001f3b87mov [rsi+8], rax
001f3b8blea rax, [rip-36866]
001f3b92mov [rsi+16], rax
001f3b96mov [rsi+24], r13
001f3b9alea rdi, [rip+0x1795df]
001f3ba1add rdi, 304
001f3ba8mov rbx, rsp
001f3babmov rsp, [r14+64]
001f3bafcall caml_initialize
001f3bb4mov rsp, rbx
001f3bb7lea rsi, [rip+0x179042]
001f3bbelea rdi, [rip+0x1795bb]
001f3bc5add rdi, 312
001f3bccmov rbx, rsp
001f3bcfmov rsp, [r14+64]
001f3bd3call caml_initialize
001f3bd8mov rsp, rbx
001f3bdblea rsi, [rip+0x17903e]
001f3be2lea rdi, [rip+0x179597]
001f3be9add rdi, 320
001f3bf0mov rbx, rsp
001f3bf3mov rsp, [r14+64]
001f3bf7call caml_initialize
001f3bfcmov rsp, rbx
001f3bfflea rdi, [rip+0x17957a]
001f3c06mov rax, [rdi+320]
001f3c0dlea rbx, [rip+0x179d6c]
001f3c14mov rdx, [rdi+312]
001f3c1bsub r15, 56
001f3c1fcall caml_allocN
001f3c24lea rsi, [r15+8]
001f3c28mov [rsi-8], 6391
001f3c30lea rcx, [rip-0xfcc17]
001f3c37mov [rsi], rcx
001f3c3amov rcx, 0x200000000000007
001f3c44mov [rsi+8], rcx
001f3c48lea rcx, [rip-35951]
001f3c4fmov [rsi+16], rcx
001f3c53mov [rsi+24], rbx
001f3c57mov [rsi+32], rax
001f3c5bmov [rsi+40], rdx
001f3c5fadd rdi, 328
001f3c66mov rbx, rsp
001f3c69mov rsp, [r14+64]
001f3c6dcall caml_initialize
001f3c72mov rsp, rbx
001f3c75lea rsi, [rip+0x178fbc]
001f3c7clea rdi, [rip+0x1794fd]
001f3c83add rdi, 336
001f3c8amov rbx, rsp
001f3c8dmov rsp, [r14+64]
001f3c91call caml_initialize
001f3c96mov rsp, rbx
001f3c99lea rdi, [rip+0x1794e0]
001f3ca0mov rax, [rdi+336]
001f3ca7lea rbx, [rip+0x179cc2]
001f3caemov rdx, [rdi+312]
001f3cb5sub r15, 56
001f3cb9call caml_allocN
001f3cbelea rsi, [r15+8]
001f3cc2mov [rsi-8], 6391
001f3ccalea rcx, [rip-0xfccb1]
001f3cd1mov [rsi], rcx
001f3cd4mov rcx, 0x200000000000007
001f3cdemov [rsi+8], rcx
001f3ce2lea rcx, [rip-36041]
001f3ce9mov [rsi+16], rcx
001f3cedmov [rsi+24], rbx
001f3cf1mov [rsi+32], rax
001f3cf5mov [rsi+40], rdx
001f3cf9add rdi, 344
001f3d00mov rbx, rsp
001f3d03mov rsp, [r14+64]
001f3d07call caml_initialize
001f3d0cmov rsp, rbx
001f3d0flea rsi, [rip+0x178f3a]
001f3d16lea rdi, [rip+0x179463]
001f3d1dadd rdi, 352
001f3d24mov rbx, rsp
001f3d27mov rsp, [r14+64]
001f3d2bcall caml_initialize
001f3d30mov rsp, rbx
001f3d33lea rdi, [rip+0x179446]
001f3d3amov rax, [rdi+352]
001f3d41lea rbx, [rip+0x179c10]
001f3d48mov rdx, [rdi+312]
001f3d4fsub r15, 56
001f3d53call caml_allocN
001f3d58lea rsi, [r15+8]
001f3d5cmov [rsi-8], 6391
001f3d64lea rcx, [rip-0xfcd4b]
001f3d6bmov [rsi], rcx
001f3d6emov rcx, 0x200000000000007
001f3d78mov [rsi+8], rcx
001f3d7clea rcx, [rip-36115]
001f3d83mov [rsi+16], rcx
001f3d87mov [rsi+24], rbx
001f3d8bmov [rsi+32], rax
001f3d8fmov [rsi+40], rdx
001f3d93add rdi, 360
001f3d9amov rbx, rsp
001f3d9dmov rsp, [r14+64]
001f3da1call caml_initialize
001f3da6mov rsp, rbx
001f3da9lea rdi, [rip+0x1793d0]
001f3db0mov rsi, [rdi+296]
001f3db7add rdi, 368
001f3dbemov rbx, rsp
001f3dc1mov rsp, [r14+64]
001f3dc5call caml_initialize
001f3dcamov rsp, rbx
001f3dcdlea rsi, [rip+0x178e94]
001f3dd4lea rdi, [rip+0x1793a5]
001f3ddbadd rdi, 376
001f3de2mov rbx, rsp
001f3de5mov rsp, [r14+64]
001f3de9call caml_initialize
001f3deemov rsp, rbx
001f3df1lea rsi, [rip+0x178e90]
001f3df8lea rdi, [rip+0x179381]
001f3dffadd rdi, 384
001f3e06mov rbx, rsp
001f3e09mov rsp, [r14+64]
001f3e0dcall caml_initialize
001f3e12mov rsp, rbx
001f3e15lea rsi, [rip+0x178e8c]
001f3e1clea rdi, [rip+0x17935d]
001f3e23add rdi, 392
001f3e2amov rbx, rsp
001f3e2dmov rsp, [r14+64]
001f3e31call caml_initialize
001f3e36mov rsp, rbx
001f3e39lea rsi, [rip+0x178e88]
001f3e40lea rdi, [rip+0x179339]
001f3e47add rdi, 400
001f3e4emov rbx, rsp
001f3e51mov rsp, [r14+64]
001f3e55call caml_initialize
001f3e5amov rsp, rbx
001f3e5dlea rsi, [rip+0x178e84]
001f3e64lea rdi, [rip+0x179315]
001f3e6badd rdi, 408
001f3e72mov rbx, rsp
001f3e75mov rsp, [r14+64]
001f3e79call caml_initialize
001f3e7emov rsp, rbx
001f3e81lea rsi, [rip+0x178e80]
001f3e88lea rdi, [rip+0x1792f1]
001f3e8fadd rdi, 416
001f3e96mov rbx, rsp
001f3e99mov rsp, [r14+64]
001f3e9dcall caml_initialize
001f3ea2mov rsp, rbx
001f3ea5lea rsi, [rip+0x178e7c]
001f3eaclea rdi, [rip+0x1792cd]
001f3eb3add rdi, 424
001f3ebamov rbx, rsp
001f3ebdmov rsp, [r14+64]
001f3ec1call caml_initialize
001f3ec6mov rsp, rbx
001f3ec9lea rsi, [rip+0x178e78]
001f3ed0lea rdi, [rip+0x1792a9]
001f3ed7add rdi, 432
001f3edemov rbx, rsp
001f3ee1mov rsp, [r14+64]
001f3ee5call caml_initialize
001f3eeamov rsp, rbx
001f3eedlea rsi, [rip+0x178e74]
001f3ef4lea rdi, [rip+0x179285]
001f3efbadd rdi, 440
001f3f02mov rbx, rsp
001f3f05mov rsp, [r14+64]
001f3f09call caml_initialize
001f3f0emov rsp, rbx
001f3f11lea rsi, [rip+0x178e70]
001f3f18lea rdi, [rip+0x179261]
001f3f1fadd rdi, 448
001f3f26mov rbx, rsp
001f3f29mov rsp, [r14+64]
001f3f2dcall caml_initialize
001f3f32mov rsp, rbx
001f3f35lea rsi, [rip+0x178e6c]
001f3f3clea rdi, [rip+0x17923d]
001f3f43add rdi, 456
001f3f4amov rbx, rsp
001f3f4dmov rsp, [r14+64]
001f3f51call caml_initialize
001f3f56mov rsp, rbx
001f3f59lea rsi, [rip+0x178e68]
001f3f60lea rdi, [rip+0x179219]
001f3f67add rdi, 464
001f3f6emov rbx, rsp
001f3f71mov rsp, [r14+64]
001f3f75call caml_initialize
001f3f7amov rsp, rbx
001f3f7dlea rsi, [rip+0x178e64]
001f3f84lea rdi, [rip+0x1791f5]
001f3f8badd rdi, 472
001f3f92mov rbx, rsp
001f3f95mov rsp, [r14+64]
001f3f99call caml_initialize
001f3f9emov rsp, rbx
001f3fa1sub r15, 40
001f3fa5call caml_allocN
001f3faalea rsi, [r15+8]
001f3faemov [rsi-8], 4343
001f3fb6lea rax, [rip-0xfd08d]
001f3fbdmov [rsi], rax
001f3fc0mov rax, 0x300000000000007
001f3fcamov [rsi+8], rax
001f3fcelea rax, [rip-24549]
001f3fd5mov [rsi+16], rax
001f3fd9mov [rsi+24], r13
001f3fddlea rdi, [rip+0x17919c]
001f3fe4add rdi, 480
001f3febmov rbx, rsp
001f3feemov rsp, [r14+64]
001f3ff2call caml_initialize
001f3ff7mov rsp, rbx
001f3ffalea rsi, [rip+0x178e07]
001f4001lea rdi, [rip+0x179178]
001f4008add rdi, 488
001f400fmov rbx, rsp
001f4012mov rsp, [r14+64]
001f4016call caml_initialize
001f401bmov rsp, rbx
001f401elea rsi, [rip+0x178e03]
001f4025lea rdi, [rip+0x179154]
001f402cadd rdi, 496
001f4033mov rbx, rsp
001f4036mov rsp, [r14+64]
001f403acall caml_initialize
001f403fmov rsp, rbx
001f4042lea rsi, [rip+0x178df7]
001f4049lea rdi, [rip+0x179130]
001f4050add rdi, 504
001f4057mov rbx, rsp
001f405amov rsp, [r14+64]
001f405ecall caml_initialize
001f4063mov rsp, rbx
001f4066lea rsi, [rip+0x178deb]
001f406dlea rdi, [rip+0x17910c]
001f4074add rdi, 512
001f407bmov rbx, rsp
001f407emov rsp, [r14+64]
001f4082call caml_initialize
001f4087mov rsp, rbx
001f408alea rsi, [rip+0x178de7]
001f4091lea rdi, [rip+0x1790e8]
001f4098add rdi, 520
001f409fmov rbx, rsp
001f40a2mov rsp, [r14+64]
001f40a6call caml_initialize
001f40abmov rsp, rbx
001f40aelea rsi, [rip+0x178ddb]
001f40b5lea rdi, [rip+0x1790c4]
001f40bcadd rdi, 528
001f40c3mov rbx, rsp
001f40c6mov rsp, [r14+64]
001f40cacall caml_initialize
001f40cfmov rsp, rbx
001f40d2lea rsi, [rip+0x178dd7]
001f40d9lea rdi, [rip+0x1790a0]
001f40e0add rdi, 536
001f40e7mov rbx, rsp
001f40eamov rsp, [r14+64]
001f40eecall caml_initialize
001f40f3mov rsp, rbx
001f40f6lea rax, [rip+0x17969b]
001f40fdlea rdi, [rip+0x17907c]
001f4104mov rbx, [rdi+536]
001f410bsub r15, 48
001f410fcall caml_allocN
001f4114lea rsi, [r15+8]
001f4118mov [rsi-8], 5367
001f4120lea rdx, [rip-0xfd107]
001f4127mov [rsi], rdx
001f412amov rdx, 0x200000000000007
001f4134mov [rsi+8], rdx
001f4138lea rdx, [rip-23023]
001f413fmov [rsi+16], rdx
001f4143mov [rsi+24], rax
001f4147mov [rsi+32], rbx
001f414badd rdi, 544
001f4152mov rbx, rsp
001f4155mov rsp, [r14+64]
001f4159call caml_initialize
001f415emov rsp, rbx
001f4161lea rax, [rip+0x179618]
001f4168lea rdi, [rip+0x179011]
001f416fmov rbx, [rdi+536]
001f4176sub r15, 48
001f417acall caml_allocN
001f417flea rsi, [r15+8]
001f4183mov [rsi-8], 5367
001f418blea rdx, [rip-0xfd172]
001f4192mov [rsi], rdx
001f4195mov rdx, 0x200000000000007
001f419fmov [rsi+8], rdx
001f41a3lea rdx, [rip-23098]
001f41aamov [rsi+16], rdx
001f41aemov [rsi+24], rax
001f41b2mov [rsi+32], rbx
001f41b6add rdi, 552
001f41bdmov rbx, rsp
001f41c0mov rsp, [r14+64]
001f41c4call caml_initialize
001f41c9mov rsp, rbx
001f41ccsub r15, 40
001f41d0call caml_allocN
001f41d5lea rsi, [r15+8]
001f41d9mov [rsi-8], 4343
001f41e1lea rax, [rip-0xfd1c8]
001f41e8mov [rsi], rax
001f41ebmov rax, 0x200000000000007
001f41f5mov [rsi+8], rax
001f41f9lea rax, [rip-23152]
001f4200mov [rsi+16], rax
001f4204mov [rsi+24], r13
001f4208lea rdi, [rip+0x178f71]
001f420fadd rdi, 560
001f4216mov rbx, rsp
001f4219mov rsp, [r14+64]
001f421dcall caml_initialize
001f4222mov rsp, rbx
001f4225sub r15, 40
001f4229call caml_allocN
001f422elea rsi, [r15+8]
001f4232mov [rsi-8], 4343
001f423alea rax, [rip-0xfd221]
001f4241mov [rsi], rax
001f4244mov rax, 0x200000000000007
001f424emov [rsi+8], rax
001f4252lea rax, [rip-21673]
001f4259mov [rsi+16], rax
001f425dmov [rsi+24], r13
001f4261lea rdi, [rip+0x178f18]
001f4268add rdi, 568
001f426fmov rbx, rsp
001f4272mov rsp, [r14+64]
001f4276call caml_initialize
001f427bmov rsp, rbx
001f427esub r15, 40
001f4282call caml_allocN
001f4287lea rsi, [r15+8]
001f428bmov [rsi-8], 4343
001f4293lea rax, [rip-0xfd27a]
001f429amov [rsi], rax
001f429dmov rax, 0x200000000000007
001f42a7mov [rsi+8], rax
001f42ablea rax, [rip-20738]
001f42b2mov [rsi+16], rax
001f42b6mov [rsi+24], r13
001f42balea rdi, [rip+0x178ebf]
001f42c1add rdi, 576
001f42c8mov rbx, rsp
001f42cbmov rsp, [r14+64]
001f42cfcall caml_initialize
001f42d4mov rsp, rbx
001f42d7lea rsi, [rip+0x178bf2]
001f42delea rdi, [rip+0x178e9b]
001f42e5add rdi, 584
001f42ecmov rbx, rsp
001f42efmov rsp, [r14+64]
001f42f3call caml_initialize
001f42f8mov rsp, rbx
001f42fbsub r15, 40
001f42ffcall caml_allocN
001f4304lea rsi, [r15+8]
001f4308mov [rsi-8], 4343
001f4310lea rax, [rip-0xfd557]
001f4317mov [rsi], rax
001f431amov rax, 0x400000000000007
001f4324mov [rsi+8], rax
001f4328lea rax, [rip-18431]
001f432fmov [rsi+16], rax
001f4333mov [rsi+24], r13
001f4337lea rdi, [rip+0x178e42]
001f433eadd rdi, 592
001f4345mov rbx, rsp
001f4348mov rsp, [r14+64]
001f434ccall caml_initialize
001f4351mov rsp, rbx
001f4354lea rsi, [rip+0x178b8d]
001f435blea rdi, [rip+0x178e1e]
001f4362add rdi, 600
001f4369mov rbx, rsp
001f436cmov rsp, [r14+64]
001f4370call caml_initialize
001f4375mov rsp, rbx
001f4378lea rsi, [rip+0x178b89]
001f437flea rdi, [rip+0x178dfa]
001f4386add rdi, 608
001f438dmov rbx, rsp
001f4390mov rsp, [r14+64]
001f4394call caml_initialize
001f4399mov rsp, rbx
001f439clea rsi, [rip+0x178b85]
001f43a3lea rdi, [rip+0x178dd6]
001f43aaadd rdi, 616
001f43b1mov rbx, rsp
001f43b4mov rsp, [r14+64]
001f43b8call caml_initialize
001f43bdmov rsp, rbx
001f43c0lea rsi, [rip+0x178b79]
001f43c7lea rdi, [rip+0x178db2]
001f43ceadd rdi, 624
001f43d5mov rbx, rsp
001f43d8mov rsp, [r14+64]
001f43dccall caml_initialize
001f43e1mov rsp, rbx
001f43e4lea r12, [rip+0x178b6d]
001f43eblea rdi, [rip+0x178d8e]
001f43f2add rdi, 632
001f43f9mov rsi, r12
001f43fcmov rbx, rsp
001f43ffmov rsp, [r14+64]
001f4403call caml_initialize
001f4408mov rsp, rbx
001f440bmov rsi, r12
001f440eadd rsi, 32
001f4412lea rdi, [rip+0x178d67]
001f4419add rdi, 640
001f4420mov rbx, rsp
001f4423mov rsp, [r14+64]
001f4427call caml_initialize
001f442cmov rsp, rbx
001f442fmov rsi, r12
001f4432add rsi, 64
001f4436lea rdi, [rip+0x178d43]
001f443dadd rdi, 648
001f4444mov rbx, rsp
001f4447mov rsp, [r14+64]
001f444bcall caml_initialize
001f4450mov rsp, rbx
001f4453lea r12, [rip+0x178b5e]
001f445alea rdi, [rip+0x178d1f]
001f4461add rdi, 656
001f4468mov rsi, r12
001f446bmov rbx, rsp
001f446emov rsp, [r14+64]
001f4472call caml_initialize
001f4477mov rsp, rbx
001f447amov rsi, r12
001f447dadd rsi, 32
001f4481lea rdi, [rip+0x178cf8]
001f4488add rdi, 664
001f448fmov rbx, rsp
001f4492mov rsp, [r14+64]
001f4496call caml_initialize
001f449bmov rsp, rbx
001f449esub r15, 40
001f44a2call caml_allocN
001f44a7lea rsi, [r15+8]
001f44abmov [rsi-8], 4343
001f44b3lea rax, [rip-0xfd6fa]
001f44bamov [rsi], rax
001f44bdmov rax, 0x400000000000007
001f44c7mov [rsi+8], rax
001f44cblea rax, [rip-7874]
001f44d2mov [rsi+16], rax
001f44d6mov [rsi+24], r13
001f44dalea rdi, [rip+0x178c9f]
001f44e1add rdi, 672
001f44e8mov rbx, rsp
001f44ebmov rsp, [r14+64]
001f44efcall caml_initialize
001f44f4mov rsp, rbx
001f44f7lea rsi, [rip+0x178afa]
001f44felea rdi, [rip+0x178c7b]
001f4505add rdi, 64
001f4509mov rbx, rsp
001f450cmov rsp, [r14+64]
001f4510call caml_initialize
001f4515mov rsp, rbx
001f4518lea rsi, [rip+0x178af9]
001f451flea rdi, [rip+0x178c5a]
001f4526add rdi, 680
001f452dmov rbx, rsp
001f4530mov rsp, [r14+64]
001f4534call caml_initialize
001f4539mov rsp, rbx
001f453clea rdi, [rip+0x178c3d]
001f4543mov rsi, [rdi+64]
001f4547add rdi, 688
001f454emov rbx, rsp
001f4551mov rsp, [r14+64]
001f4555call caml_initialize
001f455amov rsp, rbx
001f455dlea rsi, [rip+0x178ad4]
001f4564lea rdi, [rip+0x178c15]
001f456badd rdi, 16
001f456fmov rbx, rsp
001f4572mov rsp, [r14+64]
001f4576call caml_initialize
001f457bmov rsp, rbx
001f457elea rsi, [rip+0x178ad3]
001f4585lea rdi, [rip+0x178bf4]
001f458cadd rdi, 24
001f4590mov rbx, rsp
001f4593mov rsp, [r14+64]
001f4597call caml_initialize
001f459cmov rsp, rbx
001f459flea rsi, [rip+0x178ad2]
001f45a6lea rdi, [rip+0x178bd3]
001f45adadd rdi, 72
001f45b1mov rbx, rsp
001f45b4mov rsp, [r14+64]
001f45b8call caml_initialize
001f45bdmov rsp, rbx
001f45c0lea rsi, [rip+0x178ad1]
001f45c7lea rdi, [rip+0x178bb2]
001f45ceadd rdi, 32
001f45d2mov rbx, rsp
001f45d5mov rsp, [r14+64]
001f45d9call caml_initialize
001f45demov rsp, rbx
001f45e1lea rsi, [rip+0x178ad0]
001f45e8lea rdi, [rip+0x178b91]
001f45efadd rdi, 40
001f45f3mov rbx, rsp
001f45f6mov rsp, [r14+64]
001f45facall caml_initialize
001f45ffmov rsp, rbx
001f4602lea rsi, [rip+0x178acf]
001f4609lea rdi, [rip+0x178b70]
001f4610add rdi, 48
001f4614mov rbx, rsp
001f4617mov rsp, [r14+64]
001f461bcall caml_initialize
001f4620mov rsp, rbx
001f4623lea rsi, [rip+0x178ac6]
001f462alea rdi, [rip+0x178b4f]
001f4631add rdi, 56
001f4635mov rbx, rsp
001f4638mov rsp, [r14+64]
001f463ccall caml_initialize
001f4641mov rsp, rbx
001f4644lea rsi, [rip+0x178abd]
001f464blea rdi, [rip+0x178b2e]
001f4652add rdi, 80
001f4656mov rbx, rsp
001f4659mov rsp, [r14+64]
001f465dcall caml_initialize
001f4662mov rsp, rbx
001f4665lea rsi, [rip+0x178abc]
001f466clea rdi, [rip+0x178b0d]
001f4673add rdi, 88
001f4677mov rbx, rsp
001f467amov rsp, [r14+64]
001f467ecall caml_initialize
001f4683mov rsp, rbx
001f4686lea rsi, [rip+0x178abb]
001f468dlea rdi, [rip+0x178aec]
001f4694add rdi, 96
001f4698mov rbx, rsp
001f469bmov rsp, [r14+64]
001f469fcall caml_initialize
001f46a4mov rsp, rbx
001f46a7lea rsi, [rip+0x178aba]
001f46aelea rdi, [rip+0x178acb]
001f46b5add rdi, 104
001f46b9mov rbx, rsp
001f46bcmov rsp, [r14+64]
001f46c0call caml_initialize
001f46c5mov rsp, rbx
001f46c8mov eax, 1
001f46cdret
001f46ce
001f46celoc_1f46ce:
001f46cepush 33
001f46d0call caml_call_realloc_stack
001f46d5pop r10
001f46d7jmp 0x1f2f52
001f2f40
001f46dc
001f46dc // align 0x10
001f46dc // align 0x10
001f46e0
001f46e0Stdlib.Filename.generic_quote:
001f46e0lea r10, [rsp-360]
001f46e8cmp r10, [r14+40]
001f46ecjb 0x1f482d
001f46f2
001f46f2loc_1f46f2:
001f46f2sub rsp, 40
001f46f6mov [rsp+24], rax
001f46fbmov [rsp+8], rbx
001f4700mov rax, [rbx-8]
001f4704shr rax, 10
001f4708lea rax, [8*rax-1]
001f4710movzx rbx, [rbx+rax]
001f4715sub rax, rbx
001f4718lea rax, [rax+rax+1]
001f471dmov [rsp], rax
001f4721add rax, 40
001f4725call Stdlib.Buffer.create
001f472amov [rsp+32], rax
001f472fmov ebx, 79
001f4734call Stdlib.Buffer.add_char
001f4739mov eax, 1
001f473emov rbx, [rsp]
001f4742add rbx, -2
001f4746cmp rax, rbx
001f4749jg 0x1f47f2
001f474fmov [rsp+16], rbx
001f4754mov [rsp], rax
001f4758
001f4758loc_1f4758:
001f4758sar rax, 1
001f475bmov rsi, [rsp+8]
001f4760mov rbx, [rsi-8]
001f4764shr rbx, 10
001f4768lea rbx, [8*rbx-1]
001f4770movzx rdi, [rsi+rbx]
001f4775sub rbx, rdi
001f4778cmp rbx, rax
001f477bjbe 0x1f4828
001f4781movzx rax, [rsi+rax]
001f4786lea rbx, [rax+rax+1]
001f478bcmp rbx, 79
001f478fjne 0x1f47c4
001f4791mov rbx, [rsp+24]
001f4796mov rax, [rbx-8]
001f479ashr rax, 10
001f479elea rax, [8*rax-1]
001f47a6movzx rdi, [rbx+rax]
001f47absub rax, rdi
001f47aelea rsi, [rax+rax+1]
001f47b3mov edi, 1
001f47b8mov rax, [rsp+32]
001f47bdcall Stdlib.Buffer.add_substring
001f47c2jmp 0x1f47ce
001f47c4
001f47c4loc_1f47c4:
001f47c4mov rax, [rsp+32]
001f47c9call Stdlib.Buffer.add_char
001f47ce
001f47celoc_1f47ce:
001f47cemov rax, [rsp]
001f47d2mov rbx, rax
001f47d5add rax, 2
001f47d9mov [rsp], rax
001f47ddmov rdi, [rsp+16]
001f47e2cmp rbx, rdi
001f47e5je 0x1f47f2
001f47e7cmp r15, [r14]
001f47eaja 0x1f4758
001f47f0jmp 0x1f481e
001f47f2
001f47f2loc_1f47f2:
001f47f2mov ebx, 79
001f47f7mov rax, [rsp+32]
001f47fccall Stdlib.Buffer.add_char
001f4801mov rax, [rsp+32]
001f4806mov rdi, [rax+8]
001f480amov rax, [rax]
001f480dmov rax, [rax]
001f4810mov ebx, 1
001f4815add rsp, 40
001f4819jmp 0x1a63e0
001f481e
001f481eloc_1f481e:
001f481ecall caml_call_gc
001f4823jmp 0x1f4758
001f4828
001f4828loc_1f4828:
001f4828call caml_ml_array_bound_error
001f482d
001f482dloc_1f482d:
001f482dpush 38
001f482fcall caml_call_realloc_stack
001f4834pop r10
001f4836jmp 0x1f46f2
001f46e0
001f46e0Stdlib.Filename.generic_quote:
001f46e0lea r10, [rsp-360]
001f46e8cmp r10, [r14+40]
001f46ecjb 0x1f482d
001f46f2
001f46f2loc_1f46f2:
001f46f2sub rsp, 40
001f46f6mov [rsp+24], rax
001f46fbmov [rsp+8], rbx
001f4700mov rax, [rbx-8]
001f4704shr rax, 10
001f4708lea rax, [8*rax-1]
001f4710movzx rbx, [rbx+rax]
001f4715sub rax, rbx
001f4718lea rax, [rax+rax+1]
001f471dmov [rsp], rax
001f4721add rax, 40
001f4725call Stdlib.Buffer.create
001f472amov [rsp+32], rax
001f472fmov ebx, 79
001f4734call Stdlib.Buffer.add_char
001f4739mov eax, 1
001f473emov rbx, [rsp]
001f4742add rbx, -2
001f4746cmp rax, rbx
001f4749jg 0x1f47f2
001f474fmov [rsp+16], rbx
001f4754mov [rsp], rax
001f4758
001f4758loc_1f4758:
001f4758sar rax, 1
001f475bmov rsi, [rsp+8]
001f4760mov rbx, [rsi-8]
001f4764shr rbx, 10
001f4768lea rbx, [8*rbx-1]
001f4770movzx rdi, [rsi+rbx]
001f4775sub rbx, rdi
001f4778cmp rbx, rax
001f477bjbe 0x1f4828
001f4781movzx rax, [rsi+rax]
001f4786lea rbx, [rax+rax+1]
001f478bcmp rbx, 79
001f478fjne 0x1f47c4
001f4791mov rbx, [rsp+24]
001f4796mov rax, [rbx-8]
001f479ashr rax, 10
001f479elea rax, [8*rax-1]
001f47a6movzx rdi, [rbx+rax]
001f47absub rax, rdi
001f47aelea rsi, [rax+rax+1]
001f47b3mov edi, 1
001f47b8mov rax, [rsp+32]
001f47bdcall Stdlib.Buffer.add_substring
001f47c2jmp 0x1f47ce
001f47c4
001f47c4loc_1f47c4:
001f47c4mov rax, [rsp+32]
001f47c9call Stdlib.Buffer.add_char
001f47ce
001f47celoc_1f47ce:
001f47cemov rax, [rsp]
001f47d2mov rbx, rax
001f47d5add rax, 2
001f47d9mov [rsp], rax
001f47ddmov rdi, [rsp+16]
001f47e2cmp rbx, rdi
001f47e5je 0x1f47f2
001f47e7cmp r15, [r14]
001f47eaja 0x1f4758
001f47f0jmp 0x1f481e
001f47f2
001f47f2loc_1f47f2:
001f47f2mov ebx, 79
001f47f7mov rax, [rsp+32]
001f47fccall Stdlib.Buffer.add_char
001f4801mov rax, [rsp+32]
001f4806mov rdi, [rax+8]
001f480amov rax, [rax]
001f480dmov rax, [rax]
001f4810mov ebx, 1
001f4815add rsp, 40
001f4819jmp 0x1a63e0
001f481e
001f481eloc_1f481e:
001f481ecall caml_call_gc
001f4823jmp 0x1f4758
001f4828
001f4828loc_1f4828:
001f4828call caml_ml_array_bound_error
001f482d
001f482dloc_1f482d:
001f482dpush 38
001f482fcall caml_call_realloc_stack
001f4834pop r10
001f4836jmp 0x1f46f2
001f46e0
001f483b
001f483b // align 0x10
001f483b // align 0x10
001f4840
001f4840Stdlib.Filename.generic_basename:
001f4840mov rbp, rbx
001f4843mov r13, rdi
001f4846sub r15, 72
001f484acmp r15, [r14]
001f484djb 0x1f48fe
001f4853
001f4853loc_1f4853:
001f4853lea r12, [r15+8]
001f4857mov [r12-8], 8439
001f4860lea rbx, [rip+169]
001f4867mov [r12], rbx
001f486bmov rbx, 0x10000000000000d
001f4875mov [r12+8], rbx
001f487amov [r12+16], 3321
001f4883lea rbx, [rip-0xfd86a]
001f488amov [r12+24], rbx
001f488fmov rbx, 0x200000000000007
001f4899mov [r12+32], rbx
001f489elea rbx, [rip+267]
001f48a5mov [r12+40], rbx
001f48aamov [r12+48], rax
001f48afmov [r12+56], r13
001f48b4lea rsi, [rip+0x181a25]
001f48bbmov rdi, r13
001f48bemov rbx, rsp
001f48c1mov rsp, [r14+64]
001f48c5call caml_string_equal
001f48camov rsp, rbx
001f48cdcmp rax, 1
001f48d1je 0x1f48d8
001f48d3mov rax, rbp
001f48d6ret
001f48d7
001f48d7 90 .
001f48d8
001f48d8loc_1f48d8:
001f48d8mov rax, [r13-8]
001f48dcshr rax, 10
001f48e0lea rax, [8*rax-1]
001f48e8movzx rbx, [r13+rax]
001f48eesub rax, rbx
001f48f1lea rax, [rax+rax-1]
001f48f6mov rbx, r12
001f48f9jmp 0x1f4910
001f48fe
001f48feloc_1f48fe:
001f48fecall caml_call_gc
001f4903jmp 0x1f4853
001f4840
001f4840Stdlib.Filename.generic_basename:
001f4840mov rbp, rbx
001f4843mov r13, rdi
001f4846sub r15, 72
001f484acmp r15, [r14]
001f484djb 0x1f48fe
001f4853
001f4853loc_1f4853:
001f4853lea r12, [r15+8]
001f4857mov [r12-8], 8439
001f4860lea rbx, [rip+169]
001f4867mov [r12], rbx
001f486bmov rbx, 0x10000000000000d
001f4875mov [r12+8], rbx
001f487amov [r12+16], 3321
001f4883lea rbx, [rip-0xfd86a]
001f488amov [r12+24], rbx
001f488fmov rbx, 0x200000000000007
001f4899mov [r12+32], rbx
001f489elea rbx, [rip+267]
001f48a5mov [r12+40], rbx
001f48aamov [r12+48], rax
001f48afmov [r12+56], r13
001f48b4lea rsi, [rip+0x181a25]
001f48bbmov rdi, r13
001f48bemov rbx, rsp
001f48c1mov rsp, [r14+64]
001f48c5call caml_string_equal
001f48camov rsp, rbx
001f48cdcmp rax, 1
001f48d1je 0x1f48d8
001f48d3mov rax, rbp
001f48d6ret
001f48d7
001f48d7 90 .
001f48d8
001f48d8loc_1f48d8:
001f48d8mov rax, [r13-8]
001f48dcshr rax, 10
001f48e0lea rax, [8*rax-1]
001f48e8movzx rbx, [r13+rax]
001f48eesub rax, rbx
001f48f1lea rax, [rax+rax-1]
001f48f6mov rbx, r12
001f48f9jmp 0x1f4910
001f48fe
001f48feloc_1f48fe:
001f48fecall caml_call_gc
001f4903jmp 0x1f4853
001f4840
001f4908
001f4908 // align 0x10
001f4908 // align 0x10
001f4910
001f4910Stdlib.Filename.find_end:
001f4910lea r10, [rsp-336]
001f4918cmp r10, [r14+40]
001f491cjb 0x1f499c
001f491e
001f491eloc_1f491e:
001f491esub rsp, 16
001f4922
001f4922loc_1f4922:
001f4922mov rsi, rax
001f4925cmp r15, [r14]
001f4928jbe 0x1f4995
001f492a
001f492aloc_1f492a:
001f492acmp rsi, 1
001f492ejge 0x1f4948
001f4930mov rax, [rbx+56]
001f4934mov edi, 3
001f4939mov ebx, 1
001f493ecall Stdlib.Bytes.sub
001f4943add rsp, 16
001f4947ret
001f4948
001f4948loc_1f4948:
001f4948mov [rsp+8], rbx
001f494dmov [rsp], rsi
001f4951mov rdi, [rbx+48]
001f4955mov rax, [rbx+56]
001f4959mov rbx, rsi
001f495ccall caml_apply2
001f4961cmp rax, 1
001f4965je 0x1f4978
001f4967mov rax, [rsp]
001f496badd rax, -2
001f496fmov rbx, [rsp+8]
001f4974jmp 0x1f4922
001f4976
001f4976 66 90 f.
001f4978
001f4978loc_1f4978:
001f4978mov rdi, [rsp+8]
001f497dadd rdi, 24
001f4981mov rax, [rsp]
001f4985mov rbx, rax
001f4988add rbx, 2
001f498cadd rsp, 16
001f4990jmp 0x1f49b0
001f4995
001f4995loc_1f4995:
001f4995call caml_call_gc
001f499ajmp 0x1f492a
001f499c
001f499cloc_1f499c:
001f499cpush 35
001f499ecall caml_call_realloc_stack
001f49a3pop r10
001f49a5jmp 0x1f491e
001f4910
001f4910Stdlib.Filename.find_end:
001f4910lea r10, [rsp-336]
001f4918cmp r10, [r14+40]
001f491cjb 0x1f499c
001f491e
001f491eloc_1f491e:
001f491esub rsp, 16
001f4922
001f4922loc_1f4922:
001f4922mov rsi, rax
001f4925cmp r15, [r14]
001f4928jbe 0x1f4995
001f492a
001f492aloc_1f492a:
001f492acmp rsi, 1
001f492ejge 0x1f4948
001f4930mov rax, [rbx+56]
001f4934mov edi, 3
001f4939mov ebx, 1
001f493ecall Stdlib.Bytes.sub
001f4943add rsp, 16
001f4947ret
001f4948
001f4948loc_1f4948:
001f4948mov [rsp+8], rbx
001f494dmov [rsp], rsi
001f4951mov rdi, [rbx+48]
001f4955mov rax, [rbx+56]
001f4959mov rbx, rsi
001f495ccall caml_apply2
001f4961cmp rax, 1
001f4965je 0x1f4978
001f4967mov rax, [rsp]
001f496badd rax, -2
001f496fmov rbx, [rsp+8]
001f4974jmp 0x1f4922
001f4976
001f4976 66 90 f.
001f4978
001f4978loc_1f4978:
001f4978mov rdi, [rsp+8]
001f497dadd rdi, 24
001f4981mov rax, [rsp]
001f4985mov rbx, rax
001f4988add rbx, 2
001f498cadd rsp, 16
001f4990jmp 0x1f49b0
001f4995
001f4995loc_1f4995:
001f4995call caml_call_gc
001f499ajmp 0x1f492a
001f499c
001f499cloc_1f499c:
001f499cpush 35
001f499ecall caml_call_realloc_stack
001f49a3pop r10
001f49a5jmp 0x1f491e
001f4910
001f49aa
001f49aa // align 0x10
001f49aa // align 0x10
001f49b0
001f49b0Stdlib.Filename.find_beg:
001f49b0lea r10, [rsp-344]
001f49b8cmp r10, [r14+40]
001f49bcjb 0x1f4a65
001f49c2
001f49c2loc_1f49c2:
001f49c2sub rsp, 24
001f49c6
001f49c6loc_1f49c6:
001f49c6mov rsi, rax
001f49c9mov rdx, rbx
001f49cccmp r15, [r14]
001f49cfjbe 0x1f4a5b
001f49d5
001f49d5loc_1f49d5:
001f49d5cmp rsi, 1
001f49d9jge 0x1f49f4
001f49dbmov rax, [rdi+32]
001f49dfmov ebx, 1
001f49e4mov rdi, rdx
001f49e7call Stdlib.Bytes.sub
001f49ecadd rsp, 24
001f49f0ret
001f49f1
001f49f1 0f 1f 00 ...
001f49f4
001f49f4loc_1f49f4:
001f49f4mov [rsp+16], rdi
001f49f9mov [rsp], rdx
001f49fdmov [rsp+8], rsi
001f4a02mov rdx, [rdi+24]
001f4a06mov rax, [rdi+32]
001f4a0amov rbx, rsi
001f4a0dmov rdi, rdx
001f4a10call caml_apply2
001f4a15cmp rax, 1
001f4a19je 0x1f4a44
001f4a1bmov rdi, [rsp]
001f4a1fmov rbx, [rsp+8]
001f4a24sub rdi, rbx
001f4a27dec rdi
001f4a2aadd rbx, 2
001f4a2emov rax, [rsp+16]
001f4a33mov rax, [rax+32]
001f4a37call Stdlib.Bytes.sub
001f4a3cadd rsp, 24
001f4a40ret
001f4a41
001f4a41 0f 1f 00 ...
001f4a44
001f4a44loc_1f4a44:
001f4a44mov rax, [rsp+8]
001f4a49add rax, -2
001f4a4dmov rbx, [rsp]
001f4a51mov rdi, [rsp+16]
001f4a56jmp 0x1f49c6
001f4a5b
001f4a5bloc_1f4a5b:
001f4a5bcall caml_call_gc
001f4a60jmp 0x1f49d5
001f4a65
001f4a65loc_1f4a65:
001f4a65push 36
001f4a67call caml_call_realloc_stack
001f4a6cpop r10
001f4a6ejmp 0x1f49c2
001f49b0
001f49b0Stdlib.Filename.find_beg:
001f49b0lea r10, [rsp-344]
001f49b8cmp r10, [r14+40]
001f49bcjb 0x1f4a65
001f49c2
001f49c2loc_1f49c2:
001f49c2sub rsp, 24
001f49c6
001f49c6loc_1f49c6:
001f49c6mov rsi, rax
001f49c9mov rdx, rbx
001f49cccmp r15, [r14]
001f49cfjbe 0x1f4a5b
001f49d5
001f49d5loc_1f49d5:
001f49d5cmp rsi, 1
001f49d9jge 0x1f49f4
001f49dbmov rax, [rdi+32]
001f49dfmov ebx, 1
001f49e4mov rdi, rdx
001f49e7call Stdlib.Bytes.sub
001f49ecadd rsp, 24
001f49f0ret
001f49f1
001f49f1 0f 1f 00 ...
001f49f4
001f49f4loc_1f49f4:
001f49f4mov [rsp+16], rdi
001f49f9mov [rsp], rdx
001f49fdmov [rsp+8], rsi
001f4a02mov rdx, [rdi+24]
001f4a06mov rax, [rdi+32]
001f4a0amov rbx, rsi
001f4a0dmov rdi, rdx
001f4a10call caml_apply2
001f4a15cmp rax, 1
001f4a19je 0x1f4a44
001f4a1bmov rdi, [rsp]
001f4a1fmov rbx, [rsp+8]
001f4a24sub rdi, rbx
001f4a27dec rdi
001f4a2aadd rbx, 2
001f4a2emov rax, [rsp+16]
001f4a33mov rax, [rax+32]
001f4a37call Stdlib.Bytes.sub
001f4a3cadd rsp, 24
001f4a40ret
001f4a41
001f4a41 0f 1f 00 ...
001f4a44
001f4a44loc_1f4a44:
001f4a44mov rax, [rsp+8]
001f4a49add rax, -2
001f4a4dmov rbx, [rsp]
001f4a51mov rdi, [rsp+16]
001f4a56jmp 0x1f49c6
001f4a5b
001f4a5bloc_1f4a5b:
001f4a5bcall caml_call_gc
001f4a60jmp 0x1f49d5
001f4a65
001f4a65loc_1f4a65:
001f4a65push 36
001f4a67call caml_call_realloc_stack
001f4a6cpop r10
001f4a6ejmp 0x1f49c2
001f49b0
001f4a73
001f4a73 // align 0x10
001f4a73 // align 0x10
001f4a80
001f4a80Stdlib.Filename.generic_dirname:
001f4a80mov rbp, rbx
001f4a83mov r13, rdi
001f4a86sub r15, 96
001f4a8acmp r15, [r14]
001f4a8djb 0x1f4b5a
001f4a93
001f4a93loc_1f4a93:
001f4a93lea r12, [r15+8]
001f4a97mov [r12-8], 11511
001f4aa0lea rbx, [rip+201]
001f4aa7mov [r12], rbx
001f4aabmov rbx, 0x100000000000011
001f4ab5mov [r12+8], rbx
001f4abamov [r12+16], 3321
001f4ac3lea rbx, [rip+326]
001f4acamov [r12+24], rbx
001f4acfmov rbx, 0x10000000000000b
001f4ad9mov [r12+32], rbx
001f4ademov [r12+40], 6393
001f4ae7lea rbx, [rip+434]
001f4aeemov [r12+48], rbx
001f4af3mov rbx, 0x100000000000005
001f4afdmov [r12+56], rbx
001f4b02mov [r12+64], rax
001f4b07mov [r12+72], rbp
001f4b0cmov [r12+80], r13
001f4b11lea rsi, [rip+0x1817c8]
001f4b18mov rdi, r13
001f4b1bmov rbx, rsp
001f4b1emov rsp, [r14+64]
001f4b22call caml_string_equal
001f4b27mov rsp, rbx
001f4b2acmp rax, 1
001f4b2eje 0x1f4b34
001f4b30mov rax, rbp
001f4b33ret
001f4b34
001f4b34loc_1f4b34:
001f4b34mov rax, [r13-8]
001f4b38shr rax, 10
001f4b3clea rax, [8*rax-1]
001f4b44movzx rbx, [r13+rax]
001f4b4asub rax, rbx
001f4b4dlea rax, [rax+rax-1]
001f4b52mov rbx, r12
001f4b55jmp 0x1f4b70
001f4b5a
001f4b5aloc_1f4b5a:
001f4b5acall caml_call_gc
001f4b5fjmp 0x1f4a93
001f4a80
001f4a80Stdlib.Filename.generic_dirname:
001f4a80mov rbp, rbx
001f4a83mov r13, rdi
001f4a86sub r15, 96
001f4a8acmp r15, [r14]
001f4a8djb 0x1f4b5a
001f4a93
001f4a93loc_1f4a93:
001f4a93lea r12, [r15+8]
001f4a97mov [r12-8], 11511
001f4aa0lea rbx, [rip+201]
001f4aa7mov [r12], rbx
001f4aabmov rbx, 0x100000000000011
001f4ab5mov [r12+8], rbx
001f4abamov [r12+16], 3321
001f4ac3lea rbx, [rip+326]
001f4acamov [r12+24], rbx
001f4acfmov rbx, 0x10000000000000b
001f4ad9mov [r12+32], rbx
001f4ademov [r12+40], 6393
001f4ae7lea rbx, [rip+434]
001f4aeemov [r12+48], rbx
001f4af3mov rbx, 0x100000000000005
001f4afdmov [r12+56], rbx
001f4b02mov [r12+64], rax
001f4b07mov [r12+72], rbp
001f4b0cmov [r12+80], r13
001f4b11lea rsi, [rip+0x1817c8]
001f4b18mov rdi, r13
001f4b1bmov rbx, rsp
001f4b1emov rsp, [r14+64]
001f4b22call caml_string_equal
001f4b27mov rsp, rbx
001f4b2acmp rax, 1
001f4b2eje 0x1f4b34
001f4b30mov rax, rbp
001f4b33ret
001f4b34
001f4b34loc_1f4b34:
001f4b34mov rax, [r13-8]
001f4b38shr rax, 10
001f4b3clea rax, [8*rax-1]
001f4b44movzx rbx, [r13+rax]
001f4b4asub rax, rbx
001f4b4dlea rax, [rax+rax-1]
001f4b52mov rbx, r12
001f4b55jmp 0x1f4b70
001f4b5a
001f4b5aloc_1f4b5a:
001f4b5acall caml_call_gc
001f4b5fjmp 0x1f4a93
001f4a80
001f4b64
001f4b64 // align 0x10
001f4b64 // align 0x10
001f4b70
001f4b70Stdlib.Filename.trailing_sep:
001f4b70lea r10, [rsp-336]
001f4b78cmp r10, [r14+40]
001f4b7cjb 0x1f4bf5
001f4b7e
001f4b7eloc_1f4b7e:
001f4b7esub rsp, 16
001f4b82
001f4b82loc_1f4b82:
001f4b82mov rsi, rax
001f4b85cmp r15, [r14]
001f4b88jbe 0x1f4bee
001f4b8a
001f4b8aloc_1f4b8a:
001f4b8acmp rsi, 1
001f4b8ejge 0x1f4ba8
001f4b90mov rax, [rbx+80]
001f4b94mov edi, 3
001f4b99mov ebx, 1
001f4b9ecall Stdlib.Bytes.sub
001f4ba3add rsp, 16
001f4ba7ret
001f4ba8
001f4ba8loc_1f4ba8:
001f4ba8mov [rsp+8], rbx
001f4badmov [rsp], rsi
001f4bb1mov rdi, [rbx+64]
001f4bb5mov rax, [rbx+80]
001f4bb9mov rbx, rsi
001f4bbccall caml_apply2
001f4bc1cmp rax, 1
001f4bc5je 0x1f4bd8
001f4bc7mov rax, [rsp]
001f4bcbadd rax, -2
001f4bcfmov rbx, [rsp+8]
001f4bd4jmp 0x1f4b82
001f4bd6
001f4bd6 66 90 f.
001f4bd8
001f4bd8loc_1f4bd8:
001f4bd8mov rbx, [rsp+8]
001f4bddadd rbx, 24
001f4be1mov rax, [rsp]
001f4be5add rsp, 16
001f4be9jmp 0x1f4c10
001f4bee
001f4beeloc_1f4bee:
001f4beecall caml_call_gc
001f4bf3jmp 0x1f4b8a
001f4bf5
001f4bf5loc_1f4bf5:
001f4bf5push 35
001f4bf7call caml_call_realloc_stack
001f4bfcpop r10
001f4bfejmp 0x1f4b7e
001f4b70
001f4b70Stdlib.Filename.trailing_sep:
001f4b70lea r10, [rsp-336]
001f4b78cmp r10, [r14+40]
001f4b7cjb 0x1f4bf5
001f4b7e
001f4b7eloc_1f4b7e:
001f4b7esub rsp, 16
001f4b82
001f4b82loc_1f4b82:
001f4b82mov rsi, rax
001f4b85cmp r15, [r14]
001f4b88jbe 0x1f4bee
001f4b8a
001f4b8aloc_1f4b8a:
001f4b8acmp rsi, 1
001f4b8ejge 0x1f4ba8
001f4b90mov rax, [rbx+80]
001f4b94mov edi, 3
001f4b99mov ebx, 1
001f4b9ecall Stdlib.Bytes.sub
001f4ba3add rsp, 16
001f4ba7ret
001f4ba8
001f4ba8loc_1f4ba8:
001f4ba8mov [rsp+8], rbx
001f4badmov [rsp], rsi
001f4bb1mov rdi, [rbx+64]
001f4bb5mov rax, [rbx+80]
001f4bb9mov rbx, rsi
001f4bbccall caml_apply2
001f4bc1cmp rax, 1
001f4bc5je 0x1f4bd8
001f4bc7mov rax, [rsp]
001f4bcbadd rax, -2
001f4bcfmov rbx, [rsp+8]
001f4bd4jmp 0x1f4b82
001f4bd6
001f4bd6 66 90 f.
001f4bd8
001f4bd8loc_1f4bd8:
001f4bd8mov rbx, [rsp+8]
001f4bddadd rbx, 24
001f4be1mov rax, [rsp]
001f4be5add rsp, 16
001f4be9jmp 0x1f4c10
001f4bee
001f4beeloc_1f4bee:
001f4beecall caml_call_gc
001f4bf3jmp 0x1f4b8a
001f4bf5
001f4bf5loc_1f4bf5:
001f4bf5push 35
001f4bf7call caml_call_realloc_stack
001f4bfcpop r10
001f4bfejmp 0x1f4b7e
001f4b70
001f4c03
001f4c03 // align 0x10
001f4c03 // align 0x10
001f4c10
001f4c10Stdlib.Filename.base:
001f4c10lea r10, [rsp-336]
001f4c18cmp r10, [r14+40]
001f4c1cjb 0x1f4c8a
001f4c1e
001f4c1eloc_1f4c1e:
001f4c1esub rsp, 16
001f4c22
001f4c22loc_1f4c22:
001f4c22mov rsi, rax
001f4c25cmp r15, [r14]
001f4c28jbe 0x1f4c83
001f4c2a
001f4c2aloc_1f4c2a:
001f4c2acmp rsi, 1
001f4c2ejge 0x1f4c3c
001f4c30mov rax, [rbx+48]
001f4c34add rsp, 16
001f4c38ret
001f4c39
001f4c39 0f 1f 00 ...
001f4c3c
001f4c3cloc_1f4c3c:
001f4c3cmov [rsp], rbx
001f4c40mov [rsp+8], rsi
001f4c45mov rdi, [rbx+40]
001f4c49mov rax, [rbx+56]
001f4c4dmov rbx, rsi
001f4c50call caml_apply2
001f4c55cmp rax, 1
001f4c59je 0x1f4c74
001f4c5bmov rbx, [rsp]
001f4c5fadd rbx, 24
001f4c63mov rax, [rsp+8]
001f4c68add rsp, 16
001f4c6cjmp 0x1f4ca0
001f4c71
001f4c71 0f 1f 00 ...
001f4c74
001f4c74loc_1f4c74:
001f4c74mov rax, [rsp+8]
001f4c79add rax, -2
001f4c7dmov rbx, [rsp]
001f4c81jmp 0x1f4c22
001f4c83
001f4c83loc_1f4c83:
001f4c83call caml_call_gc
001f4c88jmp 0x1f4c2a
001f4c8a
001f4c8aloc_1f4c8a:
001f4c8apush 35
001f4c8ccall caml_call_realloc_stack
001f4c91pop r10
001f4c93jmp 0x1f4c1e
001f4c10
001f4c10Stdlib.Filename.base:
001f4c10lea r10, [rsp-336]
001f4c18cmp r10, [r14+40]
001f4c1cjb 0x1f4c8a
001f4c1e
001f4c1eloc_1f4c1e:
001f4c1esub rsp, 16
001f4c22
001f4c22loc_1f4c22:
001f4c22mov rsi, rax
001f4c25cmp r15, [r14]
001f4c28jbe 0x1f4c83
001f4c2a
001f4c2aloc_1f4c2a:
001f4c2acmp rsi, 1
001f4c2ejge 0x1f4c3c
001f4c30mov rax, [rbx+48]
001f4c34add rsp, 16
001f4c38ret
001f4c39
001f4c39 0f 1f 00 ...
001f4c3c
001f4c3cloc_1f4c3c:
001f4c3cmov [rsp], rbx
001f4c40mov [rsp+8], rsi
001f4c45mov rdi, [rbx+40]
001f4c49mov rax, [rbx+56]
001f4c4dmov rbx, rsi
001f4c50call caml_apply2
001f4c55cmp rax, 1
001f4c59je 0x1f4c74
001f4c5bmov rbx, [rsp]
001f4c5fadd rbx, 24
001f4c63mov rax, [rsp+8]
001f4c68add rsp, 16
001f4c6cjmp 0x1f4ca0
001f4c71
001f4c71 0f 1f 00 ...
001f4c74
001f4c74loc_1f4c74:
001f4c74mov rax, [rsp+8]
001f4c79add rax, -2
001f4c7dmov rbx, [rsp]
001f4c81jmp 0x1f4c22
001f4c83
001f4c83loc_1f4c83:
001f4c83call caml_call_gc
001f4c88jmp 0x1f4c2a
001f4c8a
001f4c8aloc_1f4c8a:
001f4c8apush 35
001f4c8ccall caml_call_realloc_stack
001f4c91pop r10
001f4c93jmp 0x1f4c1e
001f4c10
001f4c95
001f4c95 // align 0x10
001f4c95 // align 0x10
001f4ca0
001f4ca0Stdlib.Filename.intermediate_sep:
001f4ca0lea r10, [rsp-336]
001f4ca8cmp r10, [r14+40]
001f4cacjb 0x1f4d33
001f4cb2
001f4cb2loc_1f4cb2:
001f4cb2sub rsp, 16
001f4cb6
001f4cb6loc_1f4cb6:
001f4cb6mov rsi, rax
001f4cb9cmp r15, [r14]
001f4cbcjbe 0x1f4d2c
001f4cbe
001f4cbeloc_1f4cbe:
001f4cbecmp rsi, 1
001f4cc2jge 0x1f4cdc
001f4cc4mov rax, [rbx+32]
001f4cc8mov edi, 3
001f4ccdmov ebx, 1
001f4cd2call Stdlib.Bytes.sub
001f4cd7add rsp, 16
001f4cdbret
001f4cdc
001f4cdcloc_1f4cdc:
001f4cdcmov [rsp+8], rbx
001f4ce1mov [rsp], rsi
001f4ce5mov rdi, [rbx+16]
001f4ce9mov rax, [rbx+32]
001f4cedmov rbx, rsi
001f4cf0call caml_apply2
001f4cf5cmp rax, 1
001f4cf9je 0x1f4d0c
001f4cfbmov rax, [rsp]
001f4cffadd rax, -2
001f4d03mov rbx, [rsp+8]
001f4d08jmp 0x1f4cb6
001f4d0a
001f4d0a 66 90 f.
001f4d0c
001f4d0cloc_1f4d0c:
001f4d0cmov rdi, [rsp]
001f4d10add rdi, 2
001f4d14mov rax, [rsp+8]
001f4d19mov rax, [rax+32]
001f4d1dmov ebx, 1
001f4d22call Stdlib.Bytes.sub
001f4d27add rsp, 16
001f4d2bret
001f4d2c
001f4d2cloc_1f4d2c:
001f4d2ccall caml_call_gc
001f4d31jmp 0x1f4cbe
001f4d33
001f4d33loc_1f4d33:
001f4d33push 35
001f4d35call caml_call_realloc_stack
001f4d3apop r10
001f4d3cjmp 0x1f4cb2
001f4ca0
001f4ca0Stdlib.Filename.intermediate_sep:
001f4ca0lea r10, [rsp-336]
001f4ca8cmp r10, [r14+40]
001f4cacjb 0x1f4d33
001f4cb2
001f4cb2loc_1f4cb2:
001f4cb2sub rsp, 16
001f4cb6
001f4cb6loc_1f4cb6:
001f4cb6mov rsi, rax
001f4cb9cmp r15, [r14]
001f4cbcjbe 0x1f4d2c
001f4cbe
001f4cbeloc_1f4cbe:
001f4cbecmp rsi, 1
001f4cc2jge 0x1f4cdc
001f4cc4mov rax, [rbx+32]
001f4cc8mov edi, 3
001f4ccdmov ebx, 1
001f4cd2call Stdlib.Bytes.sub
001f4cd7add rsp, 16
001f4cdbret
001f4cdc
001f4cdcloc_1f4cdc:
001f4cdcmov [rsp+8], rbx
001f4ce1mov [rsp], rsi
001f4ce5mov rdi, [rbx+16]
001f4ce9mov rax, [rbx+32]
001f4cedmov rbx, rsi
001f4cf0call caml_apply2
001f4cf5cmp rax, 1
001f4cf9je 0x1f4d0c
001f4cfbmov rax, [rsp]
001f4cffadd rax, -2
001f4d03mov rbx, [rsp+8]
001f4d08jmp 0x1f4cb6
001f4d0a
001f4d0a 66 90 f.
001f4d0c
001f4d0cloc_1f4d0c:
001f4d0cmov rdi, [rsp]
001f4d10add rdi, 2
001f4d14mov rax, [rsp+8]
001f4d19mov rax, [rax+32]
001f4d1dmov ebx, 1
001f4d22call Stdlib.Bytes.sub
001f4d27add rsp, 16
001f4d2bret
001f4d2c
001f4d2cloc_1f4d2c:
001f4d2ccall caml_call_gc
001f4d31jmp 0x1f4cbe
001f4d33
001f4d33loc_1f4d33:
001f4d33push 35
001f4d35call caml_call_realloc_stack
001f4d3apop r10
001f4d3cjmp 0x1f4cb2
001f4ca0
001f4d41
001f4d41 // align 0x10
001f4d41 // align 0x10
001f4d50
001f4d50Stdlib.Filename.is_dir_sep:
001f4d50sar rbx, 1
001f4d53mov rdi, [rax-8]
001f4d57shr rdi, 10
001f4d5blea rdi, [8*rdi-1]
001f4d63movzx rsi, [rax+rdi]
001f4d68sub rdi, rsi
001f4d6bcmp rdi, rbx
001f4d6ejbe 0x1f4d8b
001f4d70movzx rax, [rax+rbx]
001f4d75lea rax, [rax+rax+1]
001f4d7acmp rax, 95
001f4d7esete al
001f4d81movzx rax, al
001f4d85lea rax, [rax+rax+1]
001f4d8aret
001f4d8b
001f4d8bloc_1f4d8b:
001f4d8bcall caml_ml_array_bound_error
001f4d50
001f4d50Stdlib.Filename.is_dir_sep:
001f4d50sar rbx, 1
001f4d53mov rdi, [rax-8]
001f4d57shr rdi, 10
001f4d5blea rdi, [8*rdi-1]
001f4d63movzx rsi, [rax+rdi]
001f4d68sub rdi, rsi
001f4d6bcmp rdi, rbx
001f4d6ejbe 0x1f4d8b
001f4d70movzx rax, [rax+rbx]
001f4d75lea rax, [rax+rax+1]
001f4d7acmp rax, 95
001f4d7esete al
001f4d81movzx rax, al
001f4d85lea rax, [rax+rax+1]
001f4d8aret
001f4d8b
001f4d8bloc_1f4d8b:
001f4d8bcall caml_ml_array_bound_error
001f4d50
001f4d90
001f4d90Stdlib.Filename.is_relative:
001f4d90mov rbx, [rax-8]
001f4d94shr rbx, 10
001f4d98lea rbx, [8*rbx-1]
001f4da0movzx rdi, [rax+rbx]
001f4da5sub rbx, rdi
001f4da8lea rdi, [rbx+rbx+1]
001f4dadcmp rdi, 3
001f4db1jl 0x1f4dd4
001f4db3cmp rbx, 0
001f4db7jbe 0x1f4dda
001f4db9movzx rax, [rax]
001f4dbdlea rax, [rax+rax+1]
001f4dc2cmp rax, 95
001f4dc6setne al
001f4dc9movzx rax, al
001f4dcdlea rax, [rax+rax+1]
001f4dd2ret
001f4dd3
001f4dd3 90 .
001f4dd4
001f4dd4loc_1f4dd4:
001f4dd4mov eax, 3
001f4dd9ret
001f4dda
001f4ddaloc_1f4dda:
001f4ddacall caml_ml_array_bound_error
001f4d90
001f4d90Stdlib.Filename.is_relative:
001f4d90mov rbx, [rax-8]
001f4d94shr rbx, 10
001f4d98lea rbx, [8*rbx-1]
001f4da0movzx rdi, [rax+rbx]
001f4da5sub rbx, rdi
001f4da8lea rdi, [rbx+rbx+1]
001f4dadcmp rdi, 3
001f4db1jl 0x1f4dd4
001f4db3cmp rbx, 0
001f4db7jbe 0x1f4dda
001f4db9movzx rax, [rax]
001f4dbdlea rax, [rax+rax+1]
001f4dc2cmp rax, 95
001f4dc6setne al
001f4dc9movzx rax, al
001f4dcdlea rax, [rax+rax+1]
001f4dd2ret
001f4dd3
001f4dd3 90 .
001f4dd4
001f4dd4loc_1f4dd4:
001f4dd4mov eax, 3
001f4dd9ret
001f4dda
001f4ddaloc_1f4dda:
001f4ddacall caml_ml_array_bound_error
001f4d90
001f4ddf
001f4ddf // align 0x10
001f4ddf // align 0x10
001f4de0
001f4de0Stdlib.Filename.is_implicit:
001f4de0lea r10, [rsp-328]
001f4de8cmp r10, [r14+40]
001f4decjb 0x1f4eca
001f4df2
001f4df2loc_1f4df2:
001f4df2sub rsp, 8
001f4df6mov [rsp], rax
001f4dfacall Stdlib.Filename.is_relative
001f4dffcmp rax, 1
001f4e03je 0x1f4ec0
001f4e09mov rax, [rsp]
001f4e0dmov rbx, [rax-8]
001f4e11shr rbx, 10
001f4e15lea rbx, [8*rbx-1]
001f4e1dmovzx rdi, [rax+rbx]
001f4e22sub rbx, rdi
001f4e25lea rbx, [rbx+rbx+1]
001f4e2acmp rbx, 5
001f4e2ejl 0x1f4e5e
001f4e30mov edi, 5
001f4e35mov ebx, 1
001f4e3acall Stdlib.Bytes.sub
001f4e3flea rsi, [rip+0x1811fa]
001f4e46mov rdi, rax
001f4e49mov rbx, rsp
001f4e4cmov rsp, [r14+64]
001f4e50call caml_string_notequal
001f4e55mov rsp, rbx
001f4e58cmp rax, 1
001f4e5cje 0x1f4ec0
001f4e5e
001f4e5eloc_1f4e5e:
001f4e5emov rax, [rsp]
001f4e62mov rbx, [rax-8]
001f4e66shr rbx, 10
001f4e6alea rbx, [8*rbx-1]
001f4e72movzx rdi, [rax+rbx]
001f4e77sub rbx, rdi
001f4e7alea rbx, [rbx+rbx+1]
001f4e7fcmp rbx, 7
001f4e83jl 0x1f4eb4
001f4e85mov edi, 7
001f4e8amov ebx, 1
001f4e8fcall Stdlib.Bytes.sub
001f4e94lea rsi, [rip+0x181195]
001f4e9bmov rdi, rax
001f4e9emov rbx, rsp
001f4ea1mov rsp, [r14+64]
001f4ea5call caml_string_notequal
001f4eaamov rsp, rbx
001f4eadadd rsp, 8
001f4eb1ret
001f4eb2
001f4eb2 66 90 f.
001f4eb4
001f4eb4loc_1f4eb4:
001f4eb4mov eax, 3
001f4eb9add rsp, 8
001f4ebdret
001f4ebe
001f4ebe 66 90 f.
001f4ec0
001f4ec0loc_1f4ec0:
001f4ec0mov eax, 1
001f4ec5add rsp, 8
001f4ec9ret
001f4eca
001f4ecaloc_1f4eca:
001f4ecapush 34
001f4ecccall caml_call_realloc_stack
001f4ed1pop r10
001f4ed3jmp 0x1f4df2
001f4de0
001f4de0Stdlib.Filename.is_implicit:
001f4de0lea r10, [rsp-328]
001f4de8cmp r10, [r14+40]
001f4decjb 0x1f4eca
001f4df2
001f4df2loc_1f4df2:
001f4df2sub rsp, 8
001f4df6mov [rsp], rax
001f4dfacall Stdlib.Filename.is_relative
001f4dffcmp rax, 1
001f4e03je 0x1f4ec0
001f4e09mov rax, [rsp]
001f4e0dmov rbx, [rax-8]
001f4e11shr rbx, 10
001f4e15lea rbx, [8*rbx-1]
001f4e1dmovzx rdi, [rax+rbx]
001f4e22sub rbx, rdi
001f4e25lea rbx, [rbx+rbx+1]
001f4e2acmp rbx, 5
001f4e2ejl 0x1f4e5e
001f4e30mov edi, 5
001f4e35mov ebx, 1
001f4e3acall Stdlib.Bytes.sub
001f4e3flea rsi, [rip+0x1811fa]
001f4e46mov rdi, rax
001f4e49mov rbx, rsp
001f4e4cmov rsp, [r14+64]
001f4e50call caml_string_notequal
001f4e55mov rsp, rbx
001f4e58cmp rax, 1
001f4e5cje 0x1f4ec0
001f4e5e
001f4e5eloc_1f4e5e:
001f4e5emov rax, [rsp]
001f4e62mov rbx, [rax-8]
001f4e66shr rbx, 10
001f4e6alea rbx, [8*rbx-1]
001f4e72movzx rdi, [rax+rbx]
001f4e77sub rbx, rdi
001f4e7alea rbx, [rbx+rbx+1]
001f4e7fcmp rbx, 7
001f4e83jl 0x1f4eb4
001f4e85mov edi, 7
001f4e8amov ebx, 1
001f4e8fcall Stdlib.Bytes.sub
001f4e94lea rsi, [rip+0x181195]
001f4e9bmov rdi, rax
001f4e9emov rbx, rsp
001f4ea1mov rsp, [r14+64]
001f4ea5call caml_string_notequal
001f4eaamov rsp, rbx
001f4eadadd rsp, 8
001f4eb1ret
001f4eb2
001f4eb2 66 90 f.
001f4eb4
001f4eb4loc_1f4eb4:
001f4eb4mov eax, 3
001f4eb9add rsp, 8
001f4ebdret
001f4ebe
001f4ebe 66 90 f.
001f4ec0
001f4ec0loc_1f4ec0:
001f4ec0mov eax, 1
001f4ec5add rsp, 8
001f4ec9ret
001f4eca
001f4ecaloc_1f4eca:
001f4ecapush 34
001f4ecccall caml_call_realloc_stack
001f4ed1pop r10
001f4ed3jmp 0x1f4df2
001f4de0
001f4ed8
001f4ed8 // align 0x10
001f4ed8 // align 0x10
001f4ee0
001f4ee0Stdlib.Filename.check_suffix:
001f4ee0mov rdi, rax
001f4ee3mov rax, rbx
001f4ee6mov rbx, rdi
001f4ee9jmp 0x1abeb0
001f4ee0
001f4ee0Stdlib.Filename.check_suffix:
001f4ee0mov rdi, rax
001f4ee3mov rax, rbx
001f4ee6mov rbx, rdi
001f4ee9jmp 0x1abeb0
001f4ee0
001f4eee
001f4eee // align 0x10
001f4eee // align 0x10
001f4ef0
001f4ef0Stdlib.Filename.chop_suffix_opt:
001f4ef0lea r10, [rsp-352]
001f4ef8cmp r10, [r14+40]
001f4efcjb 0x1f4fe5
001f4f02
001f4f02loc_1f4f02:
001f4f02sub rsp, 32
001f4f06mov rsi, rax
001f4f09mov rax, rbx
001f4f0cmov rbx, [rsi-8]
001f4f10shr rbx, 10
001f4f14lea rbx, [8*rbx-1]
001f4f1cmovzx rdi, [rsi+rbx]
001f4f21sub rbx, rdi
001f4f24lea rdi, [rbx+rbx+1]
001f4f29mov rbx, [rax-8]
001f4f2dshr rbx, 10
001f4f31lea rbx, [8*rbx-1]
001f4f39movzx rdx, [rax+rbx]
001f4f3esub rbx, rdx
001f4f41lea rbx, [rbx+rbx+1]
001f4f46cmp rbx, rdi
001f4f49jl 0x1f4fd4
001f4f4fmov [rsp+8], rbx
001f4f54mov [rsp+16], rdi
001f4f59mov [rsp+24], rax
001f4f5emov [rsp], rsi
001f4f62sub rbx, rdi
001f4f65inc rbx
001f4f68call Stdlib.Bytes.sub
001f4f6dmov rdi, rax
001f4f70mov rsi, [rsp]
001f4f74mov rbx, rsp
001f4f77mov rsp, [r14+64]
001f4f7bcall caml_string_equal
001f4f80mov rsp, rbx
001f4f83cmp rax, 1
001f4f87je 0x1f4fc8
001f4f89mov rdi, [rsp+8]
001f4f8emov rax, [rsp+16]
001f4f93sub rdi, rax
001f4f96inc rdi
001f4f99mov ebx, 1
001f4f9emov rax, [rsp+24]
001f4fa3call Stdlib.Bytes.sub
001f4fa8sub r15, 16
001f4faccmp r15, [r14]
001f4fafjb 0x1f4fde
001f4fb1
001f4fb1loc_1f4fb1:
001f4fb1lea rbx, [r15+8]
001f4fb5mov [rbx-8], 1024
001f4fbdmov [rbx], rax
001f4fc0mov rax, rbx
001f4fc3add rsp, 32
001f4fc7ret
001f4fc8
001f4fc8loc_1f4fc8:
001f4fc8mov eax, 1
001f4fcdadd rsp, 32
001f4fd1ret
001f4fd2
001f4fd2 66 90 f.
001f4fd4
001f4fd4loc_1f4fd4:
001f4fd4mov eax, 1
001f4fd9add rsp, 32
001f4fddret
001f4fde
001f4fdeloc_1f4fde:
001f4fdecall caml_call_gc
001f4fe3jmp 0x1f4fb1
001f4fe5
001f4fe5loc_1f4fe5:
001f4fe5push 37
001f4fe7call caml_call_realloc_stack
001f4fecpop r10
001f4feejmp 0x1f4f02
001f4ef0
001f4ef0Stdlib.Filename.chop_suffix_opt:
001f4ef0lea r10, [rsp-352]
001f4ef8cmp r10, [r14+40]
001f4efcjb 0x1f4fe5
001f4f02
001f4f02loc_1f4f02:
001f4f02sub rsp, 32
001f4f06mov rsi, rax
001f4f09mov rax, rbx
001f4f0cmov rbx, [rsi-8]
001f4f10shr rbx, 10
001f4f14lea rbx, [8*rbx-1]
001f4f1cmovzx rdi, [rsi+rbx]
001f4f21sub rbx, rdi
001f4f24lea rdi, [rbx+rbx+1]
001f4f29mov rbx, [rax-8]
001f4f2dshr rbx, 10
001f4f31lea rbx, [8*rbx-1]
001f4f39movzx rdx, [rax+rbx]
001f4f3esub rbx, rdx
001f4f41lea rbx, [rbx+rbx+1]
001f4f46cmp rbx, rdi
001f4f49jl 0x1f4fd4
001f4f4fmov [rsp+8], rbx
001f4f54mov [rsp+16], rdi
001f4f59mov [rsp+24], rax
001f4f5emov [rsp], rsi
001f4f62sub rbx, rdi
001f4f65inc rbx
001f4f68call Stdlib.Bytes.sub
001f4f6dmov rdi, rax
001f4f70mov rsi, [rsp]
001f4f74mov rbx, rsp
001f4f77mov rsp, [r14+64]
001f4f7bcall caml_string_equal
001f4f80mov rsp, rbx
001f4f83cmp rax, 1
001f4f87je 0x1f4fc8
001f4f89mov rdi, [rsp+8]
001f4f8emov rax, [rsp+16]
001f4f93sub rdi, rax
001f4f96inc rdi
001f4f99mov ebx, 1
001f4f9emov rax, [rsp+24]
001f4fa3call Stdlib.Bytes.sub
001f4fa8sub r15, 16
001f4faccmp r15, [r14]
001f4fafjb 0x1f4fde
001f4fb1
001f4fb1loc_1f4fb1:
001f4fb1lea rbx, [r15+8]
001f4fb5mov [rbx-8], 1024
001f4fbdmov [rbx], rax
001f4fc0mov rax, rbx
001f4fc3add rsp, 32
001f4fc7ret
001f4fc8
001f4fc8loc_1f4fc8:
001f4fc8mov eax, 1
001f4fcdadd rsp, 32
001f4fd1ret
001f4fd2
001f4fd2 66 90 f.
001f4fd4
001f4fd4loc_1f4fd4:
001f4fd4mov eax, 1
001f4fd9add rsp, 32
001f4fddret
001f4fde
001f4fdeloc_1f4fde:
001f4fdecall caml_call_gc
001f4fe3jmp 0x1f4fb1
001f4fe5
001f4fe5loc_1f4fe5:
001f4fe5push 37
001f4fe7call caml_call_realloc_stack
001f4fecpop r10
001f4feejmp 0x1f4f02
001f4ef0
001f4ff3
001f4ff3 // align 0x10
001f4ff3 // align 0x10
001f5000
001f5000Stdlib.Filename.fun:
001f5000mov rdi, rax
001f5003mov rax, [rbx+16]
001f5007mov rbx, rdi
001f500ajmp 0x1f46e0
001f5000
001f5000Stdlib.Filename.fun:
001f5000mov rdi, rax
001f5003mov rax, [rbx+16]
001f5007mov rbx, rdi
001f500ajmp 0x1f46e0
001f5000
001f500f
001f500f // align 0x10
001f500f // align 0x10
001f5010
001f5010Stdlib.Filename.quote_command:
001f5010lea r10, [rsp-368]
001f5018cmp r10, [r14+40]
001f501cjb 0x1f518c
001f5022
001f5022loc_1f5022:
001f5022sub rsp, 48
001f5026mov [rsp+24], rax
001f502bmov [rsp+16], rbx
001f5030mov rax, rdi
001f5033mov [rsp], rax
001f5037mov rdi, rsi
001f503amov [rsp+32], rdx
001f503fmov [rsp+40], rcx
001f5044test dil, 1
001f5048je 0x1f5058
001f504alea rax, [rip+0x18128f]
001f5051mov [rsp+8], rax
001f5056jmp 0x1f50ae
001f5058
001f5058loc_1f5058:
001f5058mov [rsp+8], rdi
001f505dmov rsi, rax
001f5060lea rax, [rip+47225]
001f5067call caml_c_call
001f506ccmp rax, 1
001f5070je 0x1f5080
001f5072lea rax, [rip+0x181217]
001f5079mov [rsp+8], rax
001f507ejmp 0x1f50ae
001f5080
001f5080loc_1f5080:
001f5080mov rax, [rsp+8]
001f5085mov rbx, [rax]
001f5088mov rax, [rsp+40]
001f508dmov rax, [rax+24]
001f5091mov rax, [rax+16]
001f5095call Stdlib.Filename.generic_quote
001f509amov rbx, rax
001f509dlea rax, [rip+0x1811c4]
001f50a4call camlStdlib.$5e_139
001f50a9mov [rsp+8], rax
001f50ae
001f50aeloc_1f50ae:
001f50aemov rax, [rsp]
001f50b2test al, 1
001f50b4je 0x1f50c0
001f50b6lea rax, [rip+0x181223]
001f50bdjmp 0x1f50e4
001f50bf
001f50bf 90 .
001f50c0
001f50c0loc_1f50c0:
001f50c0mov rbx, [rax]
001f50c3mov rax, [rsp+40]
001f50c8mov rax, [rax+24]
001f50ccmov rax, [rax+16]
001f50d0call Stdlib.Filename.generic_quote
001f50d5mov rbx, rax
001f50d8lea rax, [rip+0x1811c1]
001f50dfcall camlStdlib.$5e_139
001f50e4
001f50e4loc_1f50e4:
001f50e4mov rbx, [rsp+8]
001f50e9call camlStdlib.$5e_139
001f50eemov [rsp], rax
001f50f2mov rax, [rsp+16]
001f50f7test al, 1
001f50f9je 0x1f5104
001f50fblea rax, [rip+0x1811de]
001f5102jmp 0x1f5128
001f5104
001f5104loc_1f5104:
001f5104mov rbx, [rax]
001f5107mov rax, [rsp+40]
001f510cmov rax, [rax+24]
001f5110mov rax, [rax+16]
001f5114call Stdlib.Filename.generic_quote
001f5119mov rbx, rax
001f511clea rax, [rip+0x18118d]
001f5123call camlStdlib.$5e_139
001f5128
001f5128loc_1f5128:
001f5128mov rbx, [rsp]
001f512ccall camlStdlib.$5e_139
001f5131mov [rsp], rax
001f5135sub r15, 24
001f5139cmp r15, [r14]
001f513cjb 0x1f5185
001f513e
001f513eloc_1f513e:
001f513elea rbx, [r15+8]
001f5142mov [rbx-8], 2048
001f514amov rax, [rsp+24]
001f514fmov [rbx], rax
001f5152mov rax, [rsp+32]
001f5157mov [rbx+8], rax
001f515bmov rax, [rsp+40]
001f5160mov rax, [rax+24]
001f5164call Stdlib.List.map
001f5169mov rbx, rax
001f516clea rax, [rip+0x18114d]
001f5173call Stdlib.String.concat
001f5178mov rbx, [rsp]
001f517cadd rsp, 48
001f5180jmp 0x195ba0
001f5185
001f5185loc_1f5185:
001f5185call caml_call_gc
001f518ajmp 0x1f513e
001f518c
001f518cloc_1f518c:
001f518cpush 39
001f518ecall caml_call_realloc_stack
001f5193pop r10
001f5195jmp 0x1f5022
001f5010
001f5010Stdlib.Filename.quote_command:
001f5010lea r10, [rsp-368]
001f5018cmp r10, [r14+40]
001f501cjb 0x1f518c
001f5022
001f5022loc_1f5022:
001f5022sub rsp, 48
001f5026mov [rsp+24], rax
001f502bmov [rsp+16], rbx
001f5030mov rax, rdi
001f5033mov [rsp], rax
001f5037mov rdi, rsi
001f503amov [rsp+32], rdx
001f503fmov [rsp+40], rcx
001f5044test dil, 1
001f5048je 0x1f5058
001f504alea rax, [rip+0x18128f]
001f5051mov [rsp+8], rax
001f5056jmp 0x1f50ae
001f5058
001f5058loc_1f5058:
001f5058mov [rsp+8], rdi
001f505dmov rsi, rax
001f5060lea rax, [rip+47225]
001f5067call caml_c_call
001f506ccmp rax, 1
001f5070je 0x1f5080
001f5072lea rax, [rip+0x181217]
001f5079mov [rsp+8], rax
001f507ejmp 0x1f50ae
001f5080
001f5080loc_1f5080:
001f5080mov rax, [rsp+8]
001f5085mov rbx, [rax]
001f5088mov rax, [rsp+40]
001f508dmov rax, [rax+24]
001f5091mov rax, [rax+16]
001f5095call Stdlib.Filename.generic_quote
001f509amov rbx, rax
001f509dlea rax, [rip+0x1811c4]
001f50a4call camlStdlib.$5e_139
001f50a9mov [rsp+8], rax
001f50ae
001f50aeloc_1f50ae:
001f50aemov rax, [rsp]
001f50b2test al, 1
001f50b4je 0x1f50c0
001f50b6lea rax, [rip+0x181223]
001f50bdjmp 0x1f50e4
001f50bf
001f50bf 90 .
001f50c0
001f50c0loc_1f50c0:
001f50c0mov rbx, [rax]
001f50c3mov rax, [rsp+40]
001f50c8mov rax, [rax+24]
001f50ccmov rax, [rax+16]
001f50d0call Stdlib.Filename.generic_quote
001f50d5mov rbx, rax
001f50d8lea rax, [rip+0x1811c1]
001f50dfcall camlStdlib.$5e_139
001f50e4
001f50e4loc_1f50e4:
001f50e4mov rbx, [rsp+8]
001f50e9call camlStdlib.$5e_139
001f50eemov [rsp], rax
001f50f2mov rax, [rsp+16]
001f50f7test al, 1
001f50f9je 0x1f5104
001f50fblea rax, [rip+0x1811de]
001f5102jmp 0x1f5128
001f5104
001f5104loc_1f5104:
001f5104mov rbx, [rax]
001f5107mov rax, [rsp+40]
001f510cmov rax, [rax+24]
001f5110mov rax, [rax+16]
001f5114call Stdlib.Filename.generic_quote
001f5119mov rbx, rax
001f511clea rax, [rip+0x18118d]
001f5123call camlStdlib.$5e_139
001f5128
001f5128loc_1f5128:
001f5128mov rbx, [rsp]
001f512ccall camlStdlib.$5e_139
001f5131mov [rsp], rax
001f5135sub r15, 24
001f5139cmp r15, [r14]
001f513cjb 0x1f5185
001f513e
001f513eloc_1f513e:
001f513elea rbx, [r15+8]
001f5142mov [rbx-8], 2048
001f514amov rax, [rsp+24]
001f514fmov [rbx], rax
001f5152mov rax, [rsp+32]
001f5157mov [rbx+8], rax
001f515bmov rax, [rsp+40]
001f5160mov rax, [rax+24]
001f5164call Stdlib.List.map
001f5169mov rbx, rax
001f516clea rax, [rip+0x18114d]
001f5173call Stdlib.String.concat
001f5178mov rbx, [rsp]
001f517cadd rsp, 48
001f5180jmp 0x195ba0
001f5185
001f5185loc_1f5185:
001f5185call caml_call_gc
001f518ajmp 0x1f513e
001f518c
001f518cloc_1f518c:
001f518cpush 39
001f518ecall caml_call_realloc_stack
001f5193pop r10
001f5195jmp 0x1f5022
001f5010
001f519a
001f519a // align 0x10
001f519a // align 0x10
001f51a0
001f51a0Stdlib.Filename.fun:
001f51a0mov rdi, rax
001f51a3mov rsi, [rbx+24]
001f51a7mov rax, [rbx+16]
001f51abmov rbx, rsi
001f51aejmp 0x1f4840
001f51a0
001f51a0Stdlib.Filename.fun:
001f51a0mov rdi, rax
001f51a3mov rsi, [rbx+24]
001f51a7mov rax, [rbx+16]
001f51abmov rbx, rsi
001f51aejmp 0x1f4840
001f51a0
001f51b3
001f51b3 // align 0x10
001f51b3 // align 0x10
001f51c0
001f51c0Stdlib.Filename.fun:
001f51c0mov rdi, rax
001f51c3mov rsi, [rbx+24]
001f51c7mov rax, [rbx+16]
001f51cbmov rbx, rsi
001f51cejmp 0x1f4a80
001f51c0
001f51c0Stdlib.Filename.fun:
001f51c0mov rdi, rax
001f51c3mov rsi, [rbx+24]
001f51c7mov rax, [rbx+16]
001f51cbmov rbx, rsi
001f51cejmp 0x1f4a80
001f51c0
001f51d3
001f51d3 // align 0x10
001f51d3 // align 0x10
001f51e0
001f51e0Stdlib.Filename.is_dir_sep:
001f51e0sar rbx, 1
001f51e3mov rdi, [rax-8]
001f51e7shr rdi, 10
001f51eblea rdi, [8*rdi-1]
001f51f3movzx rsi, [rax+rdi]
001f51f8sub rdi, rsi
001f51fbcmp rdi, rbx
001f51fejbe 0x1f5232
001f5200movzx rax, [rax+rbx]
001f5205lea rax, [rax+rax+1]
001f520acmp rax, 95
001f520eje 0x1f522c
001f5210cmp rax, 185
001f5216je 0x1f522c
001f5218cmp rax, 117
001f521csete al
001f521fmovzx rax, al
001f5223lea rax, [rax+rax+1]
001f5228ret
001f5229
001f5229 0f 1f 00 ...
001f522c
001f522cloc_1f522c:
001f522cmov eax, 3
001f5231ret
001f5232
001f5232loc_1f5232:
001f5232call caml_ml_array_bound_error
001f51e0
001f51e0Stdlib.Filename.is_dir_sep:
001f51e0sar rbx, 1
001f51e3mov rdi, [rax-8]
001f51e7shr rdi, 10
001f51eblea rdi, [8*rdi-1]
001f51f3movzx rsi, [rax+rdi]
001f51f8sub rdi, rsi
001f51fbcmp rdi, rbx
001f51fejbe 0x1f5232
001f5200movzx rax, [rax+rbx]
001f5205lea rax, [rax+rax+1]
001f520acmp rax, 95
001f520eje 0x1f522c
001f5210cmp rax, 185
001f5216je 0x1f522c
001f5218cmp rax, 117
001f521csete al
001f521fmovzx rax, al
001f5223lea rax, [rax+rax+1]
001f5228ret
001f5229
001f5229 0f 1f 00 ...
001f522c
001f522cloc_1f522c:
001f522cmov eax, 3
001f5231ret
001f5232
001f5232loc_1f5232:
001f5232call caml_ml_array_bound_error
001f51e0
001f5237
001f5237 // align 0x10
001f5237 // align 0x10
001f5240
001f5240Stdlib.Filename.is_relative:
001f5240mov rbx, [rax-8]
001f5244shr rbx, 10
001f5248lea rbx, [8*rbx-1]
001f5250movzx rdi, [rax+rbx]
001f5255sub rbx, rdi
001f5258lea rdi, [rbx+rbx+1]
001f525dcmp rdi, 3
001f5261jl 0x1f5280
001f5263cmp rbx, 0
001f5267jbe 0x1f5318
001f526dmovzx rbx, [rax]
001f5271lea rbx, [rbx+rbx+1]
001f5276cmp rbx, 95
001f527aje 0x1f5308
001f5280
001f5280loc_1f5280:
001f5280mov rbx, [rax-8]
001f5284shr rbx, 10
001f5288lea rbx, [8*rbx-1]
001f5290movzx rdi, [rax+rbx]
001f5295sub rbx, rdi
001f5298lea rdi, [rbx+rbx+1]
001f529dcmp rdi, 3
001f52a1jl 0x1f52bb
001f52a3cmp rbx, 0
001f52a7jbe 0x1f5313
001f52a9movzx rbx, [rax]
001f52adlea rbx, [rbx+rbx+1]
001f52b2cmp rbx, 185
001f52b9je 0x1f5308
001f52bb
001f52bbloc_1f52bb:
001f52bbmov rbx, [rax-8]
001f52bfshr rbx, 10
001f52c3lea rbx, [8*rbx-1]
001f52cbmovzx rdi, [rax+rbx]
001f52d0sub rbx, rdi
001f52d3lea rdi, [rbx+rbx+1]
001f52d8cmp rdi, 5
001f52dcjl 0x1f5300
001f52decmp rbx, 1
001f52e2jbe 0x1f530e
001f52e4movzx rax, [rax+1]
001f52e9lea rax, [rax+rax+1]
001f52eecmp rax, 117
001f52f2setne al
001f52f5movzx rax, al
001f52f9lea rax, [rax+rax+1]
001f52feret
001f52ff
001f52ff 90 .
001f5300
001f5300loc_1f5300:
001f5300mov eax, 3
001f5305ret
001f5306
001f5306 66 90 f.
001f5308
001f5308loc_1f5308:
001f5308mov eax, 1
001f530dret
001f530e
001f530eloc_1f530e:
001f530ecall caml_ml_array_bound_error
001f5313
001f5313loc_1f5313:
001f5313call caml_ml_array_bound_error
001f5318
001f5318loc_1f5318:
001f5318call caml_ml_array_bound_error
001f5240
001f5240Stdlib.Filename.is_relative:
001f5240mov rbx, [rax-8]
001f5244shr rbx, 10
001f5248lea rbx, [8*rbx-1]
001f5250movzx rdi, [rax+rbx]
001f5255sub rbx, rdi
001f5258lea rdi, [rbx+rbx+1]
001f525dcmp rdi, 3
001f5261jl 0x1f5280
001f5263cmp rbx, 0
001f5267jbe 0x1f5318
001f526dmovzx rbx, [rax]
001f5271lea rbx, [rbx+rbx+1]
001f5276cmp rbx, 95
001f527aje 0x1f5308
001f5280
001f5280loc_1f5280:
001f5280mov rbx, [rax-8]
001f5284shr rbx, 10
001f5288lea rbx, [8*rbx-1]
001f5290movzx rdi, [rax+rbx]
001f5295sub rbx, rdi
001f5298lea rdi, [rbx+rbx+1]
001f529dcmp rdi, 3
001f52a1jl 0x1f52bb
001f52a3cmp rbx, 0
001f52a7jbe 0x1f5313
001f52a9movzx rbx, [rax]
001f52adlea rbx, [rbx+rbx+1]
001f52b2cmp rbx, 185
001f52b9je 0x1f5308
001f52bb
001f52bbloc_1f52bb:
001f52bbmov rbx, [rax-8]
001f52bfshr rbx, 10
001f52c3lea rbx, [8*rbx-1]
001f52cbmovzx rdi, [rax+rbx]
001f52d0sub rbx, rdi
001f52d3lea rdi, [rbx+rbx+1]
001f52d8cmp rdi, 5
001f52dcjl 0x1f5300
001f52decmp rbx, 1
001f52e2jbe 0x1f530e
001f52e4movzx rax, [rax+1]
001f52e9lea rax, [rax+rax+1]
001f52eecmp rax, 117
001f52f2setne al
001f52f5movzx rax, al
001f52f9lea rax, [rax+rax+1]
001f52feret
001f52ff
001f52ff 90 .
001f5300
001f5300loc_1f5300:
001f5300mov eax, 3
001f5305ret
001f5306
001f5306 66 90 f.
001f5308
001f5308loc_1f5308:
001f5308mov eax, 1
001f530dret
001f530e
001f530eloc_1f530e:
001f530ecall caml_ml_array_bound_error
001f5313
001f5313loc_1f5313:
001f5313call caml_ml_array_bound_error
001f5318
001f5318loc_1f5318:
001f5318call caml_ml_array_bound_error
001f5240
001f531d
001f531d // align 0x10
001f531d // align 0x10
001f5320
001f5320Stdlib.Filename.is_implicit:
001f5320lea r10, [rsp-328]
001f5328cmp r10, [r14+40]
001f532cjb 0x1f54ba
001f5332
001f5332loc_1f5332:
001f5332sub rsp, 8
001f5336mov [rsp], rax
001f533acall Stdlib.Filename.is_relative
001f533fcmp rax, 1
001f5343je 0x1f54b0
001f5349mov rax, [rsp]
001f534dmov rbx, [rax-8]
001f5351shr rbx, 10
001f5355lea rbx, [8*rbx-1]
001f535dmovzx rdi, [rax+rbx]
001f5362sub rbx, rdi
001f5365lea rbx, [rbx+rbx+1]
001f536acmp rbx, 5
001f536ejl 0x1f53a2
001f5370mov edi, 5
001f5375mov ebx, 1
001f537acall Stdlib.Bytes.sub
001f537flea rsi, [rip+0x180cba]
001f5386mov rdi, rax
001f5389mov rbx, rsp
001f538cmov rsp, [r14+64]
001f5390call caml_string_notequal
001f5395mov rsp, rbx
001f5398cmp rax, 1
001f539cje 0x1f54b0
001f53a2
001f53a2loc_1f53a2:
001f53a2mov rax, [rsp]
001f53a6mov rbx, [rax-8]
001f53aashr rbx, 10
001f53aelea rbx, [8*rbx-1]
001f53b6movzx rdi, [rax+rbx]
001f53bbsub rbx, rdi
001f53belea rbx, [rbx+rbx+1]
001f53c3cmp rbx, 5
001f53c7jl 0x1f53fb
001f53c9mov edi, 5
001f53cemov ebx, 1
001f53d3call Stdlib.Bytes.sub
001f53d8lea rsi, [rip+0x180e59]
001f53dfmov rdi, rax
001f53e2mov rbx, rsp
001f53e5mov rsp, [r14+64]
001f53e9call caml_string_notequal
001f53eemov rsp, rbx
001f53f1cmp rax, 1
001f53f5je 0x1f54b0
001f53fb
001f53fbloc_1f53fb:
001f53fbmov rax, [rsp]
001f53ffmov rbx, [rax-8]
001f5403shr rbx, 10
001f5407lea rbx, [8*rbx-1]
001f540fmovzx rdi, [rax+rbx]
001f5414sub rbx, rdi
001f5417lea rbx, [rbx+rbx+1]
001f541ccmp rbx, 7
001f5420jl 0x1f5450
001f5422mov edi, 7
001f5427mov ebx, 1
001f542ccall Stdlib.Bytes.sub
001f5431lea rsi, [rip+0x180bf8]
001f5438mov rdi, rax
001f543bmov rbx, rsp
001f543emov rsp, [r14+64]
001f5442call caml_string_notequal
001f5447mov rsp, rbx
001f544acmp rax, 1
001f544eje 0x1f54b0
001f5450
001f5450loc_1f5450:
001f5450mov rax, [rsp]
001f5454mov rbx, [rax-8]
001f5458shr rbx, 10
001f545clea rbx, [8*rbx-1]
001f5464movzx rdi, [rax+rbx]
001f5469sub rbx, rdi
001f546clea rbx, [rbx+rbx+1]
001f5471cmp rbx, 7
001f5475jl 0x1f54a4
001f5477mov edi, 7
001f547cmov ebx, 1
001f5481call Stdlib.Bytes.sub
001f5486lea rsi, [rip+0x180d9b]
001f548dmov rdi, rax
001f5490mov rbx, rsp
001f5493mov rsp, [r14+64]
001f5497call caml_string_notequal
001f549cmov rsp, rbx
001f549fadd rsp, 8
001f54a3ret
001f54a4
001f54a4loc_1f54a4:
001f54a4mov eax, 3
001f54a9add rsp, 8
001f54adret
001f54ae
001f54ae 66 90 f.
001f54b0
001f54b0loc_1f54b0:
001f54b0mov eax, 1
001f54b5add rsp, 8
001f54b9ret
001f54ba
001f54baloc_1f54ba:
001f54bapush 34
001f54bccall caml_call_realloc_stack
001f54c1pop r10
001f54c3jmp 0x1f5332
001f5320
001f5320Stdlib.Filename.is_implicit:
001f5320lea r10, [rsp-328]
001f5328cmp r10, [r14+40]
001f532cjb 0x1f54ba
001f5332
001f5332loc_1f5332:
001f5332sub rsp, 8
001f5336mov [rsp], rax
001f533acall Stdlib.Filename.is_relative
001f533fcmp rax, 1
001f5343je 0x1f54b0
001f5349mov rax, [rsp]
001f534dmov rbx, [rax-8]
001f5351shr rbx, 10
001f5355lea rbx, [8*rbx-1]
001f535dmovzx rdi, [rax+rbx]
001f5362sub rbx, rdi
001f5365lea rbx, [rbx+rbx+1]
001f536acmp rbx, 5
001f536ejl 0x1f53a2
001f5370mov edi, 5
001f5375mov ebx, 1
001f537acall Stdlib.Bytes.sub
001f537flea rsi, [rip+0x180cba]
001f5386mov rdi, rax
001f5389mov rbx, rsp
001f538cmov rsp, [r14+64]
001f5390call caml_string_notequal
001f5395mov rsp, rbx
001f5398cmp rax, 1
001f539cje 0x1f54b0
001f53a2
001f53a2loc_1f53a2:
001f53a2mov rax, [rsp]
001f53a6mov rbx, [rax-8]
001f53aashr rbx, 10
001f53aelea rbx, [8*rbx-1]
001f53b6movzx rdi, [rax+rbx]
001f53bbsub rbx, rdi
001f53belea rbx, [rbx+rbx+1]
001f53c3cmp rbx, 5
001f53c7jl 0x1f53fb
001f53c9mov edi, 5
001f53cemov ebx, 1
001f53d3call Stdlib.Bytes.sub
001f53d8lea rsi, [rip+0x180e59]
001f53dfmov rdi, rax
001f53e2mov rbx, rsp
001f53e5mov rsp, [r14+64]
001f53e9call caml_string_notequal
001f53eemov rsp, rbx
001f53f1cmp rax, 1
001f53f5je 0x1f54b0
001f53fb
001f53fbloc_1f53fb:
001f53fbmov rax, [rsp]
001f53ffmov rbx, [rax-8]
001f5403shr rbx, 10
001f5407lea rbx, [8*rbx-1]
001f540fmovzx rdi, [rax+rbx]
001f5414sub rbx, rdi
001f5417lea rbx, [rbx+rbx+1]
001f541ccmp rbx, 7
001f5420jl 0x1f5450
001f5422mov edi, 7
001f5427mov ebx, 1
001f542ccall Stdlib.Bytes.sub
001f5431lea rsi, [rip+0x180bf8]
001f5438mov rdi, rax
001f543bmov rbx, rsp
001f543emov rsp, [r14+64]
001f5442call caml_string_notequal
001f5447mov rsp, rbx
001f544acmp rax, 1
001f544eje 0x1f54b0
001f5450
001f5450loc_1f5450:
001f5450mov rax, [rsp]
001f5454mov rbx, [rax-8]
001f5458shr rbx, 10
001f545clea rbx, [8*rbx-1]
001f5464movzx rdi, [rax+rbx]
001f5469sub rbx, rdi
001f546clea rbx, [rbx+rbx+1]
001f5471cmp rbx, 7
001f5475jl 0x1f54a4
001f5477mov edi, 7
001f547cmov ebx, 1
001f5481call Stdlib.Bytes.sub
001f5486lea rsi, [rip+0x180d9b]
001f548dmov rdi, rax
001f5490mov rbx, rsp
001f5493mov rsp, [r14+64]
001f5497call caml_string_notequal
001f549cmov rsp, rbx
001f549fadd rsp, 8
001f54a3ret
001f54a4
001f54a4loc_1f54a4:
001f54a4mov eax, 3
001f54a9add rsp, 8
001f54adret
001f54ae
001f54ae 66 90 f.
001f54b0
001f54b0loc_1f54b0:
001f54b0mov eax, 1
001f54b5add rsp, 8
001f54b9ret
001f54ba
001f54baloc_1f54ba:
001f54bapush 34
001f54bccall caml_call_realloc_stack
001f54c1pop r10
001f54c3jmp 0x1f5332
001f5320
001f54c8
001f54c8 // align 0x10
001f54c8 // align 0x10
001f54d0
001f54d0Stdlib.Filename.check_suffix:
001f54d0lea r10, [rsp-336]
001f54d8cmp r10, [r14+40]
001f54dcjb 0x1f559a
001f54e2
001f54e2loc_1f54e2:
001f54e2sub rsp, 16
001f54e6mov rsi, rbx
001f54e9mov rbx, [rsi-8]
001f54edshr rbx, 10
001f54f1lea rbx, [8*rbx-1]
001f54f9movzx rdi, [rsi+rbx]
001f54femov rdx, rbx
001f5501sub rdx, rdi
001f5504lea rdi, [rdx+rdx+1]
001f5509mov rbx, [rax-8]
001f550dshr rbx, 10
001f5511lea rbx, [8*rbx-1]
001f5519movzx rcx, [rax+rbx]
001f551esub rbx, rcx
001f5521lea rcx, [rbx+rbx+1]
001f5526cmp rcx, rdi
001f5529jl 0x1f5590
001f552bmov [rsp], rsi
001f552fshl rdx, 1
001f5532shl rbx, 1
001f5535sub rbx, rdx
001f5538inc rbx
001f553bcall Stdlib.Bytes.sub
001f5540mov [rsp+8], rax
001f5545lea rax, [rip+0x13ea34]
001f554cmov rax, [rax+16]
001f5550mov rbx, [rsp]
001f5554call Stdlib.Bytes.map
001f5559mov [rsp], rax
001f555dlea rax, [rip+0x13ea1c]
001f5564mov rax, [rax+16]
001f5568mov rbx, [rsp+8]
001f556dcall Stdlib.Bytes.map
001f5572mov rdi, rax
001f5575mov rsi, [rsp]
001f5579mov rbx, rsp
001f557cmov rsp, [r14+64]
001f5580call caml_string_equal
001f5585mov rsp, rbx
001f5588add rsp, 16
001f558cret
001f558d
001f558d 0f 1f 00 ...
001f5590
001f5590loc_1f5590:
001f5590mov eax, 1
001f5595add rsp, 16
001f5599ret
001f559a
001f559aloc_1f559a:
001f559apush 35
001f559ccall caml_call_realloc_stack
001f55a1pop r10
001f55a3jmp 0x1f54e2
001f54d0
001f54d0Stdlib.Filename.check_suffix:
001f54d0lea r10, [rsp-336]
001f54d8cmp r10, [r14+40]
001f54dcjb 0x1f559a
001f54e2
001f54e2loc_1f54e2:
001f54e2sub rsp, 16
001f54e6mov rsi, rbx
001f54e9mov rbx, [rsi-8]
001f54edshr rbx, 10
001f54f1lea rbx, [8*rbx-1]
001f54f9movzx rdi, [rsi+rbx]
001f54femov rdx, rbx
001f5501sub rdx, rdi
001f5504lea rdi, [rdx+rdx+1]
001f5509mov rbx, [rax-8]
001f550dshr rbx, 10
001f5511lea rbx, [8*rbx-1]
001f5519movzx rcx, [rax+rbx]
001f551esub rbx, rcx
001f5521lea rcx, [rbx+rbx+1]
001f5526cmp rcx, rdi
001f5529jl 0x1f5590
001f552bmov [rsp], rsi
001f552fshl rdx, 1
001f5532shl rbx, 1
001f5535sub rbx, rdx
001f5538inc rbx
001f553bcall Stdlib.Bytes.sub
001f5540mov [rsp+8], rax
001f5545lea rax, [rip+0x13ea34]
001f554cmov rax, [rax+16]
001f5550mov rbx, [rsp]
001f5554call Stdlib.Bytes.map
001f5559mov [rsp], rax
001f555dlea rax, [rip+0x13ea1c]
001f5564mov rax, [rax+16]
001f5568mov rbx, [rsp+8]
001f556dcall Stdlib.Bytes.map
001f5572mov rdi, rax
001f5575mov rsi, [rsp]
001f5579mov rbx, rsp
001f557cmov rsp, [r14+64]
001f5580call caml_string_equal
001f5585mov rsp, rbx
001f5588add rsp, 16
001f558cret
001f558d
001f558d 0f 1f 00 ...
001f5590
001f5590loc_1f5590:
001f5590mov eax, 1
001f5595add rsp, 16
001f5599ret
001f559a
001f559aloc_1f559a:
001f559apush 35
001f559ccall caml_call_realloc_stack
001f55a1pop r10
001f55a3jmp 0x1f54e2
001f54d0
001f55a8
001f55a8 // align 0x10
001f55a8 // align 0x10
001f55b0
001f55b0Stdlib.Filename.chop_suffix_opt:
001f55b0lea r10, [rsp-360]
001f55b8cmp r10, [r14+40]
001f55bcjb 0x1f56d9
001f55c2
001f55c2loc_1f55c2:
001f55c2sub rsp, 40
001f55c6mov rsi, rax
001f55c9mov rax, rbx
001f55ccmov rbx, [rsi-8]
001f55d0shr rbx, 10
001f55d4lea rbx, [8*rbx-1]
001f55dcmovzx rdi, [rsi+rbx]
001f55e1sub rbx, rdi
001f55e4lea rdi, [rbx+rbx+1]
001f55e9mov rbx, [rax-8]
001f55edshr rbx, 10
001f55f1lea rbx, [8*rbx-1]
001f55f9movzx rdx, [rax+rbx]
001f55fesub rbx, rdx
001f5601lea rbx, [rbx+rbx+1]
001f5606cmp rbx, rdi
001f5609jl 0x1f56c8
001f560fmov [rsp+16], rbx
001f5614mov [rsp+24], rdi
001f5619mov [rsp+32], rax
001f561emov [rsp], rsi
001f5622sub rbx, rdi
001f5625inc rbx
001f5628call Stdlib.Bytes.sub
001f562dmov [rsp+8], rax
001f5632lea rax, [rip+0x13e947]
001f5639mov rax, [rax+16]
001f563dmov rbx, [rsp]
001f5641call Stdlib.Bytes.map
001f5646mov [rsp], rax
001f564alea rax, [rip+0x13e92f]
001f5651mov rax, [rax+16]
001f5655mov rbx, [rsp+8]
001f565acall Stdlib.Bytes.map
001f565fmov rdi, rax
001f5662mov rsi, [rsp]
001f5666mov rbx, rsp
001f5669mov rsp, [r14+64]
001f566dcall caml_string_equal
001f5672mov rsp, rbx
001f5675cmp rax, 1
001f5679je 0x1f56bc
001f567bmov rdi, [rsp+16]
001f5680mov rax, [rsp+24]
001f5685sub rdi, rax
001f5688inc rdi
001f568bmov ebx, 1
001f5690mov rax, [rsp+32]
001f5695call Stdlib.Bytes.sub
001f569asub r15, 16
001f569ecmp r15, [r14]
001f56a1jb 0x1f56d2
001f56a3
001f56a3loc_1f56a3:
001f56a3lea rbx, [r15+8]
001f56a7mov [rbx-8], 1024
001f56afmov [rbx], rax
001f56b2mov rax, rbx
001f56b5add rsp, 40
001f56b9ret
001f56ba
001f56ba 66 90 f.
001f56bc
001f56bcloc_1f56bc:
001f56bcmov eax, 1
001f56c1add rsp, 40
001f56c5ret
001f56c6
001f56c6 66 90 f.
001f56c8
001f56c8loc_1f56c8:
001f56c8mov eax, 1
001f56cdadd rsp, 40
001f56d1ret
001f56d2
001f56d2loc_1f56d2:
001f56d2call caml_call_gc
001f56d7jmp 0x1f56a3
001f56d9
001f56d9loc_1f56d9:
001f56d9push 38
001f56dbcall caml_call_realloc_stack
001f56e0pop r10
001f56e2jmp 0x1f55c2
001f55b0
001f55b0Stdlib.Filename.chop_suffix_opt:
001f55b0lea r10, [rsp-360]
001f55b8cmp r10, [r14+40]
001f55bcjb 0x1f56d9
001f55c2
001f55c2loc_1f55c2:
001f55c2sub rsp, 40
001f55c6mov rsi, rax
001f55c9mov rax, rbx
001f55ccmov rbx, [rsi-8]
001f55d0shr rbx, 10
001f55d4lea rbx, [8*rbx-1]
001f55dcmovzx rdi, [rsi+rbx]
001f55e1sub rbx, rdi
001f55e4lea rdi, [rbx+rbx+1]
001f55e9mov rbx, [rax-8]
001f55edshr rbx, 10
001f55f1lea rbx, [8*rbx-1]
001f55f9movzx rdx, [rax+rbx]
001f55fesub rbx, rdx
001f5601lea rbx, [rbx+rbx+1]
001f5606cmp rbx, rdi
001f5609jl 0x1f56c8
001f560fmov [rsp+16], rbx
001f5614mov [rsp+24], rdi
001f5619mov [rsp+32], rax
001f561emov [rsp], rsi
001f5622sub rbx, rdi
001f5625inc rbx
001f5628call Stdlib.Bytes.sub
001f562dmov [rsp+8], rax
001f5632lea rax, [rip+0x13e947]
001f5639mov rax, [rax+16]
001f563dmov rbx, [rsp]
001f5641call Stdlib.Bytes.map
001f5646mov [rsp], rax
001f564alea rax, [rip+0x13e92f]
001f5651mov rax, [rax+16]
001f5655mov rbx, [rsp+8]
001f565acall Stdlib.Bytes.map
001f565fmov rdi, rax
001f5662mov rsi, [rsp]
001f5666mov rbx, rsp
001f5669mov rsp, [r14+64]
001f566dcall caml_string_equal
001f5672mov rsp, rbx
001f5675cmp rax, 1
001f5679je 0x1f56bc
001f567bmov rdi, [rsp+16]
001f5680mov rax, [rsp+24]
001f5685sub rdi, rax
001f5688inc rdi
001f568bmov ebx, 1
001f5690mov rax, [rsp+32]
001f5695call Stdlib.Bytes.sub
001f569asub r15, 16
001f569ecmp r15, [r14]
001f56a1jb 0x1f56d2
001f56a3
001f56a3loc_1f56a3:
001f56a3lea rbx, [r15+8]
001f56a7mov [rbx-8], 1024
001f56afmov [rbx], rax
001f56b2mov rax, rbx
001f56b5add rsp, 40
001f56b9ret
001f56ba
001f56ba 66 90 f.
001f56bc
001f56bcloc_1f56bc:
001f56bcmov eax, 1
001f56c1add rsp, 40
001f56c5ret
001f56c6
001f56c6 66 90 f.
001f56c8
001f56c8loc_1f56c8:
001f56c8mov eax, 1
001f56cdadd rsp, 40
001f56d1ret
001f56d2
001f56d2loc_1f56d2:
001f56d2call caml_call_gc
001f56d7jmp 0x1f56a3
001f56d9
001f56d9loc_1f56d9:
001f56d9push 38
001f56dbcall caml_call_realloc_stack
001f56e0pop r10
001f56e2jmp 0x1f55c2
001f55b0
001f56e7
001f56e7 // align 0x10
001f56e7 // align 0x10
001f56f0
001f56f0Stdlib.Filename.quote:
001f56f0lea r10, [rsp-344]
001f56f8cmp r10, [r14+40]
001f56fcjb 0x1f580d
001f5702
001f5702loc_1f5702:
001f5702sub rsp, 24
001f5706mov [rsp], rax
001f570amov rbx, [rax-8]
001f570eshr rbx, 10
001f5712lea rbx, [8*rbx-1]
001f571amovzx rax, [rax+rbx]
001f571fsub rbx, rax
001f5722lea rax, [rbx+rbx+1]
001f5727mov [rsp+8], rax
001f572cadd rax, 40
001f5730call Stdlib.Buffer.create
001f5735mov [rsp+16], rax
001f573amov ebx, 69
001f573fcall Stdlib.Buffer.add_char
001f5744sub r15, 104
001f5748cmp r15, [r14]
001f574bjb 0x1f5803
001f5751
001f5751loc_1f5751:
001f5751lea rbx, [r15+8]
001f5755mov [rbx-8], 12535
001f575dlea rax, [rip+188]
001f5764mov [rbx], rax
001f5767mov rax, 0x100000000000013
001f5771mov [rbx+8], rax
001f5775mov [rbx+16], 3321
001f577dlea rax, [rip-0xfe764]
001f5784mov [rbx+24], rax
001f5788mov rax, 0x20000000000000d
001f5792mov [rbx+32], rax
001f5796lea rax, [rip+355]
001f579dmov [rbx+40], rax
001f57a1mov [rbx+48], 7417
001f57a9lea rax, [rip+656]
001f57b0mov [rbx+56], rax
001f57b4mov rax, 0x100000000000005
001f57bemov [rbx+64], rax
001f57c2mov rax, [rsp]
001f57c6mov [rbx+72], rax
001f57camov rax, [rsp+8]
001f57cfmov [rbx+80], rax
001f57d3mov rax, [rsp+16]
001f57d8mov [rbx+88], rax
001f57dcmov eax, 1
001f57e1call Stdlib.Filename.loop
001f57e6mov rax, [rsp+16]
001f57ebmov rdi, [rax+8]
001f57efmov rax, [rax]
001f57f2mov rax, [rax]
001f57f5mov ebx, 1
001f57faadd rsp, 24
001f57fejmp 0x1a63e0
001f5803
001f5803loc_1f5803:
001f5803call caml_call_gc
001f5808jmp 0x1f5751
001f580d
001f580dloc_1f580d:
001f580dpush 36
001f580fcall caml_call_realloc_stack
001f5814pop r10
001f5816jmp 0x1f5702
001f56f0
001f56f0Stdlib.Filename.quote:
001f56f0lea r10, [rsp-344]
001f56f8cmp r10, [r14+40]
001f56fcjb 0x1f580d
001f5702
001f5702loc_1f5702:
001f5702sub rsp, 24
001f5706mov [rsp], rax
001f570amov rbx, [rax-8]
001f570eshr rbx, 10
001f5712lea rbx, [8*rbx-1]
001f571amovzx rax, [rax+rbx]
001f571fsub rbx, rax
001f5722lea rax, [rbx+rbx+1]
001f5727mov [rsp+8], rax
001f572cadd rax, 40
001f5730call Stdlib.Buffer.create
001f5735mov [rsp+16], rax
001f573amov ebx, 69
001f573fcall Stdlib.Buffer.add_char
001f5744sub r15, 104
001f5748cmp r15, [r14]
001f574bjb 0x1f5803
001f5751
001f5751loc_1f5751:
001f5751lea rbx, [r15+8]
001f5755mov [rbx-8], 12535
001f575dlea rax, [rip+188]
001f5764mov [rbx], rax
001f5767mov rax, 0x100000000000013
001f5771mov [rbx+8], rax
001f5775mov [rbx+16], 3321
001f577dlea rax, [rip-0xfe764]
001f5784mov [rbx+24], rax
001f5788mov rax, 0x20000000000000d
001f5792mov [rbx+32], rax
001f5796lea rax, [rip+355]
001f579dmov [rbx+40], rax
001f57a1mov [rbx+48], 7417
001f57a9lea rax, [rip+656]
001f57b0mov [rbx+56], rax
001f57b4mov rax, 0x100000000000005
001f57bemov [rbx+64], rax
001f57c2mov rax, [rsp]
001f57c6mov [rbx+72], rax
001f57camov rax, [rsp+8]
001f57cfmov [rbx+80], rax
001f57d3mov rax, [rsp+16]
001f57d8mov [rbx+88], rax
001f57dcmov eax, 1
001f57e1call Stdlib.Filename.loop
001f57e6mov rax, [rsp+16]
001f57ebmov rdi, [rax+8]
001f57efmov rax, [rax]
001f57f2mov rax, [rax]
001f57f5mov ebx, 1
001f57faadd rsp, 24
001f57fejmp 0x1a63e0
001f5803
001f5803loc_1f5803:
001f5803call caml_call_gc
001f5808jmp 0x1f5751
001f580d
001f580dloc_1f580d:
001f580dpush 36
001f580fcall caml_call_realloc_stack
001f5814pop r10
001f5816jmp 0x1f5702
001f56f0
001f581b
001f581b // align 0x10
001f581b // align 0x10
001f5820
001f5820Stdlib.Filename.loop:
001f5820lea r10, [rsp-336]
001f5828cmp r10, [r14+40]
001f582cjb 0x1f58e8
001f5832
001f5832loc_1f5832:
001f5832sub rsp, 16
001f5836
001f5836loc_1f5836:
001f5836mov rsi, rax
001f5839mov rdi, rbx
001f583ccmp r15, [r14]
001f583fjbe 0x1f58d9
001f5845
001f5845loc_1f5845:
001f5845mov rax, [rdi+80]
001f5849cmp rsi, rax
001f584cjne 0x1f5860
001f584emov ebx, 69
001f5853mov rax, [rdi+88]
001f5857add rsp, 16
001f585bjmp 0x1c0b10
001f5860
001f5860loc_1f5860:
001f5860mov rax, rsi
001f5863sar rax, 1
001f5866mov rbx, [rdi+72]
001f586amov rdx, [rbx-8]
001f586eshr rdx, 10
001f5872lea rdx, [8*rdx-1]
001f587amovzx rcx, [rbx+rdx]
001f587fsub rdx, rcx
001f5882cmp rdx, rax
001f5885jbe 0x1f58e3
001f5887movzx rax, [rbx+rax]
001f588clea rbx, [rax+rax+1]
001f5891cmp rbx, 69
001f5895je 0x1f58c4
001f5897cmp rbx, 185
001f589eje 0x1f58c4
001f58a0mov [rsp+8], rdi
001f58a5mov [rsp], rsi
001f58a9mov rax, [rdi+88]
001f58adcall Stdlib.Buffer.add_char
001f58b2mov rax, [rsp]
001f58b6add rax, 2
001f58bamov rbx, [rsp+8]
001f58bfjmp 0x1f5836
001f58c4
001f58c4loc_1f58c4:
001f58c4add rdi, 24
001f58c8mov eax, 1
001f58cdmov rbx, rsi
001f58d0add rsp, 16
001f58d4jmp 0x1f5900
001f58d9
001f58d9loc_1f58d9:
001f58d9call caml_call_gc
001f58dejmp 0x1f5845
001f58e3
001f58e3loc_1f58e3:
001f58e3call caml_ml_array_bound_error
001f58e8
001f58e8loc_1f58e8:
001f58e8push 35
001f58eacall caml_call_realloc_stack
001f58efpop r10
001f58f1jmp 0x1f5832
001f5820
001f5820Stdlib.Filename.loop:
001f5820lea r10, [rsp-336]
001f5828cmp r10, [r14+40]
001f582cjb 0x1f58e8
001f5832
001f5832loc_1f5832:
001f5832sub rsp, 16
001f5836
001f5836loc_1f5836:
001f5836mov rsi, rax
001f5839mov rdi, rbx
001f583ccmp r15, [r14]
001f583fjbe 0x1f58d9
001f5845
001f5845loc_1f5845:
001f5845mov rax, [rdi+80]
001f5849cmp rsi, rax
001f584cjne 0x1f5860
001f584emov ebx, 69
001f5853mov rax, [rdi+88]
001f5857add rsp, 16
001f585bjmp 0x1c0b10
001f5860
001f5860loc_1f5860:
001f5860mov rax, rsi
001f5863sar rax, 1
001f5866mov rbx, [rdi+72]
001f586amov rdx, [rbx-8]
001f586eshr rdx, 10
001f5872lea rdx, [8*rdx-1]
001f587amovzx rcx, [rbx+rdx]
001f587fsub rdx, rcx
001f5882cmp rdx, rax
001f5885jbe 0x1f58e3
001f5887movzx rax, [rbx+rax]
001f588clea rbx, [rax+rax+1]
001f5891cmp rbx, 69
001f5895je 0x1f58c4
001f5897cmp rbx, 185
001f589eje 0x1f58c4
001f58a0mov [rsp+8], rdi
001f58a5mov [rsp], rsi
001f58a9mov rax, [rdi+88]
001f58adcall Stdlib.Buffer.add_char
001f58b2mov rax, [rsp]
001f58b6add rax, 2
001f58bamov rbx, [rsp+8]
001f58bfjmp 0x1f5836
001f58c4
001f58c4loc_1f58c4:
001f58c4add rdi, 24
001f58c8mov eax, 1
001f58cdmov rbx, rsi
001f58d0add rsp, 16
001f58d4jmp 0x1f5900
001f58d9
001f58d9loc_1f58d9:
001f58d9call caml_call_gc
001f58dejmp 0x1f5845
001f58e3
001f58e3loc_1f58e3:
001f58e3call caml_ml_array_bound_error
001f58e8
001f58e8loc_1f58e8:
001f58e8push 35
001f58eacall caml_call_realloc_stack
001f58efpop r10
001f58f1jmp 0x1f5832
001f5820
001f58f6
001f58f6 // align 0x10
001f58f6 // align 0x10
001f5900
001f5900Stdlib.Filename.loop_bs:
001f5900lea r10, [rsp-336]
001f5908cmp r10, [r14+40]
001f590cjb 0x1f5a2e
001f5912
001f5912loc_1f5912:
001f5912sub rsp, 16
001f5916
001f5916loc_1f5916:
001f5916cmp r15, [r14]
001f5919jbe 0x1f5a1f
001f591f
001f591floc_1f591f:
001f591fmov rsi, [rdi+56]
001f5923cmp rbx, rsi
001f5926jne 0x1f5958
001f5928mov [rsp+8], rdi
001f592dmov [rsp], rax
001f5931mov ebx, 69
001f5936mov rax, [rdi+64]
001f593acall Stdlib.Buffer.add_char
001f593fmov rbx, [rsp+8]
001f5944add rbx, 32
001f5948mov rax, [rsp]
001f594cadd rsp, 16
001f5950jmp 0x1f5a40
001f5955
001f5955 0f 1f 00 ...
001f5958
001f5958loc_1f5958:
001f5958mov rsi, rbx
001f595bsar rsi, 1
001f595emov rdx, [rdi+48]
001f5962mov rcx, [rdx-8]
001f5966shr rcx, 10
001f596alea rcx, [8*rcx-1]
001f5972movzx r8, [rdx+rcx]
001f5977sub rcx, r8
001f597acmp rcx, rsi
001f597djbe 0x1f5a29
001f5983movzx rsi, [rdx+rsi]
001f5988lea rsi, [rsi+rsi+1]
001f598dcmp rsi, 69
001f5991je 0x1f59d8
001f5993cmp rsi, 185
001f599aje 0x1f59c8
001f599cmov [rsp+8], rdi
001f59a1mov [rsp], rbx
001f59a5mov rbx, rdi
001f59a8add rbx, 32
001f59accall Stdlib.Filename.add_bs
001f59b1mov rbx, [rsp+8]
001f59b6add rbx, -24
001f59bamov rax, [rsp]
001f59beadd rsp, 16
001f59c2jmp 0x1f5820
001f59c7
001f59c7 90 .
001f59c8
001f59c8loc_1f59c8:
001f59c8add rbx, 2
001f59ccadd rax, 2
001f59d0jmp 0x1f5916
001f59d5
001f59d5 0f 1f 00 ...
001f59d8
001f59d8loc_1f59d8:
001f59d8mov [rsp+8], rdi
001f59ddmov [rsp], rbx
001f59e1mov rbx, rdi
001f59e4add rbx, 32
001f59e8lea rax, [rax+rax+1]
001f59edcall Stdlib.Filename.add_bs
001f59f2mov ebx, 69
001f59f7mov rax, [rsp+8]
001f59fcmov rax, [rax+64]
001f5a00call Stdlib.Buffer.add_char
001f5a05mov rbx, [rsp+8]
001f5a0aadd rbx, -24
001f5a0emov rax, [rsp]
001f5a12add rax, 2
001f5a16add rsp, 16
001f5a1ajmp 0x1f5820
001f5a1f
001f5a1floc_1f5a1f:
001f5a1fcall caml_call_gc
001f5a24jmp 0x1f591f
001f5a29
001f5a29loc_1f5a29:
001f5a29call caml_ml_array_bound_error
001f5a2e
001f5a2eloc_1f5a2e:
001f5a2epush 35
001f5a30call caml_call_realloc_stack
001f5a35pop r10
001f5a37jmp 0x1f5912
001f5900
001f5900Stdlib.Filename.loop_bs:
001f5900lea r10, [rsp-336]
001f5908cmp r10, [r14+40]
001f590cjb 0x1f5a2e
001f5912
001f5912loc_1f5912:
001f5912sub rsp, 16
001f5916
001f5916loc_1f5916:
001f5916cmp r15, [r14]
001f5919jbe 0x1f5a1f
001f591f
001f591floc_1f591f:
001f591fmov rsi, [rdi+56]
001f5923cmp rbx, rsi
001f5926jne 0x1f5958
001f5928mov [rsp+8], rdi
001f592dmov [rsp], rax
001f5931mov ebx, 69
001f5936mov rax, [rdi+64]
001f593acall Stdlib.Buffer.add_char
001f593fmov rbx, [rsp+8]
001f5944add rbx, 32
001f5948mov rax, [rsp]
001f594cadd rsp, 16
001f5950jmp 0x1f5a40
001f5955
001f5955 0f 1f 00 ...
001f5958
001f5958loc_1f5958:
001f5958mov rsi, rbx
001f595bsar rsi, 1
001f595emov rdx, [rdi+48]
001f5962mov rcx, [rdx-8]
001f5966shr rcx, 10
001f596alea rcx, [8*rcx-1]
001f5972movzx r8, [rdx+rcx]
001f5977sub rcx, r8
001f597acmp rcx, rsi
001f597djbe 0x1f5a29
001f5983movzx rsi, [rdx+rsi]
001f5988lea rsi, [rsi+rsi+1]
001f598dcmp rsi, 69
001f5991je 0x1f59d8
001f5993cmp rsi, 185
001f599aje 0x1f59c8
001f599cmov [rsp+8], rdi
001f59a1mov [rsp], rbx
001f59a5mov rbx, rdi
001f59a8add rbx, 32
001f59accall Stdlib.Filename.add_bs
001f59b1mov rbx, [rsp+8]
001f59b6add rbx, -24
001f59bamov rax, [rsp]
001f59beadd rsp, 16
001f59c2jmp 0x1f5820
001f59c7
001f59c7 90 .
001f59c8
001f59c8loc_1f59c8:
001f59c8add rbx, 2
001f59ccadd rax, 2
001f59d0jmp 0x1f5916
001f59d5
001f59d5 0f 1f 00 ...
001f59d8
001f59d8loc_1f59d8:
001f59d8mov [rsp+8], rdi
001f59ddmov [rsp], rbx
001f59e1mov rbx, rdi
001f59e4add rbx, 32
001f59e8lea rax, [rax+rax+1]
001f59edcall Stdlib.Filename.add_bs
001f59f2mov ebx, 69
001f59f7mov rax, [rsp+8]
001f59fcmov rax, [rax+64]
001f5a00call Stdlib.Buffer.add_char
001f5a05mov rbx, [rsp+8]
001f5a0aadd rbx, -24
001f5a0emov rax, [rsp]
001f5a12add rax, 2
001f5a16add rsp, 16
001f5a1ajmp 0x1f5820
001f5a1f
001f5a1floc_1f5a1f:
001f5a1fcall caml_call_gc
001f5a24jmp 0x1f591f
001f5a29
001f5a29loc_1f5a29:
001f5a29call caml_ml_array_bound_error
001f5a2e
001f5a2eloc_1f5a2e:
001f5a2epush 35
001f5a30call caml_call_realloc_stack
001f5a35pop r10
001f5a37jmp 0x1f5912
001f5900
001f5a3c
001f5a3c // align 0x10
001f5a3c // align 0x10
001f5a40
001f5a40Stdlib.Filename.add_bs:
001f5a40lea r10, [rsp-344]
001f5a48cmp r10, [r14+40]
001f5a4cjb 0x1f5aaf
001f5a4e
001f5a4eloc_1f5a4e:
001f5a4esub rsp, 24
001f5a52mov edi, 3
001f5a57cmp rdi, rax
001f5a5ajg 0x1f5a9e
001f5a5cmov [rsp+16], rax
001f5a61mov [rsp+8], rdi
001f5a66mov [rsp], rbx
001f5a6a
001f5a6aloc_1f5a6a:
001f5a6amov ebx, 185
001f5a6fmov rax, [rsp]
001f5a73mov rax, [rax+32]
001f5a77call Stdlib.Buffer.add_char
001f5a7cmov rbx, [rsp+8]
001f5a81mov rax, rbx
001f5a84add rbx, 2
001f5a88mov [rsp+8], rbx
001f5a8dmov rbx, [rsp+16]
001f5a92cmp rax, rbx
001f5a95je 0x1f5a9e
001f5a97cmp r15, [r14]
001f5a9aja 0x1f5a6a
001f5a9cjmp 0x1f5aa8
001f5a9e
001f5a9eloc_1f5a9e:
001f5a9emov eax, 1
001f5aa3add rsp, 24
001f5aa7ret
001f5aa8
001f5aa8loc_1f5aa8:
001f5aa8call caml_call_gc
001f5aadjmp 0x1f5a6a
001f5aaf
001f5aafloc_1f5aaf:
001f5aafpush 36
001f5ab1call caml_call_realloc_stack
001f5ab6pop r10
001f5ab8jmp 0x1f5a4e
001f5a40
001f5a40Stdlib.Filename.add_bs:
001f5a40lea r10, [rsp-344]
001f5a48cmp r10, [r14+40]
001f5a4cjb 0x1f5aaf
001f5a4e
001f5a4eloc_1f5a4e:
001f5a4esub rsp, 24
001f5a52mov edi, 3
001f5a57cmp rdi, rax
001f5a5ajg 0x1f5a9e
001f5a5cmov [rsp+16], rax
001f5a61mov [rsp+8], rdi
001f5a66mov [rsp], rbx
001f5a6a
001f5a6aloc_1f5a6a:
001f5a6amov ebx, 185
001f5a6fmov rax, [rsp]
001f5a73mov rax, [rax+32]
001f5a77call Stdlib.Buffer.add_char
001f5a7cmov rbx, [rsp+8]
001f5a81mov rax, rbx
001f5a84add rbx, 2
001f5a88mov [rsp+8], rbx
001f5a8dmov rbx, [rsp+16]
001f5a92cmp rax, rbx
001f5a95je 0x1f5a9e
001f5a97cmp r15, [r14]
001f5a9aja 0x1f5a6a
001f5a9cjmp 0x1f5aa8
001f5a9e
001f5a9eloc_1f5a9e:
001f5a9emov eax, 1
001f5aa3add rsp, 24
001f5aa7ret
001f5aa8
001f5aa8loc_1f5aa8:
001f5aa8call caml_call_gc
001f5aadjmp 0x1f5a6a
001f5aaf
001f5aafloc_1f5aaf:
001f5aafpush 36
001f5ab1call caml_call_realloc_stack
001f5ab6pop r10
001f5ab8jmp 0x1f5a4e
001f5a40
001f5aba
001f5aba // align 0x10
001f5aba // align 0x10
001f5ac0
001f5ac0Stdlib.Filename.quote_cmd:
001f5ac0lea r10, [rsp-336]
001f5ac8cmp r10, [r14+40]
001f5accjb 0x1f5b62
001f5ad2
001f5ad2loc_1f5ad2:
001f5ad2sub rsp, 16
001f5ad6mov [rsp], rax
001f5adamov rbx, [rax-8]
001f5adeshr rbx, 10
001f5ae2lea rbx, [8*rbx-1]
001f5aeamovzx rax, [rax+rbx]
001f5aefsub rbx, rax
001f5af2lea rax, [rbx+rbx+41]
001f5af7call Stdlib.Buffer.create
001f5afcmov [rsp+8], rax
001f5b01sub r15, 32
001f5b05cmp r15, [r14]
001f5b08jb 0x1f5b5b
001f5b0a
001f5b0aloc_1f5b0a:
001f5b0alea rbx, [r15+8]
001f5b0emov [rbx-8], 3319
001f5b16lea rdi, [rip+83]
001f5b1dmov [rbx], rdi
001f5b20mov rdi, 0x100000000000005
001f5b2amov [rbx+8], rdi
001f5b2emov [rbx+16], rax
001f5b32mov rax, rbx
001f5b35mov rbx, [rsp]
001f5b39call Stdlib.String.iter
001f5b3emov rax, [rsp+8]
001f5b43mov rdi, [rax+8]
001f5b47mov rax, [rax]
001f5b4amov rax, [rax]
001f5b4dmov ebx, 1
001f5b52add rsp, 16
001f5b56jmp 0x1a63e0
001f5b5b
001f5b5bloc_1f5b5b:
001f5b5bcall caml_call_gc
001f5b60jmp 0x1f5b0a
001f5b62
001f5b62loc_1f5b62:
001f5b62push 35
001f5b64call caml_call_realloc_stack
001f5b69pop r10
001f5b6bjmp 0x1f5ad2
001f5ac0
001f5ac0Stdlib.Filename.quote_cmd:
001f5ac0lea r10, [rsp-336]
001f5ac8cmp r10, [r14+40]
001f5accjb 0x1f5b62
001f5ad2
001f5ad2loc_1f5ad2:
001f5ad2sub rsp, 16
001f5ad6mov [rsp], rax
001f5adamov rbx, [rax-8]
001f5adeshr rbx, 10
001f5ae2lea rbx, [8*rbx-1]
001f5aeamovzx rax, [rax+rbx]
001f5aefsub rbx, rax
001f5af2lea rax, [rbx+rbx+41]
001f5af7call Stdlib.Buffer.create
001f5afcmov [rsp+8], rax
001f5b01sub r15, 32
001f5b05cmp r15, [r14]
001f5b08jb 0x1f5b5b
001f5b0a
001f5b0aloc_1f5b0a:
001f5b0alea rbx, [r15+8]
001f5b0emov [rbx-8], 3319
001f5b16lea rdi, [rip+83]
001f5b1dmov [rbx], rdi
001f5b20mov rdi, 0x100000000000005
001f5b2amov [rbx+8], rdi
001f5b2emov [rbx+16], rax
001f5b32mov rax, rbx
001f5b35mov rbx, [rsp]
001f5b39call Stdlib.String.iter
001f5b3emov rax, [rsp+8]
001f5b43mov rdi, [rax+8]
001f5b47mov rax, [rax]
001f5b4amov rax, [rax]
001f5b4dmov ebx, 1
001f5b52add rsp, 16
001f5b56jmp 0x1a63e0
001f5b5b
001f5b5bloc_1f5b5b:
001f5b5bcall caml_call_gc
001f5b60jmp 0x1f5b0a
001f5b62
001f5b62loc_1f5b62:
001f5b62push 35
001f5b64call caml_call_realloc_stack
001f5b69pop r10
001f5b6bjmp 0x1f5ad2
001f5ac0
001f5b70
001f5b70Stdlib.Filename.fun:
001f5b70lea r10, [rsp-336]
001f5b78cmp r10, [r14+40]
001f5b7cjb 0x1f5c3f
001f5b82
001f5b82loc_1f5b82:
001f5b82sub rsp, 16
001f5b86mov rdi, rax
001f5b89cmp rdi, 125
001f5b8djl 0x1f5bc4
001f5b8fmov rax, rdi
001f5b92add rax, -126
001f5b96cmp rax, 121
001f5b9ajbe 0x1f5bb0
001f5b9ccmp rax, 125
001f5ba0jge 0x1f5c08
001f5ba2mov [rsp], rbx
001f5ba6mov [rsp+8], rdi
001f5babjmp 0x1f5c18
001f5badnop [rax]
001f5bb0
001f5bb0loc_1f5bb0:
001f5bb0cmp rax, 63
001f5bb4jne 0x1f5c08
001f5bb6mov [rsp], rbx
001f5bbamov [rsp+8], rdi
001f5bbfjmp 0x1f5c18
001f5bc1nop [rax]
001f5bc4
001f5bc4loc_1f5bc4:
001f5bc4cmp rdi, 85
001f5bc8jl 0x1f5bdc
001f5bcacmp rdi, 121
001f5bcejne 0x1f5c08
001f5bd0mov [rsp], rbx
001f5bd4mov [rsp+8], rdi
001f5bd9jmp 0x1f5c18
001f5bdbnop
001f5bdc
001f5bdcloc_1f5bdc:
001f5bdccmp rdi, 67
001f5be0jl 0x1f5c08
001f5be2mov [rsp], rbx
001f5be6mov [rsp+8], rdi
001f5bebmov rax, rdi
001f5beeadd rax, -66
001f5bf2sar rax, 1
001f5bf5lea rdx, [rip+0x3908c]
001f5bfcmovsxd rax, [rdx+4*rax]
001f5c00add rdx, rax
001f5c03jmp rdx
001f5c05nop [rax]
001f5c08
001f5c08loc_1f5c08:
001f5c08mov rax, [rbx+16]
001f5c0cmov rbx, rdi
001f5c0fadd rsp, 16
001f5c13jmp 0x1c0b10
001f5c18
001f5c18loc_1f5c18:
001f5c18mov edi, 189
001f5c1dmov rax, [rbx+16]
001f5c21mov rbx, rdi
001f5c24call Stdlib.Buffer.add_char
001f5c29mov rax, [rsp]
001f5c2dmov rax, [rax+16]
001f5c31mov rbx, [rsp+8]
001f5c36add rsp, 16
001f5c3ajmp 0x1c0b10
001f5c3f
001f5c3floc_1f5c3f:
001f5c3fpush 35
001f5c41call caml_call_realloc_stack
001f5c46pop r10
001f5c48jmp 0x1f5b82
001f5b70
001f5b70Stdlib.Filename.fun:
001f5b70lea r10, [rsp-336]
001f5b78cmp r10, [r14+40]
001f5b7cjb 0x1f5c3f
001f5b82
001f5b82loc_1f5b82:
001f5b82sub rsp, 16
001f5b86mov rdi, rax
001f5b89cmp rdi, 125
001f5b8djl 0x1f5bc4
001f5b8fmov rax, rdi
001f5b92add rax, -126
001f5b96cmp rax, 121
001f5b9ajbe 0x1f5bb0
001f5b9ccmp rax, 125
001f5ba0jge 0x1f5c08
001f5ba2mov [rsp], rbx
001f5ba6mov [rsp+8], rdi
001f5babjmp 0x1f5c18
001f5badnop [rax]
001f5bb0
001f5bb0loc_1f5bb0:
001f5bb0cmp rax, 63
001f5bb4jne 0x1f5c08
001f5bb6mov [rsp], rbx
001f5bbamov [rsp+8], rdi
001f5bbfjmp 0x1f5c18
001f5bc1nop [rax]
001f5bc4
001f5bc4loc_1f5bc4:
001f5bc4cmp rdi, 85
001f5bc8jl 0x1f5bdc
001f5bcacmp rdi, 121
001f5bcejne 0x1f5c08
001f5bd0mov [rsp], rbx
001f5bd4mov [rsp+8], rdi
001f5bd9jmp 0x1f5c18
001f5bdbnop
001f5bdc
001f5bdcloc_1f5bdc:
001f5bdccmp rdi, 67
001f5be0jl 0x1f5c08
001f5be2mov [rsp], rbx
001f5be6mov [rsp+8], rdi
001f5bebmov rax, rdi
001f5beeadd rax, -66
001f5bf2sar rax, 1
001f5bf5lea rdx, [rip+0x3908c]
001f5bfcmovsxd rax, [rdx+4*rax]
001f5c00add rdx, rax
001f5c03jmp rdx
001f5c05nop [rax]
001f5c08
001f5c08loc_1f5c08:
001f5c08mov rax, [rbx+16]
001f5c0cmov rbx, rdi
001f5c0fadd rsp, 16
001f5c13jmp 0x1c0b10
001f5c18
001f5c18loc_1f5c18:
001f5c18mov edi, 189
001f5c1dmov rax, [rbx+16]
001f5c21mov rbx, rdi
001f5c24call Stdlib.Buffer.add_char
001f5c29mov rax, [rsp]
001f5c2dmov rax, [rax+16]
001f5c31mov rbx, [rsp+8]
001f5c36add rsp, 16
001f5c3ajmp 0x1c0b10
001f5c3f
001f5c3floc_1f5c3f:
001f5c3fpush 35
001f5c41call caml_call_realloc_stack
001f5c46pop r10
001f5c48jmp 0x1f5b82
001f5b70
001f5c4d
001f5c4d // align 0x10
001f5c4d // align 0x10
001f5c50
001f5c50Stdlib.Filename.quote_cmd_filename:
001f5c50lea r10, [rsp-328]
001f5c58cmp r10, [r14+40]
001f5c5cjb 0x1f5d4c
001f5c62
001f5c62loc_1f5c62:
001f5c62sub rsp, 8
001f5c66mov [rsp], rax
001f5c6amov edi, 95
001f5c6fmov ebx, 1
001f5c74call Stdlib.String.contains_from
001f5c79cmp rax, 1
001f5c7dje 0x1f5c98
001f5c7flea rax, [rip+0x17fcaa]
001f5c86mov rbx, [rsp]
001f5c8acall Stdlib.Bytes.map
001f5c8fmov rbx, rax
001f5c92mov [rsp], rbx
001f5c96jmp 0x1f5ca0
001f5c98
001f5c98loc_1f5c98:
001f5c98mov rbx, [rsp]
001f5c9cmov [rsp], rbx
001f5ca0
001f5ca0loc_1f5ca0:
001f5ca0lea rax, [rip+0x17fc71]
001f5ca7call Stdlib.Bytes.exists
001f5caccmp rax, 1
001f5cb0je 0x1f5ccc
001f5cb2lea rax, [rip+0x18052f]
001f5cb9mov rbx, [rsp]
001f5cbdcall camlStdlib.$5e_139
001f5cc2add rsp, 8
001f5cc6jmp 0x195a70
001f5ccb
001f5ccb 90 .
001f5ccc
001f5cccloc_1f5ccc:
001f5cccmov edi, 65
001f5cd1mov ebx, 1
001f5cd6mov rax, [rsp]
001f5cdacall Stdlib.String.contains_from
001f5cdfcmp rax, 1
001f5ce3je 0x1f5d3c
001f5ce5sub r15, 48
001f5ce9cmp r15, [r14]
001f5cecjb 0x1f5d45
001f5cee
001f5ceeloc_1f5cee:
001f5ceelea rax, [r15+8]
001f5cf2add rax, 24
001f5cf6mov [rax-8], 2048
001f5cfemov rbx, [rsp]
001f5d02mov [rax], rbx
001f5d05lea rbx, [rip+0x1804b4]
001f5d0cmov [rax+8], rbx
001f5d10lea rbx, [rax-24]
001f5d14mov [rbx-8], 2048
001f5d1clea rdi, [rip+0x1804b5]
001f5d23mov [rbx], rdi
001f5d26mov [rbx+8], rax
001f5d2alea rax, [rip+0x1805af]
001f5d31add rsp, 8
001f5d35jmp 0x1ab480
001f5d3a
001f5d3a 66 90 f.
001f5d3c
001f5d3cloc_1f5d3c:
001f5d3cmov rax, [rsp]
001f5d40add rsp, 8
001f5d44ret
001f5d45
001f5d45loc_1f5d45:
001f5d45call caml_call_gc
001f5d4ajmp 0x1f5cee
001f5d4c
001f5d4cloc_1f5d4c:
001f5d4cpush 34
001f5d4ecall caml_call_realloc_stack
001f5d53pop r10
001f5d55jmp 0x1f5c62
001f5c50
001f5c50Stdlib.Filename.quote_cmd_filename:
001f5c50lea r10, [rsp-328]
001f5c58cmp r10, [r14+40]
001f5c5cjb 0x1f5d4c
001f5c62
001f5c62loc_1f5c62:
001f5c62sub rsp, 8
001f5c66mov [rsp], rax
001f5c6amov edi, 95
001f5c6fmov ebx, 1
001f5c74call Stdlib.String.contains_from
001f5c79cmp rax, 1
001f5c7dje 0x1f5c98
001f5c7flea rax, [rip+0x17fcaa]
001f5c86mov rbx, [rsp]
001f5c8acall Stdlib.Bytes.map
001f5c8fmov rbx, rax
001f5c92mov [rsp], rbx
001f5c96jmp 0x1f5ca0
001f5c98
001f5c98loc_1f5c98:
001f5c98mov rbx, [rsp]
001f5c9cmov [rsp], rbx
001f5ca0
001f5ca0loc_1f5ca0:
001f5ca0lea rax, [rip+0x17fc71]
001f5ca7call Stdlib.Bytes.exists
001f5caccmp rax, 1
001f5cb0je 0x1f5ccc
001f5cb2lea rax, [rip+0x18052f]
001f5cb9mov rbx, [rsp]
001f5cbdcall camlStdlib.$5e_139
001f5cc2add rsp, 8
001f5cc6jmp 0x195a70
001f5ccb
001f5ccb 90 .
001f5ccc
001f5cccloc_1f5ccc:
001f5cccmov edi, 65
001f5cd1mov ebx, 1
001f5cd6mov rax, [rsp]
001f5cdacall Stdlib.String.contains_from
001f5cdfcmp rax, 1
001f5ce3je 0x1f5d3c
001f5ce5sub r15, 48
001f5ce9cmp r15, [r14]
001f5cecjb 0x1f5d45
001f5cee
001f5ceeloc_1f5cee:
001f5ceelea rax, [r15+8]
001f5cf2add rax, 24
001f5cf6mov [rax-8], 2048
001f5cfemov rbx, [rsp]
001f5d02mov [rax], rbx
001f5d05lea rbx, [rip+0x1804b4]
001f5d0cmov [rax+8], rbx
001f5d10lea rbx, [rax-24]
001f5d14mov [rbx-8], 2048
001f5d1clea rdi, [rip+0x1804b5]
001f5d23mov [rbx], rdi
001f5d26mov [rbx+8], rax
001f5d2alea rax, [rip+0x1805af]
001f5d31add rsp, 8
001f5d35jmp 0x1ab480
001f5d3a
001f5d3a 66 90 f.
001f5d3c
001f5d3cloc_1f5d3c:
001f5d3cmov rax, [rsp]
001f5d40add rsp, 8
001f5d44ret
001f5d45
001f5d45loc_1f5d45:
001f5d45call caml_call_gc
001f5d4ajmp 0x1f5cee
001f5d4c
001f5d4cloc_1f5d4c:
001f5d4cpush 34
001f5d4ecall caml_call_realloc_stack
001f5d53pop r10
001f5d55jmp 0x1f5c62
001f5c50
001f5d5a
001f5d5a // align 0x10
001f5d5a // align 0x10
001f5d60
001f5d60Stdlib.Filename.fun:
001f5d60cmp rax, 95
001f5d64je 0x1f5d68
001f5d66ret
001f5d67
001f5d67 90 .
001f5d68
001f5d68loc_1f5d68:
001f5d68mov eax, 185
001f5d6dret
001f5d60
001f5d60Stdlib.Filename.fun:
001f5d60cmp rax, 95
001f5d64je 0x1f5d68
001f5d66ret
001f5d67
001f5d67 90 .
001f5d68
001f5d68loc_1f5d68:
001f5d68mov eax, 185
001f5d6dret
001f5d60
001f5d6e
001f5d6e // align 0x10
001f5d6e // align 0x10
001f5d70
001f5d70Stdlib.Filename.fun:
001f5d70cmp rax, 69
001f5d74je 0x1f5d84
001f5d76cmp rax, 75
001f5d7aje 0x1f5d84
001f5d7cmov eax, 1
001f5d81ret
001f5d82
001f5d82 66 90 f.
001f5d84
001f5d84loc_1f5d84:
001f5d84mov eax, 3
001f5d89ret
001f5d70
001f5d70Stdlib.Filename.fun:
001f5d70cmp rax, 69
001f5d74je 0x1f5d84
001f5d76cmp rax, 75
001f5d7aje 0x1f5d84
001f5d7cmov eax, 1
001f5d81ret
001f5d82
001f5d82 66 90 f.
001f5d84
001f5d84loc_1f5d84:
001f5d84mov eax, 3
001f5d89ret
001f5d70
001f5d8a
001f5d8a // align 0x10
001f5d8a // align 0x10
001f5d90
001f5d90Stdlib.Filename.quote_command:
001f5d90lea r10, [rsp-360]
001f5d98cmp r10, [r14+40]
001f5d9cjb 0x1f5fde
001f5da2
001f5da2loc_1f5da2:
001f5da2sub rsp, 40
001f5da6mov [rsp+32], rax
001f5dabmov [rsp+16], rbx
001f5db0mov rax, rdi
001f5db3mov [rsp], rax
001f5db7mov rdi, rsi
001f5dbamov [rsp+24], rdx
001f5dbftest dil, 1
001f5dc3je 0x1f5dd0
001f5dc5lea rax, [rip+0x180514]
001f5dccjmp 0x1f5e10
001f5dce
001f5dce 66 90 f.
001f5dd0
001f5dd0loc_1f5dd0:
001f5dd0mov [rsp+8], rdi
001f5dd5mov rsi, rax
001f5dd8lea rax, [rip+43777]
001f5ddfcall caml_c_call
001f5de4cmp rax, 1
001f5de8je 0x1f5df4
001f5dealea rax, [rip+0x18049f]
001f5df1jmp 0x1f5e10
001f5df3
001f5df3 90 .
001f5df4
001f5df4loc_1f5df4:
001f5df4mov rax, [rsp+8]
001f5df9mov rax, [rax]
001f5dfccall Stdlib.Filename.quote_cmd_filename
001f5e01mov rbx, rax
001f5e04lea rax, [rip+0x18045d]
001f5e0bcall camlStdlib.$5e_139
001f5e10
001f5e10loc_1f5e10:
001f5e10sub r15, 24
001f5e14cmp r15, [r14]
001f5e17jb 0x1f5fd4
001f5e1d
001f5e1dloc_1f5e1d:
001f5e1dlea rbx, [r15+8]
001f5e21mov [rsp+8], rbx
001f5e26mov [rbx-8], 2048
001f5e2emov [rbx], rax
001f5e31lea rax, [rip+0x180388]
001f5e38mov [rbx+8], rax
001f5e3cmov rax, [rsp]
001f5e40test al, 1
001f5e42je 0x1f5e50
001f5e44lea rax, [rip+0x180495]
001f5e4bjmp 0x1f5e67
001f5e4d
001f5e4d 0f 1f 00 ...
001f5e50
001f5e50loc_1f5e50:
001f5e50mov rax, [rax]
001f5e53call Stdlib.Filename.quote_cmd_filename
001f5e58mov rbx, rax
001f5e5blea rax, [rip+0x18043e]
001f5e62call camlStdlib.$5e_139
001f5e67
001f5e67loc_1f5e67:
001f5e67sub r15, 24
001f5e6bcmp r15, [r14]
001f5e6ejb 0x1f5fca
001f5e74
001f5e74loc_1f5e74:
001f5e74lea rbx, [r15+8]
001f5e78mov [rsp], rbx
001f5e7cmov [rbx-8], 2048
001f5e84mov [rbx], rax
001f5e87mov rax, [rsp+8]
001f5e8cmov [rbx+8], rax
001f5e90mov rax, [rsp+16]
001f5e95test al, 1
001f5e97je 0x1f5ea4
001f5e99lea rax, [rip+0x180440]
001f5ea0jmp 0x1f5ebb
001f5ea2
001f5ea2 66 90 f.
001f5ea4
001f5ea4loc_1f5ea4:
001f5ea4mov rax, [rax]
001f5ea7call Stdlib.Filename.quote_cmd_filename
001f5eacmov rbx, rax
001f5eaflea rax, [rip+0x1803fa]
001f5eb6call camlStdlib.$5e_139
001f5ebb
001f5ebbloc_1f5ebb:
001f5ebbsub r15, 24
001f5ebfcmp r15, [r14]
001f5ec2jb 0x1f5fc0
001f5ec8
001f5ec8loc_1f5ec8:
001f5ec8lea rbx, [r15+8]
001f5eccmov [rsp+8], rbx
001f5ed1mov [rbx-8], 2048
001f5ed9mov [rbx], rax
001f5edcmov rax, [rsp]
001f5ee0mov [rbx+8], rax
001f5ee4lea rax, [rip+0x17fe85]
001f5eebmov rax, [rax+472]
001f5ef2mov rbx, [rsp+24]
001f5ef7call Stdlib.List.map
001f5efcmov rbx, rax
001f5efflea rax, [rip+0x1803ba]
001f5f06call Stdlib.String.concat
001f5f0bcall Stdlib.Filename.quote_cmd
001f5f10sub r15, 48
001f5f14cmp r15, [r14]
001f5f17jb 0x1f5fb6
001f5f1d
001f5f1dloc_1f5f1d:
001f5f1dlea rbx, [r15+8]
001f5f21add rbx, 24
001f5f25mov [rbx-8], 2048
001f5f2dmov [rbx], rax
001f5f30mov rax, [rsp+8]
001f5f35mov [rbx+8], rax
001f5f39lea rax, [rbx-24]
001f5f3dmov [rsp], rax
001f5f41mov [rax-8], 2048
001f5f49lea rdi, [rip+0x180370]
001f5f50mov [rax], rdi
001f5f53mov [rax+8], rbx
001f5f57mov rax, [rsp+32]
001f5f5ccall Stdlib.Filename.quote_cmd_filename
001f5f61sub r15, 48
001f5f65cmp r15, [r14]
001f5f68jb 0x1f5faf
001f5f6a
001f5f6aloc_1f5f6a:
001f5f6alea rdi, [r15+8]
001f5f6eadd rdi, 24
001f5f72mov [rdi-8], 2048
001f5f7amov [rdi], rax
001f5f7dmov rax, [rsp]
001f5f81mov [rdi+8], rax
001f5f85lea rbx, [rdi-24]
001f5f89mov [rbx-8], 2048
001f5f91lea rax, [rip+0x180240]
001f5f98mov [rbx], rax
001f5f9bmov [rbx+8], rdi
001f5f9flea rax, [rip+0x18033a]
001f5fa6add rsp, 40
001f5faajmp 0x1ab480
001f5faf
001f5fafloc_1f5faf:
001f5fafcall caml_call_gc
001f5fb4jmp 0x1f5f6a
001f5fb6
001f5fb6loc_1f5fb6:
001f5fb6call caml_call_gc
001f5fbbjmp 0x1f5f1d
001f5fc0
001f5fc0loc_1f5fc0:
001f5fc0call caml_call_gc
001f5fc5jmp 0x1f5ec8
001f5fca
001f5fcaloc_1f5fca:
001f5fcacall caml_call_gc
001f5fcfjmp 0x1f5e74
001f5fd4
001f5fd4loc_1f5fd4:
001f5fd4call caml_call_gc
001f5fd9jmp 0x1f5e1d
001f5fde
001f5fdeloc_1f5fde:
001f5fdepush 38
001f5fe0call caml_call_realloc_stack
001f5fe5pop r10
001f5fe7jmp 0x1f5da2
001f5d90
001f5d90Stdlib.Filename.quote_command:
001f5d90lea r10, [rsp-360]
001f5d98cmp r10, [r14+40]
001f5d9cjb 0x1f5fde
001f5da2
001f5da2loc_1f5da2:
001f5da2sub rsp, 40
001f5da6mov [rsp+32], rax
001f5dabmov [rsp+16], rbx
001f5db0mov rax, rdi
001f5db3mov [rsp], rax
001f5db7mov rdi, rsi
001f5dbamov [rsp+24], rdx
001f5dbftest dil, 1
001f5dc3je 0x1f5dd0
001f5dc5lea rax, [rip+0x180514]
001f5dccjmp 0x1f5e10
001f5dce
001f5dce 66 90 f.
001f5dd0
001f5dd0loc_1f5dd0:
001f5dd0mov [rsp+8], rdi
001f5dd5mov rsi, rax
001f5dd8lea rax, [rip+43777]
001f5ddfcall caml_c_call
001f5de4cmp rax, 1
001f5de8je 0x1f5df4
001f5dealea rax, [rip+0x18049f]
001f5df1jmp 0x1f5e10
001f5df3
001f5df3 90 .
001f5df4
001f5df4loc_1f5df4:
001f5df4mov rax, [rsp+8]
001f5df9mov rax, [rax]
001f5dfccall Stdlib.Filename.quote_cmd_filename
001f5e01mov rbx, rax
001f5e04lea rax, [rip+0x18045d]
001f5e0bcall camlStdlib.$5e_139
001f5e10
001f5e10loc_1f5e10:
001f5e10sub r15, 24
001f5e14cmp r15, [r14]
001f5e17jb 0x1f5fd4
001f5e1d
001f5e1dloc_1f5e1d:
001f5e1dlea rbx, [r15+8]
001f5e21mov [rsp+8], rbx
001f5e26mov [rbx-8], 2048
001f5e2emov [rbx], rax
001f5e31lea rax, [rip+0x180388]
001f5e38mov [rbx+8], rax
001f5e3cmov rax, [rsp]
001f5e40test al, 1
001f5e42je 0x1f5e50
001f5e44lea rax, [rip+0x180495]
001f5e4bjmp 0x1f5e67
001f5e4d
001f5e4d 0f 1f 00 ...
001f5e50
001f5e50loc_1f5e50:
001f5e50mov rax, [rax]
001f5e53call Stdlib.Filename.quote_cmd_filename
001f5e58mov rbx, rax
001f5e5blea rax, [rip+0x18043e]
001f5e62call camlStdlib.$5e_139
001f5e67
001f5e67loc_1f5e67:
001f5e67sub r15, 24
001f5e6bcmp r15, [r14]
001f5e6ejb 0x1f5fca
001f5e74
001f5e74loc_1f5e74:
001f5e74lea rbx, [r15+8]
001f5e78mov [rsp], rbx
001f5e7cmov [rbx-8], 2048
001f5e84mov [rbx], rax
001f5e87mov rax, [rsp+8]
001f5e8cmov [rbx+8], rax
001f5e90mov rax, [rsp+16]
001f5e95test al, 1
001f5e97je 0x1f5ea4
001f5e99lea rax, [rip+0x180440]
001f5ea0jmp 0x1f5ebb
001f5ea2
001f5ea2 66 90 f.
001f5ea4
001f5ea4loc_1f5ea4:
001f5ea4mov rax, [rax]
001f5ea7call Stdlib.Filename.quote_cmd_filename
001f5eacmov rbx, rax
001f5eaflea rax, [rip+0x1803fa]
001f5eb6call camlStdlib.$5e_139
001f5ebb
001f5ebbloc_1f5ebb:
001f5ebbsub r15, 24
001f5ebfcmp r15, [r14]
001f5ec2jb 0x1f5fc0
001f5ec8
001f5ec8loc_1f5ec8:
001f5ec8lea rbx, [r15+8]
001f5eccmov [rsp+8], rbx
001f5ed1mov [rbx-8], 2048
001f5ed9mov [rbx], rax
001f5edcmov rax, [rsp]
001f5ee0mov [rbx+8], rax
001f5ee4lea rax, [rip+0x17fe85]
001f5eebmov rax, [rax+472]
001f5ef2mov rbx, [rsp+24]
001f5ef7call Stdlib.List.map
001f5efcmov rbx, rax
001f5efflea rax, [rip+0x1803ba]
001f5f06call Stdlib.String.concat
001f5f0bcall Stdlib.Filename.quote_cmd
001f5f10sub r15, 48
001f5f14cmp r15, [r14]
001f5f17jb 0x1f5fb6
001f5f1d
001f5f1dloc_1f5f1d:
001f5f1dlea rbx, [r15+8]
001f5f21add rbx, 24
001f5f25mov [rbx-8], 2048
001f5f2dmov [rbx], rax
001f5f30mov rax, [rsp+8]
001f5f35mov [rbx+8], rax
001f5f39lea rax, [rbx-24]
001f5f3dmov [rsp], rax
001f5f41mov [rax-8], 2048
001f5f49lea rdi, [rip+0x180370]
001f5f50mov [rax], rdi
001f5f53mov [rax+8], rbx
001f5f57mov rax, [rsp+32]
001f5f5ccall Stdlib.Filename.quote_cmd_filename
001f5f61sub r15, 48
001f5f65cmp r15, [r14]
001f5f68jb 0x1f5faf
001f5f6a
001f5f6aloc_1f5f6a:
001f5f6alea rdi, [r15+8]
001f5f6eadd rdi, 24
001f5f72mov [rdi-8], 2048
001f5f7amov [rdi], rax
001f5f7dmov rax, [rsp]
001f5f81mov [rdi+8], rax
001f5f85lea rbx, [rdi-24]
001f5f89mov [rbx-8], 2048
001f5f91lea rax, [rip+0x180240]
001f5f98mov [rbx], rax
001f5f9bmov [rbx+8], rdi
001f5f9flea rax, [rip+0x18033a]
001f5fa6add rsp, 40
001f5faajmp 0x1ab480
001f5faf
001f5fafloc_1f5faf:
001f5fafcall caml_call_gc
001f5fb4jmp 0x1f5f6a
001f5fb6
001f5fb6loc_1f5fb6:
001f5fb6call caml_call_gc
001f5fbbjmp 0x1f5f1d
001f5fc0
001f5fc0loc_1f5fc0:
001f5fc0call caml_call_gc
001f5fc5jmp 0x1f5ec8
001f5fca
001f5fcaloc_1f5fca:
001f5fcacall caml_call_gc
001f5fcfjmp 0x1f5e74
001f5fd4
001f5fd4loc_1f5fd4:
001f5fd4call caml_call_gc
001f5fd9jmp 0x1f5e1d
001f5fde
001f5fdeloc_1f5fde:
001f5fdepush 38
001f5fe0call caml_call_realloc_stack
001f5fe5pop r10
001f5fe7jmp 0x1f5da2
001f5d90
001f5fec
001f5fec // align 0x10
001f5fec // align 0x10
001f5ff0
001f5ff0Stdlib.Filename.has_drive:
001f5ff0mov rbx, [rax-8]
001f5ff4shr rbx, 10
001f5ff8lea rbx, [8*rbx-1]
001f6000movzx rdi, [rax+rbx]
001f6005sub rbx, rdi
001f6008lea rdi, [rbx+rbx+1]
001f600dcmp rdi, 5
001f6011jl 0x1f6098
001f6017cmp rbx, 0
001f601bjbe 0x1f60a3
001f6021movzx rbx, [rax]
001f6025lea rbx, [rbx+rbx+1]
001f602acmp rbx, 183
001f6031jl 0x1f6044
001f6033add rbx, -194
001f603acmp rbx, 51
001f603ejbe 0x1f6054
001f6040jmp 0x1f604d
001f6042
001f6042 66 90 f.
001f6044
001f6044loc_1f6044:
001f6044cmp rbx, 131
001f604bjge 0x1f6054
001f604d
001f604dloc_1f604d:
001f604dmov ebx, 1
001f6052jmp 0x1f6059
001f6054
001f6054loc_1f6054:
001f6054mov ebx, 3
001f6059
001f6059loc_1f6059:
001f6059cmp rbx, 1
001f605dje 0x1f6098
001f605fmov rbx, [rax-8]
001f6063shr rbx, 10
001f6067lea rbx, [8*rbx-1]
001f606fmovzx rdi, [rax+rbx]
001f6074sub rbx, rdi
001f6077cmp rbx, 1
001f607bjbe 0x1f609e
001f607dmovzx rax, [rax+1]
001f6082lea rax, [rax+rax+1]
001f6087cmp rax, 117
001f608bsete al
001f608emovzx rax, al
001f6092lea rax, [rax+rax+1]
001f6097ret
001f6098
001f6098loc_1f6098:
001f6098mov eax, 1
001f609dret
001f609e
001f609eloc_1f609e:
001f609ecall caml_ml_array_bound_error
001f60a3
001f60a3loc_1f60a3:
001f60a3call caml_ml_array_bound_error
001f5ff0
001f5ff0Stdlib.Filename.has_drive:
001f5ff0mov rbx, [rax-8]
001f5ff4shr rbx, 10
001f5ff8lea rbx, [8*rbx-1]
001f6000movzx rdi, [rax+rbx]
001f6005sub rbx, rdi
001f6008lea rdi, [rbx+rbx+1]
001f600dcmp rdi, 5
001f6011jl 0x1f6098
001f6017cmp rbx, 0
001f601bjbe 0x1f60a3
001f6021movzx rbx, [rax]
001f6025lea rbx, [rbx+rbx+1]
001f602acmp rbx, 183
001f6031jl 0x1f6044
001f6033add rbx, -194
001f603acmp rbx, 51
001f603ejbe 0x1f6054
001f6040jmp 0x1f604d
001f6042
001f6042 66 90 f.
001f6044
001f6044loc_1f6044:
001f6044cmp rbx, 131
001f604bjge 0x1f6054
001f604d
001f604dloc_1f604d:
001f604dmov ebx, 1
001f6052jmp 0x1f6059
001f6054
001f6054loc_1f6054:
001f6054mov ebx, 3
001f6059
001f6059loc_1f6059:
001f6059cmp rbx, 1
001f605dje 0x1f6098
001f605fmov rbx, [rax-8]
001f6063shr rbx, 10
001f6067lea rbx, [8*rbx-1]
001f606fmovzx rdi, [rax+rbx]
001f6074sub rbx, rdi
001f6077cmp rbx, 1
001f607bjbe 0x1f609e
001f607dmovzx rax, [rax+1]
001f6082lea rax, [rax+rax+1]
001f6087cmp rax, 117
001f608bsete al
001f608emovzx rax, al
001f6092lea rax, [rax+rax+1]
001f6097ret
001f6098
001f6098loc_1f6098:
001f6098mov eax, 1
001f609dret
001f609e
001f609eloc_1f609e:
001f609ecall caml_ml_array_bound_error
001f60a3
001f60a3loc_1f60a3:
001f60a3call caml_ml_array_bound_error
001f5ff0
001f60a8
001f60a8 // align 0x10
001f60a8 // align 0x10
001f60b0
001f60b0Stdlib.Filename.drive_and_path:
001f60b0lea r10, [rsp-336]
001f60b8cmp r10, [r14+40]
001f60bcjb 0x1f617e
001f60c2
001f60c2loc_1f60c2:
001f60c2sub rsp, 16
001f60c6mov [rsp], rax
001f60cacall Stdlib.Filename.has_drive
001f60cfcmp rax, 1
001f60d3je 0x1f6144
001f60d5mov rax, [rsp]
001f60d9mov rbx, [rax-8]
001f60ddshr rbx, 10
001f60e1lea rbx, [8*rbx-1]
001f60e9movzx rdi, [rax+rbx]
001f60eesub rbx, rdi
001f60f1lea rdi, [rbx+rbx-3]
001f60f6mov ebx, 5
001f60fbcall Stdlib.Bytes.sub
001f6100mov [rsp+8], rax
001f6105mov edi, 5
001f610amov ebx, 1
001f610fmov rax, [rsp]
001f6113call Stdlib.Bytes.sub
001f6118sub r15, 24
001f611ccmp r15, [r14]
001f611fjb 0x1f6177
001f6121
001f6121loc_1f6121:
001f6121lea rbx, [r15+8]
001f6125mov [rbx-8], 2048
001f612dmov [rbx], rax
001f6130mov rax, [rsp+8]
001f6135mov [rbx+8], rax
001f6139mov rax, rbx
001f613cadd rsp, 16
001f6140ret
001f6141
001f6141 0f 1f 00 ...
001f6144
001f6144loc_1f6144:
001f6144sub r15, 24
001f6148cmp r15, [r14]
001f614bjb 0x1f6170
001f614d
001f614dloc_1f614d:
001f614dlea rax, [r15+8]
001f6151mov [rax-8], 2048
001f6159lea rbx, [rip+0x180180]
001f6160mov [rax], rbx
001f6163mov rbx, [rsp]
001f6167mov [rax+8], rbx
001f616badd rsp, 16
001f616fret
001f6170
001f6170loc_1f6170:
001f6170call caml_call_gc
001f6175jmp 0x1f614d
001f6177
001f6177loc_1f6177:
001f6177call caml_call_gc
001f617cjmp 0x1f6121
001f617e
001f617eloc_1f617e:
001f617epush 35
001f6180call caml_call_realloc_stack
001f6185pop r10
001f6187jmp 0x1f60c2
001f60b0
001f60b0Stdlib.Filename.drive_and_path:
001f60b0lea r10, [rsp-336]
001f60b8cmp r10, [r14+40]
001f60bcjb 0x1f617e
001f60c2
001f60c2loc_1f60c2:
001f60c2sub rsp, 16
001f60c6mov [rsp], rax
001f60cacall Stdlib.Filename.has_drive
001f60cfcmp rax, 1
001f60d3je 0x1f6144
001f60d5mov rax, [rsp]
001f60d9mov rbx, [rax-8]
001f60ddshr rbx, 10
001f60e1lea rbx, [8*rbx-1]
001f60e9movzx rdi, [rax+rbx]
001f60eesub rbx, rdi
001f60f1lea rdi, [rbx+rbx-3]
001f60f6mov ebx, 5
001f60fbcall Stdlib.Bytes.sub
001f6100mov [rsp+8], rax
001f6105mov edi, 5
001f610amov ebx, 1
001f610fmov rax, [rsp]
001f6113call Stdlib.Bytes.sub
001f6118sub r15, 24
001f611ccmp r15, [r14]
001f611fjb 0x1f6177
001f6121
001f6121loc_1f6121:
001f6121lea rbx, [r15+8]
001f6125mov [rbx-8], 2048
001f612dmov [rbx], rax
001f6130mov rax, [rsp+8]
001f6135mov [rbx+8], rax
001f6139mov rax, rbx
001f613cadd rsp, 16
001f6140ret
001f6141
001f6141 0f 1f 00 ...
001f6144
001f6144loc_1f6144:
001f6144sub r15, 24
001f6148cmp r15, [r14]
001f614bjb 0x1f6170
001f614d
001f614dloc_1f614d:
001f614dlea rax, [r15+8]
001f6151mov [rax-8], 2048
001f6159lea rbx, [rip+0x180180]
001f6160mov [rax], rbx
001f6163mov rbx, [rsp]
001f6167mov [rax+8], rbx
001f616badd rsp, 16
001f616fret
001f6170
001f6170loc_1f6170:
001f6170call caml_call_gc
001f6175jmp 0x1f614d
001f6177
001f6177loc_1f6177:
001f6177call caml_call_gc
001f617cjmp 0x1f6121
001f617e
001f617eloc_1f617e:
001f617epush 35
001f6180call caml_call_realloc_stack
001f6185pop r10
001f6187jmp 0x1f60c2
001f60b0
001f618c
001f618c // align 0x10
001f618c // align 0x10
001f6190
001f6190Stdlib.Filename.dirname:
001f6190lea r10, [rsp-328]
001f6198cmp r10, [r14+40]
001f619cjb 0x1f61dc
001f619e
001f619eloc_1f619e:
001f619esub rsp, 8
001f61a2call Stdlib.Filename.drive_and_path
001f61a7mov [rsp], rax
001f61abmov rdi, [rax+8]
001f61aflea rbx, [rip+0x17ffda]
001f61b6lea rax, [rip+0x17fbb3]
001f61bdmov rax, [rax+424]
001f61c4call Stdlib.Filename.generic_dirname
001f61c9mov rbx, rax
001f61ccmov rax, [rsp]
001f61d0mov rax, [rax]
001f61d3add rsp, 8
001f61d7jmp 0x195ba0
001f61dc
001f61dcloc_1f61dc:
001f61dcpush 34
001f61decall caml_call_realloc_stack
001f61e3pop r10
001f61e5jmp 0x1f619e
001f6190
001f6190Stdlib.Filename.dirname:
001f6190lea r10, [rsp-328]
001f6198cmp r10, [r14+40]
001f619cjb 0x1f61dc
001f619e
001f619eloc_1f619e:
001f619esub rsp, 8
001f61a2call Stdlib.Filename.drive_and_path
001f61a7mov [rsp], rax
001f61abmov rdi, [rax+8]
001f61aflea rbx, [rip+0x17ffda]
001f61b6lea rax, [rip+0x17fbb3]
001f61bdmov rax, [rax+424]
001f61c4call Stdlib.Filename.generic_dirname
001f61c9mov rbx, rax
001f61ccmov rax, [rsp]
001f61d0mov rax, [rax]
001f61d3add rsp, 8
001f61d7jmp 0x195ba0
001f61dc
001f61dcloc_1f61dc:
001f61dcpush 34
001f61decall caml_call_realloc_stack
001f61e3pop r10
001f61e5jmp 0x1f619e
001f6190
001f61e7
001f61e7 // align 0x10
001f61e7 // align 0x10
001f61f0
001f61f0Stdlib.Filename.basename:
001f61f0lea r10, [rsp-320]
001f61f8cmp r10, [r14+40]
001f61fcjb 0x1f6221
001f61fe
001f61feloc_1f61fe:
001f61fecall Stdlib.Filename.drive_and_path
001f6203mov rdi, [rax+8]
001f6207lea rbx, [rip+0x17ff82]
001f620elea rax, [rip+0x17fb5b]
001f6215mov rax, [rax+424]
001f621cjmp 0x1f4840
001f6221
001f6221loc_1f6221:
001f6221push 33
001f6223call caml_call_realloc_stack
001f6228pop r10
001f622ajmp 0x1f61fe
001f61f0
001f61f0Stdlib.Filename.basename:
001f61f0lea r10, [rsp-320]
001f61f8cmp r10, [r14+40]
001f61fcjb 0x1f6221
001f61fe
001f61feloc_1f61fe:
001f61fecall Stdlib.Filename.drive_and_path
001f6203mov rdi, [rax+8]
001f6207lea rbx, [rip+0x17ff82]
001f620elea rax, [rip+0x17fb5b]
001f6215mov rax, [rax+424]
001f621cjmp 0x1f4840
001f6221
001f6221loc_1f6221:
001f6221push 33
001f6223call caml_call_realloc_stack
001f6228pop r10
001f622ajmp 0x1f61fe
001f61f0
001f622c
001f622c // align 0x10
001f622c // align 0x10
001f6230
001f6230Stdlib.Filename.fun:
001f6230mov rdi, rax
001f6233mov rsi, [rbx+24]
001f6237mov rax, [rbx+16]
001f623bmov rbx, rsi
001f623ejmp 0x1f4840
001f6230
001f6230Stdlib.Filename.fun:
001f6230mov rdi, rax
001f6233mov rsi, [rbx+24]
001f6237mov rax, [rbx+16]
001f623bmov rbx, rsi
001f623ejmp 0x1f4840
001f6230
001f6243
001f6243 // align 0x10
001f6243 // align 0x10
001f6250
001f6250Stdlib.Filename.fun:
001f6250mov rdi, rax
001f6253mov rsi, [rbx+24]
001f6257mov rax, [rbx+16]
001f625bmov rbx, rsi
001f625ejmp 0x1f4a80
001f6250
001f6250Stdlib.Filename.fun:
001f6250mov rdi, rax
001f6253mov rsi, [rbx+24]
001f6257mov rax, [rbx+16]
001f625bmov rbx, rsi
001f625ejmp 0x1f4a80
001f6250
001f6263
001f6263 // align 0x10
001f6263 // align 0x10
001f6270
001f6270Stdlib.Filename.concat:
001f6270lea r10, [rsp-336]
001f6278cmp r10, [r14+40]
001f627cjb 0x1f6306
001f6282
001f6282loc_1f6282:
001f6282sub rsp, 16
001f6286mov [rsp+8], rax
001f628bmov [rsp], rbx
001f628fmov rbx, [rax-8]
001f6293shr rbx, 10
001f6297lea rbx, [8*rbx-1]
001f629fmovzx rdi, [rax+rbx]
001f62a4sub rbx, rdi
001f62a7lea rbx, [rbx+rbx+1]
001f62accmp rbx, 1
001f62b0je 0x1f62f4
001f62b2lea rdi, [rip+0x17fab7]
001f62b9mov rdi, [rdi+232]
001f62c0add rbx, -2
001f62c4call caml_apply2
001f62c9cmp rax, 1
001f62cdjne 0x1f62f4
001f62cflea rax, [rip+0x17fa9a]
001f62d6mov rax, [rax+16]
001f62damov rbx, [rsp]
001f62decall camlStdlib.$5e_139
001f62e3mov rbx, rax
001f62e6mov rax, [rsp+8]
001f62ebadd rsp, 16
001f62efjmp 0x195ba0
001f62f4
001f62f4loc_1f62f4:
001f62f4mov rax, [rsp+8]
001f62f9mov rbx, [rsp]
001f62fdadd rsp, 16
001f6301jmp 0x195ba0
001f6306
001f6306loc_1f6306:
001f6306push 35
001f6308call caml_call_realloc_stack
001f630dpop r10
001f630fjmp 0x1f6282
001f6270
001f6270Stdlib.Filename.concat:
001f6270lea r10, [rsp-336]
001f6278cmp r10, [r14+40]
001f627cjb 0x1f6306
001f6282
001f6282loc_1f6282:
001f6282sub rsp, 16
001f6286mov [rsp+8], rax
001f628bmov [rsp], rbx
001f628fmov rbx, [rax-8]
001f6293shr rbx, 10
001f6297lea rbx, [8*rbx-1]
001f629fmovzx rdi, [rax+rbx]
001f62a4sub rbx, rdi
001f62a7lea rbx, [rbx+rbx+1]
001f62accmp rbx, 1
001f62b0je 0x1f62f4
001f62b2lea rdi, [rip+0x17fab7]
001f62b9mov rdi, [rdi+232]
001f62c0add rbx, -2
001f62c4call caml_apply2
001f62c9cmp rax, 1
001f62cdjne 0x1f62f4
001f62cflea rax, [rip+0x17fa9a]
001f62d6mov rax, [rax+16]
001f62damov rbx, [rsp]
001f62decall camlStdlib.$5e_139
001f62e3mov rbx, rax
001f62e6mov rax, [rsp+8]
001f62ebadd rsp, 16
001f62efjmp 0x195ba0
001f62f4
001f62f4loc_1f62f4:
001f62f4mov rax, [rsp+8]
001f62f9mov rbx, [rsp]
001f62fdadd rsp, 16
001f6301jmp 0x195ba0
001f6306
001f6306loc_1f6306:
001f6306push 35
001f6308call caml_call_realloc_stack
001f630dpop r10
001f630fjmp 0x1f6282
001f6270
001f6314
001f6314 // align 0x10
001f6314 // align 0x10
001f6320
001f6320Stdlib.Filename.chop_suffix:
001f6320lea r10, [rsp-336]
001f6328cmp r10, [r14+40]
001f632cjb 0x1f63bc
001f6332
001f6332loc_1f6332:
001f6332sub rsp, 16
001f6336mov [rsp+8], rax
001f633bmov [rsp], rbx
001f633flea rdi, [rip+0x17fa2a]
001f6346mov rdi, [rdi+48]
001f634acall caml_apply2
001f634fcmp rax, 1
001f6353je 0x1f63ac
001f6355mov rbx, [rsp]
001f6359mov rax, [rbx-8]
001f635dshr rax, 10
001f6361lea rax, [8*rax-1]
001f6369movzx rbx, [rbx+rax]
001f636esub rax, rbx
001f6371shl rax, 1
001f6374mov rsi, [rsp+8]
001f6379mov rbx, [rsi-8]
001f637dshr rbx, 10
001f6381lea rdi, [8*rbx-1]
001f6389movzx rbx, [rsi+rdi]
001f638esub rdi, rbx
001f6391shl rdi, 1
001f6394sub rdi, rax
001f6397inc rdi
001f639amov ebx, 1
001f639fmov rax, rsi
001f63a2call Stdlib.Bytes.sub
001f63a7add rsp, 16
001f63abret
001f63ac
001f63acloc_1f63ac:
001f63aclea rax, [rip+0x17fded]
001f63b3add rsp, 16
001f63b7jmp 0x195ab0
001f63bc
001f63bcloc_1f63bc:
001f63bcpush 35
001f63becall caml_call_realloc_stack
001f63c3pop r10
001f63c5jmp 0x1f6332
001f6320
001f6320Stdlib.Filename.chop_suffix:
001f6320lea r10, [rsp-336]
001f6328cmp r10, [r14+40]
001f632cjb 0x1f63bc
001f6332
001f6332loc_1f6332:
001f6332sub rsp, 16
001f6336mov [rsp+8], rax
001f633bmov [rsp], rbx
001f633flea rdi, [rip+0x17fa2a]
001f6346mov rdi, [rdi+48]
001f634acall caml_apply2
001f634fcmp rax, 1
001f6353je 0x1f63ac
001f6355mov rbx, [rsp]
001f6359mov rax, [rbx-8]
001f635dshr rax, 10
001f6361lea rax, [8*rax-1]
001f6369movzx rbx, [rbx+rax]
001f636esub rax, rbx
001f6371shl rax, 1
001f6374mov rsi, [rsp+8]
001f6379mov rbx, [rsi-8]
001f637dshr rbx, 10
001f6381lea rdi, [8*rbx-1]
001f6389movzx rbx, [rsi+rdi]
001f638esub rdi, rbx
001f6391shl rdi, 1
001f6394sub rdi, rax
001f6397inc rdi
001f639amov ebx, 1
001f639fmov rax, rsi
001f63a2call Stdlib.Bytes.sub
001f63a7add rsp, 16
001f63abret
001f63ac
001f63acloc_1f63ac:
001f63aclea rax, [rip+0x17fded]
001f63b3add rsp, 16
001f63b7jmp 0x195ab0
001f63bc
001f63bcloc_1f63bc:
001f63bcpush 35
001f63becall caml_call_realloc_stack
001f63c3pop r10
001f63c5jmp 0x1f6332
001f6320
001f63ca
001f63ca // align 0x10
001f63ca // align 0x10
001f63d0
001f63d0Stdlib.Filename.extension_len:
001f63d0sub r15, 80
001f63d4cmp r15, [r14]
001f63d7jb 0x1f6462
001f63dd
001f63ddloc_1f63dd:
001f63ddlea rdi, [r15+8]
001f63e1add rdi, 40
001f63e5mov [rdi-8], 4343
001f63edlea rbx, [rip-0xff3d4]
001f63f4mov [rdi], rbx
001f63f7mov rbx, 0x200000000000007
001f6401mov [rdi+8], rbx
001f6405lea rbx, [rip+100]
001f640cmov [rdi+16], rbx
001f6410mov [rdi+24], rax
001f6414lea rbx, [rdi-40]
001f6418mov [rbx-8], 4343
001f6420lea rsi, [rip+313]
001f6427mov [rbx], rsi
001f642amov rsi, 0x100000000000005
001f6434mov [rbx+8], rsi
001f6438mov [rbx+16], rax
001f643cmov [rbx+24], rdi
001f6440mov rdi, [rax-8]
001f6444shr rdi, 10
001f6448lea rdi, [8*rdi-1]
001f6450movzx rax, [rax+rdi]
001f6455sub rdi, rax
001f6458lea rax, [rdi+rdi-1]
001f645djmp 0x1f6560
001f6462
001f6462loc_1f6462:
001f6462call caml_call_gc
001f6467jmp 0x1f63dd
001f63d0
001f63d0Stdlib.Filename.extension_len:
001f63d0sub r15, 80
001f63d4cmp r15, [r14]
001f63d7jb 0x1f6462
001f63dd
001f63ddloc_1f63dd:
001f63ddlea rdi, [r15+8]
001f63e1add rdi, 40
001f63e5mov [rdi-8], 4343
001f63edlea rbx, [rip-0xff3d4]
001f63f4mov [rdi], rbx
001f63f7mov rbx, 0x200000000000007
001f6401mov [rdi+8], rbx
001f6405lea rbx, [rip+100]
001f640cmov [rdi+16], rbx
001f6410mov [rdi+24], rax
001f6414lea rbx, [rdi-40]
001f6418mov [rbx-8], 4343
001f6420lea rsi, [rip+313]
001f6427mov [rbx], rsi
001f642amov rsi, 0x100000000000005
001f6434mov [rbx+8], rsi
001f6438mov [rbx+16], rax
001f643cmov [rbx+24], rdi
001f6440mov rdi, [rax-8]
001f6444shr rdi, 10
001f6448lea rdi, [8*rdi-1]
001f6450movzx rax, [rax+rdi]
001f6455sub rdi, rax
001f6458lea rax, [rdi+rdi-1]
001f645djmp 0x1f6560
001f6462
001f6462loc_1f6462:
001f6462call caml_call_gc
001f6467jmp 0x1f63dd
001f63d0
Loading..