File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    002229b0
    002229b0caml_sys_mkdir:
    002229b0push r13
    002229b2push r12
    002229b4push rbp
    002229b5mov rbp, rdi
    002229b8push rbx
    002229b9mov rbx, rsi
    002229bcsar rbx, 1
    002229bfsub rsp, 104
    002229c3movdqa x0, [rip+30465]
    002229cbmov [rsp+8], rdi
    002229d0movq x1, rsp
    002229d5mov [rsp], rsi
    002229d9mov rax, [0x28]
    002229e2mov [rsp+88], rax
    002229e7mov rax, [rip+0x535f6]
    002229eemov r12, [rax]
    002229f2lea rax, [rsp+16]
    002229f7movups [rsp+24], x0
    002229fcmov r13, [r12+160]
    00222a04mov [r12+160], rax
    00222a0clea rax, [rsp+8]
    00222a11movq x0, rax
    00222a16punpcklqdq x0, x1
    00222a1amov [rsp+16], r13
    00222a1fmovups [rsp+40], x0
    00222a24call caml_string_is_c_safe
    00222a29test eax, eax
    00222a2bje 0x222a89
    00222a2dmov rdi, [rsp+8]
    00222a32call caml_stat_strdup
    00222a37mov rbp, rax
    00222a3acall caml_enter_blocking_section
    00222a3fmov esi, ebx
    00222a41mov rdi, rbp
    00222a44call fn_f4810
    00222a49mov ebx, eax
    00222a4bcall caml_leave_blocking_section
    00222a50mov rdi, rbp
    00222a53call caml_stat_free
    00222a58cmp ebx, -1
    00222a5bje 0x222a96
    00222a5dmov [r12+160], r13
    00222a65mov rax, [rsp+88]
    00222a6asub rax, [0x28]
    00222a73jne 0x222a91
    00222a75add rsp, 104
    00222a79mov eax, 1
    00222a7epop rbx
    00222a7fpop rbp
    00222a80pop r12
    00222a82pop r13
    00222a84ret
    00222a85mov rdi, rbp
    00222a88call fn_222140
    00222a8dcall fn_f4590
    00222a92mov rdi, [rsp+8]
    00222a97call caml_sys_error
    00222a9cdb 0x80
    00222a9dcmc
    00222a9edb 0xff
    00222a9fdb 0xff
    002229b0
    00222aa0
    00222aa0caml_sys_rmdir:
    00222aa0push r13
    00222aa2push r12
    00222aa4push rbp
    00222aa5push rbx
    00222aa6mov rbx, rdi
    00222aa9sub rsp, 104
    00222aadmov [rsp+8], rdi
    00222ab2mov rax, [0x28]
    00222abbmov [rsp+88], rax
    00222ac0mov rax, [rip+0x5351d]
    00222ac7mov r12, [rax]
    00222acblea rax, [rsp+16]
    00222ad0mov r13, [r12+160]
    00222ad8mov [r12+160], rax
    00222ae0mov eax, 1
    00222ae5movq x0, rax
    00222aealea rax, [rsp+8]
    00222aefpunpcklqdq x0, x0
    00222af3mov [rsp+16], r13
    00222af8mov [rsp+40], rax
    00222afdmovups [rsp+24], x0
    00222b02call caml_string_is_c_safe
    00222b07test eax, eax
    00222b09je 0x222b65
    00222b0bmov rdi, [rsp+8]
    00222b10call caml_stat_strdup
    00222b15mov rbx, rax
    00222b18call caml_enter_blocking_section
    00222b1dmov rdi, rbx
    00222b20call fn_f42a0
    00222b25mov ebp, eax
    00222b27call caml_leave_blocking_section
    00222b2cmov rdi, rbx
    00222b2fcall caml_stat_free
    00222b34cmp ebp, -1
    00222b37je 0x222b72
    00222b39mov [r12+160], r13
    00222b41mov rax, [rsp+88]
    00222b46sub rax, [0x28]
    00222b4fjne 0x222b6d
    00222b51add rsp, 104
    00222b55mov eax, 1
    00222b5apop rbx
    00222b5bpop rbp
    00222b5cpop r12
    00222b5epop r13
    00222b60ret
    00222b61mov rdi, rbx
    00222b64call fn_222140
    00222b69call fn_f4590
    00222b6emov rdi, [rsp+8]
    00222b73call caml_sys_error
    00222b78db 0xa4
    00222b79hlt
    00222b7adb 0xff
    00222b7bdb 0xff
    00222aa0
    00222b7c
    00222b7c // align 0x10
    00222b80
    00222b80caml_sys_getcwd:
    00222b80push rbx
    00222b81sub rsp, 4096
    00222b88or [rsp], 0
    00222b8dsub rsp, 16
    00222b91mov rsi, [0x28]
    00222b9amov [rsp+4104], rsi
    00222ba2mov esi, 4096
    00222ba7mov rdi, rsp
    00222baacall fn_f45b0
    00222baftest rax, rax
    00222bb2je 0x222bdc
    00222bb4mov rdi, rsp
    00222bb7call caml_copy_string
    00222bbcmov rdx, [rsp+4104]
    00222bc4sub rdx, [0x28]
    00222bcdjne 0x222be6
    00222bcfadd rsp, 4112
    00222bd6pop rbx
    00222bd7ret
    00222bd8mov edi, 1
    00222bddcall caml_sys_error
    00222be2call fn_f4590
    00222be7db 0xa5
    00222be8sbb ebp, ebp
    00222beadb 0xff
    00222b80
    00222beb
    00222beb // align 0x10
    00222bf0
    00222bf0caml_sys_unsafe_getenv:
    00222bf0push rbp
    00222bf1push rbx
    00222bf2mov rbx, rdi
    00222bf5sub rsp, 8
    00222bf9call caml_string_is_c_safe
    00222bfetest eax, eax
    00222c00je 0x222c37
    00222c02mov rdi, rbx
    00222c05call caml_stat_strdup
    00222c0amov rdi, rax
    00222c0dmov rbp, rax
    00222c10call fn_f4540
    00222c15mov rdi, rbp
    00222c18mov rbx, rax
    00222c1bcall caml_stat_free
    00222c20test rbx, rbx
    00222c23je 0x222c37
    00222c25add rsp, 8
    00222c29mov rdi, rbx
    00222c2cpop rbx
    00222c2dpop rbp
    00222c2ejmp 0x1f8ba0
    00222c33call caml_raise_not_found
    00222c38db 0xa4
    00222c39db 0x3e
    00222c3adb 0xfe
    00222c3bdb 0xff
    00222bf0
    00222c3c
    00222c3c // align 0x10
    00222c40
    00222c40caml_sys_getenv:
    00222c40push rbp
    00222c41push rbx
    00222c42mov rbx, rdi
    00222c45sub rsp, 8
    00222c49call caml_string_is_c_safe
    00222c4etest eax, eax
    00222c50je 0x222c87
    00222c52mov rdi, rbx
    00222c55call caml_stat_strdup
    00222c5amov rdi, rax
    00222c5dmov rbp, rax
    00222c60call caml_secure_getenv
    00222c65mov rdi, rbp
    00222c68mov rbx, rax
    00222c6bcall caml_stat_free
    00222c70test rbx, rbx
    00222c73je 0x222c87
    00222c75add rsp, 8
    00222c79mov rdi, rbx
    00222c7cpop rbx
    00222c7dpop rbp
    00222c7ejmp 0x1f8ba0
    00222c83call caml_raise_not_found
    00222c88db 0x54
    00222c89db 0x3e
    00222c8adb 0xfe
    00222c8bdb 0xff
    00222c40
    00222c8c
    00222c8c // align 0x10
    00222c90
    00222c90caml_sys_get_argv:
    00222c90push rbp
    00222c91push rbx
    00222c92sub rsp, 104
    00222c96movdqa x0, [rip+29742]
    00222c9emov rax, [0x28]
    00222ca7mov [rsp+88], rax
    00222cacmov rax, [rip+0x53331]
    00222cb3mov rbx, [rax]
    00222cb7lea rax, [rsp+16]
    00222cbcmovups [rsp+24], x0
    00222cc1movq x0, rsp
    00222cc6mov [rsp], 1
    00222ccemov [rsp+8], 1
    00222cd7mov rbp, [rbx+160]
    00222cdemov [rbx+160], rax
    00222ce5lea rax, [rsp+8]
    00222ceamovq x1, rax
    00222cefmov rax, [rip+0x52c5e]
    00222cf6mov [rsp+16], rbp
    00222cfbpunpcklqdq x0, x1
    00222cffmovups [rsp+40], x0
    00222d04mov rdi, [rax]
    00222d07call caml_copy_string
    00222d0cxor esi, esi
    00222d0emov edi, 2
    00222d13mov [rsp], rax
    00222d17call caml_alloc_small
    00222d1cmov rdx, [rsp]
    00222d20mov [rsp+8], rax
    00222d25mov [rax], rdx
    00222d28mov rax, [rsp+8]
    00222d2dmov rdx, [rip+0x156450]
    00222d34mov [rax+8], rdx
    00222d38mov rax, [rsp+8]
    00222d3dmov [rbx+160], rbp
    00222d44mov rdx, [rsp+88]
    00222d49sub rdx, [0x28]
    00222d52jne 0x222d5f
    00222d54add rsp, 104
    00222d58pop rbx
    00222d59pop rbp
    00222d5aret
    00222d5bcall fn_f4590
    00222d60db 0x2c
    00222d61sbb ch, ch
    00222d63db 0xff
    00222c90
    00222d64
    00222d64 // align 0x10
    00222d70
    00222d70caml_sys_argv:
    00222d70mov rax, [rip+0x15640d]
    00222d77ret
    00222d78db 0x64
    00222d79db 0x15
    00222d7aadd bl, al
    00222d70
    00222d7c
    00222d7c // align 0x10
    00222d80
    00222d80caml_sys_modify_argv:
    00222d80sub rsp, 8
    00222d84mov rsi, rdi
    00222d87lea rdi, [rip+0x1563f6]
    00222d8ecall caml_modify_generational_global_root
    00222d93mov eax, 1
    00222d98add rsp, 8
    00222d9cret
    00222d9ddb 0x83
    00222d9edb 0xc4
    00222d9for bl, al
    00222d80
    00222da1
    00222da1 // align 0x10
    00222db0
    00222db0caml_sys_executable_name:
    00222db0mov rax, [rip+0x52b9d]
    00222db7mov rdi, [rax]
    00222dbajmp 0x1f8ba0
    00222dbfdb 0xdd
    00222dc0pop rbp
    00222dc1std
    00222dc2db 0xff
    00222db0
    00222dc3
    00222dc3 // align 0x10
    00222dd0
    00222dd0caml_sys_init:
    00222dd0push rbx
    00222dd1mov rbx, rsi
    00222dd4call caml_init_exe_name
    00222dd9lea rdi, [rip-0x2a244]
    00222de0mov rsi, rbx
    00222de3call caml_alloc_array
    00222de8lea rdi, [rip+0x156395]
    00222defpop rbx
    00222df0mov [rip+0x15638d], rax
    00222df7jmp 0x209dd0
    00222dfcdb 0xd0
    00222dfdoutsd dx, [rsi]
    00222dfedb 0xfe
    00222dffdb 0xff
    00222dd0
    00222e00
    00222e00caml_sys_system_command:
    00222e00push r13
    00222e02push r12
    00222e04push rbp
    00222e05push rbx
    00222e06sub rsp, 104
    00222e0amov [rsp+8], rdi
    00222e0fmov rax, [0x28]
    00222e18mov [rsp+88], rax
    00222e1dmov rax, [rip+0x531c0]
    00222e24mov r13, [rax]
    00222e28lea rax, [rsp+16]
    00222e2dmov r12, [r13+160]
    00222e34mov [r13+160], rax
    00222e3bmov eax, 1
    00222e40movq x0, rax
    00222e45lea rax, [rsp+8]
    00222e4apunpcklqdq x0, x0
    00222e4emov [rsp+16], r12
    00222e53mov [rsp+40], rax
    00222e58movups [rsp+24], x0
    00222e5dcall caml_string_is_c_safe
    00222e62mov rdi, [rsp+8]
    00222e67test eax, eax
    00222e69je 0x222edc
    00222e6bcall caml_stat_strdup
    00222e70mov rbp, rax
    00222e73call caml_enter_blocking_section
    00222e78mov rdi, rbp
    00222e7bcall fn_f4270
    00222e80mov ebx, eax
    00222e82call caml_leave_blocking_section
    00222e87mov rdi, rbp
    00222e8acall caml_stat_free
    00222e8fcmp ebx, -1
    00222e92je 0x222ed2
    00222e94mov eax, 511
    00222e99test bl, 127
    00222e9cje 0x222ec8
    00222e9emov [r13+160], r12
    00222ea5mov rdx, [rsp+88]
    00222eaasub rdx, [0x28]
    00222eb3jne 0x222ef4
    00222eb5add rsp, 104
    00222eb9pop rbx
    00222ebapop rbp
    00222ebbpop r12
    00222ebdpop r13
    00222ebfret
    00222ec0db 0x5c
    00222ec1pop r13
    00222ec3ret
    00222ec4
    00222ec4 0f 1f 40 00 ..@.
    00222ec8
    00222ec8loc_222ec8:
    00222ec8movzx ebx, bh
    00222ecblea rax, [rbx+rbx+1]
    00222ed0jmp 0x222ea2
    00222ed2
    00222ed2loc_222ed2:
    00222ed2mov rdi, [rsp+8]
    00222ed7call caml_sys_error
    00222edc
    00222edcloc_222edc:
    00222edcmov [rsp], rdi
    00222ee0call fn_f4570
    00222ee5mov rdi, [rsp]
    00222ee9mov [rax], 22
    00222eefcall caml_sys_error
    00222ef4
    00222ef4loc_222ef4:
    00222ef4call fn_f4590
    00222e00
    00222ef9
    00222ef9 // align 0x10
    00222f00
    00222f00caml_sys_time_include_children_unboxed:
    00222f00push rbp
    00222f01push rbx
    00222f02sub rsp, 184
    00222f09mov rbx, [0x28]
    00222f12mov [rsp+168], rbx
    00222f1amov rbx, rdi
    00222f1dlea rbp, [rsp+16]
    00222f22xor edi, edi
    00222f24mov rsi, rbp
    00222f27call fn_f41c0
    00222f2cpxor x0, x0
    00222f30pxor x1, x1
    00222f34movsd_xmm x2, [rip+30984]
    00222f3ccvtsi2sd x0, [rsp+24]
    00222f43cvtsi2sd x1, [rsp+16]
    00222f4asar rbx, 1
    00222f4ddivsd x0, x2
    00222f51addsd x0, x1
    00222f55pxor x1, x1
    00222f59cvtsi2sd x1, [rsp+32]
    00222f60addsd x0, x1
    00222f64pxor x1, x1
    00222f68cvtsi2sd x1, [rsp+40]
    00222f6fdivsd x1, x2
    00222f73addsd x0, x1
    00222f77pxor x1, x1
    00222f7baddsd x0, x1
    00222f7ftest ebx, ebx
    00222f81jne 0x222fa8
    00222f83mov rax, [rsp+168]
    00222f8bsub rax, [0x28]
    00222f94jne 0x223012
    00222f96add rsp, 184
    00222f9dpop rbx
    00222f9epop rbp
    00222f9fret
    00222fa0db 0x00
    00222fa1pop rbx
    00222fa2pop rbp
    00222fa3ret
    00222fa4
    00222fa4 0f 1f 40 00 ..@.
    00222fa8
    00222fa8loc_222fa8:
    00222fa8mov rsi, rbp
    00222fabmov edi, -1
    00222fb0movsd_xmm [rsp+8], x0
    00222fb6call fn_f41c0
    00222fbbpxor x1, x1
    00222fbfpxor x3, x3
    00222fc3movsd_xmm x2, [rip+30845]
    00222fcbcvtsi2sd x1, [rsp+24]
    00222fd2movsd_xmm x0, [rsp+8]
    00222fd8cvtsi2sd x3, [rsp+16]
    00222fdfdivsd x1, x2
    00222fe3addsd x1, x3
    00222fe7pxor x3, x3
    00222febcvtsi2sd x3, [rsp+32]
    00222ff2addsd x1, x3
    00222ff6pxor x3, x3
    00222ffacvtsi2sd x3, [rsp+40]
    00223001divsd x3, x2
    00223005addsd x1, x3
    00223009addsd x0, x1
    0022300djmp 0x222f87
    00223012
    00223012loc_223012:
    00223012call fn_f4590
    00222f00
    00223017
    00223017 // align 0x10
    00223020
    00223020caml_sys_time_include_children:
    00223020sub rsp, 8
    00223024call caml_sys_time_include_children_unboxed
    00223029add rsp, 8
    0022302djmp 0x2075f0
    00223032db 0xba
    00223033db 0x45
    00223034db 0xfe
    00223035db 0xff
    00223020
    00223036
    00223036 // align 0x10
    00223040
    00223040caml_sys_time_unboxed:
    00223040sub rsp, 168
    00223047xor edi, edi
    00223049mov rsi, [0x28]
    00223052mov [rsp+152], rsi
    0022305amov rsi, rsp
    0022305dcall fn_f41c0
    00223062pxor x0, x0
    00223066pxor x1, x1
    0022306amovsd_xmm x2, [rip+30674]
    00223072cvtsi2sd x0, [rsp+8]
    00223079cvtsi2sd x1, [rsp]
    0022307fdivsd x0, x2
    00223083addsd x0, x1
    00223087pxor x1, x1
    0022308bcvtsi2sd x1, [rsp+16]
    00223092addsd x0, x1
    00223096pxor x1, x1
    0022309acvtsi2sd x1, [rsp+24]
    002230a1divsd x1, x2
    002230a5addsd x0, x1
    002230a9pxor x1, x1
    002230adaddsd x0, x1
    002230b1mov rax, [rsp+152]
    002230b9sub rax, [0x28]
    002230c2jne 0x2230d0
    002230c4add rsp, 168
    002230cbret
    002230cccall fn_f4590
    002230d1db 0xbb
    002230d2adc al, -19
    002230d4db 0xff
    00223040
    002230d5
    002230d5 // align 0x10
    002230e0
    002230e0caml_sys_time:
    002230e0sub rsp, 168
    002230e7xor edi, edi
    002230e9mov rsi, [0x28]
    002230f2mov [rsp+152], rsi
    002230famov rsi, rsp
    002230fdcall fn_f41c0
    00223102pxor x0, x0
    00223106pxor x1, x1
    0022310amovsd_xmm x2, [rip+30514]
    00223112cvtsi2sd x0, [rsp+8]
    00223119cvtsi2sd x1, [rsp]
    0022311fdivsd x0, x2
    00223123addsd x0, x1
    00223127pxor x1, x1
    0022312bcvtsi2sd x1, [rsp+16]
    00223132addsd x0, x1
    00223136pxor x1, x1
    0022313acvtsi2sd x1, [rsp+24]
    00223141divsd x1, x2
    00223145addsd x0, x1
    00223149pxor x1, x1
    0022314daddsd x0, x1
    00223151mov rax, [rsp+152]
    00223159sub rax, [0x28]
    00223162jne 0x223174
    00223164add rsp, 168
    0022316bjmp 0x2075f0
    00223170call fn_f4590
    00223175db 0x17
    00223176adc al, -19
    00223178db 0xff
    002230e0
    00223179
    00223179 // align 0x10
    00223180
    00223180caml_unix_random_seed:
    00223180push r15
    00223182mov esi, 12
    00223187push r14
    00223189push r13
    0022318bpush r12
    0022318dmov r12l, 12
    00223193push rbp
    00223194push rbx
    00223195sub rsp, 56
    00223199mov rbp, [0x28]
    002231a2mov [rsp+40], rbp
    002231a7mov rbp, rdi
    002231aalea rbx, [rsp+28]
    002231afmov rdi, rbx
    002231b2call fn_f43f0
    002231b7cmp eax, -1
    002231baje 0x223290
    002231c0lea ecx, [r12-1]
    002231c5movsxd rax, ecx
    002231c8mov ecx, ecx
    002231calea rdx, [rbx+rax]
    002231celea rsi, [rbp+8*rcx+8]
    002231d3mov rax, rbp
    002231d6nop [rax+rax]
    002231dcmovzx ecx, [rdx]
    002231dfadd rax, 8
    002231e3sub rdx, 1
    002231e7mov [rax-8], rcx
    002231ebcmp rsi, rax
    002231eejne 0x2231e0
    002231f0cmp r12l, 11
    002231f4jle 0x223220
    002231f6mov rax, [rsp+40]
    002231fbsub rax, [0x28]
    00223204jne 0x2232f8
    0022320aadd rsp, 56
    0022320emov eax, r12l
    00223211pop rbx
    00223212pop rbp
    00223213pop r12
    00223215pop r13
    00223217pop r14
    00223219pop r15
    0022321bret
    0022321clea r14l, [r12+1]
    00223221lea ebx, [r12+3]
    00223226movsxd rax, r12l
    00223229lea r13l, [r12+2]
    0022322emovsxd r14, r14l
    00223231movsxd rbx, ebx
    00223234add r12l, 4
    00223238lea r15, [rbp+8*rax]
    0022323dshl r14, 3
    00223241movsxd r13, r13l
    00223244shl rbx, 3
    00223248shl r13, 3
    0022324cmov rdi, rsp
    0022324fxor esi, esi
    00223251call fn_f4220
    00223256mov rax, [rsp+8]
    0022325bmov [r15], rax
    0022325emov rax, [rsp]
    00223262mov [rbp+r14], rax
    00223267call fn_f42f0
    0022326ccdqe
    0022326emov [rbp+r13], rax
    00223273call fn_f46e0
    00223278cdqe
    0022327amov [rbp+rbx], rax
    0022327fjmp 0x2231fa
    00223284db 0x72
    00223285db 0xff
    00223286db 0xff
    00223287db 0xff
    00223288
    00223288 0f 1f 84 00 00 00 00 00 ........
    00223290
    00223290loc_223290:
    00223290xor edx, edx
    00223292xor esi, esi
    00223294lea rdi, [rip+50065]
    0022329bxor eax, eax
    0022329dcall fn_f4470
    002232a2mov r13l, eax
    002232a5cmp eax, -1
    002232a8jne 0x2232d0
    002232aa
    002232aaloc_2232aa:
    002232aamov r15, rbp
    002232admov r13l, 16
    002232b3mov ebx, 24
    002232b8mov r12l, 4
    002232bemov r14l, 8
    002232c4jmp 0x223250
    002232c6
    002232c6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    002232d0
    002232d0loc_2232d0:
    002232d0mov edi, eax
    002232d2mov edx, 12
    002232d7mov rsi, rbx
    002232dacall fn_f4230
    002232dfmov edi, r13l
    002232e2mov r14, rax
    002232e5mov r12l, eax
    002232e8call fn_f4140
    002232edtest r14l, r14l
    002232f0jg 0x2231c4
    002232f6jmp 0x2232aa
    002232f8
    002232f8loc_2232f8:
    002232f8call fn_f4590
    00223180
    002232fd
    002232fd // align 0x10
    00223300
    00223300caml_sys_random_seed:
    00223300push r12
    00223302push rbp
    00223303push rbx
    00223304sub rsp, 144
    0022330bmov rbx, [0x28]
    00223314mov [rsp+136], rbx
    0022331cmov rbx, rsp
    0022331fmov rdi, rsp
    00223322call caml_unix_random_seed
    00223327xor esi, esi
    00223329movsxd r12, eax
    0022332cmov rdi, r12
    0022332fcall caml_alloc_small
    00223334lea rdi, [rax+8*r12]
    00223338sub rbx, rax
    0022333btest r12l, r12l
    0022333ejle 0x223376
    00223340mov rdx, rax
    00223343mov rsi, rbx
    00223346nop [rax+rax]
    00223351nop [rax+rax]
    0022335cmov rcx, [rsi+rdx]
    00223360
    00223360loc_223360:
    00223360add rdx, 8
    00223364lea rcx, [rcx+rcx+1]
    00223369mov [rdx-8], rcx
    0022336dcmp rdi, rdx
    00223370jne 0x223360
    00223372mov rdx, [rsp+136]
    0022337asub rdx, [0x28]
    00223383jne 0x223395
    00223385add rsp, 144
    0022338cpop rbx
    0022338dpop rbp
    0022338epop r12
    00223390ret
    00223391call fn_f4590
    00223396db 0xf6
    00223397adc ebp, ebp
    00223399db 0xff
    00223300
    0022339a
    0022339a // align 0x10
    002233a0
    002233a0caml_sys_const_big_endian:
    002233a0mov eax, 1
    002233a5ret
    002233a6db 0x00
    002233a7add [rax], al
    002233a9ret
    002233a0
    002233aa
    002233aa // align 0x10
    002233b0
    002233b0caml_sys_const_word_size:
    002233b0mov eax, 129
    002233b5ret
    002233b6db 0x00
    002233b7add [rax], al
    002233b9ret
    002233b0
    002233ba
    002233ba // align 0x10
    002233c0
    002233c0caml_sys_const_int_size:
    002233c0mov eax, 127
    002233c5ret
    002233c6db 0x00
    002233c7add [rax], al
    002233c9ret
    002233c0
    002233ca
    002233ca // align 0x10
    002233d0
    002233d0caml_sys_const_max_wosize:
    002233d0mov rax, 0x7fffffffffffff
    002233daret
    002233dbdb 0xff
    002233dcjg 0x2233de
    002233de
    002233deloc_2233de:
    002233deret
    002233d0
    002233df
    002233df // align 0x10
    002233e0
    002233e0caml_sys_const_ostype_unix:
    002233e0mov eax, 3
    002233e5ret
    002233e6db 0x00
    002233e7add [rax], al
    002233e9ret
    002233e0
    002233ea
    002233ea // align 0x10
    002233f0
    002233f0caml_sys_const_ostype_win32:
    002233f0mov eax, 1
    002233f5ret
    002233f6db 0x00
    002233f7add [rax], al
    002233f9ret
    002233f0
    002233fa
    002233fa // align 0x10
    00223400
    00223400caml_sys_const_ostype_cygwin:
    00223400mov eax, 1
    00223405ret
    00223406db 0x00
    00223407add [rax], al
    00223409ret
    00223400
    0022340a
    0022340a // align 0x10
    00223410
    00223410caml_sys_const_backend_type:
    00223410mov eax, 3
    00223415ret
    00223416db 0x00
    00223417add [rax], al
    00223419ret
    00223410
    0022341a
    0022341a // align 0x10
    00223420
    00223420caml_sys_get_config:
    00223420push rbp
    00223421lea rdi, [rip+49677]
    00223428push rbx
    00223429sub rsp, 104
    0022342dmovdqa x0, [rip+27799]
    00223435mov rax, [0x28]
    0022343emov [rsp+88], rax
    00223443mov rax, [rip+0x52b9a]
    0022344amov rbx, [rax]
    0022344elea rax, [rsp+16]
    00223453movups [rsp+24], x0
    00223458movq x0, rsp
    0022345dmov [rsp], 1
    00223465mov [rsp+8], 1
    0022346emov rbp, [rbx+160]
    00223475mov [rbx+160], rax
    0022347clea rax, [rsp+8]
    00223481movq x1, rax
    00223486mov [rsp+16], rbp
    0022348bpunpcklqdq x0, x1
    0022348fmovups [rsp+40], x0
    00223494call caml_copy_string
    00223499xor esi, esi
    0022349bmov edi, 3
    002234a0mov [rsp+8], rax
    002234a5call caml_alloc_small
    002234aamov rdx, [rsp+8]
    002234afmov [rsp], rax
    002234b3mov [rax], rdx
    002234b6mov rax, [rsp]
    002234bamov [rax+8], 129
    002234c2mov rax, [rsp]
    002234c6mov [rax+16], 1
    002234cemov rax, [rsp]
    002234d2mov [rbx+160], rbp
    002234d9mov rdx, [rsp+88]
    002234desub rdx, [0x28]
    002234e7jne 0x2234f4
    002234e9add rsp, 104
    002234edpop rbx
    002234eepop rbp
    002234efret
    002234f0call fn_f4590
    002234f5db 0x97
    002234f6adc ch, ch
    002234f8db 0xff
    00223420
    002234f9
    002234f9 // align 0x10
    00223500
    00223500caml_sys_read_directory:
    00223500push r14
    00223502push r13
    00223504push r12
    00223506push rbp
    00223507push rbx
    00223508mov rbx, rdi
    0022350bsub rsp, 192
    00223512mov [rsp+8], rdi
    00223517mov rax, [0x28]
    00223520mov [rsp+184], rax
    00223528mov rax, [rip+0x52ab5]
    0022352fmov r12, [rax]
    00223533mov eax, 1
    00223538mov [rsp+24], 1
    00223541movq x0, rax
    00223546lea rax, [rsp+8]
    0022354bmov [rsp+72], rax
    00223550lea rax, [rsp+48]
    00223555mov r13, [r12+160]
    0022355dpunpcklqdq x0, x0
    00223561mov [rsp+112], rax
    00223566lea rax, [rsp+112]
    0022356bmov [r12+160], rax
    00223573lea rax, [rsp+24]
    00223578mov [rsp+48], r13
    0022357dmov [rsp+136], rax
    00223585movups [rsp+56], x0
    0022358amovups [rsp+120], x0
    0022358fcall caml_string_is_c_safe
    00223594test eax, eax
    00223596je 0x22363b
    0022359clea rbp, [rsp+32]
    002235a1mov esi, 50
    002235a6mov rdi, rbp
    002235a9call caml_ext_table_init
    002235aemov rdi, [rsp+8]
    002235b3call caml_stat_strdup
    002235b8mov rbx, rax
    002235bbcall caml_enter_blocking_section
    002235c0mov rdi, rbx
    002235c3mov rsi, rbp
    002235c6call caml_read_directory
    002235cbmov r14l, eax
    002235cecall caml_leave_blocking_section
    002235d3mov rdi, rbx
    002235d6call caml_stat_free
    002235dbcmp r14l, -1
    002235dfje 0x223648
    002235e1xor esi, esi
    002235e3mov rdi, rbp
    002235e6call caml_ext_table_add
    002235ebmov rdi, [rsp+40]
    002235f0call caml_copy_string_array
    002235f5mov esi, 1
    002235famov rdi, rbp
    002235fdmov [rsp+24], rax
    00223602call caml_ext_table_free
    00223607mov [r12+160], r13
    0022360fmov rax, [rsp+24]
    00223614mov rdx, [rsp+184]
    0022361csub rdx, [0x28]
    00223625jne 0x223643
    00223627add rsp, 192
    0022362epop rbx
    0022362fpop rbp
    00223630pop r12
    00223632pop r13
    00223634pop r14
    00223636ret
    00223637mov rdi, rbx
    0022363acall fn_222140
    0022363fcall fn_f4590
    00223644mov rdi, rbp
    00223647mov esi, 1
    0022364ccall caml_ext_table_free
    00223651mov rdi, [rsp+8]
    00223656call caml_sys_error
    0022365bdb 0xc1
    0022365cdb 0xe9
    0022365ddb 0xff
    0022365edb 0xff
    00223500
    0022365f
    0022365f // align 0x10
    00223660
    00223660caml_sys_isatty:
    00223660sub rsp, 8
    00223664mov rax, [rdi+8]
    00223668mov edi, [rax]
    0022366acall fn_f41d0
    0022366fcmp eax, 1
    00223672sbb rax, rax
    00223675add rsp, 8
    00223679and rax, -2
    0022367dadd rax, 3
    00223681ret
    00223682db 0x83
    00223683rol [rbx], -61
    00223660
    00223686
    00223686 // align 0x10
    00223690
    00223690caml_xdg_defaults:
    00223690mov eax, 1
    00223695ret
    00223696db 0x00
    00223697add [rax], al
    00223699ret
    00223690
    0022369a
    0022369a // align 0x10
    002236a0
    002236a0caml_read_fd:
    002236a0push r12
    002236a2mov r12, rdx
    002236a5push rbp
    002236a6mov ebp, edi
    002236a8push rbx
    002236a9mov ebx, ecx
    002236abcall caml_enter_blocking_section_no_pending
    002236b0movsxd rdx, ebx
    002236b3mov rsi, r12
    002236b6mov edi, ebp
    002236b8call fn_f4230
    002236bdmov rbx, rax
    002236c0call caml_leave_blocking_section
    002236c5mov eax, ebx
    002236c7pop rbx
    002236c8pop rbp
    002236c9pop r12
    002236cbret
    002236ccdb 0x5d
    002236cdpop r12
    002236cfret
    002236a0
    002236d0
    002236d0caml_write_fd:
    002236d0push r14
    002236d2push r13
    002236d4mov r13l, edi
    002236d7push r12
    002236d9mov r12, rdx
    002236dcpush rbp
    002236ddmov ebp, ecx
    002236dfpush rbx
    002236e0nop [rax+rax]
    002236ebnop
    002236eccall caml_enter_blocking_section_no_pending
    002236f1movsxd rdx, ebp
    002236f4mov rsi, r12
    002236f7mov edi, r13l
    002236facall fn_f4760
    002236ffmov rbx, rax
    00223702mov r14l, eax
    00223705call caml_leave_blocking_section
    0022370acmp ebx, -1
    0022370djne 0x22372d
    0022370fcall fn_f4570
    00223714cmp [rax], 11
    00223717sete dl
    0022371acmp ebp, 1
    0022371dmov ebp, 1
    00223722setg al
    00223725test dl, al
    00223727jne 0x2236f0
    00223729pop rbx
    0022372amov eax, r14l
    0022372d
    0022372dloc_22372d:
    0022372dpop rbp
    0022372epop r12
    00223730pop r13
    00223732pop r14
    00223734ret
    00223735db 0x5d
    00223736pop r14
    00223738ret
    002236d0
    00223739
    00223739 // align 0x10
    00223740
    00223740caml_decompose_path:
    00223740push r12
    00223742push rbp
    00223743push rbx
    00223744test rsi, rsi
    00223747je 0x2237c6
    00223749mov rbp, rdi
    0022374cmov rdi, rsi
    0022374fcall caml_stat_strdup
    00223754mov rsi, rax
    00223757mov r12, rax
    0022375amovzx eax, [rsi]
    0022375dtest al, al
    0022375fje 0x2237ae
    00223761nop [rax+rax]
    0022376ccmp al, 58
    0022376eje 0x2237ae
    00223770
    00223770loc_223770:
    00223770lea rax, [rsi+1]
    00223774nop [rax+rax]
    0022377cmovzx edx, [rax]
    0022377fmov rbx, rax
    00223782add rax, 1
    00223786test dl, dl
    00223788je 0x223793
    0022378acmp dl, 58
    0022378djne 0x223780
    0022378fmov rdi, rbp
    00223792call caml_ext_table_add
    00223797cmp [rbx], 0
    0022379aje 0x2237be
    0022379clea rsi, [rbx+1]
    002237a0
    002237a0loc_2237a0:
    002237a0mov [rbx], 0
    002237a3movzx eax, [rsi]
    002237a6test al, al
    002237a8jne 0x223770
    002237aamov rbx, rsi
    002237admov rdi, rbp
    002237b0call caml_ext_table_add
    002237b5cmp [rbx], 0
    002237b8jne 0x2237a0
    002237bamov rax, r12
    002237bdpop rbx
    002237be
    002237beloc_2237be:
    002237bepop rbp
    002237bfpop r12
    002237c1ret
    002237c2xor r12l, r12l
    002237c5pop rbx
    002237c6
    002237c6loc_2237c6:
    002237c6pop rbp
    002237c7mov rax, r12
    002237capop r12
    002237ccret
    002237cddb 0xe0
    002237cepop r12
    002237d0ret
    00223740
    002237d1
    002237d1 // align 0x10
    002237e0
    002237e0caml_search_in_path:
    002237e0push r15
    002237e2push r14
    002237e4push r13
    002237e6push r12
    002237e8push rbp
    002237e9mov rbp, rdi
    002237ecpush rbx
    002237edsub rsp, 184
    002237f4movzx eax, [rsi]
    002237f7mov r12, [0x28]
    00223800mov [rsp+168], r12
    00223808mov r12, rsi
    0022380btest al, al
    0022380dje 0x223870
    0022380fmov rdx, r12
    00223812jmp 0x22382c
    00223814db 0x89
    00223815loop 0x223802
    00223817db 0x14
    00223818
    00223818 0f 1f 84 00 00 00 00 00 ........
    00223820
    00223820loc_223820:
    00223820movzx eax, [rdx+1]
    00223824add rdx, 1
    00223828test al, al
    0022382aje 0x223870
    0022382c
    0022382cloc_22382c:
    0022382ccmp al, 47
    0022382ejne 0x223820
    00223830
    00223830loc_223830:
    00223830mov rdi, r12
    00223833call caml_stat_strdup
    00223838mov r14, rax
    0022383b
    0022383bloc_22383b:
    0022383bmov rax, [rsp+168]
    00223843sub rax, [0x28]
    0022384cjne 0x2238ff
    00223852add rsp, 184
    00223859mov rax, r14
    0022385cpop rbx
    0022385dpop rbp
    0022385epop r12
    00223860pop r13
    00223862pop r14
    00223864pop r15
    00223866ret
    00223867
    00223867 66 0f 1f 84 00 00 00 00 00 f........
    00223870
    00223870loc_223870:
    00223870mov eax, [rbp]
    00223873test eax, eax
    00223875jle 0x223830
    00223877lea rax, [rsp+16]
    0022387cxor ebx, ebx
    0022387elea r15, [rip+48571]
    00223885mov [rsp+8], rax
    0022388alea r13, [rip+48557]
    00223891nop [rax+rax]
    0022389cnop [rax]
    002238a0
    002238a0loc_2238a0:
    002238a0mov rax, [rbp+8]
    002238a4mov edi, 3
    002238a9mov rcx, r12
    002238acmov rdx, r15
    002238afmov rsi, [rax+8*rbx]
    002238b3cmp [rsi], 0
    002238b6cmove rsi, r13
    002238baxor eax, eax
    002238bccall caml_stat_strconcat
    002238c1mov rsi, [rsp+8]
    002238c6mov rdi, rax
    002238c9mov r14, rax
    002238cccall fn_f43b0
    002238d1test eax, eax
    002238d3jne 0x2238e9
    002238d5mov eax, [rsp+40]
    002238d9and eax, 61440
    002238decmp eax, 32768
    002238e3je 0x22383b
    002238e9
    002238e9loc_2238e9:
    002238e9mov rdi, r14
    002238ecadd rbx, 1
    002238f0call caml_stat_free
    002238f5cmp [rbp], ebx
    002238f8jg 0x2238a0
    002238fajmp 0x223830
    002238ff
    002238ffloc_2238ff:
    002238ffcall fn_f4590
    002237e0
    00223904
    00223904 // align 0x10
    00223910
    00223910caml_search_exe_in_path:
    00223910push r12
    00223912mov esi, 8
    00223917push rbp
    00223918push rbx
    00223919sub rsp, 32
    0022391dmov r12, [0x28]
    00223926mov [rsp+24], r12
    0022392bmov r12, rdi
    0022392emov rdi, rsp
    00223931call caml_ext_table_init
    00223936lea rdi, [rip+48385]
    0022393dcall fn_f4540
    00223942mov rdi, rsp
    00223945mov rsi, rax
    00223948call caml_decompose_path
    0022394dmov rdi, rsp
    00223950mov rbp, rax
    00223953mov rsi, r12
    00223956call caml_search_in_path
    0022395bmov rdi, rbp
    0022395emov r12, rax
    00223961call caml_stat_free
    00223966xor esi, esi
    00223968mov rdi, rsp
    0022396bcall caml_ext_table_free
    00223970mov rax, [rsp+24]
    00223975sub rax, [0x28]
    0022397ejne 0x223990
    00223980add rsp, 32
    00223984mov rax, r12
    00223987pop rbx
    00223988pop rbp
    00223989pop r12
    0022398bret
    0022398ccall fn_f4590
    00223991db 0xfb
    00223992or ebp, ebp
    00223994db 0xff
    00223910
    00223995
    00223995 // align 0x10
    002239a0
    002239a0caml_search_dll_in_path:
    002239a0push rbp
    002239a1lea rdx, [rip+48283]
    002239a8mov rbp, rdi
    002239abxor eax, eax
    002239adpush rbx
    002239aemov edi, 2
    002239b3sub rsp, 8
    002239b7call caml_stat_strconcat
    002239bcmov rdi, rbp
    002239bfmov rbx, rax
    002239c2mov rsi, rax
    002239c5call caml_search_in_path
    002239camov rdi, rbx
    002239cdmov rbp, rax
    002239d0call caml_stat_free
    002239d5add rsp, 8
    002239d9mov rax, rbp
    002239dcpop rbx
    002239ddpop rbp
    002239deret
    002239dfdb 0xe8
    002239e0pop rbx
    002239e1pop rbp
    002239e2ret
    002239a0
    002239e3
    002239e3 // align 0x10
    002239f0
    002239f0caml_dlopen:
    002239f0cmp esi, 1
    002239f3sbb esi, esi
    002239f5xor sil, sil
    002239f8add esi, 258
    002239fejmp 0xf44a0
    00223a03db 0x99
    00223a04or ch, ch
    00223a06db 0xff
    002239f0
    00223a07
    00223a07 // align 0x10
    00223a10
    00223a10caml_dlclose:
    00223a10jmp 0xf4840
    00223a15db 0x27
    00223a16db 0x0e
    00223a17in eax, dx
    00223a18db 0xff
    00223a10
    00223a19
    00223a19 // align 0x10
    00223a20
    00223a20caml_dlsym:
    00223a20jmp 0xf46f0
    00223a25db 0xc7
    00223a26or al, 237
    00223a28db 0xff
    00223a20
    00223a29
    00223a29 // align 0x10
    00223a30
    00223a30caml_globalsym:
    00223a30mov rsi, rdi
    00223a33xor edi, edi
    00223a35jmp 0xf46f0
    00223a3adb 0xb2
    00223a3bor al, 237
    00223a3ddb 0xff
    00223a30
    00223a3e
    00223a3e // align 0x10
    00223a40
    00223a40caml_dlerror:
    00223a40jmp 0xf40c0
    00223a45db 0x77
    00223a46db 0x06
    00223a47in eax, dx
    00223a48db 0xff
    00223a40
    00223a49
    00223a49 // align 0x10
    00223a50
    00223a50caml_read_directory:
    00223a50push rbp
    00223a51mov rbp, rsi
    00223a54push rbx
    00223a55sub rsp, 8
    00223a59call fn_f43c0
    00223a5emov rbx, rax
    00223a61test rax, rax
    00223a64je 0x223ac8
    00223a66nop [rax+rax]
    00223a6cmov rdi, rbx
    00223a6fcall fn_f4800
    00223a74test rax, rax
    00223a77je 0x223ad0
    00223a79cmp [rax+19], 46
    00223a7dlea rdi, [rax+19]
    00223a81jne 0x223a8d
    00223a83cmp [rdi+1], 0
    00223a87je 0x223a70
    00223a89cmp [rax+19], 46
    00223a8d
    00223a8dloc_223a8d:
    00223a8djne 0x223aa0
    00223a8fcmp [rdi+1], 46
    00223a93jne 0x223aa0
    00223a95cmp [rdi+2], 0
    00223a99je 0x223a70
    00223a9bnop
    00223a9ccall caml_stat_strdup
    00223aa1mov rdi, rbp
    00223aa4mov rsi, rax
    00223aa7call caml_ext_table_add_noexc
    00223aaccmp eax, -1
    00223aafjne 0x223a70
    00223ab1mov rdi, rbx
    00223ab4call fn_f4680
    00223ab9call fn_f4570
    00223abemov [rax], 12
    00223ac4or eax, -1
    00223ac7jmp 0x223ada
    00223ac9db 0xc8
    00223acadb 0xff
    00223acbjmp 0x223ada
    00223acd
    00223acd 0f 1f 00 ...
    00223ad0
    00223ad0loc_223ad0:
    00223ad0mov rdi, rbx
    00223ad3call fn_f4680
    00223ad8xor eax, eax
    00223ada
    00223adaloc_223ada:
    00223adaadd rsp, 8
    00223adepop rbx
    00223adfpop rbp
    00223ae0ret
    00223a50
    00223ae1
    00223ae1 // align 0x10
    00223af0
    00223af0caml_executable_name:
    00223af0push r14
    00223af2push r13
    00223af4lea r13, [rip+47948]
    00223afbpush r12
    00223afdpush rbp
    00223afemov ebp, 256
    00223b03push rbx
    00223b04sub rsp, 160
    00223b0bmov r12, [0x28]
    00223b14mov [rsp+152], r12
    00223b1cmov r12l, 13
    00223b22jmp 0x223b32
    00223b24db 0x00
    00223b25add bl, ch
    00223b27db 0x0a
    00223b28
    00223b28 0f 1f 84 00 00 00 00 00 ........
    00223b30
    00223b30loc_223b30:
    00223b30add ebp, ebp
    00223b32
    00223b32loc_223b32:
    00223b32movsxd r14, ebp
    00223b35mov rdi, r14
    00223b38call caml_stat_alloc
    00223b3dmov rdx, r14
    00223b40mov rdi, r13
    00223b43mov rsi, rax
    00223b46mov rbx, rax
    00223b49call fn_f44c0
    00223b4ecmp eax, -1
    00223b51je 0x223bb6
    00223b53cmp ebp, eax
    00223b55jg 0x223b90
    00223b57mov rdi, rbx
    00223b5acall caml_stat_free
    00223b5fsub r12l, 1
    00223b63jne 0x223b30
    00223b65
    00223b65loc_223b65:
    00223b65xor ebx, ebx
    00223b67
    00223b67loc_223b67:
    00223b67mov rax, [rsp+152]
    00223b6fsub rax, [0x28]
    00223b78jne 0x223bc0
    00223b7aadd rsp, 160
    00223b81mov rax, rbx
    00223b84pop rbx
    00223b85pop rbp
    00223b86pop r12
    00223b88pop r13
    00223b8apop r14
    00223b8cret
    00223b8d
    00223b8d 0f 1f 00 ...
    00223b90
    00223b90loc_223b90:
    00223b90cdqe
    00223b92mov rsi, rsp
    00223b95mov rdi, rbx
    00223b98mov [rbx+rax], 0
    00223b9ccall fn_f43b0
    00223ba1cmp eax, -1
    00223ba4je 0x223bb6
    00223ba6mov eax, [rsp+24]
    00223baaand eax, 61440
    00223bafcmp eax, 32768
    00223bb4je 0x223b67
    00223bb6
    00223bb6loc_223bb6:
    00223bb6mov rdi, rbx
    00223bb9call caml_stat_free
    00223bbejmp 0x223b65
    00223bc0
    00223bc0loc_223bc0:
    00223bc0call fn_f4590
    00223af0
    00223bc5
    00223bc5 // align 0x10
    00223bd0
    00223bd0caml_secure_getenv:
    00223bd0jmp 0xf4380
    00223bd5db 0xa7
    00223bd6db 0x07
    00223bd7in eax, dx
    00223bd8db 0xff
    00223bd0
    00223bd9
    00223bd9 // align 0x10
    00223be0
    00223be0caml_time_counter:
    00223be0sub rsp, 40
    00223be4mov edi, 1
    00223be9mov rsi, [0x28]
    00223bf2mov [rsp+24], rsi
    00223bf7mov rsi, rsp
    00223bfacall fn_f4190
    00223bffimul rax, [rsp], 0x3b9aca00
    00223c07add rax, [rsp+8]
    00223c0cmov rdx, [rsp+24]
    00223c11sub rdx, [0x28]
    00223c1ajne 0x223c25
    00223c1cadd rsp, 40
    00223c20ret
    00223c21call fn_f4590
    00223c26db 0x66
    00223c27or ebp, ebp
    00223c29db 0xff
    00223be0
    00223c2a
    00223c2a // align 0x10
    00223c30
    00223c30caml_num_rows_fd:
    00223c30sub rsp, 24
    00223c34mov edx, -1
    00223c39mov esi, 21523
    00223c3emov rax, [0x28]
    00223c47mov [rsp+8], rax
    00223c4cxor eax, eax
    00223c4emov [rsp], dx
    00223c52mov rdx, rsp
    00223c55call fn_f4150
    00223c5atest eax, eax
    00223c5cjne 0x223c80
    00223c5emovzx eax, [rsp]
    00223c62mov rdx, [rsp+8]
    00223c67sub rdx, [0x28]
    00223c70jne 0x223c87
    00223c72add rsp, 24
    00223c76ret
    00223c77db 0x83
    00223c78db 0xc4
    00223c79sbb bl, al
    00223c7b
    00223c7b 0f 1f 44 00 00 ..D..
    00223c80
    00223c80loc_223c80:
    00223c80mov eax, -1
    00223c85jmp 0x223c66
    00223c87
    00223c87loc_223c87:
    00223c87call fn_f4590
    00223c30
    00223c8c
    00223c8c // align 0x10
    00223c90
    00223c90caml_init_os_params:
    00223c90sub rsp, 8
    00223c94mov edi, 30
    00223c99call fn_f42e0
    00223c9emov [rip+0x154fcf], rax
    00223ca5mov [rip+0x154fc0], rax
    00223cacadd rsp, 8
    00223cb0ret
    00223cb1db 0x83
    00223cb2db 0xc4
    00223cb3or bl, al
    00223c90
    00223cb5
    00223cb5 // align 0x10
    00223cc0
    00223cc0caml_plat_mem_map:
    00223cc0sub rsp, 8
    00223cc4cmp esi, 1
    00223cc7mov r8l, -1
    00223ccdmov rsi, rdi
    00223cd0sbb edx, edx
    00223cd2mov ecx, 34
    00223cd7xor r9l, r9l
    00223cdaxor edi, edi
    00223cdcand edx, 3
    00223cdfcall fn_f4110
    00223ce4xor edx, edx
    00223ce6cmp rax, -1
    00223ceacmove rax, rdx
    00223ceeadd rsp, 8
    00223cf2ret
    00223cf3db 0x83
    00223cf4db 0xc4
    00223cf5or bl, al
    00223cc0
    00223cf7
    00223cf7 // align 0x10
    00223d00
    00223d00caml_plat_mem_commit:
    00223d00push rbx
    00223d01xor r9l, r9l
    00223d04mov r8l, -1
    00223d0amov ecx, 50
    00223d0fmov edx, 3
    00223d14mov rbx, rdi
    00223d17call fn_f4110
    00223d1ccmp rax, -1
    00223d20mov eax, 0
    00223d25cmove rbx, rax
    00223d29mov rax, rbx
    00223d2cpop rbx
    00223d2dret
    00223d2edb 0x89
    00223d2ffcomp [rbx-61]
    00223d00
    00223d32
    00223d32 // align 0x10
    00223d40
    00223d40caml_plat_mem_decommit:
    00223d40xor r9l, r9l
    00223d43mov r8l, -1
    00223d49mov ecx, 50
    00223d4exor edx, edx
    00223d50jmp 0xf4110
    00223d55db 0xb7
    00223d56add ebp, ebp
    00223d58db 0xff
    00223d40
    00223d59
    00223d59 // align 0x10
    00223d60
    00223d60caml_plat_mem_unmap:
    00223d60jmp 0xf4610
    00223d65db 0xa7
    00223d66or ch, ch
    00223d68db 0xff
    00223d60
    00223d69
    00223d69 // align 0x10
    00223d70
    00223d70fn_223d70:
    00223d70lea rax, [rdi+8*rsi]
    00223d74test dl, 1
    00223d77jne 0x223de0
    00223d79cmp rdx, [rip+0x154848]
    00223d80jae 0x223de0
    00223d82cmp [rip+0x154847], rdx
    00223d89jae 0x223de0
    00223d8bpush rbp
    00223d8cpush rbx
    00223d8dmov rbx, rdi
    00223d90sub rsp, 24
    00223d94mov rcx, [rax]
    00223d97mov [rax], rdx
    00223d9atest cl, 1
    00223d9djne 0x223da8
    00223d9fcmp rcx, [rip+0x154822]
    00223da6jb 0x223de8
    00223da8
    00223da8loc_223da8:
    00223da8mov rax, [rip+0x52239]
    00223dafmov rax, [rax]
    00223db3mov rbp, [rax+96]
    00223db7mov rax, [rbp+80]
    00223dbbcmp rax, [rbp+88]
    00223dbfjae 0x223df8
    00223dc1
    00223dc1loc_223dc1:
    00223dc1lea rdx, [rax+16]
    00223dc5mov [rbp+80], rdx
    00223dc9mov [rax], rbx
    00223dccmov [rax+8], rsi
    00223dd0
    00223dd0loc_223dd0:
    00223dd0add rsp, 24
    00223dd4pop rbx
    00223dd5pop rbp
    00223dd6ret
    00223dd7
    00223dd7 66 0f 1f 84 00 00 00 00 00 f........
    00223de0
    00223de0loc_223de0:
    00223de0mov [rax], rdx
    00223de3ret
    00223de4
    00223de4 0f 1f 40 00 ..@.
    00223de8
    00223de8loc_223de8:
    00223de8cmp [rip+0x1547e1], rcx
    00223defjb 0x223dd0
    00223df1jmp 0x223da8
    00223df3
    00223df3 0f 1f 44 00 00 ..D..
    00223df8
    00223df8loc_223df8:
    00223df8lea rdi, [rbp+56]
    00223dfcmov [rsp+8], rsi
    00223e01call caml_realloc_ephe_ref_table
    00223e06mov rax, [rbp+80]
    00223e0amov rsi, [rsp+8]
    00223e0fjmp 0x223dc1
    00223d70
    00223e11
    00223e11 // align 0x10
    00223e20
    00223e20fn_223e20:
    00223e20push r15
    00223e22push r14
    00223e24mov r14, rdi
    00223e27push r13
    00223e29push r12
    00223e2bpush rbp
    00223e2cpush rbx
    00223e2dsub rsp, 24
    00223e31mov rax, [rdi-8]
    00223e35mov r15, rax
    00223e38shr r15, 10
    00223e3ccmp rax, 3071
    00223e42jbe 0x22400b
    00223e48mov [rsp+12], 0
    00223e50mov rbx, [rip+0x1545f9]
    00223e57mov r13l, 2
    00223e5dnop [rax]
    00223e60
    00223e60loc_223e60:
    00223e60lea r12, [r14+8*r13]
    00223e64mov rax, [r12]
    00223e68cmp rax, rbx
    00223e6bje 0x223f30
    00223e71test al, 1
    00223e73je 0x223e90
    00223e75jmp 0x223f86
    00223e7a
    00223e7a 66 0f 1f 44 00 00 f..D..
    00223e80
    00223e80loc_223e80:
    00223e80cmp [rip+0x1545c9], rbx
    00223e87je 0x223f30
    00223e8d
    00223e8dloc_223e8d:
    00223e8dmov rax, rbx
    00223e90
    00223e90loc_223e90:
    00223e90movzx edx, [rax-8]
    00223e94lea rcx, [rax-8]
    00223e98cmp dl, -6
    00223e9bjne 0x223f68
    00223ea1mov rbx, [rax]
    00223ea4test bl, 1
    00223ea7jne 0x223f68
    00223eadmovzx edx, [rbx-8]
    00223eb1cmp dl, -6
    00223eb4je 0x223f68
    00223ebamovzx edx, [rbx-8]
    00223ebecmp dl, -10
    00223ec1je 0x223f68
    00223ec7movzx edx, [rbx-8]
    00223ecbcmp dl, -12
    00223eceje 0x223f68
    00223ed4movzx edx, [rbx-8]
    00223ed8cmp dl, -3
    00223edbje 0x223f68
    00223ee1mov [r12], rbx
    00223ee5cmp rbx, [rip+0x1546dc]
    00223eecjae 0x223e80
    00223eeecmp [rip+0x1546db], rbx
    00223ef5jae 0x223e80
    00223ef7mov rax, [rip+0x520ea]
    00223efemov rax, [rax]
    00223f02mov rbp, [rax+96]
    00223f06mov rax, [rbp+80]
    00223f0acmp rax, [rbp+88]
    00223f0ejae 0x223fe0
    00223f14
    00223f14loc_223f14:
    00223f14lea rcx, [rax+16]
    00223f18mov [rbp+80], rcx
    00223f1cmov [rax], r14
    00223f1fcmp [rip+0x15452a], rbx
    00223f26mov [rax+8], r13
    00223f2ajne 0x223e8d
    00223f30
    00223f30loc_223f30:
    00223f30add r13, 1
    00223f34cmp r15, r13
    00223f37jne 0x223e60
    00223f3d
    00223f3dloc_223f3d:
    00223f3dmov edx, [rsp+12]
    00223f41mov rax, [r14+8]
    00223f45test edx, edx
    00223f47je 0x223f52
    00223f49cmp rax, rbx
    00223f4cje 0x223f52
    00223f4emov [r14+8], rbx
    00223f52
    00223f52loc_223f52:
    00223f52add rsp, 24
    00223f56pop rbx
    00223f57pop rbp
    00223f58pop r12
    00223f5apop r13
    00223f5cpop r14
    00223f5epop r15
    00223f60ret
    00223f61
    00223f61 0f 1f 80 00 00 00 00 .......
    00223f68
    00223f68loc_223f68:
    00223f68movzx edx, [rcx]
    00223f6bcmp dl, -7
    00223f6eje 0x223ff8
    00223f74
    00223f74loc_223f74:
    00223f74cmp rax, [rip+0x15464d]
    00223f7bjae 0x223fa0
    00223f7dcmp [rip+0x15464c], rax
    00223f84jae 0x223fa0
    00223f86
    00223f86loc_223f86:
    00223f86add r13, 1
    00223f8amov rbx, [rip+0x1544bf]
    00223f91cmp r15, r13
    00223f94jne 0x223e60
    00223f9ajmp 0x223f3d
    00223f9c
    00223f9c 0f 1f 40 00 ..@.
    00223fa0
    00223fa0loc_223fa0:
    00223fa0mov rax, [rax-8]
    00223fa4mov rbx, [rip+0x1544a5]
    00223faband eax, 768
    00223fb0cmp [rip+0x154411], rax
    00223fb7jne 0x223f30
    00223fbdadd r13, 1
    00223fc1mov [r12], rbx
    00223fc5mov [rsp+12], 1
    00223fcdcmp r15, r13
    00223fd0jne 0x223e60
    00223fd6jmp 0x223f3d
    00223fdb
    00223fdb 0f 1f 44 00 00 ..D..
    00223fe0
    00223fe0loc_223fe0:
    00223fe0lea rdi, [rbp+56]
    00223fe4call caml_realloc_ephe_ref_table
    00223fe9mov rax, [rbp+80]
    00223fedjmp 0x223f14
    00223ff2
    00223ff2 66 0f 1f 44 00 00 f..D..
    00223ff8
    00223ff8loc_223ff8:
    00223ff8mov rdx, [rcx]
    00223ffbshr rdx, 10
    00223fffshl rdx, 3
    00224003sub rax, rdx
    00224006jmp 0x223f74
    0022400b
    0022400bloc_22400b:
    0022400bmov rax, [rdi+8]
    0022400fadd rsp, 24
    00224013pop rbx
    00224014pop rbp
    00224015pop r12
    00224017pop r13
    00224019pop r14
    0022401bpop r15
    0022401dret
    00223e20
    0022401e
    0022401e // align 0x10
    00224020
    00224020fn_224020:
    00224020mov eax, [rip+0x154a3a]
    00224026cmp rsi, 1
    0022402ajne 0x224038
    0022402ccmp eax, 2
    0022402fje 0x224098
    00224031
    00224031loc_224031:
    00224031ret
    00224032
    00224032 66 0f 1f 44 00 00 f..D..
    00224038
    00224038loc_224038:
    00224038cmp eax, 2
    0022403bjne 0x224031
    0022403dlea rdx, [rdi+8*rsi]
    00224041mov rax, [rdx]
    00224044cmp rax, [rip+0x154405]
    0022404bje 0x224031
    0022404dtest al, 1
    0022404fjne 0x224031
    00224051cmp rax, [rip+0x154570]
    00224058jae 0x224063
    0022405acmp [rip+0x15456f], rax
    00224061jb 0x224031
    00224063
    00224063loc_224063:
    00224063movzx esi, [rax-8]
    00224067lea rcx, [rax-8]
    0022406bcmp sil, -7
    0022406fje 0x2240a0
    00224071
    00224071loc_224071:
    00224071mov rax, [rcx]
    00224074and eax, 768
    00224079cmp [rip+0x154348], rax
    00224080jne 0x224031
    00224082mov rax, [rip+0x1543c7]
    00224089mov [rdx], rax
    0022408cmov [rdi+8], rax
    00224090ret
    00224091
    00224091 0f 1f 80 00 00 00 00 .......
    00224098
    00224098loc_224098:
    00224098jmp 0x223e20
    0022409d
    0022409d 0f 1f 00 ...
    002240a0
    002240a0loc_2240a0:
    002240a0mov rax, [rax-8]
    002240a4shr rax, 10
    002240a8shl rax, 3
    002240acsub rcx, rax
    002240afjmp 0x224071
    00224020
    002240b1
    002240b1 // align 0x10
    002240c0
    002240c0fn_2240c0:
    002240c0push r13
    002240c2mov eax, 1
    002240c7push r12
    002240c9movq x0, rax
    002240cepush rbp
    002240cfpunpcklqdq x0, x0
    002240d3push rbx
    002240d4sub rsp, 184
    002240dbmov r13, [rip+0x51f06]
    002240e2mov [rsp+8], rdi
    002240e7lea rax, [rsp+8]
    002240ecmov rbx, [0x28]
    002240f5mov [rsp+168], rbx
    002240fdmov rbx, rsi
    00224100mov rbp, [r13]
    00224105mov [rsp+56], rax
    0022410alea rax, [rsp+32]
    0022410fmov [rsp+96], rax
    00224114lea rax, [rsp+96]
    00224119movups [rsp+40], x0
    0022411emov r12, [rbp+160]
    00224125movdqa x0, [rip+24483]
    0022412dmov [rbp+160], rax
    00224134lea rax, [rsp+16]
    00224139movups [rsp+104], x0
    0022413emovq x0, rax
    00224143lea rax, [rsp+24]
    00224148movq x1, rax
    0022414dmov [rsp+32], r12
    00224152mov [rsp+16], 1
    0022415bpunpcklqdq x0, x1
    0022415fmov [rsp+24], 1
    00224168movups [rsp+120], x0
    0022416dcall fn_224020
    00224172mov rax, [rsp+8]
    00224177lea rax, [rax+8*rbx]
    0022417bmov rsi, [rax]
    0022417ecmp rsi, [rip+0x1542cb]
    00224185mov [rsp+24], rsi
    0022418ajne 0x2241d0
    0022418cmov [rsp+16], 1
    00224195
    00224195loc_224195:
    00224195call caml_process_pending_actions
    0022419amov [rbp+160], r12
    002241a1mov rax, [rsp+16]
    002241a6mov rdx, [rsp+168]
    002241aesub rdx, [0x28]
    002241b7jne 0x2241f7
    002241b9add rsp, 184
    002241c0pop rbx
    002241c1pop rbp
    002241c2pop r12
    002241c4pop r13
    002241c6ret
    002241c7
    002241c7 66 0f 1f 84 00 00 00 00 00 f........
    002241d0
    002241d0loc_2241d0:
    002241d0mov rdi, [r13]
    002241d5xor edx, edx
    002241d7call caml_darken
    002241dcxor esi, esi
    002241demov edi, 1
    002241e3call caml_alloc_small
    002241e8mov rdx, [rsp+24]
    002241edmov [rsp+16], rax
    002241f2mov [rax], rdx
    002241f5jmp 0x224195
    002241f7
    002241f7loc_2241f7:
    002241f7call fn_f4590
    002240c0
    002241fc
    002241fc // align 0x10
    00224200
    00224200fn_224200:
    00224200push r15
    00224202push r14
    00224204push r13
    00224206push r12
    00224208push rbp
    00224209push rbx
    0022420asub rsp, 232
    00224211mov rax, [rip+0x51dd0]
    00224218mov [rsp+40], rdi
    0022421dmov rbx, [0x28]
    00224226mov [rsp+216], rbx
    0022422emov rbx, rsi
    00224231mov r12, [rax]
    00224235mov eax, 1
    0022423amov [rsp+56], 1
    00224243mov [rsp+64], 1
    0022424cmovq x0, rax
    00224251lea rax, [rsp+40]
    00224256punpcklqdq x0, x0
    0022425amov [rsp+104], rax
    0022425flea rax, [rsp+80]
    00224264mov r13, [r12+160]
    0022426cmov [rsp+144], rax
    00224274lea rax, [rsp+144]
    0022427cmovups [rsp+88], x0
    00224281movdqa x0, [rip+24151]
    00224289lea rbp, [8*rbx]
    00224291mov [r12+160], rax
    00224299lea rax, [rsp+56]
    0022429emovups [rsp+152], x0
    002242a6movq x0, rax
    002242ablea rax, [rsp+64]
    002242b0movq x1, rax
    002242b5lea rax, [rsp+72]
    002242bamov [rsp+80], r13
    002242bfpunpcklqdq x0, x1
    002242c3mov [rsp+184], rax
    002242cbmov [rsp+72], 1
    002242d4movups [rsp+168], x0
    002242dcjmp 0x22431c
    002242de
    002242de 66 90 f.
    002242e0
    002242e0loc_2242e0:
    002242e0mov rcx, [rsp+72]
    002242e5cmp rcx, 1
    002242e9je 0x2242ff
    002242ebmovzx esi, [rax]
    002242eemovzx edx, [rcx-8]
    002242f2lea r14, [rcx-8]
    002242f6cmp sil, dl
    002242f9je 0x224390
    002242ff
    002242ffloc_2242ff:
    002242ffmovzx esi, [rax]
    00224302mov rdi, [rax]
    00224305shr rdi, 10
    00224309call caml_alloc
    0022430emov [rsp+64], 1
    00224317mov [rsp+72], rax
    0022431c
    0022431cloc_22431c:
    0022431cmov rdi, [rsp+40]
    00224321mov rsi, rbx
    00224324call fn_224020
    00224329mov rax, [rsp+40]
    0022432eadd rax, rbp
    00224331mov rdi, [rax]
    00224334cmp rdi, [rip+0x154115]
    0022433bmov [rsp+64], rdi
    00224340je 0x2244c0
    00224346test dil, 1
    0022434ajne 0x224470
    00224350movzx edx, [rdi-8]
    00224354lea rax, [rdi-8]
    00224358cmp dl, -1
    0022435bje 0x224470
    00224361movzx edx, [rdi-8]
    00224365xor r15l, r15l
    00224368cmp dl, -7
    0022436bjne 0x2242e0
    00224371mov r15, [rdi-8]
    00224375shr r15, 10
    00224379shl r15, 3
    0022437dsub rdi, r15
    00224380mov [rsp+64], rdi
    00224385lea rax, [rdi-8]
    00224389jmp 0x2242e0
    0022438e
    0022438e 66 90 f.
    00224390
    00224390loc_224390:
    00224390mov rax, [rax]
    00224393mov r9, [rcx-8]
    00224397mov rsi, [rsp+64]
    0022439cxor r9, rax
    0022439fshr r9, 10
    002243a3lea rax, [rsi-8]
    002243a7jne 0x2242ff
    002243admovzx eax, [rsi-8]
    002243b1cmp al, -5
    002243b3ja 0x2244c7
    002243b9movzx eax, [rsi-8]
    002243bdxor edx, edx
    002243bfxor ebp, ebp
    002243c1cmp al, -9
    002243c3jne 0x2243dc
    002243c5mov r9, [rsi+8]
    002243c9shl r9, 8
    002243cdshr r9, 9
    002243d1lea rbp, [8*r9]
    002243d9mov rdx, rbp
    002243dc
    002243dcloc_2243dc:
    002243dcmov rdi, rcx
    002243dfmov [rsp+32], r9
    002243e4mov [rsp+8], rsi
    002243e9call fn_f47d0
    002243eemov rsi, [rsp+8]
    002243f3mov r9, [rsp+32]
    002243f8mov rcx, rax
    002243fbmov rax, [rip+0x51be6]
    00224402sub rcx, rsi
    00224405add rbp, rsi
    00224408mov rax, [rax]
    0022440cmov [rsp+24], rcx
    00224411mov [rsp+16], rax
    00224416jmp 0x224456
    00224418
    00224418 0f 1f 84 00 00 00 00 00 ........
    00224420
    00224420loc_224420:
    00224420mov rbx, [rbp]
    00224424mov rdi, [rsp+16]
    00224429xor edx, edx
    0022442bmov [rsp+8], r9
    00224430mov rsi, rbx
    00224433call caml_darken
    00224438mov rax, [rsp+24]
    0022443dmov rsi, rbx
    00224440lea rdi, [rax+rbp]
    00224444add rbp, 8
    00224448call caml_modify
    0022444dmov r9, [rsp+8]
    00224452add r9, 1
    00224456
    00224456loc_224456:
    00224456mov rax, [r14]
    00224459shr rax, 10
    0022445dcmp r9, rax
    00224460jb 0x224420
    00224462mov rdi, [rsp+72]
    00224467add rdi, r15
    0022446ajmp 0x224475
    0022446c
    0022446c 0f 1f 40 00 ..@.
    00224470
    00224470loc_224470:
    00224470mov [rsp+72], rdi
    00224475
    00224475loc_224475:
    00224475call caml_alloc_some
    0022447a
    0022447aloc_22447a:
    0022447amov [rsp+56], rax
    0022447fcall caml_process_pending_actions
    00224484mov [r12+160], r13
    0022448cmov rax, [rsp+56]
    00224491mov rdx, [rsp+216]
    00224499sub rdx, [0x28]
    002244a2jne 0x2244df
    002244a4add rsp, 232
    002244abpop rbx
    002244acpop rbp
    002244adpop r12
    002244afpop r13
    002244b1pop r14
    002244b3pop r15
    002244b5ret
    002244b6
    002244b6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    002244c0
    002244c0loc_2244c0:
    002244c0mov eax, 1
    002244c5jmp 0x22447a
    002244c7
    002244c7loc_2244c7:
    002244c7mov r9, [rcx-8]
    002244cbshr r9, 10
    002244cflea rbp, [8*r9]
    002244d7mov rdx, rbp
    002244dajmp 0x2243dc
    002244df
    002244dfloc_2244df:
    002244dfcall fn_f4590
    00224200
    002244e4
    002244e4 // align 0x10
    002244f0
    002244f0fn_2244f0:
    002244f0push r12
    002244f2push rbp
    002244f3push rbx
    002244f4sub rsp, 176
    002244fbmov rax, [rip+0x51ae6]
    00224502mov [rsp+8], rdi
    00224507mov rbx, [0x28]
    00224510mov [rsp+168], rbx
    00224518mov rbx, rsi
    0022451bmov rbp, [rax]
    0022451fmov eax, 1
    00224524mov [rsp+24], 1
    0022452dmovq x0, rax
    00224532lea rax, [rsp+8]
    00224537mov [rsp+56], rax
    0022453clea rax, [rsp+32]
    00224541mov r12, [rbp+160]
    00224548punpcklqdq x0, x0
    0022454cmov [rsp+96], rax
    00224551lea rax, [rsp+96]
    00224556mov [rbp+160], rax
    0022455dlea rax, [rsp+24]
    00224562mov [rsp+120], rax
    00224567mov [rsp+32], r12
    0022456cmovups [rsp+40], x0
    00224571movups [rsp+104], x0
    00224576call fn_224020
    0022457bmov rax, [rsp+8]
    00224580lea rax, [rax+8*rbx]
    00224584mov rax, [rax]
    00224587mov [rbp+160], r12
    0022458ecmp rax, [rip+0x153ebb]
    00224595setne al
    00224598mov rdx, [rsp+168]
    002245a0sub rdx, [0x28]
    002245a9jne 0x2245bf
    002245abadd rsp, 176
    002245b2movzx eax, al
    002245b5pop rbx
    002245b6lea rax, [rax+rax+1]
    002245bbpop rbp
    002245bcpop r12
    002245beret
    002245bf
    002245bfloc_2245bf:
    002245bfcall fn_f4590
    002244f0
    002245c4
    002245c4 // align 0x10
    002245d0
    002245d0fn_2245d0:
    002245d0push r15
    002245d2push r14
    002245d4push r13
    002245d6push r12
    002245d8push rbp
    002245d9push rbx
    002245dasub rsp, 184
    002245e1movdqa x0, [rip+23271]
    002245e9mov [rsp+8], rdi
    002245eemovq x1, rsp
    002245f3mov [rsp], rdx
    002245f7mov rax, [0x28]
    00224600mov [rsp+168], rax
    00224608mov rax, [rip+0x519d9]
    0022460fmov r13, [rax]
    00224613lea rax, [rsp+8]
    00224618movups [rsp+40], x0
    0022461dmov [rsp+24], 1
    00224626movq x0, rax
    0022462blea rax, [rsp+32]
    00224630mov [rsp+96], rax
    00224635lea rax, [rsp+96]
    0022463amov r14, [r13+160]
    00224641punpcklqdq x0, x1
    00224645mov [r13+160], rax
    0022464cmov eax, 1
    00224651movups [rsp+56], x0
    00224656movq x0, rax
    0022465blea rax, [rsp+24]
    00224660punpcklqdq x0, x0
    00224664mov [rsp+32], r14
    00224669mov [rsp+120], rax
    0022466emovups [rsp+104], x0
    00224673test r8, r8
    00224676je 0x2246d3
    00224678cmp [rip+0x1543e1], 2
    0022467fmov r12, rsi
    00224682mov rbx, rcx
    00224685mov r15, r8
    00224688je 0x224740
    0022468e
    0022468eloc_22468e:
    0022468ecmp rbx, r12
    00224691jb 0x224708
    00224693
    00224693loc_224693:
    00224693mov rbp, r15
    00224696sub rbp, 1
    0022469ajs 0x2246d3
    0022469clea r12, [r12+r15-1]
    002246a1shl r12, 3
    002246a5nop [rax+rax]
    002246b0
    002246b0loc_2246b0:
    002246b0mov rax, [rsp+8]
    002246b5mov rdi, [rsp]
    002246b9lea rsi, [rbp+rbx]
    002246beadd rax, r12
    002246c1sub r12, 8
    002246c5mov rdx, [rax]
    002246c8call fn_223d70
    002246cdsub rbp, 1
    002246d1jns 0x2246b0
    002246d3
    002246d3loc_2246d3:
    002246d3mov [r13+160], r14
    002246damov rax, [rsp+168]
    002246e2sub rax, [0x28]
    002246ebjne 0x224766
    002246edadd rsp, 184
    002246f4mov eax, 1
    002246f9pop rbx
    002246fapop rbp
    002246fbpop r12
    002246fdpop r13
    002246ffpop r14
    00224701pop r15
    00224703ret
    00224704
    00224704 0f 1f 40 00 ..@.
    00224708
    00224708loc_224708:
    00224708shl r12, 3
    0022470cadd r15, rbx
    0022470fnop
    00224710
    00224710loc_224710:
    00224710mov rax, [rsp+8]
    00224715mov rdi, [rsp]
    00224719mov rsi, rbx
    0022471cadd rbx, 1
    00224720add rax, r12
    00224723add r12, 8
    00224727mov rdx, [rax]
    0022472acall fn_223d70
    0022472fcmp rbx, r15
    00224732jne 0x224710
    00224734jmp 0x2246d3
    00224736
    00224736 66 2e 0f 1f 84 00 00 00 00 00 f.........
    00224740
    00224740loc_224740:
    00224740call fn_223e20
    00224745cmp [rip+0x154314], 2
    0022474cmov rdi, [rsp]
    00224750jne 0x22468e
    00224756call fn_223e20
    0022475bcmp rbx, r12
    0022475ejae 0x224693
    00224764jmp 0x224708
    00224766
    00224766loc_224766:
    00224766call fn_f4590
    002245d0
    0022476b
    0022476b // align 0x10
    00224770
    00224770caml_alloc_ephe_info:
    00224770sub rsp, 8
    00224774mov edi, 48
    00224779call caml_stat_alloc_noexc
    0022477etest rax, rax
    00224781je 0x224796
    00224783pxor x0, x0
    00224787movups [rax], x0
    0022478amovups [rax+16], x0
    0022478emovups [rax+32], x0
    00224792add rsp, 8
    00224796
    00224796loc_224796:
    00224796ret
    00224797db 0x83
    00224798db 0xc4
    00224799or bl, al
    00224770
    0022479b
    0022479b // align 0x10
    002247a0
    002247a0caml_ephe_create:
    002247a0push rbp
    002247a1sar rdi, 1
    002247a4push rbx
    002247a5sub rsp, 8
    002247a9mov rax, [rip+0x51834]
    002247b0mov rbp, [rax]
    002247b4mov rax, 0x3ffffffffffffd
    002247becmp rax, rdi
    002247c1jb 0x224823
    002247c3lea rbx, [rdi+2]
    002247c7mov esi, 251
    002247ccmov rdi, rbx
    002247cfcall caml_alloc_shr
    002247d4mov edx, 1
    002247d9mov rdi, rax
    002247dcmov rax, [rbp+168]
    002247e3lea rcx, [rdi+8]
    002247e7mov rax, [rax+8]
    002247ebmov [rdi], rax
    002247eemov rax, [rbp+168]
    002247f5mov [rax+8], rdi
    002247f9nop [rax]
    002247fcmov rsi, [rip+0x153c49]
    00224803add rdx, 1
    00224807add rcx, 8
    0022480bmov [rcx-8], rsi
    0022480fcmp rdx, rbx
    00224812jb 0x224800
    00224814add rsp, 8
    00224818pop rbx
    00224819pop rbp
    0022481ajmp 0x21fee0
    0022481flea rdi, [rip+44592]
    00224826call caml_invalid_argument
    0022482bdb 0xd1
    0022482cand esi, edi
    0022482edb 0xff
    002247a0
    0022482f
    0022482f // align 0x10
    00224830
    00224830caml_weak_create:
    00224830jmp 0x2247a0
    00224835db 0x67
    00224836db 0xff
    00224837db 0xff
    00224838db 0xff
    00224830
    00224839
    00224839 // align 0x10
    00224840
    00224840caml_ephe_clean:
    00224840cmp [rip+0x154215], 2
    00224847je 0x224850
    00224849ret
    0022484adb 0x02
    0022484bje 0x224850
    0022484dret
    0022484e
    0022484e 66 90 f.
    00224850
    00224850loc_224850:
    00224850jmp 0x223e20
    00224840
    00224855
    00224855 // align 0x10
    00224860
    00224860caml_ephe_set_key:
    00224860push r12
    00224862sar rsi, 1
    00224865push rbp
    00224866push rbx
    00224867sub rsp, 96
    0022486bmov rcx, [0x28]
    00224874mov [rsp+88], rcx
    00224879lea rcx, [rsp+8]
    0022487emovq x0, rsp
    00224883movq x2, rcx
    00224888punpcklqdq x0, x2
    0022488ccmp rsi, -2
    00224890jae 0x224927
    00224896mov rax, [rdi-8]
    0022489alea rbx, [rsi+2]
    0022489eshr rax, 10
    002248a2cmp rbx, rax
    002248a5jae 0x224927
    002248a7mov rax, [rip+0x51736]
    002248aemov [rsp], rdi
    002248b2mov rsi, rbx
    002248b5mov [rsp+8], rdx
    002248bamovdqa x1, [rip+22538]
    002248c2mov rbp, [rax]
    002248c6lea rax, [rsp+16]
    002248cbmovups [rsp+40], x0
    002248d0movups [rsp+24], x1
    002248d5mov r12, [rbp+160]
    002248dcmov [rbp+160], rax
    002248e3mov [rsp+16], r12
    002248e8call fn_224020
    002248edmov rdx, [rsp+8]
    002248f2mov rdi, [rsp]
    002248f6mov rsi, rbx
    002248f9call fn_223d70
    002248femov [rbp+160], r12
    00224905mov rax, [rsp+88]
    0022490asub rax, [0x28]
    00224913jne 0x224933
    00224915add rsp, 96
    00224919mov eax, 1
    0022491epop rbx
    0022491fpop rbp
    00224920pop r12
    00224922ret
    00224923lea rdi, [rip+44344]
    0022492acall caml_invalid_argument
    0022492fcall fn_f4590
    00224934db 0x58
    00224935cld
    00224936in al, dx
    00224937db 0xff
    00224860
    00224938
    00224938 // align 0x10
    00224940
    00224940caml_ephe_unset_key:
    00224940mov rdx, [rip+0x153b05]
    00224947jmp 0x224860
    0022494cdb 0x10
    0022494ddb 0xff
    0022494edb 0xff
    0022494fdb 0xff
    00224940
    00224950
    00224950caml_ephe_set_key_option:
    00224950test dl, 1
    00224953jne 0x224968
    00224955mov rdx, [rdx]
    00224958jmp 0x224860
    0022495ddb 0xff
    0022495edb 0xfe
    0022495fdb 0xff
    00224960db 0xff
    00224961
    00224961 0f 1f 80 00 00 00 00 .......
    00224968
    00224968loc_224968:
    00224968mov rdx, [rip+0x153ae1]
    0022496fjmp 0x224860
    00224950
    00224974
    00224974 // align 0x10
    00224980
    00224980caml_weak_set:
    00224980test dl, 1
    00224983jne 0x224998
    00224985mov rdx, [rdx]
    00224988jmp 0x224860
    0022498ddb 0xcf
    0022498edb 0xfe
    0022498fdb 0xff
    00224990db 0xff
    00224991
    00224991 0f 1f 80 00 00 00 00 .......
    00224998
    00224998loc_224998:
    00224998mov rdx, [rip+0x153ab1]
    0022499fjmp 0x224860
    00224980
    002249a4
    002249a4 // align 0x10
    002249b0
    002249b0caml_ephe_set_data:
    002249b0push rbp
    002249b1mov rdx, rsi
    002249b4push rbx
    002249b5sub rsp, 104
    002249b9movdqa x0, [rip+22283]
    002249c1mov rax, [0x28]
    002249camov [rsp+88], rax
    002249cfxor eax, eax
    002249d1mov rax, [rip+0x5160c]
    002249d8mov [rsp], rdi
    002249dcmov [rsp+8], rsi
    002249e1cmp [rip+0x154074], 2
    002249e8mov rbx, [rax]
    002249eclea rax, [rsp+16]
    002249f1movups [rsp+24], x0
    002249f6movq x0, rsp
    002249fbmov rbp, [rbx+160]
    00224a02mov [rbx+160], rax
    00224a09lea rax, [rsp+8]
    00224a0emovq x1, rax
    00224a13punpcklqdq x0, x1
    00224a17mov [rsp+16], rbp
    00224a1cmovups [rsp+40], x0
    00224a21je 0x224a58
    00224a23mov esi, 1
    00224a28call fn_223d70
    00224a2dmov [rbx+160], rbp
    00224a34mov rax, [rsp+88]
    00224a39sub rax, [0x28]
    00224a42jne 0x224a68
    00224a44add rsp, 104
    00224a48mov eax, 1
    00224a4dpop rbx
    00224a4epop rbp
    00224a4fret
    00224a50db 0x00
    00224a51pop rbx
    00224a52pop rbp
    00224a53ret
    00224a54
    00224a54 0f 1f 40 00 ..@.
    00224a58
    00224a58loc_224a58:
    00224a58call fn_223e20
    00224a5dmov rdx, [rsp+8]
    00224a62mov rdi, [rsp]
    00224a66jmp 0x224a27
    00224a68
    00224a68loc_224a68:
    00224a68call fn_f4590
    002249b0