File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001cb4c0
001cb4c0camlCamlinternalFormat.format_of_iconvl_3435:
001cb4c0sar rax, 1
001cb4c3lea rdx, [rip+0x62b3e]
001cb4camovsxd rax, [rdx+4*rax]
001cb4ceadd rdx, rax
001cb4d1jmp rdx
001cb4d3nop
001cb4d4lea rax, [rip+0x182cfd]
001cb4dbret
001cb4dclea rax, [rip+0x182cd5]
001cb4e3ret
001cb4e4lea rax, [rip+0x182cbd]
001cb4ebret
001cb4eclea rax, [rip+0x182ca5]
001cb4f3ret
001cb4f4lea rax, [rip+0x182c8d]
001cb4fbret
001cb4fclea rax, [rip+0x182c75]
001cb503ret
001cb504lea rax, [rip+0x182c5d]
001cb50bret
001cb50clea rax, [rip+0x182c45]
001cb513ret
001cb514lea rax, [rip+0x182c2d]
001cb51bret
001cb51clea rax, [rip+0x182c15]
001cb523ret
001cb524lea rax, [rip+0x182bfd]
001cb52bret
001cb52clea rax, [rip+0x18435d]
001cb533ret
001cb534lea rax, [rip+0x182bcd]
001cb53bret
001cb4c0
001cb4c0camlCamlinternalFormat.format_of_iconvl_3435:
001cb4c0sar rax, 1
001cb4c3lea rdx, [rip+0x62b3e]
001cb4camovsxd rax, [rdx+4*rax]
001cb4ceadd rdx, rax
001cb4d1jmp rdx
001cb4d3nop
001cb4d4lea rax, [rip+0x182cfd]
001cb4dbret
001cb4dclea rax, [rip+0x182cd5]
001cb4e3ret
001cb4e4lea rax, [rip+0x182cbd]
001cb4ebret
001cb4eclea rax, [rip+0x182ca5]
001cb4f3ret
001cb4f4lea rax, [rip+0x182c8d]
001cb4fbret
001cb4fclea rax, [rip+0x182c75]
001cb503ret
001cb504lea rax, [rip+0x182c5d]
001cb50bret
001cb50clea rax, [rip+0x182c45]
001cb513ret
001cb514lea rax, [rip+0x182c2d]
001cb51bret
001cb51clea rax, [rip+0x182c15]
001cb523ret
001cb524lea rax, [rip+0x182bfd]
001cb52bret
001cb52clea rax, [rip+0x18435d]
001cb533ret
001cb534lea rax, [rip+0x182bcd]
001cb53bret
001cb4c0
001cb53c
001cb53c // align 0x10
001cb53c // align 0x10
001cb540
001cb540camlCamlinternalFormat.format_of_iconvn_3438:
001cb540sar rax, 1
001cb543lea rdx, [rip+0x62afe]
001cb54amovsxd rax, [rdx+4*rax]
001cb54eadd rdx, rax
001cb551jmp rdx
001cb553nop
001cb554lea rax, [rip+0x182b9d]
001cb55bret
001cb55clea rax, [rip+0x182b85]
001cb563ret
001cb564lea rax, [rip+0x182b6d]
001cb56bret
001cb56clea rax, [rip+0x182b55]
001cb573ret
001cb574lea rax, [rip+0x182b3d]
001cb57bret
001cb57clea rax, [rip+0x182b25]
001cb583ret
001cb584lea rax, [rip+0x182b0d]
001cb58bret
001cb58clea rax, [rip+0x182af5]
001cb593ret
001cb594lea rax, [rip+0x182add]
001cb59bret
001cb59clea rax, [rip+0x18464d]
001cb5a3ret
001cb5a4lea rax, [rip+0x184635]
001cb5abret
001cb5aclea rax, [rip+0x1841fd]
001cb5b3ret
001cb5b4lea rax, [rip+0x184615]
001cb5bbret
001cb540
001cb540camlCamlinternalFormat.format_of_iconvn_3438:
001cb540sar rax, 1
001cb543lea rdx, [rip+0x62afe]
001cb54amovsxd rax, [rdx+4*rax]
001cb54eadd rdx, rax
001cb551jmp rdx
001cb553nop
001cb554lea rax, [rip+0x182b9d]
001cb55bret
001cb55clea rax, [rip+0x182b85]
001cb563ret
001cb564lea rax, [rip+0x182b6d]
001cb56bret
001cb56clea rax, [rip+0x182b55]
001cb573ret
001cb574lea rax, [rip+0x182b3d]
001cb57bret
001cb57clea rax, [rip+0x182b25]
001cb583ret
001cb584lea rax, [rip+0x182b0d]
001cb58bret
001cb58clea rax, [rip+0x182af5]
001cb593ret
001cb594lea rax, [rip+0x182add]
001cb59bret
001cb59clea rax, [rip+0x18464d]
001cb5a3ret
001cb5a4lea rax, [rip+0x184635]
001cb5abret
001cb5aclea rax, [rip+0x1841fd]
001cb5b3ret
001cb5b4lea rax, [rip+0x184615]
001cb5bbret
001cb540
001cb5bc
001cb5bc // align 0x10
001cb5bc // align 0x10
001cb5c0
001cb5c0camlCamlinternalFormat.format_of_fconv_3441:
001cb5c0lea r10, [rsp-352]
001cb5c8cmp r10, [r14+40]
001cb5ccjb 0x1cb688
001cb5d2
001cb5d2loc_1cb5d2:
001cb5d2sub rsp, 32
001cb5d6mov rdi, rax
001cb5d9mov [rsp], rdi
001cb5ddmov rax, rbx
001cb5e0cmp rax, 1
001cb5e4jl 0x1cb5f0
001cb5e6mov [rsp+8], rax
001cb5ebjmp 0x1cb600
001cb5ed
001cb5ed 0f 1f 00 ...
001cb5f0
001cb5f0loc_1cb5f0:
001cb5f0mov ebx, 2
001cb5f5sub rbx, rax
001cb5f8mov rax, rbx
001cb5fbmov [rsp+8], rax
001cb600
001cb600loc_1cb600:
001cb600mov eax, 207
001cb605mov rbx, rdi
001cb608call camlCamlinternalFormat.char_of_fconv_inner_5938
001cb60dmov [rsp+16], rax
001cb612mov eax, 33
001cb617call camlCamlinternalFormat.buffer_create_596
001cb61cmov [rsp+24], rax
001cb621mov ebx, 75
001cb626call camlCamlinternalFormat.buffer_add_char_638
001cb62bmov rax, [rsp+24]
001cb630mov rbx, [rsp]
001cb634call camlCamlinternalFormat.bprint_fconv_flag_752
001cb639mov ebx, 93
001cb63emov rax, [rsp+24]
001cb643call camlCamlinternalFormat.buffer_add_char_638
001cb648mov rax, [rsp+8]
001cb64dcall Stdlib.Int.to_string
001cb652mov rbx, rax
001cb655mov rax, [rsp+24]
001cb65acall camlCamlinternalFormat.buffer_add_string_642
001cb65fmov rax, [rsp+24]
001cb664mov rbx, [rsp+16]
001cb669call camlCamlinternalFormat.buffer_add_char_638
001cb66emov rax, [rsp+24]
001cb673mov rdi, [rax]
001cb676mov rax, [rax+8]
001cb67amov ebx, 1
001cb67fadd rsp, 32
001cb683jmp 0x1a63e0
001cb688
001cb688loc_1cb688:
001cb688push 37
001cb68acall caml_call_realloc_stack
001cb68fpop r10
001cb691jmp 0x1cb5d2
001cb5c0
001cb5c0camlCamlinternalFormat.format_of_fconv_3441:
001cb5c0lea r10, [rsp-352]
001cb5c8cmp r10, [r14+40]
001cb5ccjb 0x1cb688
001cb5d2
001cb5d2loc_1cb5d2:
001cb5d2sub rsp, 32
001cb5d6mov rdi, rax
001cb5d9mov [rsp], rdi
001cb5ddmov rax, rbx
001cb5e0cmp rax, 1
001cb5e4jl 0x1cb5f0
001cb5e6mov [rsp+8], rax
001cb5ebjmp 0x1cb600
001cb5ed
001cb5ed 0f 1f 00 ...
001cb5f0
001cb5f0loc_1cb5f0:
001cb5f0mov ebx, 2
001cb5f5sub rbx, rax
001cb5f8mov rax, rbx
001cb5fbmov [rsp+8], rax
001cb600
001cb600loc_1cb600:
001cb600mov eax, 207
001cb605mov rbx, rdi
001cb608call camlCamlinternalFormat.char_of_fconv_inner_5938
001cb60dmov [rsp+16], rax
001cb612mov eax, 33
001cb617call camlCamlinternalFormat.buffer_create_596
001cb61cmov [rsp+24], rax
001cb621mov ebx, 75
001cb626call camlCamlinternalFormat.buffer_add_char_638
001cb62bmov rax, [rsp+24]
001cb630mov rbx, [rsp]
001cb634call camlCamlinternalFormat.bprint_fconv_flag_752
001cb639mov ebx, 93
001cb63emov rax, [rsp+24]
001cb643call camlCamlinternalFormat.buffer_add_char_638
001cb648mov rax, [rsp+8]
001cb64dcall Stdlib.Int.to_string
001cb652mov rbx, rax
001cb655mov rax, [rsp+24]
001cb65acall camlCamlinternalFormat.buffer_add_string_642
001cb65fmov rax, [rsp+24]
001cb664mov rbx, [rsp+16]
001cb669call camlCamlinternalFormat.buffer_add_char_638
001cb66emov rax, [rsp+24]
001cb673mov rdi, [rax]
001cb676mov rax, [rax+8]
001cb67amov ebx, 1
001cb67fadd rsp, 32
001cb683jmp 0x1a63e0
001cb688
001cb688loc_1cb688:
001cb688push 37
001cb68acall caml_call_realloc_stack
001cb68fpop r10
001cb691jmp 0x1cb5d2
001cb5c0
001cb696
001cb696 // align 0x10
001cb696 // align 0x10
001cb6a0
001cb6a0camlCamlinternalFormat.transform_int_alt_3448:
001cb6a0sub rsp, 16
001cb6a4cmp rax, 27
001cb6a8jl 0x1cb914
001cb6aemov [rsp+8], rbx
001cb6b3mov eax, 1
001cb6b8mov edi, 1
001cb6bdmov rsi, [rbx-8]
001cb6c1shr rsi, 10
001cb6c5lea rsi, [8*rsi-1]
001cb6cdmovzx rdx, [rbx+rsi]
001cb6d2sub rsi, rdx
001cb6d5lea rsi, [rsi+rsi-1]
001cb6dacmp rdi, rsi
001cb6ddjg 0x1cb713
001cb6df
001cb6dfloc_1cb6df:
001cb6dfmov rdx, rdi
001cb6e2sar rdx, 1
001cb6e5movzx rdx, [rbx+rdx]
001cb6ealea rdx, [rdx+rdx+1]
001cb6efadd rdx, -96
001cb6f3cmp rdx, 19
001cb6f7ja 0x1cb6fd
001cb6f9add rax, 2
001cb6fd
001cb6fdloc_1cb6fd:
001cb6fdmov rdx, rdi
001cb700add rdi, 2
001cb704cmp rdx, rsi
001cb707je 0x1cb713
001cb709cmp r15, [r14]
001cb70cja 0x1cb6df
001cb70ejmp 0x1cb930
001cb713
001cb713loc_1cb713:
001cb713mov [rsp], rax
001cb717add rax, -2
001cb71bsar rax, 1
001cb71emov rdi, rax
001cb721shr rdi, 63
001cb725mov rsi, 0x5555555555555556
001cb72fimul rsi
001cb732add rdx, rdi
001cb735mov rax, [rbx-8]
001cb739shr rax, 10
001cb73dlea rax, [8*rax-1]
001cb745movzx rbx, [rbx+rax]
001cb74asub rax, rbx
001cb74dshl rax, 1
001cb750lea rdi, [rax+2*rdx+1]
001cb755lea rax, [rip+0x558d4]
001cb75ccall caml_c_call
001cb761mov r13, rax
001cb764sub r15, 56
001cb768cmp r15, [r14]
001cb76bjb 0x1cb926
001cb771
001cb771loc_1cb771:
001cb771lea rax, [r15+8]
001cb775add rax, 40
001cb779mov [rax-8], 1024
001cb781mov [rax], 1
001cb788lea rcx, [rax-40]
001cb78cmov [rcx-8], 4343
001cb794lea rbx, [rip+437]
001cb79bmov [rcx], rbx
001cb79emov rbx, 0x100000000000005
001cb7a8mov [rcx+8], rbx
001cb7acmov [rcx+16], r13
001cb7b0mov [rcx+24], rax
001cb7b4mov rbx, [rsp]
001cb7b8add rbx, -2
001cb7bcsar rbx, 1
001cb7bfmov rdi, rbx
001cb7c2shr rdi, 63
001cb7c6mov rsi, 0x5555555555555556
001cb7d0mov rax, rbx
001cb7d3imul rsi
001cb7d6add rdx, rdi
001cb7d9imul rdx, rdx, 3
001cb7ddsub rbx, rdx
001cb7e0lea rdx, [rbx+rbx+3]
001cb7e5mov r8l, 1
001cb7ebmov r12, [rsp+8]
001cb7f0mov rax, [r12-8]
001cb7f5shr rax, 10
001cb7f9lea rax, [8*rax-1]
001cb801movzx rbx, [r12+rax]
001cb806sub rax, rbx
001cb809lea r9, [rax+rax-1]
001cb80ecmp r8, r9
001cb811jg 0x1cb90b
001cb817
001cb817loc_1cb817:
001cb817mov rax, r8
001cb81asar rax, 1
001cb81dmovzx rax, [r12+rax]
001cb822lea rdi, [rax+rax+1]
001cb827mov rax, rdi
001cb82aadd rax, -96
001cb82ecmp rax, 19
001cb832jbe 0x1cb874
001cb834sar rdi, 1
001cb837mov rsi, [rcx+24]
001cb83bmov rax, [rsi]
001cb83esar rax, 1
001cb841mov rbx, [rcx+16]
001cb845mov r10, [rbx-8]
001cb849shr r10, 10
001cb84dlea r10, [8*r10-1]
001cb855movzx r11, [rbx+r10]
001cb85asub r10, r11
001cb85dcmp r10, rax
001cb860jbe 0x1cb944
001cb866mov [rbx+rax], dil
001cb86aadd [rsi], 2
001cb86ejmp 0x1cb8f4
001cb873
001cb873 90 .
001cb874
001cb874loc_1cb874:
001cb874cmp rdx, 1
001cb878jne 0x1cb8ba
001cb87amov rsi, [rcx+24]
001cb87emov rax, [rsi]
001cb881sar rax, 1
001cb884mov rbx, [rcx+16]
001cb888mov rdx, [rbx-8]
001cb88cshr rdx, 10
001cb890lea rdx, [8*rdx-1]
001cb898movzx r10, [rbx+rdx]
001cb89dsub rdx, r10
001cb8a0cmp rdx, rax
001cb8a3jbe 0x1cb93f
001cb8a9mov edx, 95
001cb8aemov [rbx+rax], dl
001cb8b1add [rsi], 2
001cb8b5mov edx, 7
001cb8ba
001cb8baloc_1cb8ba:
001cb8baadd rdx, -2
001cb8besar rdi, 1
001cb8c1mov rsi, [rcx+24]
001cb8c5mov rax, [rsi]
001cb8c8sar rax, 1
001cb8cbmov rbx, [rcx+16]
001cb8cfmov r10, [rbx-8]
001cb8d3shr r10, 10
001cb8d7lea r10, [8*r10-1]
001cb8dfmovzx r11, [rbx+r10]
001cb8e4sub r10, r11
001cb8e7cmp r10, rax
001cb8eajbe 0x1cb93a
001cb8ecmov [rbx+rax], dil
001cb8f0add [rsi], 2
001cb8f4
001cb8f4loc_1cb8f4:
001cb8f4mov rax, r8
001cb8f7add r8, 2
001cb8fbcmp rax, r9
001cb8feje 0x1cb90b
001cb900cmp r15, [r14]
001cb903ja 0x1cb817
001cb909jmp 0x1cb91c
001cb90b
001cb90bloc_1cb90b:
001cb90bmov rax, r13
001cb90eadd rsp, 16
001cb912ret
001cb913
001cb913 90 .
001cb914
001cb914loc_1cb914:
001cb914mov rax, rbx
001cb917add rsp, 16
001cb91bret
001cb91c
001cb91cloc_1cb91c:
001cb91ccall caml_call_gc
001cb921jmp 0x1cb817
001cb926
001cb926loc_1cb926:
001cb926call caml_call_gc
001cb92bjmp 0x1cb771
001cb930
001cb930loc_1cb930:
001cb930call caml_call_gc
001cb935jmp 0x1cb6df
001cb93a
001cb93aloc_1cb93a:
001cb93acall caml_ml_array_bound_error
001cb93f
001cb93floc_1cb93f:
001cb93fcall caml_ml_array_bound_error
001cb944
001cb944loc_1cb944:
001cb944call caml_ml_array_bound_error
001cb6a0
001cb6a0camlCamlinternalFormat.transform_int_alt_3448:
001cb6a0sub rsp, 16
001cb6a4cmp rax, 27
001cb6a8jl 0x1cb914
001cb6aemov [rsp+8], rbx
001cb6b3mov eax, 1
001cb6b8mov edi, 1
001cb6bdmov rsi, [rbx-8]
001cb6c1shr rsi, 10
001cb6c5lea rsi, [8*rsi-1]
001cb6cdmovzx rdx, [rbx+rsi]
001cb6d2sub rsi, rdx
001cb6d5lea rsi, [rsi+rsi-1]
001cb6dacmp rdi, rsi
001cb6ddjg 0x1cb713
001cb6df
001cb6dfloc_1cb6df:
001cb6dfmov rdx, rdi
001cb6e2sar rdx, 1
001cb6e5movzx rdx, [rbx+rdx]
001cb6ealea rdx, [rdx+rdx+1]
001cb6efadd rdx, -96
001cb6f3cmp rdx, 19
001cb6f7ja 0x1cb6fd
001cb6f9add rax, 2
001cb6fd
001cb6fdloc_1cb6fd:
001cb6fdmov rdx, rdi
001cb700add rdi, 2
001cb704cmp rdx, rsi
001cb707je 0x1cb713
001cb709cmp r15, [r14]
001cb70cja 0x1cb6df
001cb70ejmp 0x1cb930
001cb713
001cb713loc_1cb713:
001cb713mov [rsp], rax
001cb717add rax, -2
001cb71bsar rax, 1
001cb71emov rdi, rax
001cb721shr rdi, 63
001cb725mov rsi, 0x5555555555555556
001cb72fimul rsi
001cb732add rdx, rdi
001cb735mov rax, [rbx-8]
001cb739shr rax, 10
001cb73dlea rax, [8*rax-1]
001cb745movzx rbx, [rbx+rax]
001cb74asub rax, rbx
001cb74dshl rax, 1
001cb750lea rdi, [rax+2*rdx+1]
001cb755lea rax, [rip+0x558d4]
001cb75ccall caml_c_call
001cb761mov r13, rax
001cb764sub r15, 56
001cb768cmp r15, [r14]
001cb76bjb 0x1cb926
001cb771
001cb771loc_1cb771:
001cb771lea rax, [r15+8]
001cb775add rax, 40
001cb779mov [rax-8], 1024
001cb781mov [rax], 1
001cb788lea rcx, [rax-40]
001cb78cmov [rcx-8], 4343
001cb794lea rbx, [rip+437]
001cb79bmov [rcx], rbx
001cb79emov rbx, 0x100000000000005
001cb7a8mov [rcx+8], rbx
001cb7acmov [rcx+16], r13
001cb7b0mov [rcx+24], rax
001cb7b4mov rbx, [rsp]
001cb7b8add rbx, -2
001cb7bcsar rbx, 1
001cb7bfmov rdi, rbx
001cb7c2shr rdi, 63
001cb7c6mov rsi, 0x5555555555555556
001cb7d0mov rax, rbx
001cb7d3imul rsi
001cb7d6add rdx, rdi
001cb7d9imul rdx, rdx, 3
001cb7ddsub rbx, rdx
001cb7e0lea rdx, [rbx+rbx+3]
001cb7e5mov r8l, 1
001cb7ebmov r12, [rsp+8]
001cb7f0mov rax, [r12-8]
001cb7f5shr rax, 10
001cb7f9lea rax, [8*rax-1]
001cb801movzx rbx, [r12+rax]
001cb806sub rax, rbx
001cb809lea r9, [rax+rax-1]
001cb80ecmp r8, r9
001cb811jg 0x1cb90b
001cb817
001cb817loc_1cb817:
001cb817mov rax, r8
001cb81asar rax, 1
001cb81dmovzx rax, [r12+rax]
001cb822lea rdi, [rax+rax+1]
001cb827mov rax, rdi
001cb82aadd rax, -96
001cb82ecmp rax, 19
001cb832jbe 0x1cb874
001cb834sar rdi, 1
001cb837mov rsi, [rcx+24]
001cb83bmov rax, [rsi]
001cb83esar rax, 1
001cb841mov rbx, [rcx+16]
001cb845mov r10, [rbx-8]
001cb849shr r10, 10
001cb84dlea r10, [8*r10-1]
001cb855movzx r11, [rbx+r10]
001cb85asub r10, r11
001cb85dcmp r10, rax
001cb860jbe 0x1cb944
001cb866mov [rbx+rax], dil
001cb86aadd [rsi], 2
001cb86ejmp 0x1cb8f4
001cb873
001cb873 90 .
001cb874
001cb874loc_1cb874:
001cb874cmp rdx, 1
001cb878jne 0x1cb8ba
001cb87amov rsi, [rcx+24]
001cb87emov rax, [rsi]
001cb881sar rax, 1
001cb884mov rbx, [rcx+16]
001cb888mov rdx, [rbx-8]
001cb88cshr rdx, 10
001cb890lea rdx, [8*rdx-1]
001cb898movzx r10, [rbx+rdx]
001cb89dsub rdx, r10
001cb8a0cmp rdx, rax
001cb8a3jbe 0x1cb93f
001cb8a9mov edx, 95
001cb8aemov [rbx+rax], dl
001cb8b1add [rsi], 2
001cb8b5mov edx, 7
001cb8ba
001cb8baloc_1cb8ba:
001cb8baadd rdx, -2
001cb8besar rdi, 1
001cb8c1mov rsi, [rcx+24]
001cb8c5mov rax, [rsi]
001cb8c8sar rax, 1
001cb8cbmov rbx, [rcx+16]
001cb8cfmov r10, [rbx-8]
001cb8d3shr r10, 10
001cb8d7lea r10, [8*r10-1]
001cb8dfmovzx r11, [rbx+r10]
001cb8e4sub r10, r11
001cb8e7cmp r10, rax
001cb8eajbe 0x1cb93a
001cb8ecmov [rbx+rax], dil
001cb8f0add [rsi], 2
001cb8f4
001cb8f4loc_1cb8f4:
001cb8f4mov rax, r8
001cb8f7add r8, 2
001cb8fbcmp rax, r9
001cb8feje 0x1cb90b
001cb900cmp r15, [r14]
001cb903ja 0x1cb817
001cb909jmp 0x1cb91c
001cb90b
001cb90bloc_1cb90b:
001cb90bmov rax, r13
001cb90eadd rsp, 16
001cb912ret
001cb913
001cb913 90 .
001cb914
001cb914loc_1cb914:
001cb914mov rax, rbx
001cb917add rsp, 16
001cb91bret
001cb91c
001cb91cloc_1cb91c:
001cb91ccall caml_call_gc
001cb921jmp 0x1cb817
001cb926
001cb926loc_1cb926:
001cb926call caml_call_gc
001cb92bjmp 0x1cb771
001cb930
001cb930loc_1cb930:
001cb930call caml_call_gc
001cb935jmp 0x1cb6df
001cb93a
001cb93aloc_1cb93a:
001cb93acall caml_ml_array_bound_error
001cb93f
001cb93floc_1cb93f:
001cb93fcall caml_ml_array_bound_error
001cb944
001cb944loc_1cb944:
001cb944call caml_ml_array_bound_error
001cb6a0
001cb949
001cb949 // align 0x10
001cb949 // align 0x10
001cb950
001cb950camlCamlinternalFormat.put_3457:
001cb950sar rax, 1
001cb953mov rdi, [rbx+24]
001cb957mov rsi, [rdi]
001cb95asar rsi, 1
001cb95dmov rbx, [rbx+16]
001cb961mov rdx, [rbx-8]
001cb965shr rdx, 10
001cb969lea rdx, [8*rdx-1]
001cb971movzx rcx, [rbx+rdx]
001cb976sub rdx, rcx
001cb979cmp rdx, rsi
001cb97cjbe 0x1cb98b
001cb97emov [rbx+rsi], al
001cb981add [rdi], 2
001cb985mov eax, 1
001cb98aret
001cb98b
001cb98bloc_1cb98b:
001cb98bcall caml_ml_array_bound_error
001cb950
001cb950camlCamlinternalFormat.put_3457:
001cb950sar rax, 1
001cb953mov rdi, [rbx+24]
001cb957mov rsi, [rdi]
001cb95asar rsi, 1
001cb95dmov rbx, [rbx+16]
001cb961mov rdx, [rbx-8]
001cb965shr rdx, 10
001cb969lea rdx, [8*rdx-1]
001cb971movzx rcx, [rbx+rdx]
001cb976sub rdx, rcx
001cb979cmp rdx, rsi
001cb97cjbe 0x1cb98b
001cb97emov [rbx+rsi], al
001cb981add [rdi], 2
001cb985mov eax, 1
001cb98aret
001cb98b
001cb98bloc_1cb98b:
001cb98bcall caml_ml_array_bound_error
001cb950
001cb990
001cb990camlCamlinternalFormat.convert_int_3464:
001cb990lea r10, [rsp-336]
001cb998cmp r10, [r14+40]
001cb99cjb 0x1cb9d4
001cb99e
001cb99eloc_1cb99e:
001cb99esub rsp, 16
001cb9a2mov [rsp+8], rax
001cb9a7mov [rsp], rbx
001cb9abcall camlCamlinternalFormat.format_of_iconv_3429
001cb9b0mov rdi, rax
001cb9b3mov rsi, [rsp]
001cb9b7lea rax, [rip+0x41a52]
001cb9becall caml_c_call
001cb9c3mov rbx, rax
001cb9c6mov rax, [rsp+8]
001cb9cbadd rsp, 16
001cb9cfjmp 0x1cb6a0
001cb9d4
001cb9d4loc_1cb9d4:
001cb9d4push 35
001cb9d6call caml_call_realloc_stack
001cb9dbpop r10
001cb9ddjmp 0x1cb99e
001cb990
001cb990camlCamlinternalFormat.convert_int_3464:
001cb990lea r10, [rsp-336]
001cb998cmp r10, [r14+40]
001cb99cjb 0x1cb9d4
001cb99e
001cb99eloc_1cb99e:
001cb99esub rsp, 16
001cb9a2mov [rsp+8], rax
001cb9a7mov [rsp], rbx
001cb9abcall camlCamlinternalFormat.format_of_iconv_3429
001cb9b0mov rdi, rax
001cb9b3mov rsi, [rsp]
001cb9b7lea rax, [rip+0x41a52]
001cb9becall caml_c_call
001cb9c3mov rbx, rax
001cb9c6mov rax, [rsp+8]
001cb9cbadd rsp, 16
001cb9cfjmp 0x1cb6a0
001cb9d4
001cb9d4loc_1cb9d4:
001cb9d4push 35
001cb9d6call caml_call_realloc_stack
001cb9dbpop r10
001cb9ddjmp 0x1cb99e
001cb990
001cb9df
001cb9df // align 0x10
001cb9df // align 0x10
001cb9e0
001cb9e0camlCamlinternalFormat.convert_int32_3468:
001cb9e0lea r10, [rsp-336]
001cb9e8cmp r10, [r14+40]
001cb9ecjb 0x1cba24
001cb9ee
001cb9eeloc_1cb9ee:
001cb9eesub rsp, 16
001cb9f2mov [rsp+8], rax
001cb9f7mov [rsp], rbx
001cb9fbcall camlCamlinternalFormat.format_of_iconvl_3435
001cba00mov rdi, rax
001cba03mov rsi, [rsp]
001cba07lea rax, [rip+0x41e92]
001cba0ecall caml_c_call
001cba13mov rbx, rax
001cba16mov rax, [rsp+8]
001cba1badd rsp, 16
001cba1fjmp 0x1cb6a0
001cba24
001cba24loc_1cba24:
001cba24push 35
001cba26call caml_call_realloc_stack
001cba2bpop r10
001cba2djmp 0x1cb9ee
001cb9e0
001cb9e0camlCamlinternalFormat.convert_int32_3468:
001cb9e0lea r10, [rsp-336]
001cb9e8cmp r10, [r14+40]
001cb9ecjb 0x1cba24
001cb9ee
001cb9eeloc_1cb9ee:
001cb9eesub rsp, 16
001cb9f2mov [rsp+8], rax
001cb9f7mov [rsp], rbx
001cb9fbcall camlCamlinternalFormat.format_of_iconvl_3435
001cba00mov rdi, rax
001cba03mov rsi, [rsp]
001cba07lea rax, [rip+0x41e92]
001cba0ecall caml_c_call
001cba13mov rbx, rax
001cba16mov rax, [rsp+8]
001cba1badd rsp, 16
001cba1fjmp 0x1cb6a0
001cba24
001cba24loc_1cba24:
001cba24push 35
001cba26call caml_call_realloc_stack
001cba2bpop r10
001cba2djmp 0x1cb9ee
001cb9e0
001cba2f
001cba2f // align 0x10
001cba2f // align 0x10
001cba30
001cba30camlCamlinternalFormat.convert_nativeint_3472:
001cba30lea r10, [rsp-336]
001cba38cmp r10, [r14+40]
001cba3cjb 0x1cba74
001cba3e
001cba3eloc_1cba3e:
001cba3esub rsp, 16
001cba42mov [rsp+8], rax
001cba47mov [rsp], rbx
001cba4bcall camlCamlinternalFormat.format_of_iconvn_3438
001cba50mov rdi, rax
001cba53mov rsi, [rsp]
001cba57lea rax, [rip+0x42b42]
001cba5ecall caml_c_call
001cba63mov rbx, rax
001cba66mov rax, [rsp+8]
001cba6badd rsp, 16
001cba6fjmp 0x1cb6a0
001cba74
001cba74loc_1cba74:
001cba74push 35
001cba76call caml_call_realloc_stack
001cba7bpop r10
001cba7djmp 0x1cba3e
001cba30
001cba30camlCamlinternalFormat.convert_nativeint_3472:
001cba30lea r10, [rsp-336]
001cba38cmp r10, [r14+40]
001cba3cjb 0x1cba74
001cba3e
001cba3eloc_1cba3e:
001cba3esub rsp, 16
001cba42mov [rsp+8], rax
001cba47mov [rsp], rbx
001cba4bcall camlCamlinternalFormat.format_of_iconvn_3438
001cba50mov rdi, rax
001cba53mov rsi, [rsp]
001cba57lea rax, [rip+0x42b42]
001cba5ecall caml_c_call
001cba63mov rbx, rax
001cba66mov rax, [rsp+8]
001cba6badd rsp, 16
001cba6fjmp 0x1cb6a0
001cba74
001cba74loc_1cba74:
001cba74push 35
001cba76call caml_call_realloc_stack
001cba7bpop r10
001cba7djmp 0x1cba3e
001cba30
001cba7f
001cba7f // align 0x10
001cba7f // align 0x10
001cba80
001cba80camlCamlinternalFormat.convert_int64_3476:
001cba80lea r10, [rsp-336]
001cba88cmp r10, [r14+40]
001cba8cjb 0x1cbac4
001cba8e
001cba8eloc_1cba8e:
001cba8esub rsp, 16
001cba92mov [rsp+8], rax
001cba97mov [rsp], rbx
001cba9bcall camlCamlinternalFormat.format_of_iconvL_3432
001cbaa0mov rdi, rax
001cbaa3mov rsi, [rsp]
001cbaa7lea rax, [rip+0x42422]
001cbaaecall caml_c_call
001cbab3mov rbx, rax
001cbab6mov rax, [rsp+8]
001cbabbadd rsp, 16
001cbabfjmp 0x1cb6a0
001cbac4
001cbac4loc_1cbac4:
001cbac4push 35
001cbac6call caml_call_realloc_stack
001cbacbpop r10
001cbacdjmp 0x1cba8e
001cba80
001cba80camlCamlinternalFormat.convert_int64_3476:
001cba80lea r10, [rsp-336]
001cba88cmp r10, [r14+40]
001cba8cjb 0x1cbac4
001cba8e
001cba8eloc_1cba8e:
001cba8esub rsp, 16
001cba92mov [rsp+8], rax
001cba97mov [rsp], rbx
001cba9bcall camlCamlinternalFormat.format_of_iconvL_3432
001cbaa0mov rdi, rax
001cbaa3mov rsi, [rsp]
001cbaa7lea rax, [rip+0x42422]
001cbaaecall caml_c_call
001cbab3mov rbx, rax
001cbab6mov rax, [rsp+8]
001cbabbadd rsp, 16
001cbabfjmp 0x1cb6a0
001cbac4
001cbac4loc_1cbac4:
001cbac4push 35
001cbac6call caml_call_realloc_stack
001cbacbpop r10
001cbacdjmp 0x1cba8e
001cba80
001cbacf
001cbacf // align 0x10
001cbacf // align 0x10
001cbad0
001cbad0camlCamlinternalFormat.convert_float_3480:
001cbad0lea r10, [rsp-336]
001cbad8cmp r10, [r14+40]
001cbadcjb 0x1cbcd4
001cbae2
001cbae2loc_1cbae2:
001cbae2sub rsp, 16
001cbae6mov rsi, rax
001cbae9mov [rsp], rdi
001cbaedsub r15, 48
001cbaf1cmp r15, [r14]
001cbaf4jb 0x1cbcca
001cbafa
001cbafaloc_1cbafa:
001cbafalea rcx, [r15+8]
001cbafemov [rcx-8], 5367
001cbb06lea rax, [rip+483]
001cbb0dmov [rcx], rax
001cbb10mov rax, 0x100000000000005
001cbb1amov [rcx+8], rax
001cbb1emov [rcx+16], rsi
001cbb22mov [rcx+24], rbx
001cbb26mov [rcx+32], rdi
001cbb2amov rax, [rsi+8]
001cbb2esar rax, 1
001cbb31lea rdx, [rip+0x62550]
001cbb38movsxd rax, [rdx+4*rax]
001cbb3cadd rdx, rax
001cbb3fjmp rdx
001cbb41nop [rax]
001cbb44mov rax, rsi
001cbb47call camlCamlinternalFormat.format_of_fconv_3441
001cbb4cmov rdi, rax
001cbb4fmov rsi, [rsp]
001cbb53lea rax, [rip+0x3bb16]
001cbb5acall caml_c_call
001cbb5fmov [rsp+8], rax
001cbb64mov rbx, [rax-8]
001cbb68shr rbx, 10
001cbb6clea rbx, [8*rbx-1]
001cbb74movzx rdi, [rax+rbx]
001cbb79sub rbx, rdi
001cbb7clea rdi, [rbx+rbx+1]
001cbb81sub r15, 40
001cbb85cmp r15, [r14]
001cbb88jb 0x1cbcc0
001cbb8e
001cbb8eloc_1cbb8e:
001cbb8elea rbx, [r15+8]
001cbb92mov [rbx-8], 4343
001cbb9alea rsi, [rip+383]
001cbba1mov [rbx], rsi
001cbba4mov rsi, 0x100000000000005
001cbbaemov [rbx+8], rsi
001cbbb2mov [rbx+16], rdi
001cbbb6mov [rbx+24], rax
001cbbbamov eax, 1
001cbbbfcall camlCamlinternalFormat.is_valid_3493
001cbbc4cmp rax, 1
001cbbc8je 0x1cbbd4
001cbbcamov rax, [rsp+8]
001cbbcfjmp 0x1cbbe5
001cbbd1nop [rax]
001cbbd4
001cbbd4loc_1cbbd4:
001cbbd4lea rbx, [rip+0x183fd5]
001cbbdbmov rax, [rsp+8]
001cbbe0call camlStdlib.$5e_139
001cbbe5
001cbbe5loc_1cbbe5:
001cbbe5mov r12, rax
001cbbe8jmp 0x1cbc5c
001cbbeanop
001cbbecmov eax, 1
001cbbf1mov rbx, rcx
001cbbf4add rsp, 16
001cbbf8jmp 0x1cbcf0
001cbbfdnop [rax]
001cbc00mov eax, 1
001cbc05mov rbx, rcx
001cbc08call camlCamlinternalFormat.hex_3485
001cbc0dmov rbx, rax
001cbc10lea rax, [rip+0x168369]
001cbc17mov rax, [rax+24]
001cbc1bcall Stdlib.Bytes.map
001cbc20add rsp, 16
001cbc24ret
001cbc25nop [rax]
001cbc28mov eax, 1
001cbc2dmov rbx, rcx
001cbc30call camlCamlinternalFormat.hex_3485
001cbc35mov r12, rax
001cbc38jmp 0x1cbc5c
001cbc3anop
001cbc3cmov rax, rsi
001cbc3fcall camlCamlinternalFormat.format_of_fconv_3441
001cbc44mov rdi, rax
001cbc47mov rsi, [rsp]
001cbc4blea rax, [rip+0x3ba1e]
001cbc52call caml_c_call
001cbc57add rsp, 16
001cbc5bret
001cbc5c
001cbc5cloc_1cbc5c:
001cbc5cmov r13, [rsp]
001cbc60movsd_xmm x0, [r13]
001cbc66mov rbx, rsp
001cbc69mov rsp, [r14+64]
001cbc6dcall caml_classify_float_unboxed
001cbc72mov rsp, rbx
001cbc75cmp rax, 7
001cbc79je 0x1cbc98
001cbc7bcmp rax, 9
001cbc7fjl 0x1cbc90
001cbc81lea rax, [rip+0x183f18]
001cbc88add rsp, 16
001cbc8cret
001cbc8dnop [rax]
001cbc90
001cbc90loc_1cbc90:
001cbc90mov rax, r12
001cbc93add rsp, 16
001cbc97ret
001cbc98
001cbc98loc_1cbc98:
001cbc98xorpd x0, x0
001cbc9cmovsd_xmm x1, [r13]
001cbca2comisd x0, x1
001cbca6jbe 0x1cbcb4
001cbca8lea rax, [rip+0x183ec9]
001cbcafadd rsp, 16
001cbcb3ret
001cbcb4
001cbcb4loc_1cbcb4:
001cbcb4lea rax, [rip+0x183ea5]
001cbcbbadd rsp, 16
001cbcbfret
001cbcc0
001cbcc0loc_1cbcc0:
001cbcc0call caml_call_gc
001cbcc5jmp 0x1cbb8e
001cbcca
001cbccaloc_1cbcca:
001cbccacall caml_call_gc
001cbccfjmp 0x1cbafa
001cbcd4
001cbcd4loc_1cbcd4:
001cbcd4push 35
001cbcd6call caml_call_realloc_stack
001cbcdbpop r10
001cbcddjmp 0x1cbae2
001cbad0
001cbad0camlCamlinternalFormat.convert_float_3480:
001cbad0lea r10, [rsp-336]
001cbad8cmp r10, [r14+40]
001cbadcjb 0x1cbcd4
001cbae2
001cbae2loc_1cbae2:
001cbae2sub rsp, 16
001cbae6mov rsi, rax
001cbae9mov [rsp], rdi
001cbaedsub r15, 48
001cbaf1cmp r15, [r14]
001cbaf4jb 0x1cbcca
001cbafa
001cbafaloc_1cbafa:
001cbafalea rcx, [r15+8]
001cbafemov [rcx-8], 5367
001cbb06lea rax, [rip+483]
001cbb0dmov [rcx], rax
001cbb10mov rax, 0x100000000000005
001cbb1amov [rcx+8], rax
001cbb1emov [rcx+16], rsi
001cbb22mov [rcx+24], rbx
001cbb26mov [rcx+32], rdi
001cbb2amov rax, [rsi+8]
001cbb2esar rax, 1
001cbb31lea rdx, [rip+0x62550]
001cbb38movsxd rax, [rdx+4*rax]
001cbb3cadd rdx, rax
001cbb3fjmp rdx
001cbb41nop [rax]
001cbb44mov rax, rsi
001cbb47call camlCamlinternalFormat.format_of_fconv_3441
001cbb4cmov rdi, rax
001cbb4fmov rsi, [rsp]
001cbb53lea rax, [rip+0x3bb16]
001cbb5acall caml_c_call
001cbb5fmov [rsp+8], rax
001cbb64mov rbx, [rax-8]
001cbb68shr rbx, 10
001cbb6clea rbx, [8*rbx-1]
001cbb74movzx rdi, [rax+rbx]
001cbb79sub rbx, rdi
001cbb7clea rdi, [rbx+rbx+1]
001cbb81sub r15, 40
001cbb85cmp r15, [r14]
001cbb88jb 0x1cbcc0
001cbb8e
001cbb8eloc_1cbb8e:
001cbb8elea rbx, [r15+8]
001cbb92mov [rbx-8], 4343
001cbb9alea rsi, [rip+383]
001cbba1mov [rbx], rsi
001cbba4mov rsi, 0x100000000000005
001cbbaemov [rbx+8], rsi
001cbbb2mov [rbx+16], rdi
001cbbb6mov [rbx+24], rax
001cbbbamov eax, 1
001cbbbfcall camlCamlinternalFormat.is_valid_3493
001cbbc4cmp rax, 1
001cbbc8je 0x1cbbd4
001cbbcamov rax, [rsp+8]
001cbbcfjmp 0x1cbbe5
001cbbd1nop [rax]
001cbbd4
001cbbd4loc_1cbbd4:
001cbbd4lea rbx, [rip+0x183fd5]
001cbbdbmov rax, [rsp+8]
001cbbe0call camlStdlib.$5e_139
001cbbe5
001cbbe5loc_1cbbe5:
001cbbe5mov r12, rax
001cbbe8jmp 0x1cbc5c
001cbbeanop
001cbbecmov eax, 1
001cbbf1mov rbx, rcx
001cbbf4add rsp, 16
001cbbf8jmp 0x1cbcf0
001cbbfdnop [rax]
001cbc00mov eax, 1
001cbc05mov rbx, rcx
001cbc08call camlCamlinternalFormat.hex_3485
001cbc0dmov rbx, rax
001cbc10lea rax, [rip+0x168369]
001cbc17mov rax, [rax+24]
001cbc1bcall Stdlib.Bytes.map
001cbc20add rsp, 16
001cbc24ret
001cbc25nop [rax]
001cbc28mov eax, 1
001cbc2dmov rbx, rcx
001cbc30call camlCamlinternalFormat.hex_3485
001cbc35mov r12, rax
001cbc38jmp 0x1cbc5c
001cbc3anop
001cbc3cmov rax, rsi
001cbc3fcall camlCamlinternalFormat.format_of_fconv_3441
001cbc44mov rdi, rax
001cbc47mov rsi, [rsp]
001cbc4blea rax, [rip+0x3ba1e]
001cbc52call caml_c_call
001cbc57add rsp, 16
001cbc5bret
001cbc5c
001cbc5cloc_1cbc5c:
001cbc5cmov r13, [rsp]
001cbc60movsd_xmm x0, [r13]
001cbc66mov rbx, rsp
001cbc69mov rsp, [r14+64]
001cbc6dcall caml_classify_float_unboxed
001cbc72mov rsp, rbx
001cbc75cmp rax, 7
001cbc79je 0x1cbc98
001cbc7bcmp rax, 9
001cbc7fjl 0x1cbc90
001cbc81lea rax, [rip+0x183f18]
001cbc88add rsp, 16
001cbc8cret
001cbc8dnop [rax]
001cbc90
001cbc90loc_1cbc90:
001cbc90mov rax, r12
001cbc93add rsp, 16
001cbc97ret
001cbc98
001cbc98loc_1cbc98:
001cbc98xorpd x0, x0
001cbc9cmovsd_xmm x1, [r13]
001cbca2comisd x0, x1
001cbca6jbe 0x1cbcb4
001cbca8lea rax, [rip+0x183ec9]
001cbcafadd rsp, 16
001cbcb3ret
001cbcb4
001cbcb4loc_1cbcb4:
001cbcb4lea rax, [rip+0x183ea5]
001cbcbbadd rsp, 16
001cbcbfret
001cbcc0
001cbcc0loc_1cbcc0:
001cbcc0call caml_call_gc
001cbcc5jmp 0x1cbb8e
001cbcca
001cbccaloc_1cbcca:
001cbccacall caml_call_gc
001cbccfjmp 0x1cbafa
001cbcd4
001cbcd4loc_1cbcd4:
001cbcd4push 35
001cbcd6call caml_call_realloc_stack
001cbcdbpop r10
001cbcddjmp 0x1cbae2
001cbad0
001cbce2
001cbce2 // align 0x10
001cbce2 // align 0x10
001cbcf0
001cbcf0camlCamlinternalFormat.hex_3485:
001cbcf0mov rax, [rbx+16]
001cbcf4mov rax, [rax]
001cbcf7or rax, 1
001cbcfblea rdi, [rip+0x18149e]
001cbd02mov rdx, [rdi+4*rax-4]
001cbd07mov rsi, [rbx+24]
001cbd0bmov rdi, [rbx+32]
001cbd0flea rax, [rip+0x3b9aa]
001cbd16call caml_c_call
001cbd1bret
001cbcf0
001cbcf0camlCamlinternalFormat.hex_3485:
001cbcf0mov rax, [rbx+16]
001cbcf4mov rax, [rax]
001cbcf7or rax, 1
001cbcfblea rdi, [rip+0x18149e]
001cbd02mov rdx, [rdi+4*rax-4]
001cbd07mov rsi, [rbx+24]
001cbd0bmov rdi, [rbx+32]
001cbd0flea rax, [rip+0x3b9aa]
001cbd16call caml_c_call
001cbd1bret
001cbcf0
001cbd1c
001cbd1c // align 0x10
001cbd1c // align 0x10
001cbd20
001cbd20camlCamlinternalFormat.is_valid_3493:
001cbd20cmp r15, [r14]
001cbd23jbe 0x1cbd8e
001cbd25
001cbd25loc_1cbd25:
001cbd25mov rdi, [rbx+16]
001cbd29cmp rax, rdi
001cbd2cjne 0x1cbd34
001cbd2emov eax, 1
001cbd33ret
001cbd34
001cbd34loc_1cbd34:
001cbd34mov rdi, rax
001cbd37sar rdi, 1
001cbd3amov rsi, [rbx+24]
001cbd3emov rdx, [rsi-8]
001cbd42shr rdx, 10
001cbd46lea rdx, [8*rdx-1]
001cbd4emovzx rcx, [rsi+rdx]
001cbd53sub rdx, rcx
001cbd56cmp rdx, rdi
001cbd59jbe 0x1cbd95
001cbd5bmovzx rdi, [rsi+rdi]
001cbd60lea rdi, [rdi+rdi+1]
001cbd65add rdi, -92
001cbd69cmp rdi, 47
001cbd6djbe 0x1cbd78
001cbd6fcmp rdi, 111
001cbd73je 0x1cbd88
001cbd75jmp 0x1cbd82
001cbd77
001cbd77 90 .
001cbd78
001cbd78loc_1cbd78:
001cbd78add rdi, -2
001cbd7ccmp rdi, 43
001cbd80ja 0x1cbd88
001cbd82
001cbd82loc_1cbd82:
001cbd82add rax, 2
001cbd86jmp 0x1cbd20
001cbd88
001cbd88loc_1cbd88:
001cbd88mov eax, 3
001cbd8dret
001cbd8e
001cbd8eloc_1cbd8e:
001cbd8ecall caml_call_gc
001cbd93jmp 0x1cbd25
001cbd95
001cbd95loc_1cbd95:
001cbd95call caml_ml_array_bound_error
001cbd20
001cbd20camlCamlinternalFormat.is_valid_3493:
001cbd20cmp r15, [r14]
001cbd23jbe 0x1cbd8e
001cbd25
001cbd25loc_1cbd25:
001cbd25mov rdi, [rbx+16]
001cbd29cmp rax, rdi
001cbd2cjne 0x1cbd34
001cbd2emov eax, 1
001cbd33ret
001cbd34
001cbd34loc_1cbd34:
001cbd34mov rdi, rax
001cbd37sar rdi, 1
001cbd3amov rsi, [rbx+24]
001cbd3emov rdx, [rsi-8]
001cbd42shr rdx, 10
001cbd46lea rdx, [8*rdx-1]
001cbd4emovzx rcx, [rsi+rdx]
001cbd53sub rdx, rcx
001cbd56cmp rdx, rdi
001cbd59jbe 0x1cbd95
001cbd5bmovzx rdi, [rsi+rdi]
001cbd60lea rdi, [rdi+rdi+1]
001cbd65add rdi, -92
001cbd69cmp rdi, 47
001cbd6djbe 0x1cbd78
001cbd6fcmp rdi, 111
001cbd73je 0x1cbd88
001cbd75jmp 0x1cbd82
001cbd77
001cbd77 90 .
001cbd78
001cbd78loc_1cbd78:
001cbd78add rdi, -2
001cbd7ccmp rdi, 43
001cbd80ja 0x1cbd88
001cbd82
001cbd82loc_1cbd82:
001cbd82add rax, 2
001cbd86jmp 0x1cbd20
001cbd88
001cbd88loc_1cbd88:
001cbd88mov eax, 3
001cbd8dret
001cbd8e
001cbd8eloc_1cbd8e:
001cbd8ecall caml_call_gc
001cbd93jmp 0x1cbd25
001cbd95
001cbd95loc_1cbd95:
001cbd95call caml_ml_array_bound_error
001cbd20
001cbd9a
001cbd9a // align 0x10
001cbd9a // align 0x10
001cbda0
001cbda0camlCamlinternalFormat.format_caml_char_3499:
001cbda0lea r10, [rsp-336]
001cbda8cmp r10, [r14+40]
001cbdacjb 0x1cbe1b
001cbdae
001cbdaeloc_1cbdae:
001cbdaesub rsp, 16
001cbdb2call Stdlib.Char.escaped
001cbdb7mov [rsp], rax
001cbdbbmov rbx, [rax-8]
001cbdbfshr rbx, 10
001cbdc3lea rbx, [8*rbx-1]
001cbdcbmovzx rax, [rax+rbx]
001cbdd0sub rbx, rax
001cbdd3lea rax, [rbx+rbx+1]
001cbdd8mov [rsp+8], rax
001cbdddmov ebx, 79
001cbde2add rax, 4
001cbde6call Stdlib.Bytes.make
001cbdebmov r12, rax
001cbdeemov ecx, 3
001cbdf3mov esi, 1
001cbdf8mov rdi, [rsp]
001cbdfcmov rdx, r12
001cbdffmov r8, [rsp+8]
001cbe04mov rbx, rsp
001cbe07mov rsp, [r14+64]
001cbe0bcall caml_blit_string
001cbe10mov rsp, rbx
001cbe13mov rax, r12
001cbe16add rsp, 16
001cbe1aret
001cbe1b
001cbe1bloc_1cbe1b:
001cbe1bpush 35
001cbe1dcall caml_call_realloc_stack
001cbe22pop r10
001cbe24jmp 0x1cbdae
001cbda0
001cbda0camlCamlinternalFormat.format_caml_char_3499:
001cbda0lea r10, [rsp-336]
001cbda8cmp r10, [r14+40]
001cbdacjb 0x1cbe1b
001cbdae
001cbdaeloc_1cbdae:
001cbdaesub rsp, 16
001cbdb2call Stdlib.Char.escaped
001cbdb7mov [rsp], rax
001cbdbbmov rbx, [rax-8]
001cbdbfshr rbx, 10
001cbdc3lea rbx, [8*rbx-1]
001cbdcbmovzx rax, [rax+rbx]
001cbdd0sub rbx, rax
001cbdd3lea rax, [rbx+rbx+1]
001cbdd8mov [rsp+8], rax
001cbdddmov ebx, 79
001cbde2add rax, 4
001cbde6call Stdlib.Bytes.make
001cbdebmov r12, rax
001cbdeemov ecx, 3
001cbdf3mov esi, 1
001cbdf8mov rdi, [rsp]
001cbdfcmov rdx, r12
001cbdffmov r8, [rsp+8]
001cbe04mov rbx, rsp
001cbe07mov rsp, [r14+64]
001cbe0bcall caml_blit_string
001cbe10mov rsp, rbx
001cbe13mov rax, r12
001cbe16add rsp, 16
001cbe1aret
001cbe1b
001cbe1bloc_1cbe1b:
001cbe1bpush 35
001cbe1dcall caml_call_realloc_stack
001cbe22pop r10
001cbe24jmp 0x1cbdae
001cbda0
001cbe26
001cbe26 // align 0x10
001cbe26 // align 0x10
001cbe30
001cbe30camlCamlinternalFormat.string_of_fmtty_3505:
001cbe30lea r10, [rsp-336]
001cbe38cmp r10, [r14+40]
001cbe3cjb 0x1cbe78
001cbe3e
001cbe3eloc_1cbe3e:
001cbe3esub rsp, 16
001cbe42mov [rsp], rax
001cbe46mov eax, 33
001cbe4bcall camlCamlinternalFormat.buffer_create_596
001cbe50mov [rsp+8], rax
001cbe55mov rbx, [rsp]
001cbe59call camlCamlinternalFormat.bprint_fmtty_778
001cbe5emov rax, [rsp+8]
001cbe63mov rdi, [rax]
001cbe66mov rax, [rax+8]
001cbe6amov ebx, 1
001cbe6fadd rsp, 16
001cbe73jmp 0x1a63e0
001cbe78
001cbe78loc_1cbe78:
001cbe78push 35
001cbe7acall caml_call_realloc_stack
001cbe7fpop r10
001cbe81jmp 0x1cbe3e
001cbe30
001cbe30camlCamlinternalFormat.string_of_fmtty_3505:
001cbe30lea r10, [rsp-336]
001cbe38cmp r10, [r14+40]
001cbe3cjb 0x1cbe78
001cbe3e
001cbe3eloc_1cbe3e:
001cbe3esub rsp, 16
001cbe42mov [rsp], rax
001cbe46mov eax, 33
001cbe4bcall camlCamlinternalFormat.buffer_create_596
001cbe50mov [rsp+8], rax
001cbe55mov rbx, [rsp]
001cbe59call camlCamlinternalFormat.bprint_fmtty_778
001cbe5emov rax, [rsp+8]
001cbe63mov rdi, [rax]
001cbe66mov rax, [rax+8]
001cbe6amov ebx, 1
001cbe6fadd rsp, 16
001cbe73jmp 0x1a63e0
001cbe78
001cbe78loc_1cbe78:
001cbe78push 35
001cbe7acall caml_call_realloc_stack
001cbe7fpop r10
001cbe81jmp 0x1cbe3e
001cbe30
001cbe83
001cbe83 // align 0x10
001cbe83 // align 0x10
001cbe90
001cbe90camlCamlinternalFormat.make_printf_3509:
001cbe90lea r10, [rsp-352]
001cbe98cmp r10, [r14+40]
001cbe9cjb 0x1cc639
001cbea2
001cbea2loc_1cbea2:
001cbea2sub rsp, 32
001cbea6
001cbea6loc_1cbea6:
001cbea6mov r13, rax
001cbea9mov r12, rbx
001cbeacmov r9, rsi
001cbeafcmp r15, [r14]
001cbeb2jbe 0x1cc62f
001cbeb8
001cbeb8loc_1cbeb8:
001cbeb8test dil, 1
001cbebcje 0x1cbed0
001cbebemov rdi, [r13]
001cbec2mov rax, r12
001cbec5mov rbx, r13
001cbec8add rsp, 32
001cbeccjmp rdi
001cbecenop
001cbed0
001cbed0loc_1cbed0:
001cbed0mov [rsp+8], r9
001cbed5mov [rsp], rdi
001cbed9mov [rsp+24], r12
001cbedemov [rsp+16], r13
001cbee3movzx rax, [rdi-8]
001cbee8lea rdx, [rip+0x621bd]
001cbeefmovsxd rax, [rdx+4*rax]
001cbef3add rdx, rax
001cbef6jmp rdx
001cbef8mov rbx, [rdi]
001cbefbsub r15, 56
001cbeffcmp r15, [r14]
001cbf02jb 0x1cc625
001cbf08
001cbf08loc_1cbf08:
001cbf08lea rax, [r15+8]
001cbf0cmov [rax-8], 6391
001cbf14lea rdi, [rip+1845]
001cbf1bmov [rax], rdi
001cbf1emov rdi, 0x100000000000005
001cbf28mov [rax+8], rdi
001cbf2cmov [rax+16], r9
001cbf30mov [rax+24], r13
001cbf34mov [rax+32], r12
001cbf38mov [rax+40], rbx
001cbf3cadd rsp, 32
001cbf40ret
001cbf41nop [rax]
001cbf44mov rbx, [rdi]
001cbf47sub r15, 56
001cbf4bcmp r15, [r14]
001cbf4ejb 0x1cc61b
001cbf54
001cbf54loc_1cbf54:
001cbf54lea rax, [r15+8]
001cbf58mov [rax-8], 6391
001cbf60lea rdi, [rip+1833]
001cbf67mov [rax], rdi
001cbf6amov rdi, 0x100000000000005
001cbf74mov [rax+8], rdi
001cbf78mov [rax+16], r9
001cbf7cmov [rax+24], r13
001cbf80mov [rax+32], r12
001cbf84mov [rax+40], rbx
001cbf88add rsp, 32
001cbf8cret
001cbf8dnop [rax]
001cbf90mov rcx, r9
001cbf93add rcx, 128
001cbf9alea rdx, [rip+0x1812ef]
001cbfa1mov rsi, [rdi]
001cbfa4mov rdi, [rdi+8]
001cbfa8mov rax, r13
001cbfabmov rbx, r12
001cbfaeadd rsp, 32
001cbfb2jmp 0x1cd280
001cbfb7nop
001cbfb8mov rcx, r9
001cbfbbadd rcx, 128
001cbfc2lea rax, [rip+0x181daf]
001cbfc9mov rdx, [rax+528]
001cbfd0mov rsi, [rdi]
001cbfd3mov rdi, [rdi+8]
001cbfd7mov rax, r13
001cbfdamov rbx, r12
001cbfddadd rsp, 32
001cbfe1jmp 0x1cd280
001cbfe6nop
001cbfe8add r9, 160
001cbfefmov r8, [rdi]
001cbff2lea rax, [rip+0x181d7f]
001cbff9mov rcx, [rax+584]
001cc000mov rdx, [rdi+16]
001cc004mov rsi, [rdi+8]
001cc008mov rdi, [rdi+24]
001cc00cmov rax, r13
001cc00fmov rbx, r12
001cc012add rsp, 32
001cc016jmp 0x1cd530
001cc01bnop
001cc01cadd r9, 160
001cc023mov r8, [rdi]
001cc026lea rax, [rip+0x181d4b]
001cc02dmov rcx, [rax+592]
001cc034mov rdx, [rdi+16]
001cc038mov rsi, [rdi+8]
001cc03cmov rdi, [rdi+24]
001cc040mov rax, r13
001cc043mov rbx, r12
001cc046add rsp, 32
001cc04ajmp 0x1cd530
001cc04fnop
001cc050add r9, 160
001cc057mov r8, [rdi]
001cc05alea rax, [rip+0x181d17]
001cc061mov rcx, [rax+600]
001cc068mov rdx, [rdi+16]
001cc06cmov rsi, [rdi+8]
001cc070mov rdi, [rdi+24]
001cc074mov rax, r13
001cc077mov rbx, r12
001cc07aadd rsp, 32
001cc07ejmp 0x1cd530
001cc083nop
001cc084add r9, 160
001cc08bmov r8, [rdi]
001cc08elea rax, [rip+0x181ce3]
001cc095mov rcx, [rax+608]
001cc09cmov rdx, [rdi+16]
001cc0a0mov rsi, [rdi+8]
001cc0a4mov rdi, [rdi+24]
001cc0a8mov rax, r13
001cc0abmov rbx, r12
001cc0aeadd rsp, 32
001cc0b2jmp 0x1cd530
001cc0b7nop
001cc0b8mov r8, r9
001cc0bbadd r8, 192
001cc0c2mov rcx, [rdi]
001cc0c5mov rdx, [rdi+16]
001cc0c9mov rsi, [rdi+8]
001cc0cdmov rdi, [rdi+24]
001cc0d1mov rax, r13
001cc0d4mov rbx, r12
001cc0d7add rsp, 32
001cc0dbjmp 0x1cde90
001cc0e0mov rcx, r9
001cc0e3add rcx, 128
001cc0ealea rax, [rip+0x161527]
001cc0f1mov rdx, [rax+232]
001cc0f8mov rsi, [rdi]
001cc0fbmov rdi, [rdi+8]
001cc0ffmov rax, r13
001cc102mov rbx, r12
001cc105add rsp, 32
001cc109jmp 0x1cd280
001cc10enop
001cc110sub r15, 16
001cc114cmp r15, [r14]
001cc117jb 0x1cc611
001cc11d
001cc11dloc_1cc11d:
001cc11dlea rbx, [r15+8]
001cc121mov [rbx-8], 1031
001cc129mov [rbx], r12
001cc12cmov rdi, [rdi]
001cc12fmov rax, r13
001cc132mov rsi, r9
001cc135jmp 0x1cbea6
001cc13anop
001cc13csub r15, 24
001cc140cmp r15, [r14]
001cc143jb 0x1cc607
001cc149
001cc149loc_1cc149:
001cc149lea rbx, [r15+8]
001cc14dmov [rbx-8], 2050
001cc155mov [rbx], r12
001cc158mov rax, [rdi]
001cc15bmov [rbx+8], rax
001cc15fmov rdi, [rdi+8]
001cc163mov rax, r13
001cc166mov rsi, r9
001cc169jmp 0x1cbea6
001cc16enop
001cc170sub r15, 24
001cc174cmp r15, [r14]
001cc177jb 0x1cc5fd
001cc17d
001cc17dloc_1cc17d:
001cc17dlea rbx, [r15+8]
001cc181mov [rbx-8], 2051
001cc189mov [rbx], r12
001cc18cmov rax, [rdi]
001cc18fmov [rbx+8], rax
001cc193mov rdi, [rdi+8]
001cc197mov rax, r13
001cc19amov rsi, r9
001cc19djmp 0x1cbea6
001cc1a2nop
001cc1a4mov rax, [rdi+16]
001cc1a8mov [rsp], rax
001cc1acmov rax, [rdi+8]
001cc1b0call camlCamlinternalFormat.string_of_fmtty_3505
001cc1b5sub r15, 64
001cc1b9cmp r15, [r14]
001cc1bcjb 0x1cc5f3
001cc1c2
001cc1c2loc_1cc1c2:
001cc1c2lea rbx, [r15+8]
001cc1c6mov [rbx-8], 7415
001cc1celea rdi, [rip+1547]
001cc1d5mov [rbx], rdi
001cc1d8mov rdi, 0x100000000000005
001cc1e2mov [rbx+8], rdi
001cc1e6mov rdi, [rsp+8]
001cc1ebmov [rbx+16], rdi
001cc1efmov rdi, [rsp+16]
001cc1f4mov [rbx+24], rdi
001cc1f8mov rdi, [rsp+24]
001cc1fdmov [rbx+32], rdi
001cc201mov rdi, [rsp]
001cc205mov [rbx+40], rdi
001cc209mov [rbx+48], rax
001cc20dmov rax, rbx
001cc210add rsp, 32
001cc214ret
001cc215nop [rax]
001cc218mov rbx, [rdi+16]
001cc21cmov rdi, [rdi+8]
001cc220sub r15, 64
001cc224cmp r15, [r14]
001cc227jb 0x1cc5e9
001cc22d
001cc22dloc_1cc22d:
001cc22dlea rax, [r15+8]
001cc231mov [rax-8], 7415
001cc239lea rsi, [rip+1504]
001cc240mov [rax], rsi
001cc243mov rsi, 0x100000000000005
001cc24dmov [rax+8], rsi
001cc251mov [rax+16], r9
001cc255mov [rax+24], r13
001cc259mov [rax+32], r12
001cc25dmov [rax+40], rdi
001cc261mov [rax+48], rbx
001cc265add rsp, 32
001cc269ret
001cc26anop
001cc26cmov rbx, [rdi]
001cc26fsub r15, 64
001cc273cmp r15, [r14]
001cc276jb 0x1cc5df
001cc27c
001cc27cloc_1cc27c:
001cc27clea rax, [r15+8]
001cc280mov [rax-8], 7415
001cc288lea rdi, [rip-0xd526f]
001cc28fmov [rax], rdi
001cc292mov rdi, 0x200000000000007
001cc29cmov [rax+8], rdi
001cc2a0lea rdi, [rip+1161]
001cc2a7mov [rax+16], rdi
001cc2abmov [rax+24], r9
001cc2afmov [rax+32], r13
001cc2b3mov [rax+40], r12
001cc2b7mov [rax+48], rbx
001cc2bbadd rsp, 32
001cc2bfret
001cc2c0mov rbx, [rdi]
001cc2c3sub r15, 56
001cc2c7cmp r15, [r14]
001cc2cajb 0x1cc5d5
001cc2d0
001cc2d0loc_1cc2d0:
001cc2d0lea rax, [r15+8]
001cc2d4mov [rax-8], 6391
001cc2dclea rdi, [rip+1213]
001cc2e3mov [rax], rdi
001cc2e6mov rdi, 0x100000000000005
001cc2f0mov [rax+8], rdi
001cc2f4mov [rax+16], r9
001cc2f8mov [rax+24], r13
001cc2fcmov [rax+32], r12
001cc300mov [rax+40], rbx
001cc304add rsp, 32
001cc308ret
001cc309nop [rax]
001cc30csub r15, 24
001cc310cmp r15, [r14]
001cc313jb 0x1cc5cb
001cc319
001cc319loc_1cc319:
001cc319lea rbx, [r15+8]
001cc31dmov [rbx-8], 2048
001cc325mov [rbx], r12
001cc328mov rax, [rdi]
001cc32bmov [rbx+8], rax
001cc32fmov rdi, [rdi+8]
001cc333mov rax, r13
001cc336mov rsi, r9
001cc339jmp 0x1cbea6
001cc33enop
001cc340mov rsi, [rdi]
001cc343movzx rax, [rsi-8]
001cc348test rax, rax
001cc34bje 0x1cc3a8
001cc34dmov rbx, [rdi+8]
001cc351sub r15, 56
001cc355cmp r15, [r14]
001cc358jb 0x1cc5c1
001cc35e
001cc35eloc_1cc35e:
001cc35elea rax, [r15+8]
001cc362mov [rax-8], 6391
001cc36alea rdi, [rip+1599]
001cc371mov [rax], rdi
001cc374mov rdi, 0x100000000000005
001cc37emov [rax+8], rdi
001cc382mov [rax+16], r9
001cc386mov [rax+24], r13
001cc38amov [rax+32], r12
001cc38emov [rax+40], rbx
001cc392mov rbx, [rsi]
001cc395mov rdi, [rbx]
001cc398mov ebx, 1
001cc39dmov rsi, r9
001cc3a0jmp 0x1cbea6
001cc3a5nop [rax]
001cc3a8
001cc3a8loc_1cc3a8:
001cc3a8mov rbx, [rdi+8]
001cc3acsub r15, 56
001cc3b0cmp r15, [r14]
001cc3b3jb 0x1cc5b7
001cc3b9
001cc3b9loc_1cc3b9:
001cc3b9lea rax, [r15+8]
001cc3bdmov [rax-8], 6391
001cc3c5lea rdi, [rip+1428]
001cc3ccmov [rax], rdi
001cc3cfmov rdi, 0x100000000000005
001cc3d9mov [rax+8], rdi
001cc3ddmov [rax+16], r9
001cc3e1mov [rax+24], r13
001cc3e5mov [rax+32], r12
001cc3e9mov [rax+40], rbx
001cc3edmov rbx, [rsi]
001cc3f0mov rdi, [rbx]
001cc3f3mov ebx, 1
001cc3f8mov rsi, r9
001cc3fbjmp 0x1cbea6
001cc400sub r15, 24
001cc404cmp r15, [r14]
001cc407jb 0x1cc5ad
001cc40d
001cc40dloc_1cc40d:
001cc40dlea rax, [r15+8]
001cc411mov [rax-8], 2048
001cc419lea rbx, [rip+0xa9de8]
001cc420mov [rax], rbx
001cc423lea rbx, [rip+0x183706]
001cc42amov [rax+8], rbx
001cc42ecall caml_raise_exn
001cc433nop
001cc434mov rbx, [rdi+16]
001cc438sub r15, 80
001cc43ccmp r15, [r14]
001cc43fjb 0x1cc5a3
001cc445
001cc445loc_1cc445:
001cc445lea rdi, [r15+8]
001cc449add rdi, 56
001cc44dmov [rdi-8], 2056
001cc455mov [rdi], r12
001cc458lea rax, [rip+0x1836a9]
001cc45fmov [rdi+8], rax
001cc463lea rax, [rdi-56]
001cc467mov [rax-8], 6391
001cc46flea rsi, [rip+1066]
001cc476mov [rax], rsi
001cc479mov rsi, 0x100000000000005
001cc483mov [rax+8], rsi
001cc487mov [rax+16], r9
001cc48bmov [rax+24], r13
001cc48fmov [rax+32], rbx
001cc493mov [rax+40], rdi
001cc497add rsp, 32
001cc49bret
001cc49cmov rbx, [rdi+8]
001cc4a0sub r15, 56
001cc4a4cmp r15, [r14]
001cc4a7jb 0x1cc599
001cc4ad
001cc4adloc_1cc4ad:
001cc4adlea rax, [r15+8]
001cc4b1mov [rax-8], 6391
001cc4b9lea rdi, [rip+1024]
001cc4c0mov [rax], rdi
001cc4c3mov rdi, 0x100000000000005
001cc4cdmov [rax+8], rdi
001cc4d1mov [rax+16], r9
001cc4d5mov [rax+24], r13
001cc4d9mov [rax+32], r12
001cc4ddmov [rax+40], rbx
001cc4e1add rsp, 32
001cc4e5ret
001cc4e6nop
001cc4e8mov rbx, [rdi]
001cc4ebsub r15, 56
001cc4efcmp r15, [r14]
001cc4f2jb 0x1cc58f
001cc4f8
001cc4f8loc_1cc4f8:
001cc4f8lea rax, [r15+8]
001cc4fcmov [rax-8], 6391
001cc504lea rdi, [rip+1045]
001cc50bmov [rax], rdi
001cc50emov rdi, 0x100000000000005
001cc518mov [rax+8], rdi
001cc51cmov [rax+16], r9
001cc520mov [rax+24], r13
001cc524mov [rax+32], r12
001cc528mov [rax+40], rbx
001cc52cadd rsp, 32
001cc530ret
001cc531nop [rax]
001cc534mov rdx, r9
001cc537add rdx, 32
001cc53bmov rsi, [rdi+8]
001cc53fmov rdi, [rdi]
001cc542mov rax, r13
001cc545mov rbx, r12
001cc548add rsp, 32
001cc54cjmp 0x1cca00
001cc551nop [rax]
001cc554mov rbx, [rdi+8]
001cc558mov eax, 1
001cc55dmov rdi, [rbx]
001cc560call rdi
001cc562mov rdx, rax
001cc565mov rcx, [rsp+8]
001cc56aadd rcx, 224
001cc571mov rax, [rsp]
001cc575mov rsi, [rax]
001cc578mov rdi, [rax+16]
001cc57cmov rax, [rsp+16]
001cc581mov rbx, [rsp+24]
001cc586add rsp, 32
001cc58ajmp 0x1ce7c0
001cc58f
001cc58floc_1cc58f:
001cc58fcall caml_call_gc
001cc594jmp 0x1cc4f8
001cc599
001cc599loc_1cc599:
001cc599call caml_call_gc
001cc59ejmp 0x1cc4ad
001cc5a3
001cc5a3loc_1cc5a3:
001cc5a3call caml_call_gc
001cc5a8jmp 0x1cc445
001cc5ad
001cc5adloc_1cc5ad:
001cc5adcall caml_call_gc
001cc5b2jmp 0x1cc40d
001cc5b7
001cc5b7loc_1cc5b7:
001cc5b7call caml_call_gc
001cc5bcjmp 0x1cc3b9
001cc5c1
001cc5c1loc_1cc5c1:
001cc5c1call caml_call_gc
001cc5c6jmp 0x1cc35e
001cc5cb
001cc5cbloc_1cc5cb:
001cc5cbcall caml_call_gc
001cc5d0jmp 0x1cc319
001cc5d5
001cc5d5loc_1cc5d5:
001cc5d5call caml_call_gc
001cc5dajmp 0x1cc2d0
001cc5df
001cc5dfloc_1cc5df:
001cc5dfcall caml_call_gc
001cc5e4jmp 0x1cc27c
001cc5e9
001cc5e9loc_1cc5e9:
001cc5e9call caml_call_gc
001cc5eejmp 0x1cc22d
001cc5f3
001cc5f3loc_1cc5f3:
001cc5f3call caml_call_gc
001cc5f8jmp 0x1cc1c2
001cc5fd
001cc5fdloc_1cc5fd:
001cc5fdcall caml_call_gc
001cc602jmp 0x1cc17d
001cc607
001cc607loc_1cc607:
001cc607call caml_call_gc
001cc60cjmp 0x1cc149
001cc611
001cc611loc_1cc611:
001cc611call caml_call_gc
001cc616jmp 0x1cc11d
001cc61b
001cc61bloc_1cc61b:
001cc61bcall caml_call_gc
001cc620jmp 0x1cbf54
001cc625
001cc625loc_1cc625:
001cc625call caml_call_gc
001cc62ajmp 0x1cbf08
001cc62f
001cc62floc_1cc62f:
001cc62fcall caml_call_gc
001cc634jmp 0x1cbeb8
001cc639
001cc639loc_1cc639:
001cc639push 37
001cc63bcall caml_call_realloc_stack
001cc640pop r10
001cc642jmp 0x1cbea2
001cbe90
001cbe90camlCamlinternalFormat.make_printf_3509:
001cbe90lea r10, [rsp-352]
001cbe98cmp r10, [r14+40]
001cbe9cjb 0x1cc639
001cbea2
001cbea2loc_1cbea2:
001cbea2sub rsp, 32
001cbea6
001cbea6loc_1cbea6:
001cbea6mov r13, rax
001cbea9mov r12, rbx
001cbeacmov r9, rsi
001cbeafcmp r15, [r14]
001cbeb2jbe 0x1cc62f
001cbeb8
001cbeb8loc_1cbeb8:
001cbeb8test dil, 1
001cbebcje 0x1cbed0
001cbebemov rdi, [r13]
001cbec2mov rax, r12
001cbec5mov rbx, r13
001cbec8add rsp, 32
001cbeccjmp rdi
001cbecenop
001cbed0
001cbed0loc_1cbed0:
001cbed0mov [rsp+8], r9
001cbed5mov [rsp], rdi
001cbed9mov [rsp+24], r12
001cbedemov [rsp+16], r13
001cbee3movzx rax, [rdi-8]
001cbee8lea rdx, [rip+0x621bd]
001cbeefmovsxd rax, [rdx+4*rax]
001cbef3add rdx, rax
001cbef6jmp rdx
001cbef8mov rbx, [rdi]
001cbefbsub r15, 56
001cbeffcmp r15, [r14]
001cbf02jb 0x1cc625
001cbf08
001cbf08loc_1cbf08:
001cbf08lea rax, [r15+8]
001cbf0cmov [rax-8], 6391
001cbf14lea rdi, [rip+1845]
001cbf1bmov [rax], rdi
001cbf1emov rdi, 0x100000000000005
001cbf28mov [rax+8], rdi
001cbf2cmov [rax+16], r9
001cbf30mov [rax+24], r13
001cbf34mov [rax+32], r12
001cbf38mov [rax+40], rbx
001cbf3cadd rsp, 32
001cbf40ret
001cbf41nop [rax]
001cbf44mov rbx, [rdi]
001cbf47sub r15, 56
001cbf4bcmp r15, [r14]
001cbf4ejb 0x1cc61b
001cbf54
001cbf54loc_1cbf54:
001cbf54lea rax, [r15+8]
001cbf58mov [rax-8], 6391
001cbf60lea rdi, [rip+1833]
001cbf67mov [rax], rdi
001cbf6amov rdi, 0x100000000000005
001cbf74mov [rax+8], rdi
001cbf78mov [rax+16], r9
001cbf7cmov [rax+24], r13
001cbf80mov [rax+32], r12
001cbf84mov [rax+40], rbx
001cbf88add rsp, 32
001cbf8cret
001cbf8dnop [rax]
001cbf90mov rcx, r9
001cbf93add rcx, 128
001cbf9alea rdx, [rip+0x1812ef]
001cbfa1mov rsi, [rdi]
001cbfa4mov rdi, [rdi+8]
001cbfa8mov rax, r13
001cbfabmov rbx, r12
001cbfaeadd rsp, 32
001cbfb2jmp 0x1cd280
001cbfb7nop
001cbfb8mov rcx, r9
001cbfbbadd rcx, 128
001cbfc2lea rax, [rip+0x181daf]
001cbfc9mov rdx, [rax+528]
001cbfd0mov rsi, [rdi]
001cbfd3mov rdi, [rdi+8]
001cbfd7mov rax, r13
001cbfdamov rbx, r12
001cbfddadd rsp, 32
001cbfe1jmp 0x1cd280
001cbfe6nop
001cbfe8add r9, 160
001cbfefmov r8, [rdi]
001cbff2lea rax, [rip+0x181d7f]
001cbff9mov rcx, [rax+584]
001cc000mov rdx, [rdi+16]
001cc004mov rsi, [rdi+8]
001cc008mov rdi, [rdi+24]
001cc00cmov rax, r13
001cc00fmov rbx, r12
001cc012add rsp, 32
001cc016jmp 0x1cd530
001cc01bnop
001cc01cadd r9, 160
001cc023mov r8, [rdi]
001cc026lea rax, [rip+0x181d4b]
001cc02dmov rcx, [rax+592]
001cc034mov rdx, [rdi+16]
001cc038mov rsi, [rdi+8]
001cc03cmov rdi, [rdi+24]
001cc040mov rax, r13
001cc043mov rbx, r12
001cc046add rsp, 32
001cc04ajmp 0x1cd530
001cc04fnop
001cc050add r9, 160
001cc057mov r8, [rdi]
001cc05alea rax, [rip+0x181d17]
001cc061mov rcx, [rax+600]
001cc068mov rdx, [rdi+16]
001cc06cmov rsi, [rdi+8]
001cc070mov rdi, [rdi+24]
001cc074mov rax, r13
001cc077mov rbx, r12
001cc07aadd rsp, 32
001cc07ejmp 0x1cd530
001cc083nop
001cc084add r9, 160
001cc08bmov r8, [rdi]
001cc08elea rax, [rip+0x181ce3]
001cc095mov rcx, [rax+608]
001cc09cmov rdx, [rdi+16]
001cc0a0mov rsi, [rdi+8]
001cc0a4mov rdi, [rdi+24]
001cc0a8mov rax, r13
001cc0abmov rbx, r12
001cc0aeadd rsp, 32
001cc0b2jmp 0x1cd530
001cc0b7nop
001cc0b8mov r8, r9
001cc0bbadd r8, 192
001cc0c2mov rcx, [rdi]
001cc0c5mov rdx, [rdi+16]
001cc0c9mov rsi, [rdi+8]
001cc0cdmov rdi, [rdi+24]
001cc0d1mov rax, r13
001cc0d4mov rbx, r12
001cc0d7add rsp, 32
001cc0dbjmp 0x1cde90
001cc0e0mov rcx, r9
001cc0e3add rcx, 128
001cc0ealea rax, [rip+0x161527]
001cc0f1mov rdx, [rax+232]
001cc0f8mov rsi, [rdi]
001cc0fbmov rdi, [rdi+8]
001cc0ffmov rax, r13
001cc102mov rbx, r12
001cc105add rsp, 32
001cc109jmp 0x1cd280
001cc10enop
001cc110sub r15, 16
001cc114cmp r15, [r14]
001cc117jb 0x1cc611
001cc11d
001cc11dloc_1cc11d:
001cc11dlea rbx, [r15+8]
001cc121mov [rbx-8], 1031
001cc129mov [rbx], r12
001cc12cmov rdi, [rdi]
001cc12fmov rax, r13
001cc132mov rsi, r9
001cc135jmp 0x1cbea6
001cc13anop
001cc13csub r15, 24
001cc140cmp r15, [r14]
001cc143jb 0x1cc607
001cc149
001cc149loc_1cc149:
001cc149lea rbx, [r15+8]
001cc14dmov [rbx-8], 2050
001cc155mov [rbx], r12
001cc158mov rax, [rdi]
001cc15bmov [rbx+8], rax
001cc15fmov rdi, [rdi+8]
001cc163mov rax, r13
001cc166mov rsi, r9
001cc169jmp 0x1cbea6
001cc16enop
001cc170sub r15, 24
001cc174cmp r15, [r14]
001cc177jb 0x1cc5fd
001cc17d
001cc17dloc_1cc17d:
001cc17dlea rbx, [r15+8]
001cc181mov [rbx-8], 2051
001cc189mov [rbx], r12
001cc18cmov rax, [rdi]
001cc18fmov [rbx+8], rax
001cc193mov rdi, [rdi+8]
001cc197mov rax, r13
001cc19amov rsi, r9
001cc19djmp 0x1cbea6
001cc1a2nop
001cc1a4mov rax, [rdi+16]
001cc1a8mov [rsp], rax
001cc1acmov rax, [rdi+8]
001cc1b0call camlCamlinternalFormat.string_of_fmtty_3505
001cc1b5sub r15, 64
001cc1b9cmp r15, [r14]
001cc1bcjb 0x1cc5f3
001cc1c2
001cc1c2loc_1cc1c2:
001cc1c2lea rbx, [r15+8]
001cc1c6mov [rbx-8], 7415
001cc1celea rdi, [rip+1547]
001cc1d5mov [rbx], rdi
001cc1d8mov rdi, 0x100000000000005
001cc1e2mov [rbx+8], rdi
001cc1e6mov rdi, [rsp+8]
001cc1ebmov [rbx+16], rdi
001cc1efmov rdi, [rsp+16]
001cc1f4mov [rbx+24], rdi
001cc1f8mov rdi, [rsp+24]
001cc1fdmov [rbx+32], rdi
001cc201mov rdi, [rsp]
001cc205mov [rbx+40], rdi
001cc209mov [rbx+48], rax
001cc20dmov rax, rbx
001cc210add rsp, 32
001cc214ret
001cc215nop [rax]
001cc218mov rbx, [rdi+16]
001cc21cmov rdi, [rdi+8]
001cc220sub r15, 64
001cc224cmp r15, [r14]
001cc227jb 0x1cc5e9
001cc22d
001cc22dloc_1cc22d:
001cc22dlea rax, [r15+8]
001cc231mov [rax-8], 7415
001cc239lea rsi, [rip+1504]
001cc240mov [rax], rsi
001cc243mov rsi, 0x100000000000005
001cc24dmov [rax+8], rsi
001cc251mov [rax+16], r9
001cc255mov [rax+24], r13
001cc259mov [rax+32], r12
001cc25dmov [rax+40], rdi
001cc261mov [rax+48], rbx
001cc265add rsp, 32
001cc269ret
001cc26anop
001cc26cmov rbx, [rdi]
001cc26fsub r15, 64
001cc273cmp r15, [r14]
001cc276jb 0x1cc5df
001cc27c
001cc27cloc_1cc27c:
001cc27clea rax, [r15+8]
001cc280mov [rax-8], 7415
001cc288lea rdi, [rip-0xd526f]
001cc28fmov [rax], rdi
001cc292mov rdi, 0x200000000000007
001cc29cmov [rax+8], rdi
001cc2a0lea rdi, [rip+1161]
001cc2a7mov [rax+16], rdi
001cc2abmov [rax+24], r9
001cc2afmov [rax+32], r13
001cc2b3mov [rax+40], r12
001cc2b7mov [rax+48], rbx
001cc2bbadd rsp, 32
001cc2bfret
001cc2c0mov rbx, [rdi]
001cc2c3sub r15, 56
001cc2c7cmp r15, [r14]
001cc2cajb 0x1cc5d5
001cc2d0
001cc2d0loc_1cc2d0:
001cc2d0lea rax, [r15+8]
001cc2d4mov [rax-8], 6391
001cc2dclea rdi, [rip+1213]
001cc2e3mov [rax], rdi
001cc2e6mov rdi, 0x100000000000005
001cc2f0mov [rax+8], rdi
001cc2f4mov [rax+16], r9
001cc2f8mov [rax+24], r13
001cc2fcmov [rax+32], r12
001cc300mov [rax+40], rbx
001cc304add rsp, 32
001cc308ret
001cc309nop [rax]
001cc30csub r15, 24
001cc310cmp r15, [r14]
001cc313jb 0x1cc5cb
001cc319
001cc319loc_1cc319:
001cc319lea rbx, [r15+8]
001cc31dmov [rbx-8], 2048
001cc325mov [rbx], r12
001cc328mov rax, [rdi]
001cc32bmov [rbx+8], rax
001cc32fmov rdi, [rdi+8]
001cc333mov rax, r13
001cc336mov rsi, r9
001cc339jmp 0x1cbea6
001cc33enop
001cc340mov rsi, [rdi]
001cc343movzx rax, [rsi-8]
001cc348test rax, rax
001cc34bje 0x1cc3a8
001cc34dmov rbx, [rdi+8]
001cc351sub r15, 56
001cc355cmp r15, [r14]
001cc358jb 0x1cc5c1
001cc35e
001cc35eloc_1cc35e:
001cc35elea rax, [r15+8]
001cc362mov [rax-8], 6391
001cc36alea rdi, [rip+1599]
001cc371mov [rax], rdi
001cc374mov rdi, 0x100000000000005
001cc37emov [rax+8], rdi
001cc382mov [rax+16], r9
001cc386mov [rax+24], r13
001cc38amov [rax+32], r12
001cc38emov [rax+40], rbx
001cc392mov rbx, [rsi]
001cc395mov rdi, [rbx]
001cc398mov ebx, 1
001cc39dmov rsi, r9
001cc3a0jmp 0x1cbea6
001cc3a5nop [rax]
001cc3a8
001cc3a8loc_1cc3a8:
001cc3a8mov rbx, [rdi+8]
001cc3acsub r15, 56
001cc3b0cmp r15, [r14]
001cc3b3jb 0x1cc5b7
001cc3b9
001cc3b9loc_1cc3b9:
001cc3b9lea rax, [r15+8]
001cc3bdmov [rax-8], 6391
001cc3c5lea rdi, [rip+1428]
001cc3ccmov [rax], rdi
001cc3cfmov rdi, 0x100000000000005
001cc3d9mov [rax+8], rdi
001cc3ddmov [rax+16], r9
001cc3e1mov [rax+24], r13
001cc3e5mov [rax+32], r12
001cc3e9mov [rax+40], rbx
001cc3edmov rbx, [rsi]
001cc3f0mov rdi, [rbx]
001cc3f3mov ebx, 1
001cc3f8mov rsi, r9
001cc3fbjmp 0x1cbea6
001cc400sub r15, 24
001cc404cmp r15, [r14]
001cc407jb 0x1cc5ad
001cc40d
001cc40dloc_1cc40d:
001cc40dlea rax, [r15+8]
001cc411mov [rax-8], 2048
001cc419lea rbx, [rip+0xa9de8]
001cc420mov [rax], rbx
001cc423lea rbx, [rip+0x183706]
001cc42amov [rax+8], rbx
001cc42ecall caml_raise_exn
001cc433nop
001cc434mov rbx, [rdi+16]
001cc438sub r15, 80
001cc43ccmp r15, [r14]
001cc43fjb 0x1cc5a3
001cc445
001cc445loc_1cc445:
001cc445lea rdi, [r15+8]
001cc449add rdi, 56
001cc44dmov [rdi-8], 2056
001cc455mov [rdi], r12
001cc458lea rax, [rip+0x1836a9]
001cc45fmov [rdi+8], rax
001cc463lea rax, [rdi-56]
001cc467mov [rax-8], 6391
001cc46flea rsi, [rip+1066]
001cc476mov [rax], rsi
001cc479mov rsi, 0x100000000000005
001cc483mov [rax+8], rsi
001cc487mov [rax+16], r9
001cc48bmov [rax+24], r13
001cc48fmov [rax+32], rbx
001cc493mov [rax+40], rdi
001cc497add rsp, 32
001cc49bret
001cc49cmov rbx, [rdi+8]
001cc4a0sub r15, 56
001cc4a4cmp r15, [r14]
001cc4a7jb 0x1cc599
001cc4ad
001cc4adloc_1cc4ad:
001cc4adlea rax, [r15+8]
001cc4b1mov [rax-8], 6391
001cc4b9lea rdi, [rip+1024]
001cc4c0mov [rax], rdi
001cc4c3mov rdi, 0x100000000000005
001cc4cdmov [rax+8], rdi
001cc4d1mov [rax+16], r9
001cc4d5mov [rax+24], r13
001cc4d9mov [rax+32], r12
001cc4ddmov [rax+40], rbx
001cc4e1add rsp, 32
001cc4e5ret
001cc4e6nop
001cc4e8mov rbx, [rdi]
001cc4ebsub r15, 56
001cc4efcmp r15, [r14]
001cc4f2jb 0x1cc58f
001cc4f8
001cc4f8loc_1cc4f8:
001cc4f8lea rax, [r15+8]
001cc4fcmov [rax-8], 6391
001cc504lea rdi, [rip+1045]
001cc50bmov [rax], rdi
001cc50emov rdi, 0x100000000000005
001cc518mov [rax+8], rdi
001cc51cmov [rax+16], r9
001cc520mov [rax+24], r13
001cc524mov [rax+32], r12
001cc528mov [rax+40], rbx
001cc52cadd rsp, 32
001cc530ret
001cc531nop [rax]
001cc534mov rdx, r9
001cc537add rdx, 32
001cc53bmov rsi, [rdi+8]
001cc53fmov rdi, [rdi]
001cc542mov rax, r13
001cc545mov rbx, r12
001cc548add rsp, 32
001cc54cjmp 0x1cca00
001cc551nop [rax]
001cc554mov rbx, [rdi+8]
001cc558mov eax, 1
001cc55dmov rdi, [rbx]
001cc560call rdi
001cc562mov rdx, rax
001cc565mov rcx, [rsp+8]
001cc56aadd rcx, 224
001cc571mov rax, [rsp]
001cc575mov rsi, [rax]
001cc578mov rdi, [rax+16]
001cc57cmov rax, [rsp+16]
001cc581mov rbx, [rsp+24]
001cc586add rsp, 32
001cc58ajmp 0x1ce7c0
001cc58f
001cc58floc_1cc58f:
001cc58fcall caml_call_gc
001cc594jmp 0x1cc4f8
001cc599
001cc599loc_1cc599:
001cc599call caml_call_gc
001cc59ejmp 0x1cc4ad
001cc5a3
001cc5a3loc_1cc5a3:
001cc5a3call caml_call_gc
001cc5a8jmp 0x1cc445
001cc5ad
001cc5adloc_1cc5ad:
001cc5adcall caml_call_gc
001cc5b2jmp 0x1cc40d
001cc5b7
001cc5b7loc_1cc5b7:
001cc5b7call caml_call_gc
001cc5bcjmp 0x1cc3b9
001cc5c1
001cc5c1loc_1cc5c1:
001cc5c1call caml_call_gc
001cc5c6jmp 0x1cc35e
001cc5cb
001cc5cbloc_1cc5cb:
001cc5cbcall caml_call_gc
001cc5d0jmp 0x1cc319
001cc5d5
001cc5d5loc_1cc5d5:
001cc5d5call caml_call_gc
001cc5dajmp 0x1cc2d0
001cc5df
001cc5dfloc_1cc5df:
001cc5dfcall caml_call_gc
001cc5e4jmp 0x1cc27c
001cc5e9
001cc5e9loc_1cc5e9:
001cc5e9call caml_call_gc
001cc5eejmp 0x1cc22d
001cc5f3
001cc5f3loc_1cc5f3:
001cc5f3call caml_call_gc
001cc5f8jmp 0x1cc1c2
001cc5fd
001cc5fdloc_1cc5fd:
001cc5fdcall caml_call_gc
001cc602jmp 0x1cc17d
001cc607
001cc607loc_1cc607:
001cc607call caml_call_gc
001cc60cjmp 0x1cc149
001cc611
001cc611loc_1cc611:
001cc611call caml_call_gc
001cc616jmp 0x1cc11d
001cc61b
001cc61bloc_1cc61b:
001cc61bcall caml_call_gc
001cc620jmp 0x1cbf54
001cc625
001cc625loc_1cc625:
001cc625call caml_call_gc
001cc62ajmp 0x1cbf08
001cc62f
001cc62floc_1cc62f:
001cc62fcall caml_call_gc
001cc634jmp 0x1cbeb8
001cc639
001cc639loc_1cc639:
001cc639push 37
001cc63bcall caml_call_realloc_stack
001cc640pop r10
001cc642jmp 0x1cbea2
001cbe90
001cc647
001cc647 // align 0x10
001cc647 // align 0x10
001cc650
001cc650camlCamlinternalFormat.fun_6230:
001cc650sub r15, 24
001cc654cmp r15, [r14]
001cc657jb 0x1cc684
001cc659
001cc659loc_1cc659:
001cc659lea rdx, [r15+8]
001cc65dmov [rdx-8], 2053
001cc665mov rdi, [rbx+32]
001cc669mov [rdx], rdi
001cc66cmov [rdx+8], rax
001cc670mov rdi, [rbx+40]
001cc674mov rax, [rbx+24]
001cc678mov rsi, [rbx+16]
001cc67cmov rbx, rdx
001cc67fjmp 0x1cbe90
001cc684
001cc684loc_1cc684:
001cc684call caml_call_gc
001cc689jmp 0x1cc659
001cc650
001cc650camlCamlinternalFormat.fun_6230:
001cc650sub r15, 24
001cc654cmp r15, [r14]
001cc657jb 0x1cc684
001cc659
001cc659loc_1cc659:
001cc659lea rdx, [r15+8]
001cc65dmov [rdx-8], 2053
001cc665mov rdi, [rbx+32]
001cc669mov [rdx], rdi
001cc66cmov [rdx+8], rax
001cc670mov rdi, [rbx+40]
001cc674mov rax, [rbx+24]
001cc678mov rsi, [rbx+16]
001cc67cmov rbx, rdx
001cc67fjmp 0x1cbe90
001cc684
001cc684loc_1cc684:
001cc684call caml_call_gc
001cc689jmp 0x1cc659
001cc650
001cc68b
001cc68b // align 0x10
001cc68b // align 0x10
001cc690
001cc690camlCamlinternalFormat.fun_6239:
001cc690lea r10, [rsp-328]
001cc698cmp r10, [r14+40]
001cc69cjb 0x1cc6eb
001cc69e
001cc69eloc_1cc69e:
001cc69esub rsp, 8
001cc6a2mov [rsp], rbx
001cc6a6call camlCamlinternalFormat.format_caml_char_3499
001cc6absub r15, 24
001cc6afcmp r15, [r14]
001cc6b2jb 0x1cc6e4
001cc6b4
001cc6b4loc_1cc6b4:
001cc6b4lea rbx, [r15+8]
001cc6b8mov [rbx-8], 2052
001cc6c0mov rsi, [rsp]
001cc6c4mov rdi, [rsi+32]
001cc6c8mov [rbx], rdi
001cc6cbmov [rbx+8], rax
001cc6cfmov rdi, [rsi+40]
001cc6d3mov rax, [rsi+24]
001cc6d7mov rsi, [rsi+16]
001cc6dbadd rsp, 8
001cc6dfjmp 0x1cbe90
001cc6e4
001cc6e4loc_1cc6e4:
001cc6e4call caml_call_gc
001cc6e9jmp 0x1cc6b4
001cc6eb
001cc6ebloc_1cc6eb:
001cc6ebpush 34
001cc6edcall caml_call_realloc_stack
001cc6f2pop r10
001cc6f4jmp 0x1cc69e
001cc690
001cc690camlCamlinternalFormat.fun_6239:
001cc690lea r10, [rsp-328]
001cc698cmp r10, [r14+40]
001cc69cjb 0x1cc6eb
001cc69e
001cc69eloc_1cc69e:
001cc69esub rsp, 8
001cc6a2mov [rsp], rbx
001cc6a6call camlCamlinternalFormat.format_caml_char_3499
001cc6absub r15, 24
001cc6afcmp r15, [r14]
001cc6b2jb 0x1cc6e4
001cc6b4
001cc6b4loc_1cc6b4:
001cc6b4lea rbx, [r15+8]
001cc6b8mov [rbx-8], 2052
001cc6c0mov rsi, [rsp]
001cc6c4mov rdi, [rsi+32]
001cc6c8mov [rbx], rdi
001cc6cbmov [rbx+8], rax
001cc6cfmov rdi, [rsi+40]
001cc6d3mov rax, [rsi+24]
001cc6d7mov rsi, [rsi+16]
001cc6dbadd rsp, 8
001cc6dfjmp 0x1cbe90
001cc6e4
001cc6e4loc_1cc6e4:
001cc6e4call caml_call_gc
001cc6e9jmp 0x1cc6b4
001cc6eb
001cc6ebloc_1cc6eb:
001cc6ebpush 34
001cc6edcall caml_call_realloc_stack
001cc6f2pop r10
001cc6f4jmp 0x1cc69e
001cc690
001cc6f6
001cc6f6 // align 0x10
001cc6f6 // align 0x10
001cc701
001cc701 // align 0x10
001cc701 // align 0x10
001cc710
001cc710camlCamlinternalFormat.fun_6286:
001cc710cmp r15, [r14]
001cc713jbe 0x1cc722
001cc715
001cc715loc_1cc715:
001cc715mov rdi, [rbx+16]
001cc719mov rbx, [rbx+24]
001cc71djmp 0xf73e0
001cc722
001cc722loc_1cc722:
001cc722call caml_call_gc
001cc727jmp 0x1cc715
001cc710
001cc710camlCamlinternalFormat.fun_6286:
001cc710cmp r15, [r14]
001cc713jbe 0x1cc722
001cc715
001cc715loc_1cc715:
001cc715mov rdi, [rbx+16]
001cc719mov rbx, [rbx+24]
001cc71djmp 0xf73e0
001cc722
001cc722loc_1cc722:
001cc722call caml_call_gc
001cc727jmp 0x1cc715
001cc710
001cc729
001cc729 // align 0x10
001cc729 // align 0x10
001cc730
001cc730camlCamlinternalFormat.fun_6276:
001cc730mov rsi, rdi
001cc733mov rdi, [rsi+48]
001cc737sub r15, 64
001cc73bcmp r15, [r14]
001cc73ejb 0x1cc794
001cc740
001cc740loc_1cc740:
001cc740lea rdx, [r15+8]
001cc744add rdx, 24
001cc748mov [rdx-8], 4343
001cc750lea rcx, [rip-71]
001cc757mov [rdx], rcx
001cc75amov rcx, 0x100000000000005
001cc764mov [rdx+8], rcx
001cc768mov [rdx+16], rax
001cc76cmov [rdx+24], rbx
001cc770lea rbx, [rdx-24]
001cc774mov [rbx-8], 2054
001cc77cmov rax, [rsi+40]
001cc780mov [rbx], rax
001cc783mov [rbx+8], rdx
001cc787mov rax, [rsi+32]
001cc78bmov rsi, [rsi+24]
001cc78fjmp 0x1cbe90
001cc794
001cc794loc_1cc794:
001cc794call caml_call_gc
001cc799jmp 0x1cc740
001cc730
001cc730camlCamlinternalFormat.fun_6276:
001cc730mov rsi, rdi
001cc733mov rdi, [rsi+48]
001cc737sub r15, 64
001cc73bcmp r15, [r14]
001cc73ejb 0x1cc794
001cc740
001cc740loc_1cc740:
001cc740lea rdx, [r15+8]
001cc744add rdx, 24
001cc748mov [rdx-8], 4343
001cc750lea rcx, [rip-71]
001cc757mov [rdx], rcx
001cc75amov rcx, 0x100000000000005
001cc764mov [rdx+8], rcx
001cc768mov [rdx+16], rax
001cc76cmov [rdx+24], rbx
001cc770lea rbx, [rdx-24]
001cc774mov [rbx-8], 2054
001cc77cmov rax, [rsi+40]
001cc780mov [rbx], rax
001cc783mov [rbx+8], rdx
001cc787mov rax, [rsi+32]
001cc78bmov rsi, [rsi+24]
001cc78fjmp 0x1cbe90
001cc794
001cc794loc_1cc794:
001cc794call caml_call_gc
001cc799jmp 0x1cc740
001cc730
001cc79b
001cc79b // align 0x10
001cc79b // align 0x10
001cc7a0
001cc7a0camlCamlinternalFormat.fun_6293:
001cc7a0mov rdi, [rbx+40]
001cc7a4sub r15, 24
001cc7a8cmp r15, [r14]
001cc7abjb 0x1cc7d4
001cc7ad
001cc7adloc_1cc7ad:
001cc7adlea rdx, [r15+8]
001cc7b1mov [rdx-8], 2054
001cc7b9mov rsi, [rbx+32]
001cc7bdmov [rdx], rsi
001cc7c0mov [rdx+8], rax
001cc7c4mov rax, [rbx+24]
001cc7c8mov rsi, [rbx+16]
001cc7ccmov rbx, rdx
001cc7cfjmp 0x1cbe90
001cc7d4
001cc7d4loc_1cc7d4:
001cc7d4call caml_call_gc
001cc7d9jmp 0x1cc7ad
001cc7a0
001cc7a0camlCamlinternalFormat.fun_6293:
001cc7a0mov rdi, [rbx+40]
001cc7a4sub r15, 24
001cc7a8cmp r15, [r14]
001cc7abjb 0x1cc7d4
001cc7ad
001cc7adloc_1cc7ad:
001cc7adlea rdx, [r15+8]
001cc7b1mov [rdx-8], 2054
001cc7b9mov rsi, [rbx+32]
001cc7bdmov [rdx], rsi
001cc7c0mov [rdx+8], rax
001cc7c4mov rax, [rbx+24]
001cc7c8mov rsi, [rbx+16]
001cc7ccmov rbx, rdx
001cc7cfjmp 0x1cbe90
001cc7d4
001cc7d4loc_1cc7d4:
001cc7d4call caml_call_gc
001cc7d9jmp 0x1cc7ad
001cc7a0
001cc7db
001cc7db // align 0x10
001cc7db // align 0x10
001cc7e0
001cc7e0camlCamlinternalFormat.fun_6250:
001cc7e0mov rdi, [rbx+40]
001cc7e4sub r15, 24
001cc7e8cmp r15, [r14]
001cc7ebjb 0x1cc818
001cc7ed
001cc7edloc_1cc7ed:
001cc7edlea rdx, [r15+8]
001cc7f1mov [rdx-8], 2052
001cc7f9mov rax, [rbx+32]
001cc7fdmov [rdx], rax
001cc800mov rax, [rbx+48]
001cc804mov [rdx+8], rax
001cc808mov rax, [rbx+24]
001cc80cmov rsi, [rbx+16]
001cc810mov rbx, rdx
001cc813jmp 0x1cbe90
001cc818
001cc818loc_1cc818:
001cc818call caml_call_gc
001cc81djmp 0x1cc7ed
001cc7e0
001cc7e0camlCamlinternalFormat.fun_6250:
001cc7e0mov rdi, [rbx+40]
001cc7e4sub r15, 24
001cc7e8cmp r15, [r14]
001cc7ebjb 0x1cc818
001cc7ed
001cc7edloc_1cc7ed:
001cc7edlea rdx, [r15+8]
001cc7f1mov [rdx-8], 2052
001cc7f9mov rax, [rbx+32]
001cc7fdmov [rdx], rax
001cc800mov rax, [rbx+48]
001cc804mov [rdx+8], rax
001cc808mov rax, [rbx+24]
001cc80cmov rsi, [rbx+16]
001cc810mov rbx, rdx
001cc813jmp 0x1cbe90
001cc818
001cc818loc_1cc818:
001cc818call caml_call_gc
001cc81djmp 0x1cc7ed
001cc7e0
001cc81f
001cc81f // align 0x10
001cc81f // align 0x10
001cc820
001cc820camlCamlinternalFormat.fun_6261:
001cc820lea r10, [rsp-336]
001cc828cmp r10, [r14+40]
001cc82cjb 0x1cc886
001cc82e
001cc82eloc_1cc82e:
001cc82esub rsp, 16
001cc832mov [rsp+8], rbx
001cc837mov rbx, [rbx+40]
001cc83bmov rax, [rax]
001cc83emov [rsp], rax
001cc842mov rax, rbx
001cc845call camlCamlinternalFormat.symm_1179
001cc84acall camlCamlinternalFormatBasics.erase_rel_143
001cc84fmov rbx, rax
001cc852mov rax, [rsp]
001cc856call camlCamlinternalFormat.type_format_2488
001cc85bmov rbx, [rsp+8]
001cc860mov rbx, [rbx+48]
001cc864call camlCamlinternalFormatBasics.concat_fmt_512
001cc869mov rdi, rax
001cc86cmov rsi, [rsp+8]
001cc871mov rbx, [rsi+32]
001cc875mov rax, [rsi+24]
001cc879mov rsi, [rsi+16]
001cc87dadd rsp, 16
001cc881jmp 0x1cbe90
001cc886
001cc886loc_1cc886:
001cc886push 35
001cc888call caml_call_realloc_stack
001cc88dpop r10
001cc88fjmp 0x1cc82e
001cc820
001cc820camlCamlinternalFormat.fun_6261:
001cc820lea r10, [rsp-336]
001cc828cmp r10, [r14+40]
001cc82cjb 0x1cc886
001cc82e
001cc82eloc_1cc82e:
001cc82esub rsp, 16
001cc832mov [rsp+8], rbx
001cc837mov rbx, [rbx+40]
001cc83bmov rax, [rax]
001cc83emov [rsp], rax
001cc842mov rax, rbx
001cc845call camlCamlinternalFormat.symm_1179
001cc84acall camlCamlinternalFormatBasics.erase_rel_143
001cc84fmov rbx, rax
001cc852mov rax, [rsp]
001cc856call camlCamlinternalFormat.type_format_2488
001cc85bmov rbx, [rsp+8]
001cc860mov rbx, [rbx+48]
001cc864call camlCamlinternalFormatBasics.concat_fmt_512
001cc869mov rdi, rax
001cc86cmov rsi, [rsp+8]
001cc871mov rbx, [rsi+32]
001cc875mov rax, [rsi+24]
001cc879mov rsi, [rsi+16]
001cc87dadd rsp, 16
001cc881jmp 0x1cbe90
001cc886
001cc886loc_1cc886:
001cc886push 35
001cc888call caml_call_realloc_stack
001cc88dpop r10
001cc88fjmp 0x1cc82e
001cc820
001cc891
001cc891 // align 0x10
001cc891 // align 0x10
001cc8a0
001cc8a0camlCamlinternalFormat.fun_6324:
001cc8a0mov rdi, [rbx+32]
001cc8a4mov rdx, [rbx+40]
001cc8a8mov rax, [rbx+24]
001cc8acmov rsi, [rbx+16]
001cc8b0mov rbx, rdx
001cc8b3jmp 0x1cbe90
001cc8a0
001cc8a0camlCamlinternalFormat.fun_6324:
001cc8a0mov rdi, [rbx+32]
001cc8a4mov rdx, [rbx+40]
001cc8a8mov rax, [rbx+24]
001cc8acmov rsi, [rbx+16]
001cc8b0mov rbx, rdx
001cc8b3jmp 0x1cbe90
001cc8a0
001cc8b8
001cc8b8 // align 0x10
001cc8b8 // align 0x10
001cc8c0
001cc8c0camlCamlinternalFormat.fun_6335:
001cc8c0sub rsp, 8
001cc8c4mov [rsp], rbx
001cc8c8lea rdi, [rip+0x1819e9]
001cc8cfmov rsi, rax
001cc8d2lea rax, [rip+0x40b37]
001cc8d9call caml_c_call
001cc8desub r15, 24
001cc8e2cmp r15, [r14]
001cc8e5jb 0x1cc917
001cc8e7
001cc8e7loc_1cc8e7:
001cc8e7lea rbx, [r15+8]
001cc8ebmov [rbx-8], 2052
001cc8f3mov rsi, [rsp]
001cc8f7mov rdi, [rsi+32]
001cc8fbmov [rbx], rdi
001cc8femov [rbx+8], rax
001cc902mov rdi, [rsi+40]
001cc906mov rax, [rsi+24]
001cc90amov rsi, [rsi+16]
001cc90eadd rsp, 8
001cc912jmp 0x1cbe90
001cc917
001cc917loc_1cc917:
001cc917call caml_call_gc
001cc91cjmp 0x1cc8e7
001cc8c0
001cc8c0camlCamlinternalFormat.fun_6335:
001cc8c0sub rsp, 8
001cc8c4mov [rsp], rbx
001cc8c8lea rdi, [rip+0x1819e9]
001cc8cfmov rsi, rax
001cc8d2lea rax, [rip+0x40b37]
001cc8d9call caml_c_call
001cc8desub r15, 24
001cc8e2cmp r15, [r14]
001cc8e5jb 0x1cc917
001cc8e7
001cc8e7loc_1cc8e7:
001cc8e7lea rbx, [r15+8]
001cc8ebmov [rbx-8], 2052
001cc8f3mov rsi, [rsp]
001cc8f7mov rdi, [rsi+32]
001cc8fbmov [rbx], rdi
001cc8femov [rbx+8], rax
001cc902mov rdi, [rsi+40]
001cc906mov rax, [rsi+24]
001cc90amov rsi, [rsi+16]
001cc90eadd rsp, 8
001cc912jmp 0x1cbe90
001cc917
001cc917loc_1cc917:
001cc917call caml_call_gc
001cc91cjmp 0x1cc8e7
001cc8c0
001cc91e
001cc91e // align 0x10
001cc91e // align 0x10
001cc920
001cc920camlCamlinternalFormat.fun_6344:
001cc920sub r15, 24
001cc924cmp r15, [r14]
001cc927jb 0x1cc954
001cc929
001cc929loc_1cc929:
001cc929lea rdx, [r15+8]
001cc92dmov [rdx-8], 2053
001cc935mov rdi, [rbx+32]
001cc939mov [rdx], rdi
001cc93cmov [rdx+8], rax
001cc940mov rdi, [rbx+40]
001cc944mov rax, [rbx+24]
001cc948mov rsi, [rbx+16]
001cc94cmov rbx, rdx
001cc94fjmp 0x1cbe90
001cc954
001cc954loc_1cc954:
001cc954call caml_call_gc
001cc959jmp 0x1cc929
001cc920
001cc920camlCamlinternalFormat.fun_6344:
001cc920sub r15, 24
001cc924cmp r15, [r14]
001cc927jb 0x1cc954
001cc929
001cc929loc_1cc929:
001cc929lea rdx, [r15+8]
001cc92dmov [rdx-8], 2053
001cc935mov rdi, [rbx+32]
001cc939mov [rdx], rdi
001cc93cmov [rdx+8], rax
001cc940mov rdi, [rbx+40]
001cc944mov rax, [rbx+24]
001cc948mov rsi, [rbx+16]
001cc94cmov rbx, rdx
001cc94fjmp 0x1cbe90
001cc954
001cc954loc_1cc954:
001cc954call caml_call_gc
001cc959jmp 0x1cc929
001cc920
001cc95b
001cc95b // align 0x10
001cc95b // align 0x10
001cc960
001cc960camlCamlinternalFormat.k$27_3650:
001cc960mov rdi, [rbx+40]
001cc964sub r15, 40
001cc968cmp r15, [r14]
001cc96bjb 0x1cc9a7
001cc96d
001cc96dloc_1cc96d:
001cc96dlea rsi, [r15+8]
001cc971add rsi, 24
001cc975mov [rsi-8], 1024
001cc97dmov [rsi], rax
001cc980lea rdx, [rsi-24]
001cc984mov [rdx-8], 2049
001cc98cmov rax, [rbx+32]
001cc990mov [rdx], rax
001cc993mov [rdx+8], rsi
001cc997mov rax, [rbx+24]
001cc99bmov rsi, [rbx+16]
001cc99fmov rbx, rdx
001cc9a2jmp 0x1cbe90
001cc9a7
001cc9a7loc_1cc9a7:
001cc9a7call caml_call_gc
001cc9acjmp 0x1cc96d
001cc960
001cc960camlCamlinternalFormat.k$27_3650:
001cc960mov rdi, [rbx+40]
001cc964sub r15, 40
001cc968cmp r15, [r14]
001cc96bjb 0x1cc9a7
001cc96d
001cc96dloc_1cc96d:
001cc96dlea rsi, [r15+8]
001cc971add rsi, 24
001cc975mov [rsi-8], 1024
001cc97dmov [rsi], rax
001cc980lea rdx, [rsi-24]
001cc984mov [rdx-8], 2049
001cc98cmov rax, [rbx+32]
001cc990mov [rdx], rax
001cc993mov [rdx+8], rsi
001cc997mov rax, [rbx+24]
001cc99bmov rsi, [rbx+16]
001cc99fmov rbx, rdx
001cc9a2jmp 0x1cbe90
001cc9a7
001cc9a7loc_1cc9a7:
001cc9a7call caml_call_gc
001cc9acjmp 0x1cc96d
001cc960
001cc9ae
001cc9ae // align 0x10
001cc9ae // align 0x10
001cc9b0
001cc9b0camlCamlinternalFormat.k$27_3653:
001cc9b0mov rdi, [rbx+40]
001cc9b4sub r15, 40
001cc9b8cmp r15, [r14]
001cc9bbjb 0x1cc9f7
001cc9bd
001cc9bdloc_1cc9bd:
001cc9bdlea rsi, [r15+8]
001cc9c1add rsi, 24
001cc9c5mov [rsi-8], 1025
001cc9cdmov [rsi], rax
001cc9d0lea rdx, [rsi-24]
001cc9d4mov [rdx-8], 2049
001cc9dcmov rax, [rbx+32]
001cc9e0mov [rdx], rax
001cc9e3mov [rdx+8], rsi
001cc9e7mov rax, [rbx+24]
001cc9ebmov rsi, [rbx+16]
001cc9efmov rbx, rdx
001cc9f2jmp 0x1cbe90
001cc9f7
001cc9f7loc_1cc9f7:
001cc9f7call caml_call_gc
001cc9fcjmp 0x1cc9bd
001cc9b0
001cc9b0camlCamlinternalFormat.k$27_3653:
001cc9b0mov rdi, [rbx+40]
001cc9b4sub r15, 40
001cc9b8cmp r15, [r14]
001cc9bbjb 0x1cc9f7
001cc9bd
001cc9bdloc_1cc9bd:
001cc9bdlea rsi, [r15+8]
001cc9c1add rsi, 24
001cc9c5mov [rsi-8], 1025
001cc9cdmov [rsi], rax
001cc9d0lea rdx, [rsi-24]
001cc9d4mov [rdx-8], 2049
001cc9dcmov rax, [rbx+32]
001cc9e0mov [rdx], rax
001cc9e3mov [rdx+8], rsi
001cc9e7mov rax, [rbx+24]
001cc9ebmov rsi, [rbx+16]
001cc9efmov rbx, rdx
001cc9f2jmp 0x1cbe90
001cc9f7
001cc9f7loc_1cc9f7:
001cc9f7call caml_call_gc
001cc9fcjmp 0x1cc9bd
001cc9b0
001cc9fe
001cc9fe // align 0x10
001cc9fe // align 0x10
001cca00
001cca00camlCamlinternalFormat.make_ignored_param_3510:
001cca00mov rcx, rsi
001cca03cmp r15, [r14]
001cca06jbe 0x1cca7a
001cca08
001cca08loc_1cca08:
001cca08test dil, 1
001cca0cje 0x1cca48
001cca0esar rdi, 1
001cca11cmp rdi, 2
001cca15jne 0x1cca64
001cca17sub r15, 24
001cca1bcmp r15, [r14]
001cca1ejb 0x1cca73
001cca20
001cca20loc_1cca20:
001cca20lea rax, [r15+8]
001cca24mov [rax-8], 2048
001cca2clea rbx, [rip+0xa97d5]
001cca33mov [rax], rbx
001cca36lea rbx, [rip+0x1830ab]
001cca3dmov [rax+8], rbx
001cca41call caml_raise_exn
001cca46nop
001cca48
001cca48loc_1cca48:
001cca48movzx rsi, [rdi-8]
001cca4dcmp rsi, 9
001cca51jne 0x1cca64
001cca53add rdx, 32
001cca57mov rdi, [rdi+8]
001cca5bmov rsi, rcx
001cca5ejmp 0x1cca90
001cca63
001cca63 90 .
001cca64
001cca64loc_1cca64:
001cca64mov rsi, rdx
001cca67add rsi, 64
001cca6bmov rdi, rcx
001cca6ejmp 0x1cd240
001cca73
001cca73loc_1cca73:
001cca73call caml_call_gc
001cca78jmp 0x1cca20
001cca7a
001cca7aloc_1cca7a:
001cca7acall caml_call_gc
001cca7fjmp 0x1cca08
001cca00
001cca00camlCamlinternalFormat.make_ignored_param_3510:
001cca00mov rcx, rsi
001cca03cmp r15, [r14]
001cca06jbe 0x1cca7a
001cca08
001cca08loc_1cca08:
001cca08test dil, 1
001cca0cje 0x1cca48
001cca0esar rdi, 1
001cca11cmp rdi, 2
001cca15jne 0x1cca64
001cca17sub r15, 24
001cca1bcmp r15, [r14]
001cca1ejb 0x1cca73
001cca20
001cca20loc_1cca20:
001cca20lea rax, [r15+8]
001cca24mov [rax-8], 2048
001cca2clea rbx, [rip+0xa97d5]
001cca33mov [rax], rbx
001cca36lea rbx, [rip+0x1830ab]
001cca3dmov [rax+8], rbx
001cca41call caml_raise_exn
001cca46nop
001cca48
001cca48loc_1cca48:
001cca48movzx rsi, [rdi-8]
001cca4dcmp rsi, 9
001cca51jne 0x1cca64
001cca53add rdx, 32
001cca57mov rdi, [rdi+8]
001cca5bmov rsi, rcx
001cca5ejmp 0x1cca90
001cca63
001cca63 90 .
001cca64
001cca64loc_1cca64:
001cca64mov rsi, rdx
001cca67add rsi, 64
001cca6bmov rdi, rcx
001cca6ejmp 0x1cd240
001cca73
001cca73loc_1cca73:
001cca73call caml_call_gc
001cca78jmp 0x1cca20
001cca7a
001cca7aloc_1cca7a:
001cca7acall caml_call_gc
001cca7fjmp 0x1cca08
001cca00
001cca81
001cca81 // align 0x10
001cca81 // align 0x10
001cca90
001cca90camlCamlinternalFormat.make_from_fmtty_3511:
001cca90lea r10, [rsp-368]
001cca98cmp r10, [r14+40]
001cca9cjb 0x1cd04d
001ccaa2
001ccaa2loc_1ccaa2:
001ccaa2sub rsp, 48
001ccaa6mov rcx, rax
001ccaa9mov r8, rdi
001ccaacmov rdi, rsi
001ccaafmov rsi, rdx
001ccab2cmp r15, [r14]
001ccab5jbe 0x1cd043
001ccabb
001ccabbloc_1ccabb:
001ccabbtest r8b, 1
001ccabfje 0x1ccad4
001ccac1add rsi, 32
001ccac5mov rax, rcx
001ccac8add rsp, 48
001ccaccjmp 0x1cd240
001ccad1nop [rax]
001ccad4
001ccad4loc_1ccad4:
001ccad4mov [rsp+8], rsi
001ccad9mov [rsp+32], rdi
001ccademov [rsp], r8
001ccae2mov [rsp+24], rbx
001ccae7mov [rsp+16], rcx
001ccaecmovzx rax, [r8-8]
001ccaf1lea rdx, [rip+0x61618]
001ccaf8movsxd rax, [rdx+4*rax]
001ccafcadd rdx, rax
001ccaffjmp rdx
001ccb01nop [rax]
001ccb04mov rdx, [r8]
001ccb07sub r15, 64
001ccb0bcmp r15, [r14]
001ccb0ejb 0x1cd039
001ccb14
001ccb14loc_1ccb14:
001ccb14lea rax, [r15+8]
001ccb18mov [rax-8], 7415
001ccb20lea r8, [rip+1337]
001ccb27mov [rax], r8
001ccb2amov r8, 0x100000000000005
001ccb34mov [rax+8], r8
001ccb38mov [rax+16], rsi
001ccb3cmov [rax+24], rcx
001ccb40mov [rax+32], rbx
001ccb44mov [rax+40], rdi
001ccb48mov [rax+48], rdx
001ccb4cadd rsp, 48
001ccb50ret
001ccb51nop [rax]
001ccb54mov rdx, [r8]
001ccb57sub r15, 64
001ccb5bcmp r15, [r14]
001ccb5ejb 0x1cd02f
001ccb64
001ccb64loc_1ccb64:
001ccb64lea rax, [r15+8]
001ccb68mov [rax-8], 7415
001ccb70lea r8, [rip+1289]
001ccb77mov [rax], r8
001ccb7amov r8, 0x100000000000005
001ccb84mov [rax+8], r8
001ccb88mov [rax+16], rsi
001ccb8cmov [rax+24], rcx
001ccb90mov [rax+32], rbx
001ccb94mov [rax+40], rdi
001ccb98mov [rax+48], rdx
001ccb9cadd rsp, 48
001ccba0ret
001ccba1nop [rax]
001ccba4mov rdx, [r8]
001ccba7sub r15, 64
001ccbabcmp r15, [r14]
001ccbaejb 0x1cd025
001ccbb4
001ccbb4loc_1ccbb4:
001ccbb4lea rax, [r15+8]
001ccbb8mov [rax-8], 7415
001ccbc0lea r8, [rip+1241]
001ccbc7mov [rax], r8
001ccbcamov r8, 0x100000000000005
001ccbd4mov [rax+8], r8
001ccbd8mov [rax+16], rsi
001ccbdcmov [rax+24], rcx
001ccbe0mov [rax+32], rbx
001ccbe4mov [rax+40], rdi
001ccbe8mov [rax+48], rdx
001ccbecadd rsp, 48
001ccbf0ret
001ccbf1nop [rax]
001ccbf4mov rdx, [r8]
001ccbf7sub r15, 64
001ccbfbcmp r15, [r14]
001ccbfejb 0x1cd01b
001ccc04
001ccc04loc_1ccc04:
001ccc04lea rax, [r15+8]
001ccc08mov [rax-8], 7415
001ccc10lea r8, [rip+1193]
001ccc17mov [rax], r8
001ccc1amov r8, 0x100000000000005
001ccc24mov [rax+8], r8
001ccc28mov [rax+16], rsi
001ccc2cmov [rax+24], rcx
001ccc30mov [rax+32], rbx
001ccc34mov [rax+40], rdi
001ccc38mov [rax+48], rdx
001ccc3cadd rsp, 48
001ccc40ret
001ccc41nop [rax]
001ccc44mov rdx, [r8]
001ccc47sub r15, 64
001ccc4bcmp r15, [r14]
001ccc4ejb 0x1cd011
001ccc54
001ccc54loc_1ccc54:
001ccc54lea rax, [r15+8]
001ccc58mov [rax-8], 7415
001ccc60lea r8, [rip+1145]
001ccc67mov [rax], r8
001ccc6amov r8, 0x100000000000005
001ccc74mov [rax+8], r8
001ccc78mov [rax+16], rsi
001ccc7cmov [rax+24], rcx
001ccc80mov [rax+32], rbx
001ccc84mov [rax+40], rdi
001ccc88mov [rax+48], rdx
001ccc8cadd rsp, 48
001ccc90ret
001ccc91nop [rax]
001ccc94mov rdx, [r8]
001ccc97sub r15, 64
001ccc9bcmp r15, [r14]
001ccc9ejb 0x1cd007
001ccca4
001ccca4loc_1ccca4:
001ccca4lea rax, [r15+8]
001ccca8mov [rax-8], 7415
001cccb0lea r8, [rip+1097]
001cccb7mov [rax], r8
001cccbamov r8, 0x100000000000005
001cccc4mov [rax+8], r8
001cccc8mov [rax+16], rsi
001cccccmov [rax+24], rcx
001cccd0mov [rax+32], rbx
001cccd4mov [rax+40], rdi
001cccd8mov [rax+48], rdx
001cccdcadd rsp, 48
001ccce0ret
001ccce1nop [rax]
001ccce4mov rdx, [r8]
001ccce7sub r15, 64
001cccebcmp r15, [r14]
001ccceejb 0x1ccffd
001cccf4
001cccf4loc_1cccf4:
001cccf4lea rax, [r15+8]
001cccf8mov [rax-8], 7415
001ccd00lea r8, [rip+1049]
001ccd07mov [rax], r8
001ccd0amov r8, 0x100000000000005
001ccd14mov [rax+8], r8
001ccd18mov [rax+16], rsi
001ccd1cmov [rax+24], rcx
001ccd20mov [rax+32], rbx
001ccd24mov [rax+40], rdi
001ccd28mov [rax+48], rdx
001ccd2cadd rsp, 48
001ccd30ret
001ccd31nop [rax]
001ccd34mov rdx, [r8]
001ccd37sub r15, 64
001ccd3bcmp r15, [r14]
001ccd3ejb 0x1ccff3
001ccd44
001ccd44loc_1ccd44:
001ccd44lea rax, [r15+8]
001ccd48mov [rax-8], 7415
001ccd50lea r8, [rip+1001]
001ccd57mov [rax], r8
001ccd5amov r8, 0x100000000000005
001ccd64mov [rax+8], r8
001ccd68mov [rax+16], rsi
001ccd6cmov [rax+24], rcx
001ccd70mov [rax+32], rbx
001ccd74mov [rax+40], rdi
001ccd78mov [rax+48], rdx
001ccd7cadd rsp, 48
001ccd80ret
001ccd81nop [rax]
001ccd84mov rdx, [r8+8]
001ccd88sub r15, 64
001ccd8ccmp r15, [r14]
001ccd8fjb 0x1ccfe9
001ccd95
001ccd95loc_1ccd95:
001ccd95lea rax, [r15+8]
001ccd99mov [rax-8], 7415
001ccda1lea r8, [rip+1048]
001ccda8mov [rax], r8
001ccdabmov r8, 0x100000000000005
001ccdb5mov [rax+8], r8
001ccdb9mov [rax+16], rsi
001ccdbdmov [rax+24], rcx
001ccdc1mov [rax+32], rbx
001ccdc5mov [rax+40], rdi
001ccdc9mov [rax+48], rdx
001ccdcdadd rsp, 48
001ccdd1ret
001ccdd2nop
001ccdd4mov rax, [r8+16]
001ccdd8mov [rsp+40], rax
001ccdddmov rax, [r8]
001ccde0call camlCamlinternalFormat.symm_1179
001ccde5mov rbx, [rsp]
001ccde9mov rbx, [rbx+8]
001ccdedcall camlCamlinternalFormat.trans_1362
001ccdf2sub r15, 72
001ccdf6cmp r15, [r14]
001ccdf9jb 0x1ccfdf
001ccdff
001ccdffloc_1ccdff:
001ccdfflea rbx, [r15+8]
001cce03mov [rbx-8], 8439
001cce0blea rdi, [rip+974]
001cce12mov [rbx], rdi
001cce15mov rdi, 0x100000000000005
001cce1fmov [rbx+8], rdi
001cce23mov rdi, [rsp+8]
001cce28mov [rbx+16], rdi
001cce2cmov rdi, [rsp+16]
001cce31mov [rbx+24], rdi
001cce35mov rdi, [rsp+24]
001cce3amov [rbx+32], rdi
001cce3emov rdi, [rsp+32]
001cce43mov [rbx+40], rdi
001cce47mov rdi, [rsp+40]
001cce4cmov [rbx+48], rdi
001cce50mov [rbx+56], rax
001cce54mov rax, rbx
001cce57add rsp, 48
001cce5bret
001cce5cmov rdx, [r8]
001cce5fsub r15, 72
001cce63cmp r15, [r14]
001cce66jb 0x1ccfd5
001cce6c
001cce6cloc_1cce6c:
001cce6clea rax, [r15+8]
001cce70mov [rax-8], 8439
001cce78lea r8, [rip-0xd5e5f]
001cce7fmov [rax], r8
001cce82mov r8, 0x200000000000007
001cce8cmov [rax+8], r8
001cce90lea r8, [rip+713]
001cce97mov [rax+16], r8
001cce9bmov [rax+24], rsi
001cce9fmov [rax+32], rcx
001ccea3mov [rax+40], rbx
001ccea7mov [rax+48], rdi
001cceabmov [rax+56], rdx
001cceafadd rsp, 48
001cceb3ret
001cceb4mov rdx, [r8]
001cceb7sub r15, 64
001ccebbcmp r15, [r14]
001ccebejb 0x1ccfcb
001ccec4
001ccec4loc_1ccec4:
001ccec4lea rax, [r15+8]
001ccec8mov [rax-8], 7415
001cced0lea r8, [rip+681]
001cced7mov [rax], r8
001ccedamov r8, 0x100000000000005
001ccee4mov [rax+8], r8
001ccee8mov [rax+16], rsi
001cceecmov [rax+24], rcx
001ccef0mov [rax+32], rbx
001ccef4mov [rax+40], rdi
001ccef8mov [rax+48], rdx
001ccefcadd rsp, 48
001ccf00ret
001ccf01nop [rax]
001ccf04mov rdx, [r8]
001ccf07sub r15, 64
001ccf0bcmp r15, [r14]
001ccf0ejb 0x1ccfc1
001ccf14
001ccf14loc_1ccf14:
001ccf14lea rax, [r15+8]
001ccf18mov [rax-8], 7415
001ccf20lea r8, [rip+633]
001ccf27mov [rax], r8
001ccf2amov r8, 0x100000000000005
001ccf34mov [rax+8], r8
001ccf38mov [rax+16], rsi
001ccf3cmov [rax+24], rcx
001ccf40mov [rax+32], rbx
001ccf44mov [rax+40], rdi
001ccf48mov [rax+48], rdx
001ccf4cadd rsp, 48
001ccf50ret
001ccf51nop [rax]
001ccf54sub r15, 24
001ccf58cmp r15, [r14]
001ccf5bjb 0x1ccfba
001ccf5d
001ccf5dloc_1ccf5d:
001ccf5dlea rax, [r15+8]
001ccf61mov [rax-8], 2048
001ccf69lea rbx, [rip+0xa9298]
001ccf70mov [rax], rbx
001ccf73lea rbx, [rip+0x182b4e]
001ccf7amov [rax+8], rbx
001ccf7ecall caml_raise_exn
001ccf83nop
001ccf84sub r15, 24
001ccf88cmp r15, [r14]
001ccf8bjb 0x1ccfb3
001ccf8d
001ccf8dloc_1ccf8d:
001ccf8dlea rax, [r15+8]
001ccf91mov [rax-8], 2048
001ccf99lea rbx, [rip+0xa9268]
001ccfa0mov [rax], rbx
001ccfa3lea rbx, [rip+0x182afe]
001ccfaamov [rax+8], rbx
001ccfaecall caml_raise_exn
001ccfb3
001ccfb3loc_1ccfb3:
001ccfb3call caml_call_gc
001ccfb8jmp 0x1ccf8d
001ccfba
001ccfbaloc_1ccfba:
001ccfbacall caml_call_gc
001ccfbfjmp 0x1ccf5d
001ccfc1
001ccfc1loc_1ccfc1:
001ccfc1call caml_call_gc
001ccfc6jmp 0x1ccf14
001ccfcb
001ccfcbloc_1ccfcb:
001ccfcbcall caml_call_gc
001ccfd0jmp 0x1ccec4
001ccfd5
001ccfd5loc_1ccfd5:
001ccfd5call caml_call_gc
001ccfdajmp 0x1cce6c
001ccfdf
001ccfdfloc_1ccfdf:
001ccfdfcall caml_call_gc
001ccfe4jmp 0x1ccdff
001ccfe9
001ccfe9loc_1ccfe9:
001ccfe9call caml_call_gc
001ccfeejmp 0x1ccd95
001ccff3
001ccff3loc_1ccff3:
001ccff3call caml_call_gc
001ccff8jmp 0x1ccd44
001ccffd
001ccffdloc_1ccffd:
001ccffdcall caml_call_gc
001cd002jmp 0x1cccf4
001cd007
001cd007loc_1cd007:
001cd007call caml_call_gc
001cd00cjmp 0x1ccca4
001cd011
001cd011loc_1cd011:
001cd011call caml_call_gc
001cd016jmp 0x1ccc54
001cd01b
001cd01bloc_1cd01b:
001cd01bcall caml_call_gc
001cd020jmp 0x1ccc04
001cd025
001cd025loc_1cd025:
001cd025call caml_call_gc
001cd02ajmp 0x1ccbb4
001cd02f
001cd02floc_1cd02f:
001cd02fcall caml_call_gc
001cd034jmp 0x1ccb64
001cd039
001cd039loc_1cd039:
001cd039call caml_call_gc
001cd03ejmp 0x1ccb14
001cd043
001cd043loc_1cd043:
001cd043call caml_call_gc
001cd048jmp 0x1ccabb
001cd04d
001cd04dloc_1cd04d:
001cd04dpush 39
001cd04fcall caml_call_realloc_stack
001cd054pop r10
001cd056jmp 0x1ccaa2
001cca90
001cca90camlCamlinternalFormat.make_from_fmtty_3511:
001cca90lea r10, [rsp-368]
001cca98cmp r10, [r14+40]
001cca9cjb 0x1cd04d
001ccaa2
001ccaa2loc_1ccaa2:
001ccaa2sub rsp, 48
001ccaa6mov rcx, rax
001ccaa9mov r8, rdi
001ccaacmov rdi, rsi
001ccaafmov rsi, rdx
001ccab2cmp r15, [r14]
001ccab5jbe 0x1cd043
001ccabb
001ccabbloc_1ccabb:
001ccabbtest r8b, 1
001ccabfje 0x1ccad4
001ccac1add rsi, 32
001ccac5mov rax, rcx
001ccac8add rsp, 48
001ccaccjmp 0x1cd240
001ccad1nop [rax]
001ccad4
001ccad4loc_1ccad4:
001ccad4mov [rsp+8], rsi
001ccad9mov [rsp+32], rdi
001ccademov [rsp], r8
001ccae2mov [rsp+24], rbx
001ccae7mov [rsp+16], rcx
001ccaecmovzx rax, [r8-8]
001ccaf1lea rdx, [rip+0x61618]
001ccaf8movsxd rax, [rdx+4*rax]
001ccafcadd rdx, rax
001ccaffjmp rdx
001ccb01nop [rax]
001ccb04mov rdx, [r8]
001ccb07sub r15, 64
001ccb0bcmp r15, [r14]
001ccb0ejb 0x1cd039
001ccb14
001ccb14loc_1ccb14:
001ccb14lea rax, [r15+8]
001ccb18mov [rax-8], 7415
001ccb20lea r8, [rip+1337]
001ccb27mov [rax], r8
001ccb2amov r8, 0x100000000000005
001ccb34mov [rax+8], r8
001ccb38mov [rax+16], rsi
001ccb3cmov [rax+24], rcx
001ccb40mov [rax+32], rbx
001ccb44mov [rax+40], rdi
001ccb48mov [rax+48], rdx
001ccb4cadd rsp, 48
001ccb50ret
001ccb51nop [rax]
001ccb54mov rdx, [r8]
001ccb57sub r15, 64
001ccb5bcmp r15, [r14]
001ccb5ejb 0x1cd02f
001ccb64
001ccb64loc_1ccb64:
001ccb64lea rax, [r15+8]
001ccb68mov [rax-8], 7415
001ccb70lea r8, [rip+1289]
001ccb77mov [rax], r8
001ccb7amov r8, 0x100000000000005
001ccb84mov [rax+8], r8
001ccb88mov [rax+16], rsi
001ccb8cmov [rax+24], rcx
001ccb90mov [rax+32], rbx
001ccb94mov [rax+40], rdi
001ccb98mov [rax+48], rdx
001ccb9cadd rsp, 48
001ccba0ret
001ccba1nop [rax]
001ccba4mov rdx, [r8]
001ccba7sub r15, 64
001ccbabcmp r15, [r14]
001ccbaejb 0x1cd025
001ccbb4
001ccbb4loc_1ccbb4:
001ccbb4lea rax, [r15+8]
001ccbb8mov [rax-8], 7415
001ccbc0lea r8, [rip+1241]
001ccbc7mov [rax], r8
001ccbcamov r8, 0x100000000000005
001ccbd4mov [rax+8], r8
001ccbd8mov [rax+16], rsi
001ccbdcmov [rax+24], rcx
001ccbe0mov [rax+32], rbx
001ccbe4mov [rax+40], rdi
001ccbe8mov [rax+48], rdx
001ccbecadd rsp, 48
001ccbf0ret
001ccbf1nop [rax]
001ccbf4mov rdx, [r8]
001ccbf7sub r15, 64
001ccbfbcmp r15, [r14]
001ccbfejb 0x1cd01b
001ccc04
001ccc04loc_1ccc04:
001ccc04lea rax, [r15+8]
001ccc08mov [rax-8], 7415
001ccc10lea r8, [rip+1193]
001ccc17mov [rax], r8
001ccc1amov r8, 0x100000000000005
001ccc24mov [rax+8], r8
001ccc28mov [rax+16], rsi
001ccc2cmov [rax+24], rcx
001ccc30mov [rax+32], rbx
001ccc34mov [rax+40], rdi
001ccc38mov [rax+48], rdx
001ccc3cadd rsp, 48
001ccc40ret
001ccc41nop [rax]
001ccc44mov rdx, [r8]
001ccc47sub r15, 64
001ccc4bcmp r15, [r14]
001ccc4ejb 0x1cd011
001ccc54
001ccc54loc_1ccc54:
001ccc54lea rax, [r15+8]
001ccc58mov [rax-8], 7415
001ccc60lea r8, [rip+1145]
001ccc67mov [rax], r8
001ccc6amov r8, 0x100000000000005
001ccc74mov [rax+8], r8
001ccc78mov [rax+16], rsi
001ccc7cmov [rax+24], rcx
001ccc80mov [rax+32], rbx
001ccc84mov [rax+40], rdi
001ccc88mov [rax+48], rdx
001ccc8cadd rsp, 48
001ccc90ret
001ccc91nop [rax]
001ccc94mov rdx, [r8]
001ccc97sub r15, 64
001ccc9bcmp r15, [r14]
001ccc9ejb 0x1cd007
001ccca4
001ccca4loc_1ccca4:
001ccca4lea rax, [r15+8]
001ccca8mov [rax-8], 7415
001cccb0lea r8, [rip+1097]
001cccb7mov [rax], r8
001cccbamov r8, 0x100000000000005
001cccc4mov [rax+8], r8
001cccc8mov [rax+16], rsi
001cccccmov [rax+24], rcx
001cccd0mov [rax+32], rbx
001cccd4mov [rax+40], rdi
001cccd8mov [rax+48], rdx
001cccdcadd rsp, 48
001ccce0ret
001ccce1nop [rax]
001ccce4mov rdx, [r8]
001ccce7sub r15, 64
001cccebcmp r15, [r14]
001ccceejb 0x1ccffd
001cccf4
001cccf4loc_1cccf4:
001cccf4lea rax, [r15+8]
001cccf8mov [rax-8], 7415
001ccd00lea r8, [rip+1049]
001ccd07mov [rax], r8
001ccd0amov r8, 0x100000000000005
001ccd14mov [rax+8], r8
001ccd18mov [rax+16], rsi
001ccd1cmov [rax+24], rcx
001ccd20mov [rax+32], rbx
001ccd24mov [rax+40], rdi
001ccd28mov [rax+48], rdx
001ccd2cadd rsp, 48
001ccd30ret
001ccd31nop [rax]
001ccd34mov rdx, [r8]
001ccd37sub r15, 64
001ccd3bcmp r15, [r14]
001ccd3ejb 0x1ccff3
001ccd44
001ccd44loc_1ccd44:
001ccd44lea rax, [r15+8]
001ccd48mov [rax-8], 7415
001ccd50lea r8, [rip+1001]
001ccd57mov [rax], r8
001ccd5amov r8, 0x100000000000005
001ccd64mov [rax+8], r8
001ccd68mov [rax+16], rsi
001ccd6cmov [rax+24], rcx
001ccd70mov [rax+32], rbx
001ccd74mov [rax+40], rdi
001ccd78mov [rax+48], rdx
001ccd7cadd rsp, 48
001ccd80ret
001ccd81nop [rax]
001ccd84mov rdx, [r8+8]
001ccd88sub r15, 64
001ccd8ccmp r15, [r14]
001ccd8fjb 0x1ccfe9
001ccd95
001ccd95loc_1ccd95:
001ccd95lea rax, [r15+8]
001ccd99mov [rax-8], 7415
001ccda1lea r8, [rip+1048]
001ccda8mov [rax], r8
001ccdabmov r8, 0x100000000000005
001ccdb5mov [rax+8], r8
001ccdb9mov [rax+16], rsi
001ccdbdmov [rax+24], rcx
001ccdc1mov [rax+32], rbx
001ccdc5mov [rax+40], rdi
001ccdc9mov [rax+48], rdx
001ccdcdadd rsp, 48
001ccdd1ret
001ccdd2nop
001ccdd4mov rax, [r8+16]
001ccdd8mov [rsp+40], rax
001ccdddmov rax, [r8]
001ccde0call camlCamlinternalFormat.symm_1179
001ccde5mov rbx, [rsp]
001ccde9mov rbx, [rbx+8]
001ccdedcall camlCamlinternalFormat.trans_1362
001ccdf2sub r15, 72
001ccdf6cmp r15, [r14]
001ccdf9jb 0x1ccfdf
001ccdff
001ccdffloc_1ccdff:
001ccdfflea rbx, [r15+8]
001cce03mov [rbx-8], 8439
001cce0blea rdi, [rip+974]
001cce12mov [rbx], rdi
001cce15mov rdi, 0x100000000000005
001cce1fmov [rbx+8], rdi
001cce23mov rdi, [rsp+8]
001cce28mov [rbx+16], rdi
001cce2cmov rdi, [rsp+16]
001cce31mov [rbx+24], rdi
001cce35mov rdi, [rsp+24]
001cce3amov [rbx+32], rdi
001cce3emov rdi, [rsp+32]
001cce43mov [rbx+40], rdi
001cce47mov rdi, [rsp+40]
001cce4cmov [rbx+48], rdi
001cce50mov [rbx+56], rax
001cce54mov rax, rbx
001cce57add rsp, 48
001cce5bret
001cce5cmov rdx, [r8]
001cce5fsub r15, 72
001cce63cmp r15, [r14]
001cce66jb 0x1ccfd5
001cce6c
001cce6cloc_1cce6c:
001cce6clea rax, [r15+8]
001cce70mov [rax-8], 8439
001cce78lea r8, [rip-0xd5e5f]
001cce7fmov [rax], r8
001cce82mov r8, 0x200000000000007
001cce8cmov [rax+8], r8
001cce90lea r8, [rip+713]
001cce97mov [rax+16], r8
001cce9bmov [rax+24], rsi
001cce9fmov [rax+32], rcx
001ccea3mov [rax+40], rbx
001ccea7mov [rax+48], rdi
001cceabmov [rax+56], rdx
001cceafadd rsp, 48
001cceb3ret
001cceb4mov rdx, [r8]
001cceb7sub r15, 64
001ccebbcmp r15, [r14]
001ccebejb 0x1ccfcb
001ccec4
001ccec4loc_1ccec4:
001ccec4lea rax, [r15+8]
001ccec8mov [rax-8], 7415
001cced0lea r8, [rip+681]
001cced7mov [rax], r8
001ccedamov r8, 0x100000000000005
001ccee4mov [rax+8], r8
001ccee8mov [rax+16], rsi
001cceecmov [rax+24], rcx
001ccef0mov [rax+32], rbx
001ccef4mov [rax+40], rdi
001ccef8mov [rax+48], rdx
001ccefcadd rsp, 48
001ccf00ret
001ccf01nop [rax]
001ccf04mov rdx, [r8]
001ccf07sub r15, 64
001ccf0bcmp r15, [r14]
001ccf0ejb 0x1ccfc1
001ccf14
001ccf14loc_1ccf14:
001ccf14lea rax, [r15+8]
001ccf18mov [rax-8], 7415
001ccf20lea r8, [rip+633]
001ccf27mov [rax], r8
001ccf2amov r8, 0x100000000000005
001ccf34mov [rax+8], r8
001ccf38mov [rax+16], rsi
001ccf3cmov [rax+24], rcx
001ccf40mov [rax+32], rbx
001ccf44mov [rax+40], rdi
001ccf48mov [rax+48], rdx
001ccf4cadd rsp, 48
001ccf50ret
001ccf51nop [rax]
001ccf54sub r15, 24
001ccf58cmp r15, [r14]
001ccf5bjb 0x1ccfba
001ccf5d
001ccf5dloc_1ccf5d:
001ccf5dlea rax, [r15+8]
001ccf61mov [rax-8], 2048
001ccf69lea rbx, [rip+0xa9298]
001ccf70mov [rax], rbx
001ccf73lea rbx, [rip+0x182b4e]
001ccf7amov [rax+8], rbx
001ccf7ecall caml_raise_exn
001ccf83nop
001ccf84sub r15, 24
001ccf88cmp r15, [r14]
001ccf8bjb 0x1ccfb3
001ccf8d
001ccf8dloc_1ccf8d:
001ccf8dlea rax, [r15+8]
001ccf91mov [rax-8], 2048
001ccf99lea rbx, [rip+0xa9268]
001ccfa0mov [rax], rbx
001ccfa3lea rbx, [rip+0x182afe]
001ccfaamov [rax+8], rbx
001ccfaecall caml_raise_exn
001ccfb3
001ccfb3loc_1ccfb3:
001ccfb3call caml_call_gc
001ccfb8jmp 0x1ccf8d
001ccfba
001ccfbaloc_1ccfba:
001ccfbacall caml_call_gc
001ccfbfjmp 0x1ccf5d
001ccfc1
001ccfc1loc_1ccfc1:
001ccfc1call caml_call_gc
001ccfc6jmp 0x1ccf14
001ccfcb
001ccfcbloc_1ccfcb:
001ccfcbcall caml_call_gc
001ccfd0jmp 0x1ccec4
001ccfd5
001ccfd5loc_1ccfd5:
001ccfd5call caml_call_gc
001ccfdajmp 0x1cce6c
001ccfdf
001ccfdfloc_1ccfdf:
001ccfdfcall caml_call_gc
001ccfe4jmp 0x1ccdff
001ccfe9
001ccfe9loc_1ccfe9:
001ccfe9call caml_call_gc
001ccfeejmp 0x1ccd95
001ccff3
001ccff3loc_1ccff3:
001ccff3call caml_call_gc
001ccff8jmp 0x1ccd44
001ccffd
001ccffdloc_1ccffd:
001ccffdcall caml_call_gc
001cd002jmp 0x1cccf4
001cd007
001cd007loc_1cd007:
001cd007call caml_call_gc
001cd00cjmp 0x1ccca4
001cd011
001cd011loc_1cd011:
001cd011call caml_call_gc
001cd016jmp 0x1ccc54
001cd01b
001cd01bloc_1cd01b:
001cd01bcall caml_call_gc
001cd020jmp 0x1ccc04
001cd025
001cd025loc_1cd025:
001cd025call caml_call_gc
001cd02ajmp 0x1ccbb4
001cd02f
001cd02floc_1cd02f:
001cd02fcall caml_call_gc
001cd034jmp 0x1ccb64
001cd039
001cd039loc_1cd039:
001cd039call caml_call_gc
001cd03ejmp 0x1ccb14
001cd043
001cd043loc_1cd043:
001cd043call caml_call_gc
001cd048jmp 0x1ccabb
001cd04d
001cd04dloc_1cd04d:
001cd04dpush 39
001cd04fcall caml_call_realloc_stack
001cd054pop r10
001cd056jmp 0x1ccaa2
001cca90
001cd05b
001cd05b // align 0x10
001cd05b // align 0x10
001cd060
001cd060camlCamlinternalFormat.fun_6355:
001cd060mov rsi, [rbx+40]
001cd064mov rdi, [rbx+48]
001cd068mov rcx, [rbx+32]
001cd06cmov rax, [rbx+24]
001cd070mov rdx, [rbx+16]
001cd074mov rbx, rcx
001cd077jmp 0x1cca90
001cd060
001cd060camlCamlinternalFormat.fun_6355:
001cd060mov rsi, [rbx+40]
001cd064mov rdi, [rbx+48]
001cd068mov rcx, [rbx+32]
001cd06cmov rax, [rbx+24]
001cd070mov rdx, [rbx+16]
001cd074mov rbx, rcx
001cd077jmp 0x1cca90
001cd060
001cd07c
001cd07c // align 0x10
001cd07c // align 0x10
001cd080
001cd080camlCamlinternalFormat.fun_6368:
001cd080mov rsi, [rbx+40]
001cd084mov rdi, [rbx+48]
001cd088mov rcx, [rbx+32]
001cd08cmov rax, [rbx+24]
001cd090mov rdx, [rbx+16]
001cd094mov rbx, rcx
001cd097jmp 0x1cca90
001cd080
001cd080camlCamlinternalFormat.fun_6368:
001cd080mov rsi, [rbx+40]
001cd084mov rdi, [rbx+48]
001cd088mov rcx, [rbx+32]
001cd08cmov rax, [rbx+24]
001cd090mov rdx, [rbx+16]
001cd094mov rbx, rcx
001cd097jmp 0x1cca90
001cd080
001cd09c
001cd09c // align 0x10
001cd09c // align 0x10
001cd0a0
001cd0a0camlCamlinternalFormat.fun_6381:
001cd0a0mov rsi, [rbx+40]
001cd0a4mov rdi, [rbx+48]
001cd0a8mov rcx, [rbx+32]
001cd0acmov rax, [rbx+24]
001cd0b0mov rdx, [rbx+16]
001cd0b4mov rbx, rcx
001cd0b7jmp 0x1cca90
001cd0a0
001cd0a0camlCamlinternalFormat.fun_6381:
001cd0a0mov rsi, [rbx+40]
001cd0a4mov rdi, [rbx+48]
001cd0a8mov rcx, [rbx+32]
001cd0acmov rax, [rbx+24]
001cd0b0mov rdx, [rbx+16]
001cd0b4mov rbx, rcx
001cd0b7jmp 0x1cca90
001cd0a0
001cd0bc
001cd0bc // align 0x10
001cd0bc // align 0x10
001cd0c0
001cd0c0camlCamlinternalFormat.fun_6394:
001cd0c0mov rsi, [rbx+40]
001cd0c4mov rdi, [rbx+48]
001cd0c8mov rcx, [rbx+32]
001cd0ccmov rax, [rbx+24]
001cd0d0mov rdx, [rbx+16]
001cd0d4mov rbx, rcx
001cd0d7jmp 0x1cca90
001cd0c0
001cd0c0camlCamlinternalFormat.fun_6394:
001cd0c0mov rsi, [rbx+40]
001cd0c4mov rdi, [rbx+48]
001cd0c8mov rcx, [rbx+32]
001cd0ccmov rax, [rbx+24]
001cd0d0mov rdx, [rbx+16]
001cd0d4mov rbx, rcx
001cd0d7jmp 0x1cca90
001cd0c0
001cd0dc
001cd0dc // align 0x10
001cd0dc // align 0x10
001cd0e0
001cd0e0camlCamlinternalFormat.fun_6407:
001cd0e0mov rsi, [rbx+40]
001cd0e4mov rdi, [rbx+48]
001cd0e8mov rcx, [rbx+32]
001cd0ecmov rax, [rbx+24]
001cd0f0mov rdx, [rbx+16]
001cd0f4mov rbx, rcx
001cd0f7jmp 0x1cca90
001cd0e0
001cd0e0camlCamlinternalFormat.fun_6407:
001cd0e0mov rsi, [rbx+40]
001cd0e4mov rdi, [rbx+48]
001cd0e8mov rcx, [rbx+32]
001cd0ecmov rax, [rbx+24]
001cd0f0mov rdx, [rbx+16]
001cd0f4mov rbx, rcx
001cd0f7jmp 0x1cca90
001cd0e0
001cd0fc
001cd0fc // align 0x10
001cd0fc // align 0x10
001cd100
001cd100camlCamlinternalFormat.fun_6420:
001cd100mov rsi, [rbx+40]
001cd104mov rdi, [rbx+48]
001cd108mov rcx, [rbx+32]
001cd10cmov rax, [rbx+24]
001cd110mov rdx, [rbx+16]
001cd114mov rbx, rcx
001cd117jmp 0x1cca90
001cd100
001cd100camlCamlinternalFormat.fun_6420:
001cd100mov rsi, [rbx+40]
001cd104mov rdi, [rbx+48]
001cd108mov rcx, [rbx+32]
001cd10cmov rax, [rbx+24]
001cd110mov rdx, [rbx+16]
001cd114mov rbx, rcx
001cd117jmp 0x1cca90
001cd100
001cd11c
001cd11c // align 0x10
001cd11c // align 0x10
001cd120
001cd120camlCamlinternalFormat.fun_6433:
001cd120mov rsi, [rbx+40]
001cd124mov rdi, [rbx+48]
001cd128mov rcx, [rbx+32]
001cd12cmov rax, [rbx+24]
001cd130mov rdx, [rbx+16]
001cd134mov rbx, rcx
001cd137jmp 0x1cca90
001cd120
001cd120camlCamlinternalFormat.fun_6433:
001cd120mov rsi, [rbx+40]
001cd124mov rdi, [rbx+48]
001cd128mov rcx, [rbx+32]
001cd12cmov rax, [rbx+24]
001cd130mov rdx, [rbx+16]
001cd134mov rbx, rcx
001cd137jmp 0x1cca90
001cd120
001cd13c
001cd13c // align 0x10
001cd13c // align 0x10
001cd140
001cd140camlCamlinternalFormat.fun_6446:
001cd140mov rsi, [rbx+40]
001cd144mov rdi, [rbx+48]
001cd148mov rcx, [rbx+32]
001cd14cmov rax, [rbx+24]
001cd150mov rdx, [rbx+16]
001cd154mov rbx, rcx
001cd157jmp 0x1cca90
001cd140
001cd140camlCamlinternalFormat.fun_6446:
001cd140mov rsi, [rbx+40]
001cd144mov rdi, [rbx+48]
001cd148mov rcx, [rbx+32]
001cd14cmov rax, [rbx+24]
001cd150mov rdx, [rbx+16]
001cd154mov rbx, rcx
001cd157jmp 0x1cca90
001cd140
001cd15c
001cd15c // align 0x10
001cd15c // align 0x10
001cd160
001cd160camlCamlinternalFormat.fun_6485:
001cd160mov rsi, [rdi+48]
001cd164mov rcx, [rdi+56]
001cd168mov rbx, [rdi+40]
001cd16cmov rax, [rdi+32]
001cd170mov rdx, [rdi+24]
001cd174mov rdi, rcx
001cd177jmp 0x1cca90
001cd160
001cd160camlCamlinternalFormat.fun_6485:
001cd160mov rsi, [rdi+48]
001cd164mov rcx, [rdi+56]
001cd168mov rbx, [rdi+40]
001cd16cmov rax, [rdi+32]
001cd170mov rdx, [rdi+24]
001cd174mov rdi, rcx
001cd177jmp 0x1cca90
001cd160
001cd17c
001cd17c // align 0x10
001cd17c // align 0x10
001cd180
001cd180camlCamlinternalFormat.fun_6498:
001cd180mov rsi, [rbx+40]
001cd184mov rdi, [rbx+48]
001cd188mov rcx, [rbx+32]
001cd18cmov rax, [rbx+24]
001cd190mov rdx, [rbx+16]
001cd194mov rbx, rcx
001cd197jmp 0x1cca90
001cd180
001cd180camlCamlinternalFormat.fun_6498:
001cd180mov rsi, [rbx+40]
001cd184mov rdi, [rbx+48]
001cd188mov rcx, [rbx+32]
001cd18cmov rax, [rbx+24]
001cd190mov rdx, [rbx+16]
001cd194mov rbx, rcx
001cd197jmp 0x1cca90
001cd180
001cd19c
001cd19c // align 0x10
001cd19c // align 0x10
001cd1a0
001cd1a0camlCamlinternalFormat.fun_6511:
001cd1a0mov rsi, [rbx+40]
001cd1a4mov rdi, [rbx+48]
001cd1a8mov rcx, [rbx+32]
001cd1acmov rax, [rbx+24]
001cd1b0mov rdx, [rbx+16]
001cd1b4mov rbx, rcx
001cd1b7jmp 0x1cca90
001cd1a0
001cd1a0camlCamlinternalFormat.fun_6511:
001cd1a0mov rsi, [rbx+40]
001cd1a4mov rdi, [rbx+48]
001cd1a8mov rcx, [rbx+32]
001cd1acmov rax, [rbx+24]
001cd1b0mov rdx, [rbx+16]
001cd1b4mov rbx, rcx
001cd1b7jmp 0x1cca90
001cd1a0
001cd1bc
001cd1bc // align 0x10
001cd1bc // align 0x10
001cd1c0
001cd1c0camlCamlinternalFormat.fun_6459:
001cd1c0mov rsi, [rbx+40]
001cd1c4mov rdi, [rbx+48]
001cd1c8mov rcx, [rbx+32]
001cd1ccmov rax, [rbx+24]
001cd1d0mov rdx, [rbx+16]
001cd1d4mov rbx, rcx
001cd1d7jmp 0x1cca90
001cd1c0
001cd1c0camlCamlinternalFormat.fun_6459:
001cd1c0mov rsi, [rbx+40]
001cd1c4mov rdi, [rbx+48]
001cd1c8mov rcx, [rbx+32]
001cd1ccmov rax, [rbx+24]
001cd1d0mov rdx, [rbx+16]
001cd1d4mov rbx, rcx
001cd1d7jmp 0x1cca90
001cd1c0
001cd1dc
001cd1dc // align 0x10
001cd1dc // align 0x10
001cd1e0
001cd1e0camlCamlinternalFormat.fun_6472:
001cd1e0lea r10, [rsp-336]
001cd1e8cmp r10, [r14+40]
001cd1ecjb 0x1cd230
001cd1ee
001cd1eeloc_1cd1ee:
001cd1eesub rsp, 16
001cd1f2mov [rsp], rbx
001cd1f6mov rax, [rbx+40]
001cd1famov [rsp+8], rax
001cd1ffmov rdi, [rbx+48]
001cd203mov rax, [rbx+56]
001cd207mov rbx, rdi
001cd20acall camlCamlinternalFormatBasics.concat_fmtty_325
001cd20fmov rdi, rax
001cd212mov rsi, [rsp]
001cd216mov rbx, [rsi+32]
001cd21amov rax, [rsi+24]
001cd21emov rdx, [rsi+16]
001cd222mov rsi, [rsp+8]
001cd227add rsp, 16
001cd22bjmp 0x1cca90
001cd230
001cd230loc_1cd230:
001cd230push 35
001cd232call caml_call_realloc_stack
001cd237pop r10
001cd239jmp 0x1cd1ee
001cd1e0
001cd1e0camlCamlinternalFormat.fun_6472:
001cd1e0lea r10, [rsp-336]
001cd1e8cmp r10, [r14+40]
001cd1ecjb 0x1cd230
001cd1ee
001cd1eeloc_1cd1ee:
001cd1eesub rsp, 16
001cd1f2mov [rsp], rbx
001cd1f6mov rax, [rbx+40]
001cd1famov [rsp+8], rax
001cd1ffmov rdi, [rbx+48]
001cd203mov rax, [rbx+56]
001cd207mov rbx, rdi
001cd20acall camlCamlinternalFormatBasics.concat_fmtty_325
001cd20fmov rdi, rax
001cd212mov rsi, [rsp]
001cd216mov rbx, [rsi+32]
001cd21amov rax, [rsi+24]
001cd21emov rdx, [rsi+16]
001cd222mov rsi, [rsp+8]
001cd227add rsp, 16
001cd22bjmp 0x1cca90
001cd230
001cd230loc_1cd230:
001cd230push 35
001cd232call caml_call_realloc_stack
001cd237pop r10
001cd239jmp 0x1cd1ee
001cd1e0
001cd23b
001cd23b // align 0x10
001cd23b // align 0x10
001cd240
001cd240camlCamlinternalFormat.make_invalid_arg_3512:
001cd240sub r15, 24
001cd244cmp r15, [r14]
001cd247jb 0x1cd26f
001cd249
001cd249loc_1cd249:
001cd249lea rdx, [r15+8]
001cd24dmov [rdx-8], 2056
001cd255mov [rdx], rbx
001cd258lea rbx, [rip+0x182821]
001cd25fmov [rdx+8], rbx
001cd263add rsi, -96
001cd267mov rbx, rdx
001cd26ajmp 0x1cbe90
001cd26f
001cd26floc_1cd26f:
001cd26fcall caml_call_gc
001cd274jmp 0x1cd249
001cd240
001cd240camlCamlinternalFormat.make_invalid_arg_3512:
001cd240sub r15, 24
001cd244cmp r15, [r14]
001cd247jb 0x1cd26f
001cd249
001cd249loc_1cd249:
001cd249lea rdx, [r15+8]
001cd24dmov [rdx-8], 2056
001cd255mov [rdx], rbx
001cd258lea rbx, [rip+0x182821]
001cd25fmov [rdx+8], rbx
001cd263add rsi, -96
001cd267mov rbx, rdx
001cd26ajmp 0x1cbe90
001cd26f
001cd26floc_1cd26f:
001cd26fcall caml_call_gc
001cd274jmp 0x1cd249
001cd240
001cd276
001cd276 // align 0x10
001cd276 // align 0x10
001cd280
001cd280camlCamlinternalFormat.make_padding_3513:
001cd280mov r9, rax
001cd283test sil, 1
001cd287je 0x1cd2d4
001cd289sub r15, 64
001cd28dcmp r15, [r14]
001cd290jb 0x1cd3a2
001cd296
001cd296loc_1cd296:
001cd296lea rax, [r15+8]
001cd29amov [rax-8], 7415
001cd2a2lea rsi, [rip+263]
001cd2a9mov [rax], rsi
001cd2acmov rsi, 0x100000000000005
001cd2b6mov [rax+8], rsi
001cd2baadd rcx, -128
001cd2bemov [rax+16], rcx
001cd2c2mov [rax+24], r9
001cd2c6mov [rax+32], rbx
001cd2camov [rax+40], rdi
001cd2cemov [rax+48], rdx
001cd2d2ret
001cd2d3
001cd2d3 90 .
001cd2d4
001cd2d4loc_1cd2d4:
001cd2d4movzx rax, [rsi-8]
001cd2d9test rax, rax
001cd2dcje 0x1cd33c
001cd2demov rsi, [rsi]
001cd2e1sub r15, 80
001cd2e5cmp r15, [r14]
001cd2e8jb 0x1cd398
001cd2ee
001cd2eeloc_1cd2ee:
001cd2eelea rax, [r15+8]
001cd2f2mov [rax-8], 9463
001cd2falea r8, [rip-0xd62e1]
001cd301mov [rax], r8
001cd304mov r8, 0x200000000000007
001cd30emov [rax+8], r8
001cd312lea r8, [rip+391]
001cd319mov [rax+16], r8
001cd31dadd rcx, -128
001cd321mov [rax+24], rcx
001cd325mov [rax+32], r9
001cd329mov [rax+40], rbx
001cd32dmov [rax+48], rdi
001cd331mov [rax+56], rdx
001cd335mov [rax+64], rsi
001cd339ret
001cd33a
001cd33a 66 90 f.
001cd33c
001cd33cloc_1cd33c:
001cd33cmov r8, [rsi+8]
001cd340mov rsi, [rsi]
001cd343sub r15, 80
001cd347cmp r15, [r14]
001cd34ajb 0x1cd391
001cd34c
001cd34cloc_1cd34c:
001cd34clea rax, [r15+8]
001cd350mov [rax-8], 9463
001cd358lea r12, [rip+193]
001cd35fmov [rax], r12
001cd362mov r12, 0x100000000000005
001cd36cmov [rax+8], r12
001cd370add rcx, -128
001cd374mov [rax+16], rcx
001cd378mov [rax+24], r9
001cd37cmov [rax+32], rbx
001cd380mov [rax+40], rdi
001cd384mov [rax+48], rdx
001cd388mov [rax+56], rsi
001cd38cmov [rax+64], r8
001cd390ret
001cd391
001cd391loc_1cd391:
001cd391call caml_call_gc
001cd396jmp 0x1cd34c
001cd398
001cd398loc_1cd398:
001cd398call caml_call_gc
001cd39djmp 0x1cd2ee
001cd3a2
001cd3a2loc_1cd3a2:
001cd3a2call caml_call_gc
001cd3a7jmp 0x1cd296
001cd280
001cd280camlCamlinternalFormat.make_padding_3513:
001cd280mov r9, rax
001cd283test sil, 1
001cd287je 0x1cd2d4
001cd289sub r15, 64
001cd28dcmp r15, [r14]
001cd290jb 0x1cd3a2
001cd296
001cd296loc_1cd296:
001cd296lea rax, [r15+8]
001cd29amov [rax-8], 7415
001cd2a2lea rsi, [rip+263]
001cd2a9mov [rax], rsi
001cd2acmov rsi, 0x100000000000005
001cd2b6mov [rax+8], rsi
001cd2baadd rcx, -128
001cd2bemov [rax+16], rcx
001cd2c2mov [rax+24], r9
001cd2c6mov [rax+32], rbx
001cd2camov [rax+40], rdi
001cd2cemov [rax+48], rdx
001cd2d2ret
001cd2d3
001cd2d3 90 .
001cd2d4
001cd2d4loc_1cd2d4:
001cd2d4movzx rax, [rsi-8]
001cd2d9test rax, rax
001cd2dcje 0x1cd33c
001cd2demov rsi, [rsi]
001cd2e1sub r15, 80
001cd2e5cmp r15, [r14]
001cd2e8jb 0x1cd398
001cd2ee
001cd2eeloc_1cd2ee:
001cd2eelea rax, [r15+8]
001cd2f2mov [rax-8], 9463
001cd2falea r8, [rip-0xd62e1]
001cd301mov [rax], r8
001cd304mov r8, 0x200000000000007
001cd30emov [rax+8], r8
001cd312lea r8, [rip+391]
001cd319mov [rax+16], r8
001cd31dadd rcx, -128
001cd321mov [rax+24], rcx
001cd325mov [rax+32], r9
001cd329mov [rax+40], rbx
001cd32dmov [rax+48], rdi
001cd331mov [rax+56], rdx
001cd335mov [rax+64], rsi
001cd339ret
001cd33a
001cd33a 66 90 f.
001cd33c
001cd33cloc_1cd33c:
001cd33cmov r8, [rsi+8]
001cd340mov rsi, [rsi]
001cd343sub r15, 80
001cd347cmp r15, [r14]
001cd34ajb 0x1cd391
001cd34c
001cd34cloc_1cd34c:
001cd34clea rax, [r15+8]
001cd350mov [rax-8], 9463
001cd358lea r12, [rip+193]
001cd35fmov [rax], r12
001cd362mov r12, 0x100000000000005
001cd36cmov [rax+8], r12
001cd370add rcx, -128
001cd374mov [rax+16], rcx
001cd378mov [rax+24], r9
001cd37cmov [rax+32], rbx
001cd380mov [rax+40], rdi
001cd384mov [rax+48], rdx
001cd388mov [rax+56], rsi
001cd38cmov [rax+64], r8
001cd390ret
001cd391
001cd391loc_1cd391:
001cd391call caml_call_gc
001cd396jmp 0x1cd34c
001cd398
001cd398loc_1cd398:
001cd398call caml_call_gc
001cd39djmp 0x1cd2ee
001cd3a2
001cd3a2loc_1cd3a2:
001cd3a2call caml_call_gc
001cd3a7jmp 0x1cd296
001cd280
001cd3ac
001cd3ac // align 0x10
001cd3ac // align 0x10
001cd3b0
001cd3b0camlCamlinternalFormat.fun_6526:
001cd3b0lea r10, [rsp-328]
001cd3b8cmp r10, [r14+40]
001cd3bcjb 0x1cd40f
001cd3be
001cd3beloc_1cd3be:
001cd3besub rsp, 8
001cd3c2mov [rsp], rbx
001cd3c6mov rbx, [rbx+48]
001cd3camov rdi, [rbx]
001cd3cdcall rdi
001cd3cfsub r15, 24
001cd3d3cmp r15, [r14]
001cd3d6jb 0x1cd408
001cd3d8
001cd3d8loc_1cd3d8:
001cd3d8lea rbx, [r15+8]
001cd3dcmov [rbx-8], 2052
001cd3e4mov rsi, [rsp]
001cd3e8mov rdi, [rsi+32]
001cd3ecmov [rbx], rdi
001cd3efmov [rbx+8], rax
001cd3f3mov rdi, [rsi+40]
001cd3f7mov rax, [rsi+24]
001cd3fbmov rsi, [rsi+16]
001cd3ffadd rsp, 8
001cd403jmp 0x1cbe90
001cd408
001cd408loc_1cd408:
001cd408call caml_call_gc
001cd40djmp 0x1cd3d8
001cd40f
001cd40floc_1cd40f:
001cd40fpush 34
001cd411call caml_call_realloc_stack
001cd416pop r10
001cd418jmp 0x1cd3be
001cd3b0
001cd3b0camlCamlinternalFormat.fun_6526:
001cd3b0lea r10, [rsp-328]
001cd3b8cmp r10, [r14+40]
001cd3bcjb 0x1cd40f
001cd3be
001cd3beloc_1cd3be:
001cd3besub rsp, 8
001cd3c2mov [rsp], rbx
001cd3c6mov rbx, [rbx+48]
001cd3camov rdi, [rbx]
001cd3cdcall rdi
001cd3cfsub r15, 24
001cd3d3cmp r15, [r14]
001cd3d6jb 0x1cd408
001cd3d8
001cd3d8loc_1cd3d8:
001cd3d8lea rbx, [r15+8]
001cd3dcmov [rbx-8], 2052
001cd3e4mov rsi, [rsp]
001cd3e8mov rdi, [rsi+32]
001cd3ecmov [rbx], rdi
001cd3efmov [rbx+8], rax
001cd3f3mov rdi, [rsi+40]
001cd3f7mov rax, [rsi+24]
001cd3fbmov rsi, [rsi+16]
001cd3ffadd rsp, 8
001cd403jmp 0x1cbe90
001cd408
001cd408loc_1cd408:
001cd408call caml_call_gc
001cd40djmp 0x1cd3d8
001cd40f
001cd40floc_1cd40f:
001cd40fpush 34
001cd411call caml_call_realloc_stack
001cd416pop r10
001cd418jmp 0x1cd3be
001cd3b0
001cd41a
001cd41a // align 0x10
001cd41a // align 0x10
001cd420
001cd420camlCamlinternalFormat.fun_6535:
001cd420lea r10, [rsp-328]
001cd428cmp r10, [r14+40]
001cd42cjb 0x1cd493
001cd42e
001cd42eloc_1cd42e:
001cd42esub rsp, 8
001cd432mov [rsp], rbx
001cd436mov rbx, [rbx+48]
001cd43amov rdi, [rbx]
001cd43dcall rdi
001cd43fmov rdi, rax
001cd442mov rax, [rsp]
001cd446mov rbx, [rax+64]
001cd44amov rax, [rax+56]
001cd44ecall camlCamlinternalFormat.fix_padding_3404
001cd453sub r15, 24
001cd457cmp r15, [r14]
001cd45ajb 0x1cd48c
001cd45c
001cd45cloc_1cd45c:
001cd45clea rbx, [r15+8]
001cd460mov [rbx-8], 2052
001cd468mov rsi, [rsp]
001cd46cmov rdi, [rsi+32]
001cd470mov [rbx], rdi
001cd473mov [rbx+8], rax
001cd477mov rdi, [rsi+40]
001cd47bmov rax, [rsi+24]
001cd47fmov rsi, [rsi+16]
001cd483add rsp, 8
001cd487jmp 0x1cbe90
001cd48c
001cd48cloc_1cd48c:
001cd48ccall caml_call_gc
001cd491jmp 0x1cd45c
001cd493
001cd493loc_1cd493:
001cd493push 34
001cd495call caml_call_realloc_stack
001cd49apop r10
001cd49cjmp 0x1cd42e
001cd420
001cd420camlCamlinternalFormat.fun_6535:
001cd420lea r10, [rsp-328]
001cd428cmp r10, [r14+40]
001cd42cjb 0x1cd493
001cd42e
001cd42eloc_1cd42e:
001cd42esub rsp, 8
001cd432mov [rsp], rbx
001cd436mov rbx, [rbx+48]
001cd43amov rdi, [rbx]
001cd43dcall rdi
001cd43fmov rdi, rax
001cd442mov rax, [rsp]
001cd446mov rbx, [rax+64]
001cd44amov rax, [rax+56]
001cd44ecall camlCamlinternalFormat.fix_padding_3404
001cd453sub r15, 24
001cd457cmp r15, [r14]
001cd45ajb 0x1cd48c
001cd45c
001cd45cloc_1cd45c:
001cd45clea rbx, [r15+8]
001cd460mov [rbx-8], 2052
001cd468mov rsi, [rsp]
001cd46cmov rdi, [rsi+32]
001cd470mov [rbx], rdi
001cd473mov [rbx+8], rax
001cd477mov rdi, [rsi+40]
001cd47bmov rax, [rsi+24]
001cd47fmov rsi, [rsi+16]
001cd483add rsp, 8
001cd487jmp 0x1cbe90
001cd48c
001cd48cloc_1cd48c:
001cd48ccall caml_call_gc
001cd491jmp 0x1cd45c
001cd493
001cd493loc_1cd493:
001cd493push 34
001cd495call caml_call_realloc_stack
001cd49apop r10
001cd49cjmp 0x1cd42e
001cd420
001cd49e
001cd49e // align 0x10
001cd49e // align 0x10
001cd4a0
001cd4a0camlCamlinternalFormat.fun_6544:
001cd4a0lea r10, [rsp-336]
001cd4a8cmp r10, [r14+40]
001cd4acjb 0x1cd51d
001cd4ae
001cd4aeloc_1cd4ae:
001cd4aesub rsp, 16
001cd4b2mov [rsp], rax
001cd4b6mov rax, rbx
001cd4b9mov [rsp+8], rdi
001cd4bemov rbx, [rdi+56]
001cd4c2mov rdi, [rbx]
001cd4c5call rdi
001cd4c7mov rdi, rax
001cd4camov rax, [rsp+8]
001cd4cfmov rax, [rax+64]
001cd4d3mov rbx, [rsp]
001cd4d7call camlCamlinternalFormat.fix_padding_3404
001cd4dcsub r15, 24
001cd4e0cmp r15, [r14]
001cd4e3jb 0x1cd516
001cd4e5
001cd4e5loc_1cd4e5:
001cd4e5lea rbx, [r15+8]
001cd4e9mov [rbx-8], 2052
001cd4f1mov rsi, [rsp+8]
001cd4f6mov rdi, [rsi+40]
001cd4famov [rbx], rdi
001cd4fdmov [rbx+8], rax
001cd501mov rdi, [rsi+48]
001cd505mov rax, [rsi+32]
001cd509mov rsi, [rsi+24]
001cd50dadd rsp, 16
001cd511jmp 0x1cbe90
001cd516
001cd516loc_1cd516:
001cd516call caml_call_gc
001cd51bjmp 0x1cd4e5
001cd51d
001cd51dloc_1cd51d:
001cd51dpush 35
001cd51fcall caml_call_realloc_stack
001cd524pop r10
001cd526jmp 0x1cd4ae
001cd4a0
001cd4a0camlCamlinternalFormat.fun_6544:
001cd4a0lea r10, [rsp-336]
001cd4a8cmp r10, [r14+40]
001cd4acjb 0x1cd51d
001cd4ae
001cd4aeloc_1cd4ae:
001cd4aesub rsp, 16
001cd4b2mov [rsp], rax
001cd4b6mov rax, rbx
001cd4b9mov [rsp+8], rdi
001cd4bemov rbx, [rdi+56]
001cd4c2mov rdi, [rbx]
001cd4c5call rdi
001cd4c7mov rdi, rax
001cd4camov rax, [rsp+8]
001cd4cfmov rax, [rax+64]
001cd4d3mov rbx, [rsp]
001cd4d7call camlCamlinternalFormat.fix_padding_3404
001cd4dcsub r15, 24
001cd4e0cmp r15, [r14]
001cd4e3jb 0x1cd516
001cd4e5
001cd4e5loc_1cd4e5:
001cd4e5lea rbx, [r15+8]
001cd4e9mov [rbx-8], 2052
001cd4f1mov rsi, [rsp+8]
001cd4f6mov rdi, [rsi+40]
001cd4famov [rbx], rdi
001cd4fdmov [rbx+8], rax
001cd501mov rdi, [rsi+48]
001cd505mov rax, [rsi+32]
001cd509mov rsi, [rsi+24]
001cd50dadd rsp, 16
001cd511jmp 0x1cbe90
001cd516
001cd516loc_1cd516:
001cd516call caml_call_gc
001cd51bjmp 0x1cd4e5
001cd51d
001cd51dloc_1cd51d:
001cd51dpush 35
001cd51fcall caml_call_realloc_stack
001cd524pop r10
001cd526jmp 0x1cd4ae
001cd4a0
Loading..