File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001f69a0
001f69a0Stdlib.Filename.try_name:
001f69a0lea r10, [rsp-360]
001f69a8cmp r10, [r14+40]
001f69acjb 0x1f6a7b
001f69b2
001f69b2loc_1f69b2:
001f69b2sub rsp, 24
001f69b6
001f69b6loc_1f69b6:
001f69b6mov [rsp+8], rax
001f69bbmov [rsp+16], rbx
001f69c0cmp r15, [r14]
001f69c3jbe 0x1f6a71
001f69c9
001f69c9loc_1f69c9:
001f69c9mov rdi, [rbx+32]
001f69cdmov rsi, [rbx+24]
001f69d1mov rax, [rbx+16]
001f69d5mov rbx, rsi
001f69d8call Stdlib.Filename.temp_file_name
001f69ddmov [rsp], rax
001f69e1lea r11, [rip+64]
001f69e8push r11
001f69eapush [r14+48]
001f69eemov [r14+48], rsp
001f69f2mov edx, 769
001f69f7lea rsi, [rip+0x17f67a]
001f69femov rdi, rax
001f6a01lea rax, [rip+0x2ba78]
001f6a08call caml_c_call
001f6a0dmov rdi, rax
001f6a10lea rax, [rip+0x2bb99]
001f6a17call caml_c_call
001f6a1cpop [r14+48]
001f6a20add rsp, 8
001f6a24jmp 0x1f6a68
001f6a26
001f6a26 66 90 f.
001f6a28lea rbx, [rip+0x136be9]
001f6a2fmov rbx, [rbx+80]
001f6a33mov rdi, [rax]
001f6a36cmp rdi, rbx
001f6a39jne 0x1f6a60
001f6a3bmov rbx, [rsp+8]
001f6a40cmp rbx, 41
001f6a44jl 0x1f6a4c
001f6a46call caml_reraise_exn
001f6a4bnop
001f6a4c
001f6a4cloc_1f6a4c:
001f6a4cmov rax, rbx
001f6a4fadd rax, 2
001f6a53mov rbx, [rsp+16]
001f6a58jmp 0x1f69b6
001f6a5d
001f6a5d 0f 1f 00 ...
001f6a60
001f6a60loc_1f6a60:
001f6a60call caml_reraise_exn
001f6a65nop [rax]
001f6a68
001f6a68loc_1f6a68:
001f6a68mov rax, [rsp]
001f6a6cadd rsp, 24
001f6a70ret
001f6a71
001f6a71loc_1f6a71:
001f6a71call caml_call_gc
001f6a76jmp 0x1f69c9
001f6a7b
001f6a7bloc_1f6a7b:
001f6a7bpush 38
001f6a7dcall caml_call_realloc_stack
001f6a82pop r10
001f6a84jmp 0x1f69b2
001f69a0
001f69a0Stdlib.Filename.try_name:
001f69a0lea r10, [rsp-360]
001f69a8cmp r10, [r14+40]
001f69acjb 0x1f6a7b
001f69b2
001f69b2loc_1f69b2:
001f69b2sub rsp, 24
001f69b6
001f69b6loc_1f69b6:
001f69b6mov [rsp+8], rax
001f69bbmov [rsp+16], rbx
001f69c0cmp r15, [r14]
001f69c3jbe 0x1f6a71
001f69c9
001f69c9loc_1f69c9:
001f69c9mov rdi, [rbx+32]
001f69cdmov rsi, [rbx+24]
001f69d1mov rax, [rbx+16]
001f69d5mov rbx, rsi
001f69d8call Stdlib.Filename.temp_file_name
001f69ddmov [rsp], rax
001f69e1lea r11, [rip+64]
001f69e8push r11
001f69eapush [r14+48]
001f69eemov [r14+48], rsp
001f69f2mov edx, 769
001f69f7lea rsi, [rip+0x17f67a]
001f69femov rdi, rax
001f6a01lea rax, [rip+0x2ba78]
001f6a08call caml_c_call
001f6a0dmov rdi, rax
001f6a10lea rax, [rip+0x2bb99]
001f6a17call caml_c_call
001f6a1cpop [r14+48]
001f6a20add rsp, 8
001f6a24jmp 0x1f6a68
001f6a26
001f6a26 66 90 f.
001f6a28lea rbx, [rip+0x136be9]
001f6a2fmov rbx, [rbx+80]
001f6a33mov rdi, [rax]
001f6a36cmp rdi, rbx
001f6a39jne 0x1f6a60
001f6a3bmov rbx, [rsp+8]
001f6a40cmp rbx, 41
001f6a44jl 0x1f6a4c
001f6a46call caml_reraise_exn
001f6a4bnop
001f6a4c
001f6a4cloc_1f6a4c:
001f6a4cmov rax, rbx
001f6a4fadd rax, 2
001f6a53mov rbx, [rsp+16]
001f6a58jmp 0x1f69b6
001f6a5d
001f6a5d 0f 1f 00 ...
001f6a60
001f6a60loc_1f6a60:
001f6a60call caml_reraise_exn
001f6a65nop [rax]
001f6a68
001f6a68loc_1f6a68:
001f6a68mov rax, [rsp]
001f6a6cadd rsp, 24
001f6a70ret
001f6a71
001f6a71loc_1f6a71:
001f6a71call caml_call_gc
001f6a76jmp 0x1f69c9
001f6a7b
001f6a7bloc_1f6a7b:
001f6a7bpush 38
001f6a7dcall caml_call_realloc_stack
001f6a82pop r10
001f6a84jmp 0x1f69b2
001f69a0
001f6a89
001f6a89 // align 0x10
001f6a89 // align 0x10
001f6a90
001f6a90Stdlib.Filename.open_temp_file_inner:
001f6a90sub r15, 64
001f6a94cmp r15, [r14]
001f6a97jb 0x1f6ade
001f6a99
001f6a99loc_1f6a99:
001f6a99lea rcx, [r15+8]
001f6a9dmov [rcx-8], 7415
001f6aa5lea r8, [rip+260]
001f6aacmov [rcx], r8
001f6aafmov r8, 0x100000000000005
001f6ab9mov [rcx+8], r8
001f6abdmov [rcx+16], rax
001f6ac1mov [rcx+24], rbx
001f6ac5mov [rcx+32], rdi
001f6ac9mov [rcx+40], rsi
001f6acdmov [rcx+48], rdx
001f6ad1mov eax, 1
001f6ad6mov rbx, rcx
001f6ad9jmp 0x1f6bb0
001f6ade
001f6adeloc_1f6ade:
001f6adecall caml_call_gc
001f6ae3jmp 0x1f6a99
001f6a90
001f6a90Stdlib.Filename.open_temp_file_inner:
001f6a90sub r15, 64
001f6a94cmp r15, [r14]
001f6a97jb 0x1f6ade
001f6a99
001f6a99loc_1f6a99:
001f6a99lea rcx, [r15+8]
001f6a9dmov [rcx-8], 7415
001f6aa5lea r8, [rip+260]
001f6aacmov [rcx], r8
001f6aafmov r8, 0x100000000000005
001f6ab9mov [rcx+8], r8
001f6abdmov [rcx+16], rax
001f6ac1mov [rcx+24], rbx
001f6ac5mov [rcx+32], rdi
001f6ac9mov [rcx+40], rsi
001f6acdmov [rcx+48], rdx
001f6ad1mov eax, 1
001f6ad6mov rbx, rcx
001f6ad9jmp 0x1f6bb0
001f6ade
001f6adeloc_1f6ade:
001f6adecall caml_call_gc
001f6ae3jmp 0x1f6a99
001f6a90
001f6ae5
001f6ae5 // align 0x10
001f6ae5 // align 0x10
001f6af0
001f6af0Stdlib.Filename.open_temp_file:
001f6af0lea r10, [rsp-352]
001f6af8cmp r10, [r14+40]
001f6afcjb 0x1f6b93
001f6b02
001f6b02loc_1f6b02:
001f6b02sub rsp, 32
001f6b06mov [rsp+16], rsi
001f6b0bmov [rsp+24], rdx
001f6b10test al, 1
001f6b12je 0x1f6b24
001f6b14lea rax, [rip+0x17f545]
001f6b1bmov [rsp], rax
001f6b1fjmp 0x1f6b2b
001f6b21
001f6b21 0f 1f 00 ...
001f6b24
001f6b24loc_1f6b24:
001f6b24mov rax, [rax]
001f6b27mov [rsp], rax
001f6b2b
001f6b2bloc_1f6b2b:
001f6b2btest bl, 1
001f6b2eje 0x1f6b3c
001f6b30mov eax, 769
001f6b35mov [rsp+8], rax
001f6b3ajmp 0x1f6b44
001f6b3c
001f6b3cloc_1f6b3c:
001f6b3cmov rax, [rbx]
001f6b3fmov [rsp+8], rax
001f6b44
001f6b44loc_1f6b44:
001f6b44test dil, 1
001f6b48je 0x1f6b74
001f6b4alea rax, [rip+0x1557f7]
001f6b51mov rax, [rax+80]
001f6b55mov rbx, [rax+8]
001f6b59lea rax, [rip+0x17f210]
001f6b60mov rax, [rax+272]
001f6b67mov rdi, [rbx]
001f6b6acall rdi
001f6b6cmov rdi, rax
001f6b6fjmp 0x1f6b77
001f6b71
001f6b71 0f 1f 00 ...
001f6b74
001f6b74loc_1f6b74:
001f6b74mov rdi, [rdi]
001f6b77
001f6b77loc_1f6b77:
001f6b77mov rax, [rsp]
001f6b7bmov rbx, [rsp+8]
001f6b80mov rsi, [rsp+16]
001f6b85mov rdx, [rsp+24]
001f6b8aadd rsp, 32
001f6b8ejmp 0x1f6a90
001f6b93
001f6b93loc_1f6b93:
001f6b93push 37
001f6b95call caml_call_realloc_stack
001f6b9apop r10
001f6b9cjmp 0x1f6b02
001f6af0
001f6af0Stdlib.Filename.open_temp_file:
001f6af0lea r10, [rsp-352]
001f6af8cmp r10, [r14+40]
001f6afcjb 0x1f6b93
001f6b02
001f6b02loc_1f6b02:
001f6b02sub rsp, 32
001f6b06mov [rsp+16], rsi
001f6b0bmov [rsp+24], rdx
001f6b10test al, 1
001f6b12je 0x1f6b24
001f6b14lea rax, [rip+0x17f545]
001f6b1bmov [rsp], rax
001f6b1fjmp 0x1f6b2b
001f6b21
001f6b21 0f 1f 00 ...
001f6b24
001f6b24loc_1f6b24:
001f6b24mov rax, [rax]
001f6b27mov [rsp], rax
001f6b2b
001f6b2bloc_1f6b2b:
001f6b2btest bl, 1
001f6b2eje 0x1f6b3c
001f6b30mov eax, 769
001f6b35mov [rsp+8], rax
001f6b3ajmp 0x1f6b44
001f6b3c
001f6b3cloc_1f6b3c:
001f6b3cmov rax, [rbx]
001f6b3fmov [rsp+8], rax
001f6b44
001f6b44loc_1f6b44:
001f6b44test dil, 1
001f6b48je 0x1f6b74
001f6b4alea rax, [rip+0x1557f7]
001f6b51mov rax, [rax+80]
001f6b55mov rbx, [rax+8]
001f6b59lea rax, [rip+0x17f210]
001f6b60mov rax, [rax+272]
001f6b67mov rdi, [rbx]
001f6b6acall rdi
001f6b6cmov rdi, rax
001f6b6fjmp 0x1f6b77
001f6b71
001f6b71 0f 1f 00 ...
001f6b74
001f6b74loc_1f6b74:
001f6b74mov rdi, [rdi]
001f6b77
001f6b77loc_1f6b77:
001f6b77mov rax, [rsp]
001f6b7bmov rbx, [rsp+8]
001f6b80mov rsi, [rsp+16]
001f6b85mov rdx, [rsp+24]
001f6b8aadd rsp, 32
001f6b8ejmp 0x1f6a90
001f6b93
001f6b93loc_1f6b93:
001f6b93push 37
001f6b95call caml_call_realloc_stack
001f6b9apop r10
001f6b9cjmp 0x1f6b02
001f6af0
001f6ba1
001f6ba1 // align 0x10
001f6ba1 // align 0x10
001f6bb0
001f6bb0Stdlib.Filename.try_name:
001f6bb0lea r10, [rsp-360]
001f6bb8cmp r10, [r14+40]
001f6bbcjb 0x1f6ce9
001f6bc2
001f6bc2loc_1f6bc2:
001f6bc2sub rsp, 24
001f6bc6
001f6bc6loc_1f6bc6:
001f6bc6mov [rsp], rax
001f6bcamov [rsp+8], rbx
001f6bcfmov rdi, [rbx+48]
001f6bd3mov rsi, [rbx+40]
001f6bd7mov rax, [rbx+32]
001f6bdbmov rbx, rsi
001f6bdecall Stdlib.Filename.temp_file_name
001f6be3mov rdi, rax
001f6be6mov [rsp+16], rdi
001f6beblea r11, [rip+158]
001f6bf2push r11
001f6bf4push [r14+48]
001f6bf8mov [r14+48], rsp
001f6bfcsub r15, 72
001f6c00cmp r15, [r14]
001f6c03jb 0x1f6cdf
001f6c09
001f6c09loc_1f6c09:
001f6c09lea rax, [r15+8]
001f6c0dadd rax, 48
001f6c11mov [rax-8], 2048
001f6c19mov [rax], 11
001f6c20mov rsi, [rsp+24]
001f6c25mov rbx, [rsi+16]
001f6c29mov [rax+8], rbx
001f6c2dlea rbx, [rax-24]
001f6c31mov [rbx-8], 2048
001f6c39mov [rbx], 7
001f6c40mov [rbx+8], rax
001f6c44lea rax, [rbx-24]
001f6c48mov [rax-8], 2048
001f6c50mov [rax], 3
001f6c57mov [rax+8], rbx
001f6c5bmov rbx, [rsi+24]
001f6c5fcall camlStdlib.open_out_gen_225
001f6c64sub r15, 24
001f6c68cmp r15, [r14]
001f6c6bjb 0x1f6cd8
001f6c6d
001f6c6dloc_1f6c6d:
001f6c6dlea rbx, [r15+8]
001f6c71mov [rbx-8], 2048
001f6c79mov rdi, [rsp+32]
001f6c7emov [rbx], rdi
001f6c81mov [rbx+8], rax
001f6c85pop [r14+48]
001f6c89add rsp, 8
001f6c8djmp 0x1f6cd0
001f6c8f
001f6c8f 90 .
001f6c90lea rbx, [rip+0x136981]
001f6c97mov rbx, [rbx+80]
001f6c9bmov rdi, [rax]
001f6c9ecmp rdi, rbx
001f6ca1jne 0x1f6cc8
001f6ca3mov rbx, [rsp]
001f6ca7cmp rbx, 41
001f6cabjl 0x1f6cb4
001f6cadcall caml_reraise_exn
001f6cb2nop
001f6cb4
001f6cb4loc_1f6cb4:
001f6cb4mov rax, rbx
001f6cb7add rax, 2
001f6cbbmov rbx, [rsp+8]
001f6cc0jmp 0x1f6bc6
001f6cc5
001f6cc5 0f 1f 00 ...
001f6cc8
001f6cc8loc_1f6cc8:
001f6cc8call caml_reraise_exn
001f6ccdnop [rax]
001f6cd0
001f6cd0loc_1f6cd0:
001f6cd0mov rax, rbx
001f6cd3add rsp, 24
001f6cd7ret
001f6cd8
001f6cd8loc_1f6cd8:
001f6cd8call caml_call_gc
001f6cddjmp 0x1f6c6d
001f6cdf
001f6cdfloc_1f6cdf:
001f6cdfcall caml_call_gc
001f6ce4jmp 0x1f6c09
001f6ce9
001f6ce9loc_1f6ce9:
001f6ce9push 38
001f6cebcall caml_call_realloc_stack
001f6cf0pop r10
001f6cf2jmp 0x1f6bc2
001f6bb0
001f6bb0Stdlib.Filename.try_name:
001f6bb0lea r10, [rsp-360]
001f6bb8cmp r10, [r14+40]
001f6bbcjb 0x1f6ce9
001f6bc2
001f6bc2loc_1f6bc2:
001f6bc2sub rsp, 24
001f6bc6
001f6bc6loc_1f6bc6:
001f6bc6mov [rsp], rax
001f6bcamov [rsp+8], rbx
001f6bcfmov rdi, [rbx+48]
001f6bd3mov rsi, [rbx+40]
001f6bd7mov rax, [rbx+32]
001f6bdbmov rbx, rsi
001f6bdecall Stdlib.Filename.temp_file_name
001f6be3mov rdi, rax
001f6be6mov [rsp+16], rdi
001f6beblea r11, [rip+158]
001f6bf2push r11
001f6bf4push [r14+48]
001f6bf8mov [r14+48], rsp
001f6bfcsub r15, 72
001f6c00cmp r15, [r14]
001f6c03jb 0x1f6cdf
001f6c09
001f6c09loc_1f6c09:
001f6c09lea rax, [r15+8]
001f6c0dadd rax, 48
001f6c11mov [rax-8], 2048
001f6c19mov [rax], 11
001f6c20mov rsi, [rsp+24]
001f6c25mov rbx, [rsi+16]
001f6c29mov [rax+8], rbx
001f6c2dlea rbx, [rax-24]
001f6c31mov [rbx-8], 2048
001f6c39mov [rbx], 7
001f6c40mov [rbx+8], rax
001f6c44lea rax, [rbx-24]
001f6c48mov [rax-8], 2048
001f6c50mov [rax], 3
001f6c57mov [rax+8], rbx
001f6c5bmov rbx, [rsi+24]
001f6c5fcall camlStdlib.open_out_gen_225
001f6c64sub r15, 24
001f6c68cmp r15, [r14]
001f6c6bjb 0x1f6cd8
001f6c6d
001f6c6dloc_1f6c6d:
001f6c6dlea rbx, [r15+8]
001f6c71mov [rbx-8], 2048
001f6c79mov rdi, [rsp+32]
001f6c7emov [rbx], rdi
001f6c81mov [rbx+8], rax
001f6c85pop [r14+48]
001f6c89add rsp, 8
001f6c8djmp 0x1f6cd0
001f6c8f
001f6c8f 90 .
001f6c90lea rbx, [rip+0x136981]
001f6c97mov rbx, [rbx+80]
001f6c9bmov rdi, [rax]
001f6c9ecmp rdi, rbx
001f6ca1jne 0x1f6cc8
001f6ca3mov rbx, [rsp]
001f6ca7cmp rbx, 41
001f6cabjl 0x1f6cb4
001f6cadcall caml_reraise_exn
001f6cb2nop
001f6cb4
001f6cb4loc_1f6cb4:
001f6cb4mov rax, rbx
001f6cb7add rax, 2
001f6cbbmov rbx, [rsp+8]
001f6cc0jmp 0x1f6bc6
001f6cc5
001f6cc5 0f 1f 00 ...
001f6cc8
001f6cc8loc_1f6cc8:
001f6cc8call caml_reraise_exn
001f6ccdnop [rax]
001f6cd0
001f6cd0loc_1f6cd0:
001f6cd0mov rax, rbx
001f6cd3add rsp, 24
001f6cd7ret
001f6cd8
001f6cd8loc_1f6cd8:
001f6cd8call caml_call_gc
001f6cddjmp 0x1f6c6d
001f6cdf
001f6cdfloc_1f6cdf:
001f6cdfcall caml_call_gc
001f6ce4jmp 0x1f6c09
001f6ce9
001f6ce9loc_1f6ce9:
001f6ce9push 38
001f6cebcall caml_call_realloc_stack
001f6cf0pop r10
001f6cf2jmp 0x1f6bc2
001f6bb0
001f6cf7
001f6cf7 // align 0x10
001f6cf7 // align 0x10
001f6d00
001f6d00Stdlib.Filename.temp_dir_inner:
001f6d00sub r15, 56
001f6d04cmp r15, [r14]
001f6d07jb 0x1f6d4a
001f6d09
001f6d09loc_1f6d09:
001f6d09lea rdx, [r15+8]
001f6d0dmov [rdx-8], 6391
001f6d15lea rcx, [rip+196]
001f6d1cmov [rdx], rcx
001f6d1fmov rcx, 0x100000000000005
001f6d29mov [rdx+8], rcx
001f6d2dmov [rdx+16], rax
001f6d31mov [rdx+24], rbx
001f6d35mov [rdx+32], rdi
001f6d39mov [rdx+40], rsi
001f6d3dmov eax, 1
001f6d42mov rbx, rdx
001f6d45jmp 0x1f6de0
001f6d4a
001f6d4aloc_1f6d4a:
001f6d4acall caml_call_gc
001f6d4fjmp 0x1f6d09
001f6d00
001f6d00Stdlib.Filename.temp_dir_inner:
001f6d00sub r15, 56
001f6d04cmp r15, [r14]
001f6d07jb 0x1f6d4a
001f6d09
001f6d09loc_1f6d09:
001f6d09lea rdx, [r15+8]
001f6d0dmov [rdx-8], 6391
001f6d15lea rcx, [rip+196]
001f6d1cmov [rdx], rcx
001f6d1fmov rcx, 0x100000000000005
001f6d29mov [rdx+8], rcx
001f6d2dmov [rdx+16], rax
001f6d31mov [rdx+24], rbx
001f6d35mov [rdx+32], rdi
001f6d39mov [rdx+40], rsi
001f6d3dmov eax, 1
001f6d42mov rbx, rdx
001f6d45jmp 0x1f6de0
001f6d4a
001f6d4aloc_1f6d4a:
001f6d4acall caml_call_gc
001f6d4fjmp 0x1f6d09
001f6d00
001f6d51
001f6d51 // align 0x10
001f6d51 // align 0x10
001f6d60
001f6d60Stdlib.Filename.temp_dir:
001f6d60lea r10, [rsp-344]
001f6d68cmp r10, [r14+40]
001f6d6cjb 0x1f6dd2
001f6d6e
001f6d6eloc_1f6d6e:
001f6d6esub rsp, 24
001f6d72mov [rsp], rbx
001f6d76mov [rsp+8], rdi
001f6d7bmov [rsp+16], rsi
001f6d80test al, 1
001f6d82je 0x1f6da8
001f6d84lea rax, [rip+0x1555bd]
001f6d8bmov rax, [rax+80]
001f6d8fmov rbx, [rax+8]
001f6d93lea rax, [rip+0x17efd6]
001f6d9amov rax, [rax+272]
001f6da1mov rdi, [rbx]
001f6da4call rdi
001f6da6jmp 0x1f6dab
001f6da8
001f6da8loc_1f6da8:
001f6da8mov rax, [rax]
001f6dab
001f6dabloc_1f6dab:
001f6dabmov rbx, [rsp]
001f6daftest bl, 1
001f6db2je 0x1f6dbc
001f6db4mov ebx, 897
001f6db9jmp 0x1f6dbf
001f6dbb
001f6dbb 90 .
001f6dbc
001f6dbcloc_1f6dbc:
001f6dbcmov rbx, [rbx]
001f6dbf
001f6dbfloc_1f6dbf:
001f6dbfmov rdi, [rsp+8]
001f6dc4mov rsi, [rsp+16]
001f6dc9add rsp, 24
001f6dcdjmp 0x1f6d00
001f6dd2
001f6dd2loc_1f6dd2:
001f6dd2push 36
001f6dd4call caml_call_realloc_stack
001f6dd9pop r10
001f6ddbjmp 0x1f6d6e
001f6d60
001f6d60Stdlib.Filename.temp_dir:
001f6d60lea r10, [rsp-344]
001f6d68cmp r10, [r14+40]
001f6d6cjb 0x1f6dd2
001f6d6e
001f6d6eloc_1f6d6e:
001f6d6esub rsp, 24
001f6d72mov [rsp], rbx
001f6d76mov [rsp+8], rdi
001f6d7bmov [rsp+16], rsi
001f6d80test al, 1
001f6d82je 0x1f6da8
001f6d84lea rax, [rip+0x1555bd]
001f6d8bmov rax, [rax+80]
001f6d8fmov rbx, [rax+8]
001f6d93lea rax, [rip+0x17efd6]
001f6d9amov rax, [rax+272]
001f6da1mov rdi, [rbx]
001f6da4call rdi
001f6da6jmp 0x1f6dab
001f6da8
001f6da8loc_1f6da8:
001f6da8mov rax, [rax]
001f6dab
001f6dabloc_1f6dab:
001f6dabmov rbx, [rsp]
001f6daftest bl, 1
001f6db2je 0x1f6dbc
001f6db4mov ebx, 897
001f6db9jmp 0x1f6dbf
001f6dbb
001f6dbb 90 .
001f6dbc
001f6dbcloc_1f6dbc:
001f6dbcmov rbx, [rbx]
001f6dbf
001f6dbfloc_1f6dbf:
001f6dbfmov rdi, [rsp+8]
001f6dc4mov rsi, [rsp+16]
001f6dc9add rsp, 24
001f6dcdjmp 0x1f6d00
001f6dd2
001f6dd2loc_1f6dd2:
001f6dd2push 36
001f6dd4call caml_call_realloc_stack
001f6dd9pop r10
001f6ddbjmp 0x1f6d6e
001f6d60
001f6ddd
001f6ddd // align 0x10
001f6ddd // align 0x10
001f6de0
001f6de0Stdlib.Filename.try_name:
001f6de0lea r10, [rsp-360]
001f6de8cmp r10, [r14+40]
001f6decjb 0x1f6ea7
001f6df2
001f6df2loc_1f6df2:
001f6df2sub rsp, 24
001f6df6
001f6df6loc_1f6df6:
001f6df6mov [rsp+8], rax
001f6dfbmov [rsp+16], rbx
001f6e00cmp r15, [r14]
001f6e03jbe 0x1f6e9d
001f6e09
001f6e09loc_1f6e09:
001f6e09mov rdi, [rbx+40]
001f6e0dmov rsi, [rbx+32]
001f6e11mov rax, [rbx+16]
001f6e15mov rbx, rsi
001f6e18call Stdlib.Filename.temp_file_name
001f6e1dmov [rsp], rax
001f6e21lea r11, [rip+44]
001f6e28push r11
001f6e2apush [r14+48]
001f6e2emov [r14+48], rsp
001f6e32mov rbx, [rsp+32]
001f6e37mov rsi, [rbx+24]
001f6e3bmov rdi, rax
001f6e3elea rax, [rip+0x2bb6b]
001f6e45call caml_c_call
001f6e4apop [r14+48]
001f6e4eadd rsp, 8
001f6e52jmp 0x1f6e94
001f6e54lea rbx, [rip+0x1367bd]
001f6e5bmov rbx, [rbx+80]
001f6e5fmov rdi, [rax]
001f6e62cmp rdi, rbx
001f6e65jne 0x1f6e8c
001f6e67mov rbx, [rsp+8]
001f6e6ccmp rbx, 41
001f6e70jl 0x1f6e78
001f6e72call caml_reraise_exn
001f6e77nop
001f6e78
001f6e78loc_1f6e78:
001f6e78mov rax, rbx
001f6e7badd rax, 2
001f6e7fmov rbx, [rsp+16]
001f6e84jmp 0x1f6df6
001f6e89
001f6e89 0f 1f 00 ...
001f6e8c
001f6e8cloc_1f6e8c:
001f6e8ccall caml_reraise_exn
001f6e91nop [rax]
001f6e94
001f6e94loc_1f6e94:
001f6e94mov rax, [rsp]
001f6e98add rsp, 24
001f6e9cret
001f6e9d
001f6e9dloc_1f6e9d:
001f6e9dcall caml_call_gc
001f6ea2jmp 0x1f6e09
001f6ea7
001f6ea7loc_1f6ea7:
001f6ea7push 38
001f6ea9call caml_call_realloc_stack
001f6eaepop r10
001f6eb0jmp 0x1f6df2
001f6de0
001f6de0Stdlib.Filename.try_name:
001f6de0lea r10, [rsp-360]
001f6de8cmp r10, [r14+40]
001f6decjb 0x1f6ea7
001f6df2
001f6df2loc_1f6df2:
001f6df2sub rsp, 24
001f6df6
001f6df6loc_1f6df6:
001f6df6mov [rsp+8], rax
001f6dfbmov [rsp+16], rbx
001f6e00cmp r15, [r14]
001f6e03jbe 0x1f6e9d
001f6e09
001f6e09loc_1f6e09:
001f6e09mov rdi, [rbx+40]
001f6e0dmov rsi, [rbx+32]
001f6e11mov rax, [rbx+16]
001f6e15mov rbx, rsi
001f6e18call Stdlib.Filename.temp_file_name
001f6e1dmov [rsp], rax
001f6e21lea r11, [rip+44]
001f6e28push r11
001f6e2apush [r14+48]
001f6e2emov [r14+48], rsp
001f6e32mov rbx, [rsp+32]
001f6e37mov rsi, [rbx+24]
001f6e3bmov rdi, rax
001f6e3elea rax, [rip+0x2bb6b]
001f6e45call caml_c_call
001f6e4apop [r14+48]
001f6e4eadd rsp, 8
001f6e52jmp 0x1f6e94
001f6e54lea rbx, [rip+0x1367bd]
001f6e5bmov rbx, [rbx+80]
001f6e5fmov rdi, [rax]
001f6e62cmp rdi, rbx
001f6e65jne 0x1f6e8c
001f6e67mov rbx, [rsp+8]
001f6e6ccmp rbx, 41
001f6e70jl 0x1f6e78
001f6e72call caml_reraise_exn
001f6e77nop
001f6e78
001f6e78loc_1f6e78:
001f6e78mov rax, rbx
001f6e7badd rax, 2
001f6e7fmov rbx, [rsp+16]
001f6e84jmp 0x1f6df6
001f6e89
001f6e89 0f 1f 00 ...
001f6e8c
001f6e8cloc_1f6e8c:
001f6e8ccall caml_reraise_exn
001f6e91nop [rax]
001f6e94
001f6e94loc_1f6e94:
001f6e94mov rax, [rsp]
001f6e98add rsp, 24
001f6e9cret
001f6e9d
001f6e9dloc_1f6e9d:
001f6e9dcall caml_call_gc
001f6ea2jmp 0x1f6e09
001f6ea7
001f6ea7loc_1f6ea7:
001f6ea7push 38
001f6ea9call caml_call_realloc_stack
001f6eaepop r10
001f6eb0jmp 0x1f6df2
001f6de0
001f6eb5
001f6eb5 // align 0x10
001f6eb5 // align 0x10
001f6ec0
001f6ec0Stdlib.Filename.entry:
001f6ec0lea r10, [rsp-376]
001f6ec8cmp r10, [r14+40]
001f6eccjb 0x1f7a9d
001f6ed2
001f6ed2loc_1f6ed2:
001f6ed2sub rsp, 40
001f6ed6lea rsi, [rip+0x17ea6b]
001f6eddlea rdi, [rip+0x17ee8c]
001f6ee4add rdi, 176
001f6eebmov rbx, rsp
001f6eeemov rsp, [r14+64]
001f6ef2call caml_initialize
001f6ef7mov rsp, rbx
001f6efalea rsi, [rip+0x17ea67]
001f6f01lea rdi, [rip+0x17ee68]
001f6f08add rdi, 184
001f6f0fmov rbx, rsp
001f6f12mov rsp, [r14+64]
001f6f16call caml_initialize
001f6f1bmov rsp, rbx
001f6f1elea rsi, [rip+0x17ea63]
001f6f25lea rdi, [rip+0x17ee44]
001f6f2cadd rdi, 192
001f6f33mov rbx, rsp
001f6f36mov rsp, [r14+64]
001f6f3acall caml_initialize
001f6f3fmov rsp, rbx
001f6f42lea rax, [rip+0x17ee07]
001f6f49mov [rsp], rax
001f6f4dlea rax, [rip+0x17ede4]
001f6f54mov [rsp+8], rax
001f6f59lea rax, [rip+0x17edc0]
001f6f60mov [rsp+16], rax
001f6f65lea rax, [rip+0x17ed94]
001f6f6cmov [rsp+24], rax
001f6f71lea rax, [rip+0x17ed68]
001f6f78mov [rsp+32], rax
001f6f7dlea r11, [rip+39]
001f6f84push r11
001f6f86push [r14+48]
001f6f8amov [r14+48], rsp
001f6f8elea rdi, [rip+0x17f08b]
001f6f95lea rax, [rip+0x2bca4]
001f6f9ccall caml_c_call
001f6fa1pop [r14+48]
001f6fa5add rsp, 8
001f6fa9jmp 0x1f6fc9
001f6fablea rbx, [rip+0x136666]
001f6fb2mov rbx, [rbx+56]
001f6fb6cmp rax, rbx
001f6fb9jne 0x1f6fc4
001f6fbblea rax, [rip+0x17f04e]
001f6fc2jmp 0x1f6fc9
001f6fc4
001f6fc4loc_1f6fc4:
001f6fc4call caml_reraise_exn
001f6fc9
001f6fc9loc_1f6fc9:
001f6fc9lea rbx, [rip+0x17f300]
001f6fd0lea rdi, [rip+0x17ed99]
001f6fd7mov rsi, [rdi+176]
001f6fdesub r15, 296
001f6fe5call caml_allocN
001f6fealea rcx, [r15+8]
001f6feeadd rcx, 256
001f6ff5mov [rcx-8], 4343
001f6ffdlea rdx, [rip-8196]
001f7004mov [rcx], rdx
001f7007mov rdx, 0x100000000000005
001f7011mov [rcx+8], rdx
001f7015mov [rcx+16], rbx
001f7019mov [rcx+24], rsi
001f701dlea r8, [rcx-40]
001f7021mov [r8-8], 4343
001f7029lea rbx, [rip-0x1004a0]
001f7030mov [r8], rbx
001f7033mov rbx, 0x500000000000007
001f703dmov [r8+8], rbx
001f7041lea rbx, [rip-8248]
001f7048mov [r8+16], rbx
001f704cmov [r8+24], rcx
001f7050lea r9, [rip+0x17f139]
001f7057mov r12, [rsp]
001f705bmov rbx, [rdi+184]
001f7062lea rdx, [r8-48]
001f7066mov [rdx-8], 5367
001f706elea rsi, [rip-7893]
001f7075mov [rdx], rsi
001f7078mov rsi, 0x100000000000005
001f7082mov [rdx+8], rsi
001f7086mov [rdx+16], r12
001f708amov [rdx+24], r9
001f708emov [rdx+32], rbx
001f7092mov rsi, [rdi+192]
001f7099lea rbx, [rdx-48]
001f709dmov [rbx-8], 5367
001f70a5lea r13, [rip-7916]
001f70acmov [rbx], r13
001f70afmov r13, 0x100000000000005
001f70b9mov [rbx+8], r13
001f70bdmov [rbx+16], r12
001f70c1mov [rbx+24], r9
001f70c5mov [rbx+32], rsi
001f70c9lea rsi, [rbx-120]
001f70cdmov [rsi-8], 14336
001f70d5lea r13, [rip+0x17f19c]
001f70dcmov [rsi], r13
001f70dfmov [rsi+8], r9
001f70e3lea r9, [rip+0x17efd6]
001f70eamov [rsi+16], r9
001f70eelea r9, [rip+0x17ef5b]
001f70f5mov [rsi+24], r9
001f70f9mov [rsi+32], r12
001f70fdmov r9, [rsp+8]
001f7102mov [rsi+40], r9
001f7106mov r9, [rsp+16]
001f710bmov [rsi+48], r9
001f710fmov r9, [rsp+24]
001f7114mov [rsi+56], r9
001f7118mov r9, [rsp+32]
001f711dmov [rsi+64], r9
001f7121mov [rsi+72], rax
001f7125mov [rsi+80], rcx
001f7129mov [rsi+88], r8
001f712dmov [rsi+96], rdx
001f7131mov [rsi+104], rbx
001f7135add rdi, 200
001f713cmov rbx, rsp
001f713fmov rsp, [r14+64]
001f7143call caml_initialize
001f7148mov rsp, rbx
001f714blea rsi, [rip+0x17f106]
001f7152lea rdi, [rip+0x17ec17]
001f7159add rdi, 392
001f7160mov rbx, rsp
001f7163mov rsp, [r14+64]
001f7167call caml_initialize
001f716cmov rsp, rbx
001f716flea rsi, [rip+0x17f01a]
001f7176lea rdi, [rip+0x17ebf3]
001f717dadd rdi, 400
001f7184mov rbx, rsp
001f7187mov rsp, [r14+64]
001f718bcall caml_initialize
001f7190mov rsp, rbx
001f7193lea rsi, [rip+0x17ef26]
001f719alea rdi, [rip+0x17ebcf]
001f71a1add rdi, 408
001f71a8mov rbx, rsp
001f71abmov rsp, [r14+64]
001f71afcall caml_initialize
001f71b4mov rsp, rbx
001f71b7lea rsi, [rip+0x17f08a]
001f71belea rdi, [rip+0x17ebab]
001f71c5add rdi, 416
001f71ccmov rbx, rsp
001f71cfmov rsp, [r14+64]
001f71d3call caml_initialize
001f71d8mov rsp, rbx
001f71dblea rsi, [rip+0x17e7c6]
001f71e2lea rdi, [rip+0x17eb87]
001f71e9add rdi, 424
001f71f0mov rbx, rsp
001f71f3mov rsp, [r14+64]
001f71f7call caml_initialize
001f71fcmov rsp, rbx
001f71fflea rsi, [rip+0x17e7c2]
001f7206lea rdi, [rip+0x17eb63]
001f720dadd rdi, 432
001f7214mov rbx, rsp
001f7217mov rsp, [r14+64]
001f721bcall caml_initialize
001f7220mov rsp, rbx
001f7223lea rsi, [rip+0x17e7b6]
001f722alea rdi, [rip+0x17eb3f]
001f7231add rdi, 440
001f7238mov rbx, rsp
001f723bmov rsp, [r14+64]
001f723fcall caml_initialize
001f7244mov rsp, rbx
001f7247lea rsi, [rip+0x17e7aa]
001f724elea rdi, [rip+0x17eb1b]
001f7255add rdi, 448
001f725cmov rbx, rsp
001f725fmov rsp, [r14+64]
001f7263call caml_initialize
001f7268mov rsp, rbx
001f726blea rsi, [rip+0x17e7a6]
001f7272lea rdi, [rip+0x17eaf7]
001f7279add rdi, 456
001f7280mov rbx, rsp
001f7283mov rsp, [r14+64]
001f7287call caml_initialize
001f728cmov rsp, rbx
001f728flea r11, [rip+39]
001f7296push r11
001f7298push [r14+48]
001f729cmov [r14+48], rsp
001f72a0lea rdi, [rip+0x17ef71]
001f72a7lea rax, [rip+0x2b992]
001f72aecall caml_c_call
001f72b3pop [r14+48]
001f72b7add rsp, 8
001f72bbjmp 0x1f72db
001f72bdlea rbx, [rip+0x136354]
001f72c4mov rbx, [rbx+56]
001f72c8cmp rax, rbx
001f72cbjne 0x1f72d6
001f72cdlea rax, [rip+0x17eebc]
001f72d4jmp 0x1f72db
001f72d6
001f72d6loc_1f72d6:
001f72d6call caml_reraise_exn
001f72db
001f72dbloc_1f72db:
001f72dblea rdi, [rip+0x17ea8e]
001f72e2add rdi, 464
001f72e9mov rsi, rax
001f72ecmov rbx, rsp
001f72efmov rsp, [r14+64]
001f72f3call caml_initialize
001f72f8mov rsp, rbx
001f72fblea rsi, [rip+0x17e736]
001f7302lea rdi, [rip+0x17ea67]
001f7309add rdi, 472
001f7310mov rbx, rsp
001f7313mov rsp, [r14+64]
001f7317call caml_initialize
001f731cmov rsp, rbx
001f731flea rsi, [rip+0x17e72a]
001f7326lea rdi, [rip+0x17ea43]
001f732dadd rdi, 480
001f7334mov rbx, rsp
001f7337mov rsp, [r14+64]
001f733bcall caml_initialize
001f7340mov rsp, rbx
001f7343lea rsi, [rip+0x17e71e]
001f734alea rdi, [rip+0x17ea1f]
001f7351add rdi, 488
001f7358mov rbx, rsp
001f735bmov rsp, [r14+64]
001f735fcall caml_initialize
001f7364mov rsp, rbx
001f7367lea rsi, [rip+0x17e712]
001f736elea rdi, [rip+0x17e9fb]
001f7375add rdi, 496
001f737cmov rbx, rsp
001f737fmov rsp, [r14+64]
001f7383call caml_initialize
001f7388mov rsp, rbx
001f738blea rsi, [rip+0x17e70e]
001f7392lea rdi, [rip+0x17e9d7]
001f7399add rdi, 504
001f73a0mov rbx, rsp
001f73a3mov rsp, [r14+64]
001f73a7call caml_initialize
001f73acmov rsp, rbx
001f73aflea rsi, [rip+0x17e702]
001f73b6lea rdi, [rip+0x17e9b3]
001f73bdadd rdi, 512
001f73c4mov rbx, rsp
001f73c7mov rsp, [r14+64]
001f73cbcall caml_initialize
001f73d0mov rsp, rbx
001f73d3lea rsi, [rip+0x17e6f6]
001f73dalea rdi, [rip+0x17e98f]
001f73e1add rdi, 520
001f73e8mov rbx, rsp
001f73ebmov rsp, [r14+64]
001f73efcall caml_initialize
001f73f4mov rsp, rbx
001f73f7lea rsi, [rip+0x17e6ea]
001f73felea rdi, [rip+0x17e96b]
001f7405add rdi, 528
001f740cmov rbx, rsp
001f740fmov rsp, [r14+64]
001f7413call caml_initialize
001f7418mov rsp, rbx
001f741bsub r15, 120
001f741fcall caml_allocN
001f7424lea rsi, [r15+8]
001f7428mov [rsi-8], 14336
001f7430lea rax, [rip+0x17ee21]
001f7437mov [rsi], rax
001f743alea rax, [rip+0x17ed4f]
001f7441mov [rsi+8], rax
001f7445lea rax, [rip+0x17ec74]
001f744cmov [rsi+16], rax
001f7450lea rax, [rip+0x17edf1]
001f7457mov [rsi+24], rax
001f745blea rdi, [rip+0x17e90e]
001f7462mov rax, [rdi+424]
001f7469mov [rsi+32], rax
001f746dmov rax, [rdi+432]
001f7474mov [rsi+40], rax
001f7478mov rax, [rdi+440]
001f747fmov [rsi+48], rax
001f7483mov rax, [rdi+448]
001f748amov [rsi+56], rax
001f748emov rax, [rdi+456]
001f7495mov [rsi+64], rax
001f7499mov rax, [rdi+464]
001f74a0mov [rsi+72], rax
001f74a4mov rax, [rdi+472]
001f74abmov [rsi+80], rax
001f74afmov rax, [rdi+496]
001f74b6mov [rsi+88], rax
001f74bamov rax, [rdi+528]
001f74c1mov [rsi+96], rax
001f74c5mov rax, [rdi+520]
001f74ccmov [rsi+104], rax
001f74d0add rdi, 208
001f74d7mov rbx, rsp
001f74damov rsp, [r14+64]
001f74decall caml_initialize
001f74e3mov rsp, rbx
001f74e6lea rdi, [rip+0x17e883]
001f74edmov rax, [rdi+208]
001f74f4mov rcx, [rax+32]
001f74f8mov rbx, [rax+40]
001f74fcmov [rsp], rbx
001f7500mov rbx, [rax+48]
001f7504mov [rsp+8], rbx
001f7509mov rbx, [rax+56]
001f750dmov [rsp+16], rbx
001f7512mov r13, [rax+64]
001f7516mov rax, [rdi+200]
001f751dmov r12, [rax+72]
001f7521mov r9, [rax+80]
001f7525mov r8, [rax+88]
001f7529lea rdx, [rip+0x17ec60]
001f7530mov rax, [rdi+184]
001f7537sub r15, 216
001f753ecall caml_allocN
001f7543lea rbx, [r15+8]
001f7547add rbx, 168
001f754emov [rbx-8], 5367
001f7556lea rsi, [rip-4909]
001f755dmov [rbx], rsi
001f7560mov rsi, 0x100000000000005
001f756amov [rbx+8], rsi
001f756emov [rbx+16], rcx
001f7572mov [rbx+24], rdx
001f7576mov [rbx+32], rax
001f757amov rsi, [rdi+192]
001f7581lea rax, [rbx-48]
001f7585mov [rax-8], 5367
001f758dlea r10, [rip-4932]
001f7594mov [rax], r10
001f7597mov r10, 0x100000000000005
001f75a1mov [rax+8], r10
001f75a5mov [rax+16], rcx
001f75a9mov [rax+24], rdx
001f75admov [rax+32], rsi
001f75b1lea rsi, [rax-120]
001f75b5mov [rsi-8], 14336
001f75bdlea r10, [rip+0x17ecb4]
001f75c4mov [rsi], r10
001f75c7mov [rsi+8], rdx
001f75cblea rdx, [rip+0x17eaee]
001f75d2mov [rsi+16], rdx
001f75d6lea rdx, [rip+0x17ea73]
001f75ddmov [rsi+24], rdx
001f75e1mov [rsi+32], rcx
001f75e5mov rdx, [rsp]
001f75e9mov [rsi+40], rdx
001f75edmov rdx, [rsp+8]
001f75f2mov [rsi+48], rdx
001f75f6mov rdx, [rsp+16]
001f75fbmov [rsi+56], rdx
001f75ffmov [rsi+64], r13
001f7603mov [rsi+72], r12
001f7607mov [rsi+80], r9
001f760bmov [rsi+88], r8
001f760fmov [rsi+96], rbx
001f7613mov [rsi+104], rax
001f7617add rdi, 216
001f761emov rbx, rsp
001f7621mov rsp, [r14+64]
001f7625call caml_initialize
001f762amov rsp, rbx
001f762dlea rax, [rip+0x137da4]
001f7634mov rax, [rax+24]
001f7638mov rbx, [rax-8]
001f763cshr rbx, 10
001f7640cmp rbx, 2
001f7644jge 0x1f7687
001f7646mov rax, [rax]
001f7649mov rbx, 0x1006e6977677943
001f7653cmp rax, rbx
001f7656jne 0x1f7668
001f7658lea rax, [rip+0x17e711]
001f765fmov rsi, [rax+216]
001f7666jmp 0x1f7695
001f7668
001f7668loc_1f7668:
001f7668mov rbx, 0x2000032336e6957
001f7672cmp rax, rbx
001f7675jne 0x1f7687
001f7677lea rax, [rip+0x17e6f2]
001f767emov rsi, [rax+208]
001f7685jmp 0x1f7695
001f7687
001f7687loc_1f7687:
001f7687lea rax, [rip+0x17e6e2]
001f768emov rsi, [rax+200]
001f7695
001f7695loc_1f7695:
001f7695lea rdi, [rip+0x17e6d4]
001f769cadd rdi, 224
001f76a3mov rbx, rsp
001f76a6mov rsp, [r14+64]
001f76aacall caml_initialize
001f76afmov rsp, rbx
001f76b2lea rdi, [rip+0x17e6b7]
001f76b9mov r12, [rdi+224]
001f76c0mov rsi, [r12]
001f76c4add rdi, 112
001f76c8mov rbx, rsp
001f76cbmov rsp, [r14+64]
001f76cfcall caml_initialize
001f76d4mov rsp, rbx
001f76d7mov rsi, [r12+8]
001f76dclea rdi, [rip+0x17e68d]
001f76e3mov rbx, rsp
001f76e6mov rsp, [r14+64]
001f76eacall caml_initialize
001f76efmov rsp, rbx
001f76f2mov rsi, [r12+16]
001f76f7lea rdi, [rip+0x17e672]
001f76feadd rdi, 8
001f7702mov rbx, rsp
001f7705mov rsp, [r14+64]
001f7709call caml_initialize
001f770emov rsp, rbx
001f7711mov rsi, [r12+24]
001f7716lea rdi, [rip+0x17e653]
001f771dadd rdi, 16
001f7721mov rbx, rsp
001f7724mov rsp, [r14+64]
001f7728call caml_initialize
001f772dmov rsp, rbx
001f7730mov rsi, [r12+32]
001f7735lea rdi, [rip+0x17e634]
001f773cadd rdi, 232
001f7743mov rbx, rsp
001f7746mov rsp, [r14+64]
001f774acall caml_initialize
001f774fmov rsp, rbx
001f7752mov rsi, [r12+40]
001f7757lea rdi, [rip+0x17e612]
001f775eadd rdi, 32
001f7762mov rbx, rsp
001f7765mov rsp, [r14+64]
001f7769call caml_initialize
001f776emov rsp, rbx
001f7771mov rsi, [r12+48]
001f7776lea rdi, [rip+0x17e5f3]
001f777dadd rdi, 40
001f7781mov rbx, rsp
001f7784mov rsp, [r14+64]
001f7788call caml_initialize
001f778dmov rsp, rbx
001f7790mov rsi, [r12+56]
001f7795lea rdi, [rip+0x17e5d4]
001f779cadd rdi, 48
001f77a0mov rbx, rsp
001f77a3mov rsp, [r14+64]
001f77a7call caml_initialize
001f77acmov rsp, rbx
001f77afmov rsi, [r12+64]
001f77b4lea rdi, [rip+0x17e5b5]
001f77bbadd rdi, 64
001f77bfmov rbx, rsp
001f77c2mov rsp, [r14+64]
001f77c6call caml_initialize
001f77cbmov rsp, rbx
001f77cemov rsi, [r12+72]
001f77d3lea rdi, [rip+0x17e596]
001f77daadd rdi, 240
001f77e1mov rbx, rsp
001f77e4mov rsp, [r14+64]
001f77e8call caml_initialize
001f77edmov rsp, rbx
001f77f0mov rsi, [r12+80]
001f77f5lea rdi, [rip+0x17e574]
001f77fcadd rdi, 160
001f7803mov rbx, rsp
001f7806mov rsp, [r14+64]
001f780acall caml_initialize
001f780fmov rsp, rbx
001f7812mov rsi, [r12+88]
001f7817lea rdi, [rip+0x17e552]
001f781eadd rdi, 168
001f7825mov rbx, rsp
001f7828mov rsp, [r14+64]
001f782ccall caml_initialize
001f7831mov rsp, rbx
001f7834mov rsi, [r12+96]
001f7839lea rdi, [rip+0x17e530]
001f7840add rdi, 96
001f7844mov rbx, rsp
001f7847mov rsp, [r14+64]
001f784bcall caml_initialize
001f7850mov rsp, rbx
001f7853mov rsi, [r12+104]
001f7858lea rdi, [rip+0x17e511]
001f785fadd rdi, 104
001f7863mov rbx, rsp
001f7866mov rsp, [r14+64]
001f786acall caml_initialize
001f786fmov rsp, rbx
001f7872lea rsi, [rip+0x17e287]
001f7879lea rdi, [rip+0x17e4f0]
001f7880add rdi, 24
001f7884mov rbx, rsp
001f7887mov rsp, [r14+64]
001f788bcall caml_initialize
001f7890mov rsp, rbx
001f7893lea rsi, [rip+0x17e286]
001f789alea rdi, [rip+0x17e4cf]
001f78a1add rdi, 56
001f78a5mov rbx, rsp
001f78a8mov rsp, [r14+64]
001f78accall caml_initialize
001f78b1mov rsp, rbx
001f78b4lea rsi, [rip+0x17e285]
001f78bblea rdi, [rip+0x17e4ae]
001f78c2add rdi, 248
001f78c9mov rbx, rsp
001f78ccmov rsp, [r14+64]
001f78d0call caml_initialize
001f78d5mov rsp, rbx
001f78d8lea rsi, [rip+0x17e279]
001f78dflea rdi, [rip+0x17e48a]
001f78e6add rdi, 72
001f78eamov rbx, rsp
001f78edmov rsp, [r14+64]
001f78f1call caml_initialize
001f78f6mov rsp, rbx
001f78f9lea rsi, [rip+0x17e270]
001f7900lea rdi, [rip+0x17e469]
001f7907add rdi, 88
001f790bmov rbx, rsp
001f790emov rsp, [r14+64]
001f7912call caml_initialize
001f7917mov rsp, rbx
001f791alea rsi, [rip+0x17e267]
001f7921lea rdi, [rip+0x17e448]
001f7928add rdi, 80
001f792cmov rbx, rsp
001f792fmov rsp, [r14+64]
001f7933call caml_initialize
001f7938mov rsp, rbx
001f793blea rax, [rip+0x1705be]
001f7942mov rax, [rax+144]
001f7949mov rbx, [rax+8]
001f794dmov eax, 1
001f7952call Stdlib.Domain.new_key
001f7957lea rdi, [rip+0x17e412]
001f795eadd rdi, 256
001f7965mov rsi, rax
001f7968mov rbx, rsp
001f796bmov rsp, [r14+64]
001f796fcall caml_initialize
001f7974mov rsp, rbx
001f7977lea rsi, [rip+0x17e222]
001f797elea rdi, [rip+0x17e3eb]
001f7985add rdi, 264
001f798cmov rbx, rsp
001f798fmov rsp, [r14+64]
001f7993call caml_initialize
001f7998mov rsp, rbx
001f799bcall caml_alloc1
001f79a0lea rax, [r15+8]
001f79a4mov [rax-8], 1024
001f79aclea rbx, [rip+0x17e225]
001f79b3mov [rax], rbx
001f79b6lea rbx, [rip+0x17e203]
001f79bdcall Stdlib.Domain.new_key
001f79c2lea rdi, [rip+0x17e3a7]
001f79c9add rdi, 272
001f79d0mov rsi, rax
001f79d3mov rbx, rsp
001f79d6mov rsp, [r14+64]
001f79dacall caml_initialize
001f79dfmov rsp, rbx
001f79e2lea rsi, [rip+0x17e207]
001f79e9lea rdi, [rip+0x17e380]
001f79f0add rdi, 152
001f79f7mov rbx, rsp
001f79famov rsp, [r14+64]
001f79fecall caml_initialize
001f7a03mov rsp, rbx
001f7a06lea rsi, [rip+0x17e1fb]
001f7a0dlea rdi, [rip+0x17e35c]
001f7a14add rdi, 144
001f7a1bmov rbx, rsp
001f7a1emov rsp, [r14+64]
001f7a22call caml_initialize
001f7a27mov rsp, rbx
001f7a2alea rsi, [rip+0x17e1ef]
001f7a31lea rdi, [rip+0x17e338]
001f7a38add rdi, 120
001f7a3cmov rbx, rsp
001f7a3fmov rsp, [r14+64]
001f7a43call caml_initialize
001f7a48mov rsp, rbx
001f7a4blea rsi, [rip+0x17e20e]
001f7a52lea rdi, [rip+0x17e317]
001f7a59add rdi, 128
001f7a60mov rbx, rsp
001f7a63mov rsp, [r14+64]
001f7a67call caml_initialize
001f7a6cmov rsp, rbx
001f7a6flea rsi, [rip+0x17e22a]
001f7a76lea rdi, [rip+0x17e2f3]
001f7a7dadd rdi, 136
001f7a84mov rbx, rsp
001f7a87mov rsp, [r14+64]
001f7a8bcall caml_initialize
001f7a90mov rsp, rbx
001f7a93mov eax, 1
001f7a98add rsp, 40
001f7a9cret
001f7a9d
001f7a9dloc_1f7a9d:
001f7a9dpush 40
001f7a9fcall caml_call_realloc_stack
001f7aa4pop r10
001f7aa6jmp 0x1f6ed2
001f6ec0
001f6ec0Stdlib.Filename.entry:
001f6ec0lea r10, [rsp-376]
001f6ec8cmp r10, [r14+40]
001f6eccjb 0x1f7a9d
001f6ed2
001f6ed2loc_1f6ed2:
001f6ed2sub rsp, 40
001f6ed6lea rsi, [rip+0x17ea6b]
001f6eddlea rdi, [rip+0x17ee8c]
001f6ee4add rdi, 176
001f6eebmov rbx, rsp
001f6eeemov rsp, [r14+64]
001f6ef2call caml_initialize
001f6ef7mov rsp, rbx
001f6efalea rsi, [rip+0x17ea67]
001f6f01lea rdi, [rip+0x17ee68]
001f6f08add rdi, 184
001f6f0fmov rbx, rsp
001f6f12mov rsp, [r14+64]
001f6f16call caml_initialize
001f6f1bmov rsp, rbx
001f6f1elea rsi, [rip+0x17ea63]
001f6f25lea rdi, [rip+0x17ee44]
001f6f2cadd rdi, 192
001f6f33mov rbx, rsp
001f6f36mov rsp, [r14+64]
001f6f3acall caml_initialize
001f6f3fmov rsp, rbx
001f6f42lea rax, [rip+0x17ee07]
001f6f49mov [rsp], rax
001f6f4dlea rax, [rip+0x17ede4]
001f6f54mov [rsp+8], rax
001f6f59lea rax, [rip+0x17edc0]
001f6f60mov [rsp+16], rax
001f6f65lea rax, [rip+0x17ed94]
001f6f6cmov [rsp+24], rax
001f6f71lea rax, [rip+0x17ed68]
001f6f78mov [rsp+32], rax
001f6f7dlea r11, [rip+39]
001f6f84push r11
001f6f86push [r14+48]
001f6f8amov [r14+48], rsp
001f6f8elea rdi, [rip+0x17f08b]
001f6f95lea rax, [rip+0x2bca4]
001f6f9ccall caml_c_call
001f6fa1pop [r14+48]
001f6fa5add rsp, 8
001f6fa9jmp 0x1f6fc9
001f6fablea rbx, [rip+0x136666]
001f6fb2mov rbx, [rbx+56]
001f6fb6cmp rax, rbx
001f6fb9jne 0x1f6fc4
001f6fbblea rax, [rip+0x17f04e]
001f6fc2jmp 0x1f6fc9
001f6fc4
001f6fc4loc_1f6fc4:
001f6fc4call caml_reraise_exn
001f6fc9
001f6fc9loc_1f6fc9:
001f6fc9lea rbx, [rip+0x17f300]
001f6fd0lea rdi, [rip+0x17ed99]
001f6fd7mov rsi, [rdi+176]
001f6fdesub r15, 296
001f6fe5call caml_allocN
001f6fealea rcx, [r15+8]
001f6feeadd rcx, 256
001f6ff5mov [rcx-8], 4343
001f6ffdlea rdx, [rip-8196]
001f7004mov [rcx], rdx
001f7007mov rdx, 0x100000000000005
001f7011mov [rcx+8], rdx
001f7015mov [rcx+16], rbx
001f7019mov [rcx+24], rsi
001f701dlea r8, [rcx-40]
001f7021mov [r8-8], 4343
001f7029lea rbx, [rip-0x1004a0]
001f7030mov [r8], rbx
001f7033mov rbx, 0x500000000000007
001f703dmov [r8+8], rbx
001f7041lea rbx, [rip-8248]
001f7048mov [r8+16], rbx
001f704cmov [r8+24], rcx
001f7050lea r9, [rip+0x17f139]
001f7057mov r12, [rsp]
001f705bmov rbx, [rdi+184]
001f7062lea rdx, [r8-48]
001f7066mov [rdx-8], 5367
001f706elea rsi, [rip-7893]
001f7075mov [rdx], rsi
001f7078mov rsi, 0x100000000000005
001f7082mov [rdx+8], rsi
001f7086mov [rdx+16], r12
001f708amov [rdx+24], r9
001f708emov [rdx+32], rbx
001f7092mov rsi, [rdi+192]
001f7099lea rbx, [rdx-48]
001f709dmov [rbx-8], 5367
001f70a5lea r13, [rip-7916]
001f70acmov [rbx], r13
001f70afmov r13, 0x100000000000005
001f70b9mov [rbx+8], r13
001f70bdmov [rbx+16], r12
001f70c1mov [rbx+24], r9
001f70c5mov [rbx+32], rsi
001f70c9lea rsi, [rbx-120]
001f70cdmov [rsi-8], 14336
001f70d5lea r13, [rip+0x17f19c]
001f70dcmov [rsi], r13
001f70dfmov [rsi+8], r9
001f70e3lea r9, [rip+0x17efd6]
001f70eamov [rsi+16], r9
001f70eelea r9, [rip+0x17ef5b]
001f70f5mov [rsi+24], r9
001f70f9mov [rsi+32], r12
001f70fdmov r9, [rsp+8]
001f7102mov [rsi+40], r9
001f7106mov r9, [rsp+16]
001f710bmov [rsi+48], r9
001f710fmov r9, [rsp+24]
001f7114mov [rsi+56], r9
001f7118mov r9, [rsp+32]
001f711dmov [rsi+64], r9
001f7121mov [rsi+72], rax
001f7125mov [rsi+80], rcx
001f7129mov [rsi+88], r8
001f712dmov [rsi+96], rdx
001f7131mov [rsi+104], rbx
001f7135add rdi, 200
001f713cmov rbx, rsp
001f713fmov rsp, [r14+64]
001f7143call caml_initialize
001f7148mov rsp, rbx
001f714blea rsi, [rip+0x17f106]
001f7152lea rdi, [rip+0x17ec17]
001f7159add rdi, 392
001f7160mov rbx, rsp
001f7163mov rsp, [r14+64]
001f7167call caml_initialize
001f716cmov rsp, rbx
001f716flea rsi, [rip+0x17f01a]
001f7176lea rdi, [rip+0x17ebf3]
001f717dadd rdi, 400
001f7184mov rbx, rsp
001f7187mov rsp, [r14+64]
001f718bcall caml_initialize
001f7190mov rsp, rbx
001f7193lea rsi, [rip+0x17ef26]
001f719alea rdi, [rip+0x17ebcf]
001f71a1add rdi, 408
001f71a8mov rbx, rsp
001f71abmov rsp, [r14+64]
001f71afcall caml_initialize
001f71b4mov rsp, rbx
001f71b7lea rsi, [rip+0x17f08a]
001f71belea rdi, [rip+0x17ebab]
001f71c5add rdi, 416
001f71ccmov rbx, rsp
001f71cfmov rsp, [r14+64]
001f71d3call caml_initialize
001f71d8mov rsp, rbx
001f71dblea rsi, [rip+0x17e7c6]
001f71e2lea rdi, [rip+0x17eb87]
001f71e9add rdi, 424
001f71f0mov rbx, rsp
001f71f3mov rsp, [r14+64]
001f71f7call caml_initialize
001f71fcmov rsp, rbx
001f71fflea rsi, [rip+0x17e7c2]
001f7206lea rdi, [rip+0x17eb63]
001f720dadd rdi, 432
001f7214mov rbx, rsp
001f7217mov rsp, [r14+64]
001f721bcall caml_initialize
001f7220mov rsp, rbx
001f7223lea rsi, [rip+0x17e7b6]
001f722alea rdi, [rip+0x17eb3f]
001f7231add rdi, 440
001f7238mov rbx, rsp
001f723bmov rsp, [r14+64]
001f723fcall caml_initialize
001f7244mov rsp, rbx
001f7247lea rsi, [rip+0x17e7aa]
001f724elea rdi, [rip+0x17eb1b]
001f7255add rdi, 448
001f725cmov rbx, rsp
001f725fmov rsp, [r14+64]
001f7263call caml_initialize
001f7268mov rsp, rbx
001f726blea rsi, [rip+0x17e7a6]
001f7272lea rdi, [rip+0x17eaf7]
001f7279add rdi, 456
001f7280mov rbx, rsp
001f7283mov rsp, [r14+64]
001f7287call caml_initialize
001f728cmov rsp, rbx
001f728flea r11, [rip+39]
001f7296push r11
001f7298push [r14+48]
001f729cmov [r14+48], rsp
001f72a0lea rdi, [rip+0x17ef71]
001f72a7lea rax, [rip+0x2b992]
001f72aecall caml_c_call
001f72b3pop [r14+48]
001f72b7add rsp, 8
001f72bbjmp 0x1f72db
001f72bdlea rbx, [rip+0x136354]
001f72c4mov rbx, [rbx+56]
001f72c8cmp rax, rbx
001f72cbjne 0x1f72d6
001f72cdlea rax, [rip+0x17eebc]
001f72d4jmp 0x1f72db
001f72d6
001f72d6loc_1f72d6:
001f72d6call caml_reraise_exn
001f72db
001f72dbloc_1f72db:
001f72dblea rdi, [rip+0x17ea8e]
001f72e2add rdi, 464
001f72e9mov rsi, rax
001f72ecmov rbx, rsp
001f72efmov rsp, [r14+64]
001f72f3call caml_initialize
001f72f8mov rsp, rbx
001f72fblea rsi, [rip+0x17e736]
001f7302lea rdi, [rip+0x17ea67]
001f7309add rdi, 472
001f7310mov rbx, rsp
001f7313mov rsp, [r14+64]
001f7317call caml_initialize
001f731cmov rsp, rbx
001f731flea rsi, [rip+0x17e72a]
001f7326lea rdi, [rip+0x17ea43]
001f732dadd rdi, 480
001f7334mov rbx, rsp
001f7337mov rsp, [r14+64]
001f733bcall caml_initialize
001f7340mov rsp, rbx
001f7343lea rsi, [rip+0x17e71e]
001f734alea rdi, [rip+0x17ea1f]
001f7351add rdi, 488
001f7358mov rbx, rsp
001f735bmov rsp, [r14+64]
001f735fcall caml_initialize
001f7364mov rsp, rbx
001f7367lea rsi, [rip+0x17e712]
001f736elea rdi, [rip+0x17e9fb]
001f7375add rdi, 496
001f737cmov rbx, rsp
001f737fmov rsp, [r14+64]
001f7383call caml_initialize
001f7388mov rsp, rbx
001f738blea rsi, [rip+0x17e70e]
001f7392lea rdi, [rip+0x17e9d7]
001f7399add rdi, 504
001f73a0mov rbx, rsp
001f73a3mov rsp, [r14+64]
001f73a7call caml_initialize
001f73acmov rsp, rbx
001f73aflea rsi, [rip+0x17e702]
001f73b6lea rdi, [rip+0x17e9b3]
001f73bdadd rdi, 512
001f73c4mov rbx, rsp
001f73c7mov rsp, [r14+64]
001f73cbcall caml_initialize
001f73d0mov rsp, rbx
001f73d3lea rsi, [rip+0x17e6f6]
001f73dalea rdi, [rip+0x17e98f]
001f73e1add rdi, 520
001f73e8mov rbx, rsp
001f73ebmov rsp, [r14+64]
001f73efcall caml_initialize
001f73f4mov rsp, rbx
001f73f7lea rsi, [rip+0x17e6ea]
001f73felea rdi, [rip+0x17e96b]
001f7405add rdi, 528
001f740cmov rbx, rsp
001f740fmov rsp, [r14+64]
001f7413call caml_initialize
001f7418mov rsp, rbx
001f741bsub r15, 120
001f741fcall caml_allocN
001f7424lea rsi, [r15+8]
001f7428mov [rsi-8], 14336
001f7430lea rax, [rip+0x17ee21]
001f7437mov [rsi], rax
001f743alea rax, [rip+0x17ed4f]
001f7441mov [rsi+8], rax
001f7445lea rax, [rip+0x17ec74]
001f744cmov [rsi+16], rax
001f7450lea rax, [rip+0x17edf1]
001f7457mov [rsi+24], rax
001f745blea rdi, [rip+0x17e90e]
001f7462mov rax, [rdi+424]
001f7469mov [rsi+32], rax
001f746dmov rax, [rdi+432]
001f7474mov [rsi+40], rax
001f7478mov rax, [rdi+440]
001f747fmov [rsi+48], rax
001f7483mov rax, [rdi+448]
001f748amov [rsi+56], rax
001f748emov rax, [rdi+456]
001f7495mov [rsi+64], rax
001f7499mov rax, [rdi+464]
001f74a0mov [rsi+72], rax
001f74a4mov rax, [rdi+472]
001f74abmov [rsi+80], rax
001f74afmov rax, [rdi+496]
001f74b6mov [rsi+88], rax
001f74bamov rax, [rdi+528]
001f74c1mov [rsi+96], rax
001f74c5mov rax, [rdi+520]
001f74ccmov [rsi+104], rax
001f74d0add rdi, 208
001f74d7mov rbx, rsp
001f74damov rsp, [r14+64]
001f74decall caml_initialize
001f74e3mov rsp, rbx
001f74e6lea rdi, [rip+0x17e883]
001f74edmov rax, [rdi+208]
001f74f4mov rcx, [rax+32]
001f74f8mov rbx, [rax+40]
001f74fcmov [rsp], rbx
001f7500mov rbx, [rax+48]
001f7504mov [rsp+8], rbx
001f7509mov rbx, [rax+56]
001f750dmov [rsp+16], rbx
001f7512mov r13, [rax+64]
001f7516mov rax, [rdi+200]
001f751dmov r12, [rax+72]
001f7521mov r9, [rax+80]
001f7525mov r8, [rax+88]
001f7529lea rdx, [rip+0x17ec60]
001f7530mov rax, [rdi+184]
001f7537sub r15, 216
001f753ecall caml_allocN
001f7543lea rbx, [r15+8]
001f7547add rbx, 168
001f754emov [rbx-8], 5367
001f7556lea rsi, [rip-4909]
001f755dmov [rbx], rsi
001f7560mov rsi, 0x100000000000005
001f756amov [rbx+8], rsi
001f756emov [rbx+16], rcx
001f7572mov [rbx+24], rdx
001f7576mov [rbx+32], rax
001f757amov rsi, [rdi+192]
001f7581lea rax, [rbx-48]
001f7585mov [rax-8], 5367
001f758dlea r10, [rip-4932]
001f7594mov [rax], r10
001f7597mov r10, 0x100000000000005
001f75a1mov [rax+8], r10
001f75a5mov [rax+16], rcx
001f75a9mov [rax+24], rdx
001f75admov [rax+32], rsi
001f75b1lea rsi, [rax-120]
001f75b5mov [rsi-8], 14336
001f75bdlea r10, [rip+0x17ecb4]
001f75c4mov [rsi], r10
001f75c7mov [rsi+8], rdx
001f75cblea rdx, [rip+0x17eaee]
001f75d2mov [rsi+16], rdx
001f75d6lea rdx, [rip+0x17ea73]
001f75ddmov [rsi+24], rdx
001f75e1mov [rsi+32], rcx
001f75e5mov rdx, [rsp]
001f75e9mov [rsi+40], rdx
001f75edmov rdx, [rsp+8]
001f75f2mov [rsi+48], rdx
001f75f6mov rdx, [rsp+16]
001f75fbmov [rsi+56], rdx
001f75ffmov [rsi+64], r13
001f7603mov [rsi+72], r12
001f7607mov [rsi+80], r9
001f760bmov [rsi+88], r8
001f760fmov [rsi+96], rbx
001f7613mov [rsi+104], rax
001f7617add rdi, 216
001f761emov rbx, rsp
001f7621mov rsp, [r14+64]
001f7625call caml_initialize
001f762amov rsp, rbx
001f762dlea rax, [rip+0x137da4]
001f7634mov rax, [rax+24]
001f7638mov rbx, [rax-8]
001f763cshr rbx, 10
001f7640cmp rbx, 2
001f7644jge 0x1f7687
001f7646mov rax, [rax]
001f7649mov rbx, 0x1006e6977677943
001f7653cmp rax, rbx
001f7656jne 0x1f7668
001f7658lea rax, [rip+0x17e711]
001f765fmov rsi, [rax+216]
001f7666jmp 0x1f7695
001f7668
001f7668loc_1f7668:
001f7668mov rbx, 0x2000032336e6957
001f7672cmp rax, rbx
001f7675jne 0x1f7687
001f7677lea rax, [rip+0x17e6f2]
001f767emov rsi, [rax+208]
001f7685jmp 0x1f7695
001f7687
001f7687loc_1f7687:
001f7687lea rax, [rip+0x17e6e2]
001f768emov rsi, [rax+200]
001f7695
001f7695loc_1f7695:
001f7695lea rdi, [rip+0x17e6d4]
001f769cadd rdi, 224
001f76a3mov rbx, rsp
001f76a6mov rsp, [r14+64]
001f76aacall caml_initialize
001f76afmov rsp, rbx
001f76b2lea rdi, [rip+0x17e6b7]
001f76b9mov r12, [rdi+224]
001f76c0mov rsi, [r12]
001f76c4add rdi, 112
001f76c8mov rbx, rsp
001f76cbmov rsp, [r14+64]
001f76cfcall caml_initialize
001f76d4mov rsp, rbx
001f76d7mov rsi, [r12+8]
001f76dclea rdi, [rip+0x17e68d]
001f76e3mov rbx, rsp
001f76e6mov rsp, [r14+64]
001f76eacall caml_initialize
001f76efmov rsp, rbx
001f76f2mov rsi, [r12+16]
001f76f7lea rdi, [rip+0x17e672]
001f76feadd rdi, 8
001f7702mov rbx, rsp
001f7705mov rsp, [r14+64]
001f7709call caml_initialize
001f770emov rsp, rbx
001f7711mov rsi, [r12+24]
001f7716lea rdi, [rip+0x17e653]
001f771dadd rdi, 16
001f7721mov rbx, rsp
001f7724mov rsp, [r14+64]
001f7728call caml_initialize
001f772dmov rsp, rbx
001f7730mov rsi, [r12+32]
001f7735lea rdi, [rip+0x17e634]
001f773cadd rdi, 232
001f7743mov rbx, rsp
001f7746mov rsp, [r14+64]
001f774acall caml_initialize
001f774fmov rsp, rbx
001f7752mov rsi, [r12+40]
001f7757lea rdi, [rip+0x17e612]
001f775eadd rdi, 32
001f7762mov rbx, rsp
001f7765mov rsp, [r14+64]
001f7769call caml_initialize
001f776emov rsp, rbx
001f7771mov rsi, [r12+48]
001f7776lea rdi, [rip+0x17e5f3]
001f777dadd rdi, 40
001f7781mov rbx, rsp
001f7784mov rsp, [r14+64]
001f7788call caml_initialize
001f778dmov rsp, rbx
001f7790mov rsi, [r12+56]
001f7795lea rdi, [rip+0x17e5d4]
001f779cadd rdi, 48
001f77a0mov rbx, rsp
001f77a3mov rsp, [r14+64]
001f77a7call caml_initialize
001f77acmov rsp, rbx
001f77afmov rsi, [r12+64]
001f77b4lea rdi, [rip+0x17e5b5]
001f77bbadd rdi, 64
001f77bfmov rbx, rsp
001f77c2mov rsp, [r14+64]
001f77c6call caml_initialize
001f77cbmov rsp, rbx
001f77cemov rsi, [r12+72]
001f77d3lea rdi, [rip+0x17e596]
001f77daadd rdi, 240
001f77e1mov rbx, rsp
001f77e4mov rsp, [r14+64]
001f77e8call caml_initialize
001f77edmov rsp, rbx
001f77f0mov rsi, [r12+80]
001f77f5lea rdi, [rip+0x17e574]
001f77fcadd rdi, 160
001f7803mov rbx, rsp
001f7806mov rsp, [r14+64]
001f780acall caml_initialize
001f780fmov rsp, rbx
001f7812mov rsi, [r12+88]
001f7817lea rdi, [rip+0x17e552]
001f781eadd rdi, 168
001f7825mov rbx, rsp
001f7828mov rsp, [r14+64]
001f782ccall caml_initialize
001f7831mov rsp, rbx
001f7834mov rsi, [r12+96]
001f7839lea rdi, [rip+0x17e530]
001f7840add rdi, 96
001f7844mov rbx, rsp
001f7847mov rsp, [r14+64]
001f784bcall caml_initialize
001f7850mov rsp, rbx
001f7853mov rsi, [r12+104]
001f7858lea rdi, [rip+0x17e511]
001f785fadd rdi, 104
001f7863mov rbx, rsp
001f7866mov rsp, [r14+64]
001f786acall caml_initialize
001f786fmov rsp, rbx
001f7872lea rsi, [rip+0x17e287]
001f7879lea rdi, [rip+0x17e4f0]
001f7880add rdi, 24
001f7884mov rbx, rsp
001f7887mov rsp, [r14+64]
001f788bcall caml_initialize
001f7890mov rsp, rbx
001f7893lea rsi, [rip+0x17e286]
001f789alea rdi, [rip+0x17e4cf]
001f78a1add rdi, 56
001f78a5mov rbx, rsp
001f78a8mov rsp, [r14+64]
001f78accall caml_initialize
001f78b1mov rsp, rbx
001f78b4lea rsi, [rip+0x17e285]
001f78bblea rdi, [rip+0x17e4ae]
001f78c2add rdi, 248
001f78c9mov rbx, rsp
001f78ccmov rsp, [r14+64]
001f78d0call caml_initialize
001f78d5mov rsp, rbx
001f78d8lea rsi, [rip+0x17e279]
001f78dflea rdi, [rip+0x17e48a]
001f78e6add rdi, 72
001f78eamov rbx, rsp
001f78edmov rsp, [r14+64]
001f78f1call caml_initialize
001f78f6mov rsp, rbx
001f78f9lea rsi, [rip+0x17e270]
001f7900lea rdi, [rip+0x17e469]
001f7907add rdi, 88
001f790bmov rbx, rsp
001f790emov rsp, [r14+64]
001f7912call caml_initialize
001f7917mov rsp, rbx
001f791alea rsi, [rip+0x17e267]
001f7921lea rdi, [rip+0x17e448]
001f7928add rdi, 80
001f792cmov rbx, rsp
001f792fmov rsp, [r14+64]
001f7933call caml_initialize
001f7938mov rsp, rbx
001f793blea rax, [rip+0x1705be]
001f7942mov rax, [rax+144]
001f7949mov rbx, [rax+8]
001f794dmov eax, 1
001f7952call Stdlib.Domain.new_key
001f7957lea rdi, [rip+0x17e412]
001f795eadd rdi, 256
001f7965mov rsi, rax
001f7968mov rbx, rsp
001f796bmov rsp, [r14+64]
001f796fcall caml_initialize
001f7974mov rsp, rbx
001f7977lea rsi, [rip+0x17e222]
001f797elea rdi, [rip+0x17e3eb]
001f7985add rdi, 264
001f798cmov rbx, rsp
001f798fmov rsp, [r14+64]
001f7993call caml_initialize
001f7998mov rsp, rbx
001f799bcall caml_alloc1
001f79a0lea rax, [r15+8]
001f79a4mov [rax-8], 1024
001f79aclea rbx, [rip+0x17e225]
001f79b3mov [rax], rbx
001f79b6lea rbx, [rip+0x17e203]
001f79bdcall Stdlib.Domain.new_key
001f79c2lea rdi, [rip+0x17e3a7]
001f79c9add rdi, 272
001f79d0mov rsi, rax
001f79d3mov rbx, rsp
001f79d6mov rsp, [r14+64]
001f79dacall caml_initialize
001f79dfmov rsp, rbx
001f79e2lea rsi, [rip+0x17e207]
001f79e9lea rdi, [rip+0x17e380]
001f79f0add rdi, 152
001f79f7mov rbx, rsp
001f79famov rsp, [r14+64]
001f79fecall caml_initialize
001f7a03mov rsp, rbx
001f7a06lea rsi, [rip+0x17e1fb]
001f7a0dlea rdi, [rip+0x17e35c]
001f7a14add rdi, 144
001f7a1bmov rbx, rsp
001f7a1emov rsp, [r14+64]
001f7a22call caml_initialize
001f7a27mov rsp, rbx
001f7a2alea rsi, [rip+0x17e1ef]
001f7a31lea rdi, [rip+0x17e338]
001f7a38add rdi, 120
001f7a3cmov rbx, rsp
001f7a3fmov rsp, [r14+64]
001f7a43call caml_initialize
001f7a48mov rsp, rbx
001f7a4blea rsi, [rip+0x17e20e]
001f7a52lea rdi, [rip+0x17e317]
001f7a59add rdi, 128
001f7a60mov rbx, rsp
001f7a63mov rsp, [r14+64]
001f7a67call caml_initialize
001f7a6cmov rsp, rbx
001f7a6flea rsi, [rip+0x17e22a]
001f7a76lea rdi, [rip+0x17e2f3]
001f7a7dadd rdi, 136
001f7a84mov rbx, rsp
001f7a87mov rsp, [r14+64]
001f7a8bcall caml_initialize
001f7a90mov rsp, rbx
001f7a93mov eax, 1
001f7a98add rsp, 40
001f7a9cret
001f7a9d
001f7a9dloc_1f7a9d:
001f7a9dpush 40
001f7a9fcall caml_call_realloc_stack
001f7aa4pop r10
001f7aa6jmp 0x1f6ed2
001f6ec0
001f7aab
001f7aab // align 0x20
001f7aab // align 0x20
001f7ac0
001f7ac0caml_alloc:
001f7ac0push r13
001f7ac2push r12
001f7ac4push rbp
001f7ac5mov ebp, esi
001f7ac7push rbx
001f7ac8mov rbx, rdi
001f7acbsub rsp, 8
001f7acfcmp rdi, 256
001f7ad6ja 0x1f7ba8
001f7adctest rdi, rdi
001f7adfje 0x1f7b90
001f7ae5mov rax, [rip+0x7e4f8]
001f7aecmov r12, [rax]
001f7af0test r12, r12
001f7af3je 0x1f7c10
001f7af9lea r13, [8*rdi]
001f7b01mov rax, -8
001f7b08sub rax, r13
001f7b0badd [r12+8], rax
001f7b10mov rdx, [r12]
001f7b14mov rax, [r12+8]
001f7b19cmp rax, rdx
001f7b1cjb 0x1f7be8
001f7b22mov edx, ebp
001f7b24shl rbx, 10
001f7b28add rbx, rdx
001f7b2bmov [rax], rbx
001f7b2emov rsi, [r12+8]
001f7b33lea rdx, [rsi+8]
001f7b37cmp ebp, 250
001f7b3dja 0x1f7b78
001f7b3flea rcx, [rdx+r13]
001f7b43and r13l, 8
001f7b47mov rax, rdx
001f7b4aje 0x1f7b60
001f7b4clea rax, [rsi+16]
001f7b50mov [rdx], 1
001f7b57cmp rcx, rax
001f7b5aje 0x1f7b78
001f7b5cmov [rax], 1
001f7b63add rax, 16
001f7b67mov [rax-8], 1
001f7b6fcmp rcx, rax
001f7b72jne 0x1f7b60
001f7b74add rsp, 8
001f7b78
001f7b78loc_1f7b78:
001f7b78mov rax, rdx
001f7b7bpop rbx
001f7b7cpop rbp
001f7b7dpop r12
001f7b7fpop r13
001f7b81ret
001f7b82db 0x5c
001f7b83pop r13
001f7b85ret
001f7b86
001f7b86 66 2e 0f 1f 84 00 00 00 00 00 f.........
001f7b90
001f7b90loc_1f7b90:
001f7b90add rsp, 8
001f7b94mov edi, esi
001f7b96pop rbx
001f7b97pop rbp
001f7b98pop r12
001f7b9apop r13
001f7b9cjmp 0x21ec80
001f7ba1
001f7ba1 0f 1f 80 00 00 00 00 .......
001f7ba8
001f7ba8loc_1f7ba8:
001f7ba8call caml_alloc_shr
001f7badmov rdi, rax
001f7bb0cmp ebp, 250
001f7bb6ja 0x1f7bd4
001f7bb8mov rcx, rax
001f7bbbxor edx, edx
001f7bbdnop [rax]
001f7bc0
001f7bc0loc_1f7bc0:
001f7bc0add rdx, 1
001f7bc4mov [rcx], 1
001f7bcbadd rcx, 8
001f7bcfcmp rbx, rdx
001f7bd2jne 0x1f7bc0
001f7bd4
001f7bd4loc_1f7bd4:
001f7bd4add rsp, 8
001f7bd8pop rbx
001f7bd9pop rbp
001f7bdapop r12
001f7bdcpop r13
001f7bdejmp 0x21aac0
001f7be3
001f7be3 0f 1f 44 00 00 ..D..
001f7be8
001f7be8loc_1f7be8:
001f7be8mov rsi, rdi
001f7bebxor r8l, r8l
001f7beemov ecx, 1
001f7bf3mov edx, 1
001f7bf8mov rdi, r12
001f7bfbcall caml_alloc_small_dispatch
001f7c00mov rax, [r12+8]
001f7c05jmp 0x1f7b26
001f7c0a
001f7c0a 66 0f 1f 44 00 00 f..D..
001f7c10
001f7c10loc_1f7c10:
001f7c10call caml_bad_caml_state
001f7ac0
001f7ac0caml_alloc:
001f7ac0push r13
001f7ac2push r12
001f7ac4push rbp
001f7ac5mov ebp, esi
001f7ac7push rbx
001f7ac8mov rbx, rdi
001f7acbsub rsp, 8
001f7acfcmp rdi, 256
001f7ad6ja 0x1f7ba8
001f7adctest rdi, rdi
001f7adfje 0x1f7b90
001f7ae5mov rax, [rip+0x7e4f8]
001f7aecmov r12, [rax]
001f7af0test r12, r12
001f7af3je 0x1f7c10
001f7af9lea r13, [8*rdi]
001f7b01mov rax, -8
001f7b08sub rax, r13
001f7b0badd [r12+8], rax
001f7b10mov rdx, [r12]
001f7b14mov rax, [r12+8]
001f7b19cmp rax, rdx
001f7b1cjb 0x1f7be8
001f7b22mov edx, ebp
001f7b24shl rbx, 10
001f7b28add rbx, rdx
001f7b2bmov [rax], rbx
001f7b2emov rsi, [r12+8]
001f7b33lea rdx, [rsi+8]
001f7b37cmp ebp, 250
001f7b3dja 0x1f7b78
001f7b3flea rcx, [rdx+r13]
001f7b43and r13l, 8
001f7b47mov rax, rdx
001f7b4aje 0x1f7b60
001f7b4clea rax, [rsi+16]
001f7b50mov [rdx], 1
001f7b57cmp rcx, rax
001f7b5aje 0x1f7b78
001f7b5cmov [rax], 1
001f7b63add rax, 16
001f7b67mov [rax-8], 1
001f7b6fcmp rcx, rax
001f7b72jne 0x1f7b60
001f7b74add rsp, 8
001f7b78
001f7b78loc_1f7b78:
001f7b78mov rax, rdx
001f7b7bpop rbx
001f7b7cpop rbp
001f7b7dpop r12
001f7b7fpop r13
001f7b81ret
001f7b82db 0x5c
001f7b83pop r13
001f7b85ret
001f7b86
001f7b86 66 2e 0f 1f 84 00 00 00 00 00 f.........
001f7b90
001f7b90loc_1f7b90:
001f7b90add rsp, 8
001f7b94mov edi, esi
001f7b96pop rbx
001f7b97pop rbp
001f7b98pop r12
001f7b9apop r13
001f7b9cjmp 0x21ec80
001f7ba1
001f7ba1 0f 1f 80 00 00 00 00 .......
001f7ba8
001f7ba8loc_1f7ba8:
001f7ba8call caml_alloc_shr
001f7badmov rdi, rax
001f7bb0cmp ebp, 250
001f7bb6ja 0x1f7bd4
001f7bb8mov rcx, rax
001f7bbbxor edx, edx
001f7bbdnop [rax]
001f7bc0
001f7bc0loc_1f7bc0:
001f7bc0add rdx, 1
001f7bc4mov [rcx], 1
001f7bcbadd rcx, 8
001f7bcfcmp rbx, rdx
001f7bd2jne 0x1f7bc0
001f7bd4
001f7bd4loc_1f7bd4:
001f7bd4add rsp, 8
001f7bd8pop rbx
001f7bd9pop rbp
001f7bdapop r12
001f7bdcpop r13
001f7bdejmp 0x21aac0
001f7be3
001f7be3 0f 1f 44 00 00 ..D..
001f7be8
001f7be8loc_1f7be8:
001f7be8mov rsi, rdi
001f7bebxor r8l, r8l
001f7beemov ecx, 1
001f7bf3mov edx, 1
001f7bf8mov rdi, r12
001f7bfbcall caml_alloc_small_dispatch
001f7c00mov rax, [r12+8]
001f7c05jmp 0x1f7b26
001f7c0a
001f7c0a 66 0f 1f 44 00 00 f..D..
001f7c10
001f7c10loc_1f7c10:
001f7c10call caml_bad_caml_state
001f7ac0
001f7c15
001f7c15 // align 0x10
001f7c15 // align 0x10
001f7c20
001f7c20caml_alloc_shr_check_gc:
001f7c20push rbp
001f7c21mov ebp, esi
001f7c23push rbx
001f7c24mov rbx, rdi
001f7c27mov edi, 1
001f7c2csub rsp, 8
001f7c30call caml_check_urgent_gc
001f7c35mov esi, ebp
001f7c37mov rdi, rbx
001f7c3acall caml_alloc_shr
001f7c3ftest rbx, rbx
001f7c42je 0x1f7c74
001f7c44mov rcx, rax
001f7c47xor edx, edx
001f7c49nop [rax+rax]
001f7c54nop [rax+rax]
001f7c5cadd rdx, 1
001f7c60
001f7c60loc_1f7c60:
001f7c60mov [rcx], 1
001f7c67add rcx, 8
001f7c6bcmp rbx, rdx
001f7c6ejne 0x1f7c60
001f7c70add rsp, 8
001f7c74
001f7c74loc_1f7c74:
001f7c74pop rbx
001f7c75pop rbp
001f7c76ret
001f7c77db 0x08
001f7c78pop rbx
001f7c79pop rbp
001f7c7aret
001f7c20
001f7c20caml_alloc_shr_check_gc:
001f7c20push rbp
001f7c21mov ebp, esi
001f7c23push rbx
001f7c24mov rbx, rdi
001f7c27mov edi, 1
001f7c2csub rsp, 8
001f7c30call caml_check_urgent_gc
001f7c35mov esi, ebp
001f7c37mov rdi, rbx
001f7c3acall caml_alloc_shr
001f7c3ftest rbx, rbx
001f7c42je 0x1f7c74
001f7c44mov rcx, rax
001f7c47xor edx, edx
001f7c49nop [rax+rax]
001f7c54nop [rax+rax]
001f7c5cadd rdx, 1
001f7c60
001f7c60loc_1f7c60:
001f7c60mov [rcx], 1
001f7c67add rcx, 8
001f7c6bcmp rbx, rdx
001f7c6ejne 0x1f7c60
001f7c70add rsp, 8
001f7c74
001f7c74loc_1f7c74:
001f7c74pop rbx
001f7c75pop rbp
001f7c76ret
001f7c77db 0x08
001f7c78pop rbx
001f7c79pop rbp
001f7c7aret
001f7c20
001f7c7b
001f7c7b // align 0x10
001f7c7b // align 0x10
001f7c80
001f7c80caml_alloc_1:
001f7c80push r13
001f7c82push r12
001f7c84push rbp
001f7c85push rbx
001f7c86sub rsp, 104
001f7c8amov rcx, [0x28]
001f7c93mov [rsp+88], rcx
001f7c98mov rcx, [rip+0x7e345]
001f7c9fmov rbx, [rcx]
001f7ca3test rbx, rbx
001f7ca6je 0x1f7d70
001f7cacsub [rbx+8], 16
001f7cb1mov rax, [rbx]
001f7cb4mov ebp, edi
001f7cb6mov rdx, [rbx+8]
001f7cbacmp rdx, rax
001f7cbdjb 0x1f7d00
001f7cbfmov eax, ebp
001f7cc1add rax, 1024
001f7cc7mov [rdx], rax
001f7ccamov rax, [rbx+8]
001f7ccemov [rax+8], rsi
001f7cd2add rax, 8
001f7cd6mov rdx, [rsp+88]
001f7cdbsub rdx, [0x28]
001f7ce4jne 0x1f7d75
001f7ceaadd rsp, 104
001f7ceepop rbx
001f7cefpop rbp
001f7cf0pop r12
001f7cf2pop r13
001f7cf4ret
001f7cf5db 0x5c
001f7cf6pop r13
001f7cf8ret
001f7cf9
001f7cf9 0f 1f 80 00 00 00 00 .......
001f7d00
001f7d00loc_1f7d00:
001f7d00lea rax, [rsp+16]
001f7d05mov edx, 1
001f7d0axor r8l, r8l
001f7d0dmov rdi, rbx
001f7d10mov r12, [rcx]
001f7d14mov [rsp+8], rsi
001f7d19mov ecx, 1
001f7d1emov esi, 1
001f7d23mov r13, [r12+160]
001f7d2bmov [r12+160], rax
001f7d33mov eax, 1
001f7d38movq x0, rax
001f7d3dlea rax, [rsp+8]
001f7d42punpcklqdq x0, x0
001f7d46mov [rsp+16], r13
001f7d4bmov [rsp+40], rax
001f7d50movups [rsp+24], x0
001f7d55call caml_alloc_small_dispatch
001f7d5amov [r12+160], r13
001f7d62mov rsi, [rsp+8]
001f7d67mov rdx, [rbx+8]
001f7d6bjmp 0x1f7cc3
001f7d70
001f7d70loc_1f7d70:
001f7d70call caml_bad_caml_state
001f7d75
001f7d75loc_1f7d75:
001f7d75call fn_f4590
001f7c80
001f7c80caml_alloc_1:
001f7c80push r13
001f7c82push r12
001f7c84push rbp
001f7c85push rbx
001f7c86sub rsp, 104
001f7c8amov rcx, [0x28]
001f7c93mov [rsp+88], rcx
001f7c98mov rcx, [rip+0x7e345]
001f7c9fmov rbx, [rcx]
001f7ca3test rbx, rbx
001f7ca6je 0x1f7d70
001f7cacsub [rbx+8], 16
001f7cb1mov rax, [rbx]
001f7cb4mov ebp, edi
001f7cb6mov rdx, [rbx+8]
001f7cbacmp rdx, rax
001f7cbdjb 0x1f7d00
001f7cbfmov eax, ebp
001f7cc1add rax, 1024
001f7cc7mov [rdx], rax
001f7ccamov rax, [rbx+8]
001f7ccemov [rax+8], rsi
001f7cd2add rax, 8
001f7cd6mov rdx, [rsp+88]
001f7cdbsub rdx, [0x28]
001f7ce4jne 0x1f7d75
001f7ceaadd rsp, 104
001f7ceepop rbx
001f7cefpop rbp
001f7cf0pop r12
001f7cf2pop r13
001f7cf4ret
001f7cf5db 0x5c
001f7cf6pop r13
001f7cf8ret
001f7cf9
001f7cf9 0f 1f 80 00 00 00 00 .......
001f7d00
001f7d00loc_1f7d00:
001f7d00lea rax, [rsp+16]
001f7d05mov edx, 1
001f7d0axor r8l, r8l
001f7d0dmov rdi, rbx
001f7d10mov r12, [rcx]
001f7d14mov [rsp+8], rsi
001f7d19mov ecx, 1
001f7d1emov esi, 1
001f7d23mov r13, [r12+160]
001f7d2bmov [r12+160], rax
001f7d33mov eax, 1
001f7d38movq x0, rax
001f7d3dlea rax, [rsp+8]
001f7d42punpcklqdq x0, x0
001f7d46mov [rsp+16], r13
001f7d4bmov [rsp+40], rax
001f7d50movups [rsp+24], x0
001f7d55call caml_alloc_small_dispatch
001f7d5amov [r12+160], r13
001f7d62mov rsi, [rsp+8]
001f7d67mov rdx, [rbx+8]
001f7d6bjmp 0x1f7cc3
001f7d70
001f7d70loc_1f7d70:
001f7d70call caml_bad_caml_state
001f7d75
001f7d75loc_1f7d75:
001f7d75call fn_f4590
001f7c80
001f7d7a
001f7d7a // align 0x10
001f7d7a // align 0x10
001f7d80
001f7d80caml_alloc_2:
001f7d80push r13
001f7d82push r12
001f7d84push rbp
001f7d85mov ebp, edi
001f7d87push rbx
001f7d88sub rsp, 104
001f7d8cmov rdi, [0x28]
001f7d95mov [rsp+88], rdi
001f7d9amov rdi, rsi
001f7d9dmov rsi, [rip+0x7e240]
001f7da4mov rbx, [rsi]
001f7da8test rbx, rbx
001f7dabje 0x1f7e78
001f7db1sub [rbx+8], 24
001f7db6mov rax, [rbx]
001f7db9mov rcx, [rbx+8]
001f7dbdcmp rcx, rax
001f7dc0jb 0x1f7e08
001f7dc2mov eax, ebp
001f7dc4add rax, 2048
001f7dcamov [rcx], rax
001f7dcdmov rax, [rbx+8]
001f7dd1mov [rax+8], rdi
001f7dd5lea rcx, [rax+8]
001f7dd9mov [rax+16], rdx
001f7dddmov rax, [rsp+88]
001f7de2sub rax, [0x28]
001f7debjne 0x1f7e7d
001f7df1add rsp, 104
001f7df5mov rax, rcx
001f7df8pop rbx
001f7df9pop rbp
001f7dfapop r12
001f7dfcpop r13
001f7dferet
001f7dffdb 0x5c
001f7e00pop r13
001f7e02ret
001f7e03
001f7e03 0f 1f 44 00 00 ..D..
001f7e08
001f7e08loc_1f7e08:
001f7e08lea rax, [rsp+16]
001f7e0dmov ecx, 1
001f7e12xor r8l, r8l
001f7e15mov r12, [rsi]
001f7e19movdqa x0, [rip+0x3222f]
001f7e21mov [rsp], rdi
001f7e25mov esi, 2
001f7e2amov [rsp+8], rdx
001f7e2fmov rdi, rbx
001f7e32mov edx, 1
001f7e37mov r13, [r12+160]
001f7e3fmov [r12+160], rax
001f7e47mov [rsp+40], rsp
001f7e4cmov [rsp+16], r13
001f7e51movups [rsp+24], x0
001f7e56call caml_alloc_small_dispatch
001f7e5bmov rdi, [rsp]
001f7e5fmov rdx, [rsp+8]
001f7e64mov [r12+160], r13
001f7e6cmov rcx, [rbx+8]
001f7e70jmp 0x1f7dc6
001f7e75
001f7e75 0f 1f 00 ...
001f7e78
001f7e78loc_1f7e78:
001f7e78call caml_bad_caml_state
001f7e7d
001f7e7dloc_1f7e7d:
001f7e7dcall fn_f4590
001f7d80
001f7d80caml_alloc_2:
001f7d80push r13
001f7d82push r12
001f7d84push rbp
001f7d85mov ebp, edi
001f7d87push rbx
001f7d88sub rsp, 104
001f7d8cmov rdi, [0x28]
001f7d95mov [rsp+88], rdi
001f7d9amov rdi, rsi
001f7d9dmov rsi, [rip+0x7e240]
001f7da4mov rbx, [rsi]
001f7da8test rbx, rbx
001f7dabje 0x1f7e78
001f7db1sub [rbx+8], 24
001f7db6mov rax, [rbx]
001f7db9mov rcx, [rbx+8]
001f7dbdcmp rcx, rax
001f7dc0jb 0x1f7e08
001f7dc2mov eax, ebp
001f7dc4add rax, 2048
001f7dcamov [rcx], rax
001f7dcdmov rax, [rbx+8]
001f7dd1mov [rax+8], rdi
001f7dd5lea rcx, [rax+8]
001f7dd9mov [rax+16], rdx
001f7dddmov rax, [rsp+88]
001f7de2sub rax, [0x28]
001f7debjne 0x1f7e7d
001f7df1add rsp, 104
001f7df5mov rax, rcx
001f7df8pop rbx
001f7df9pop rbp
001f7dfapop r12
001f7dfcpop r13
001f7dferet
001f7dffdb 0x5c
001f7e00pop r13
001f7e02ret
001f7e03
001f7e03 0f 1f 44 00 00 ..D..
001f7e08
001f7e08loc_1f7e08:
001f7e08lea rax, [rsp+16]
001f7e0dmov ecx, 1
001f7e12xor r8l, r8l
001f7e15mov r12, [rsi]
001f7e19movdqa x0, [rip+0x3222f]
001f7e21mov [rsp], rdi
001f7e25mov esi, 2
001f7e2amov [rsp+8], rdx
001f7e2fmov rdi, rbx
001f7e32mov edx, 1
001f7e37mov r13, [r12+160]
001f7e3fmov [r12+160], rax
001f7e47mov [rsp+40], rsp
001f7e4cmov [rsp+16], r13
001f7e51movups [rsp+24], x0
001f7e56call caml_alloc_small_dispatch
001f7e5bmov rdi, [rsp]
001f7e5fmov rdx, [rsp+8]
001f7e64mov [r12+160], r13
001f7e6cmov rcx, [rbx+8]
001f7e70jmp 0x1f7dc6
001f7e75
001f7e75 0f 1f 00 ...
001f7e78
001f7e78loc_1f7e78:
001f7e78call caml_bad_caml_state
001f7e7d
001f7e7dloc_1f7e7d:
001f7e7dcall fn_f4590
001f7d80
001f7e82
001f7e82 // align 0x10
001f7e82 // align 0x10
001f7e90
001f7e90caml_alloc_3:
001f7e90push r13
001f7e92push r12
001f7e94push rbp
001f7e95push rbx
001f7e96sub rsp, 120
001f7e9amov r8, [0x28]
001f7ea3mov [rsp+104], r8
001f7ea8mov r8, rsi
001f7eabmov rsi, [rip+0x7e132]
001f7eb2mov rbx, [rsi]
001f7eb6test rbx, rbx
001f7eb9je 0x1f7fa0
001f7ebfsub [rbx+8], 32
001f7ec4mov ebp, edi
001f7ec6mov rax, [rbx]
001f7ec9mov rdi, rdx
001f7eccmov rdx, rcx
001f7ecfmov rcx, [rbx+8]
001f7ed3cmp rcx, rax
001f7ed6jb 0x1f7f20
001f7ed8mov eax, ebp
001f7edaadd rax, 3072
001f7ee0mov [rcx], rax
001f7ee3mov rax, [rbx+8]
001f7ee7mov [rax+8], r8
001f7eeblea rcx, [rax+8]
001f7eefmov [rax+16], rdi
001f7ef3mov [rax+24], rdx
001f7ef7mov rax, [rsp+104]
001f7efcsub rax, [0x28]
001f7f05jne 0x1f7fa5
001f7f0badd rsp, 120
001f7f0fmov rax, rcx
001f7f12pop rbx
001f7f13pop rbp
001f7f14pop r12
001f7f16pop r13
001f7f18ret
001f7f19db 0x5c
001f7f1apop r13
001f7f1cret
001f7f1d
001f7f1d 0f 1f 00 ...
001f7f20
001f7f20loc_1f7f20:
001f7f20lea rax, [rsp+32]
001f7f25mov ecx, 1
001f7f2amov r12, [rsi]
001f7f2emovdqa x0, [rip+0x3212a]
001f7f36mov [rsp], r8
001f7f3amov esi, 3
001f7f3fmov [rsp+8], rdi
001f7f44xor r8l, r8l
001f7f47mov rdi, rbx
001f7f4amov r13, [r12+160]
001f7f52mov [r12+160], rax
001f7f5amov [rsp+16], rdx
001f7f5fmov edx, 1
001f7f64mov [rsp+32], r13
001f7f69mov [rsp+56], rsp
001f7f6emovups [rsp+40], x0
001f7f73call caml_alloc_small_dispatch
001f7f78mov r8, [rsp]
001f7f7cmov rdi, [rsp+8]
001f7f81mov [r12+160], r13
001f7f89mov rdx, [rsp+16]
001f7f8emov rcx, [rbx+8]
001f7f92jmp 0x1f7edc
001f7f97
001f7f97 66 0f 1f 84 00 00 00 00 00 f........
001f7fa0
001f7fa0loc_1f7fa0:
001f7fa0call caml_bad_caml_state
001f7fa5
001f7fa5loc_1f7fa5:
001f7fa5call fn_f4590
001f7e90
001f7e90caml_alloc_3:
001f7e90push r13
001f7e92push r12
001f7e94push rbp
001f7e95push rbx
001f7e96sub rsp, 120
001f7e9amov r8, [0x28]
001f7ea3mov [rsp+104], r8
001f7ea8mov r8, rsi
001f7eabmov rsi, [rip+0x7e132]
001f7eb2mov rbx, [rsi]
001f7eb6test rbx, rbx
001f7eb9je 0x1f7fa0
001f7ebfsub [rbx+8], 32
001f7ec4mov ebp, edi
001f7ec6mov rax, [rbx]
001f7ec9mov rdi, rdx
001f7eccmov rdx, rcx
001f7ecfmov rcx, [rbx+8]
001f7ed3cmp rcx, rax
001f7ed6jb 0x1f7f20
001f7ed8mov eax, ebp
001f7edaadd rax, 3072
001f7ee0mov [rcx], rax
001f7ee3mov rax, [rbx+8]
001f7ee7mov [rax+8], r8
001f7eeblea rcx, [rax+8]
001f7eefmov [rax+16], rdi
001f7ef3mov [rax+24], rdx
001f7ef7mov rax, [rsp+104]
001f7efcsub rax, [0x28]
001f7f05jne 0x1f7fa5
001f7f0badd rsp, 120
001f7f0fmov rax, rcx
001f7f12pop rbx
001f7f13pop rbp
001f7f14pop r12
001f7f16pop r13
001f7f18ret
001f7f19db 0x5c
001f7f1apop r13
001f7f1cret
001f7f1d
001f7f1d 0f 1f 00 ...
001f7f20
001f7f20loc_1f7f20:
001f7f20lea rax, [rsp+32]
001f7f25mov ecx, 1
001f7f2amov r12, [rsi]
001f7f2emovdqa x0, [rip+0x3212a]
001f7f36mov [rsp], r8
001f7f3amov esi, 3
001f7f3fmov [rsp+8], rdi
001f7f44xor r8l, r8l
001f7f47mov rdi, rbx
001f7f4amov r13, [r12+160]
001f7f52mov [r12+160], rax
001f7f5amov [rsp+16], rdx
001f7f5fmov edx, 1
001f7f64mov [rsp+32], r13
001f7f69mov [rsp+56], rsp
001f7f6emovups [rsp+40], x0
001f7f73call caml_alloc_small_dispatch
001f7f78mov r8, [rsp]
001f7f7cmov rdi, [rsp+8]
001f7f81mov [r12+160], r13
001f7f89mov rdx, [rsp+16]
001f7f8emov rcx, [rbx+8]
001f7f92jmp 0x1f7edc
001f7f97
001f7f97 66 0f 1f 84 00 00 00 00 00 f........
001f7fa0
001f7fa0loc_1f7fa0:
001f7fa0call caml_bad_caml_state
001f7fa5
001f7fa5loc_1f7fa5:
001f7fa5call fn_f4590
001f7e90
001f7faa
001f7faa // align 0x10
001f7faa // align 0x10
001f7fb0
001f7fb0caml_alloc_4:
001f7fb0push r13
001f7fb2push r12
001f7fb4push rbp
001f7fb5push rbx
001f7fb6mov ebx, edi
001f7fb8mov rdi, rsi
001f7fbbmov rsi, rdx
001f7fbesub rsp, 152
001f7fc5mov rax, [0x28]
001f7fcemov [rsp+136], rax
001f7fd6mov rax, rcx
001f7fd9mov rcx, [rip+0x7e004]
001f7fe0mov rbp, [rcx]
001f7fe4test rbp, rbp
001f7fe7je 0x1f8108
001f7fedsub [rbp+8], 40
001f7ff2mov [rsp+8], rdx
001f7ff7mov [rsp], rdi
001f7ffbmov [rsp+16], rax
001f8000mov [rsp+24], r8
001f8005mov r9, [rbp]
001f8009mov rdx, [rbp+8]
001f800dcmp rdx, r9
001f8010jb 0x1f8078
001f8012add rbx, 4096
001f8019mov [rdx], rbx
001f801cmov rdx, [rsp]
001f8020mov rax, [rbp+8]
001f8024mov [rax+8], rdx
001f8028mov rdx, [rsp+8]
001f802dlea rcx, [rax+8]
001f8031mov [rax+16], rdx
001f8035mov rdx, [rsp+16]
001f803amov [rax+24], rdx
001f803emov rdx, [rsp+24]
001f8043mov [rax+32], rdx
001f8047mov rax, [rsp+136]
001f804fsub rax, [0x28]
001f8058jne 0x1f810d
001f805eadd rsp, 152
001f8065mov rax, rcx
001f8068pop rbx
001f8069pop rbp
001f806apop r12
001f806cpop r13
001f806eret
001f806fdb 0x5c
001f8070pop r13
001f8072ret
001f8073
001f8073 0f 1f 44 00 00 ..D..
001f8078
001f8078loc_1f8078:
001f8078lea rdx, [rsp+64]
001f807dmov r12, [rcx]
001f8081mov [rsp+32], rdi
001f8086mov ecx, 1
001f808bmov rdi, rbp
001f808emovdqa x0, [rip+0x31fda]
001f8096mov [rsp+40], rsi
001f809bmov esi, 4
001f80a0mov r13, [r12+160]
001f80a8mov [r12+160], rdx
001f80b0lea rdx, [rsp+32]
001f80b5mov [rsp+88], rdx
001f80bamov edx, 1
001f80bfmov [rsp+56], r8
001f80c4xor r8l, r8l
001f80c7movups [rsp+72], x0
001f80ccmov [rsp+64], r13
001f80d1mov [rsp+48], rax
001f80d6call caml_alloc_small_dispatch
001f80dbmovdqa x0, [rsp+32]
001f80e1mov [r12+160], r13
001f80e9mov rdx, [rbp+8]
001f80edmovaps [rsp], x0
001f80f1movdqa x0, [rsp+48]
001f80f7movaps [rsp+16], x0
001f80fcjmp 0x1f8016
001f8101
001f8101 0f 1f 80 00 00 00 00 .......
001f8108
001f8108loc_1f8108:
001f8108call caml_bad_caml_state
001f810d
001f810dloc_1f810d:
001f810dcall fn_f4590
001f7fb0
001f7fb0caml_alloc_4:
001f7fb0push r13
001f7fb2push r12
001f7fb4push rbp
001f7fb5push rbx
001f7fb6mov ebx, edi
001f7fb8mov rdi, rsi
001f7fbbmov rsi, rdx
001f7fbesub rsp, 152
001f7fc5mov rax, [0x28]
001f7fcemov [rsp+136], rax
001f7fd6mov rax, rcx
001f7fd9mov rcx, [rip+0x7e004]
001f7fe0mov rbp, [rcx]
001f7fe4test rbp, rbp
001f7fe7je 0x1f8108
001f7fedsub [rbp+8], 40
001f7ff2mov [rsp+8], rdx
001f7ff7mov [rsp], rdi
001f7ffbmov [rsp+16], rax
001f8000mov [rsp+24], r8
001f8005mov r9, [rbp]
001f8009mov rdx, [rbp+8]
001f800dcmp rdx, r9
001f8010jb 0x1f8078
001f8012add rbx, 4096
001f8019mov [rdx], rbx
001f801cmov rdx, [rsp]
001f8020mov rax, [rbp+8]
001f8024mov [rax+8], rdx
001f8028mov rdx, [rsp+8]
001f802dlea rcx, [rax+8]
001f8031mov [rax+16], rdx
001f8035mov rdx, [rsp+16]
001f803amov [rax+24], rdx
001f803emov rdx, [rsp+24]
001f8043mov [rax+32], rdx
001f8047mov rax, [rsp+136]
001f804fsub rax, [0x28]
001f8058jne 0x1f810d
001f805eadd rsp, 152
001f8065mov rax, rcx
001f8068pop rbx
001f8069pop rbp
001f806apop r12
001f806cpop r13
001f806eret
001f806fdb 0x5c
001f8070pop r13
001f8072ret
001f8073
001f8073 0f 1f 44 00 00 ..D..
001f8078
001f8078loc_1f8078:
001f8078lea rdx, [rsp+64]
001f807dmov r12, [rcx]
001f8081mov [rsp+32], rdi
001f8086mov ecx, 1
001f808bmov rdi, rbp
001f808emovdqa x0, [rip+0x31fda]
001f8096mov [rsp+40], rsi
001f809bmov esi, 4
001f80a0mov r13, [r12+160]
001f80a8mov [r12+160], rdx
001f80b0lea rdx, [rsp+32]
001f80b5mov [rsp+88], rdx
001f80bamov edx, 1
001f80bfmov [rsp+56], r8
001f80c4xor r8l, r8l
001f80c7movups [rsp+72], x0
001f80ccmov [rsp+64], r13
001f80d1mov [rsp+48], rax
001f80d6call caml_alloc_small_dispatch
001f80dbmovdqa x0, [rsp+32]
001f80e1mov [r12+160], r13
001f80e9mov rdx, [rbp+8]
001f80edmovaps [rsp], x0
001f80f1movdqa x0, [rsp+48]
001f80f7movaps [rsp+16], x0
001f80fcjmp 0x1f8016
001f8101
001f8101 0f 1f 80 00 00 00 00 .......
001f8108
001f8108loc_1f8108:
001f8108call caml_bad_caml_state
001f810d
001f810dloc_1f810d:
001f810dcall fn_f4590
001f7fb0
001f8112
001f8112 // align 0x10
001f8112 // align 0x10
001f8120
001f8120caml_alloc_5:
001f8120push r13
001f8122push r12
001f8124push rbp
001f8125push rbx
001f8126sub rsp, 184
001f812dmov rax, [0x28]
001f8136mov [rsp+168], rax
001f813emov rax, rsi
001f8141mov rsi, [rip+0x7de9c]
001f8148mov rbp, [rsi]
001f814ctest rbp, rbp
001f814fje 0x1f8280
001f8155sub [rbp+8], 48
001f815amov ebx, edi
001f815cmov [rsp], rax
001f8160mov [rsp+8], rdx
001f8165mov [rsp+16], rcx
001f816amov [rsp+24], r8
001f816fmov [rsp+32], r9
001f8174mov rdx, [rbp]
001f8178mov rax, [rbp+8]
001f817ccmp rax, rdx
001f817fjb 0x1f81e0
001f8181add rbx, 5120
001f8188lea rsi, [rsp+40]
001f818dmov [rax], rbx
001f8190mov rdi, [rbp+8]
001f8194mov rax, rsp
001f8197add rdi, 8
001f819bmov rdx, rdi
001f819emov rcx, [rax]
001f81a1add rax, 8
001f81a5add rdx, 8
001f81a9mov [rdx-8], rcx
001f81adcmp rax, rsi
001f81b0jne 0x1f81a2
001f81b2mov rax, [rsp+168]
001f81basub rax, [0x28]
001f81c3jne 0x1f8285
001f81c9add rsp, 184
001f81d0mov rax, rdi
001f81d3pop rbx
001f81d4pop rbp
001f81d5pop r12
001f81d7pop r13
001f81d9ret
001f81dadb 0x5c
001f81dbpop r13
001f81ddret
001f81de
001f81de 66 90 f.
001f81e0
001f81e0loc_1f81e0:
001f81e0lea rax, [rsp+96]
001f81e5xor r8l, r8l
001f81e8mov ecx, 1
001f81edmov edx, 1
001f81f2mov rdi, rbp
001f81f5movdqa x0, [rip+0x31e83]
001f81fdmov r12, [rsi]
001f8201mov esi, 5
001f8206movups [rsp+104], x0
001f820bmovdqa x0, [rsp]
001f8210mov r13, [r12+160]
001f8218mov [r12+160], rax
001f8220lea rax, [rsp+48]
001f8225mov [rsp+120], rax
001f822amov rax, [rsp+32]
001f822fmovaps [rsp+48], x0
001f8234movdqa x0, [rsp+16]
001f823amov [rsp+80], rax
001f823fmovaps [rsp+64], x0
001f8244mov [rsp+96], r13
001f8249call caml_alloc_small_dispatch
001f824emovdqa x0, [rsp+48]
001f8254mov rax, [rsp+80]
001f8259mov [r12+160], r13
001f8261movaps [rsp], x0
001f8265movdqa x0, [rsp+64]
001f826bmov [rsp+32], rax
001f8270mov rax, [rbp+8]
001f8274movaps [rsp+16], x0
001f8279jmp 0x1f8185
001f827e
001f827e 66 90 f.
001f8280
001f8280loc_1f8280:
001f8280call caml_bad_caml_state
001f8285
001f8285loc_1f8285:
001f8285call fn_f4590
001f8120
001f8120caml_alloc_5:
001f8120push r13
001f8122push r12
001f8124push rbp
001f8125push rbx
001f8126sub rsp, 184
001f812dmov rax, [0x28]
001f8136mov [rsp+168], rax
001f813emov rax, rsi
001f8141mov rsi, [rip+0x7de9c]
001f8148mov rbp, [rsi]
001f814ctest rbp, rbp
001f814fje 0x1f8280
001f8155sub [rbp+8], 48
001f815amov ebx, edi
001f815cmov [rsp], rax
001f8160mov [rsp+8], rdx
001f8165mov [rsp+16], rcx
001f816amov [rsp+24], r8
001f816fmov [rsp+32], r9
001f8174mov rdx, [rbp]
001f8178mov rax, [rbp+8]
001f817ccmp rax, rdx
001f817fjb 0x1f81e0
001f8181add rbx, 5120
001f8188lea rsi, [rsp+40]
001f818dmov [rax], rbx
001f8190mov rdi, [rbp+8]
001f8194mov rax, rsp
001f8197add rdi, 8
001f819bmov rdx, rdi
001f819emov rcx, [rax]
001f81a1add rax, 8
001f81a5add rdx, 8
001f81a9mov [rdx-8], rcx
001f81adcmp rax, rsi
001f81b0jne 0x1f81a2
001f81b2mov rax, [rsp+168]
001f81basub rax, [0x28]
001f81c3jne 0x1f8285
001f81c9add rsp, 184
001f81d0mov rax, rdi
001f81d3pop rbx
001f81d4pop rbp
001f81d5pop r12
001f81d7pop r13
001f81d9ret
001f81dadb 0x5c
001f81dbpop r13
001f81ddret
001f81de
001f81de 66 90 f.
001f81e0
001f81e0loc_1f81e0:
001f81e0lea rax, [rsp+96]
001f81e5xor r8l, r8l
001f81e8mov ecx, 1
001f81edmov edx, 1
001f81f2mov rdi, rbp
001f81f5movdqa x0, [rip+0x31e83]
001f81fdmov r12, [rsi]
001f8201mov esi, 5
001f8206movups [rsp+104], x0
001f820bmovdqa x0, [rsp]
001f8210mov r13, [r12+160]
001f8218mov [r12+160], rax
001f8220lea rax, [rsp+48]
001f8225mov [rsp+120], rax
001f822amov rax, [rsp+32]
001f822fmovaps [rsp+48], x0
001f8234movdqa x0, [rsp+16]
001f823amov [rsp+80], rax
001f823fmovaps [rsp+64], x0
001f8244mov [rsp+96], r13
001f8249call caml_alloc_small_dispatch
001f824emovdqa x0, [rsp+48]
001f8254mov rax, [rsp+80]
001f8259mov [r12+160], r13
001f8261movaps [rsp], x0
001f8265movdqa x0, [rsp+64]
001f826bmov [rsp+32], rax
001f8270mov rax, [rbp+8]
001f8274movaps [rsp+16], x0
001f8279jmp 0x1f8185
001f827e
001f827e 66 90 f.
001f8280
001f8280loc_1f8280:
001f8280call caml_bad_caml_state
001f8285
001f8285loc_1f8285:
001f8285call fn_f4590
001f8120
001f828a
001f828a // align 0x20
001f828a // align 0x20
001f82a0
001f82a0caml_alloc_6:
001f82a0push r14
001f82a2push r13
001f82a4push r12
001f82a6push rbp
001f82a7push rbx
001f82a8sub rsp, 176
001f82afmov rax, [0x28]
001f82b8mov [rsp+168], rax
001f82c0mov rax, rsi
001f82c3mov rsi, [rip+0x7dd1a]
001f82camov rbp, [rsi]
001f82cetest rbp, rbp
001f82d1je 0x1f8420
001f82d7mov [rsp], rax
001f82dbmov rax, [rsp+224]
001f82e3mov ebx, edi
001f82e5lea r12, [rsp+48]
001f82easub [rbp+8], 56
001f82efmov [rsp+40], rax
001f82f4mov [rsp+8], rdx
001f82f9mov [rsp+16], rcx
001f82femov [rsp+24], r8
001f8303mov [rsp+32], r9
001f8308mov rdx, [rbp]
001f830cmov rax, [rbp+8]
001f8310cmp rax, rdx
001f8313jb 0x1f8380
001f8315add rbx, 6144
001f831cmov [rax], rbx
001f831fmov rsi, [rbp+8]
001f8323mov rax, rsp
001f8326add rsi, 8
001f832amov rdx, rsi
001f832dnop [rax+rax]
001f8338nop [rax]
001f833cmov rcx, [rax]
001f833fadd rax, 8
001f8343add rdx, 8
001f8347mov [rdx-8], rcx
001f834bcmp r12, rax
001f834ejne 0x1f8340
001f8350mov rax, [rsp+168]
001f8358sub rax, [0x28]
001f8361jne 0x1f8425
001f8367add rsp, 176
001f836emov rax, rsi
001f8371pop rbx
001f8372pop rbp
001f8373pop r12
001f8375pop r13
001f8377pop r14
001f8379ret
001f837adb 0x5d
001f837bpop r14
001f837dret
001f837e
001f837e 66 90 f.
001f8380
001f8380loc_1f8380:
001f8380lea rax, [rsp+96]
001f8385xor r8l, r8l
001f8388mov ecx, 1
001f838dmov edx, 1
001f8392mov rdi, rbp
001f8395movdqa x0, [rip+0x31cf3]
001f839dmov r13, [rsi]
001f83a1mov esi, 6
001f83a6mov [rsp+120], r12
001f83abmovups [rsp+104], x0
001f83b0movdqa x0, [rsp]
001f83b5mov r14, [r13+160]
001f83bcmov [r13+160], rax
001f83c3movaps [rsp+48], x0
001f83c8movdqa x0, [rsp+16]
001f83cemov [rsp+96], r14
001f83d3movaps [rsp+64], x0
001f83d8movdqa x0, [rsp+32]
001f83demovaps [rsp+80], x0
001f83e3call caml_alloc_small_dispatch
001f83e8movdqa x0, [rsp+48]
001f83eemov [r13+160], r14
001f83f5mov rax, [rbp+8]
001f83f9movaps [rsp], x0
001f83fdmovdqa x0, [rsp+64]
001f8403movaps [rsp+16], x0
001f8408movdqa x0, [rsp+80]
001f840emovaps [rsp+32], x0
001f8413jmp 0x1f8319
001f8418
001f8418 0f 1f 84 00 00 00 00 00 ........
001f8420
001f8420loc_1f8420:
001f8420call caml_bad_caml_state
001f8425
001f8425loc_1f8425:
001f8425call fn_f4590
001f82a0
001f82a0caml_alloc_6:
001f82a0push r14
001f82a2push r13
001f82a4push r12
001f82a6push rbp
001f82a7push rbx
001f82a8sub rsp, 176
001f82afmov rax, [0x28]
001f82b8mov [rsp+168], rax
001f82c0mov rax, rsi
001f82c3mov rsi, [rip+0x7dd1a]
001f82camov rbp, [rsi]
001f82cetest rbp, rbp
001f82d1je 0x1f8420
001f82d7mov [rsp], rax
001f82dbmov rax, [rsp+224]
001f82e3mov ebx, edi
001f82e5lea r12, [rsp+48]
001f82easub [rbp+8], 56
001f82efmov [rsp+40], rax
001f82f4mov [rsp+8], rdx
001f82f9mov [rsp+16], rcx
001f82femov [rsp+24], r8
001f8303mov [rsp+32], r9
001f8308mov rdx, [rbp]
001f830cmov rax, [rbp+8]
001f8310cmp rax, rdx
001f8313jb 0x1f8380
001f8315add rbx, 6144
001f831cmov [rax], rbx
001f831fmov rsi, [rbp+8]
001f8323mov rax, rsp
001f8326add rsi, 8
001f832amov rdx, rsi
001f832dnop [rax+rax]
001f8338nop [rax]
001f833cmov rcx, [rax]
001f833fadd rax, 8
001f8343add rdx, 8
001f8347mov [rdx-8], rcx
001f834bcmp r12, rax
001f834ejne 0x1f8340
001f8350mov rax, [rsp+168]
001f8358sub rax, [0x28]
001f8361jne 0x1f8425
001f8367add rsp, 176
001f836emov rax, rsi
001f8371pop rbx
001f8372pop rbp
001f8373pop r12
001f8375pop r13
001f8377pop r14
001f8379ret
001f837adb 0x5d
001f837bpop r14
001f837dret
001f837e
001f837e 66 90 f.
001f8380
001f8380loc_1f8380:
001f8380lea rax, [rsp+96]
001f8385xor r8l, r8l
001f8388mov ecx, 1
001f838dmov edx, 1
001f8392mov rdi, rbp
001f8395movdqa x0, [rip+0x31cf3]
001f839dmov r13, [rsi]
001f83a1mov esi, 6
001f83a6mov [rsp+120], r12
001f83abmovups [rsp+104], x0
001f83b0movdqa x0, [rsp]
001f83b5mov r14, [r13+160]
001f83bcmov [r13+160], rax
001f83c3movaps [rsp+48], x0
001f83c8movdqa x0, [rsp+16]
001f83cemov [rsp+96], r14
001f83d3movaps [rsp+64], x0
001f83d8movdqa x0, [rsp+32]
001f83demovaps [rsp+80], x0
001f83e3call caml_alloc_small_dispatch
001f83e8movdqa x0, [rsp+48]
001f83eemov [r13+160], r14
001f83f5mov rax, [rbp+8]
001f83f9movaps [rsp], x0
001f83fdmovdqa x0, [rsp+64]
001f8403movaps [rsp+16], x0
001f8408movdqa x0, [rsp+80]
001f840emovaps [rsp+32], x0
001f8413jmp 0x1f8319
001f8418
001f8418 0f 1f 84 00 00 00 00 00 ........
001f8420
001f8420loc_1f8420:
001f8420call caml_bad_caml_state
001f8425
001f8425loc_1f8425:
001f8425call fn_f4590
001f82a0
001f842a
001f842a // align 0x20
001f842a // align 0x20
001f8440
001f8440caml_alloc_7:
001f8440push r13
001f8442push r12
001f8444push rbp
001f8445push rbx
001f8446sub rsp, 216
001f844dmov rax, [0x28]
001f8456mov [rsp+200], rax
001f845emov rax, rsi
001f8461mov rsi, [rip+0x7db7c]
001f8468mov rbp, [rsi]
001f846ctest rbp, rbp
001f846fje 0x1f85e0
001f8475mov [rsp], rax
001f8479mov rax, [rsp+256]
001f8481mov ebx, edi
001f8483sub [rbp+8], 64
001f8488mov [rsp+40], rax
001f848dmov rax, [rsp+264]
001f8495mov [rsp+8], rdx
001f849amov [rsp+48], rax
001f849fmov [rsp+16], rcx
001f84a4mov [rsp+24], r8
001f84a9mov [rsp+32], r9
001f84aemov rdx, [rbp]
001f84b2mov rax, [rbp+8]
001f84b6cmp rax, rdx
001f84b9jb 0x1f8520
001f84bbadd rbx, 7168
001f84c2lea rsi, [rsp+56]
001f84c7mov [rax], rbx
001f84camov rdi, [rbp+8]
001f84cemov rax, rsp
001f84d1add rdi, 8
001f84d5mov rdx, rdi
001f84d8nop [rax]
001f84dcmov rcx, [rax]
001f84dfadd rax, 8
001f84e3add rdx, 8
001f84e7mov [rdx-8], rcx
001f84ebcmp rsi, rax
001f84eejne 0x1f84e0
001f84f0mov rax, [rsp+200]
001f84f8sub rax, [0x28]
001f8501jne 0x1f85e5
001f8507add rsp, 216
001f850emov rax, rdi
001f8511pop rbx
001f8512pop rbp
001f8513pop r12
001f8515pop r13
001f8517ret
001f8518db 0x5c
001f8519pop r13
001f851bret
001f851c
001f851c 0f 1f 40 00 ..@.
001f8520
001f8520loc_1f8520:
001f8520lea rax, [rsp+128]
001f8528xor r8l, r8l
001f852bmov rdi, rbp
001f852emov ecx, 1
001f8533mov edx, 1
001f8538movdqa x0, [rip+0x31b60]
001f8540mov r12, [rsi]
001f8544mov esi, 7
001f8549movups [rsp+136], x0
001f8551movdqa x0, [rsp]
001f8556mov r13, [r12+160]
001f855emov [r12+160], rax
001f8566lea rax, [rsp+64]
001f856bmovaps [rsp+64], x0
001f8570movdqa x0, [rsp+16]
001f8576mov [rsp+152], rax
001f857emov rax, [rsp+48]
001f8583movaps [rsp+80], x0
001f8588movdqa x0, [rsp+32]
001f858emov [rsp+112], rax
001f8593movaps [rsp+96], x0
001f8598mov [rsp+128], r13
001f85a0call caml_alloc_small_dispatch
001f85a5movdqa x0, [rsp+64]
001f85abmov rax, [rsp+112]
001f85b0mov [r12+160], r13
001f85b8movaps [rsp], x0
001f85bcmovdqa x0, [rsp+80]
001f85c2mov [rsp+48], rax
001f85c7mov rax, [rbp+8]
001f85cbmovaps [rsp+16], x0
001f85d0movdqa x0, [rsp+96]
001f85d6movaps [rsp+32], x0
001f85dbjmp 0x1f84bf
001f85e0
001f85e0loc_1f85e0:
001f85e0call caml_bad_caml_state
001f85e5
001f85e5loc_1f85e5:
001f85e5call fn_f4590
001f8440
001f8440caml_alloc_7:
001f8440push r13
001f8442push r12
001f8444push rbp
001f8445push rbx
001f8446sub rsp, 216
001f844dmov rax, [0x28]
001f8456mov [rsp+200], rax
001f845emov rax, rsi
001f8461mov rsi, [rip+0x7db7c]
001f8468mov rbp, [rsi]
001f846ctest rbp, rbp
001f846fje 0x1f85e0
001f8475mov [rsp], rax
001f8479mov rax, [rsp+256]
001f8481mov ebx, edi
001f8483sub [rbp+8], 64
001f8488mov [rsp+40], rax
001f848dmov rax, [rsp+264]
001f8495mov [rsp+8], rdx
001f849amov [rsp+48], rax
001f849fmov [rsp+16], rcx
001f84a4mov [rsp+24], r8
001f84a9mov [rsp+32], r9
001f84aemov rdx, [rbp]
001f84b2mov rax, [rbp+8]
001f84b6cmp rax, rdx
001f84b9jb 0x1f8520
001f84bbadd rbx, 7168
001f84c2lea rsi, [rsp+56]
001f84c7mov [rax], rbx
001f84camov rdi, [rbp+8]
001f84cemov rax, rsp
001f84d1add rdi, 8
001f84d5mov rdx, rdi
001f84d8nop [rax]
001f84dcmov rcx, [rax]
001f84dfadd rax, 8
001f84e3add rdx, 8
001f84e7mov [rdx-8], rcx
001f84ebcmp rsi, rax
001f84eejne 0x1f84e0
001f84f0mov rax, [rsp+200]
001f84f8sub rax, [0x28]
001f8501jne 0x1f85e5
001f8507add rsp, 216
001f850emov rax, rdi
001f8511pop rbx
001f8512pop rbp
001f8513pop r12
001f8515pop r13
001f8517ret
001f8518db 0x5c
001f8519pop r13
001f851bret
001f851c
001f851c 0f 1f 40 00 ..@.
001f8520
001f8520loc_1f8520:
001f8520lea rax, [rsp+128]
001f8528xor r8l, r8l
001f852bmov rdi, rbp
001f852emov ecx, 1
001f8533mov edx, 1
001f8538movdqa x0, [rip+0x31b60]
001f8540mov r12, [rsi]
001f8544mov esi, 7
001f8549movups [rsp+136], x0
001f8551movdqa x0, [rsp]
001f8556mov r13, [r12+160]
001f855emov [r12+160], rax
001f8566lea rax, [rsp+64]
001f856bmovaps [rsp+64], x0
001f8570movdqa x0, [rsp+16]
001f8576mov [rsp+152], rax
001f857emov rax, [rsp+48]
001f8583movaps [rsp+80], x0
001f8588movdqa x0, [rsp+32]
001f858emov [rsp+112], rax
001f8593movaps [rsp+96], x0
001f8598mov [rsp+128], r13
001f85a0call caml_alloc_small_dispatch
001f85a5movdqa x0, [rsp+64]
001f85abmov rax, [rsp+112]
001f85b0mov [r12+160], r13
001f85b8movaps [rsp], x0
001f85bcmovdqa x0, [rsp+80]
001f85c2mov [rsp+48], rax
001f85c7mov rax, [rbp+8]
001f85cbmovaps [rsp+16], x0
001f85d0movdqa x0, [rsp+96]
001f85d6movaps [rsp+32], x0
001f85dbjmp 0x1f84bf
001f85e0
001f85e0loc_1f85e0:
001f85e0call caml_bad_caml_state
001f85e5
001f85e5loc_1f85e5:
001f85e5call fn_f4590
001f8440
001f85ea
001f85ea // align 0x20
001f85ea // align 0x20
001f8600
001f8600caml_alloc_8:
001f8600push r14
001f8602push r13
001f8604push r12
001f8606push rbp
001f8607push rbx
001f8608sub rsp, 208
001f860fmov rax, [0x28]
001f8618mov [rsp+200], rax
001f8620mov rax, rsi
001f8623mov rsi, [rip+0x7d9ba]
001f862amov r12, [rsi]
001f862etest r12, r12
001f8631je 0x1f87c0
001f8637mov [rsp], rax
001f863bmov rax, [rsp+256]
001f8643mov ebp, edi
001f8645lea rbx, [rsp+64]
001f864asub [r12+8], 72
001f8650mov [rsp+40], rax
001f8655mov rax, [rsp+264]
001f865dmov [rsp+8], rdx
001f8662mov [rsp+48], rax
001f8667mov rax, [rsp+272]
001f866fmov [rsp+16], rcx
001f8674mov [rsp+56], rax
001f8679mov [rsp+24], r8
001f867emov [rsp+32], r9
001f8683mov rdx, [r12]
001f8687mov rax, [r12+8]
001f868ccmp rax, rdx
001f868fjb 0x1f8700
001f8691add rbp, 8192
001f8698mov [rax], rbp
001f869bmov rsi, [r12+8]
001f86a0mov rax, rsp
001f86a3add rsi, 8
001f86a7mov rdx, rsi
001f86aanop [rax+rax]
001f86b5nop [rax]
001f86bcmov rcx, [rax]
001f86bfadd rax, 8
001f86c3add rdx, 8
001f86c7mov [rdx-8], rcx
001f86cbcmp rax, rbx
001f86cejne 0x1f86c0
001f86d0mov rax, [rsp+200]
001f86d8sub rax, [0x28]
001f86e1jne 0x1f87c5
001f86e7add rsp, 208
001f86eemov rax, rsi
001f86f1pop rbx
001f86f2pop rbp
001f86f3pop r12
001f86f5pop r13
001f86f7pop r14
001f86f9ret
001f86fadb 0x5d
001f86fbpop r14
001f86fdret
001f86fe
001f86fe 66 90 f.
001f8700
001f8700loc_1f8700:
001f8700lea rax, [rsp+128]
001f8708xor r8l, r8l
001f870bmov rdi, r12
001f870emov ecx, 1
001f8713mov edx, 1
001f8718movdqa x0, [rip+0x31990]
001f8720mov r13, [rsi]
001f8724mov esi, 8
001f8729mov [rsp+152], rbx
001f8731movups [rsp+136], x0
001f8739movdqa x0, [rsp]
001f873emov r14, [r13+160]
001f8745mov [r13+160], rax
001f874cmovaps [rsp+64], x0
001f8751movdqa x0, [rsp+16]
001f8757mov [rsp+128], r14
001f875fmovaps [rsp+80], x0
001f8764movdqa x0, [rsp+32]
001f876amovaps [rsp+96], x0
001f876fmovdqa x0, [rsp+48]
001f8775movaps [rsp+112], x0
001f877acall caml_alloc_small_dispatch
001f877fmovdqa x0, [rsp+64]
001f8785mov [r13+160], r14
001f878cmov rax, [r12+8]
001f8791movaps [rsp], x0
001f8795movdqa x0, [rsp+80]
001f879bmovaps [rsp+16], x0
001f87a0movdqa x0, [rsp+96]
001f87a6movaps [rsp+32], x0
001f87abmovdqa x0, [rsp+112]
001f87b1movaps [rsp+48], x0
001f87b6jmp 0x1f8695
001f87bb
001f87bb 0f 1f 44 00 00 ..D..
001f87c0
001f87c0loc_1f87c0:
001f87c0call caml_bad_caml_state
001f87c5
001f87c5loc_1f87c5:
001f87c5call fn_f4590
001f8600
001f8600caml_alloc_8:
001f8600push r14
001f8602push r13
001f8604push r12
001f8606push rbp
001f8607push rbx
001f8608sub rsp, 208
001f860fmov rax, [0x28]
001f8618mov [rsp+200], rax
001f8620mov rax, rsi
001f8623mov rsi, [rip+0x7d9ba]
001f862amov r12, [rsi]
001f862etest r12, r12
001f8631je 0x1f87c0
001f8637mov [rsp], rax
001f863bmov rax, [rsp+256]
001f8643mov ebp, edi
001f8645lea rbx, [rsp+64]
001f864asub [r12+8], 72
001f8650mov [rsp+40], rax
001f8655mov rax, [rsp+264]
001f865dmov [rsp+8], rdx
001f8662mov [rsp+48], rax
001f8667mov rax, [rsp+272]
001f866fmov [rsp+16], rcx
001f8674mov [rsp+56], rax
001f8679mov [rsp+24], r8
001f867emov [rsp+32], r9
001f8683mov rdx, [r12]
001f8687mov rax, [r12+8]
001f868ccmp rax, rdx
001f868fjb 0x1f8700
001f8691add rbp, 8192
001f8698mov [rax], rbp
001f869bmov rsi, [r12+8]
001f86a0mov rax, rsp
001f86a3add rsi, 8
001f86a7mov rdx, rsi
001f86aanop [rax+rax]
001f86b5nop [rax]
001f86bcmov rcx, [rax]
001f86bfadd rax, 8
001f86c3add rdx, 8
001f86c7mov [rdx-8], rcx
001f86cbcmp rax, rbx
001f86cejne 0x1f86c0
001f86d0mov rax, [rsp+200]
001f86d8sub rax, [0x28]
001f86e1jne 0x1f87c5
001f86e7add rsp, 208
001f86eemov rax, rsi
001f86f1pop rbx
001f86f2pop rbp
001f86f3pop r12
001f86f5pop r13
001f86f7pop r14
001f86f9ret
001f86fadb 0x5d
001f86fbpop r14
001f86fdret
001f86fe
001f86fe 66 90 f.
001f8700
001f8700loc_1f8700:
001f8700lea rax, [rsp+128]
001f8708xor r8l, r8l
001f870bmov rdi, r12
001f870emov ecx, 1
001f8713mov edx, 1
001f8718movdqa x0, [rip+0x31990]
001f8720mov r13, [rsi]
001f8724mov esi, 8
001f8729mov [rsp+152], rbx
001f8731movups [rsp+136], x0
001f8739movdqa x0, [rsp]
001f873emov r14, [r13+160]
001f8745mov [r13+160], rax
001f874cmovaps [rsp+64], x0
001f8751movdqa x0, [rsp+16]
001f8757mov [rsp+128], r14
001f875fmovaps [rsp+80], x0
001f8764movdqa x0, [rsp+32]
001f876amovaps [rsp+96], x0
001f876fmovdqa x0, [rsp+48]
001f8775movaps [rsp+112], x0
001f877acall caml_alloc_small_dispatch
001f877fmovdqa x0, [rsp+64]
001f8785mov [r13+160], r14
001f878cmov rax, [r12+8]
001f8791movaps [rsp], x0
001f8795movdqa x0, [rsp+80]
001f879bmovaps [rsp+16], x0
001f87a0movdqa x0, [rsp+96]
001f87a6movaps [rsp+32], x0
001f87abmovdqa x0, [rsp+112]
001f87b1movaps [rsp+48], x0
001f87b6jmp 0x1f8695
001f87bb
001f87bb 0f 1f 44 00 00 ..D..
001f87c0
001f87c0loc_1f87c0:
001f87c0call caml_bad_caml_state
001f87c5
001f87c5loc_1f87c5:
001f87c5call fn_f4590
001f8600
001f87ca
001f87ca // align 0x20
001f87ca // align 0x20
001f87e0
001f87e0caml_alloc_9:
001f87e0push r13
001f87e2push r12
001f87e4push rbp
001f87e5push rbx
001f87e6sub rsp, 232
001f87edmov rax, [0x28]
001f87f6mov [rsp+216], rax
001f87femov rax, rsi
001f8801mov rsi, [rip+0x7d7dc]
001f8808mov rbp, [rsi]
001f880ctest rbp, rbp
001f880fje 0x1f8a18
001f8815mov [rsp+64], rax
001f881amov rax, [rsp+272]
001f8822mov ebx, edi
001f8824sub [rbp+8], 80
001f8829mov [rsp+104], rax
001f882emov rax, [rsp+280]
001f8836mov [rsp+72], rdx
001f883bmov [rsp+112], rax
001f8840mov rax, [rsp+288]
001f8848mov [rsp+80], rcx
001f884dmov [rsp+120], rax
001f8852mov rax, [rsp+296]
001f885amov [rsp+88], r8
001f885fmov [rsp+128], rax
001f8867mov [rsp+96], r9
001f886cmov rdx, [rbp]
001f8870mov rax, [rbp+8]
001f8874cmp rax, rdx
001f8877jb 0x1f8900
001f887dmov ebx, ebx
001f887flea rsi, [rsp+136]
001f8887add rbx, 9216
001f888emov [rax], rbx
001f8891mov rdi, [rbp+8]
001f8895lea rax, [rsp+64]
001f889aadd rdi, 8
001f889emov rdx, rdi
001f88a1nop [rax+rax]
001f88acnop [rax+rax]
001f88b7nop [rax+rax]
001f88bcmov rcx, [rax]
001f88bfadd rax, 8
001f88c3add rdx, 8
001f88c7mov [rdx-8], rcx
001f88cbcmp rsi, rax
001f88cejne 0x1f88c0
001f88d0mov rax, [rsp+216]
001f88d8sub rax, [0x28]
001f88e1jne 0x1f8a1d
001f88e7add rsp, 232
001f88eemov rax, rdi
001f88f1pop rbx
001f88f2pop rbp
001f88f3pop r12
001f88f5pop r13
001f88f7ret
001f88f8db 0x5c
001f88f9pop r13
001f88fbret
001f88fc
001f88fc 0f 1f 40 00 ..@.
001f8900
001f8900loc_1f8900:
001f8900lea rax, [rsp+144]
001f8908lea rdx, [rsp+216]
001f8910mov r12, [rsi]
001f8914movdqa x0, [rip+0x317a4]
001f891cmov [rsp+24], rax
001f8921mov r13, [r12+160]
001f8929mov [r12+160], rsp
001f8931movups [rsp+8], x0
001f8936mov [rsp], r13
001f893a
001f893aloc_1f893a:
001f893amov [rax], 1
001f8941add rax, 24
001f8945mov [rax-16], 1
001f894dmov [rax-8], 1
001f8955cmp rdx, rax
001f8958jne 0x1f893a
001f895axor r8l, r8l
001f895dmov ecx, 1
001f8962mov edx, 1
001f8967mov rdi, rbp
001f896amovdqa x0, [rsp+64]
001f8970mov rax, [rsp+128]
001f8978mov esi, 9
001f897dmovaps [rsp+144], x0
001f8985movdqa x0, [rsp+80]
001f898bmov [rsp+208], rax
001f8993movaps [rsp+160], x0
001f899bmovdqa x0, [rsp+96]
001f89a1movaps [rsp+176], x0
001f89a9movdqa x0, [rsp+112]
001f89afmovaps [rsp+192], x0
001f89b7call caml_alloc_small_dispatch
001f89bcmov rax, [rsp+208]
001f89c4movdqa x0, [rsp+144]
001f89cdmov [r12+160], r13
001f89d5movaps [rsp+64], x0
001f89damovdqa x0, [rsp+160]
001f89e3mov [rsp+128], rax
001f89ebmov rax, [rbp+8]
001f89efmovaps [rsp+80], x0
001f89f4movdqa x0, [rsp+176]
001f89fdmovaps [rsp+96], x0
001f8a02movdqa x0, [rsp+192]
001f8a0bmovaps [rsp+112], x0
001f8a10jmp 0x1f8881
001f8a15
001f8a15 0f 1f 00 ...
001f8a18
001f8a18loc_1f8a18:
001f8a18call caml_bad_caml_state
001f8a1d
001f8a1dloc_1f8a1d:
001f8a1dcall fn_f4590
001f87e0
001f87e0caml_alloc_9:
001f87e0push r13
001f87e2push r12
001f87e4push rbp
001f87e5push rbx
001f87e6sub rsp, 232
001f87edmov rax, [0x28]
001f87f6mov [rsp+216], rax
001f87femov rax, rsi
001f8801mov rsi, [rip+0x7d7dc]
001f8808mov rbp, [rsi]
001f880ctest rbp, rbp
001f880fje 0x1f8a18
001f8815mov [rsp+64], rax
001f881amov rax, [rsp+272]
001f8822mov ebx, edi
001f8824sub [rbp+8], 80
001f8829mov [rsp+104], rax
001f882emov rax, [rsp+280]
001f8836mov [rsp+72], rdx
001f883bmov [rsp+112], rax
001f8840mov rax, [rsp+288]
001f8848mov [rsp+80], rcx
001f884dmov [rsp+120], rax
001f8852mov rax, [rsp+296]
001f885amov [rsp+88], r8
001f885fmov [rsp+128], rax
001f8867mov [rsp+96], r9
001f886cmov rdx, [rbp]
001f8870mov rax, [rbp+8]
001f8874cmp rax, rdx
001f8877jb 0x1f8900
001f887dmov ebx, ebx
001f887flea rsi, [rsp+136]
001f8887add rbx, 9216
001f888emov [rax], rbx
001f8891mov rdi, [rbp+8]
001f8895lea rax, [rsp+64]
001f889aadd rdi, 8
001f889emov rdx, rdi
001f88a1nop [rax+rax]
001f88acnop [rax+rax]
001f88b7nop [rax+rax]
001f88bcmov rcx, [rax]
001f88bfadd rax, 8
001f88c3add rdx, 8
001f88c7mov [rdx-8], rcx
001f88cbcmp rsi, rax
001f88cejne 0x1f88c0
001f88d0mov rax, [rsp+216]
001f88d8sub rax, [0x28]
001f88e1jne 0x1f8a1d
001f88e7add rsp, 232
001f88eemov rax, rdi
001f88f1pop rbx
001f88f2pop rbp
001f88f3pop r12
001f88f5pop r13
001f88f7ret
001f88f8db 0x5c
001f88f9pop r13
001f88fbret
001f88fc
001f88fc 0f 1f 40 00 ..@.
001f8900
001f8900loc_1f8900:
001f8900lea rax, [rsp+144]
001f8908lea rdx, [rsp+216]
001f8910mov r12, [rsi]
001f8914movdqa x0, [rip+0x317a4]
001f891cmov [rsp+24], rax
001f8921mov r13, [r12+160]
001f8929mov [r12+160], rsp
001f8931movups [rsp+8], x0
001f8936mov [rsp], r13
001f893a
001f893aloc_1f893a:
001f893amov [rax], 1
001f8941add rax, 24
001f8945mov [rax-16], 1
001f894dmov [rax-8], 1
001f8955cmp rdx, rax
001f8958jne 0x1f893a
001f895axor r8l, r8l
001f895dmov ecx, 1
001f8962mov edx, 1
001f8967mov rdi, rbp
001f896amovdqa x0, [rsp+64]
001f8970mov rax, [rsp+128]
001f8978mov esi, 9
001f897dmovaps [rsp+144], x0
001f8985movdqa x0, [rsp+80]
001f898bmov [rsp+208], rax
001f8993movaps [rsp+160], x0
001f899bmovdqa x0, [rsp+96]
001f89a1movaps [rsp+176], x0
001f89a9movdqa x0, [rsp+112]
001f89afmovaps [rsp+192], x0
001f89b7call caml_alloc_small_dispatch
001f89bcmov rax, [rsp+208]
001f89c4movdqa x0, [rsp+144]
001f89cdmov [r12+160], r13
001f89d5movaps [rsp+64], x0
001f89damovdqa x0, [rsp+160]
001f89e3mov [rsp+128], rax
001f89ebmov rax, [rbp+8]
001f89efmovaps [rsp+80], x0
001f89f4movdqa x0, [rsp+176]
001f89fdmovaps [rsp+96], x0
001f8a02movdqa x0, [rsp+192]
001f8a0bmovaps [rsp+112], x0
001f8a10jmp 0x1f8881
001f8a15
001f8a15 0f 1f 00 ...
001f8a18
001f8a18loc_1f8a18:
001f8a18call caml_bad_caml_state
001f8a1d
001f8a1dloc_1f8a1d:
001f8a1dcall fn_f4590
001f87e0
Loading..