Similarity

001df5c0
001df5c0Stdlib.Digest.entry:
001df5c0lea r10, [rsp-320]
001df5c8cmp r10, [r14+40]
001df5ccjb 0x1dfb6f
001df5d2
001df5d2loc_1df5d2:
001df5d2lea rsi, [rip+0x185197]
001df5d9lea rdi, [rip+0x185308]
001df5e0add rdi, 48
001df5e4mov rbx, rsp
001df5e7mov rsp, [r14+64]
001df5ebcall caml_initialize
001df5f0mov rsp, rbx
001df5f3lea rsi, [rip+0x185196]
001df5falea rdi, [rip+0x1852e7]
001df601add rdi, 136
001df608mov rbx, rsp
001df60bmov rsp, [r14+64]
001df60fcall caml_initialize
001df614mov rsp, rbx
001df617lea rsi, [rip+0x18518a]
001df61elea rdi, [rip+0x1852c3]
001df625add rdi, 144
001df62cmov rbx, rsp
001df62fmov rsp, [r14+64]
001df633call caml_initialize
001df638mov rsp, rbx
001df63blea rsi, [rip+0x18528e]
001df642lea rdi, [rip+0x18529f]
001df649add rdi, 152
001df650mov rbx, rsp
001df653mov rsp, [r14+64]
001df657call caml_initialize
001df65cmov rsp, rbx
001df65flea rax, [rip+0x18544a]
001df666call Stdlib.Digest.BLAKE2
001df66blea rdi, [rip+0x185276]
001df672add rdi, 104
001df676mov rsi, rax
001df679mov rbx, rsp
001df67cmov rsp, [r14+64]
001df680call caml_initialize
001df685mov rsp, rbx
001df688lea rax, [rip+0x185411]
001df68fcall Stdlib.Digest.BLAKE2
001df694lea rdi, [rip+0x18524d]
001df69badd rdi, 112
001df69fmov rsi, rax
001df6a2mov rbx, rsp
001df6a5mov rsp, [r14+64]
001df6a9call caml_initialize
001df6aemov rsp, rbx
001df6b1lea rax, [rip+0x1853d8]
001df6b8call Stdlib.Digest.BLAKE2
001df6bdlea rdi, [rip+0x185224]
001df6c4add rdi, 120
001df6c8mov rsi, rax
001df6cbmov rbx, rsp
001df6cemov rsp, [r14+64]
001df6d2call caml_initialize
001df6d7mov rsp, rbx
001df6damov esi, 33
001df6dflea rdi, [rip+0x185202]
001df6e6add rdi, 168
001df6edmov rbx, rsp
001df6f0mov rsp, [r14+64]
001df6f4call caml_initialize
001df6f9mov rsp, rbx
001df6fclea rax, [rip+0x15cafd]
001df703mov rsi, [rax+72]
001df707lea rdi, [rip+0x1851da]
001df70eadd rdi, 176
001df715mov rbx, rsp
001df718mov rsp, [r14+64]
001df71ccall caml_initialize
001df721mov rsp, rbx
001df724lea rax, [rip+0x15cad5]
001df72bmov rsi, [rax+64]
001df72flea rdi, [rip+0x1851b2]
001df736add rdi, 184
001df73dmov rbx, rsp
001df740mov rsp, [r14+64]
001df744call caml_initialize
001df749mov rsp, rbx
001df74clea rsi, [rip+0x18506d]
001df753lea rdi, [rip+0x18518e]
001df75aadd rdi, 192
001df761mov rbx, rsp
001df764mov rsp, [r14+64]
001df768call caml_initialize
001df76dmov rsp, rbx
001df770lea rsi, [rip+0x185061]
001df777lea rdi, [rip+0x18516a]
001df77eadd rdi, 200
001df785mov rbx, rsp
001df788mov rsp, [r14+64]
001df78ccall caml_initialize
001df791mov rsp, rbx
001df794lea rsi, [rip+0x185055]
001df79blea rdi, [rip+0x185146]
001df7a2add rdi, 208
001df7a9mov rbx, rsp
001df7acmov rsp, [r14+64]
001df7b0call caml_initialize
001df7b5mov rsp, rbx
001df7b8lea rsi, [rip+0x185051]
001df7bflea rdi, [rip+0x185122]
001df7c6add rdi, 216
001df7cdmov rbx, rsp
001df7d0mov rsp, [r14+64]
001df7d4call caml_initialize
001df7d9mov rsp, rbx
001df7dclea rsi, [rip+0x18504d]
001df7e3lea rdi, [rip+0x1850fe]
001df7eaadd rdi, 224
001df7f1mov rbx, rsp
001df7f4mov rsp, [r14+64]
001df7f8call caml_initialize
001df7fdmov rsp, rbx
001df800lea rsi, [rip+0x185041]
001df807lea rdi, [rip+0x1850da]
001df80eadd rdi, 232
001df815mov rbx, rsp
001df818mov rsp, [r14+64]
001df81ccall caml_initialize
001df821mov rsp, rbx
001df824lea rsi, [rip+0x18503d]
001df82blea rdi, [rip+0x1850b6]
001df832add rdi, 240
001df839mov rbx, rsp
001df83cmov rsp, [r14+64]
001df840call caml_initialize
001df845mov rsp, rbx
001df848lea rsi, [rip+0x185031]
001df84flea rdi, [rip+0x185092]
001df856add rdi, 248
001df85dmov rbx, rsp
001df860mov rsp, [r14+64]
001df864call caml_initialize
001df869mov rsp, rbx
001df86clea rsi, [rip+0x185025]
001df873lea rdi, [rip+0x18506e]
001df87aadd rdi, 256
001df881mov rbx, rsp
001df884mov rsp, [r14+64]
001df888call caml_initialize
001df88dmov rsp, rbx
001df890sub r15, 216
001df897call caml_allocN
001df89clea r12, [r15+8]
001df8a0add r12, 112
001df8a4mov [r12-8], 12288
001df8admov [r12], 33
001df8b5lea rdi, [rip+0x18502c]
001df8bcmov rax, [rdi+176]
001df8c3mov [r12+8], rax
001df8c8mov rax, [rdi+184]
001df8cfmov [r12+16], rax
001df8d4mov rax, [rdi+192]
001df8dbmov [r12+24], rax
001df8e0mov rax, [rdi+200]
001df8e7mov [r12+32], rax
001df8ecmov rax, [rdi+208]
001df8f3mov [r12+40], rax
001df8f8mov rax, [rdi+216]
001df8ffmov [r12+48], rax
001df904mov rax, [rdi+224]
001df90bmov [r12+56], rax
001df910mov rax, [rdi+232]
001df917mov [r12+64], rax
001df91cmov rax, [rdi+240]
001df923mov [r12+72], rax
001df928mov rax, [rdi+248]
001df92fmov [r12+80], rax
001df934mov rax, [rdi+256]
001df93bmov [r12+88], rax
001df940lea rsi, [r12-112]
001df945mov [rsi-8], 13312
001df94dmov [rsi], 33
001df954mov rax, [r12+8]
001df959mov [rsi+8], rax
001df95dmov rax, [r12+16]
001df962mov [rsi+16], rax
001df966mov rax, [r12+24]
001df96bmov [rsi+24], rax
001df96fmov rax, [r12+32]
001df974mov [rsi+32], rax
001df978mov rax, [r12+40]
001df97dmov [rsi+40], rax
001df981mov rax, [r12+48]
001df986mov [rsi+48], rax
001df98alea rax, [rip+0x184f1f]
001df991mov [rsi+56], rax
001df995mov rax, [r12+56]
001df99amov [rsi+64], rax
001df99emov rax, [r12+64]
001df9a3mov [rsi+72], rax
001df9a7mov rax, [r12+72]
001df9acmov [rsi+80], rax
001df9b0mov rax, [r12+80]
001df9b5mov [rsi+88], rax
001df9b9mov rax, [r12+88]
001df9bemov [rsi+96], rax
001df9c2add rdi, 128
001df9c9mov rbx, rsp
001df9ccmov rsp, [r14+64]
001df9d0call caml_initialize
001df9d5mov rsp, rbx
001df9d8mov esi, 33
001df9ddlea rdi, [rip+0x184f04]
001df9e4add rdi, 160
001df9ebmov rbx, rsp
001df9eemov rsp, [r14+64]
001df9f2call caml_initialize
001df9f7mov rsp, rbx
001df9famov rsi, [r12+8]
001df9fflea rdi, [rip+0x184ee2]
001dfa06mov rbx, rsp
001dfa09mov rsp, [r14+64]
001dfa0dcall caml_initialize
001dfa12mov rsp, rbx
001dfa15mov rsi, [r12+16]
001dfa1alea rdi, [rip+0x184ec7]
001dfa21add rdi, 8
001dfa25mov rbx, rsp
001dfa28mov rsp, [r14+64]
001dfa2ccall caml_initialize
001dfa31mov rsp, rbx
001dfa34mov rsi, [r12+24]
001dfa39lea rdi, [rip+0x184ea8]
001dfa40add rdi, 16
001dfa44mov rbx, rsp
001dfa47mov rsp, [r14+64]
001dfa4bcall caml_initialize
001dfa50mov rsp, rbx
001dfa53mov rsi, [r12+32]
001dfa58lea rdi, [rip+0x184e89]
001dfa5fadd rdi, 24
001dfa63mov rbx, rsp
001dfa66mov rsp, [r14+64]
001dfa6acall caml_initialize
001dfa6fmov rsp, rbx
001dfa72mov rsi, [r12+40]
001dfa77lea rdi, [rip+0x184e6a]
001dfa7eadd rdi, 32
001dfa82mov rbx, rsp
001dfa85mov rsp, [r14+64]
001dfa89call caml_initialize
001dfa8emov rsp, rbx
001dfa91mov rsi, [r12+48]
001dfa96lea rdi, [rip+0x184e4b]
001dfa9dadd rdi, 40
001dfaa1mov rbx, rsp
001dfaa4mov rsp, [r14+64]
001dfaa8call caml_initialize
001dfaadmov rsp, rbx
001dfab0mov rsi, [r12+56]
001dfab5lea rdi, [rip+0x184e2c]
001dfabcadd rdi, 56
001dfac0mov rbx, rsp
001dfac3mov rsp, [r14+64]
001dfac7call caml_initialize
001dfaccmov rsp, rbx
001dfacfmov rsi, [r12+64]
001dfad4lea rdi, [rip+0x184e0d]
001dfadbadd rdi, 64
001dfadfmov rbx, rsp
001dfae2mov rsp, [r14+64]
001dfae6call caml_initialize
001dfaebmov rsp, rbx
001dfaeemov rsi, [r12+72]
001dfaf3lea rdi, [rip+0x184dee]
001dfafaadd rdi, 72
001dfafemov rbx, rsp
001dfb01mov rsp, [r14+64]
001dfb05call caml_initialize
001dfb0amov rsp, rbx
001dfb0dmov rsi, [r12+80]
001dfb12lea rdi, [rip+0x184dcf]
001dfb19add rdi, 80
001dfb1dmov rbx, rsp
001dfb20mov rsp, [r14+64]
001dfb24call caml_initialize
001dfb29mov rsp, rbx
001dfb2cmov rsi, [r12+88]
001dfb31lea rdi, [rip+0x184db0]
001dfb38add rdi, 88
001dfb3cmov rbx, rsp
001dfb3fmov rsp, [r14+64]
001dfb43call caml_initialize
001dfb48mov rsp, rbx
001dfb4blea rdi, [rip+0x184d96]
001dfb52mov rsi, [rdi+88]
001dfb56add rdi, 96
001dfb5amov rbx, rsp
001dfb5dmov rsp, [r14+64]
001dfb61call caml_initialize
001dfb66mov rsp, rbx
001dfb69mov eax, 1
001dfb6eret
001dfb6f
001dfb6floc_1dfb6f:
001dfb6fpush 33
001dfb71call caml_call_realloc_stack
001dfb76pop r10
001dfb78jmp 0x1df5d2
001df5c0

001dfb7d
001dfb7d // align 0x10

001dfb80
001dfb80Stdlib.Bigarray.fun:
001dfb80mov rdi, rax
001dfb83mov rsi, rbx
001dfb86lea rax, [rip+0x1eb53]
001dfb8dcall caml_c_call
001dfb92ret
001dfb80

001dfb93
001dfb93 // align 0x10

001dfba0
001dfba0Stdlib.Bigarray.kind_size_in_bytes:
001dfba0sar rax, 1
001dfba3lea rdx, [rip+0x4ebae]
001dfbaamovsxd rax, [rdx+4*rax]
001dfbaeadd rdx, rax
001dfbb1jmp rdx
001dfbb3nop
001dfbb4mov eax, 33
001dfbb9ret
001dfbbanop
001dfbbcmov eax, 9
001dfbc1ret
001dfbc2nop
001dfbc4mov eax, 17
001dfbc9ret
001dfbcanop
001dfbccmov eax, 3
001dfbd1ret
001dfbd2nop
001dfbd4mov eax, 5
001dfbd9ret
001dfbdanop
001dfbdcmov eax, 17
001dfbe1ret
001dfba0

001dfbe2
001dfbe2 // align 0x10

001dfbf0
001dfbf0Stdlib.Bigarray.cloop:
001dfbf0lea r10, [rsp-376]
001dfbf8cmp r10, [r14+40]
001dfbfcjb 0x1dfd06
001dfc02
001dfc02loc_1dfc02:
001dfc02sub rsp, 56
001dfc06mov r8, rax
001dfc09mov rax, rbx
001dfc0cmov rbx, rdi
001dfc0fmov rdi, [rax-8]
001dfc13shr rdi, 9
001dfc17or rdi, 1
001dfc1bcmp rsi, rdi
001dfc1ejne 0x1dfc50
001dfc20mov [rsp+48], rax
001dfc25mov [rsp+40], r8
001dfc2amov rdi, [rbx]
001dfc2dcall rdi
001dfc2fmov rdi, [rsp+40]
001dfc34mov rsi, [rsp+48]
001dfc39mov rdx, rax
001dfc3clea rax, [rip+0x1d63d]
001dfc43call caml_c_call
001dfc48add rsp, 56
001dfc4cret
001dfc4d
001dfc4d 0f 1f 00 ...
001dfc50
001dfc50loc_1dfc50:
001dfc50mov ecx, 1
001dfc55mov rdi, [rdx-8]
001dfc59shr rdi, 9
001dfc5dcmp rdi, rsi
001dfc60jbe 0x1dfd01
001dfc66mov rdi, [rdx+4*rsi-4]
001dfc6badd rdi, -2
001dfc6fcmp rcx, rdi
001dfc72jg 0x1dfceb
001dfc74mov [rsp+32], rdi
001dfc79mov [rsp+24], rcx
001dfc7emov [rsp+16], rdx
001dfc83mov [rsp], rsi
001dfc87mov [rsp+8], rbx
001dfc8cmov [rsp+48], rax
001dfc91mov [rsp+40], r8
001dfc96
001dfc96loc_1dfc96:
001dfc96mov rbx, [rsp+48]
001dfc9bmov rax, [rbx-8]
001dfc9fshr rax, 9
001dfca3mov rsi, [rsp]
001dfca7cmp rax, rsi
001dfcaajbe 0x1dfcfc
001dfcacmov [rbx+4*rsi-4], rcx
001dfcb1add rsi, 2
001dfcb5mov rax, [rsp+40]
001dfcbamov rdi, [rsp+8]
001dfcbfmov rdx, [rsp+16]
001dfcc4call Stdlib.Bigarray.cloop
001dfcc9mov rcx, [rsp+24]
001dfccemov rax, rcx
001dfcd1add rcx, 2
001dfcd5mov [rsp+24], rcx
001dfcdamov rbx, [rsp+32]
001dfcdfcmp rax, rbx
001dfce2je 0x1dfceb
001dfce4cmp r15, [r14]
001dfce7ja 0x1dfc96
001dfce9jmp 0x1dfcf5
001dfceb
001dfcebloc_1dfceb:
001dfcebmov eax, 1
001dfcf0add rsp, 56
001dfcf4ret
001dfcf5
001dfcf5loc_1dfcf5:
001dfcf5call caml_call_gc
001dfcfajmp 0x1dfc96
001dfcfc
001dfcfcloc_1dfcfc:
001dfcfccall caml_ml_array_bound_error
001dfd01
001dfd01loc_1dfd01:
001dfd01call caml_ml_array_bound_error
001dfd06
001dfd06loc_1dfd06:
001dfd06push 40
001dfd08call caml_call_realloc_stack
001dfd0dpop r10
001dfd0fjmp 0x1dfc02
001dfbf0

001dfd14
001dfd14 // align 0x10

001dfd20
001dfd20Stdlib.Bigarray.floop:
001dfd20lea r10, [rsp-376]
001dfd28cmp r10, [r14+40]
001dfd2cjb 0x1dfe26
001dfd32
001dfd32loc_1dfd32:
001dfd32sub rsp, 56
001dfd36mov r8, rax
001dfd39mov rax, rbx
001dfd3cmov rbx, rdi
001dfd3fcmp rsi, 1
001dfd43jge 0x1dfd74
001dfd45mov [rsp+48], rax
001dfd4amov [rsp+40], r8
001dfd4fmov rdi, [rbx]
001dfd52call rdi
001dfd54mov rdi, [rsp+40]
001dfd59mov rsi, [rsp+48]
001dfd5emov rdx, rax
001dfd61lea rax, [rip+0x1d518]
001dfd68call caml_c_call
001dfd6dadd rsp, 56
001dfd71ret
001dfd72
001dfd72 66 90 f.
001dfd74
001dfd74loc_1dfd74:
001dfd74mov ecx, 3
001dfd79mov rdi, [rdx-8]
001dfd7dshr rdi, 9
001dfd81cmp rdi, rsi
001dfd84jbe 0x1dfe21
001dfd8amov rdi, [rdx+4*rsi-4]
001dfd8fcmp rcx, rdi
001dfd92jg 0x1dfe0b
001dfd94mov [rsp+32], rdi
001dfd99mov [rsp+24], rcx
001dfd9emov [rsp+16], rdx
001dfda3mov [rsp], rsi
001dfda7mov [rsp+8], rbx
001dfdacmov [rsp+48], rax
001dfdb1mov [rsp+40], r8
001dfdb6
001dfdb6loc_1dfdb6:
001dfdb6mov rbx, [rsp+48]
001dfdbbmov rax, [rbx-8]
001dfdbfshr rax, 9
001dfdc3mov rsi, [rsp]
001dfdc7cmp rax, rsi
001dfdcajbe 0x1dfe1c
001dfdccmov [rbx+4*rsi-4], rcx
001dfdd1add rsi, -2
001dfdd5mov rax, [rsp+40]
001dfddamov rdi, [rsp+8]
001dfddfmov rdx, [rsp+16]
001dfde4call Stdlib.Bigarray.floop
001dfde9mov rcx, [rsp+24]
001dfdeemov rax, rcx
001dfdf1add rcx, 2
001dfdf5mov [rsp+24], rcx
001dfdfamov rbx, [rsp+32]
001dfdffcmp rax, rbx
001dfe02je 0x1dfe0b
001dfe04cmp r15, [r14]
001dfe07ja 0x1dfdb6
001dfe09jmp 0x1dfe15
001dfe0b
001dfe0bloc_1dfe0b:
001dfe0bmov eax, 1
001dfe10add rsp, 56
001dfe14ret
001dfe15
001dfe15loc_1dfe15:
001dfe15call caml_call_gc
001dfe1ajmp 0x1dfdb6
001dfe1c
001dfe1cloc_1dfe1c:
001dfe1ccall caml_ml_array_bound_error
001dfe21
001dfe21loc_1dfe21:
001dfe21call caml_ml_array_bound_error
001dfe26
001dfe26loc_1dfe26:
001dfe26push 40
001dfe28call caml_call_realloc_stack
001dfe2dpop r10
001dfe2fjmp 0x1dfd32
001dfd20

001dfe34
001dfe34 // align 0x10

001dfe40
001dfe40Stdlib.Bigarray.init:
001dfe40lea r10, [rsp-352]
001dfe48cmp r10, [r14+40]
001dfe4cjb 0x1dff0f
001dfe52
001dfe52loc_1dfe52:
001dfe52sub rsp, 32
001dfe56mov [rsp], rbx
001dfe5amov rdx, rdi
001dfe5dmov [rsp+16], rdx
001dfe62mov [rsp+8], rsi
001dfe67mov rdi, rax
001dfe6amov rsi, rbx
001dfe6dlea rax, [rip+0x1cd6c]
001dfe74call caml_c_call
001dfe79mov [rsp+24], rax
001dfe7emov rax, [rsp+16]
001dfe83mov rdi, [rax-8]
001dfe87shr rdi, 9
001dfe8bor rdi, 1
001dfe8fmov rax, [rsp]
001dfe93cmp rax, 1
001dfe97je 0x1dfed8
001dfe99mov [rsp], rdi
001dfe9dmov esi, 3
001dfea2lea rax, [rip+0x19df7]
001dfea9call caml_c_call
001dfeaemov rbx, rax
001dfeb1mov rsi, [rsp]
001dfeb5add rsi, -2
001dfeb9mov rax, [rsp+24]
001dfebemov rdi, [rsp+8]
001dfec3mov rdx, [rsp+16]
001dfec8call Stdlib.Bigarray.floop
001dfecdmov rax, [rsp+24]
001dfed2add rsp, 32
001dfed6ret
001dfed7
001dfed7 90 .
001dfed8
001dfed8loc_1dfed8:
001dfed8mov esi, 1
001dfeddlea rax, [rip+0x19dbc]
001dfee4call caml_c_call
001dfee9mov rbx, rax
001dfeecmov esi, 1
001dfef1mov rax, [rsp+24]
001dfef6mov rdi, [rsp+8]
001dfefbmov rdx, [rsp+16]
001dff00call Stdlib.Bigarray.cloop
001dff05mov rax, [rsp+24]
001dff0aadd rsp, 32
001dff0eret
001dff0f
001dff0floc_1dff0f:
001dff0fpush 37
001dff11call caml_call_realloc_stack
001dff16pop r10
001dff18jmp 0x1dfe52
001dfe40

001dff1d
001dff1d // align 0x10

001dff20
001dff20Stdlib.Bigarray.dims:
001dff20sub rsp, 32
001dff24mov [rsp+8], rax
001dff29mov rdi, rax
001dff2clea rax, [rip+0x1d4ad]
001dff33call caml_c_call
001dff38mov [rsp], rax
001dff3cmov esi, 1
001dff41mov rdi, rax
001dff44lea rax, [rip+0x19d55]
001dff4bcall caml_c_call
001dff50mov rbx, rax
001dff53mov esi, 1
001dff58mov rax, [rsp]
001dff5cadd rax, -2
001dff60cmp rsi, rax
001dff63jg 0x1dffbc
001dff65mov [rsp+24], rax
001dff6amov [rsp+16], rsi
001dff6fmov [rsp], rbx
001dff73
001dff73loc_1dff73:
001dff73mov rdi, [rsp+8]
001dff78lea rax, [rip+0x1d471]
001dff7fcall caml_c_call
001dff84mov rbx, [rsp]
001dff88mov rdi, [rbx-8]
001dff8cshr rdi, 9
001dff90mov rsi, [rsp+16]
001dff95cmp rdi, rsi
001dff98jbe 0x1dffcb
001dff9amov [rbx+4*rsi-4], rax
001dff9fmov rax, rsi
001dffa2add rsi, 2
001dffa6mov [rsp+16], rsi
001dffabmov rdi, [rsp+24]
001dffb0cmp rax, rdi
001dffb3je 0x1dffbc
001dffb5cmp r15, [r14]
001dffb8ja 0x1dff73
001dffbajmp 0x1dffc4
001dffbc
001dffbcloc_1dffbc:
001dffbcmov rax, rbx
001dffbfadd rsp, 32
001dffc3ret
001dffc4
001dffc4loc_1dffc4:
001dffc4call caml_call_gc
001dffc9jmp 0x1dff73
001dffcb
001dffcbloc_1dffcb:
001dffcbcall caml_ml_array_bound_error
001dff20

001dffd0
001dffd0Stdlib.Bigarray.size_in_bytes:
001dffd0lea r10, [rsp-336]
001dffd8cmp r10, [r14+40]
001dffdcjb 0x1e0030
001dffde
001dffdeloc_1dffde:
001dffdesub rsp, 16
001dffe2mov [rsp], rax
001dffe6call Stdlib.Bigarray.dims
001dffebmov rdi, rax
001dffeemov ebx, 3
001dfff3lea rax, [rip+0x185616]
001dfffacall Stdlib.Array.fold_left
001dffffsar rax, 1
001e0002mov [rsp+8], rax
001e0007mov rdi, [rsp]
001e000blea rax, [rip+0x1d49e]
001e0012call caml_c_call
001e0017call Stdlib.Bigarray.kind_size_in_bytes
001e001cdec rax
001e001fmov rbx, [rsp+8]
001e0024imul rax, rbx
001e0028inc rax
001e002badd rsp, 16
001e002fret
001e0030
001e0030loc_1e0030:
001e0030push 35
001e0032call caml_call_realloc_stack
001e0037pop r10
001e0039jmp 0x1dffde
001dffd0

001e003b
001e003b // align 0x10

001e0040
001e0040Stdlib.Bigarray.fun:
001e0040sar rbx, 1
001e0043dec rax
001e0046imul rax, rbx
001e004ainc rax
001e004dret
001e0040

001e004e
001e004e // align 0x10

001e0050
001e0050Stdlib.Bigarray.fun:
001e0050mov rdi, rax
001e0053mov rsi, rbx
001e0056lea rax, [rip+0x1d783]
001e005dcall caml_c_call
001e0062ret
001e0050

001e0063
001e0063 // align 0x10

001e0070
001e0070Stdlib.Bigarray.create:
001e0070lea rdx, [rip+0x185f09]
001e0077mov rdi, rax
001e007amov rsi, rbx
001e007dlea rax, [rip+0x1cb5c]
001e0084call caml_c_call
001e0089ret
001e0070

001e008a
001e008a // align 0x10

001e0090
001e0090Stdlib.Bigarray.get:
001e0090lea rsi, [rip+0x185ee9]
001e0097mov rdi, rax
001e009alea rax, [rip+0x1cfaf]
001e00a1call caml_c_call
001e00a6ret
001e0090

001e00a7
001e00a7 // align 0x10

001e00b0
001e00b0Stdlib.Bigarray.fun:
001e00b0mov rdx, rdi
001e00b3mov rdi, rax
001e00b6mov rsi, rbx
001e00b9lea rax, [rip+0x1d1c0]
001e00c0call caml_c_call
001e00c5ret
001e00b0

001e00c6
001e00c6 // align 0x10

001e00d0
001e00d0Stdlib.Bigarray.set:
001e00d0lea rbx, [rip+0x185ea9]
001e00d7lea rdi, [rip+0x185552]
001e00desub r15, 48
001e00e2cmp r15, [r14]
001e00e5jb 0x1e011b
001e00e7
001e00e7loc_1e00e7:
001e00e7lea rsi, [r15+8]
001e00ebmov [rsi-8], 5367
001e00f3lea rdx, [rip+54]
001e00famov [rsi], rdx
001e00fdmov rdx, 0x100000000000005
001e0107mov [rsi+8], rdx
001e010bmov [rsi+16], rax
001e010fmov [rsi+24], rbx
001e0113mov [rsi+32], rdi
001e0117mov rax, rsi
001e011aret
001e011b
001e011bloc_1e011b:
001e011bcall caml_call_gc
001e0120jmp 0x1e00e7
001e00d0

001e0122
001e0122 // align 0x10

001e0130
001e0130Stdlib.Bigarray.fun:
001e0130mov rsi, [rbx+24]
001e0134mov rdi, [rbx+16]
001e0138mov rdx, rax
001e013blea rax, [rip+0x1d13e]
001e0142call caml_c_call
001e0147ret
001e0130

001e0148
001e0148 // align 0x10

001e0150
001e0150Stdlib.Bigarray.size_in_bytes:
001e0150mov rdi, rax
001e0153lea rax, [rip+0x1d356]
001e015acall caml_c_call
001e015fjmp 0x1dfba0
001e0150

001e0164
001e0164 // align 0x10

001e0170
001e0170Stdlib.Bigarray.of_value:
001e0170lea r10, [rsp-336]
001e0178cmp r10, [r14+40]
001e017cjb 0x1e01b3
001e017e
001e017eloc_1e017e:
001e017esub rsp, 16
001e0182mov [rsp], rdi
001e0186call Stdlib.Bigarray.create
001e018bmov [rsp+8], rax
001e0190mov rbx, [rsp]
001e0194mov [rsp], rbx
001e0198call Stdlib.Bigarray.set
001e019dmov rbx, rax
001e01a0mov rdi, [rbx]
001e01a3mov rax, [rsp]
001e01a7call rdi
001e01a9mov rax, [rsp+8]
001e01aeadd rsp, 16
001e01b2ret
001e01b3
001e01b3loc_1e01b3:
001e01b3push 35
001e01b5call caml_call_realloc_stack
001e01bapop r10
001e01bcjmp 0x1e017e
001e0170

001e01be
001e01be // align 0x10

001e01c0
001e01c0Stdlib.Bigarray.fun:
001e01c0mov rdi, rax
001e01c3mov rsi, rbx
001e01c6lea rax, [rip+0x1d613]
001e01cdcall caml_c_call
001e01d2ret
001e01c0

001e01d3
001e01d3 // align 0x10

001e01e0
001e01e0Stdlib.Bigarray.create:
001e01e0sub r15, 16
001e01e4cmp r15, [r14]
001e01e7jb 0x1e020b
001e01e9
001e01e9loc_1e01e9:
001e01e9lea rdx, [r15+8]
001e01edmov [rdx-8], 1024
001e01f5mov [rdx], rdi
001e01f8mov rdi, rax
001e01fbmov rsi, rbx
001e01felea rax, [rip+0x1c9db]
001e0205call caml_c_call
001e020aret
001e020b
001e020bloc_1e020b:
001e020bcall caml_call_gc
001e0210jmp 0x1e01e9
001e01e0

001e0212
001e0212 // align 0x10

001e0220
001e0220Stdlib.Bigarray.size_in_bytes:
001e0220lea r10, [rsp-328]
001e0228cmp r10, [r14+40]
001e022cjb 0x1e0267
001e022e
001e022eloc_1e022e:
001e022esub rsp, 8
001e0232mov rbx, [rax+40]
001e0236shl rbx, 1
001e0239sar rbx, 1
001e023cmov [rsp], rbx
001e0240mov rdi, rax
001e0243lea rax, [rip+0x1d266]
001e024acall caml_c_call
001e024fcall Stdlib.Bigarray.kind_size_in_bytes
001e0254dec rax
001e0257mov rbx, [rsp]
001e025bimul rax, rbx
001e025finc rax
001e0262add rsp, 8
001e0266ret
001e0267
001e0267loc_1e0267:
001e0267push 34
001e0269call caml_call_realloc_stack
001e026epop r10
001e0270jmp 0x1e022e
001e0220

001e0272
001e0272 // align 0x10

001e0280
001e0280Stdlib.Bigarray.slice:
001e0280sub rsp, 16
001e0284mov [rsp+8], rax
001e0289mov [rsp], rbx
001e028dmov rdi, rax
001e0290lea rax, [rip+0x1d239]
001e0297call caml_c_call
001e029csub r15, 16
001e02a0cmp r15, [r14]
001e02a3jb 0x1e02ce
001e02a5
001e02a5loc_1e02a5:
001e02a5lea rsi, [r15+8]
001e02a9mov [rsi-8], 1024
001e02b1mov rax, [rsp]
001e02b5mov [rsi], rax
001e02b8mov rdi, [rsp+8]
001e02bdlea rax, [rip+0x1d23c]
001e02c4call caml_c_call
001e02c9add rsp, 16
001e02cdret
001e02ce
001e02celoc_1e02ce:
001e02cecall caml_call_gc
001e02d3jmp 0x1e02a5
001e0280

001e02d5
001e02d5 // align 0x10

001e02e0
001e02e0Stdlib.Bigarray.c_init:
001e02e0lea r10, [rsp-352]
001e02e8cmp r10, [r14+40]
001e02ecjb 0x1e036b
001e02ee
001e02eeloc_1e02ee:
001e02eesub rsp, 32
001e02f2mov rsi, rax
001e02f5mov eax, 1
001e02faadd rbx, -2
001e02fecmp rax, rbx
001e0301jg 0x1e035a
001e0303mov [rsp+24], rbx
001e0308mov [rsp+16], rax
001e030dmov [rsp], rdi
001e0311mov [rsp+8], rsi
001e0316
001e0316loc_1e0316:
001e0316mov rbx, [rsp]
001e031amov rdi, [rbx]
001e031dcall rdi
001e031fmov rdi, [rsp+8]
001e0324mov rsi, [rsp+16]
001e0329mov rdx, rax
001e032clea rax, [rip+0x1ce4d]
001e0333call caml_c_call
001e0338mov rax, [rsp+16]
001e033dmov rbx, rax
001e0340add rax, 2
001e0344mov [rsp+16], rax
001e0349mov rdi, [rsp+24]
001e034ecmp rbx, rdi
001e0351je 0x1e035a
001e0353cmp r15, [r14]
001e0356ja 0x1e0316
001e0358jmp 0x1e0364
001e035a
001e035aloc_1e035a:
001e035amov eax, 1
001e035fadd rsp, 32
001e0363ret
001e0364
001e0364loc_1e0364:
001e0364call caml_call_gc
001e0369jmp 0x1e0316
001e036b
001e036bloc_1e036b:
001e036bpush 37
001e036dcall caml_call_realloc_stack
001e0372pop r10
001e0374jmp 0x1e02ee
001e02e0

001e0379
001e0379 // align 0x10

001e0380
001e0380Stdlib.Bigarray.fortran_init:
001e0380lea r10, [rsp-352]
001e0388cmp r10, [r14+40]
001e038cjb 0x1e0407
001e038e
001e038eloc_1e038e:
001e038esub rsp, 32
001e0392mov rsi, rax
001e0395mov eax, 3
001e039acmp rax, rbx
001e039djg 0x1e03f6
001e039fmov [rsp+24], rbx
001e03a4mov [rsp+16], rax
001e03a9mov [rsp], rdi
001e03admov [rsp+8], rsi
001e03b2
001e03b2loc_1e03b2:
001e03b2mov rbx, [rsp]
001e03b6mov rdi, [rbx]
001e03b9call rdi
001e03bbmov rdi, [rsp+8]
001e03c0mov rsi, [rsp+16]
001e03c5mov rdx, rax
001e03c8lea rax, [rip+0x1cdb1]
001e03cfcall caml_c_call
001e03d4mov rax, [rsp+16]
001e03d9mov rbx, rax
001e03dcadd rax, 2
001e03e0mov [rsp+16], rax
001e03e5mov rdi, [rsp+24]
001e03eacmp rbx, rdi
001e03edje 0x1e03f6
001e03efcmp r15, [r14]
001e03f2ja 0x1e03b2
001e03f4jmp 0x1e0400
001e03f6
001e03f6loc_1e03f6:
001e03f6mov eax, 1
001e03fbadd rsp, 32
001e03ffret
001e0400
001e0400loc_1e0400:
001e0400call caml_call_gc
001e0405jmp 0x1e03b2
001e0407
001e0407loc_1e0407:
001e0407push 37
001e0409call caml_call_realloc_stack
001e040epop r10
001e0410jmp 0x1e038e
001e0380

001e0415
001e0415 // align 0x10

001e0420
001e0420Stdlib.Bigarray.init:
001e0420lea r10, [rsp-352]
001e0428cmp r10, [r14+40]
001e042cjb 0x1e0489
001e042e
001e042eloc_1e042e:
001e042esub rsp, 32
001e0432mov [rsp], rbx
001e0436mov [rsp+8], rdi
001e043bmov [rsp+16], rsi
001e0440call Stdlib.Bigarray.create
001e0445mov [rsp+24], rax
001e044amov rbx, [rsp]
001e044ecmp rbx, 1
001e0452je 0x1e0470
001e0454mov rbx, [rsp+8]
001e0459mov rdi, [rsp+16]
001e045ecall Stdlib.Bigarray.fortran_init
001e0463mov rax, [rsp+24]
001e0468add rsp, 32
001e046cret
001e046d
001e046d 0f 1f 00 ...
001e0470
001e0470loc_1e0470:
001e0470mov rbx, [rsp+8]
001e0475mov rdi, [rsp+16]
001e047acall Stdlib.Bigarray.c_init
001e047fmov rax, [rsp+24]
001e0484add rsp, 32
001e0488ret
001e0489
001e0489loc_1e0489:
001e0489push 37
001e048bcall caml_call_realloc_stack
001e0490pop r10
001e0492jmp 0x1e042e
001e0420

001e0494
001e0494 // align 0x10

001e04a0
001e04a0Stdlib.Bigarray.of_array:
001e04a0lea r10, [rsp-360]
001e04a8cmp r10, [r14+40]
001e04acjb 0x1e05bf
001e04b2
001e04b2loc_1e04b2:
001e04b2sub rsp, 40
001e04b6mov [rsp], rbx
001e04bamov [rsp+8], rdi
001e04bfmov rdi, [rdi-8]
001e04c3shr rdi, 9
001e04c7or rdi, 1
001e04cbcall Stdlib.Bigarray.create
001e04d0mov [rsp+16], rax
001e04d5mov rbx, [rsp]
001e04d9mov eax, 1
001e04demov rsi, [rsp+8]
001e04e3mov rdi, [rsi-8]
001e04e7shr rdi, 9
001e04ebor rdi, 1
001e04efadd rdi, -2
001e04f3cmp rax, rdi
001e04f6jg 0x1e059f
001e04fcmov [rsp+32], rdi
001e0501mov [rsp+24], rax
001e0506mov [rsp], rbx
001e050amov [rsp+8], rsi
001e050f
001e050floc_1e050f:
001e050fmov rsi, [rsp+8]
001e0514mov rbx, [rsi-8]
001e0518mov rdi, rbx
001e051bshr rdi, 9
001e051fcmp rdi, rax
001e0522jbe 0x1e05ba
001e0528and rbx, 255
001e052fcmp rbx, 254
001e0536je 0x1e0540
001e0538mov rdx, [rsi+4*rax-4]
001e053djmp 0x1e055f
001e053f
001e053f 90 .
001e0540
001e0540loc_1e0540:
001e0540sub r15, 16
001e0544cmp r15, [r14]
001e0547jb 0x1e05b3
001e0549
001e0549loc_1e0549:
001e0549lea rdx, [r15+8]
001e054dmov [rdx-8], 1277
001e0555movsd_xmm x0, [rsi+4*rax-4]
001e055bmovsd_xmm [rdx], x0
001e055f
001e055floc_1e055f:
001e055fmov rbx, [rsp]
001e0563lea rsi, [rax+rbx-1]
001e0568mov rdi, [rsp+16]
001e056dlea rax, [rip+0x1cc0c]
001e0574call caml_c_call
001e0579mov rax, [rsp+24]
001e057emov rbx, rax
001e0581add rax, 2
001e0585mov [rsp+24], rax
001e058amov rdi, [rsp+32]
001e058fcmp rbx, rdi
001e0592je 0x1e059f
001e0594cmp r15, [r14]
001e0597ja 0x1e050f
001e059djmp 0x1e05a9
001e059f
001e059floc_1e059f:
001e059fmov rax, [rsp+16]
001e05a4add rsp, 40
001e05a8ret
001e05a9
001e05a9loc_1e05a9:
001e05a9call caml_call_gc
001e05aejmp 0x1e050f
001e05b3
001e05b3loc_1e05b3:
001e05b3call caml_call_gc
001e05b8jmp 0x1e0549
001e05ba
001e05baloc_1e05ba:
001e05bacall caml_ml_array_bound_error
001e05bf
001e05bfloc_1e05bf:
001e05bfpush 38
001e05c1call caml_call_realloc_stack
001e05c6pop r10
001e05c8jmp 0x1e04b2
001e04a0

001e05cd
001e05cd // align 0x10

001e05d0
001e05d0Stdlib.Bigarray.fun:
001e05d0mov rdi, rax
001e05d3mov rsi, rbx
001e05d6lea rax, [rip+0x1d203]
001e05ddcall caml_c_call
001e05e2ret
001e05d0

001e05e3
001e05e3 // align 0x10

001e05f0
001e05f0Stdlib.Bigarray.create:
001e05f0sub r15, 24
001e05f4cmp r15, [r14]
001e05f7jb 0x1e061f
001e05f9
001e05f9loc_1e05f9:
001e05f9lea rdx, [r15+8]
001e05fdmov [rdx-8], 2048
001e0605mov [rdx], rdi
001e0608mov [rdx+8], rsi
001e060cmov rdi, rax
001e060fmov rsi, rbx
001e0612lea rax, [rip+0x1c5c7]
001e0619call caml_c_call
001e061eret
001e061f
001e061floc_1e061f:
001e061fcall caml_call_gc
001e0624jmp 0x1e05f9
001e05f0

001e0626
001e0626 // align 0x10

001e0630
001e0630Stdlib.Bigarray.size_in_bytes:
001e0630lea r10, [rsp-336]
001e0638cmp r10, [r14+40]
001e063cjb 0x1e068f
001e063e
001e063eloc_1e063e:
001e063esub rsp, 16
001e0642mov rbx, [rax+48]
001e0646shl rbx, 1
001e0649sar rbx, 1
001e064cmov [rsp+8], rbx
001e0651mov rbx, [rax+40]
001e0655shl rbx, 1
001e0658sar rbx, 1
001e065bmov [rsp], rbx
001e065fmov rdi, rax
001e0662lea rax, [rip+0x1ce47]
001e0669call caml_c_call
001e066ecall Stdlib.Bigarray.kind_size_in_bytes
001e0673dec rax
001e0676mov rbx, [rsp]
001e067aimul rax, rbx
001e067emov rbx, [rsp+8]
001e0683imul rax, rbx
001e0687inc rax
001e068aadd rsp, 16
001e068eret
001e068f
001e068floc_1e068f:
001e068fpush 35
001e0691call caml_call_realloc_stack
001e0696pop r10
001e0698jmp 0x1e063e
001e0630

001e069a
001e069a // align 0x10

001e06a0
001e06a0Stdlib.Bigarray.slice_left:
001e06a0sub r15, 16
001e06a4cmp r15, [r14]
001e06a7jb 0x1e06c8
001e06a9
001e06a9loc_1e06a9:
001e06a9lea rsi, [r15+8]
001e06admov [rsi-8], 1024
001e06b5mov [rsi], rbx
001e06b8mov rdi, rax
001e06bblea rax, [rip+0x1ce3e]
001e06c2call caml_c_call
001e06c7ret
001e06c8
001e06c8loc_1e06c8:
001e06c8call caml_call_gc
001e06cdjmp 0x1e06a9
001e06a0

001e06cf
001e06cf // align 0x10

001e06d0
001e06d0Stdlib.Bigarray.slice_right:
001e06d0sub r15, 16
001e06d4cmp r15, [r14]
001e06d7jb 0x1e06f8
001e06d9
001e06d9loc_1e06d9:
001e06d9lea rsi, [r15+8]
001e06ddmov [rsi-8], 1024
001e06e5mov [rsi], rbx
001e06e8mov rdi, rax
001e06eblea rax, [rip+0x1ce0e]
001e06f2call caml_c_call
001e06f7ret
001e06f8
001e06f8loc_1e06f8:
001e06f8call caml_call_gc
001e06fdjmp 0x1e06d9
001e06d0

001e06ff
001e06ff // align 0x10

001e0700
001e0700Stdlib.Bigarray.c_init:
001e0700lea r10, [rsp-376]
001e0708cmp r10, [r14+40]
001e070cjb 0x1e07ef
001e0712
001e0712loc_1e0712:
001e0712sub rsp, 56
001e0716mov edx, 1
001e071badd rbx, -2
001e071fcmp rdx, rbx
001e0722jg 0x1e07d1
001e0728mov [rsp+8], rbx
001e072dmov [rsp+32], rdx
001e0732mov [rsp+16], rsi
001e0737mov [rsp], rdi
001e073bmov [rsp+24], rax
001e0740
001e0740loc_1e0740:
001e0740mov ebx, 1
001e0745mov [rsp+40], rbx
001e074amov rax, [rsp]
001e074eadd rax, -2
001e0752mov [rsp+48], rax
001e0757cmp rbx, rax
001e075ajg 0x1e07ab
001e075c
001e075cloc_1e075c:
001e075cmov rax, [rsp+32]
001e0761mov rdi, [rsp+16]
001e0766call caml_apply2
001e076bmov rdi, [rsp+24]
001e0770mov rsi, [rsp+32]
001e0775mov rdx, [rsp+40]
001e077amov rcx, rax
001e077dlea rax, [rip+0x1ca2c]
001e0784call caml_c_call
001e0789mov rbx, [rsp+40]
001e078emov rax, rbx
001e0791add rbx, 2
001e0795mov [rsp+40], rbx
001e079amov rdi, [rsp+48]
001e079fcmp rax, rdi
001e07a2je 0x1e07ab
001e07a4cmp r15, [r14]
001e07a7ja 0x1e075c
001e07a9jmp 0x1e07e5
001e07ab
001e07abloc_1e07ab:
001e07abmov rbx, [rsp+32]
001e07b0mov rax, rbx
001e07b3add rbx, 2
001e07b7mov [rsp+32], rbx
001e07bcmov rbx, [rsp+8]
001e07c1cmp rax, rbx
001e07c4je 0x1e07d1
001e07c6cmp r15, [r14]
001e07c9ja 0x1e0740
001e07cfjmp 0x1e07db
001e07d1
001e07d1loc_1e07d1:
001e07d1mov eax, 1
001e07d6add rsp, 56
001e07daret
001e07db
001e07dbloc_1e07db:
001e07dbcall caml_call_gc
001e07e0jmp 0x1e0740
001e07e5
001e07e5loc_1e07e5:
001e07e5call caml_call_gc
001e07eajmp 0x1e075c
001e07ef
001e07efloc_1e07ef:
001e07efpush 40
001e07f1call caml_call_realloc_stack
001e07f6pop r10
001e07f8jmp 0x1e0712
001e0700

001e07fd
001e07fd // align 0x10

001e0800
001e0800Stdlib.Bigarray.fortran_init:
001e0800lea r10, [rsp-376]
001e0808cmp r10, [r14+40]
001e080cjb 0x1e08e7
001e0812
001e0812loc_1e0812:
001e0812sub rsp, 56
001e0816mov edx, 3
001e081bcmp rdx, rdi
001e081ejg 0x1e08c9
001e0824mov [rsp+8], rdi
001e0829mov [rsp+32], rdx
001e082emov [rsp+16], rsi
001e0833mov [rsp], rbx
001e0837mov [rsp+24], rax
001e083c
001e083cloc_1e083c:
001e083cmov eax, 3
001e0841mov [rsp+40], rax
001e0846mov rbx, [rsp]
001e084amov [rsp+48], rbx
001e084fcmp rax, rbx
001e0852jg 0x1e08a3
001e0854
001e0854loc_1e0854:
001e0854mov rbx, [rsp+32]
001e0859mov rdi, [rsp+16]
001e085ecall caml_apply2
001e0863mov rdi, [rsp+24]
001e0868mov rsi, [rsp+40]
001e086dmov rdx, [rsp+32]
001e0872mov rcx, rax
001e0875lea rax, [rip+0x1c934]
001e087ccall caml_c_call
001e0881mov rax, [rsp+40]
001e0886mov rbx, rax
001e0889add rax, 2
001e088dmov [rsp+40], rax
001e0892mov rdi, [rsp+48]
001e0897cmp rbx, rdi
001e089aje 0x1e08a3
001e089ccmp r15, [r14]
001e089fja 0x1e0854
001e08a1jmp 0x1e08dd
001e08a3
001e08a3loc_1e08a3:
001e08a3mov rbx, [rsp+32]
001e08a8mov rax, rbx
001e08abadd rbx, 2
001e08afmov [rsp+32], rbx
001e08b4mov rbx, [rsp+8]
001e08b9cmp rax, rbx
001e08bcje 0x1e08c9
001e08becmp r15, [r14]
001e08c1ja 0x1e083c
001e08c7jmp 0x1e08d3
001e08c9
001e08c9loc_1e08c9:
001e08c9mov eax, 1
001e08ceadd rsp, 56
001e08d2ret
001e08d3
001e08d3loc_1e08d3:
001e08d3call caml_call_gc
001e08d8jmp 0x1e083c
001e08dd
001e08ddloc_1e08dd:
001e08ddcall caml_call_gc
001e08e2jmp 0x1e0854
001e08e7
001e08e7loc_1e08e7:
001e08e7push 40
001e08e9call caml_call_realloc_stack
001e08eepop r10
001e08f0jmp 0x1e0812
001e0800

001e08f5
001e08f5 // align 0x10

001e0900
001e0900Stdlib.Bigarray.init:
001e0900lea r10, [rsp-360]
001e0908cmp r10, [r14+40]
001e090cjb 0x1e0976
001e090e
001e090eloc_1e090e:
001e090esub rsp, 40
001e0912mov [rsp], rbx
001e0916mov [rsp+8], rdi
001e091bmov [rsp+16], rsi
001e0920mov [rsp+24], rdx
001e0925call Stdlib.Bigarray.create
001e092amov [rsp+32], rax
001e092fmov rbx, [rsp]
001e0933cmp rbx, 1
001e0937je 0x1e0958
001e0939mov rbx, [rsp+8]
001e093emov rdi, [rsp+16]
001e0943mov rsi, [rsp+24]
001e0948call Stdlib.Bigarray.fortran_init
001e094dmov rax, [rsp+32]
001e0952add rsp, 40
001e0956ret
001e0957
001e0957 90 .
001e0958
001e0958loc_1e0958:
001e0958mov rbx, [rsp+8]
001e095dmov rdi, [rsp+16]
001e0962mov rsi, [rsp+24]
001e0967call Stdlib.Bigarray.c_init
001e096cmov rax, [rsp+32]
001e0971add rsp, 40
001e0975ret
001e0976
001e0976loc_1e0976:
001e0976push 38
001e0978call caml_call_realloc_stack
001e097dpop r10
001e097fjmp 0x1e090e
001e0900

001e0981
001e0981 // align 0x10

001e0990
001e0990Stdlib.Bigarray.of_array:
001e0990lea r10, [rsp-392]
001e0998cmp r10, [r14+40]
001e099cjb 0x1e0b8a
001e09a2
001e09a2loc_1e09a2:
001e09a2sub rsp, 72
001e09a6mov [rsp], rbx
001e09aamov rsi, rdi
001e09admov [rsp+16], rsi
001e09b2mov rdx, [rsi-8]
001e09b6mov rdi, rdx
001e09b9shr rdi, 9
001e09bdor rdi, 1
001e09c1mov [rsp+8], rdi
001e09c6cmp rdi, 1
001e09cajne 0x1e09d8
001e09ccmov esi, 1
001e09d1mov [rsp+24], rsi
001e09d6jmp 0x1e09f9
001e09d8
001e09d8loc_1e09d8:
001e09d8cmp rdx, 1023
001e09dfjbe 0x1e0b85
001e09e5mov rsi, [rsi]
001e09e8mov rsi, [rsi-8]
001e09ecshr rsi, 9
001e09f0or rsi, 1
001e09f4mov [rsp+24], rsi
001e09f9
001e09f9loc_1e09f9:
001e09f9call Stdlib.Bigarray.create
001e09femov [rsp+48], rax
001e0a03mov rax, [rsp]
001e0a07mov ebx, 1
001e0a0cmov rdi, [rsp+8]
001e0a11add rdi, -2
001e0a15cmp rbx, rdi
001e0a18jg 0x1e0b53
001e0a1emov [rsp], rdi
001e0a22mov [rsp+40], rbx
001e0a27mov [rsp+32], rax
001e0a2c
001e0a2cloc_1e0a2c:
001e0a2cmov rdi, [rsp+16]
001e0a31mov rax, [rdi-8]
001e0a35shr rax, 9
001e0a39cmp rax, rbx
001e0a3cjbe 0x1e0b80
001e0a42mov rax, [rdi+4*rbx-4]
001e0a47mov [rsp+8], rax
001e0a4cmov rax, [rax-8]
001e0a50shr rax, 9
001e0a54or rax, 1
001e0a58mov rbx, [rsp+24]
001e0a5dcmp rax, rbx
001e0a60je 0x1e0a6e
001e0a62lea rax, [rip+0x1854df]
001e0a69call camlStdlib.invalid_arg_10
001e0a6e
001e0a6eloc_1e0a6e:
001e0a6emov eax, 1
001e0a73mov [rsp+56], rax
001e0a78mov rbx, [rsp+24]
001e0a7dadd rbx, -2
001e0a81mov [rsp+64], rbx
001e0a86cmp rax, rbx
001e0a89jg 0x1e0b2e
001e0a8f
001e0a8floc_1e0a8f:
001e0a8fmov rsi, [rsp+8]
001e0a94mov rbx, [rsi-8]
001e0a98mov rdi, rbx
001e0a9bshr rdi, 9
001e0a9fcmp rdi, rax
001e0aa2jbe 0x1e0b7b
001e0aa8and rbx, 255
001e0aafcmp rbx, 254
001e0ab6je 0x1e0ac0
001e0ab8mov rcx, [rsi+4*rax-4]
001e0abdjmp 0x1e0ae3
001e0abf
001e0abf 90 .
001e0ac0
001e0ac0loc_1e0ac0:
001e0ac0sub r15, 16
001e0ac4cmp r15, [r14]
001e0ac7jb 0x1e0b71
001e0acd
001e0acdloc_1e0acd:
001e0acdlea rcx, [r15+8]
001e0ad1mov [rcx-8], 1277
001e0ad9movsd_xmm x0, [rsi+4*rax-4]
001e0adfmovsd_xmm [rcx], x0
001e0ae3
001e0ae3loc_1e0ae3:
001e0ae3mov rbx, [rsp+32]
001e0ae8lea rdx, [rax+rbx-1]
001e0aedmov rax, [rsp+40]
001e0af2lea rsi, [rax+rbx-1]
001e0af7mov rdi, [rsp+48]
001e0afclea rax, [rip+0x1c6ad]
001e0b03call caml_c_call
001e0b08mov rax, [rsp+56]
001e0b0dmov rbx, rax
001e0b10add rax, 2
001e0b14mov [rsp+56], rax
001e0b19mov rdi, [rsp+64]
001e0b1ecmp rbx, rdi
001e0b21je 0x1e0b2e
001e0b23cmp r15, [r14]
001e0b26ja 0x1e0a8f
001e0b2cjmp 0x1e0b67
001e0b2e
001e0b2eloc_1e0b2e:
001e0b2emov rbx, [rsp+40]
001e0b33mov rax, rbx
001e0b36add rbx, 2
001e0b3amov [rsp+40], rbx
001e0b3fmov rdi, [rsp]
001e0b43cmp rax, rdi
001e0b46je 0x1e0b53
001e0b48cmp r15, [r14]
001e0b4bja 0x1e0a2c
001e0b51jmp 0x1e0b5d
001e0b53
001e0b53loc_1e0b53:
001e0b53mov rax, [rsp+48]
001e0b58add rsp, 72
001e0b5cret
001e0b5d
001e0b5dloc_1e0b5d:
001e0b5dcall caml_call_gc
001e0b62jmp 0x1e0a2c
001e0b67
001e0b67loc_1e0b67:
001e0b67call caml_call_gc
001e0b6cjmp 0x1e0a8f
001e0b71
001e0b71loc_1e0b71:
001e0b71call caml_call_gc
001e0b76jmp 0x1e0acd
001e0b7b
001e0b7bloc_1e0b7b:
001e0b7bcall caml_ml_array_bound_error
001e0b80
001e0b80loc_1e0b80:
001e0b80call caml_ml_array_bound_error
001e0b85
001e0b85loc_1e0b85:
001e0b85call caml_ml_array_bound_error
001e0b8a
001e0b8aloc_1e0b8a:
001e0b8apush 42
001e0b8ccall caml_call_realloc_stack
001e0b91pop r10
001e0b93jmp 0x1e09a2
001e0990

001e0b98
001e0b98 // align 0x10

001e0ba0
001e0ba0Stdlib.Bigarray.fun:
001e0ba0mov rdi, rax
001e0ba3mov rsi, rbx
001e0ba6lea rax, [rip+0x1cc33]
001e0badcall caml_c_call
001e0bb2ret
001e0ba0

001e0bb3
001e0bb3 // align 0x10

001e0bc0
001e0bc0Stdlib.Bigarray.create:
001e0bc0sub r15, 32
001e0bc4cmp r15, [r14]
001e0bc7jb 0x1e0bf6
001e0bc9
001e0bc9loc_1e0bc9:
001e0bc9lea rcx, [r15+8]
001e0bcdmov [rcx-8], 3072
001e0bd5mov [rcx], rdi
001e0bd8mov [rcx+8], rsi
001e0bdcmov [rcx+16], rdx
001e0be0mov rdi, rax
001e0be3mov rsi, rbx
001e0be6mov rdx, rcx
001e0be9lea rax, [rip+0x1bff0]
001e0bf0call caml_c_call
001e0bf5ret
001e0bf6
001e0bf6loc_1e0bf6:
001e0bf6call caml_call_gc
001e0bfbjmp 0x1e0bc9
001e0bc0

001e0bfd
001e0bfd // align 0x10

001e0c00
001e0c00Stdlib.Bigarray.size_in_bytes:
001e0c00lea r10, [rsp-344]
001e0c08cmp r10, [r14+40]
001e0c0cjb 0x1e0c77
001e0c0e
001e0c0eloc_1e0c0e:
001e0c0esub rsp, 24
001e0c12mov rbx, [rax+56]
001e0c16shl rbx, 1
001e0c19sar rbx, 1
001e0c1cmov [rsp+16], rbx
001e0c21mov rbx, [rax+48]
001e0c25shl rbx, 1
001e0c28sar rbx, 1
001e0c2bmov [rsp+8], rbx
001e0c30mov rbx, [rax+40]
001e0c34shl rbx, 1
001e0c37sar rbx, 1
001e0c3amov [rsp], rbx
001e0c3emov rdi, rax
001e0c41lea rax, [rip+0x1c868]
001e0c48call caml_c_call
001e0c4dcall Stdlib.Bigarray.kind_size_in_bytes
001e0c52dec rax
001e0c55mov rbx, [rsp]
001e0c59imul rax, rbx
001e0c5dmov rbx, [rsp+8]
001e0c62imul rax, rbx
001e0c66mov rbx, [rsp+16]
001e0c6bimul rax, rbx
001e0c6finc rax
001e0c72add rsp, 24
001e0c76ret
001e0c77
001e0c77loc_1e0c77:
001e0c77push 36
001e0c79call caml_call_realloc_stack
001e0c7epop r10
001e0c80jmp 0x1e0c0e
001e0c00

001e0c82
001e0c82 // align 0x10

001e0c90
001e0c90Stdlib.Bigarray.slice_left_1:
001e0c90sub r15, 24
001e0c94cmp r15, [r14]
001e0c97jb 0x1e0cbc
001e0c99
001e0c99loc_1e0c99:
001e0c99lea rsi, [r15+8]
001e0c9dmov [rsi-8], 2048
001e0ca5mov [rsi], rbx
001e0ca8mov [rsi+8], rdi
001e0cacmov rdi, rax
001e0caflea rax, [rip+0x1c84a]
001e0cb6call caml_c_call
001e0cbbret
001e0cbc
001e0cbcloc_1e0cbc:
001e0cbccall caml_call_gc
001e0cc1jmp 0x1e0c99
001e0c90

001e0cc3
001e0cc3 // align 0x10

001e0cd0
001e0cd0Stdlib.Bigarray.slice_right_1:
001e0cd0sub r15, 24
001e0cd4cmp r15, [r14]
001e0cd7jb 0x1e0cfc
001e0cd9
001e0cd9loc_1e0cd9:
001e0cd9lea rsi, [r15+8]
001e0cddmov [rsi-8], 2048
001e0ce5mov [rsi], rbx
001e0ce8mov [rsi+8], rdi
001e0cecmov rdi, rax
001e0ceflea rax, [rip+0x1c80a]
001e0cf6call caml_c_call
001e0cfbret
001e0cfc
001e0cfcloc_1e0cfc:
001e0cfccall caml_call_gc
001e0d01jmp 0x1e0cd9
001e0cd0

001e0d03
001e0d03 // align 0x10

001e0d10
001e0d10Stdlib.Bigarray.slice_left_2:
001e0d10sub r15, 16
001e0d14cmp r15, [r14]
001e0d17jb 0x1e0d38
001e0d19
001e0d19loc_1e0d19:
001e0d19lea rsi, [r15+8]
001e0d1dmov [rsi-8], 1024
001e0d25mov [rsi], rbx
001e0d28mov rdi, rax
001e0d2blea rax, [rip+0x1c7ce]
001e0d32call caml_c_call
001e0d37ret
001e0d38
001e0d38loc_1e0d38:
001e0d38call caml_call_gc
001e0d3djmp 0x1e0d19
001e0d10

001e0d3f
001e0d3f // align 0x10

001e0d40
001e0d40Stdlib.Bigarray.slice_right_2:
001e0d40sub r15, 16
001e0d44cmp r15, [r14]
001e0d47jb 0x1e0d68
001e0d49
001e0d49loc_1e0d49:
001e0d49lea rsi, [r15+8]
001e0d4dmov [rsi-8], 1024
001e0d55mov [rsi], rbx
001e0d58mov rdi, rax
001e0d5blea rax, [rip+0x1c79e]
001e0d62call caml_c_call
001e0d67ret
001e0d68
001e0d68loc_1e0d68:
001e0d68call caml_call_gc
001e0d6djmp 0x1e0d49
001e0d40

001e0d6f
001e0d6f // align 0x10

001e0d70
001e0d70Stdlib.Bigarray.c_init:
001e0d70lea r10, [rsp-400]
001e0d78cmp r10, [r14+40]
001e0d7cjb 0x1e0ebf
001e0d82
001e0d82loc_1e0d82:
001e0d82sub rsp, 80
001e0d86mov ecx, 1
001e0d8badd rbx, -2
001e0d8fcmp rcx, rbx
001e0d92jg 0x1e0e97
001e0d98mov [rsp+8], rbx
001e0d9dmov [rsp+48], rcx
001e0da2mov [rsp+32], rdx
001e0da7mov [rsp+16], rsi
001e0dacmov [rsp], rdi
001e0db0mov [rsp+40], rax
001e0db5
001e0db5loc_1e0db5:
001e0db5mov eax, 1
001e0dbamov [rsp+56], rax
001e0dbfmov rbx, [rsp]
001e0dc3add rbx, -2
001e0dc7mov [rsp+24], rbx
001e0dcccmp rax, rbx
001e0dcfjg 0x1e0e71
001e0dd5
001e0dd5loc_1e0dd5:
001e0dd5mov edi, 1
001e0ddamov [rsp+64], rdi
001e0ddfmov rax, [rsp+16]
001e0de4add rax, -2
001e0de8mov [rsp+72], rax
001e0dedcmp rdi, rax
001e0df0jg 0x1e0e4b
001e0df2
001e0df2loc_1e0df2:
001e0df2mov rax, [rsp+48]
001e0df7mov rbx, [rsp+56]
001e0dfcmov rsi, [rsp+32]
001e0e01call caml_apply3
001e0e06mov rdi, [rsp+40]
001e0e0bmov rsi, [rsp+48]
001e0e10mov rdx, [rsp+56]
001e0e15mov rcx, [rsp+64]
001e0e1amov r8, rax
001e0e1dlea rax, [rip+0x1c3dc]
001e0e24call caml_c_call
001e0e29mov rdi, [rsp+64]
001e0e2emov rax, rdi
001e0e31add rdi, 2
001e0e35mov [rsp+64], rdi
001e0e3amov rbx, [rsp+72]
001e0e3fcmp rax, rbx
001e0e42je 0x1e0e4b
001e0e44cmp r15, [r14]
001e0e47ja 0x1e0df2
001e0e49jmp 0x1e0eb5
001e0e4b
001e0e4bloc_1e0e4b:
001e0e4bmov rbx, [rsp+56]
001e0e50mov rax, rbx
001e0e53add rbx, 2
001e0e57mov [rsp+56], rbx
001e0e5cmov rbx, [rsp+24]
001e0e61cmp rax, rbx
001e0e64je 0x1e0e71
001e0e66cmp r15, [r14]
001e0e69ja 0x1e0dd5
001e0e6fjmp 0x1e0eab
001e0e71
001e0e71loc_1e0e71:
001e0e71mov rbx, [rsp+48]
001e0e76mov rax, rbx
001e0e79add rbx, 2
001e0e7dmov [rsp+48], rbx
001e0e82mov rbx, [rsp+8]
001e0e87cmp rax, rbx
001e0e8aje 0x1e0e97
001e0e8ccmp r15, [r14]
001e0e8fja 0x1e0db5
001e0e95jmp 0x1e0ea1
001e0e97
001e0e97loc_1e0e97:
001e0e97mov eax, 1
001e0e9cadd rsp, 80
001e0ea0ret
001e0ea1
001e0ea1loc_1e0ea1:
001e0ea1call caml_call_gc
001e0ea6jmp 0x1e0db5
001e0eab
001e0eabloc_1e0eab:
001e0eabcall caml_call_gc
001e0eb0jmp 0x1e0dd5
001e0eb5
001e0eb5loc_1e0eb5:
001e0eb5call caml_call_gc
001e0ebajmp 0x1e0df2
001e0ebf
001e0ebfloc_1e0ebf:
001e0ebfpush 43
001e0ec1call caml_call_realloc_stack
001e0ec6pop r10
001e0ec8jmp 0x1e0d82
001e0d70

001e0ecd
001e0ecd // align 0x10

001e0ed0
001e0ed0Stdlib.Bigarray.fortran_init:
001e0ed0lea r10, [rsp-400]
001e0ed8cmp r10, [r14+40]
001e0edcjb 0x1e1013
001e0ee2
001e0ee2loc_1e0ee2:
001e0ee2sub rsp, 80
001e0ee6mov ecx, 3
001e0eebcmp rcx, rsi
001e0eeejg 0x1e0feb
001e0ef4mov [rsp+8], rsi
001e0ef9mov [rsp+56], rcx
001e0efemov [rsp+32], rdx
001e0f03mov [rsp], rdi
001e0f07mov [rsp+16], rbx
001e0f0cmov [rsp+40], rax
001e0f11
001e0f11loc_1e0f11:
001e0f11mov eax, 3
001e0f16mov [rsp+48], rax
001e0f1bmov rbx, [rsp]
001e0f1fmov [rsp+24], rbx
001e0f24cmp rax, rbx
001e0f27jg 0x1e0fc5
001e0f2d
001e0f2dloc_1e0f2d:
001e0f2dmov eax, 3
001e0f32mov [rsp+64], rax
001e0f37mov rbx, [rsp+16]
001e0f3cmov [rsp+72], rbx
001e0f41cmp rax, rbx
001e0f44jg 0x1e0f9f
001e0f46
001e0f46loc_1e0f46:
001e0f46mov rbx, [rsp+48]
001e0f4bmov rdi, [rsp+56]
001e0f50mov rsi, [rsp+32]
001e0f55call caml_apply3
001e0f5amov rdi, [rsp+40]
001e0f5fmov rsi, [rsp+64]
001e0f64mov rdx, [rsp+48]
001e0f69mov rcx, [rsp+56]
001e0f6emov r8, rax
001e0f71lea rax, [rip+0x1c288]
001e0f78call caml_c_call
001e0f7dmov rax, [rsp+64]
001e0f82mov rbx, rax
001e0f85add rax, 2
001e0f89mov [rsp+64], rax
001e0f8emov rdi, [rsp+72]
001e0f93cmp rbx, rdi
001e0f96je 0x1e0f9f
001e0f98cmp r15, [r14]
001e0f9bja 0x1e0f46
001e0f9djmp 0x1e1009
001e0f9f
001e0f9floc_1e0f9f:
001e0f9fmov rbx, [rsp+48]
001e0fa4mov rax, rbx
001e0fa7add rbx, 2
001e0fabmov [rsp+48], rbx
001e0fb0mov rbx, [rsp+24]
001e0fb5cmp rax, rbx
001e0fb8je 0x1e0fc5
001e0fbacmp r15, [r14]
001e0fbdja 0x1e0f2d
001e0fc3jmp 0x1e0fff
001e0fc5
001e0fc5loc_1e0fc5:
001e0fc5mov rbx, [rsp+56]
001e0fcamov rax, rbx
001e0fcdadd rbx, 2
001e0fd1mov [rsp+56], rbx
001e0fd6mov rbx, [rsp+8]
001e0fdbcmp rax, rbx
001e0fdeje 0x1e0feb
001e0fe0cmp r15, [r14]
001e0fe3ja 0x1e0f11
001e0fe9jmp 0x1e0ff5
001e0feb
001e0febloc_1e0feb:
001e0febmov eax, 1
001e0ff0add rsp, 80
001e0ff4ret
001e0ff5
001e0ff5loc_1e0ff5:
001e0ff5call caml_call_gc
001e0ffajmp 0x1e0f11
001e0fff
001e0fffloc_1e0fff:
001e0fffcall caml_call_gc
001e1004jmp 0x1e0f2d
001e1009
001e1009loc_1e1009:
001e1009call caml_call_gc
001e100ejmp 0x1e0f46
001e1013
001e1013loc_1e1013:
001e1013push 43
001e1015call caml_call_realloc_stack
001e101apop r10
001e101cjmp 0x1e0ee2
001e0ed0

001e1021
001e1021 // align 0x10

001e1030
001e1030Stdlib.Bigarray.init:
001e1030lea r10, [rsp-368]
001e1038cmp r10, [r14+40]
001e103cjb 0x1e10b7
001e103e
001e103eloc_1e103e:
001e103esub rsp, 48
001e1042mov [rsp], rbx
001e1046mov [rsp+8], rdi
001e104bmov [rsp+16], rsi
001e1050mov [rsp+24], rdx
001e1055mov [rsp+32], rcx
001e105acall Stdlib.Bigarray.create
001e105fmov [rsp+40], rax
001e1064mov rbx, [rsp]
001e1068cmp rbx, 1
001e106cje 0x1e1094
001e106emov rbx, [rsp+8]
001e1073mov rdi, [rsp+16]
001e1078mov rsi, [rsp+24]
001e107dmov rdx, [rsp+32]
001e1082call Stdlib.Bigarray.fortran_init
001e1087mov rax, [rsp+40]
001e108cadd rsp, 48
001e1090ret
001e1091
001e1091 0f 1f 00 ...
001e1094
001e1094loc_1e1094:
001e1094mov rbx, [rsp+8]
001e1099mov rdi, [rsp+16]
001e109emov rsi, [rsp+24]
001e10a3mov rdx, [rsp+32]
001e10a8call Stdlib.Bigarray.c_init
001e10admov rax, [rsp+40]
001e10b2add rsp, 48
001e10b6ret
001e10b7
001e10b7loc_1e10b7:
001e10b7push 39
001e10b9call caml_call_realloc_stack
001e10bepop r10
001e10c0jmp 0x1e103e
001e1030

001e10c5
001e10c5 // align 0x10

001e10d0
001e10d0Stdlib.Bigarray.of_array:
001e10d0lea r10, [rsp-424]
001e10d8cmp r10, [r14+40]
001e10dcjb 0x1e13c4
001e10e2
001e10e2loc_1e10e2:
001e10e2sub rsp, 104
001e10e6mov [rsp], rbx
001e10eamov rdx, rdi
001e10edmov [rsp+16], rdx
001e10f2mov rsi, [rdx-8]
001e10f6mov rdi, rsi
001e10f9shr rdi, 9
001e10fdor rdi, 1
001e1101mov [rsp+8], rdi
001e1106cmp rdi, 1
001e110ajne 0x1e1118
001e110cmov esi, 1
001e1111mov [rsp+24], rsi
001e1116jmp 0x1e1139
001e1118
001e1118loc_1e1118:
001e1118cmp rsi, 1023
001e111fjbe 0x1e13bf
001e1125mov rsi, [rdx]
001e1128mov rsi, [rsi-8]
001e112cshr rsi, 9
001e1130or rsi, 1
001e1134mov [rsp+24], rsi
001e1139
001e1139loc_1e1139:
001e1139cmp rsi, 1
001e113djne 0x1e114c
001e113fmov edx, 1
001e1144mov [rsp+32], rdx
001e1149jmp 0x1e1185
001e114b
001e114b 90 .
001e114c
001e114cloc_1e114c:
001e114cmov rcx, [rdx-8]
001e1150cmp rcx, 1023
001e1157jbe 0x1e13ba
001e115dmov rdx, [rdx]
001e1160mov rcx, [rdx-8]
001e1164cmp rcx, 1023
001e116bjbe 0x1e13b5
001e1171mov rdx, [rdx]
001e1174mov rdx, [rdx-8]
001e1178shr rdx, 9
001e117cor rdx, 1
001e1180mov [rsp+32], rdx
001e1185
001e1185loc_1e1185:
001e1185call Stdlib.Bigarray.create
001e118amov [rsp+80], rax
001e118fmov rax, [rsp]
001e1193mov ebx, 1
001e1198mov rdi, [rsp+8]
001e119dadd rdi, -2
001e11a1cmp rbx, rdi
001e11a4jg 0x1e1374
001e11aamov [rsp], rdi
001e11aemov [rsp+72], rbx
001e11b3mov [rsp+56], rax
001e11b8
001e11b8loc_1e11b8:
001e11b8mov rdi, [rsp+16]
001e11bdmov rax, [rdi-8]
001e11c1shr rax, 9
001e11c5cmp rax, rbx
001e11c8jbe 0x1e13b0
001e11cemov rax, [rdi+4*rbx-4]
001e11d3mov [rsp+8], rax
001e11d8mov rax, [rax-8]
001e11dcshr rax, 9
001e11e0or rax, 1
001e11e4mov rbx, [rsp+24]
001e11e9cmp rax, rbx
001e11ecje 0x1e11fa
001e11eelea rax, [rip+0x184d1b]
001e11f5call camlStdlib.invalid_arg_10
001e11fa
001e11faloc_1e11fa:
001e11famov eax, 1
001e11ffmov [rsp+64], rax
001e1204mov rbx, [rsp+24]
001e1209add rbx, -2
001e120dmov [rsp+40], rbx
001e1212cmp rax, rbx
001e1215jg 0x1e134f
001e121b
001e121bloc_1e121b:
001e121bmov rdi, [rsp+8]
001e1220mov rbx, [rdi-8]
001e1224shr rbx, 9
001e1228cmp rbx, rax
001e122bjbe 0x1e13ab
001e1231mov rax, [rdi+4*rax-4]
001e1236mov [rsp+48], rax
001e123bmov rax, [rax-8]
001e123fshr rax, 9
001e1243or rax, 1
001e1247mov rbx, [rsp+32]
001e124ccmp rax, rbx
001e124fje 0x1e125d
001e1251lea rax, [rip+0x184cb8]
001e1258call camlStdlib.invalid_arg_10
001e125d
001e125dloc_1e125d:
001e125dmov eax, 1
001e1262mov [rsp+88], rax
001e1267mov rbx, [rsp+32]
001e126cadd rbx, -2
001e1270mov [rsp+96], rbx
001e1275cmp rax, rbx
001e1278jg 0x1e1329
001e127e
001e127eloc_1e127e:
001e127emov rsi, [rsp+48]
001e1283mov rbx, [rsi-8]
001e1287mov rdi, rbx
001e128ashr rdi, 9
001e128ecmp rdi, rax
001e1291jbe 0x1e13a6
001e1297and rbx, 255
001e129ecmp rbx, 254
001e12a5je 0x1e12b0
001e12a7mov r8, [rsi+4*rax-4]
001e12acjmp 0x1e12d4
001e12ae
001e12ae 66 90 f.
001e12b0
001e12b0loc_1e12b0:
001e12b0sub r15, 16
001e12b4cmp r15, [r14]
001e12b7jb 0x1e139c
001e12bd
001e12bdloc_1e12bd:
001e12bdlea r8, [r15+8]
001e12c1mov [r8-8], 1277
001e12c9movsd_xmm x0, [rsi+4*rax-4]
001e12cfmovsd_xmm [r8], x0
001e12d4
001e12d4loc_1e12d4:
001e12d4mov rbx, [rsp+56]
001e12d9lea rcx, [rax+rbx-1]
001e12demov rax, [rsp+64]
001e12e3lea rdx, [rax+rbx-1]
001e12e8mov rax, [rsp+72]
001e12edlea rsi, [rax+rbx-1]
001e12f2mov rdi, [rsp+80]
001e12f7lea rax, [rip+0x1bf02]
001e12fecall caml_c_call
001e1303mov rax, [rsp+88]
001e1308mov rbx, rax
001e130badd rax, 2
001e130fmov [rsp+88], rax
001e1314mov rdi, [rsp+96]
001e1319cmp rbx, rdi
001e131cje 0x1e1329
001e131ecmp r15, [r14]
001e1321ja 0x1e127e
001e1327jmp 0x1e1392
001e1329
001e1329loc_1e1329:
001e1329mov rax, [rsp+64]
001e132emov rbx, rax
001e1331add rax, 2
001e1335mov [rsp+64], rax
001e133amov rdi, [rsp+40]
001e133fcmp rbx, rdi
001e1342je 0x1e134f
001e1344cmp r15, [r14]
001e1347ja 0x1e121b
001e134djmp 0x1e1388
001e134f
001e134floc_1e134f:
001e134fmov rbx, [rsp+72]
001e1354mov rax, rbx
001e1357add rbx, 2
001e135bmov [rsp+72], rbx
001e1360mov rdi, [rsp]
001e1364cmp rax, rdi
001e1367je 0x1e1374
001e1369cmp r15, [r14]
001e136cja 0x1e11b8
001e1372jmp 0x1e137e
001e1374
001e1374loc_1e1374:
001e1374mov rax, [rsp+80]
001e1379add rsp, 104
001e137dret
001e137e
001e137eloc_1e137e:
001e137ecall caml_call_gc
001e1383jmp 0x1e11b8
001e1388
001e1388loc_1e1388:
001e1388call caml_call_gc
001e138djmp 0x1e121b
001e1392
001e1392loc_1e1392:
001e1392call caml_call_gc
001e1397jmp 0x1e127e
001e139c
001e139cloc_1e139c:
001e139ccall caml_call_gc
001e13a1jmp 0x1e12bd
001e13a6
001e13a6loc_1e13a6:
001e13a6call caml_ml_array_bound_error
001e13ab
001e13abloc_1e13ab:
001e13abcall caml_ml_array_bound_error
001e13b0
001e13b0loc_1e13b0:
001e13b0call caml_ml_array_bound_error
001e13b5
001e13b5loc_1e13b5:
001e13b5call caml_ml_array_bound_error
001e13ba
001e13baloc_1e13ba:
001e13bacall caml_ml_array_bound_error
001e13bf
001e13bfloc_1e13bf:
001e13bfcall caml_ml_array_bound_error
001e13c4
001e13c4loc_1e13c4:
001e13c4push 46
001e13c6call caml_call_realloc_stack
001e13cbpop r10
001e13cdjmp 0x1e10e2
001e10d0

001e13d2
001e13d2 // align 0x10

001e13e0
001e13e0Stdlib.Bigarray.array0_of_genarray:
001e13e0sub rsp, 8
001e13e4mov [rsp], rax
001e13e8mov rdi, rax
001e13eblea rax, [rip+0x1bfee]
001e13f2call caml_c_call
001e13f7cmp rax, 1
001e13fbjne 0x1e1408
001e13fdmov rax, [rsp]
001e1401add rsp, 8
001e1405ret
001e1406
001e1406 66 90 f.
001e1408
001e1408loc_1e1408:
001e1408lea rax, [rip+0x184ad9]
001e140fadd rsp, 8
001e1413jmp 0x195ab0
001e13e0

001e1418
001e1418 // align 0x10

001e1420
001e1420Stdlib.Bigarray.array1_of_genarray:
001e1420sub rsp, 8
001e1424mov [rsp], rax
001e1428mov rdi, rax
001e142blea rax, [rip+0x1bfae]
001e1432call caml_c_call
001e1437cmp rax, 3
001e143bjne 0x1e1448
001e143dmov rax, [rsp]
001e1441add rsp, 8
001e1445ret
001e1446
001e1446 66 90 f.
001e1448
001e1448loc_1e1448:
001e1448lea rax, [rip+0x184a71]
001e144fadd rsp, 8
001e1453jmp 0x195ab0
001e1420

001e1458
001e1458 // align 0x10

001e1460
001e1460Stdlib.Bigarray.array2_of_genarray:
001e1460sub rsp, 8
001e1464mov [rsp], rax
001e1468mov rdi, rax
001e146blea rax, [rip+0x1bf6e]
001e1472call caml_c_call
001e1477cmp rax, 5
001e147bjne 0x1e1488
001e147dmov rax, [rsp]
001e1481add rsp, 8
001e1485ret
001e1486
001e1486 66 90 f.
001e1488
001e1488loc_1e1488:
001e1488lea rax, [rip+0x184a09]
001e148fadd rsp, 8
001e1493jmp 0x195ab0
001e1460

001e1498
001e1498 // align 0x10

001e14a0
001e14a0Stdlib.Bigarray.array3_of_genarray:
001e14a0sub rsp, 8
001e14a4mov [rsp], rax
001e14a8mov rdi, rax
001e14ablea rax, [rip+0x1bf2e]
001e14b2call caml_c_call
001e14b7cmp rax, 7
001e14bbjne 0x1e14c8
001e14bdmov rax, [rsp]
001e14c1add rsp, 8
001e14c5ret
001e14c6
001e14c6 66 90 f.
001e14c8
001e14c8loc_1e14c8:
001e14c8lea rax, [rip+0x1849a1]
001e14cfadd rsp, 8
001e14d3jmp 0x195ab0
001e14a0

001e14d8
001e14d8 // align 0x10

001e14e0
001e14e0Stdlib.Bigarray.reshape_0:
001e14e0lea rsi, [rip+0x184a99]
001e14e7mov rdi, rax
001e14ealea rax, [rip+0x1d1ef]
001e14f1call caml_c_call
001e14f6ret
001e14e0

001e14f7
001e14f7 // align 0x10

001e1500
001e1500Stdlib.Bigarray.reshape_1:
001e1500sub r15, 16
001e1504cmp r15, [r14]
001e1507jb 0x1e1528
001e1509
001e1509loc_1e1509:
001e1509lea rsi, [r15+8]
001e150dmov [rsi-8], 1024
001e1515mov [rsi], rbx
001e1518mov rdi, rax
001e151blea rax, [rip+0x1d1be]
001e1522call caml_c_call
001e1527ret
001e1528
001e1528loc_1e1528:
001e1528call caml_call_gc
001e152djmp 0x1e1509
001e1500

001e152f
001e152f // align 0x10

001e1530
001e1530Stdlib.Bigarray.reshape_2:
001e1530sub r15, 24
001e1534cmp r15, [r14]
001e1537jb 0x1e155c
001e1539
001e1539loc_1e1539:
001e1539lea rsi, [r15+8]
001e153dmov [rsi-8], 2048
001e1545mov [rsi], rbx
001e1548mov [rsi+8], rdi
001e154cmov rdi, rax
001e154flea rax, [rip+0x1d18a]
001e1556call caml_c_call
001e155bret
001e155c
001e155cloc_1e155c:
001e155ccall caml_call_gc
001e1561jmp 0x1e1539
001e1530

001e1563
001e1563 // align 0x10

001e1570
001e1570Stdlib.Bigarray.reshape_3:
001e1570sub r15, 32
001e1574cmp r15, [r14]
001e1577jb 0x1e15a3
001e1579
001e1579loc_1e1579:
001e1579lea rdx, [r15+8]
001e157dmov [rdx-8], 3072
001e1585mov [rdx], rbx
001e1588mov [rdx+8], rdi
001e158cmov [rdx+16], rsi
001e1590mov rdi, rax
001e1593mov rsi, rdx
001e1596lea rax, [rip+0x1d143]
001e159dcall caml_c_call
001e15a2ret
001e15a3
001e15a3loc_1e15a3:
001e15a3call caml_call_gc
001e15a8jmp 0x1e1579
001e1570

001e15aa
001e15aa // align 0x10

001e15b0
001e15b0Stdlib.Bigarray.fun:
001e15b0mov rdi, rax
001e15b3mov rsi, rbx
001e15b6lea rax, [rip+0x1ba93]
001e15bdcall caml_c_call
001e15c2ret
001e15b0

001e15c3
001e15c3 // align 0x10

001e15d0
001e15d0Stdlib.Bigarray.fun:
001e15d0mov rdi, rax
001e15d3mov rsi, rbx
001e15d6lea rax, [rip+0x1b9a3]
001e15ddcall caml_c_call
001e15e2ret
001e15d0

001e15e3
001e15e3 // align 0x10

001e15f0
001e15f0Stdlib.Bigarray.fun:
001e15f0mov rdx, rdi
001e15f3mov rdi, rax
001e15f6mov rsi, rbx
001e15f9lea rax, [rip+0x1b9b0]
001e1600call caml_c_call
001e1605ret
001e15f0

001e1606
001e1606 // align 0x10

001e1610
001e1610Stdlib.Bigarray.fun:
001e1610mov rdx, rdi
001e1613mov rcx, rsi
001e1616mov rdi, rax
001e1619mov rsi, rbx
001e161clea rax, [rip+0x1b9dd]
001e1623call caml_c_call
001e1628ret
001e1610

001e1629
001e1629 // align 0x10

001e1630
001e1630Stdlib.Bigarray.entry:
001e1630lea rsi, [rip+0x184019]
001e1637lea rdi, [rip+0x184602]
001e163eadd rdi, 208
001e1645mov rbx, rsp
001e1648mov rsp, [r14+64]
001e164ccall caml_initialize
001e1651mov rsp, rbx
001e1654mov esi, 27
001e1659lea rdi, [rip+0x1845e0]
001e1660mov rbx, rsp
001e1663mov rsp, [r14+64]
001e1667call caml_initialize
001e166cmov rsp, rbx
001e166fmov esi, 1
001e1674lea rdi, [rip+0x1845c5]
001e167badd rdi, 8
001e167fmov rbx, rsp
001e1682mov rsp, [r14+64]
001e1686call caml_initialize
001e168bmov rsp, rbx
001e168emov esi, 3
001e1693lea rdi, [rip+0x1845a6]
001e169aadd rdi, 16
001e169emov rbx, rsp
001e16a1mov rsp, [r14+64]
001e16a5call caml_initialize
001e16aamov rsp, rbx
001e16admov esi, 5
001e16b2lea rdi, [rip+0x184587]
001e16b9add rdi, 40
001e16bdmov rbx, rsp
001e16c0mov rsp, [r14+64]
001e16c4call caml_initialize
001e16c9mov rsp, rbx
001e16ccmov esi, 7
001e16d1lea rdi, [rip+0x184568]
001e16d8add rdi, 48
001e16dcmov rbx, rsp
001e16dfmov rsp, [r14+64]
001e16e3call caml_initialize
001e16e8mov rsp, rbx
001e16ebmov esi, 9
001e16f0lea rdi, [rip+0x184549]
001e16f7add rdi, 56
001e16fbmov rbx, rsp
001e16femov rsp, [r14+64]
001e1702call caml_initialize
001e1707mov rsp, rbx
001e170amov esi, 11
001e170flea rdi, [rip+0x18452a]
001e1716add rdi, 64
001e171amov rbx, rsp
001e171dmov rsp, [r14+64]
001e1721call caml_initialize
001e1726mov rsp, rbx
001e1729mov esi, 13
001e172elea rdi, [rip+0x18450b]
001e1735add rdi, 80
001e1739mov rbx, rsp
001e173cmov rsp, [r14+64]
001e1740call caml_initialize
001e1745mov rsp, rbx
001e1748mov esi, 15
001e174dlea rdi, [rip+0x1844ec]
001e1754add rdi, 88
001e1758mov rbx, rsp
001e175bmov rsp, [r14+64]
001e175fcall caml_initialize
001e1764mov rsp, rbx
001e1767mov esi, 17
001e176clea rdi, [rip+0x1844cd]
001e1773add rdi, 72
001e1777mov rbx, rsp
001e177amov rsp, [r14+64]
001e177ecall caml_initialize
001e1783mov rsp, rbx
001e1786mov esi, 19
001e178blea rdi, [rip+0x1844ae]
001e1792add rdi, 96
001e1796mov rbx, rsp
001e1799mov rsp, [r14+64]
001e179dcall caml_initialize
001e17a2mov rsp, rbx
001e17a5mov esi, 21
001e17aalea rdi, [rip+0x18448f]
001e17b1add rdi, 24
001e17b5mov rbx, rsp
001e17b8mov rsp, [r14+64]
001e17bccall caml_initialize
001e17c1mov rsp, rbx
001e17c4mov esi, 23
001e17c9lea rdi, [rip+0x184470]
001e17d0add rdi, 32
001e17d4mov rbx, rsp
001e17d7mov rsp, [r14+64]
001e17dbcall caml_initialize
001e17e0mov rsp, rbx
001e17e3mov esi, 25
001e17e8lea rdi, [rip+0x184451]
001e17efadd rdi, 104
001e17f3mov rbx, rsp
001e17f6mov rsp, [r14+64]
001e17facall caml_initialize
001e17ffmov rsp, rbx
001e1802lea rsi, [rip+0x183e67]
001e1809lea rdi, [rip+0x184430]
001e1810add rdi, 112
001e1814mov rbx, rsp
001e1817mov rsp, [r14+64]
001e181bcall caml_initialize
001e1820mov rsp, rbx
001e1823mov esi, 1
001e1828lea rdi, [rip+0x184411]
001e182fadd rdi, 120
001e1833mov rbx, rsp
001e1836mov rsp, [r14+64]
001e183acall caml_initialize
001e183fmov rsp, rbx
001e1842mov esi, 3
001e1847lea rdi, [rip+0x1843f2]
001e184eadd rdi, 128
001e1855mov rbx, rsp
001e1858mov rsp, [r14+64]
001e185ccall caml_initialize
001e1861mov rsp, rbx
001e1864lea rsi, [rip+0x183e1d]
001e186blea rdi, [rip+0x1843ce]
001e1872add rdi, 248
001e1879mov rbx, rsp
001e187cmov rsp, [r14+64]
001e1880call caml_initialize
001e1885mov rsp, rbx
001e1888lea rsi, [rip+0x183e19]
001e188flea rdi, [rip+0x1843aa]
001e1896add rdi, 256
001e189dmov rbx, rsp
001e18a0mov rsp, [r14+64]
001e18a4call caml_initialize
001e18a9mov rsp, rbx
001e18aclea rsi, [rip+0x183e15]
001e18b3lea rdi, [rip+0x184386]
001e18baadd rdi, 264
001e18c1mov rbx, rsp
001e18c4mov rsp, [r14+64]
001e18c8call caml_initialize
001e18cdmov rsp, rbx
001e18d0lea rsi, [rip+0x183e11]
001e18d7lea rdi, [rip+0x184362]
001e18deadd rdi, 272
001e18e5mov rbx, rsp
001e18e8mov rsp, [r14+64]
001e18eccall caml_initialize
001e18f1mov rsp, rbx
001e18f4lea rsi, [rip+0x183e05]
001e18fblea rdi, [rip+0x18433e]
001e1902add rdi, 280
001e1909mov rbx, rsp
001e190cmov rsp, [r14+64]
001e1910call caml_initialize
001e1915mov rsp, rbx
001e1918sub r15, 80
001e191ccall caml_allocN
001e1921lea rax, [r15+8]
001e1925add rax, 32
001e1929mov [rax-8], 5120
001e1931lea rdi, [rip+0x184308]
001e1938mov rbx, [rdi+248]
001e193fmov [rax], rbx
001e1942mov rbx, [rdi+256]
001e1949mov [rax+8], rbx
001e194dmov rbx, [rdi+264]
001e1954mov [rax+16], rbx
001e1958mov rbx, [rdi+272]
001e195fmov [rax+24], rbx
001e1963mov rbx, [rdi+280]
001e196amov [rax+32], rbx
001e196elea rsi, [rax-32]
001e1972mov [rsi-8], 3072
001e197amov rbx, [rax+16]
001e197emov [rsi], rbx
001e1981mov rbx, [rax+24]
001e1985mov [rsi+8], rbx
001e1989mov rax, [rax+32]
001e198dmov [rsi+16], rax
001e1991add rdi, 136
001e1998mov rbx, rsp
001e199bmov rsp, [r14+64]
001e199fcall caml_initialize
001e19a4mov rsp, rbx
001e19a7lea rsi, [rip+0x183d6a]
001e19aelea rdi, [rip+0x18428b]
001e19b5add rdi, 288
001e19bcmov rbx, rsp
001e19bfmov rsp, [r14+64]
001e19c3call caml_initialize
001e19c8mov rsp, rbx
001e19cblea rsi, [rip+0x183d66]
001e19d2lea rdi, [rip+0x184267]
001e19d9add rdi, 296
001e19e0mov rbx, rsp
001e19e3mov rsp, [r14+64]
001e19e7call caml_initialize
001e19ecmov rsp, rbx
001e19eflea rsi, [rip+0x183d5a]
001e19f6lea rdi, [rip+0x184243]
001e19fdadd rdi, 304
001e1a04mov rbx, rsp
001e1a07mov rsp, [r14+64]
001e1a0bcall caml_initialize
001e1a10mov rsp, rbx
001e1a13lea rsi, [rip+0x183d4e]
001e1a1alea rdi, [rip+0x18421f]
001e1a21add rdi, 312
001e1a28mov rbx, rsp
001e1a2bmov rsp, [r14+64]
001e1a2fcall caml_initialize
001e1a34mov rsp, rbx
001e1a37lea rsi, [rip+0x183d42]
001e1a3elea rdi, [rip+0x1841fb]
001e1a45add rdi, 320
001e1a4cmov rbx, rsp
001e1a4fmov rsp, [r14+64]
001e1a53call caml_initialize
001e1a58mov rsp, rbx
001e1a5blea rdi, [rip+0x1841de]
001e1a62mov rsi, [rdi+320]
001e1a69add rdi, 328
001e1a70mov rbx, rsp
001e1a73mov rsp, [r14+64]
001e1a77call caml_initialize
001e1a7cmov rsp, rbx
001e1a7fsub r15, 120
001e1a83call caml_allocN
001e1a88lea rax, [r15+8]
001e1a8cadd rax, 64
001e1a90mov [rax-8], 6144
001e1a98lea rdi, [rip+0x1841a1]
001e1a9fmov rbx, [rdi+288]
001e1aa6mov [rax], rbx
001e1aa9mov rbx, [rdi+296]
001e1ab0mov [rax+8], rbx
001e1ab4mov rbx, [rdi+304]
001e1abbmov [rax+16], rbx
001e1abfmov rbx, [rdi+312]
001e1ac6mov [rax+24], rbx
001e1acamov rbx, [rdi+320]
001e1ad1mov [rax+32], rbx
001e1ad5mov rbx, [rdi+328]
001e1adcmov [rax+40], rbx
001e1ae0lea rsi, [rax-64]
001e1ae4mov [rsi-8], 7168
001e1aecmov rbx, [rax]
001e1aefmov [rsi], rbx
001e1af2mov rbx, [rax+40]
001e1af6mov [rsi+8], rbx
001e1afalea rbx, [rip+0x183c9f]
001e1b01mov [rsi+16], rbx
001e1b05mov rbx, [rax+24]
001e1b09mov [rsi+24], rbx
001e1b0dmov rbx, [rax+8]
001e1b11mov [rsi+32], rbx
001e1b15mov rbx, [rax+16]
001e1b19mov [rsi+40], rbx
001e1b1dmov rax, [rax+32]
001e1b21mov [rsi+48], rax
001e1b25add rdi, 144
001e1b2cmov rbx, rsp
001e1b2fmov rsp, [r14+64]
001e1b33call caml_initialize
001e1b38mov rsp, rbx
001e1b3blea rsi, [rip+0x183c7e]
001e1b42lea rdi, [rip+0x1840f7]
001e1b49add rdi, 336
001e1b50mov rbx, rsp
001e1b53mov rsp, [r14+64]
001e1b57call caml_initialize
001e1b5cmov rsp, rbx
001e1b5flea rsi, [rip+0x183c7a]
001e1b66lea rdi, [rip+0x1840d3]
001e1b6dadd rdi, 344
001e1b74mov rbx, rsp
001e1b77mov rsp, [r14+64]
001e1b7bcall caml_initialize
001e1b80mov rsp, rbx
001e1b83lea rsi, [rip+0x183c6e]
001e1b8alea rdi, [rip+0x1840af]
001e1b91add rdi, 352
001e1b98mov rbx, rsp
001e1b9bmov rsp, [r14+64]
001e1b9fcall caml_initialize
001e1ba4mov rsp, rbx
001e1ba7lea rsi, [rip+0x183c6a]
001e1baelea rdi, [rip+0x18408b]
001e1bb5add rdi, 360
001e1bbcmov rbx, rsp
001e1bbfmov rsp, [r14+64]
001e1bc3call caml_initialize
001e1bc8mov rsp, rbx
001e1bcblea rsi, [rip+0x183c66]
001e1bd2lea rdi, [rip+0x184067]
001e1bd9add rdi, 368
001e1be0mov rbx, rsp
001e1be3mov rsp, [r14+64]
001e1be7call caml_initialize
001e1becmov rsp, rbx
001e1beflea rsi, [rip+0x183c62]
001e1bf6lea rdi, [rip+0x184043]
001e1bfdadd rdi, 376
001e1c04mov rbx, rsp
001e1c07mov rsp, [r14+64]
001e1c0bcall caml_initialize
001e1c10mov rsp, rbx
001e1c13lea rsi, [rip+0x183c5e]
001e1c1alea rdi, [rip+0x18401f]
001e1c21add rdi, 384
001e1c28mov rbx, rsp
001e1c2bmov rsp, [r14+64]
001e1c2fcall caml_initialize
001e1c34mov rsp, rbx
001e1c37sub r15, 120
001e1c3bcall caml_allocN
001e1c40lea rax, [r15+8]
001e1c44add rax, 56
001e1c48mov [rax-8], 7168
001e1c50lea rdi, [rip+0x183fe9]
001e1c57mov rbx, [rdi+336]
001e1c5emov [rax], rbx
001e1c61mov rbx, [rdi+344]
001e1c68mov [rax+8], rbx
001e1c6cmov rbx, [rdi+352]
001e1c73mov [rax+16], rbx
001e1c77mov rbx, [rdi+360]
001e1c7emov [rax+24], rbx
001e1c82mov rbx, [rdi+368]
001e1c89mov [rax+32], rbx
001e1c8dmov rbx, [rdi+376]
001e1c94mov [rax+40], rbx
001e1c98mov rbx, [rdi+384]
001e1c9fmov [rax+48], rbx
001e1ca3lea rsi, [rax-56]
001e1ca7mov [rsi-8], 6144
001e1cafmov rbx, [rax]
001e1cb2mov [rsi], rbx
001e1cb5mov rbx, [rax+40]
001e1cb9mov [rsi+8], rbx
001e1cbdlea rbx, [rip+0x183bd4]
001e1cc4mov [rsi+16], rbx
001e1cc8mov rbx, [rax+8]
001e1cccmov [rsi+24], rbx
001e1cd0mov rbx, [rax+16]
001e1cd4mov [rsi+32], rbx
001e1cd8mov rax, [rax+48]
001e1cdcmov [rsi+40], rax
001e1ce0add rdi, 152
001e1ce7mov rbx, rsp
001e1ceamov rsp, [r14+64]
001e1ceecall caml_initialize
001e1cf3mov rsp, rbx
001e1cf6lea rsi, [rip+0x183bbb]
001e1cfdlea rdi, [rip+0x183f3c]
001e1d04add rdi, 392
001e1d0bmov rbx, rsp
001e1d0emov rsp, [r14+64]
001e1d12call caml_initialize
001e1d17mov rsp, rbx
001e1d1alea rsi, [rip+0x183bb7]
001e1d21lea rdi, [rip+0x183f18]
001e1d28add rdi, 400
001e1d2fmov rbx, rsp
001e1d32mov rsp, [r14+64]
001e1d36call caml_initialize
001e1d3bmov rsp, rbx
001e1d3elea rsi, [rip+0x183bab]
001e1d45lea rdi, [rip+0x183ef4]
001e1d4cadd rdi, 408
001e1d53mov rbx, rsp
001e1d56mov rsp, [r14+64]
001e1d5acall caml_initialize
001e1d5fmov rsp, rbx
001e1d62lea rsi, [rip+0x183ba7]
001e1d69lea rdi, [rip+0x183ed0]
001e1d70add rdi, 416
001e1d77mov rbx, rsp
001e1d7amov rsp, [r14+64]
001e1d7ecall caml_initialize
001e1d83mov rsp, rbx
001e1d86lea rsi, [rip+0x183ba3]
001e1d8dlea rdi, [rip+0x183eac]
001e1d94add rdi, 424
001e1d9bmov rbx, rsp
001e1d9emov rsp, [r14+64]
001e1da2call caml_initialize
001e1da7mov rsp, rbx
001e1daalea rsi, [rip+0x183b9f]
001e1db1lea rdi, [rip+0x183e88]
001e1db8add rdi, 432
001e1dbfmov rbx, rsp
001e1dc2mov rsp, [r14+64]
001e1dc6call caml_initialize
001e1dcbmov rsp, rbx
001e1dcelea rsi, [rip+0x183b9b]
001e1dd5lea rdi, [rip+0x183e64]
001e1ddcadd rdi, 440
001e1de3mov rbx, rsp
001e1de6mov rsp, [r14+64]
001e1deacall caml_initialize
001e1defmov rsp, rbx
001e1df2lea rsi, [rip+0x183b97]
001e1df9lea rdi, [rip+0x183e40]
001e1e00add rdi, 448
001e1e07mov rbx, rsp
001e1e0amov rsp, [r14+64]
001e1e0ecall caml_initialize
001e1e13mov rsp, rbx
001e1e16sub r15, 136
001e1e1dcall caml_allocN
001e1e22lea rax, [r15+8]
001e1e26add rax, 64
001e1e2amov [rax-8], 8192
001e1e32lea rdi, [rip+0x183e07]
001e1e39mov rbx, [rdi+392]
001e1e40mov [rax], rbx
001e1e43mov rbx, [rdi+400]
001e1e4amov [rax+8], rbx
001e1e4emov rbx, [rdi+408]
001e1e55mov [rax+16], rbx
001e1e59mov rbx, [rdi+416]
001e1e60mov [rax+24], rbx
001e1e64mov rbx, [rdi+424]
001e1e6bmov [rax+32], rbx
001e1e6fmov rbx, [rdi+432]
001e1e76mov [rax+40], rbx
001e1e7amov rbx, [rdi+440]
001e1e81mov [rax+48], rbx
001e1e85mov rbx, [rdi+448]
001e1e8cmov [rax+56], rbx
001e1e90lea rsi, [rax-64]
001e1e94mov [rsi-8], 7168
001e1e9cmov rbx, [rax]
001e1e9fmov [rsi], rbx
001e1ea2mov rbx, [rax+48]
001e1ea6mov [rsi+8], rbx
001e1eaalea rbx, [rip+0x183aff]
001e1eb1mov [rsi+16], rbx
001e1eb5mov rbx, [rax+8]
001e1eb9mov [rsi+24], rbx
001e1ebdmov rbx, [rax+16]
001e1ec1mov [rsi+32], rbx
001e1ec5mov rbx, [rax+24]
001e1ec9mov [rsi+40], rbx
001e1ecdmov rax, [rax+56]
001e1ed1mov [rsi+48], rax
001e1ed5add rdi, 160
001e1edcmov rbx, rsp
001e1edfmov rsp, [r14+64]
001e1ee3call caml_initialize
001e1ee8mov rsp, rbx
001e1eeblea rsi, [rip+0x183ade]
001e1ef2lea rdi, [rip+0x183d47]
001e1ef9add rdi, 456
001e1f00mov rbx, rsp
001e1f03mov rsp, [r14+64]
001e1f07call caml_initialize
001e1f0cmov rsp, rbx
001e1f0flea rsi, [rip+0x183ada]
001e1f16lea rdi, [rip+0x183d23]
001e1f1dadd rdi, 464
001e1f24mov rbx, rsp
001e1f27mov rsp, [r14+64]
001e1f2bcall caml_initialize
001e1f30mov rsp, rbx
001e1f33lea rsi, [rip+0x183ace]
001e1f3alea rdi, [rip+0x183cff]
001e1f41add rdi, 472
001e1f48mov rbx, rsp
001e1f4bmov rsp, [r14+64]
001e1f4fcall caml_initialize
001e1f54mov rsp, rbx
001e1f57lea rsi, [rip+0x183aca]
001e1f5elea rdi, [rip+0x183cdb]
001e1f65add rdi, 480
001e1f6cmov rbx, rsp
001e1f6fmov rsp, [r14+64]
001e1f73call caml_initialize
001e1f78mov rsp, rbx
001e1f7blea rsi, [rip+0x183ac6]
001e1f82lea rdi, [rip+0x183cb7]
001e1f89add rdi, 488
001e1f90mov rbx, rsp
001e1f93mov rsp, [r14+64]
001e1f97call caml_initialize
001e1f9cmov rsp, rbx
001e1f9flea rsi, [rip+0x183ac2]
001e1fa6lea rdi, [rip+0x183c93]
001e1fadadd rdi, 496
001e1fb4mov rbx, rsp
001e1fb7mov rsp, [r14+64]
001e1fbbcall caml_initialize
001e1fc0mov rsp, rbx
001e1fc3lea rsi, [rip+0x183abe]
001e1fcalea rdi, [rip+0x183c6f]
001e1fd1add rdi, 504
001e1fd8mov rbx, rsp
001e1fdbmov rsp, [r14+64]
001e1fdfcall caml_initialize
001e1fe4mov rsp, rbx
001e1fe7lea rsi, [rip+0x183aba]
001e1feelea rdi, [rip+0x183c4b]
001e1ff5add rdi, 512
001e1ffcmov rbx, rsp
001e1fffmov rsp, [r14+64]
001e2003call caml_initialize
001e2008mov rsp, rbx
001e200blea rsi, [rip+0x183ab6]
001e2012lea rdi, [rip+0x183c27]
001e2019add rdi, 520
001e2020mov rbx, rsp
001e2023mov rsp, [r14+64]
001e2027call caml_initialize
001e202cmov rsp, rbx
001e202flea rsi, [rip+0x183ab2]
001e2036lea rdi, [rip+0x183c03]
001e203dadd rdi, 528
001e2044mov rbx, rsp
001e2047mov rsp, [r14+64]
001e204bcall caml_initialize
001e2050mov rsp, rbx
001e2053sub r15, 168
001e205acall caml_allocN
001e205flea rax, [r15+8]
001e2063add rax, 80
001e2067mov [rax-8], 10240
001e206flea rdi, [rip+0x183bca]
001e2076mov rbx, [rdi+456]
001e207dmov [rax], rbx
001e2080mov rbx, [rdi+464]
001e2087mov [rax+8], rbx
001e208bmov rbx, [rdi+472]
001e2092mov [rax+16], rbx
001e2096mov rbx, [rdi+480]
001e209dmov [rax+24], rbx
001e20a1mov rbx, [rdi+488]
001e20a8mov [rax+32], rbx
001e20acmov rbx, [rdi+496]
001e20b3mov [rax+40], rbx
001e20b7mov rbx, [rdi+504]
001e20bemov [rax+48], rbx
001e20c2mov rbx, [rdi+512]
001e20c9mov [rax+56], rbx
001e20cdmov rbx, [rdi+520]
001e20d4mov [rax+64], rbx
001e20d8mov rbx, [rdi+528]
001e20dfmov [rax+72], rbx
001e20e3lea rsi, [rax-80]
001e20e7mov [rsi-8], 9216
001e20efmov rbx, [rax]
001e20f2mov [rsi], rbx
001e20f5mov rbx, [rax+64]
001e20f9mov [rsi+8], rbx
001e20fdlea rbx, [rip+0x183a04]
001e2104mov [rsi+16], rbx
001e2108mov rbx, [rax+8]
001e210cmov [rsi+24], rbx
001e2110mov rbx, [rax+16]
001e2114mov [rsi+32], rbx
001e2118mov rbx, [rax+24]
001e211cmov [rsi+40], rbx
001e2120mov rbx, [rax+32]
001e2124mov [rsi+48], rbx
001e2128mov rbx, [rax+40]
001e212cmov [rsi+56], rbx
001e2130mov rax, [rax+72]
001e2134mov [rsi+64], rax
001e2138add rdi, 168
001e213fmov rbx, rsp
001e2142mov rsp, [r14+64]
001e2146call caml_initialize
001e214bmov rsp, rbx
001e214elea rsi, [rip+0x1839d3]
001e2155lea rdi, [rip+0x183ae4]
001e215cadd rdi, 176
001e2163mov rbx, rsp
001e2166mov rsp, [r14+64]
001e216acall caml_initialize
001e216fmov rsp, rbx
001e2172lea rsi, [rip+0x1839c7]
001e2179lea rdi, [rip+0x183ac0]
001e2180add rdi, 184
001e2187mov rbx, rsp
001e218amov rsp, [r14+64]
001e218ecall caml_initialize
001e2193mov rsp, rbx
001e2196lea rsi, [rip+0x1839bb]
001e219dlea rdi, [rip+0x183a9c]
001e21a4add rdi, 192
001e21abmov rbx, rsp
001e21aemov rsp, [r14+64]
001e21b2call caml_initialize
001e21b7mov rsp, rbx
001e21balea rsi, [rip+0x1839af]
001e21c1lea rdi, [rip+0x183a78]
001e21c8add rdi, 200
001e21cfmov rbx, rsp
001e21d2mov rsp, [r14+64]
001e21d6call caml_initialize
001e21dbmov rsp, rbx
001e21delea rsi, [rip+0x1839a3]
001e21e5lea rdi, [rip+0x183a54]
001e21ecadd rdi, 216
001e21f3mov rbx, rsp
001e21f6mov rsp, [r14+64]
001e21facall caml_initialize
001e21ffmov rsp, rbx
001e2202lea rsi, [rip+0x183997]
001e2209lea rdi, [rip+0x183a30]
001e2210add rdi, 224
001e2217mov rbx, rsp
001e221amov rsp, [r14+64]
001e221ecall caml_initialize
001e2223mov rsp, rbx
001e2226lea rsi, [rip+0x183993]
001e222dlea rdi, [rip+0x183a0c]
001e2234add rdi, 232
001e223bmov rbx, rsp
001e223emov rsp, [r14+64]
001e2242call caml_initialize
001e2247mov rsp, rbx
001e224alea rsi, [rip+0x18398f]
001e2251lea rdi, [rip+0x1839e8]
001e2258add rdi, 240
001e225fmov rbx, rsp
001e2262mov rsp, [r14+64]
001e2266call caml_initialize
001e226bmov rsp, rbx
001e226emov eax, 1
001e2273ret
001e1630