File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
    00226870
    00226870caml_init_frame_descriptors:
    00226870push r13
    00226872push r12
    00226874push rbp
    00226875push rbx
    00226876sub rsp, 8
    0022687amov rbx, [rip+0x52123]
    00226881test rbx, rbx
    00226884je 0x2268d8
    00226886xor ebp, ebp
    00226888xor eax, eax
    0022688alea r12, [rip+0x52113]
    00226891nop [rax+rax]
    0022689cmov edi, 16
    002268a1add ebp, 1
    002268a4mov r13, rax
    002268a7call caml_stat_alloc
    002268acmovsxd rdx, ebp
    002268afmov [rax], rbx
    002268b2mov [rax+8], r13
    002268b6mov rbx, [r12+8*rdx]
    002268batest rbx, rbx
    002268bdjne 0x2268a0
    002268bfadd rsp, 8
    002268c3
    002268c3loc_2268c3:
    002268c3mov rdi, rax
    002268c6pop rbx
    002268c7pop rbp
    002268c8pop r12
    002268capop r13
    002268ccjmp 0x226430
    002268d1db 0x5b
    002268d2sti
    002268d3db 0xff
    002268d4db 0xff
    002268d5
    002268d5 0f 1f 00 ...
    002268d8
    002268d8loc_2268d8:
    002268d8xor eax, eax
    002268dajmp 0x2268c3
    00226870
    002268dc
    002268dc // align 0x10
    002268e0
    002268e0caml_register_frametables:
    002268e0push r12
    002268e2push rbp
    002268e3push rbx
    002268e4sub rsp, 16
    002268e8test esi, esi
    002268eajle 0x226960
    002268ecmovsxd rsi, esi
    002268efmov rbp, rdi
    002268f2xor ebx, ebx
    002268f4lea r12, [rdi+8*rsi]
    002268f8nop [rax]
    002268fcmovq x0, [rbp]
    00226901movq x1, rbx
    00226906mov edi, 16
    0022690badd rbp, 8
    0022690fpunpcklqdq x0, x1
    00226913movaps [rsp], x0
    00226917call caml_stat_alloc
    0022691cmovdqa x0, [rsp]
    00226921mov rbx, rax
    00226924movups [rax], x0
    00226927cmp rbp, r12
    0022692ajne 0x226900
    0022692clea rbp, [rip-951]
    00226933nop [rax+rax]
    0022693cxor edx, edx
    0022693emov rsi, rbx
    00226941mov rdi, rbp
    00226944call caml_try_run_on_all_domains
    00226949test eax, eax
    0022694bje 0x226940
    0022694dadd rsp, 16
    00226951pop rbx
    00226952pop rbp
    00226953pop r12
    00226955ret
    00226956db 0x5d
    00226957pop r12
    00226959ret
    0022695a
    0022695a 66 0f 1f 44 00 00 f..D..
    00226960
    00226960loc_226960:
    00226960xor ebx, ebx
    00226962jmp 0x226930
    002268e0
    00226964
    00226964 // align 0x10
    00226970
    00226970caml_copy_and_register_frametables:
    00226970push r15
    00226972push r14
    00226974push r13
    00226976push r12
    00226978push rbp
    00226979push rbx
    0022697asub rsp, 8
    0022697etest edx, edx
    00226980jle 0x226a10
    00226986movsxd rdx, edx
    00226989mov rbp, rsi
    0022698cmov r12, rdi
    0022698fxor ebx, ebx
    00226991lea r13, [rsi+4*rdx]
    00226995nop [rax]
    0022699cmovsxd r14, [rbp]
    002269a0
    002269a0loc_2269a0:
    002269a0mov r15, rbx
    002269a3add rbp, 4
    002269a7add r12, 8
    002269ablea rdi, [r14+16]
    002269afcall caml_stat_alloc
    002269b4mov rsi, [r12-8]
    002269b9mov rdx, r14
    002269bclea rcx, [rax+16]
    002269c0mov rbx, rax
    002269c3mov rdi, rcx
    002269c6call fn_f47d0
    002269cbmov [r12-8], rax
    002269d0mov [rbx], rax
    002269d3mov [rbx+8], r15
    002269d7cmp rbp, r13
    002269dajne 0x2269a0
    002269dclea rbp, [rip-1127]
    002269e3nop [rax+rax]
    002269ecxor edx, edx
    002269eemov rsi, rbx
    002269f1mov rdi, rbp
    002269f4call caml_try_run_on_all_domains
    002269f9test eax, eax
    002269fbje 0x2269f0
    002269fdadd rsp, 8
    00226a01pop rbx
    00226a02pop rbp
    00226a03pop r12
    00226a05pop r13
    00226a07pop r14
    00226a09pop r15
    00226a0bret
    00226a0cxor ebx, ebx
    00226a0ejmp 0x2269e0
    00226a10db 0x31
    00226a11fucomi f3
    00226a13int 3
    00226970
    00226a14
    00226a14 // align 0x10
    00226a20
    00226a20caml_unregister_frametables:
    00226a20jmp 0x226780
    00226a25db 0x57
    00226a26std
    00226a27db 0xff
    00226a28db 0xff
    00226a20
    00226a29
    00226a29 // align 0x10
    00226a30
    00226a30caml_register_frametable:
    00226a30push rbp
    00226a31mov rbp, rdi
    00226a34mov edi, 16
    00226a39push rbx
    00226a3asub rsp, 8
    00226a3ecall caml_stat_alloc
    00226a43mov [rax+8], 0
    00226a4bmov rbx, rax
    00226a4emov [rax], rbp
    00226a51lea rbp, [rip-1244]
    00226a58nop [rax]
    00226a5cxor edx, edx
    00226a5emov rsi, rbx
    00226a61mov rdi, rbp
    00226a64call caml_try_run_on_all_domains
    00226a69test eax, eax
    00226a6bje 0x226a60
    00226a6dadd rsp, 8
    00226a71pop rbx
    00226a72pop rbp
    00226a73ret
    00226a74db 0x08
    00226a75pop rbx
    00226a76pop rbp
    00226a77ret
    00226a30
    00226a78
    00226a78 // align 0x10
    00226a80
    00226a80caml_copy_and_register_frametable:
    00226a80push r13
    00226a82mov r13, rdi
    00226a85push r12
    00226a87push rbp
    00226a88movsxd rbp, esi
    00226a8bpush rbx
    00226a8clea rdi, [rbp+16]
    00226a90sub rsp, 8
    00226a94call caml_stat_alloc
    00226a99mov rdx, rbp
    00226a9cmov rsi, r13
    00226a9flea rbp, [rip-1322]
    00226aa6lea r12, [rax+16]
    00226aaamov rbx, rax
    00226aadmov rdi, r12
    00226ab0call fn_f47d0
    00226ab5mov [rbx], r12
    00226ab8mov [rbx+8], 0
    00226ac0nop [rax+rax]
    00226acbnop
    00226accxor edx, edx
    00226acemov rsi, rbx
    00226ad1mov rdi, rbp
    00226ad4call caml_try_run_on_all_domains
    00226ad9test eax, eax
    00226adbje 0x226ad0
    00226addadd rsp, 8
    00226ae1mov rax, r12
    00226ae4pop rbx
    00226ae5pop rbp
    00226ae6pop r12
    00226ae8pop r13
    00226aearet
    00226aebdb 0x5c
    00226aecpop r13
    00226aeeret
    00226a80
    00226aef
    00226aef // align 0x10
    00226af0
    00226af0caml_unregister_frametable:
    00226af0sub rsp, 24
    00226af4mov esi, 1
    00226af9mov [rsp+8], rdi
    00226afelea rdi, [rsp+8]
    00226b03call fn_226780
    00226b08add rsp, 24
    00226b0cret
    00226b0ddb 0x83
    00226b0edb 0xc4
    00226b0fsbb bl, al
    00226af0
    00226b11
    00226b11 // align 0x10
    00226b20
    00226b20caml_get_frame_descrs:
    00226b20lea rax, [rip+0x151935]
    00226b27ret
    00226b28db 0x19
    00226b29db 0x15
    00226b2aadd bl, al
    00226b20
    00226b2c
    00226b2c // align 0x20
    00226b40
    00226b40caml_find_frame_descr:
    00226b40movsxd r8, [rdi+4]
    00226b44mov rax, rsi
    00226b47mov rcx, [rdi+8]
    00226b4bshr rax, 3
    00226b4fand rax, r8
    00226b52mov rdx, [rcx+8*rax]
    00226b56test rdx, rdx
    00226b59jne 0x226b90
    00226b5bjmp 0x226b95
    00226b5ddb 0x75
    00226b5exor ebx, ebp
    00226b60db 0x34
    00226b61
    00226b61 66 66 2e 0f 1f 84 00 00 00 00 00 66 66 2e 0f ff.........ff..
    00226b70 1f 84 00 00 00 00 00 66 0f 1f 84 00 00 00 00 00 .......f........
    00226b80
    00226b80loc_226b80:
    00226b80add rax, 1
    00226b84and rax, r8
    00226b87mov rdx, [rcx+8*rax]
    00226b8btest rdx, rdx
    00226b8eje 0x226b95
    00226b90
    00226b90loc_226b90:
    00226b90cmp [rdx], rsi
    00226b93jne 0x226b80
    00226b95
    00226b95loc_226b95:
    00226b95mov rax, rdx
    00226b98ret
    00226b40
    00226b99
    00226b99 // align 0x40
    00226bc0
    00226bc0caml_startup_common:
    00226bc0push rbp
    00226bc1mov ebp, esi
    00226bc3push rbx
    00226bc4mov rbx, rdi
    00226bc7sub rsp, 8
    00226bcbcall caml_parse_ocamlrunparam
    00226bd0mov rax, [rip+0x4ed7d]
    00226bd7cmp [rax+144], 0
    00226bdfje 0x226bea
    00226be1mov ebp, 1
    00226be6mov edi, ebp
    00226be8mov ebp, 1
    00226bedcall caml_startup_aux
    00226bf2test eax, eax
    00226bf4jne 0x226c08
    00226bf6add rsp, 8
    00226bfamov rax, rbp
    00226bfdpop rbx
    00226bfepop rbp
    00226bffret
    00226c00db 0xe8
    00226c01pop rbx
    00226c02pop rbp
    00226c03ret
    00226c04
    00226c04 0f 1f 40 00 ..@.
    00226c08
    00226c08loc_226c08:
    00226c08call caml_init_codefrag
    00226c0dcall caml_init_locale
    00226c12call caml_init_custom_operations
    00226c17call caml_init_os_params
    00226c1ccall caml_init_gc
    00226c21call caml_runtime_events_init
    00226c26mov rdx, [rip+0x51733]
    00226c2dmov rdi, [rip+0x5171c]
    00226c34mov rsi, [rip+0x5171d]
    00226c3btest rdx, rdx
    00226c3eje 0x226cad
    00226c40mov ecx, 1
    00226c45lea r8, [rip+0x51704]
    00226c4cmov eax, 1
    00226c51nop [rax+rax]
    00226c5cnop [rax+rax]
    00226c67nop [rax+rax]
    00226c72nop [rax+rax]
    00226c7dnop [rax]
    00226c80
    00226c80loc_226c80:
    00226c80cmp rdi, rdx
    00226c83cmova rdi, rdx
    00226c87shl rax, 4
    00226c8bmov rax, [r8+rax+8]
    00226c90cmp rsi, rax
    00226c93cmovb rsi, rax
    00226c97add ecx, 1
    00226c9amovsxd rax, ecx
    00226c9dmov rdx, rax
    00226ca0shl rdx, 4
    00226ca4mov rdx, [r8+rdx]
    00226ca8test rdx, rdx
    00226cabjne 0x226c80
    00226cad
    00226cadloc_226cad:
    00226cadxor ecx, ecx
    00226cafxor edx, edx
    00226cb1call caml_register_code_fragment
    00226cb6xor ecx, ecx
    00226cb8lea rdi, [rip+304]
    00226cbfmov edx, 3
    00226cc4lea rsi, [rip+2426]
    00226ccbcall caml_register_code_fragment
    00226cd0call caml_init_signals
    00226cd5call caml_debugger_init
    00226cdamov rbp, [rbx]
    00226cddlea rax, [rip+33352]
    00226ce4test rbp, rbp
    00226ce7cmove rbp, rax
    00226cebcall caml_executable_name
    00226cf0mov rdi, rax
    00226cf3test rax, rax
    00226cf6je 0x226d30
    00226cf8
    00226cf8loc_226cf8:
    00226cf8mov rsi, rbx
    00226cfbcall caml_sys_init
    00226d00call caml_maybe_expand_stack
    00226d05mov rax, [rip+0x4f2dc]
    00226d0cmov rdi, [rax]
    00226d10call caml_start_program
    00226d15mov rbp, rax
    00226d18call caml_terminate_signals
    00226d1dadd rsp, 8
    00226d21mov rax, rbp
    00226d24pop rbx
    00226d25pop rbp
    00226d26ret
    00226d27
    00226d27 66 0f 1f 84 00 00 00 00 00 f........
    00226d30
    00226d30loc_226d30:
    00226d30mov rdi, rbp
    00226d33call caml_search_exe_in_path
    00226d38mov rdi, rax
    00226d3bjmp 0x226cf8
    00226bc0
    00226d3d
    00226d3d // align 0x10
    00226d40
    00226d40caml_startup_exn:
    00226d40xor esi, esi
    00226d42jmp 0x226bc0
    00226d47db 0x75
    00226d48db 0xfe
    00226d49db 0xff
    00226d4adb 0xff
    00226d40
    00226d4b
    00226d4b // align 0x10
    00226d50
    00226d50caml_startup:
    00226d50sub rsp, 8
    00226d54xor esi, esi
    00226d56call caml_startup_common
    00226d5bmov rdx, rax
    00226d5eand edx, 3
    00226d61cmp rdx, 2
    00226d65je 0x226d70
    00226d67add rsp, 8
    00226d6bret
    00226d6cand rax, -4
    00226d70
    00226d70loc_226d70:
    00226d70mov rdi, rax
    00226d73call caml_fatal_uncaught_exception
    00226d78db 0x34
    00226d79sub [rax], al
    00226d7bdb 0x00
    00226d50
    00226d7c
    00226d7c // align 0x10
    00226d80
    00226d80caml_main:
    00226d80sub rsp, 8
    00226d84xor esi, esi
    00226d86call caml_startup_common
    00226d8bmov rdx, rax
    00226d8eand edx, 3
    00226d91cmp rdx, 2
    00226d95je 0x226da0
    00226d97add rsp, 8
    00226d9bret
    00226d9cand rax, -4
    00226da0
    00226da0loc_226da0:
    00226da0mov rdi, rax
    00226da3call caml_fatal_uncaught_exception
    00226da8db 0x04
    00226da9sub [rax], al
    00226dabdb 0x00
    00226d80
    00226dac
    00226dac // align 0x10
    00226db0
    00226db0caml_startup_pooled_exn:
    00226db0mov esi, 1
    00226db5jmp 0x226bc0
    00226dbadb 0x02
    00226dbbdb 0xfe
    00226dbcdb 0xff
    00226dbddb 0xff
    00226db0
    00226dbe
    00226dbe // align 0x10
    00226dc0
    00226dc0caml_startup_pooled:
    00226dc0sub rsp, 8
    00226dc4mov esi, 1
    00226dc9call caml_startup_common
    00226dcemov rdx, rax
    00226dd1and edx, 3
    00226dd4cmp rdx, 2
    00226dd8je 0x226de3
    00226ddaadd rsp, 8
    00226dderet
    00226ddfand rax, -4
    00226de3
    00226de3loc_226de3:
    00226de3mov rdi, rax
    00226de6call caml_fatal_uncaught_exception
    00226debdb 0xc1
    00226decdb 0x27
    00226dedadd [rax], al
    00226dc0
    00226def
    00226def c3 .
    00226df0
    00226df0caml_call_realloc_stack:
    00226df0mov [r14+8], r15
    00226df4mov r15, [r14+80]
    00226df8mov [r15+88], r11
    00226dfcmov r11, [r15]
    00226dffmov [r14+80], r11
    00226e03mov [r15], rax
    00226e06mov [r15+8], rbx
    00226e0amov [r15+16], rdi
    00226e0emov [r15+24], rsi
    00226e12mov [r15+32], rdx
    00226e16mov [r15+40], rcx
    00226e1amov [r15+48], r8
    00226e1emov [r15+56], r9
    00226e22mov [r15+64], r12
    00226e26mov [r15+72], r13
    00226e2amov [r15+80], r10
    00226e2emov [r15+96], rbp
    00226e32movsd_xmm [r15+104], x0
    00226e38movsd_xmm [r15+112], x1
    00226e3emovsd_xmm [r15+120], x2
    00226e44movsd_xmm [r15+128], x3
    00226e4dmovsd_xmm [r15+136], x4
    00226e56movsd_xmm [r15+144], x5
    00226e5fmovsd_xmm [r15+152], x6
    00226e68movsd_xmm [r15+160], x7
    00226e71movsd_xmm [r15+168], x8
    00226e7amovsd_xmm [r15+176], x9
    00226e83movsd_xmm [r15+184], x10
    00226e8cmovsd_xmm [r15+192], x11
    00226e95movsd_xmm [r15+200], x12
    00226e9emovsd_xmm [r15+208], x13
    00226ea7movsd_xmm [r15+216], x14
    00226eb0movsd_xmm [r15+224], x15
    00226eb9mov rdi, [rsp+8]
    00226ebemov r10, [r14+40]
    00226ec2mov [r10], rsp
    00226ec5mov r11, [r14+64]
    00226ec9mov [r11+8], rsp
    00226ecdmov [r11], r10
    00226ed0mov rsp, r11
    00226ed3call caml_try_realloc_stack
    00226ed8mov rsp, [rsp+8]
    00226eddcmp rax, 0
    00226ee1je 0x226fb1
    00226ee7mov rax, [r15]
    00226eeamov r11, [r14+80]
    00226eeemov [r15], r11
    00226ef1mov [r14+80], r15
    00226ef5mov rbx, [r15+8]
    00226ef9mov rdi, [r15+16]
    00226efdmov rsi, [r15+24]
    00226f01mov rdx, [r15+32]
    00226f05mov rcx, [r15+40]
    00226f09mov r8, [r15+48]
    00226f0dmov r9, [r15+56]
    00226f11mov r12, [r15+64]
    00226f15mov r13, [r15+72]
    00226f19mov r10, [r15+80]
    00226f1dmov r11, [r15+88]
    00226f21mov rbp, [r15+96]
    00226f25movsd_xmm x0, [r15+104]
    00226f2bmovsd_xmm x1, [r15+112]
    00226f31movsd_xmm x2, [r15+120]
    00226f37movsd_xmm x3, [r15+128]
    00226f40movsd_xmm x4, [r15+136]
    00226f49movsd_xmm x5, [r15+144]
    00226f52movsd_xmm x6, [r15+152]
    00226f5bmovsd_xmm x7, [r15+160]
    00226f64movsd_xmm x8, [r15+168]
    00226f6dmovsd_xmm x9, [r15+176]
    00226f76movsd_xmm x10, [r15+184]
    00226f7fmovsd_xmm x11, [r15+192]
    00226f88movsd_xmm x12, [r15+200]
    00226f91movsd_xmm x13, [r15+208]
    00226f9amovsd_xmm x14, [r15+216]
    00226fa3movsd_xmm x15, [r15+224]
    00226facmov r15, [r14+8]
    00226fb0ret
    00226fb1
    00226fb1loc_226fb1:
    00226fb1mov rax, [r15]
    00226fb4mov r11, [r14+80]
    00226fb8mov [r15], r11
    00226fbbmov [r14+80], r15
    00226fbfmov rbx, [r15+8]
    00226fc3mov rdi, [r15+16]
    00226fc7mov rsi, [r15+24]
    00226fcbmov rdx, [r15+32]
    00226fcfmov rcx, [r15+40]
    00226fd3mov r8, [r15+48]
    00226fd7mov r9, [r15+56]
    00226fdbmov r12, [r15+64]
    00226fdfmov r13, [r15+72]
    00226fe3mov r10, [r15+80]
    00226fe7mov r11, [r15+88]
    00226febmov rbp, [r15+96]
    00226fefmovsd_xmm x0, [r15+104]
    00226ff5movsd_xmm x1, [r15+112]
    00226ffbmovsd_xmm x2, [r15+120]
    00227001movsd_xmm x3, [r15+128]
    0022700amovsd_xmm x4, [r15+136]
    00227013movsd_xmm x5, [r15+144]
    0022701cmovsd_xmm x6, [r15+152]
    00227025movsd_xmm x7, [r15+160]
    0022702emovsd_xmm x8, [r15+168]
    00227037movsd_xmm x9, [r15+176]
    00227040movsd_xmm x10, [r15+184]
    00227049movsd_xmm x11, [r15+192]
    00227052movsd_xmm x12, [r15+200]
    0022705bmovsd_xmm x13, [r15+208]
    00227064movsd_xmm x14, [r15+216]
    0022706dmovsd_xmm x15, [r15+224]
    00227076mov r15, [r14+8]
    0022707alea rax, [rip+0x4f127]
    00227081add rsp, 16
    00227085jmp 0x2273c0
    00226df0
    0022708a
    0022708a 66 90 f.
    0022708c
    0022708ccaml_call_gc:
    0022708cmov [r14+8], r15
    00227090mov r15, [r14+80]
    00227094mov [r15+88], r11
    00227098mov r11, [r15]
    0022709bmov [r14+80], r11
    0022709fmov [r15], rax
    002270a2mov [r15+8], rbx
    002270a6mov [r15+16], rdi
    002270aamov [r15+24], rsi
    002270aemov [r15+32], rdx
    002270b2mov [r15+40], rcx
    002270b6mov [r15+48], r8
    002270bamov [r15+56], r9
    002270bemov [r15+64], r12
    002270c2mov [r15+72], r13
    002270c6mov [r15+80], r10
    002270camov [r15+96], rbp
    002270cemovsd_xmm [r15+104], x0
    002270d4movsd_xmm [r15+112], x1
    002270damovsd_xmm [r15+120], x2
    002270e0movsd_xmm [r15+128], x3
    002270e9movsd_xmm [r15+136], x4
    002270f2movsd_xmm [r15+144], x5
    002270fbmovsd_xmm [r15+152], x6
    00227104movsd_xmm [r15+160], x7
    0022710dmovsd_xmm [r15+168], x8
    00227116movsd_xmm [r15+176], x9
    0022711fmovsd_xmm [r15+184], x10
    00227128movsd_xmm [r15+192], x11
    00227131movsd_xmm [r15+200], x12
    0022713amovsd_xmm [r15+208], x13
    00227143movsd_xmm [r15+216], x14
    0022714cmovsd_xmm [r15+224], x15
    00227155mov [r14+88], r15
    00227159mov r10, [r14+40]
    0022715dmov [r10], rsp
    00227160mov r11, [r14+64]
    00227164mov [r11+8], rsp
    00227168mov [r11], r10
    0022716bmov rsp, r11
    0022716ecall caml_garbage_collection
    00227173mov rsp, [rsp+8]
    00227178mov r15, [r14+88]
    0022717cmov rax, [r15]
    0022717fmov r11, [r14+80]
    00227183mov [r15], r11
    00227186mov [r14+80], r15
    0022718amov rbx, [r15+8]
    0022718emov rdi, [r15+16]
    00227192mov rsi, [r15+24]
    00227196mov rdx, [r15+32]
    0022719amov rcx, [r15+40]
    0022719emov r8, [r15+48]
    002271a2mov r9, [r15+56]
    002271a6mov r12, [r15+64]
    002271aamov r13, [r15+72]
    002271aemov r10, [r15+80]
    002271b2mov r11, [r15+88]
    002271b6mov rbp, [r15+96]
    002271bamovsd_xmm x0, [r15+104]
    002271c0movsd_xmm x1, [r15+112]
    002271c6movsd_xmm x2, [r15+120]
    002271ccmovsd_xmm x3, [r15+128]
    002271d5movsd_xmm x4, [r15+136]
    002271demovsd_xmm x5, [r15+144]
    002271e7movsd_xmm x6, [r15+152]
    002271f0movsd_xmm x7, [r15+160]
    002271f9movsd_xmm x8, [r15+168]
    00227202movsd_xmm x9, [r15+176]
    0022720bmovsd_xmm x10, [r15+184]
    00227214movsd_xmm x11, [r15+192]
    0022721dmovsd_xmm x12, [r15+200]
    00227226movsd_xmm x13, [r15+208]
    0022722fmovsd_xmm x14, [r15+216]
    00227238movsd_xmm x15, [r15+224]
    00227241mov r15, [r14+8]
    00227245ret
    0022708c
    00227246
    00227246 66 90 f.
    00227248
    00227248caml_alloc1:
    00227248sub r15, 16
    0022724ccmp r15, [r14]
    0022724fjb 0x22708c
    00227255ret
    00227248
    00227256
    00227256 66 90 f.
    00227258
    00227258caml_alloc2:
    00227258sub r15, 24
    0022725ccmp r15, [r14]
    0022725fjb 0x22708c
    00227265ret
    00227258
    00227266
    00227266 66 90 f.
    00227268
    00227268caml_alloc3:
    00227268sub r15, 32
    0022726ccmp r15, [r14]
    0022726fjb 0x22708c
    00227275ret
    00227268
    00227276
    00227276 66 90 f.
    00227278
    00227278caml_allocN:
    00227278cmp r15, [r14]
    0022727bjb 0x22708c
    00227281ret
    00227278
    00227282
    00227282 66 90 f.
    00227284
    00227284caml_c_call:
    00227284mov r10, [r14+40]
    00227288mov [r10], rsp
    0022728bmov r11, [r14+64]
    0022728fmov [r11+8], rsp
    00227293mov [r11], r10
    00227296mov rsp, r11
    00227299mov [r14+8], r15
    0022729dcall rax
    0022729fmov r15, [r14+8]
    002272a3mov rsp, [rsp+8]
    002272a8cmp [r14+56], 0
    002272adjne 0x2272b0
    002272afret
    002272b0
    002272b0loc_2272b0:
    002272b0mov [r14], -1
    002272b7ret
    00227284
    002272b8
    002272b8caml_c_call_stack_args:
    002272b8mov r10, [r14+40]
    002272bcmov [r10], rsp
    002272bfmov r11, [r14+64]
    002272c3mov [r11+8], rsp
    002272c7mov [r11], r10
    002272camov rsp, r11
    002272cdmov rbx, rsp
    002272d0mov [r14+8], r15
    002272d4
    002272d4loc_2272d4:
    002272d4sub r12, 8
    002272d8cmp r12, r13
    002272dbjb 0x2272e3
    002272ddpush [r12]
    002272e1jmp 0x2272d4
    002272e3
    002272e3loc_2272e3:
    002272e3call rax
    002272e5mov rsp, [r14+64]
    002272e9mov r15, [r14+8]
    002272edmov rsp, [rsp+8]
    002272f2cmp [r14+56], 0
    002272f7jne 0x2272fa
    002272f9ret
    002272fa
    002272faloc_2272fa:
    002272famov [r14], -1
    00227301ret
    002272b8
    00227302
    00227302 66 90 f.
    00227304
    00227304caml_start_program:
    00227304push rbx
    00227305push rbp
    00227306push r12
    00227308push r13
    0022730apush r14
    0022730cpush r15
    0022730emov r14, rdi
    00227311lea r12, [rip-0x132968]
    00227318mov r15, [r14+8]
    0022731csub rsp, 24
    00227320mov [rsp], 0
    00227328mov [rsp+8], 0
    00227331mov r10, [r14+64]
    00227335mov [rsp+16], r10
    0022733amov [r14+64], rsp
    0022733emov r11, [r14+40]
    00227342mov r10, [r11]
    00227345sub r10, 16
    00227349mov [r10], rsp
    0022734cmov r11, [r14+88]
    00227350mov [r10+8], r11
    00227354sub r10, 16
    00227358lea r11, [rip+85]
    0022735fmov [r10+8], r11
    00227363mov r11, [r14+48]
    00227367mov [r10], r11
    0022736amov [r14+48], r10
    0022736emov rsp, r10
    00227371call r12
    00227374mov r11, [rsp]
    00227378mov [r14+48], r11
    0022737clea r10, [rsp+16]
    00227381
    00227381loc_227381:
    00227381mov r11, [r10+8]
    00227385mov [r14+88], r11
    00227389add r10, 16
    0022738dmov [r14+8], r15
    00227391mov r11, [r14+40]
    00227395mov [r11], r10
    00227398mov rsp, [r14+64]
    0022739cmov r10, [rsp+16]
    002273a1mov [r14+64], r10
    002273a5add rsp, 24
    002273a9pop r15
    002273abpop r14
    002273adpop r13
    002273afpop r12
    002273b1pop rbp
    002273b2pop rbx
    002273b3ret
    002273b4or rax, 2
    002273b8mov r10, rsp
    002273bbjmp 0x227381
    00227304
    002273bd
    002273bd // align 0x10
    002273c0
    002273c0caml_raise_exn:
    002273c0test [r14+192], 1
    002273cbjne 0x2273d9
    002273cdmov rsp, [r14+48]
    002273d1lea r11, [r14+48]
    002273d5pop [r11]
    002273d8ret
    002273d9
    002273d9loc_2273d9:
    002273d9mov [r14+184], 0
    002273e4mov r13, rsp
    002273e7mov r12, rax
    002273eamov rsp, [r14+64]
    002273eemov rdi, rax
    002273f1mov rsi, [r13]
    002273f5lea rdx, [r13+8]
    002273f9mov rcx, [r14+48]
    002273fdcall caml_stash_backtrace
    00227402mov rax, r12
    00227405mov rsp, [r14+48]
    00227409lea r11, [r14+48]
    0022740dpop [r11]
    00227410ret
    002273c0
    00227411
    00227411 0f 1f 00 ...
    00227414
    00227414caml_reraise_exn:
    00227414test [r14+192], 1
    0022741fjne 0x2273e4
    00227425mov rsp, [r14+48]
    00227429lea r11, [r14+48]
    0022742dpop [r11]
    00227430ret
    00227414
    00227431
    00227431 0f 1f 00 ...
    00227434
    00227434caml_raise_exception:
    00227434mov r14, rdi
    00227437mov rax, rsi
    0022743amov r15, [r14+8]
    0022743emov r10, [r14+40]
    00227442mov rsp, [r10]
    00227445jmp 0x2273c0
    00227434
    0022744a
    0022744a 66 90 f.
    0022744c
    0022744ccaml_callback_asm:
    0022744cpush rbx
    0022744dpush rbp
    0022744epush r12
    00227450push r13
    00227452push r14
    00227454push r15
    00227456mov r14, rdi
    00227459mov rbx, rsi
    0022745cmov rax, [rdx]
    0022745fmov r12, [rbx]
    00227462mov rdi, 0
    00227469mov rsi, 0
    00227470jmp 0x227318
    0022744c
    00227475
    00227475 0f 1f 00 ...
    00227478
    00227478caml_callback2_asm:
    00227478push rbx
    00227479push rbp
    0022747apush r12
    0022747cpush r13
    0022747epush r14
    00227480push r15
    00227482mov r14, rdi
    00227485mov rdi, rsi
    00227488mov rax, [rdx]
    0022748bmov rbx, [rdx+8]
    0022748flea r12, [rip-0x1300b6]
    00227496mov rsi, 0
    0022749djmp 0x227318
    00227478
    002274a2
    002274a2 66 90 f.
    002274a4
    002274a4caml_callback3_asm:
    002274a4push rbx
    002274a5push rbp
    002274a6push r12
    002274a8push r13
    002274aapush r14
    002274acpush r15
    002274aemov r14, rdi
    002274b1mov rax, [rdx]
    002274b4mov rbx, [rdx+8]
    002274b8mov rsi, rsi
    002274bbmov rdi, [rdx+16]
    002274bflea r12, [rip-0x130156]
    002274c6jmp 0x227318
    002274a4
    002274cb
    002274cb 90 .
    002274cc
    002274cccaml_perform:
    002274ccmov rsi, [r14+40]
    002274d0lea rdi, [rsi+1]
    002274d4mov [rbx], rdi
    002274d7mov [rbx+8], rdi
    002274dbmov r11, [rsi+16]
    002274dfmov r10, [r11+24]
    002274e3cmp r10, 0
    002274e7je 0x227514
    002274e9mov [rsi], rsp
    002274ecmov r12, [r14+48]
    002274f0mov [rsi+8], r12
    002274f4mov [r14+40], r10
    002274f8mov rsp, [r10]
    002274fbmov r12, [r10+8]
    002274ffmov [r14+48], r12
    00227503mov [r11+24], 0
    0022750bmov rsi, [r11+16]
    0022750fjmp 0xf7370
    00227514
    00227514loc_227514:
    00227514mov r10, [rbx]
    00227517sub r10, 1
    0022751bmov rsi, [r14+40]
    0022751fmov [rsi], rsp
    00227522mov r12, [r14+48]
    00227526mov [rsi+8], r12
    0022752amov [r14+40], r10
    0022752emov rsp, [r10]
    00227531mov r12, [r10+8]
    00227535mov [r14+48], r12
    00227539mov rdi, rax
    0022753clea rax, [rip-0x1fff3]
    00227543jmp 0x227284
    002274cc
    00227548
    00227548caml_reperform:
    00227548mov rsi, [r14+40]
    0022754cmov r10, [rdi+15]
    00227550mov [r10+24], rsi
    00227554lea rdi, [rsi+1]
    00227558jmp 0x2274d7
    00227548
    0022755d
    0022755d // align 0x10
    00227560
    00227560caml_resume:
    00227560lea r10, [rax-1]
    00227564mov rax, rdi
    00227567test r10, r10
    0022756aje 0x227594
    0022756cmov rdi, [rsi+15]
    00227570mov rsi, [r14+40]
    00227574mov [rdi+24], rsi
    00227578mov [rsi], rsp
    0022757bmov r12, [r14+48]
    0022757fmov [rsi+8], r12
    00227583mov [r14+40], r10
    00227587mov rsp, [r10]
    0022758amov r12, [r10+8]
    0022758emov [r14+48], r12
    00227592jmp [rbx]
    00227594
    00227594loc_227594:
    00227594lea rax, [rip-0x2018b]
    0022759bjmp 0x227284
    00227560
    002275a0
    002275a0caml_runstack:
    002275a0and rax, -2
    002275a4mov rcx, [r14+40]
    002275a8mov r10, [r14+48]
    002275acmov [rcx], rsp
    002275afmov [rcx+8], r10
    002275b3mov r11, [rax+16]
    002275b7mov [r11+24], rcx
    002275bbmov [r14+40], rax
    002275bfmov r11, [rax]
    002275c2sub r11, 32
    002275c6lea r10, [rip+74]
    002275cdmov [r11+8], r10
    002275d1mov r10, [rax+8]
    002275d5mov [r11], r10
    002275d8mov [r14+48], r11
    002275dcmov rsp, r11
    002275dfmov rax, rdi
    002275e2call [rbx]
    002275e4lea r11, [rsp+32]
    002275e9mov rbx, [r11]
    002275ec
    002275ecloc_2275ec:
    002275ecmov rdi, [r14+40]
    002275f0mov r10, [r11+24]
    002275f4mov r11, [r10+8]
    002275f8mov [r14+40], r10
    002275fcmov [r14+48], r11
    00227600mov r13, [r10]
    00227603mov r12, rax
    00227606mov rsp, [r14+64]
    0022760acall caml_free_stack
    0022760fmov rsp, r13
    00227612mov rax, r12
    00227615jmp [rbx]
    00227617lea r11, [rsp+16]
    0022761cmov rbx, [r11+8]
    00227620jmp 0x2275ec
    002275a0
    00227622
    00227622 66 90 f.
    00227624
    00227624caml_ml_array_bound_error:
    00227624lea rax, [rip-4987]
    0022762bjmp 0x227284
    00227624
    00227630
    00227630caml_assert_stack_invariants:
    00227630mov r11, [r14+40]
    00227634mov r10, rsp
    00227637sub r10, r11
    0022763acmp r10, 296
    00227641jge 0x227644
    00227643int 3
    00227644
    00227644loc_227644:
    00227644ret
    00227630
    00227645
    00227645 // align 0x10
    00227650
    00227650caml_addrmap_contains:
    00227650mov r8, [rdi]
    00227653test r8, r8
    00227656je 0x2276aa
    00227658mov eax, 0xffffffffcc9e2d51
    0022765dmov rdi, [rdi+8]
    00227661mov ecx, 100
    00227666imul rax, rsi
    0022766asub rdi, 1
    0022766emov rdx, rax
    00227671shr rdx, 17
    00227675xor rax, rdx
    00227678and rax, rdi
    0022767bjmp 0x22769a
    0022767ddb 0x21
    0022767eclc
    0022767fjmp 0x22769a
    00227681
    00227681 0f 1f 80 00 00 00 00 .......
    00227688
    00227688loc_227688:
    00227688cmp rdx, rsi
    0022768bje 0x2276b0
    0022768dadd rax, 1
    00227691and rax, rdi
    00227694sub rcx, 1
    00227698je 0x2276aa
    0022769a
    0022769aloc_22769a:
    0022769amov rdx, rax
    0022769dshl rdx, 4
    002276a1mov rdx, [r8+rdx]
    002276a5test rdx, rdx
    002276a8jne 0x227688
    002276aa
    002276aaloc_2276aa:
    002276aaxor eax, eax
    002276acret
    002276ad
    002276ad 0f 1f 00 ...
    002276b0
    002276b0loc_2276b0:
    002276b0mov eax, 1
    002276b5ret
    00227650
    002276b6
    002276b6 // align 0x10
    002276c0
    002276c0caml_addrmap_lookup:
    002276c0mov eax, 0xffffffffcc9e2d51
    002276c5mov rcx, [rdi+8]
    002276c9mov rdi, [rdi]
    002276ccimul rax, rsi
    002276d0sub rcx, 1
    002276d4mov rdx, rax
    002276d7shr rdx, 17
    002276dbxor rax, rdx
    002276deand rax, rcx
    002276e1mov rdx, rax
    002276e4shl rdx, 4
    002276e8add rdx, rdi
    002276ebcmp rsi, [rdx]
    002276eeje 0x227716
    002276f0nop [rax+rax]
    002276fbnop
    002276fcadd rax, 1
    00227700
    00227700loc_227700:
    00227700and rax, rcx
    00227703mov rdx, rax
    00227706shl rdx, 4
    0022770aadd rdx, rdi
    0022770dcmp [rdx], rsi
    00227710jne 0x227700
    00227712mov rax, [rdx+8]
    00227716
    00227716loc_227716:
    00227716ret
    00227717db 0x8b
    00227718or bl, al
    002276c0
    0022771b
    0022771b // align 0x10
    00227720
    00227720caml_addrmap_init:
    00227720mov [rdi], 0
    00227727mov [rdi+8], 0
    0022772fret
    00227730db 0x00
    00227731add [rax], al
    00227733ret
    00227720
    00227734
    00227734 // align 0x10
    00227740
    00227740caml_addrmap_clear:
    00227740push rbx
    00227741mov rbx, rdi
    00227744mov rdi, [rdi]
    00227747call caml_stat_free
    0022774cmov [rbx], 0
    00227753mov [rbx+8], 0
    0022775bpop rbx
    0022775cret
    0022775ddb 0x00
    0022775eadd [rbx-61], bl
    00227740
    00227761
    00227761 // align 0x20
    00227780
    00227780caml_addrmap_insert_pos:
    00227780mov eax, 0xffffffffcc9e2d51
    00227785push r15
    00227787imul rax, rsi
    0022778bpush r14
    0022778dmov r14, rsi
    00227790push r13
    00227792push r12
    00227794mov r12, rdi
    00227797push rbp
    00227798mov r15, rax
    0022779bpush rbx
    0022779cshr r15, 17
    002277a0xor r15, rax
    002277a3sub rsp, 24
    002277a7mov rbp, [r12]
    002277ab
    002277abloc_2277ab:
    002277abtest rbp, rbp
    002277aeje 0x227828
    002277b0mov rax, [r12+8]
    002277b5mov ebx, 100
    002277balea rdx, [rax-1]
    002277beand rdx, r15
    002277c1jmp 0x2277ea
    002277c3db 0x21
    002277c4cli
    002277c5jmp 0x2277ea
    002277c7
    002277c7 66 0f 1f 84 00 00 00 00 00 f........
    002277d0
    002277d0loc_2277d0:
    002277d0mov r13, [r12+8]
    002277d5add rdx, 1
    002277d9lea rax, [r13-1]
    002277ddand rdx, rax
    002277e0sub rbx, 1
    002277e4je 0x2278b0
    002277ea
    002277ealoc_2277ea:
    002277eamov rsi, rdx
    002277edshl rsi, 4
    002277f1lea rax, [rbp+rsi]
    002277f6mov rcx, [rax]
    002277f9test rcx, rcx
    002277fcjne 0x22780d
    002277femov [rax], r14
    00227801mov rbp, [r12]
    00227805lea rax, [rbp+rsi]
    0022780amov rcx, [rax]
    0022780d
    0022780dloc_22780d:
    0022780dcmp r14, rcx
    00227810jne 0x2277d0
    00227812add rsp, 24
    00227816add rax, 8
    0022781apop rbx
    0022781bpop rbp
    0022781cpop r12
    0022781epop r13
    00227820pop r14
    00227822pop r15
    00227824ret
    00227825
    00227825 0f 1f 00 ...
    00227828
    00227828loc_227828:
    00227828mov edi, 4096
    0022782dcall caml_stat_alloc
    00227832mov [r12+8], 256
    0022783bmov [r12], rax
    0022783fmov rbp, rax
    00227842xor eax, eax
    00227844nop [rax+rax]
    0022784fnop [rax+rax]
    0022785anop [rax+rax]
    00227865nop [rax+rax]
    00227870nop [rax+rax]
    0022787bnop [rax+rax]
    00227880
    00227880loc_227880:
    00227880mov [rbp+rax], 0
    00227889mov rdx, [r12]
    0022788dmov [rdx+rax+8], 0
    00227896add rax, 16
    0022789amov rbp, [r12]
    0022789ecmp rax, 4096
    002278a4jne 0x227880
    002278a6jmp 0x2277b4
    002278ab
    002278ab 0f 1f 44 00 00 ..D..
    002278b0
    002278b0loc_2278b0:
    002278b0mov rdi, r13
    002278b3lea rsi, [r13+r13]
    002278b8shl rdi, 5
    002278bcmov [rsp+8], rsi
    002278c1call caml_stat_alloc
    002278c6mov rsi, [rsp+8]
    002278cbmov [r12], rax
    002278cfmov [r12+8], rsi
    002278d4test rsi, rsi
    002278d7je 0x227929
    002278d9mov [rax], 0
    002278e0mov rax, [r12]
    002278e4mov [rax+8], 0
    002278ecmov eax, 1
    002278f1nop [rax+rax]
    002278fcnop [rax]
    00227900
    00227900loc_227900:
    00227900mov rcx, [r12]
    00227904mov rdx, rax
    00227907add rax, 1
    0022790bshl rdx, 4
    0022790fmov [rcx+rdx], 0
    00227917mov rcx, [r12]
    0022791bmov [rcx+rdx+8], 0
    00227924cmp rax, rsi
    00227927jb 0x227900
    00227929
    00227929loc_227929:
    00227929mov rdx, rbp
    0022792ctest r13, r13
    0022792fje 0x227946
    00227931
    00227931loc_227931:
    00227931mov rsi, [rdx]
    00227934test rsi, rsi
    00227937jne 0x227958
    00227939
    00227939loc_227939:
    00227939add rbx, 1
    0022793dadd rdx, 16
    00227941cmp rbx, r13
    00227944jne 0x227931
    00227946
    00227946loc_227946:
    00227946mov rdi, rbp
    00227949call caml_stat_free
    0022794ejmp 0x2277ab
    00227953
    00227953 0f 1f 44 00 00 ..D..
    00227958
    00227958loc_227958:
    00227958mov rdi, r12
    0022795bmov [rsp+8], rdx
    00227960call caml_addrmap_insert_pos
    00227965mov rdx, [rsp+8]
    0022796amov rcx, [rdx+8]
    0022796emov [rax], rcx
    00227971jmp 0x227939
    00227780
    00227973
    00227973 // align 0x10
    00227980
    00227980caml_addrmap_insert:
    00227980push rbx
    00227981mov rbx, rdx
    00227984call caml_addrmap_insert_pos
    00227989mov [rax], rbx
    0022798cpop rbx
    0022798dret
    0022798edb 0x89
    0022798fsbb [rbx-61], bl
    00227980
    00227992
    00227992 // align 0x10
    002279a0
    002279a0caml_addrmap_iter:
    002279a0mov rax, [rdi]
    002279a3test rax, rax
    002279a6je 0x227a68
    002279acpush r12
    002279aemov r12, rsi
    002279b1push rbp
    002279b2mov rbp, rdi
    002279b5push rbx
    002279b6mov rcx, [rdi+8]
    002279baxor ebx, ebx
    002279bctest rcx, rcx
    002279bfjne 0x2279e9
    002279c1jmp 0x227a5e
    002279c6db 0x94
    002279c7add [rax], al
    002279c9db 0x00
    002279ca
    002279ca 66 66 2e 0f 1f 84 ff....
    002279d0 00 00 00 00 00 66 66 2e 0f 1f 84 00 00 00 00 00 .....ff.........
    002279e0
    002279e0loc_2279e0:
    002279e0add rbx, 1
    002279e4cmp rbx, rcx
    002279e7je 0x227a5e
    002279e9
    002279e9loc_2279e9:
    002279e9mov rdx, rbx
    002279ecshl rdx, 4
    002279f0cmp [rax+rdx], 0
    002279f5je 0x2279e0
    002279f7cmp rbx, rcx
    002279fajae 0x227a5e
    002279fcmov rdi, [rax+rdx]
    00227a00
    00227a00loc_227a00:
    00227a00mov rdx, rbx
    00227a03shl rdx, 4
    00227a07mov rsi, [rax+rdx+8]
    00227a0ccall r12
    00227a0fmov rax, [rbp]
    00227a13test rax, rax
    00227a16je 0x227a5e
    00227a18mov rcx, [rbp+8]
    00227a1cadd rbx, 1
    00227a20cmp rbx, rcx
    00227a23jb 0x227a49
    00227a25jmp 0x227a5e
    00227a27
    00227a27 66 66 2e 0f 1f 84 00 00 00 ff.......
    00227a30 00 00 66 66 2e 0f 1f 84 00 00 00 00 00 0f 1f 00 ..ff............
    00227a40
    00227a40loc_227a40:
    00227a40add rbx, 1
    00227a44cmp rbx, rcx
    00227a47jae 0x227a5e
    00227a49
    00227a49loc_227a49:
    00227a49mov rdx, rbx
    00227a4cshl rdx, 4
    00227a50mov rdi, [rax+rdx]
    00227a54test rdi, rdi
    00227a57je 0x227a40
    00227a59cmp rbx, rcx
    00227a5cjb 0x227a00
    00227a5e
    00227a5eloc_227a5e:
    00227a5epop rbx
    00227a5fpop rbp
    00227a60pop r12
    00227a62ret
    00227a63
    00227a63 0f 1f 44 00 00 ..D..
    00227a68
    00227a68loc_227a68:
    00227a68ret
    002279a0
    00227a69
    00227a69 // align 0x10
    00227a70
    00227a70caml_init_codefrag:
    00227a70sub rsp, 8
    00227a74lea rdi, [rip+0x151761]
    00227a7bcall caml_lf_skiplist_init
    00227a80lea rdi, [rip+0x151735]
    00227a87add rsp, 8
    00227a8bjmp 0x228c40
    00227a90db 0xac
    00227a91adc [rax], eax
    00227a93db 0x00
    00227a70
    00227a94
    00227a94 // align 0x10
    00227aa0
    00227aa0caml_register_code_fragment:
    00227aa0push r14
    00227aa2mov r14, rcx
    00227aa5push r13
    00227aa7mov r13, rsi
    00227aaapush r12
    00227aacmov r12, rdi
    00227aafmov edi, 80
    00227ab4push rbp
    00227ab5mov ebp, edx
    00227ab7push rbx
    00227ab8call caml_stat_alloc
    00227abdmov [rax], r12
    00227ac0mov rbx, rax
    00227ac3mov [rax+8], r13
    00227ac7cmp ebp, 1
    00227acaje 0x227b38
    00227acccmp ebp, 2
    00227acfje 0x227b28
    00227ad1mov [rbx+20], ebp
    00227ad4mov eax, 1
    00227ad9lock xadd [rip+0x1509e7], eax
    00227ae1mov [rbx+16], eax
    00227ae4lea rdi, [rbx+40]
    00227ae8call caml_plat_mutex_init
    00227aedmov rdx, rbx
    00227af0mov rsi, r12
    00227af3lea rdi, [rip+0x1516e2]
    00227afacall caml_lf_skiplist_insert
    00227affmovsxd rsi, [rbx+16]
    00227b03mov rdx, rbx
    00227b06lea rdi, [rip+0x1516af]
    00227b0dcall caml_lf_skiplist_insert
    00227b12mov eax, [rbx+16]
    00227b15pop rbx
    00227b16pop rbp
    00227b17pop r12
    00227b19pop r13
    00227b1bpop r14
    00227b1dret
    00227b1edb 0x5d
    00227b1fpop r14
    00227b21ret
    00227b22
    00227b22 66 0f 1f 44 00 00 f..D..
    00227b28
    00227b28loc_227b28:
    00227b28movdqu x0, [r14]
    00227b2dmovups [rax+24], x0
    00227b31jmp 0x227ad5
    00227b33
    00227b33 0f 1f 44 00 00 ..D..
    00227b38
    00227b38loc_227b38:
    00227b38mov rdx, r13
    00227b3blea rdi, [rax+24]
    00227b3fmov rsi, r12
    00227b42mov ebp, 2
    00227b47sub rdx, r12
    00227b4acall caml_md5_block
    00227b4fjmp 0x227ad5
    00227aa0
    00227b51
    00227b51 // align 0x10
    00227b60
    00227b60caml_remove_code_fragment:
    00227b60push rbx
    00227b61mov rsi, [rdi]
    00227b64mov rbx, rdi
    00227b67lea rdi, [rip+0x15166e]
    00227b6ecall caml_lf_skiplist_remove
    00227b73movsxd rsi, [rbx+16]
    00227b77lea rdi, [rip+0x15163e]
    00227b7ecall caml_lf_skiplist_remove
    00227b83test eax, eax
    00227b85jne 0x227b90
    00227b87pop rbx
    00227b88ret
    00227b89db 0x75
    00227b8adb 0x05
    00227b8b
    00227b8bloc_227b8b:
    00227b8bpop rbx
    00227b8cret
    00227b8d
    00227b8d 0f 1f 00 ...
    00227b90
    00227b90loc_227b90:
    00227b90mov edi, 16
    00227b95call caml_stat_alloc
    00227b9amov [rax], rbx
    00227b9dmov rdx, rax
    00227ba0lea rcx, [rax+8]
    00227ba4
    00227ba4loc_227ba4:
    00227ba4mov rax, [rip+0x151655]
    00227babmov [rdx+8], rax
    00227bafmov rax, [rcx]
    00227bb2lock cmpxchg [rip+0x151645], rdx
    00227bbbje 0x227b8b
    00227bbdmov [rcx], rax
    00227bc0jmp 0x227ba4
    00227b60
    00227bc2
    00227bc2 // align 0x10
    00227bd0
    00227bd0caml_find_code_fragment_by_pc:
    00227bd0push rbx
    00227bd1mov rsi, rdi
    00227bd4sub rsp, 32
    00227bd8mov rbx, [0x28]
    00227be1mov [rsp+24], rbx
    00227be6mov rbx, rdi
    00227be9lea rdx, [rsp+8]
    00227beelea rcx, [rsp+16]
    00227bf3lea rdi, [rip+0x1515e2]
    00227bfacall caml_lf_skiplist_find_below
    00227bffmov edx, eax
    00227c01xor eax, eax
    00227c03test edx, edx
    00227c05je 0x227c16
    00227c07mov rax, [rsp+16]
    00227c0ccmp rbx, [rax+8]
    00227c10jae 0x227c30
    00227c12mov rdx, [rsp+24]
    00227c17sub rdx, [0x28]
    00227c20jne 0x227c34
    00227c22add rsp, 32
    00227c26pop rbx
    00227c27ret
    00227c28db 0xc4
    00227c29and [rbx-61], bl
    00227c2c
    00227c2c 0f 1f 40 00 ..@.
    00227c30
    00227c30loc_227c30:
    00227c30xor eax, eax
    00227c32jmp 0x227c16
    00227c34
    00227c34loc_227c34:
    00227c34call fn_f4590
    00227bd0
    00227c39
    00227c39 // align 0x10
    00227c40
    00227c40caml_find_code_fragment_by_num:
    00227c40sub rsp, 24
    00227c44movsxd rsi, edi
    00227c47lea rdi, [rip+0x15156e]
    00227c4emov rdx, [0x28]
    00227c57mov [rsp+8], rdx
    00227c5cmov rdx, rsp
    00227c5fcall caml_lf_skiplist_find
    00227c64mov edx, eax
    00227c66mov rax, [rsp]
    00227c6atest edx, edx
    00227c6cjne 0x227c74
    00227c6exor eax, eax
    00227c70mov rdx, [rsp+8]
    00227c75sub rdx, [0x28]
    00227c7ejne 0x227c89
    00227c80add rsp, 24
    00227c84ret
    00227c85call fn_f4590
    00227c8adb 0x02
    00227c8bleave
    00227c8cin al, dx
    00227c8ddb 0xff
    00227c40
    00227c8e
    00227c8e // align 0x10
    00227c90
    00227c90caml_digest_of_code_fragment:
    00227c90push r12
    00227c92push rbp
    00227c93lea rbp, [rdi+40]
    00227c97push rbx
    00227c98mov rbx, rdi
    00227c9bmov rdi, rbp
    00227c9ecall fn_f4710
    00227ca3test eax, eax
    00227ca5jne 0x227d03
    00227ca7mov eax, [rbx+20]
    00227caacmp eax, 3
    00227cadje 0x227cf0
    00227caflea r12, [rbx+24]
    00227cb3test eax, eax
    00227cb5je 0x227cd0
    00227cb7mov rdi, rbp
    00227cbacall fn_f47c0
    00227cbftest eax, eax
    00227cc1jne 0x227cf5
    00227cc3mov rax, r12
    00227cc6pop rbx
    00227cc7pop rbp
    00227cc8pop r12
    00227ccaret
    00227ccbdb 0x5d
    00227cccpop r12
    00227cceret
    00227ccf
    00227ccf 90 .
    00227cd0
    00227cd0loc_227cd0:
    00227cd0mov rsi, [rbx]
    00227cd3mov rdx, [rbx+8]
    00227cd7mov rdi, r12
    00227cdasub rdx, rsi
    00227cddcall caml_md5_block
    00227ce2mov [rbx+20], 2
    00227ce9jmp 0x227cbb
    00227ceb
    00227ceb 0f 1f 44 00 00 ..D..
    00227cf0
    00227cf0loc_227cf0:
    00227cf0xor r12l, r12l
    00227cf3jmp 0x227cbb
    00227cf5
    00227cf5loc_227cf5:
    00227cf5mov esi, eax
    00227cf7lea rdi, [rip+30748]
    00227cfecall caml_plat_fatal_error
    00227d03
    00227d03loc_227d03:
    00227d03mov esi, eax
    00227d05lea rdi, [rip+30723]
    00227d0ccall caml_plat_fatal_error
    00227c90
    00227d11
    00227d11 // align 0x10
    00227d20
    00227d20caml_find_code_fragment_by_digest:
    00227d20push r12
    00227d22mov rax, [rip+0x1514b3]
    00227d29push rbp
    00227d2apush rbx
    00227d2bmov rbx, [rax+40]
    00227d2fcmp rbx, [rip+0x1514ae]
    00227d36je 0x227db0
    00227d38mov r12, rdi
    00227d3bjmp 0x227d69
    00227d3ddb 0x89
    00227d3ecld
    00227d3fjmp 0x227d69
    00227d41
    00227d41 66 66 2e 0f 1f 84 00 00 00 00 00 66 66 2e 0f ff.........ff..
    00227d50 1f 84 00 00 00 00 00 66 0f 1f 84 00 00 00 00 00 .......f........
    00227d60
    00227d60loc_227d60:
    00227d60cmp [rip+0x151481], rbx
    00227d67je 0x227db0
    00227d69
    00227d69loc_227d69:
    00227d69mov rax, [rbx+40]
    00227d6dmov rdx, rbx
    00227d70mov rbx, rax
    00227d73and rbx, -2
    00227d77test al, 1
    00227d79jne 0x227d60
    00227d7bmov rbp, [rdx+8]
    00227d7fmov rdi, rbp
    00227d82call caml_digest_of_code_fragment
    00227d87test rax, rax
    00227d8aje 0x227d60
    00227d8cmov rdx, [r12]
    00227d90mov rcx, [r12+8]
    00227d95xor rdx, [rax]
    00227d98xor rcx, [rax+8]
    00227d9cor rdx, rcx
    00227d9fjne 0x227d60
    00227da1mov rax, rbp
    00227da4pop rbx
    00227da5pop rbp
    00227da6pop r12
    00227da8ret
    00227da9
    00227da9 0f 1f 80 00 00 00 00 .......
    00227db0
    00227db0loc_227db0:
    00227db0xor ebp, ebp
    00227db2pop rbx
    00227db3mov rax, rbp
    00227db6pop rbp
    00227db7pop r12
    00227db9ret
    00227d20
    00227dba
    00227dba // align 0x10
    00227dc0
    00227dc0caml_code_fragment_cleanup_from_stw_single:
    00227dc0push r12
    00227dc2lea rdi, [rip+0x151413]
    00227dc9push rbp
    00227dcapush rbx
    00227dcbcall caml_lf_skiplist_free_garbage
    00227dd0lea rdi, [rip+0x1513e5]
    00227dd7call caml_lf_skiplist_free_garbage
    00227ddcmov rbx, [rip+0x151419]
    00227de3test rbx, rbx
    00227de6je 0x227e1a
    00227de8nop [rax]
    00227decmov rbp, rbx
    00227defmov rbx, [rbx+8]
    00227df3mov r12, [rbp]
    00227df7lea rdi, [r12+40]
    00227dfccall caml_plat_mutex_free
    00227e01mov rdi, r12
    00227e04call caml_stat_free
    00227e09mov rdi, rbp
    00227e0ccall caml_stat_free
    00227e11test rbx, rbx
    00227e14jne 0x227df0
    00227e16mov [rip+0x1513db], 0
    00227e21pop rbx
    00227e22pop rbp
    00227e23pop r12
    00227e25ret
    00227e26db 0x5d
    00227e27pop r12
    00227e29ret
    00227dc0
    00227e2a
    00227e2a // align 0x10
    00227e30
    00227e30caml_debugger_init:
    00227e30ret
    00227e31db 0x0f
    00227e32db 0x1e
    00227e33cli
    00227e34ret
    00227e30
    00227e35
    00227e35 // align 0x10
    00227e40
    00227e40caml_debugger:
    00227e40ret
    00227e41db 0x0f
    00227e42db 0x1e
    00227e43cli
    00227e44ret
    00227e40
    00227e45
    00227e45 // align 0x10
    00227e50
    00227e50caml_debugger_cleanup_fork:
    00227e50ret
    00227e51db 0x0f
    00227e52db 0x1e
    00227e53cli
    00227e54ret
    00227e50
    00227e55
    00227e55 // align 0x10
    00227e60
    00227e60fn_227e60:
    00227e60push r13
    00227e62push r12
    00227e64push rbp
    00227e65push rbx
    00227e66sub rsp, 8
    00227e6atest dl, 1
    00227e6djne 0x227fb1
    00227e73movzx eax, [rdx-8]
    00227e77mov rbp, rdx
    00227e7acmp al, -10
    00227e7cje 0x227fb1
    00227e82movzx eax, [rdx-8]
    00227e86cmp al, -3
    00227e88je 0x227fb1
    00227e8emovzx eax, [rdx-8]
    00227e92cmp al, -12
    00227e94je 0x227fb1
    00227e9amovzx eax, [rdx-8]
    00227e9ecmp al, -6
    00227ea0je 0x227fb1
    00227ea6mov rax, [rdi+16]
    00227eaamov r12, rsi
    00227eadmov rsi, [rdi+24]
    00227eb1mov rbx, rdi
    00227eb4mov rdi, [rdi]
    00227eb7cmp rax, rsi
    00227ebajae 0x227f08
    00227ebc
    00227ebcloc_227ebc:
    00227ebclea rax, [rax+2*rax]
    00227ec0mov [rdi+8*rax], r12
    00227ec4movzx eax, [rbp-8]
    00227ec8cmp al, -7
    00227ecaje 0x227f3f
    00227ecc
    00227eccloc_227ecc:
    00227eccmov rax, [rbx+16]
    00227ed0mov rdx, [rbx]
    00227ed3lea rax, [rax+2*rax]
    00227ed7lea rax, [rdx+8*rax]
    00227edbmov [rax+16], 0
    00227ee2mov rax, [rbx+16]
    00227ee6mov rcx, [rbx]
    00227ee9lea rax, [rax+2*rax]
    00227eedlea rax, [rcx+8*rax]
    00227ef1mov [rax+8], rbp
    00227ef5add [rbx+16], 1
    00227efaadd rsp, 8
    00227efepop rbx
    00227effpop rbp
    00227f00pop r12
    00227f02pop r13
    00227f04ret
    00227f05
    00227f05 0f 1f 00 ...
    00227f08
    00227f08loc_227f08:
    00227f08test rdi, rdi
    00227f0bje 0x227f90
    00227f11lea r13, [rsi+rsi]
    00227f15add rsi, r13
    00227f18shl rsi, 4
    00227f1ccall caml_stat_resize
    00227f21mov [rbx+24], r13
    00227f25mov [rbx], rax
    00227f28mov rdi, rax
    00227f2bmov rax, [rbx+16]
    00227f2flea rax, [rax+2*rax]
    00227f33mov [rdi+8*rax], r12
    00227f37movzx eax, [rbp-8]
    00227f3bcmp al, -7
    00227f3djne 0x227ecc
    00227f3f
    00227f3floc_227f3f:
    00227f3fmov rdx, [rbp-8]
    00227f43mov rax, [rbx+16]
    00227f47mov rsi, [rbx]
    00227f4alea rax, [rax+2*rax]
    00227f4eshr rdx, 10
    00227f52lea rax, [rsi+8*rax]
    00227f56shl edx, 3
    00227f59mov [rax+16], edx
    00227f5cmov rdx, [rbp-8]
    00227f60mov rax, [rbx+16]
    00227f64mov rdi, [rbx]
    00227f67shr rdx, 10
    00227f6blea rax, [rax+2*rax]
    00227f6fshl rdx, 3
    00227f73sub rbp, rdx
    00227f76lea rax, [rdi+8*rax]
    00227f7amov [rax+8], rbp
    00227f7eadd [rbx+16], 1
    00227f83add rsp, 8
    00227f87pop rbx
    00227f88pop rbp
    00227f89pop r12
    00227f8bpop r13
    00227f8dret
    00227f8e
    00227f8e 66 90 f.
    00227f90
    00227f90loc_227f90:
    00227f90mov edi, 720
    00227f95call caml_stat_alloc
    00227f9amov [rbx+24], 30
    00227fa2mov [rbx], rax
    00227fa5mov rdi, rax
    00227fa8mov rax, [rbx+16]
    00227facjmp 0x227ebc
    00227fb1
    00227fb1loc_227fb1:
    00227fb1lea rdi, [rip+30540]
    00227fb8call caml_invalid_argument
    00227e60
    00227fbd
    00227fbd // align 0x10
    00227fc0
    00227fc0fn_227fc0:
    00227fc0push rbp
    00227fc1movsxd rax, esi
    00227fc4mov rbp, rdi
    00227fc7push rbx
    00227fc8mov rbx, rax
    00227fcblea rax, [rax+2*rax]
    00227fcflea rdi, [8*rax+40]
    00227fd7sub rsp, 8
    00227fdbcall caml_stat_alloc_noexc
    00227fe0mov rdx, [rbp+176]
    00227fe7test rax, rax
    00227feaje 0x22801f
    00227fecmov [rax], 0
    00227ff3mov [rax+8], ebx
    00227ff6mov rcx, [rdx+88]
    00227ffatest rcx, rcx
    00227ffdje 0x228010
    00227fffmov [rcx], rax
    00228002mov [rdx+88], rax
    00228006add rsp, 8
    0022800apop rbx
    0022800bpop rbp
    0022800cret
    0022800d
    0022800d 0f 1f 00 ...
    00228010
    00228010loc_228010:
    00228010mov [rdx+80], rax
    00228014mov [rdx+88], rax
    00228018add rsp, 8
    0022801cpop rbx
    0022801dpop rbp
    0022801eret
    0022801f
    0022801floc_22801f:
    0022801flea rdi, [rip+30442]
    00228026call caml_fatal_error
    00227fc0
    0022802b
    0022802b // align 0x20
    00228040
    00228040fn_228040:
    00228040push r14
    00228042push r13
    00228044push r12
    00228046push rbp
    00228047push rbx
    00228048cmp [rsi+8], 0
    0022804dmov r13, [rdi+176]
    00228054je 0x2280ae
    00228056mov rbx, rsi
    00228059mov rsi, [rip+0x150368]
    00228060mov r12, rdi
    00228063mov r14l, edx
    00228066mov rcx, [rbx]
    00228069xor eax, eax
    0022806bxor ebp, ebp
    0022806dnop [rax+rax]
    00228078nop [rax+rax]
    00228080
    00228080loc_228080:
    00228080lea rdx, [rax+2*rax]
    00228084mov rdx, [rcx+8*rdx+8]
    00228089mov rdx, [rdx-8]
    0022808dand edx, 768
    00228093cmp rsi, rdx
    00228096sete dl
    00228099add rax, 1
    0022809dmovzx edx, dl
    002280a0add rbp, rdx
    002280a3cmp rax, [rbx+8]
    002280a7jb 0x228080
    002280a9test rbp, rbp
    002280acjne 0x2280c0
    002280ae
    002280aeloc_2280ae:
    002280aepop rbx
    002280afpop rbp
    002280b0pop r12
    002280b2pop r13
    002280b4pop r14
    002280b6ret
    002280b7
    002280b7 66 0f 1f 84 00 00 00 00 00 f........
    002280c0
    002280c0loc_2280c0:
    002280c0mov rdi, r12
    002280c3call caml_set_action_pending
    002280c8mov esi, ebp
    002280camov rdi, r12
    002280cdxor ebp, ebp
    002280cfcall fn_227fc0
    002280d4mov rdx, [rbx+8]
    002280d8xor r8l, r8l
    002280dbtest rdx, rdx
    002280deje 0x22824c
    002280e4xor edx, edx
    002280e6jmp 0x22813d
    002280e8
    002280e8 0f 1f 84 00 00 00 00 00 ........
    002280f0
    002280f0loc_2280f0:
    002280f0mov rsi, [r13+88]
    002280f4lea rcx, [rbp+2*rbp]
    002280f9movdqu x0, [rax]
    002280fdshl rcx, 3
    00228101add rsi, rcx
    00228104movups [rsi+16], x0
    00228108mov rax, [rax+16]
    0022810cmov [rsi+32], rax
    00228110test r14l, r14l
    00228113jne 0x22812f
    00228115mov rax, [r13+88]
    00228119add rax, rcx
    0022811cmov [rax+24], 1
    00228124add rcx, [r13+88]
    00228128mov [rcx+32], 0
    0022812f
    0022812floc_22812f:
    0022812fadd rbp, 1
    00228133add rdx, 1
    00228137cmp rdx, [rbx+8]
    0022813bjae 0x228188
    0022813d
    0022813dloc_22813d:
    0022813dmov rsi, [rbx]
    00228140lea rax, [rdx+2*rdx]
    00228144shl rax, 3
    00228148mov rcx, [rsi+rax+8]
    0022814dadd rax, rsi
    00228150mov rcx, [rcx-8]
    00228154and ecx, 768
    0022815acmp [rip+0x150267], rcx
    00228161je 0x2280f0
    00228163movdqu x0, [rax]
    00228167lea rcx, [r8+2*r8]
    0022816badd rdx, 1
    0022816fadd r8, 1
    00228173lea rcx, [rsi+8*rcx]
    00228177movups [rcx], x0
    0022817amov rax, [rax+16]
    0022817emov [rcx+16], rax
    00228182cmp rdx, [rbx+8]
    00228186jb 0x22813d
    00228188
    00228188loc_228188:
    00228188mov r10l, ebp
    0022818b
    0022818bloc_22818b:
    0022818bmov [rbx+8], r8
    0022818fcmp rdx, [rbx+16]
    00228193jae 0x2281f4
    00228195mov rax, r8
    00228198lea rcx, [rdx+2*rdx]
    0022819cmov rsi, rdx
    0022819fsub rax, rdx
    002281a2shl rcx, 3
    002281a6lea r9, [rax+2*rax]
    002281aashl r9, 3
    002281aenop [rax+rax]
    002281b9nop [rax]
    002281c0
    002281c0loc_2281c0:
    002281c0mov rdi, [rbx]
    002281c3movdqu x0, [rdi+rcx]
    002281c8lea rax, [rdi+r9]
    002281ccadd rax, rcx
    002281cfmovups [rax], x0
    002281d2mov rdi, [rdi+rcx+16]
    002281d7add rcx, 24
    002281dbmov [rax+16], rdi
    002281dfmov rax, rsi
    002281e2add rsi, 1
    002281e6cmp rsi, [rbx+16]
    002281eajb 0x2281c0
    002281ecsub r8, rdx
    002281eflea r8, [r8+rax+1]
    002281f4
    002281f4loc_2281f4:
    002281f4mov [rbx+16], r8
    002281f8mov rax, [r13+88]
    002281fcmov [rax+8], r10l
    00228200test r14l, r14l
    00228203je 0x2280ae
    00228209test rbp, rbp
    0022820cje 0x2280ae
    00228212xor ebx, ebx
    00228214nop [rax+rax]
    0022821fnop
    00228220
    00228220loc_228220:
    00228220mov rdx, [r13+88]
    00228224lea rax, [rbx+2*rbx]
    00228228mov rdi, r12
    0022822badd rbx, 1
    0022822flea rax, [rdx+8*rax]
    00228233xor edx, edx
    00228235mov rsi, [rax+24]
    00228239call caml_darken
    0022823ecmp rbx, rbp
    00228241jne 0x228220
    00228243pop rbx
    00228244pop rbp
    00228245pop r12
    00228247pop r13
    00228249pop r14
    0022824bret
    0022824c
    0022824cloc_22824c:
    0022824cxor r10l, r10l
    0022824fjmp 0x22818b
    00228040
    00228254
    00228254 // align 0x10
    00228260
    00228260caml_final_update_first:
    00228260push rbp
    00228261xor eax, eax
    00228263push rbx
    00228264sub rsp, 8
    00228268mov rbp, [rdi+176]
    0022826fcmp [rbp+32], 0
    00228274je 0x228288
    00228276add rsp, 8
    0022827apop rbx
    0022827bpop rbp
    0022827cret
    0022827ddb 0x08
    0022827epop rbx
    0022827fpop rbp
    00228280ret
    00228281
    00228281 0f 1f 80 00 00 00 00 .......
    00228288
    00228288loc_228288:
    00228288mov rbx, rdi
    0022828bmov edi, 17
    00228290call caml_ev_begin
    00228295mov rsi, rbp
    00228298mov rdi, rbx
    0022829bmov edx, 1
    002282a0call fn_228040
    002282a5mov edi, 17
    002282aacall caml_ev_end
    002282afmov [rbp+32], 1
    002282b7add rsp, 8
    002282bbmov eax, 1
    002282c0pop rbx
    002282c1pop rbp
    002282c2ret
    00228260
    002282c3
    002282c3 // align 0x10
    002282d0
    002282d0caml_final_update_last:
    002282d0push rbp
    002282d1xor eax, eax
    002282d3push rbx
    002282d4sub rsp, 8
    002282d8mov rbp, [rdi+176]
    002282dfcmp [rbp+72], 0
    002282e4je 0x2282f8
    002282e6add rsp, 8
    002282eapop rbx
    002282ebpop rbp
    002282ecret
    002282eddb 0x08
    002282eepop rbx
    002282efpop rbp
    002282f0ret
    002282f1
    002282f1 0f 1f 80 00 00 00 00 .......
    002282f8
    002282f8loc_2282f8:
    002282f8mov rbx, rdi
    002282fbmov edi, 18
    00228300call caml_ev_begin
    00228305lea rsi, [rbp+40]
    00228309mov rdi, rbx
    0022830cxor edx, edx
    0022830ecall fn_228040
    00228313mov edi, 18
    00228318call caml_ev_end
    0022831dmov [rbp+72], 1
    00228325add rsp, 8
    00228329mov eax, 1
    0022832epop rbx
    0022832fpop rbp
    00228330ret
    002282d0
    00228331
    00228331 // align 0x10
    00228340
    00228340caml_final_do_calls_res:
    00228340push rbp
    00228341push rbx
    00228342sub rsp, 8
    00228346mov rax, [rip+0x4dc97]
    0022834dmov rax, [rax]
    00228351mov rbx, [rax+176]
    00228358cmp [rbx+96], 0
    0022835djne 0x228439
    00228363cmp [rbx+80], 0
    00228368je 0x228439
    0022836emov rax, [rip+0x1508c7]
    00228375test rax, rax
    00228378je 0x228380
    0022837acall rax
    0022837cmov edi, 128
    00228381lea rsi, [rip+37492]
    00228388xor eax, eax
    0022838acall caml_gc_message
    0022838fmov rdi, [rbx+80]
    00228393test rdi, rdi
    00228396je 0x228418
    00228398mov eax, [rdi+8]
    0022839btest eax, eax
    0022839dje 0x2283f1
    0022839fsub eax, 1
    002283a2mov [rdi+8], eax
    002283a5mov rax, [rbx+80]
    002283a9movsxd rdx, [rax+8]
    002283adlea rdx, [rdx+2*rdx]
    002283b1lea rax, [rax+8*rdx]
    002283b5mov rdx, [rax+24]
    002283b9movsxd rsi, [rax+32]
    002283bdmov rdi, [rax+16]
    002283c1mov [rbx+96], 1
    002283c9add rsi, rdx
    002283cccall caml_callback_res
    002283d1mov [rbx+96], 0
    002283d9test eax, eax
    002283dbjne 0x228460
    002283ddmov rdi, [rbx+80]
    002283e1test rdi, rdi
    002283e4je 0x228418
    002283e6mov eax, [rdi+8]
    002283e9test eax, eax
    002283ebjne 0x2283a3
    002283edmov rbp, [rdi]
    002283f0call caml_stat_free
    002283f5mov [rbx+80], rbp
    002283f9test rbp, rbp
    002283fcje 0x228410
    002283femov rdi, rbp
    00228401jmp 0x22839c
    00228403db 0x89
    00228404out dx, eax
    00228405jmp 0x22839c
    00228407
    00228407 66 0f 1f 84 00 00 00 00 00 f........
    00228410
    00228410loc_228410:
    00228410mov [rbx+88], 0
    00228418
    00228418loc_228418:
    00228418xor eax, eax
    0022841alea rsi, [rip+37383]
    00228421mov edi, 128
    00228426call caml_gc_message
    0022842bmov rax, [rip+0x150806]
    00228432test rax, rax
    00228435je 0x228439
    00228437call rax
    00228439
    00228439loc_228439:
    00228439xor ecx, ecx
    0022843bmov ebp, 1
    00228440add rsp, 8
    00228444mov rsi, 0xffffffff00000000
    0022844eand rcx, rsi
    00228451mov rdx, rbp
    00228454pop rbx
    00228455pop rbp
    00228456mov rdi, rcx
    00228459mov eax, edi
    0022845bret
    0022845c
    0022845c 0f 1f 40 00 ..@.
    00228460
    00228460loc_228460:
    00228460mov rbp, rdx
    00228463add rsp, 8
    00228467mov rdi, rax
    0022846amov rdx, rbp
    0022846dmov eax, edi
    0022846fpop rbx
    00228470pop rbp
    00228471ret
    00228340
    00228472
    00228472 // align 0x10
    00228480
    00228480caml_final_do_roots:
    00228480push r15
    00228482xor r15l, r15l
    00228485push r14
    00228487mov r14l, r8l
    0022848apush r13
    0022848cmov r13, rdx
    0022848fpush r12
    00228491mov r12, rdi
    00228494push rbp
    00228495push rbx
    00228496sub rsp, 8
    0022849amov rbp, [rcx+176]
    002284a1cmp [rbp+16], 0
    002284a6je 0x2284e9
    002284a8nop [rax]
    002284acmov rdx, [rbp]
    002284b0
    002284b0loc_2284b0:
    002284b0lea rbx, [r15+2*r15]
    002284b4mov rdi, r13
    002284b7shl rbx, 3
    002284bbadd rdx, rbx
    002284bemov rsi, [rdx]
    002284c1call r12
    002284c4test r14l, r14l
    002284c7je 0x2284df
    002284c9add rbx, [rbp]
    002284cdmov rdi, r13
    002284d0mov rsi, [rbx+8]
    002284d4lea rdx, [rbx+8]
    002284d8call r12
    002284dbadd r15, 1
    002284df
    002284dfloc_2284df:
    002284dfcmp r15, [rbp+16]
    002284e3jb 0x2284b0
    002284e5xor r15l, r15l
    002284e8cmp [rbp+56], 0
    002284edje 0x228539
    002284efnop [rax+rax]
    002284fanop
    002284fcmov rdx, [rbp+40]
    00228500
    00228500loc_228500:
    00228500lea rbx, [r15+2*r15]
    00228504mov rdi, r13
    00228507shl rbx, 3
    0022850badd rdx, rbx
    0022850emov rsi, [rdx]
    00228511call r12
    00228514test r14l, r14l
    00228517je 0x22852f
    00228519add rbx, [rbp+40]
    0022851dmov rdi, r13
    00228520mov rsi, [rbx+8]
    00228524lea rdx, [rbx+8]
    00228528call r12
    0022852badd r15, 1
    0022852f
    0022852floc_22852f:
    0022852fcmp r15, [rbp+56]
    00228533jb 0x228500
    00228535mov r14, [rbp+80]
    00228539
    00228539loc_228539:
    00228539test r14, r14
    0022853cje 0x228593
    0022853enop [rax+rax]
    00228549nop [rax]
    0022854cmov eax, [r14+8]
    00228550
    00228550loc_228550:
    00228550lea rbx, [r14+16]
    00228554xor ebp, ebp
    00228556test eax, eax
    00228558je 0x22858b
    0022855anop
    0022855cmov rsi, [rbx]
    0022855fmov rdx, rbx
    00228562mov rdi, r13
    00228565add rbp, 1
    00228569call r12
    0022856cmov rsi, [rbx+8]
    00228570lea rdx, [rbx+8]
    00228574mov rdi, r13
    00228577call r12
    0022857amovsxd rax, [r14+8]
    0022857eadd rbx, 24
    00228582cmp rbp, rax
    00228585jb 0x228560
    00228587mov r14, [r14]
    0022858atest r14, r14
    0022858djne 0x228550
    0022858fadd rsp, 8
    00228593
    00228593loc_228593:
    00228593pop rbx
    00228594pop rbp
    00228595pop r12
    00228597pop r13
    00228599pop r14
    0022859bpop r15
    0022859dret
    0022859edb 0x5e
    0022859fpop r15
    002285a1ret
    00228480
    002285a2
    002285a2 // align 0x10
    002285b0
    002285b0caml_final_do_young_roots:
    002285b0push r15
    002285b2push r14
    002285b4mov r14l, r8l
    002285b7push r13
    002285b9mov r13, rdx
    002285bcpush r12
    002285bemov r12, rdi
    002285c1push rbp
    002285c2push rbx
    002285c3sub rsp, 8
    002285c7mov rbp, [rcx+176]
    002285cemov r15, [rbp+8]
    002285d2cmp r15, [rbp+16]
    002285d6jae 0x228614
    002285d8nop [rax]
    002285dcmov rdx, [rbp]
    002285e0
    002285e0loc_2285e0:
    002285e0lea rbx, [r15+2*r15]
    002285e4mov rdi, r13
    002285e7add r15, 1
    002285ebshl rbx, 3
    002285efadd rdx, rbx
    002285f2mov rsi, [rdx]
    002285f5call r12
    002285f8add rbx, [rbp]
    002285fcmov rdi, r13
    002285ffmov rsi, [rbx+8]
    00228603lea rdx, [rbx+8]
    00228607call r12
    0022860acmp r15, [rbp+16]
    0022860ejb 0x2285e0
    00228610mov r15, [rbp+48]
    00228614
    00228614loc_228614:
    00228614cmp r15, [rbp+56]
    00228618jae 0x228659
    0022861anop
    0022861cmov rdx, [rbp+40]
    00228620
    00228620loc_228620:
    00228620lea rbx, [r15+2*r15]
    00228624mov rdi, r13
    00228627shl rbx, 3
    0022862badd rdx, rbx
    0022862emov rsi, [rdx]
    00228631call r12
    00228634test r14l, r14l
    00228637je 0x22864f
    00228639add rbx, [rbp+40]
    0022863dmov rdi, r13
    00228640mov rsi, [rbx+8]
    00228644lea rdx, [rbx+8]
    00228648call r12
    0022864badd r15, 1
    0022864f
    0022864floc_22864f:
    0022864fcmp r15, [rbp+56]
    00228653jb 0x228620
    00228655add rsp, 8
    00228659
    00228659loc_228659:
    00228659pop rbx
    0022865apop rbp
    0022865bpop r12
    0022865dpop r13
    0022865fpop r14
    00228661pop r15
    00228663ret
    00228664db 0x5e
    00228665pop r15
    00228667ret
    002285b0
    00228668
    00228668 // align 0x20
    00228680
    00228680caml_final_update_last_minor:
    00228680push r15
    00228682push r14
    00228684push r13
    00228686push r12
    00228688push rbp
    00228689push rbx
    0022868asub rsp, 8
    0022868emov rbx, [rdi+176]
    00228695mov rbp, [rbx+48]
    00228699cmp rbp, [rbx+56]
    0022869djae 0x22876a
    002286a3mov r12, rdi
    002286a6xor r13l, r13l
    002286a9jmp 0x2286cd
    002286abdb 0x31
    002286acin eax, dx
    002286adjmp 0x2286cd
    002286af
    002286af 66 f
    002286b0 66 2e 0f 1f 84 00 00 00 00 00 66 0f 1f 44 00 00 f.........f..D..
    002286c0
    002286c0loc_2286c0:
    002286c0mov rdx, [rbx+56]
    002286c4add rbp, 1
    002286c8cmp rbp, rdx
    002286cbjae 0x228710
    002286cd
    002286cdloc_2286cd:
    002286cdmov rdx, [rbx+40]
    002286d1lea rax, [rbp+2*rbp]
    002286d6lea rax, [rdx+8*rax]
    002286damov rdi, [rax+8]
    002286decmp rdi, [rip+0x14fee3]
    002286e5jae 0x2286c0
    002286e7cmp [rip+0x14fee2], rdi
    002286eejae 0x2286c0
    002286f0call caml_get_header_val
    002286f5mov rdx, [rbx+56]
    002286f9cmp rax, 1
    002286fdsbb r13, -1
    00228701add rbp, 1
    00228705cmp rbp, rdx
    00228708jb 0x2286cd
    0022870anop [rax+rax]
    00228710
    00228710loc_228710:
    00228710test r13, r13
    00228713jne 0x228780
    00228715
    00228715loc_228715:
    00228715mov rax, [rbx+48]
    00228719cmp rax, rdx
    0022871cjae 0x22876a
    0022871elea rdx, [rax+2*rax]
    00228722mov rdi, [rip+0x14fe9f]
    00228729mov r8, [rip+0x14fea0]
    00228730shl rdx, 3
    00228734nop [rax+rax]
    0022873fnop
    00228740
    00228740loc_228740:
    00228740mov rsi, [rbx+40]
    00228744add rsi, rdx
    00228747mov rcx, [rsi+8]
    0022874bcmp rcx, rdi
    0022874ejae 0x22875c
    00228750cmp r8, rcx
    00228753jae 0x22875c
    00228755mov rcx, [rcx]
    00228758mov [rsi+8], rcx
    0022875c
    0022875cloc_22875c:
    0022875cadd rax, 1
    00228760add rdx, 24
    00228764cmp rax, [rbx+56]
    00228768jb 0x228740
    0022876a
    0022876aloc_22876a:
    0022876aadd rsp, 8
    0022876epop rbx
    0022876fpop rbp
    00228770pop r12
    00228772pop r13
    00228774pop r14
    00228776pop r15
    00228778ret
    00228779
    00228779 0f 1f 80 00 00 00 00 .......
    00228780
    00228780loc_228780:
    00228780mov rdi, r12
    00228783call caml_set_action_pending
    00228788mov esi, r13l
    0022878bmov rdi, r12
    0022878ecall fn_227fc0
    00228793mov r14, [rbx+48]
    00228797cmp r14, [rbx+56]
    0022879bjae 0x228860
    002287a1mov rbp, r14
    002287a4xor r15l, r15l
    002287a7jmp 0x2287d9
    002287a9
    002287a9 0f 1f 80 00 00 00 00 .......
    002287b0
    002287b0loc_2287b0:
    002287b0movdqu x0, [rax]
    002287b4lea rcx, [r14+2*r14]
    002287b8add rbp, 1
    002287bcadd r14, 1
    002287c0lea rdx, [rdx+8*rcx]
    002287c4movups [rdx], x0
    002287c7mov rax, [rax+16]
    002287cbmov [rdx+16], rax
    002287cfcmp rbp, [rbx+56]
    002287d3jae 0x228860
    002287d9
    002287d9loc_2287d9:
    002287d9mov rdx, [rbx+40]
    002287ddlea r12, [rbp+2*rbp]
    002287e2shl r12, 3
    002287e6lea rax, [rdx+r12]
    002287eamov rdi, [rax+8]
    002287eecmp rdi, [rip+0x14fdd3]
    002287f5jae 0x2287b0
    002287f7cmp [rip+0x14fdd2], rdi
    002287fejae 0x2287b0
    00228800call caml_get_header_val
    00228805mov rdx, [rbx+40]
    00228809mov rcx, rax
    0022880clea rax, [rdx+r12]
    00228810test rcx, rcx
    00228813je 0x2287b0
    00228815mov rcx, [rbx+88]
    00228819lea rdx, [r15+2*r15]
    0022881dmovdqu x0, [rax]
    00228821add r15, 1
    00228825shl rdx, 3
    00228829add rbp, 1
    0022882dadd rcx, rdx
    00228830movups [rcx+16], x0
    00228834mov rax, [rax+16]
    00228838mov [rcx+32], rax
    0022883cmov rax, [rbx+88]
    00228840add rax, rdx
    00228843mov [rax+24], 1
    0022884badd rdx, [rbx+88]
    0022884fmov [rdx+32], 0
    00228856cmp rbp, [rbx+56]
    0022885ajb 0x2287d9
    00228860
    00228860loc_228860:
    00228860mov rax, [rbx+88]
    00228864mov [rbx+56], r14
    00228868mov [rax+8], r13l
    0022886cmov rdx, [rbx+56]
    00228870jmp 0x228715
    00228680
    00228875
    00228875 // align 0x10
    00228880
    00228880caml_final_empty_young:
    00228880mov rax, [rdi+176]
    00228887mov rdx, [rax+16]
    0022888bmov [rax+8], rdx
    0022888fmov rdx, [rax+56]
    00228893mov [rax+48], rdx
    00228897ret
    00228898db 0x89
    00228899push rax
    0022889axor bl, al
    00228880
    0022889c
    0022889c // align 0x10
    002288a0
    002288a0caml_final_merge_finalisable:
    002288a0push r12
    002288a2push rbp
    002288a3mov rbp, rdi
    002288a6push rbx
    002288a7mov rax, [rdi+16]
    002288abmov rbx, rsi
    002288aemov rdx, [rsi+16]
    002288b2mov rdi, [rbx]
    002288b5lea rsi, [rdx+rax]
    002288b9cmp rsi, [rbx+24]
    002288bdjb 0x2288ea
    002288bflea r12, [rsi+rsi]
    002288c3add rsi, r12
    002288c6shl rsi, 4
    002288catest rdi, rdi
    002288cdje 0x228938
    002288cfcall caml_stat_resize
    002288d4mov [rbx], rax
    002288d7mov rdi, rax
    002288damov rdx, [rbx+16]
    002288demov [rbx+24], r12
    002288e2mov rax, [rbp+16]
    002288e6lea rax, [rax+2*rax]
    002288ea
    002288ealoc_2288ea:
    002288ealea rdx, [rdx+2*rdx]
    002288eemov rsi, rdi
    002288f1lea rax, [rdi+8*rax]
    002288f5shl rdx, 3
    002288f9mov rdi, rax
    002288fccall fn_f4520
    00228901mov rax, [rbp+16]
    00228905mov rdi, [rbx]
    00228908mov rsi, [rbp]
    0022890clea rdx, [rax+2*rax]
    00228910shl rdx, 3
    00228914call fn_f47d0
    00228919mov rax, [rbp+16]
    0022891dadd [rbx+8], rax
    00228921mov rax, [rbp+16]
    00228925add [rbx+16], rax
    00228929pop rbx
    0022892apop rbp
    0022892bpop r12
    0022892dret
    0022892edb 0x5d
    0022892fpop r12
    00228931ret
    00228932
    00228932 66 0f 1f 44 00 00 f..D..
    00228938
    00228938loc_228938:
    00228938mov rdi, rsi
    0022893bcall caml_stat_alloc
    00228940jmp 0x2288d8
    002288a0