File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001bde50
001bde50Stdlib.Map.find_first_aux:
001bde50lea r10, [rsp-360]
001bde58cmp r10, [r14+40]
001bde5cjb 0x1bdf10
001bde62
001bde62loc_1bde62:
001bde62sub rsp, 40
001bde66
001bde66loc_1bde66:
001bde66cmp r15, [r14]
001bde69jbe 0x1bdf06
001bde6f
001bde6floc_1bde6f:
001bde6ftest sil, 1
001bde73je 0x1bde9c
001bde75sub r15, 24
001bde79cmp r15, [r14]
001bde7cjb 0x1bdefc
001bde7e
001bde7eloc_1bde7e:
001bde7elea rdi, [r15+8]
001bde82mov [rdi-8], 2048
001bde8amov [rdi], rax
001bde8dmov [rdi+8], rbx
001bde91mov rax, rdi
001bde94add rsp, 40
001bde98ret
001bde99
001bde99 0f 1f 00 ...
001bde9c
001bde9cloc_1bde9c:
001bde9cmov [rsp+16], rsi
001bdea1mov [rsp+32], rdi
001bdea6mov [rsp+8], rbx
001bdeabmov [rsp], rax
001bdeafmov rax, [rsi+8]
001bdeb3mov [rsp+24], rax
001bdeb8mov rsi, [rdi]
001bdebbmov rbx, rdi
001bdebecall rsi
001bdec0cmp rax, 1
001bdec4je 0x1bdee0
001bdec6mov rax, [rsp+16]
001bdecbmov rsi, [rax]
001bdecemov rbx, [rax+16]
001bded2mov rax, [rsp+24]
001bded7mov rdi, [rsp+32]
001bdedcjmp 0x1bde66
001bdede
001bdede 66 90 f.
001bdee0
001bdee0loc_1bdee0:
001bdee0mov rax, [rsp+16]
001bdee5mov rsi, [rax+24]
001bdee9mov rax, [rsp]
001bdeedmov rbx, [rsp+8]
001bdef2mov rdi, [rsp+32]
001bdef7jmp 0x1bde66
001bdefc
001bdefcloc_1bdefc:
001bdefccall caml_call_gc
001bdf01jmp 0x1bde7e
001bdf06
001bdf06loc_1bdf06:
001bdf06call caml_call_gc
001bdf0bjmp 0x1bde6f
001bdf10
001bdf10loc_1bdf10:
001bdf10push 38
001bdf12call caml_call_realloc_stack
001bdf17pop r10
001bdf19jmp 0x1bde62
001bde50
001bde50Stdlib.Map.find_first_aux:
001bde50lea r10, [rsp-360]
001bde58cmp r10, [r14+40]
001bde5cjb 0x1bdf10
001bde62
001bde62loc_1bde62:
001bde62sub rsp, 40
001bde66
001bde66loc_1bde66:
001bde66cmp r15, [r14]
001bde69jbe 0x1bdf06
001bde6f
001bde6floc_1bde6f:
001bde6ftest sil, 1
001bde73je 0x1bde9c
001bde75sub r15, 24
001bde79cmp r15, [r14]
001bde7cjb 0x1bdefc
001bde7e
001bde7eloc_1bde7e:
001bde7elea rdi, [r15+8]
001bde82mov [rdi-8], 2048
001bde8amov [rdi], rax
001bde8dmov [rdi+8], rbx
001bde91mov rax, rdi
001bde94add rsp, 40
001bde98ret
001bde99
001bde99 0f 1f 00 ...
001bde9c
001bde9cloc_1bde9c:
001bde9cmov [rsp+16], rsi
001bdea1mov [rsp+32], rdi
001bdea6mov [rsp+8], rbx
001bdeabmov [rsp], rax
001bdeafmov rax, [rsi+8]
001bdeb3mov [rsp+24], rax
001bdeb8mov rsi, [rdi]
001bdebbmov rbx, rdi
001bdebecall rsi
001bdec0cmp rax, 1
001bdec4je 0x1bdee0
001bdec6mov rax, [rsp+16]
001bdecbmov rsi, [rax]
001bdecemov rbx, [rax+16]
001bded2mov rax, [rsp+24]
001bded7mov rdi, [rsp+32]
001bdedcjmp 0x1bde66
001bdede
001bdede 66 90 f.
001bdee0
001bdee0loc_1bdee0:
001bdee0mov rax, [rsp+16]
001bdee5mov rsi, [rax+24]
001bdee9mov rax, [rsp]
001bdeedmov rbx, [rsp+8]
001bdef2mov rdi, [rsp+32]
001bdef7jmp 0x1bde66
001bdefc
001bdefcloc_1bdefc:
001bdefccall caml_call_gc
001bdf01jmp 0x1bde7e
001bdf06
001bdf06loc_1bdf06:
001bdf06call caml_call_gc
001bdf0bjmp 0x1bde6f
001bdf10
001bdf10loc_1bdf10:
001bdf10push 38
001bdf12call caml_call_realloc_stack
001bdf17pop r10
001bdf19jmp 0x1bde62
001bde50
001bdf1e
001bdf1e // align 0x10
001bdf1e // align 0x10
001bdf20
001bdf20Stdlib.Map.find_first:
001bdf20lea r10, [rsp-344]
001bdf28cmp r10, [r14+40]
001bdf2cjb 0x1bdfa6
001bdf2e
001bdf2eloc_1bdf2e:
001bdf2esub rsp, 24
001bdf32
001bdf32loc_1bdf32:
001bdf32mov rdi, rax
001bdf35cmp r15, [r14]
001bdf38jbe 0x1bdf9f
001bdf3a
001bdf3aloc_1bdf3a:
001bdf3atest bl, 1
001bdf3dje 0x1bdf50
001bdf3flea rax, [rip+0x16f6d2]
001bdf46mov rax, [rax+56]
001bdf4acall caml_raise_exn
001bdf4fnop
001bdf50
001bdf50loc_1bdf50:
001bdf50mov [rsp], rbx
001bdf54mov [rsp+16], rdi
001bdf59mov rax, [rbx+8]
001bdf5dmov [rsp+8], rax
001bdf62mov rsi, [rdi]
001bdf65mov rbx, rdi
001bdf68call rsi
001bdf6acmp rax, 1
001bdf6eje 0x1bdf90
001bdf70mov rax, [rsp]
001bdf74mov rsi, [rax]
001bdf77mov rbx, [rax+16]
001bdf7bmov rax, [rsp+8]
001bdf80mov rdi, [rsp+16]
001bdf85add rsp, 24
001bdf89jmp 0x1bde50
001bdf8e
001bdf8e 66 90 f.
001bdf90
001bdf90loc_1bdf90:
001bdf90mov rax, [rsp]
001bdf94mov rbx, [rax+24]
001bdf98mov rax, [rsp+16]
001bdf9djmp 0x1bdf32
001bdf9f
001bdf9floc_1bdf9f:
001bdf9fcall caml_call_gc
001bdfa4jmp 0x1bdf3a
001bdfa6
001bdfa6loc_1bdfa6:
001bdfa6push 36
001bdfa8call caml_call_realloc_stack
001bdfadpop r10
001bdfafjmp 0x1bdf2e
001bdf20
001bdf20Stdlib.Map.find_first:
001bdf20lea r10, [rsp-344]
001bdf28cmp r10, [r14+40]
001bdf2cjb 0x1bdfa6
001bdf2e
001bdf2eloc_1bdf2e:
001bdf2esub rsp, 24
001bdf32
001bdf32loc_1bdf32:
001bdf32mov rdi, rax
001bdf35cmp r15, [r14]
001bdf38jbe 0x1bdf9f
001bdf3a
001bdf3aloc_1bdf3a:
001bdf3atest bl, 1
001bdf3dje 0x1bdf50
001bdf3flea rax, [rip+0x16f6d2]
001bdf46mov rax, [rax+56]
001bdf4acall caml_raise_exn
001bdf4fnop
001bdf50
001bdf50loc_1bdf50:
001bdf50mov [rsp], rbx
001bdf54mov [rsp+16], rdi
001bdf59mov rax, [rbx+8]
001bdf5dmov [rsp+8], rax
001bdf62mov rsi, [rdi]
001bdf65mov rbx, rdi
001bdf68call rsi
001bdf6acmp rax, 1
001bdf6eje 0x1bdf90
001bdf70mov rax, [rsp]
001bdf74mov rsi, [rax]
001bdf77mov rbx, [rax+16]
001bdf7bmov rax, [rsp+8]
001bdf80mov rdi, [rsp+16]
001bdf85add rsp, 24
001bdf89jmp 0x1bde50
001bdf8e
001bdf8e 66 90 f.
001bdf90
001bdf90loc_1bdf90:
001bdf90mov rax, [rsp]
001bdf94mov rbx, [rax+24]
001bdf98mov rax, [rsp+16]
001bdf9djmp 0x1bdf32
001bdf9f
001bdf9floc_1bdf9f:
001bdf9fcall caml_call_gc
001bdfa4jmp 0x1bdf3a
001bdfa6
001bdfa6loc_1bdfa6:
001bdfa6push 36
001bdfa8call caml_call_realloc_stack
001bdfadpop r10
001bdfafjmp 0x1bdf2e
001bdf20
001bdfb4
001bdfb4 // align 0x10
001bdfb4 // align 0x10
001bdfc0
001bdfc0Stdlib.Map.find_first_opt_aux:
001bdfc0lea r10, [rsp-360]
001bdfc8cmp r10, [r14+40]
001bdfccjb 0x1be098
001bdfd2
001bdfd2loc_1bdfd2:
001bdfd2sub rsp, 40
001bdfd6
001bdfd6loc_1bdfd6:
001bdfd6cmp r15, [r14]
001bdfd9jbe 0x1be08e
001bdfdf
001bdfdfloc_1bdfdf:
001bdfdftest sil, 1
001bdfe3je 0x1be020
001bdfe5sub r15, 40
001bdfe9cmp r15, [r14]
001bdfecjb 0x1be084
001bdff2
001bdff2loc_1bdff2:
001bdff2lea rdi, [r15+8]
001bdff6add rdi, 16
001bdffamov [rdi-8], 2048
001be002mov [rdi], rax
001be005mov [rdi+8], rbx
001be009lea rax, [rdi-16]
001be00dmov [rax-8], 1024
001be015mov [rax], rdi
001be018add rsp, 40
001be01cret
001be01d
001be01d 0f 1f 00 ...
001be020
001be020loc_1be020:
001be020mov [rsp+16], rsi
001be025mov [rsp+32], rdi
001be02amov [rsp+8], rbx
001be02fmov [rsp], rax
001be033mov rax, [rsi+8]
001be037mov [rsp+24], rax
001be03cmov rsi, [rdi]
001be03fmov rbx, rdi
001be042call rsi
001be044cmp rax, 1
001be048je 0x1be068
001be04amov rax, [rsp+16]
001be04fmov rsi, [rax]
001be052mov rbx, [rax+16]
001be056mov rax, [rsp+24]
001be05bmov rdi, [rsp+32]
001be060jmp 0x1bdfd6
001be065
001be065 0f 1f 00 ...
001be068
001be068loc_1be068:
001be068mov rax, [rsp+16]
001be06dmov rsi, [rax+24]
001be071mov rax, [rsp]
001be075mov rbx, [rsp+8]
001be07amov rdi, [rsp+32]
001be07fjmp 0x1bdfd6
001be084
001be084loc_1be084:
001be084call caml_call_gc
001be089jmp 0x1bdff2
001be08e
001be08eloc_1be08e:
001be08ecall caml_call_gc
001be093jmp 0x1bdfdf
001be098
001be098loc_1be098:
001be098push 38
001be09acall caml_call_realloc_stack
001be09fpop r10
001be0a1jmp 0x1bdfd2
001bdfc0
001bdfc0Stdlib.Map.find_first_opt_aux:
001bdfc0lea r10, [rsp-360]
001bdfc8cmp r10, [r14+40]
001bdfccjb 0x1be098
001bdfd2
001bdfd2loc_1bdfd2:
001bdfd2sub rsp, 40
001bdfd6
001bdfd6loc_1bdfd6:
001bdfd6cmp r15, [r14]
001bdfd9jbe 0x1be08e
001bdfdf
001bdfdfloc_1bdfdf:
001bdfdftest sil, 1
001bdfe3je 0x1be020
001bdfe5sub r15, 40
001bdfe9cmp r15, [r14]
001bdfecjb 0x1be084
001bdff2
001bdff2loc_1bdff2:
001bdff2lea rdi, [r15+8]
001bdff6add rdi, 16
001bdffamov [rdi-8], 2048
001be002mov [rdi], rax
001be005mov [rdi+8], rbx
001be009lea rax, [rdi-16]
001be00dmov [rax-8], 1024
001be015mov [rax], rdi
001be018add rsp, 40
001be01cret
001be01d
001be01d 0f 1f 00 ...
001be020
001be020loc_1be020:
001be020mov [rsp+16], rsi
001be025mov [rsp+32], rdi
001be02amov [rsp+8], rbx
001be02fmov [rsp], rax
001be033mov rax, [rsi+8]
001be037mov [rsp+24], rax
001be03cmov rsi, [rdi]
001be03fmov rbx, rdi
001be042call rsi
001be044cmp rax, 1
001be048je 0x1be068
001be04amov rax, [rsp+16]
001be04fmov rsi, [rax]
001be052mov rbx, [rax+16]
001be056mov rax, [rsp+24]
001be05bmov rdi, [rsp+32]
001be060jmp 0x1bdfd6
001be065
001be065 0f 1f 00 ...
001be068
001be068loc_1be068:
001be068mov rax, [rsp+16]
001be06dmov rsi, [rax+24]
001be071mov rax, [rsp]
001be075mov rbx, [rsp+8]
001be07amov rdi, [rsp+32]
001be07fjmp 0x1bdfd6
001be084
001be084loc_1be084:
001be084call caml_call_gc
001be089jmp 0x1bdff2
001be08e
001be08eloc_1be08e:
001be08ecall caml_call_gc
001be093jmp 0x1bdfdf
001be098
001be098loc_1be098:
001be098push 38
001be09acall caml_call_realloc_stack
001be09fpop r10
001be0a1jmp 0x1bdfd2
001bdfc0
001be0a6
001be0a6 // align 0x10
001be0a6 // align 0x10
001be0b0
001be0b0Stdlib.Map.find_first_opt:
001be0b0lea r10, [rsp-344]
001be0b8cmp r10, [r14+40]
001be0bcjb 0x1be132
001be0be
001be0beloc_1be0be:
001be0besub rsp, 24
001be0c2
001be0c2loc_1be0c2:
001be0c2mov rdi, rax
001be0c5cmp r15, [r14]
001be0c8jbe 0x1be12b
001be0ca
001be0caloc_1be0ca:
001be0catest bl, 1
001be0cdje 0x1be0dc
001be0cfmov eax, 1
001be0d4add rsp, 24
001be0d8ret
001be0d9
001be0d9 0f 1f 00 ...
001be0dc
001be0dcloc_1be0dc:
001be0dcmov [rsp], rbx
001be0e0mov [rsp+16], rdi
001be0e5mov rax, [rbx+8]
001be0e9mov [rsp+8], rax
001be0eemov rsi, [rdi]
001be0f1mov rbx, rdi
001be0f4call rsi
001be0f6cmp rax, 1
001be0faje 0x1be11c
001be0fcmov rax, [rsp]
001be100mov rsi, [rax]
001be103mov rbx, [rax+16]
001be107mov rax, [rsp+8]
001be10cmov rdi, [rsp+16]
001be111add rsp, 24
001be115jmp 0x1bdfc0
001be11a
001be11a 66 90 f.
001be11c
001be11cloc_1be11c:
001be11cmov rax, [rsp]
001be120mov rbx, [rax+24]
001be124mov rax, [rsp+16]
001be129jmp 0x1be0c2
001be12b
001be12bloc_1be12b:
001be12bcall caml_call_gc
001be130jmp 0x1be0ca
001be132
001be132loc_1be132:
001be132push 36
001be134call caml_call_realloc_stack
001be139pop r10
001be13bjmp 0x1be0be
001be0b0
001be0b0Stdlib.Map.find_first_opt:
001be0b0lea r10, [rsp-344]
001be0b8cmp r10, [r14+40]
001be0bcjb 0x1be132
001be0be
001be0beloc_1be0be:
001be0besub rsp, 24
001be0c2
001be0c2loc_1be0c2:
001be0c2mov rdi, rax
001be0c5cmp r15, [r14]
001be0c8jbe 0x1be12b
001be0ca
001be0caloc_1be0ca:
001be0catest bl, 1
001be0cdje 0x1be0dc
001be0cfmov eax, 1
001be0d4add rsp, 24
001be0d8ret
001be0d9
001be0d9 0f 1f 00 ...
001be0dc
001be0dcloc_1be0dc:
001be0dcmov [rsp], rbx
001be0e0mov [rsp+16], rdi
001be0e5mov rax, [rbx+8]
001be0e9mov [rsp+8], rax
001be0eemov rsi, [rdi]
001be0f1mov rbx, rdi
001be0f4call rsi
001be0f6cmp rax, 1
001be0faje 0x1be11c
001be0fcmov rax, [rsp]
001be100mov rsi, [rax]
001be103mov rbx, [rax+16]
001be107mov rax, [rsp+8]
001be10cmov rdi, [rsp+16]
001be111add rsp, 24
001be115jmp 0x1bdfc0
001be11a
001be11a 66 90 f.
001be11c
001be11cloc_1be11c:
001be11cmov rax, [rsp]
001be120mov rbx, [rax+24]
001be124mov rax, [rsp+16]
001be129jmp 0x1be0c2
001be12b
001be12bloc_1be12b:
001be12bcall caml_call_gc
001be130jmp 0x1be0ca
001be132
001be132loc_1be132:
001be132push 36
001be134call caml_call_realloc_stack
001be139pop r10
001be13bjmp 0x1be0be
001be0b0
001be13d
001be13d // align 0x10
001be13d // align 0x10
001be140
001be140Stdlib.Map.find_last_aux:
001be140lea r10, [rsp-360]
001be148cmp r10, [r14+40]
001be14cjb 0x1be1ff
001be152
001be152loc_1be152:
001be152sub rsp, 40
001be156
001be156loc_1be156:
001be156cmp r15, [r14]
001be159jbe 0x1be1f5
001be15f
001be15floc_1be15f:
001be15ftest sil, 1
001be163je 0x1be18c
001be165sub r15, 24
001be169cmp r15, [r14]
001be16cjb 0x1be1eb
001be16e
001be16eloc_1be16e:
001be16elea rdi, [r15+8]
001be172mov [rdi-8], 2048
001be17amov [rdi], rax
001be17dmov [rdi+8], rbx
001be181mov rax, rdi
001be184add rsp, 40
001be188ret
001be189
001be189 0f 1f 00 ...
001be18c
001be18cloc_1be18c:
001be18cmov [rsp+16], rsi
001be191mov [rsp+32], rdi
001be196mov [rsp+8], rbx
001be19bmov [rsp], rax
001be19fmov rax, [rsi+8]
001be1a3mov [rsp+24], rax
001be1a8mov rsi, [rdi]
001be1abmov rbx, rdi
001be1aecall rsi
001be1b0cmp rax, 1
001be1b4je 0x1be1d0
001be1b6mov rax, [rsp+16]
001be1bbmov rsi, [rax+24]
001be1bfmov rbx, [rax+16]
001be1c3mov rax, [rsp+24]
001be1c8mov rdi, [rsp+32]
001be1cdjmp 0x1be156
001be1cf
001be1cf 90 .
001be1d0
001be1d0loc_1be1d0:
001be1d0mov rax, [rsp+16]
001be1d5mov rsi, [rax]
001be1d8mov rax, [rsp]
001be1dcmov rbx, [rsp+8]
001be1e1mov rdi, [rsp+32]
001be1e6jmp 0x1be156
001be1eb
001be1ebloc_1be1eb:
001be1ebcall caml_call_gc
001be1f0jmp 0x1be16e
001be1f5
001be1f5loc_1be1f5:
001be1f5call caml_call_gc
001be1fajmp 0x1be15f
001be1ff
001be1ffloc_1be1ff:
001be1ffpush 38
001be201call caml_call_realloc_stack
001be206pop r10
001be208jmp 0x1be152
001be140
001be140Stdlib.Map.find_last_aux:
001be140lea r10, [rsp-360]
001be148cmp r10, [r14+40]
001be14cjb 0x1be1ff
001be152
001be152loc_1be152:
001be152sub rsp, 40
001be156
001be156loc_1be156:
001be156cmp r15, [r14]
001be159jbe 0x1be1f5
001be15f
001be15floc_1be15f:
001be15ftest sil, 1
001be163je 0x1be18c
001be165sub r15, 24
001be169cmp r15, [r14]
001be16cjb 0x1be1eb
001be16e
001be16eloc_1be16e:
001be16elea rdi, [r15+8]
001be172mov [rdi-8], 2048
001be17amov [rdi], rax
001be17dmov [rdi+8], rbx
001be181mov rax, rdi
001be184add rsp, 40
001be188ret
001be189
001be189 0f 1f 00 ...
001be18c
001be18cloc_1be18c:
001be18cmov [rsp+16], rsi
001be191mov [rsp+32], rdi
001be196mov [rsp+8], rbx
001be19bmov [rsp], rax
001be19fmov rax, [rsi+8]
001be1a3mov [rsp+24], rax
001be1a8mov rsi, [rdi]
001be1abmov rbx, rdi
001be1aecall rsi
001be1b0cmp rax, 1
001be1b4je 0x1be1d0
001be1b6mov rax, [rsp+16]
001be1bbmov rsi, [rax+24]
001be1bfmov rbx, [rax+16]
001be1c3mov rax, [rsp+24]
001be1c8mov rdi, [rsp+32]
001be1cdjmp 0x1be156
001be1cf
001be1cf 90 .
001be1d0
001be1d0loc_1be1d0:
001be1d0mov rax, [rsp+16]
001be1d5mov rsi, [rax]
001be1d8mov rax, [rsp]
001be1dcmov rbx, [rsp+8]
001be1e1mov rdi, [rsp+32]
001be1e6jmp 0x1be156
001be1eb
001be1ebloc_1be1eb:
001be1ebcall caml_call_gc
001be1f0jmp 0x1be16e
001be1f5
001be1f5loc_1be1f5:
001be1f5call caml_call_gc
001be1fajmp 0x1be15f
001be1ff
001be1ffloc_1be1ff:
001be1ffpush 38
001be201call caml_call_realloc_stack
001be206pop r10
001be208jmp 0x1be152
001be140
001be20d
001be20d // align 0x10
001be20d // align 0x10
001be210
001be210Stdlib.Map.find_last:
001be210lea r10, [rsp-344]
001be218cmp r10, [r14+40]
001be21cjb 0x1be295
001be21e
001be21eloc_1be21e:
001be21esub rsp, 24
001be222
001be222loc_1be222:
001be222mov rdi, rax
001be225cmp r15, [r14]
001be228jbe 0x1be28e
001be22a
001be22aloc_1be22a:
001be22atest bl, 1
001be22dje 0x1be240
001be22flea rax, [rip+0x16f3e2]
001be236mov rax, [rax+56]
001be23acall caml_raise_exn
001be23fnop
001be240
001be240loc_1be240:
001be240mov [rsp], rbx
001be244mov [rsp+16], rdi
001be249mov rax, [rbx+8]
001be24dmov [rsp+8], rax
001be252mov rsi, [rdi]
001be255mov rbx, rdi
001be258call rsi
001be25acmp rax, 1
001be25eje 0x1be280
001be260mov rax, [rsp]
001be264mov rsi, [rax+24]
001be268mov rbx, [rax+16]
001be26cmov rax, [rsp+8]
001be271mov rdi, [rsp+16]
001be276add rsp, 24
001be27ajmp 0x1be140
001be27f
001be27f 90 .
001be280
001be280loc_1be280:
001be280mov rax, [rsp]
001be284mov rbx, [rax]
001be287mov rax, [rsp+16]
001be28cjmp 0x1be222
001be28e
001be28eloc_1be28e:
001be28ecall caml_call_gc
001be293jmp 0x1be22a
001be295
001be295loc_1be295:
001be295push 36
001be297call caml_call_realloc_stack
001be29cpop r10
001be29ejmp 0x1be21e
001be210
001be210Stdlib.Map.find_last:
001be210lea r10, [rsp-344]
001be218cmp r10, [r14+40]
001be21cjb 0x1be295
001be21e
001be21eloc_1be21e:
001be21esub rsp, 24
001be222
001be222loc_1be222:
001be222mov rdi, rax
001be225cmp r15, [r14]
001be228jbe 0x1be28e
001be22a
001be22aloc_1be22a:
001be22atest bl, 1
001be22dje 0x1be240
001be22flea rax, [rip+0x16f3e2]
001be236mov rax, [rax+56]
001be23acall caml_raise_exn
001be23fnop
001be240
001be240loc_1be240:
001be240mov [rsp], rbx
001be244mov [rsp+16], rdi
001be249mov rax, [rbx+8]
001be24dmov [rsp+8], rax
001be252mov rsi, [rdi]
001be255mov rbx, rdi
001be258call rsi
001be25acmp rax, 1
001be25eje 0x1be280
001be260mov rax, [rsp]
001be264mov rsi, [rax+24]
001be268mov rbx, [rax+16]
001be26cmov rax, [rsp+8]
001be271mov rdi, [rsp+16]
001be276add rsp, 24
001be27ajmp 0x1be140
001be27f
001be27f 90 .
001be280
001be280loc_1be280:
001be280mov rax, [rsp]
001be284mov rbx, [rax]
001be287mov rax, [rsp+16]
001be28cjmp 0x1be222
001be28e
001be28eloc_1be28e:
001be28ecall caml_call_gc
001be293jmp 0x1be22a
001be295
001be295loc_1be295:
001be295push 36
001be297call caml_call_realloc_stack
001be29cpop r10
001be29ejmp 0x1be21e
001be210
001be2a3
001be2a3 // align 0x10
001be2a3 // align 0x10
001be2b0
001be2b0Stdlib.Map.find_last_opt_aux:
001be2b0lea r10, [rsp-360]
001be2b8cmp r10, [r14+40]
001be2bcjb 0x1be387
001be2c2
001be2c2loc_1be2c2:
001be2c2sub rsp, 40
001be2c6
001be2c6loc_1be2c6:
001be2c6cmp r15, [r14]
001be2c9jbe 0x1be37d
001be2cf
001be2cfloc_1be2cf:
001be2cftest sil, 1
001be2d3je 0x1be310
001be2d5sub r15, 40
001be2d9cmp r15, [r14]
001be2dcjb 0x1be373
001be2e2
001be2e2loc_1be2e2:
001be2e2lea rdi, [r15+8]
001be2e6add rdi, 16
001be2eamov [rdi-8], 2048
001be2f2mov [rdi], rax
001be2f5mov [rdi+8], rbx
001be2f9lea rax, [rdi-16]
001be2fdmov [rax-8], 1024
001be305mov [rax], rdi
001be308add rsp, 40
001be30cret
001be30d
001be30d 0f 1f 00 ...
001be310
001be310loc_1be310:
001be310mov [rsp+16], rsi
001be315mov [rsp+32], rdi
001be31amov [rsp+8], rbx
001be31fmov [rsp], rax
001be323mov rax, [rsi+8]
001be327mov [rsp+24], rax
001be32cmov rsi, [rdi]
001be32fmov rbx, rdi
001be332call rsi
001be334cmp rax, 1
001be338je 0x1be358
001be33amov rax, [rsp+16]
001be33fmov rsi, [rax+24]
001be343mov rbx, [rax+16]
001be347mov rax, [rsp+24]
001be34cmov rdi, [rsp+32]
001be351jmp 0x1be2c6
001be356
001be356 66 90 f.
001be358
001be358loc_1be358:
001be358mov rax, [rsp+16]
001be35dmov rsi, [rax]
001be360mov rax, [rsp]
001be364mov rbx, [rsp+8]
001be369mov rdi, [rsp+32]
001be36ejmp 0x1be2c6
001be373
001be373loc_1be373:
001be373call caml_call_gc
001be378jmp 0x1be2e2
001be37d
001be37dloc_1be37d:
001be37dcall caml_call_gc
001be382jmp 0x1be2cf
001be387
001be387loc_1be387:
001be387push 38
001be389call caml_call_realloc_stack
001be38epop r10
001be390jmp 0x1be2c2
001be2b0
001be2b0Stdlib.Map.find_last_opt_aux:
001be2b0lea r10, [rsp-360]
001be2b8cmp r10, [r14+40]
001be2bcjb 0x1be387
001be2c2
001be2c2loc_1be2c2:
001be2c2sub rsp, 40
001be2c6
001be2c6loc_1be2c6:
001be2c6cmp r15, [r14]
001be2c9jbe 0x1be37d
001be2cf
001be2cfloc_1be2cf:
001be2cftest sil, 1
001be2d3je 0x1be310
001be2d5sub r15, 40
001be2d9cmp r15, [r14]
001be2dcjb 0x1be373
001be2e2
001be2e2loc_1be2e2:
001be2e2lea rdi, [r15+8]
001be2e6add rdi, 16
001be2eamov [rdi-8], 2048
001be2f2mov [rdi], rax
001be2f5mov [rdi+8], rbx
001be2f9lea rax, [rdi-16]
001be2fdmov [rax-8], 1024
001be305mov [rax], rdi
001be308add rsp, 40
001be30cret
001be30d
001be30d 0f 1f 00 ...
001be310
001be310loc_1be310:
001be310mov [rsp+16], rsi
001be315mov [rsp+32], rdi
001be31amov [rsp+8], rbx
001be31fmov [rsp], rax
001be323mov rax, [rsi+8]
001be327mov [rsp+24], rax
001be32cmov rsi, [rdi]
001be32fmov rbx, rdi
001be332call rsi
001be334cmp rax, 1
001be338je 0x1be358
001be33amov rax, [rsp+16]
001be33fmov rsi, [rax+24]
001be343mov rbx, [rax+16]
001be347mov rax, [rsp+24]
001be34cmov rdi, [rsp+32]
001be351jmp 0x1be2c6
001be356
001be356 66 90 f.
001be358
001be358loc_1be358:
001be358mov rax, [rsp+16]
001be35dmov rsi, [rax]
001be360mov rax, [rsp]
001be364mov rbx, [rsp+8]
001be369mov rdi, [rsp+32]
001be36ejmp 0x1be2c6
001be373
001be373loc_1be373:
001be373call caml_call_gc
001be378jmp 0x1be2e2
001be37d
001be37dloc_1be37d:
001be37dcall caml_call_gc
001be382jmp 0x1be2cf
001be387
001be387loc_1be387:
001be387push 38
001be389call caml_call_realloc_stack
001be38epop r10
001be390jmp 0x1be2c2
001be2b0
001be395
001be395 // align 0x10
001be395 // align 0x10
001be3a0
001be3a0Stdlib.Map.find_last_opt:
001be3a0lea r10, [rsp-344]
001be3a8cmp r10, [r14+40]
001be3acjb 0x1be421
001be3ae
001be3aeloc_1be3ae:
001be3aesub rsp, 24
001be3b2
001be3b2loc_1be3b2:
001be3b2mov rdi, rax
001be3b5cmp r15, [r14]
001be3b8jbe 0x1be41a
001be3ba
001be3baloc_1be3ba:
001be3batest bl, 1
001be3bdje 0x1be3cc
001be3bfmov eax, 1
001be3c4add rsp, 24
001be3c8ret
001be3c9
001be3c9 0f 1f 00 ...
001be3cc
001be3ccloc_1be3cc:
001be3ccmov [rsp], rbx
001be3d0mov [rsp+16], rdi
001be3d5mov rax, [rbx+8]
001be3d9mov [rsp+8], rax
001be3demov rsi, [rdi]
001be3e1mov rbx, rdi
001be3e4call rsi
001be3e6cmp rax, 1
001be3eaje 0x1be40c
001be3ecmov rax, [rsp]
001be3f0mov rsi, [rax+24]
001be3f4mov rbx, [rax+16]
001be3f8mov rax, [rsp+8]
001be3fdmov rdi, [rsp+16]
001be402add rsp, 24
001be406jmp 0x1be2b0
001be40b
001be40b 90 .
001be40c
001be40cloc_1be40c:
001be40cmov rax, [rsp]
001be410mov rbx, [rax]
001be413mov rax, [rsp+16]
001be418jmp 0x1be3b2
001be41a
001be41aloc_1be41a:
001be41acall caml_call_gc
001be41fjmp 0x1be3ba
001be421
001be421loc_1be421:
001be421push 36
001be423call caml_call_realloc_stack
001be428pop r10
001be42ajmp 0x1be3ae
001be3a0
001be3a0Stdlib.Map.find_last_opt:
001be3a0lea r10, [rsp-344]
001be3a8cmp r10, [r14+40]
001be3acjb 0x1be421
001be3ae
001be3aeloc_1be3ae:
001be3aesub rsp, 24
001be3b2
001be3b2loc_1be3b2:
001be3b2mov rdi, rax
001be3b5cmp r15, [r14]
001be3b8jbe 0x1be41a
001be3ba
001be3baloc_1be3ba:
001be3batest bl, 1
001be3bdje 0x1be3cc
001be3bfmov eax, 1
001be3c4add rsp, 24
001be3c8ret
001be3c9
001be3c9 0f 1f 00 ...
001be3cc
001be3ccloc_1be3cc:
001be3ccmov [rsp], rbx
001be3d0mov [rsp+16], rdi
001be3d5mov rax, [rbx+8]
001be3d9mov [rsp+8], rax
001be3demov rsi, [rdi]
001be3e1mov rbx, rdi
001be3e4call rsi
001be3e6cmp rax, 1
001be3eaje 0x1be40c
001be3ecmov rax, [rsp]
001be3f0mov rsi, [rax+24]
001be3f4mov rbx, [rax+16]
001be3f8mov rax, [rsp+8]
001be3fdmov rdi, [rsp+16]
001be402add rsp, 24
001be406jmp 0x1be2b0
001be40b
001be40b 90 .
001be40c
001be40cloc_1be40c:
001be40cmov rax, [rsp]
001be410mov rbx, [rax]
001be413mov rax, [rsp+16]
001be418jmp 0x1be3b2
001be41a
001be41aloc_1be41a:
001be41acall caml_call_gc
001be41fjmp 0x1be3ba
001be421
001be421loc_1be421:
001be421push 36
001be423call caml_call_realloc_stack
001be428pop r10
001be42ajmp 0x1be3ae
001be3a0
001be42c
001be42c // align 0x10
001be42c // align 0x10
001be430
001be430Stdlib.Map.find_opt:
001be430lea r10, [rsp-344]
001be438cmp r10, [r14+40]
001be43cjb 0x1be4e4
001be442
001be442loc_1be442:
001be442sub rsp, 24
001be446
001be446loc_1be446:
001be446cmp r15, [r14]
001be449jbe 0x1be4da
001be44f
001be44floc_1be44f:
001be44ftest bl, 1
001be452je 0x1be460
001be454mov eax, 1
001be459add rsp, 24
001be45dret
001be45e
001be45e 66 90 f.
001be460
001be460loc_1be460:
001be460mov [rsp+8], rdi
001be465mov [rsp+16], rbx
001be46amov [rsp], rax
001be46emov rdi, [rdi+24]
001be472mov rdi, [rdi]
001be475mov rbx, [rbx+8]
001be479call caml_apply2
001be47ecmp rax, 1
001be482jne 0x1be4ac
001be484sub r15, 16
001be488cmp r15, [r14]
001be48bjb 0x1be4d3
001be48d
001be48dloc_1be48d:
001be48dlea rax, [r15+8]
001be491mov [rax-8], 1024
001be499mov rbx, [rsp+16]
001be49emov rbx, [rbx+16]
001be4a2mov [rax], rbx
001be4a5add rsp, 24
001be4a9ret
001be4aa
001be4aa 66 90 f.
001be4ac
001be4acloc_1be4ac:
001be4accmp rax, 1
001be4b0jge 0x1be4bc
001be4b2mov rax, [rsp+16]
001be4b7mov rbx, [rax]
001be4bajmp 0x1be4c5
001be4bc
001be4bcloc_1be4bc:
001be4bcmov rax, [rsp+16]
001be4c1mov rbx, [rax+24]
001be4c5
001be4c5loc_1be4c5:
001be4c5mov rax, [rsp]
001be4c9mov rdi, [rsp+8]
001be4cejmp 0x1be446
001be4d3
001be4d3loc_1be4d3:
001be4d3call caml_call_gc
001be4d8jmp 0x1be48d
001be4da
001be4daloc_1be4da:
001be4dacall caml_call_gc
001be4dfjmp 0x1be44f
001be4e4
001be4e4loc_1be4e4:
001be4e4push 36
001be4e6call caml_call_realloc_stack
001be4ebpop r10
001be4edjmp 0x1be442
001be430
001be430Stdlib.Map.find_opt:
001be430lea r10, [rsp-344]
001be438cmp r10, [r14+40]
001be43cjb 0x1be4e4
001be442
001be442loc_1be442:
001be442sub rsp, 24
001be446
001be446loc_1be446:
001be446cmp r15, [r14]
001be449jbe 0x1be4da
001be44f
001be44floc_1be44f:
001be44ftest bl, 1
001be452je 0x1be460
001be454mov eax, 1
001be459add rsp, 24
001be45dret
001be45e
001be45e 66 90 f.
001be460
001be460loc_1be460:
001be460mov [rsp+8], rdi
001be465mov [rsp+16], rbx
001be46amov [rsp], rax
001be46emov rdi, [rdi+24]
001be472mov rdi, [rdi]
001be475mov rbx, [rbx+8]
001be479call caml_apply2
001be47ecmp rax, 1
001be482jne 0x1be4ac
001be484sub r15, 16
001be488cmp r15, [r14]
001be48bjb 0x1be4d3
001be48d
001be48dloc_1be48d:
001be48dlea rax, [r15+8]
001be491mov [rax-8], 1024
001be499mov rbx, [rsp+16]
001be49emov rbx, [rbx+16]
001be4a2mov [rax], rbx
001be4a5add rsp, 24
001be4a9ret
001be4aa
001be4aa 66 90 f.
001be4ac
001be4acloc_1be4ac:
001be4accmp rax, 1
001be4b0jge 0x1be4bc
001be4b2mov rax, [rsp+16]
001be4b7mov rbx, [rax]
001be4bajmp 0x1be4c5
001be4bc
001be4bcloc_1be4bc:
001be4bcmov rax, [rsp+16]
001be4c1mov rbx, [rax+24]
001be4c5
001be4c5loc_1be4c5:
001be4c5mov rax, [rsp]
001be4c9mov rdi, [rsp+8]
001be4cejmp 0x1be446
001be4d3
001be4d3loc_1be4d3:
001be4d3call caml_call_gc
001be4d8jmp 0x1be48d
001be4da
001be4daloc_1be4da:
001be4dacall caml_call_gc
001be4dfjmp 0x1be44f
001be4e4
001be4e4loc_1be4e4:
001be4e4push 36
001be4e6call caml_call_realloc_stack
001be4ebpop r10
001be4edjmp 0x1be442
001be430
001be4f2
001be4f2 // align 0x10
001be4f2 // align 0x10
001be500
001be500Stdlib.Map.mem:
001be500lea r10, [rsp-344]
001be508cmp r10, [r14+40]
001be50cjb 0x1be581
001be50e
001be50eloc_1be50e:
001be50esub rsp, 24
001be512
001be512loc_1be512:
001be512cmp r15, [r14]
001be515jbe 0x1be57a
001be517
001be517loc_1be517:
001be517test bl, 1
001be51aje 0x1be528
001be51cmov eax, 1
001be521add rsp, 24
001be525ret
001be526
001be526 66 90 f.
001be528
001be528loc_1be528:
001be528mov [rsp+8], rdi
001be52dmov [rsp+16], rbx
001be532mov [rsp], rax
001be536mov rdi, [rdi+24]
001be53amov rdi, [rdi]
001be53dmov rbx, [rbx+8]
001be541call caml_apply2
001be546cmp rax, 1
001be54aje 0x1be570
001be54ccmp rax, 1
001be550jge 0x1be55c
001be552mov rax, [rsp+16]
001be557mov rbx, [rax]
001be55ajmp 0x1be565
001be55c
001be55cloc_1be55c:
001be55cmov rax, [rsp+16]
001be561mov rbx, [rax+24]
001be565
001be565loc_1be565:
001be565mov rax, [rsp]
001be569mov rdi, [rsp+8]
001be56ejmp 0x1be512
001be570
001be570loc_1be570:
001be570mov eax, 3
001be575add rsp, 24
001be579ret
001be57a
001be57aloc_1be57a:
001be57acall caml_call_gc
001be57fjmp 0x1be517
001be581
001be581loc_1be581:
001be581push 36
001be583call caml_call_realloc_stack
001be588pop r10
001be58ajmp 0x1be50e
001be500
001be500Stdlib.Map.mem:
001be500lea r10, [rsp-344]
001be508cmp r10, [r14+40]
001be50cjb 0x1be581
001be50e
001be50eloc_1be50e:
001be50esub rsp, 24
001be512
001be512loc_1be512:
001be512cmp r15, [r14]
001be515jbe 0x1be57a
001be517
001be517loc_1be517:
001be517test bl, 1
001be51aje 0x1be528
001be51cmov eax, 1
001be521add rsp, 24
001be525ret
001be526
001be526 66 90 f.
001be528
001be528loc_1be528:
001be528mov [rsp+8], rdi
001be52dmov [rsp+16], rbx
001be532mov [rsp], rax
001be536mov rdi, [rdi+24]
001be53amov rdi, [rdi]
001be53dmov rbx, [rbx+8]
001be541call caml_apply2
001be546cmp rax, 1
001be54aje 0x1be570
001be54ccmp rax, 1
001be550jge 0x1be55c
001be552mov rax, [rsp+16]
001be557mov rbx, [rax]
001be55ajmp 0x1be565
001be55c
001be55cloc_1be55c:
001be55cmov rax, [rsp+16]
001be561mov rbx, [rax+24]
001be565
001be565loc_1be565:
001be565mov rax, [rsp]
001be569mov rdi, [rsp+8]
001be56ejmp 0x1be512
001be570
001be570loc_1be570:
001be570mov eax, 3
001be575add rsp, 24
001be579ret
001be57a
001be57aloc_1be57a:
001be57acall caml_call_gc
001be57fjmp 0x1be517
001be581
001be581loc_1be581:
001be581push 36
001be583call caml_call_realloc_stack
001be588pop r10
001be58ajmp 0x1be50e
001be500
001be58c
001be58c // align 0x10
001be58c // align 0x10
001be590
001be590Stdlib.Map.min_binding:
001be590mov rbx, rax
001be593cmp r15, [r14]
001be596jbe 0x1be5e5
001be598
001be598loc_1be598:
001be598test bl, 1
001be59bje 0x1be5b0
001be59dlea rax, [rip+0x16f074]
001be5a4mov rax, [rax+56]
001be5a8call caml_raise_exn
001be5adnop [rax]
001be5b0
001be5b0loc_1be5b0:
001be5b0mov rax, [rbx]
001be5b3test al, 1
001be5b5je 0x1be5dc
001be5b7sub r15, 24
001be5bbcmp r15, [r14]
001be5bejb 0x1be5de
001be5c0
001be5c0loc_1be5c0:
001be5c0lea rax, [r15+8]
001be5c4mov [rax-8], 2048
001be5ccmov rdi, [rbx+8]
001be5d0mov [rax], rdi
001be5d3mov rbx, [rbx+16]
001be5d7mov [rax+8], rbx
001be5dbret
001be5dc
001be5dcloc_1be5dc:
001be5dcjmp 0x1be590
001be5de
001be5deloc_1be5de:
001be5decall caml_call_gc
001be5e3jmp 0x1be5c0
001be5e5
001be5e5loc_1be5e5:
001be5e5call caml_call_gc
001be5eajmp 0x1be598
001be590
001be590Stdlib.Map.min_binding:
001be590mov rbx, rax
001be593cmp r15, [r14]
001be596jbe 0x1be5e5
001be598
001be598loc_1be598:
001be598test bl, 1
001be59bje 0x1be5b0
001be59dlea rax, [rip+0x16f074]
001be5a4mov rax, [rax+56]
001be5a8call caml_raise_exn
001be5adnop [rax]
001be5b0
001be5b0loc_1be5b0:
001be5b0mov rax, [rbx]
001be5b3test al, 1
001be5b5je 0x1be5dc
001be5b7sub r15, 24
001be5bbcmp r15, [r14]
001be5bejb 0x1be5de
001be5c0
001be5c0loc_1be5c0:
001be5c0lea rax, [r15+8]
001be5c4mov [rax-8], 2048
001be5ccmov rdi, [rbx+8]
001be5d0mov [rax], rdi
001be5d3mov rbx, [rbx+16]
001be5d7mov [rax+8], rbx
001be5dbret
001be5dc
001be5dcloc_1be5dc:
001be5dcjmp 0x1be590
001be5de
001be5deloc_1be5de:
001be5decall caml_call_gc
001be5e3jmp 0x1be5c0
001be5e5
001be5e5loc_1be5e5:
001be5e5call caml_call_gc
001be5eajmp 0x1be598
001be590
001be5ec
001be5ec // align 0x10
001be5ec // align 0x10
001be5f0
001be5f0Stdlib.Map.min_binding_opt:
001be5f0cmp r15, [r14]
001be5f3jbe 0x1be64c
001be5f5
001be5f5loc_1be5f5:
001be5f5test al, 1
001be5f7je 0x1be600
001be5f9mov eax, 1
001be5feret
001be5ff
001be5ff 90 .
001be600
001be600loc_1be600:
001be600mov rbx, [rax]
001be603test bl, 1
001be606je 0x1be640
001be608sub r15, 40
001be60ccmp r15, [r14]
001be60fjb 0x1be645
001be611
001be611loc_1be611:
001be611lea rbx, [r15+8]
001be615add rbx, 16
001be619mov [rbx-8], 2048
001be621mov rdi, [rax+8]
001be625mov [rbx], rdi
001be628mov rax, [rax+16]
001be62cmov [rbx+8], rax
001be630lea rax, [rbx-16]
001be634mov [rax-8], 1024
001be63cmov [rax], rbx
001be63fret
001be640
001be640loc_1be640:
001be640mov rax, rbx
001be643jmp 0x1be5f0
001be645
001be645loc_1be645:
001be645call caml_call_gc
001be64ajmp 0x1be611
001be64c
001be64cloc_1be64c:
001be64ccall caml_call_gc
001be651jmp 0x1be5f5
001be5f0
001be5f0Stdlib.Map.min_binding_opt:
001be5f0cmp r15, [r14]
001be5f3jbe 0x1be64c
001be5f5
001be5f5loc_1be5f5:
001be5f5test al, 1
001be5f7je 0x1be600
001be5f9mov eax, 1
001be5feret
001be5ff
001be5ff 90 .
001be600
001be600loc_1be600:
001be600mov rbx, [rax]
001be603test bl, 1
001be606je 0x1be640
001be608sub r15, 40
001be60ccmp r15, [r14]
001be60fjb 0x1be645
001be611
001be611loc_1be611:
001be611lea rbx, [r15+8]
001be615add rbx, 16
001be619mov [rbx-8], 2048
001be621mov rdi, [rax+8]
001be625mov [rbx], rdi
001be628mov rax, [rax+16]
001be62cmov [rbx+8], rax
001be630lea rax, [rbx-16]
001be634mov [rax-8], 1024
001be63cmov [rax], rbx
001be63fret
001be640
001be640loc_1be640:
001be640mov rax, rbx
001be643jmp 0x1be5f0
001be645
001be645loc_1be645:
001be645call caml_call_gc
001be64ajmp 0x1be611
001be64c
001be64cloc_1be64c:
001be64ccall caml_call_gc
001be651jmp 0x1be5f5
001be5f0
001be653
001be653 // align 0x10
001be653 // align 0x10
001be660
001be660Stdlib.Map.max_binding:
001be660mov rbx, rax
001be663cmp r15, [r14]
001be666jbe 0x1be6b9
001be668
001be668loc_1be668:
001be668test bl, 1
001be66bje 0x1be680
001be66dlea rax, [rip+0x16efa4]
001be674mov rax, [rax+56]
001be678call caml_raise_exn
001be67dnop [rax]
001be680
001be680loc_1be680:
001be680mov rax, [rbx+24]
001be684test al, 1
001be686je 0x1be6b0
001be688sub r15, 24
001be68ccmp r15, [r14]
001be68fjb 0x1be6b2
001be691
001be691loc_1be691:
001be691lea rax, [r15+8]
001be695mov [rax-8], 2048
001be69dmov rdi, [rbx+8]
001be6a1mov [rax], rdi
001be6a4mov rbx, [rbx+16]
001be6a8mov [rax+8], rbx
001be6acret
001be6ad
001be6ad 0f 1f 00 ...
001be6b0
001be6b0loc_1be6b0:
001be6b0jmp 0x1be660
001be6b2
001be6b2loc_1be6b2:
001be6b2call caml_call_gc
001be6b7jmp 0x1be691
001be6b9
001be6b9loc_1be6b9:
001be6b9call caml_call_gc
001be6bejmp 0x1be668
001be660
001be660Stdlib.Map.max_binding:
001be660mov rbx, rax
001be663cmp r15, [r14]
001be666jbe 0x1be6b9
001be668
001be668loc_1be668:
001be668test bl, 1
001be66bje 0x1be680
001be66dlea rax, [rip+0x16efa4]
001be674mov rax, [rax+56]
001be678call caml_raise_exn
001be67dnop [rax]
001be680
001be680loc_1be680:
001be680mov rax, [rbx+24]
001be684test al, 1
001be686je 0x1be6b0
001be688sub r15, 24
001be68ccmp r15, [r14]
001be68fjb 0x1be6b2
001be691
001be691loc_1be691:
001be691lea rax, [r15+8]
001be695mov [rax-8], 2048
001be69dmov rdi, [rbx+8]
001be6a1mov [rax], rdi
001be6a4mov rbx, [rbx+16]
001be6a8mov [rax+8], rbx
001be6acret
001be6ad
001be6ad 0f 1f 00 ...
001be6b0
001be6b0loc_1be6b0:
001be6b0jmp 0x1be660
001be6b2
001be6b2loc_1be6b2:
001be6b2call caml_call_gc
001be6b7jmp 0x1be691
001be6b9
001be6b9loc_1be6b9:
001be6b9call caml_call_gc
001be6bejmp 0x1be668
001be660
001be6c0
001be6c0Stdlib.Map.max_binding_opt:
001be6c0cmp r15, [r14]
001be6c3jbe 0x1be720
001be6c5
001be6c5loc_1be6c5:
001be6c5test al, 1
001be6c7je 0x1be6d0
001be6c9mov eax, 1
001be6ceret
001be6cf
001be6cf 90 .
001be6d0
001be6d0loc_1be6d0:
001be6d0mov rbx, [rax+24]
001be6d4test bl, 1
001be6d7je 0x1be714
001be6d9sub r15, 40
001be6ddcmp r15, [r14]
001be6e0jb 0x1be719
001be6e2
001be6e2loc_1be6e2:
001be6e2lea rbx, [r15+8]
001be6e6add rbx, 16
001be6eamov [rbx-8], 2048
001be6f2mov rdi, [rax+8]
001be6f6mov [rbx], rdi
001be6f9mov rax, [rax+16]
001be6fdmov [rbx+8], rax
001be701lea rax, [rbx-16]
001be705mov [rax-8], 1024
001be70dmov [rax], rbx
001be710ret
001be711
001be711 0f 1f 00 ...
001be714
001be714loc_1be714:
001be714mov rax, rbx
001be717jmp 0x1be6c0
001be719
001be719loc_1be719:
001be719call caml_call_gc
001be71ejmp 0x1be6e2
001be720
001be720loc_1be720:
001be720call caml_call_gc
001be725jmp 0x1be6c5
001be6c0
001be6c0Stdlib.Map.max_binding_opt:
001be6c0cmp r15, [r14]
001be6c3jbe 0x1be720
001be6c5
001be6c5loc_1be6c5:
001be6c5test al, 1
001be6c7je 0x1be6d0
001be6c9mov eax, 1
001be6ceret
001be6cf
001be6cf 90 .
001be6d0
001be6d0loc_1be6d0:
001be6d0mov rbx, [rax+24]
001be6d4test bl, 1
001be6d7je 0x1be714
001be6d9sub r15, 40
001be6ddcmp r15, [r14]
001be6e0jb 0x1be719
001be6e2
001be6e2loc_1be6e2:
001be6e2lea rbx, [r15+8]
001be6e6add rbx, 16
001be6eamov [rbx-8], 2048
001be6f2mov rdi, [rax+8]
001be6f6mov [rbx], rdi
001be6f9mov rax, [rax+16]
001be6fdmov [rbx+8], rax
001be701lea rax, [rbx-16]
001be705mov [rax-8], 1024
001be70dmov [rax], rbx
001be710ret
001be711
001be711 0f 1f 00 ...
001be714
001be714loc_1be714:
001be714mov rax, rbx
001be717jmp 0x1be6c0
001be719
001be719loc_1be719:
001be719call caml_call_gc
001be71ejmp 0x1be6e2
001be720
001be720loc_1be720:
001be720call caml_call_gc
001be725jmp 0x1be6c5
001be6c0
001be727
001be727 // align 0x10
001be727 // align 0x10
001be730
001be730Stdlib.Map.remove_min_binding:
001be730lea r10, [rsp-328]
001be738cmp r10, [r14+40]
001be73cjb 0x1be791
001be73e
001be73eloc_1be73e:
001be73esub rsp, 8
001be742test al, 1
001be744je 0x1be758
001be746lea rax, [rip+0x189a6b]
001be74dadd rsp, 8
001be751jmp 0x195ab0
001be756
001be756 66 90 f.
001be758
001be758loc_1be758:
001be758mov rbx, [rax]
001be75btest bl, 1
001be75eje 0x1be76c
001be760mov rax, [rax+24]
001be764add rsp, 8
001be768ret
001be769
001be769 0f 1f 00 ...
001be76c
001be76cloc_1be76c:
001be76cmov [rsp], rax
001be770mov rax, rbx
001be773call Stdlib.Map.remove_min_binding
001be778mov rbx, [rsp]
001be77cmov rsi, [rbx+24]
001be780mov rdi, [rbx+16]
001be784mov rbx, [rbx+8]
001be788add rsp, 8
001be78cjmp 0x1bd920
001be791
001be791loc_1be791:
001be791push 34
001be793call caml_call_realloc_stack
001be798pop r10
001be79ajmp 0x1be73e
001be730
001be730Stdlib.Map.remove_min_binding:
001be730lea r10, [rsp-328]
001be738cmp r10, [r14+40]
001be73cjb 0x1be791
001be73e
001be73eloc_1be73e:
001be73esub rsp, 8
001be742test al, 1
001be744je 0x1be758
001be746lea rax, [rip+0x189a6b]
001be74dadd rsp, 8
001be751jmp 0x195ab0
001be756
001be756 66 90 f.
001be758
001be758loc_1be758:
001be758mov rbx, [rax]
001be75btest bl, 1
001be75eje 0x1be76c
001be760mov rax, [rax+24]
001be764add rsp, 8
001be768ret
001be769
001be769 0f 1f 00 ...
001be76c
001be76cloc_1be76c:
001be76cmov [rsp], rax
001be770mov rax, rbx
001be773call Stdlib.Map.remove_min_binding
001be778mov rbx, [rsp]
001be77cmov rsi, [rbx+24]
001be780mov rdi, [rbx+16]
001be784mov rbx, [rbx+8]
001be788add rsp, 8
001be78cjmp 0x1bd920
001be791
001be791loc_1be791:
001be791push 34
001be793call caml_call_realloc_stack
001be798pop r10
001be79ajmp 0x1be73e
001be730
001be79c
001be79c // align 0x10
001be79c // align 0x10
001be7a0
001be7a0Stdlib.Map.merge:
001be7a0lea r10, [rsp-344]
001be7a8cmp r10, [r14+40]
001be7acjb 0x1be808
001be7ae
001be7aeloc_1be7ae:
001be7aesub rsp, 24
001be7b2test al, 1
001be7b4je 0x1be7c0
001be7b6mov rax, rbx
001be7b9add rsp, 24
001be7bdret
001be7be
001be7be 66 90 f.
001be7c0
001be7c0loc_1be7c0:
001be7c0test bl, 1
001be7c3je 0x1be7cc
001be7c5add rsp, 24
001be7c9ret
001be7ca
001be7ca 66 90 f.
001be7cc
001be7ccloc_1be7cc:
001be7ccmov [rsp], rbx
001be7d0mov [rsp+16], rax
001be7d5mov rax, rbx
001be7d8call Stdlib.Map.min_binding
001be7ddmov [rsp+8], rax
001be7e2mov rax, [rsp]
001be7e6call Stdlib.Map.remove_min_binding
001be7ebmov rsi, rax
001be7eemov rax, [rsp+8]
001be7f3mov rdi, [rax+8]
001be7f7mov rbx, [rax]
001be7famov rax, [rsp+16]
001be7ffadd rsp, 24
001be803jmp 0x1bd920
001be808
001be808loc_1be808:
001be808push 36
001be80acall caml_call_realloc_stack
001be80fpop r10
001be811jmp 0x1be7ae
001be7a0
001be7a0Stdlib.Map.merge:
001be7a0lea r10, [rsp-344]
001be7a8cmp r10, [r14+40]
001be7acjb 0x1be808
001be7ae
001be7aeloc_1be7ae:
001be7aesub rsp, 24
001be7b2test al, 1
001be7b4je 0x1be7c0
001be7b6mov rax, rbx
001be7b9add rsp, 24
001be7bdret
001be7be
001be7be 66 90 f.
001be7c0
001be7c0loc_1be7c0:
001be7c0test bl, 1
001be7c3je 0x1be7cc
001be7c5add rsp, 24
001be7c9ret
001be7ca
001be7ca 66 90 f.
001be7cc
001be7ccloc_1be7cc:
001be7ccmov [rsp], rbx
001be7d0mov [rsp+16], rax
001be7d5mov rax, rbx
001be7d8call Stdlib.Map.min_binding
001be7ddmov [rsp+8], rax
001be7e2mov rax, [rsp]
001be7e6call Stdlib.Map.remove_min_binding
001be7ebmov rsi, rax
001be7eemov rax, [rsp+8]
001be7f3mov rdi, [rax+8]
001be7f7mov rbx, [rax]
001be7famov rax, [rsp+16]
001be7ffadd rsp, 24
001be803jmp 0x1bd920
001be808
001be808loc_1be808:
001be808push 36
001be80acall caml_call_realloc_stack
001be80fpop r10
001be811jmp 0x1be7ae
001be7a0
001be813
001be813 // align 0x10
001be813 // align 0x10
001be820
001be820Stdlib.Map.remove:
001be820lea r10, [rsp-376]
001be828cmp r10, [r14+40]
001be82cjb 0x1be930
001be832
001be832loc_1be832:
001be832sub rsp, 56
001be836test bl, 1
001be839je 0x1be848
001be83bmov eax, 1
001be840add rsp, 56
001be844ret
001be845
001be845 0f 1f 00 ...
001be848
001be848loc_1be848:
001be848mov [rsp+8], rdi
001be84dmov [rsp+32], rbx
001be852mov [rsp], rax
001be856mov rsi, [rbx+24]
001be85amov [rsp+48], rsi
001be85fmov rsi, [rbx+16]
001be863mov [rsp+24], rsi
001be868mov rsi, [rbx+8]
001be86cmov [rsp+16], rsi
001be871mov rbx, [rbx]
001be874mov [rsp+40], rbx
001be879mov rbx, [rdi+40]
001be87dmov rdi, [rbx]
001be880mov rbx, rsi
001be883call caml_apply2
001be888cmp rax, 1
001be88cjne 0x1be8a4
001be88emov rax, [rsp+40]
001be893mov rbx, [rsp+48]
001be898add rsp, 56
001be89cjmp 0x1be7a0
001be8a1
001be8a1 0f 1f 00 ...
001be8a4
001be8a4loc_1be8a4:
001be8a4cmp rax, 1
001be8a8jge 0x1be8ec
001be8aamov rax, [rsp]
001be8aemov rbx, [rsp+40]
001be8b3mov rdi, [rsp+8]
001be8b8call Stdlib.Map.remove
001be8bdmov rbx, [rsp+40]
001be8c2cmp rbx, rax
001be8c5jne 0x1be8d4
001be8c7mov rax, [rsp+32]
001be8ccadd rsp, 56
001be8d0ret
001be8d1
001be8d1 0f 1f 00 ...
001be8d4
001be8d4loc_1be8d4:
001be8d4mov rbx, [rsp+16]
001be8d9mov rdi, [rsp+24]
001be8demov rsi, [rsp+48]
001be8e3add rsp, 56
001be8e7jmp 0x1bd920
001be8ec
001be8ecloc_1be8ec:
001be8ecmov rax, [rsp]
001be8f0mov rbx, [rsp+48]
001be8f5mov rdi, [rsp+8]
001be8facall Stdlib.Map.remove
001be8ffmov rsi, rax
001be902mov rax, [rsp+48]
001be907cmp rax, rsi
001be90ajne 0x1be918
001be90cmov rax, [rsp+32]
001be911add rsp, 56
001be915ret
001be916
001be916 66 90 f.
001be918
001be918loc_1be918:
001be918mov rax, [rsp+40]
001be91dmov rbx, [rsp+16]
001be922mov rdi, [rsp+24]
001be927add rsp, 56
001be92bjmp 0x1bd920
001be930
001be930loc_1be930:
001be930push 40
001be932call caml_call_realloc_stack
001be937pop r10
001be939jmp 0x1be832
001be820
001be820Stdlib.Map.remove:
001be820lea r10, [rsp-376]
001be828cmp r10, [r14+40]
001be82cjb 0x1be930
001be832
001be832loc_1be832:
001be832sub rsp, 56
001be836test bl, 1
001be839je 0x1be848
001be83bmov eax, 1
001be840add rsp, 56
001be844ret
001be845
001be845 0f 1f 00 ...
001be848
001be848loc_1be848:
001be848mov [rsp+8], rdi
001be84dmov [rsp+32], rbx
001be852mov [rsp], rax
001be856mov rsi, [rbx+24]
001be85amov [rsp+48], rsi
001be85fmov rsi, [rbx+16]
001be863mov [rsp+24], rsi
001be868mov rsi, [rbx+8]
001be86cmov [rsp+16], rsi
001be871mov rbx, [rbx]
001be874mov [rsp+40], rbx
001be879mov rbx, [rdi+40]
001be87dmov rdi, [rbx]
001be880mov rbx, rsi
001be883call caml_apply2
001be888cmp rax, 1
001be88cjne 0x1be8a4
001be88emov rax, [rsp+40]
001be893mov rbx, [rsp+48]
001be898add rsp, 56
001be89cjmp 0x1be7a0
001be8a1
001be8a1 0f 1f 00 ...
001be8a4
001be8a4loc_1be8a4:
001be8a4cmp rax, 1
001be8a8jge 0x1be8ec
001be8aamov rax, [rsp]
001be8aemov rbx, [rsp+40]
001be8b3mov rdi, [rsp+8]
001be8b8call Stdlib.Map.remove
001be8bdmov rbx, [rsp+40]
001be8c2cmp rbx, rax
001be8c5jne 0x1be8d4
001be8c7mov rax, [rsp+32]
001be8ccadd rsp, 56
001be8d0ret
001be8d1
001be8d1 0f 1f 00 ...
001be8d4
001be8d4loc_1be8d4:
001be8d4mov rbx, [rsp+16]
001be8d9mov rdi, [rsp+24]
001be8demov rsi, [rsp+48]
001be8e3add rsp, 56
001be8e7jmp 0x1bd920
001be8ec
001be8ecloc_1be8ec:
001be8ecmov rax, [rsp]
001be8f0mov rbx, [rsp+48]
001be8f5mov rdi, [rsp+8]
001be8facall Stdlib.Map.remove
001be8ffmov rsi, rax
001be902mov rax, [rsp+48]
001be907cmp rax, rsi
001be90ajne 0x1be918
001be90cmov rax, [rsp+32]
001be911add rsp, 56
001be915ret
001be916
001be916 66 90 f.
001be918
001be918loc_1be918:
001be918mov rax, [rsp+40]
001be91dmov rbx, [rsp+16]
001be922mov rdi, [rsp+24]
001be927add rsp, 56
001be92bjmp 0x1bd920
001be930
001be930loc_1be930:
001be930push 40
001be932call caml_call_realloc_stack
001be937pop r10
001be939jmp 0x1be832
001be820
001be93e
001be93e // align 0x10
001be93e // align 0x10
001be940
001be940Stdlib.Map.update:
001be940lea r10, [rsp-384]
001be948cmp r10, [r14+40]
001be94cjb 0x1beb66
001be952
001be952loc_1be952:
001be952sub rsp, 64
001be956mov [rsp+56], rax
001be95btest dil, 1
001be95fje 0x1be9c4
001be961mov eax, 1
001be966mov rdi, [rbx]
001be969call rdi
001be96btest al, 1
001be96dje 0x1be97c
001be96fmov eax, 1
001be974add rsp, 64
001be978ret
001be979
001be979 0f 1f 00 ...
001be97c
001be97cloc_1be97c:
001be97csub r15, 48
001be980cmp r15, [r14]
001be983jb 0x1beb5c
001be989
001be989loc_1be989:
001be989lea rbx, [r15+8]
001be98dmov [rbx-8], 5120
001be995mov [rbx], 1
001be99cmov rdi, [rsp+56]
001be9a1mov [rbx+8], rdi
001be9a5mov rax, [rax]
001be9a8mov [rbx+16], rax
001be9acmov [rbx+24], 1
001be9b4mov [rbx+32], 3
001be9bcmov rax, rbx
001be9bfadd rsp, 64
001be9c3ret
001be9c4
001be9c4loc_1be9c4:
001be9c4mov [rsp], rsi
001be9c8mov [rsp+32], rdi
001be9cdmov [rsp+16], rbx
001be9d2mov rbx, [rdi+24]
001be9d6mov [rsp+48], rbx
001be9dbmov rbx, [rdi+16]
001be9dfmov [rsp+24], rbx
001be9e4mov rbx, [rdi+8]
001be9e8mov [rsp+8], rbx
001be9edmov rdi, [rdi]
001be9f0mov [rsp+40], rdi
001be9f5mov rdi, [rsi+40]
001be9f9mov rdi, [rdi]
001be9fccall caml_apply2
001bea01cmp rax, 1
001bea05jne 0x1beab4
001bea0bsub r15, 16
001bea0fcmp r15, [r14]
001bea12jb 0x1beb52
001bea18
001bea18loc_1bea18:
001bea18lea rax, [r15+8]
001bea1cmov [rax-8], 1024
001bea24mov rbx, [rsp+24]
001bea29mov [rax], rbx
001bea2cmov rbx, [rsp+16]
001bea31mov rdi, [rbx]
001bea34call rdi
001bea36test al, 1
001bea38je 0x1bea50
001bea3amov rax, [rsp+40]
001bea3fmov rbx, [rsp+48]
001bea44add rsp, 64
001bea48jmp 0x1be7a0
001bea4d
001bea4d 0f 1f 00 ...
001bea50
001bea50loc_1bea50:
001bea50mov rbx, [rax]
001bea53mov rax, [rsp+24]
001bea58cmp rax, rbx
001bea5bjne 0x1bea68
001bea5dmov rax, [rsp+32]
001bea62add rsp, 64
001bea66ret
001bea67
001bea67 90 .
001bea68
001bea68loc_1bea68:
001bea68sub r15, 48
001bea6ccmp r15, [r14]
001bea6fjb 0x1beb48
001bea75
001bea75loc_1bea75:
001bea75lea rax, [r15+8]
001bea79mov [rax-8], 5120
001bea81mov rdi, [rsp+40]
001bea86mov [rax], rdi
001bea89mov rdi, [rsp+56]
001bea8emov [rax+8], rdi
001bea92mov [rax+16], rbx
001bea96mov rbx, [rsp+48]
001bea9bmov [rax+24], rbx
001bea9fmov rbx, [rsp+32]
001beaa4mov rbx, [rbx+32]
001beaa8mov [rax+32], rbx
001beaacadd rsp, 64
001beab0ret
001beab1
001beab1 0f 1f 00 ...
001beab4
001beab4loc_1beab4:
001beab4cmp rax, 1
001beab8jge 0x1beb00
001beabamov rax, [rsp+56]
001beabfmov rbx, [rsp+16]
001beac4mov rdi, [rsp+40]
001beac9mov rsi, [rsp]
001beacdcall Stdlib.Map.update
001bead2mov rbx, [rsp+40]
001bead7cmp rbx, rax
001beadajne 0x1beae8
001beadcmov rax, [rsp+32]
001beae1add rsp, 64
001beae5ret
001beae6
001beae6 66 90 f.
001beae8
001beae8loc_1beae8:
001beae8mov rbx, [rsp+8]
001beaedmov rdi, [rsp+24]
001beaf2mov rsi, [rsp+48]
001beaf7add rsp, 64
001beafbjmp 0x1bd920
001beb00
001beb00loc_1beb00:
001beb00mov rax, [rsp+56]
001beb05mov rbx, [rsp+16]
001beb0amov rdi, [rsp+48]
001beb0fmov rsi, [rsp]
001beb13call Stdlib.Map.update
001beb18mov rsi, rax
001beb1bmov rax, [rsp+48]
001beb20cmp rax, rsi
001beb23jne 0x1beb30
001beb25mov rax, [rsp+32]
001beb2aadd rsp, 64
001beb2eret
001beb2f
001beb2f 90 .
001beb30
001beb30loc_1beb30:
001beb30mov rax, [rsp+40]
001beb35mov rbx, [rsp+8]
001beb3amov rdi, [rsp+24]
001beb3fadd rsp, 64
001beb43jmp 0x1bd920
001beb48
001beb48loc_1beb48:
001beb48call caml_call_gc
001beb4djmp 0x1bea75
001beb52
001beb52loc_1beb52:
001beb52call caml_call_gc
001beb57jmp 0x1bea18
001beb5c
001beb5cloc_1beb5c:
001beb5ccall caml_call_gc
001beb61jmp 0x1be989
001beb66
001beb66loc_1beb66:
001beb66push 41
001beb68call caml_call_realloc_stack
001beb6dpop r10
001beb6fjmp 0x1be952
001be940
001be940Stdlib.Map.update:
001be940lea r10, [rsp-384]
001be948cmp r10, [r14+40]
001be94cjb 0x1beb66
001be952
001be952loc_1be952:
001be952sub rsp, 64
001be956mov [rsp+56], rax
001be95btest dil, 1
001be95fje 0x1be9c4
001be961mov eax, 1
001be966mov rdi, [rbx]
001be969call rdi
001be96btest al, 1
001be96dje 0x1be97c
001be96fmov eax, 1
001be974add rsp, 64
001be978ret
001be979
001be979 0f 1f 00 ...
001be97c
001be97cloc_1be97c:
001be97csub r15, 48
001be980cmp r15, [r14]
001be983jb 0x1beb5c
001be989
001be989loc_1be989:
001be989lea rbx, [r15+8]
001be98dmov [rbx-8], 5120
001be995mov [rbx], 1
001be99cmov rdi, [rsp+56]
001be9a1mov [rbx+8], rdi
001be9a5mov rax, [rax]
001be9a8mov [rbx+16], rax
001be9acmov [rbx+24], 1
001be9b4mov [rbx+32], 3
001be9bcmov rax, rbx
001be9bfadd rsp, 64
001be9c3ret
001be9c4
001be9c4loc_1be9c4:
001be9c4mov [rsp], rsi
001be9c8mov [rsp+32], rdi
001be9cdmov [rsp+16], rbx
001be9d2mov rbx, [rdi+24]
001be9d6mov [rsp+48], rbx
001be9dbmov rbx, [rdi+16]
001be9dfmov [rsp+24], rbx
001be9e4mov rbx, [rdi+8]
001be9e8mov [rsp+8], rbx
001be9edmov rdi, [rdi]
001be9f0mov [rsp+40], rdi
001be9f5mov rdi, [rsi+40]
001be9f9mov rdi, [rdi]
001be9fccall caml_apply2
001bea01cmp rax, 1
001bea05jne 0x1beab4
001bea0bsub r15, 16
001bea0fcmp r15, [r14]
001bea12jb 0x1beb52
001bea18
001bea18loc_1bea18:
001bea18lea rax, [r15+8]
001bea1cmov [rax-8], 1024
001bea24mov rbx, [rsp+24]
001bea29mov [rax], rbx
001bea2cmov rbx, [rsp+16]
001bea31mov rdi, [rbx]
001bea34call rdi
001bea36test al, 1
001bea38je 0x1bea50
001bea3amov rax, [rsp+40]
001bea3fmov rbx, [rsp+48]
001bea44add rsp, 64
001bea48jmp 0x1be7a0
001bea4d
001bea4d 0f 1f 00 ...
001bea50
001bea50loc_1bea50:
001bea50mov rbx, [rax]
001bea53mov rax, [rsp+24]
001bea58cmp rax, rbx
001bea5bjne 0x1bea68
001bea5dmov rax, [rsp+32]
001bea62add rsp, 64
001bea66ret
001bea67
001bea67 90 .
001bea68
001bea68loc_1bea68:
001bea68sub r15, 48
001bea6ccmp r15, [r14]
001bea6fjb 0x1beb48
001bea75
001bea75loc_1bea75:
001bea75lea rax, [r15+8]
001bea79mov [rax-8], 5120
001bea81mov rdi, [rsp+40]
001bea86mov [rax], rdi
001bea89mov rdi, [rsp+56]
001bea8emov [rax+8], rdi
001bea92mov [rax+16], rbx
001bea96mov rbx, [rsp+48]
001bea9bmov [rax+24], rbx
001bea9fmov rbx, [rsp+32]
001beaa4mov rbx, [rbx+32]
001beaa8mov [rax+32], rbx
001beaacadd rsp, 64
001beab0ret
001beab1
001beab1 0f 1f 00 ...
001beab4
001beab4loc_1beab4:
001beab4cmp rax, 1
001beab8jge 0x1beb00
001beabamov rax, [rsp+56]
001beabfmov rbx, [rsp+16]
001beac4mov rdi, [rsp+40]
001beac9mov rsi, [rsp]
001beacdcall Stdlib.Map.update
001bead2mov rbx, [rsp+40]
001bead7cmp rbx, rax
001beadajne 0x1beae8
001beadcmov rax, [rsp+32]
001beae1add rsp, 64
001beae5ret
001beae6
001beae6 66 90 f.
001beae8
001beae8loc_1beae8:
001beae8mov rbx, [rsp+8]
001beaedmov rdi, [rsp+24]
001beaf2mov rsi, [rsp+48]
001beaf7add rsp, 64
001beafbjmp 0x1bd920
001beb00
001beb00loc_1beb00:
001beb00mov rax, [rsp+56]
001beb05mov rbx, [rsp+16]
001beb0amov rdi, [rsp+48]
001beb0fmov rsi, [rsp]
001beb13call Stdlib.Map.update
001beb18mov rsi, rax
001beb1bmov rax, [rsp+48]
001beb20cmp rax, rsi
001beb23jne 0x1beb30
001beb25mov rax, [rsp+32]
001beb2aadd rsp, 64
001beb2eret
001beb2f
001beb2f 90 .
001beb30
001beb30loc_1beb30:
001beb30mov rax, [rsp+40]
001beb35mov rbx, [rsp+8]
001beb3amov rdi, [rsp+24]
001beb3fadd rsp, 64
001beb43jmp 0x1bd920
001beb48
001beb48loc_1beb48:
001beb48call caml_call_gc
001beb4djmp 0x1bea75
001beb52
001beb52loc_1beb52:
001beb52call caml_call_gc
001beb57jmp 0x1bea18
001beb5c
001beb5cloc_1beb5c:
001beb5ccall caml_call_gc
001beb61jmp 0x1be989
001beb66
001beb66loc_1beb66:
001beb66push 41
001beb68call caml_call_realloc_stack
001beb6dpop r10
001beb6fjmp 0x1be952
001be940
001beb74
001beb74 // align 0x10
001beb74 // align 0x10
001beb80
001beb80Stdlib.Map.add_to_list:
001beb80sub r15, 32
001beb84cmp r15, [r14]
001beb87jb 0x1bebbd
001beb89
001beb89loc_1beb89:
001beb89lea rdx, [r15+8]
001beb8dmov [rdx-8], 3319
001beb95lea rcx, [rip+52]
001beb9cmov [rdx], rcx
001beb9fmov rcx, 0x100000000000005
001beba9mov [rdx+8], rcx
001bebadmov [rdx+16], rbx
001bebb1mov rsi, [rsi+24]
001bebb5mov rbx, rdx
001bebb8jmp 0x1be940
001bebbd
001bebbdloc_1bebbd:
001bebbdcall caml_call_gc
001bebc2jmp 0x1beb89
001beb80
001beb80Stdlib.Map.add_to_list:
001beb80sub r15, 32
001beb84cmp r15, [r14]
001beb87jb 0x1bebbd
001beb89
001beb89loc_1beb89:
001beb89lea rdx, [r15+8]
001beb8dmov [rdx-8], 3319
001beb95lea rcx, [rip+52]
001beb9cmov [rdx], rcx
001beb9fmov rcx, 0x100000000000005
001beba9mov [rdx+8], rcx
001bebadmov [rdx+16], rbx
001bebb1mov rsi, [rsi+24]
001bebb5mov rbx, rdx
001bebb8jmp 0x1be940
001bebbd
001bebbdloc_1bebbd:
001bebbdcall caml_call_gc
001bebc2jmp 0x1beb89
001beb80
001bebc4
001bebc4 // align 0x10
001bebc4 // align 0x10
001bebd0
001bebd0Stdlib.Map.add:
001bebd0test al, 1
001bebd2je 0x1bec0c
001bebd4sub r15, 40
001bebd8cmp r15, [r14]
001bebdbjb 0x1bec4a
001bebdd
001bebddloc_1bebdd:
001bebddlea rdi, [r15+8]
001bebe1add rdi, 16
001bebe5mov [rdi-8], 2048
001bebedmov rax, [rbx+16]
001bebf1mov [rdi], rax
001bebf4mov [rdi+8], 1
001bebfclea rax, [rdi-16]
001bec00mov [rax-8], 1024
001bec08mov [rax], rdi
001bec0bret
001bec0c
001bec0cloc_1bec0c:
001bec0csub r15, 40
001bec10cmp r15, [r14]
001bec13jb 0x1bec43
001bec15
001bec15loc_1bec15:
001bec15lea rdi, [r15+8]
001bec19add rdi, 16
001bec1dmov [rdi-8], 2048
001bec25mov rbx, [rbx+16]
001bec29mov [rdi], rbx
001bec2cmov rax, [rax]
001bec2fmov [rdi+8], rax
001bec33lea rax, [rdi-16]
001bec37mov [rax-8], 1024
001bec3fmov [rax], rdi
001bec42ret
001bec43
001bec43loc_1bec43:
001bec43call caml_call_gc
001bec48jmp 0x1bec15
001bec4a
001bec4aloc_1bec4a:
001bec4acall caml_call_gc
001bec4fjmp 0x1bebdd
001bebd0
001bebd0Stdlib.Map.add:
001bebd0test al, 1
001bebd2je 0x1bec0c
001bebd4sub r15, 40
001bebd8cmp r15, [r14]
001bebdbjb 0x1bec4a
001bebdd
001bebddloc_1bebdd:
001bebddlea rdi, [r15+8]
001bebe1add rdi, 16
001bebe5mov [rdi-8], 2048
001bebedmov rax, [rbx+16]
001bebf1mov [rdi], rax
001bebf4mov [rdi+8], 1
001bebfclea rax, [rdi-16]
001bec00mov [rax-8], 1024
001bec08mov [rax], rdi
001bec0bret
001bec0c
001bec0cloc_1bec0c:
001bec0csub r15, 40
001bec10cmp r15, [r14]
001bec13jb 0x1bec43
001bec15
001bec15loc_1bec15:
001bec15lea rdi, [r15+8]
001bec19add rdi, 16
001bec1dmov [rdi-8], 2048
001bec25mov rbx, [rbx+16]
001bec29mov [rdi], rbx
001bec2cmov rax, [rax]
001bec2fmov [rdi+8], rax
001bec33lea rax, [rdi-16]
001bec37mov [rax-8], 1024
001bec3fmov [rax], rdi
001bec42ret
001bec43
001bec43loc_1bec43:
001bec43call caml_call_gc
001bec48jmp 0x1bec15
001bec4a
001bec4aloc_1bec4a:
001bec4acall caml_call_gc
001bec4fjmp 0x1bebdd
001bebd0
001bec51
001bec51 // align 0x10
001bec51 // align 0x10
001bec60
001bec60Stdlib.Map.iter:
001bec60lea r10, [rsp-336]
001bec68cmp r10, [r14+40]
001bec6cjb 0x1becc5
001bec6e
001bec6eloc_1bec6e:
001bec6esub rsp, 16
001bec72
001bec72loc_1bec72:
001bec72cmp r15, [r14]
001bec75jbe 0x1becbe
001bec77
001bec77loc_1bec77:
001bec77test bl, 1
001bec7aje 0x1bec88
001bec7cmov eax, 1
001bec81add rsp, 16
001bec85ret
001bec86
001bec86 66 90 f.
001bec88
001bec88loc_1bec88:
001bec88mov [rsp], rbx
001bec8cmov [rsp+8], rax
001bec91mov rbx, [rbx]
001bec94call Stdlib.Map.iter
001bec99mov rax, [rsp]
001bec9dmov rbx, [rax+16]
001beca1mov rax, [rax+8]
001beca5mov rdi, [rsp+8]
001becaacall caml_apply2
001becafmov rax, [rsp]
001becb3mov rbx, [rax+24]
001becb7mov rax, [rsp+8]
001becbcjmp 0x1bec72
001becbe
001becbeloc_1becbe:
001becbecall caml_call_gc
001becc3jmp 0x1bec77
001becc5
001becc5loc_1becc5:
001becc5push 35
001becc7call caml_call_realloc_stack
001becccpop r10
001beccejmp 0x1bec6e
001bec60
001bec60Stdlib.Map.iter:
001bec60lea r10, [rsp-336]
001bec68cmp r10, [r14+40]
001bec6cjb 0x1becc5
001bec6e
001bec6eloc_1bec6e:
001bec6esub rsp, 16
001bec72
001bec72loc_1bec72:
001bec72cmp r15, [r14]
001bec75jbe 0x1becbe
001bec77
001bec77loc_1bec77:
001bec77test bl, 1
001bec7aje 0x1bec88
001bec7cmov eax, 1
001bec81add rsp, 16
001bec85ret
001bec86
001bec86 66 90 f.
001bec88
001bec88loc_1bec88:
001bec88mov [rsp], rbx
001bec8cmov [rsp+8], rax
001bec91mov rbx, [rbx]
001bec94call Stdlib.Map.iter
001bec99mov rax, [rsp]
001bec9dmov rbx, [rax+16]
001beca1mov rax, [rax+8]
001beca5mov rdi, [rsp+8]
001becaacall caml_apply2
001becafmov rax, [rsp]
001becb3mov rbx, [rax+24]
001becb7mov rax, [rsp+8]
001becbcjmp 0x1bec72
001becbe
001becbeloc_1becbe:
001becbecall caml_call_gc
001becc3jmp 0x1bec77
001becc5
001becc5loc_1becc5:
001becc5push 35
001becc7call caml_call_realloc_stack
001becccpop r10
001beccejmp 0x1bec6e
001bec60
001becd0
001becd0Stdlib.Map.map:
001becd0lea r10, [rsp-352]
001becd8cmp r10, [r14+40]
001becdcjb 0x1bed85
001bece2
001bece2loc_1bece2:
001bece2sub rsp, 32
001bece6test bl, 1
001bece9je 0x1becf8
001becebmov eax, 1
001becf0add rsp, 32
001becf4ret
001becf5
001becf5 0f 1f 00 ...
001becf8
001becf8loc_1becf8:
001becf8mov [rsp+16], rbx
001becfdmov [rsp], rax
001bed01mov rbx, [rbx]
001bed04call Stdlib.Map.map
001bed09mov [rsp+8], rax
001bed0emov rax, [rsp+16]
001bed13mov rax, [rax+16]
001bed17mov rbx, [rsp]
001bed1bmov rdi, [rbx]
001bed1ecall rdi
001bed20mov [rsp+24], rax
001bed25mov rax, [rsp+16]
001bed2amov rbx, [rax+24]
001bed2emov rax, [rsp]
001bed32call Stdlib.Map.map
001bed37sub r15, 48
001bed3bcmp r15, [r14]
001bed3ejb 0x1bed7e
001bed40
001bed40loc_1bed40:
001bed40lea rbx, [r15+8]
001bed44mov [rbx-8], 5120
001bed4cmov rdi, [rsp+8]
001bed51mov [rbx], rdi
001bed54mov rsi, [rsp+16]
001bed59mov rdi, [rsi+8]
001bed5dmov [rbx+8], rdi
001bed61mov rdi, [rsp+24]
001bed66mov [rbx+16], rdi
001bed6amov [rbx+24], rax
001bed6emov rax, [rsi+32]
001bed72mov [rbx+32], rax
001bed76mov rax, rbx
001bed79add rsp, 32
001bed7dret
001bed7e
001bed7eloc_1bed7e:
001bed7ecall caml_call_gc
001bed83jmp 0x1bed40
001bed85
001bed85loc_1bed85:
001bed85push 37
001bed87call caml_call_realloc_stack
001bed8cpop r10
001bed8ejmp 0x1bece2
001becd0
001becd0Stdlib.Map.map:
001becd0lea r10, [rsp-352]
001becd8cmp r10, [r14+40]
001becdcjb 0x1bed85
001bece2
001bece2loc_1bece2:
001bece2sub rsp, 32
001bece6test bl, 1
001bece9je 0x1becf8
001becebmov eax, 1
001becf0add rsp, 32
001becf4ret
001becf5
001becf5 0f 1f 00 ...
001becf8
001becf8loc_1becf8:
001becf8mov [rsp+16], rbx
001becfdmov [rsp], rax
001bed01mov rbx, [rbx]
001bed04call Stdlib.Map.map
001bed09mov [rsp+8], rax
001bed0emov rax, [rsp+16]
001bed13mov rax, [rax+16]
001bed17mov rbx, [rsp]
001bed1bmov rdi, [rbx]
001bed1ecall rdi
001bed20mov [rsp+24], rax
001bed25mov rax, [rsp+16]
001bed2amov rbx, [rax+24]
001bed2emov rax, [rsp]
001bed32call Stdlib.Map.map
001bed37sub r15, 48
001bed3bcmp r15, [r14]
001bed3ejb 0x1bed7e
001bed40
001bed40loc_1bed40:
001bed40lea rbx, [r15+8]
001bed44mov [rbx-8], 5120
001bed4cmov rdi, [rsp+8]
001bed51mov [rbx], rdi
001bed54mov rsi, [rsp+16]
001bed59mov rdi, [rsi+8]
001bed5dmov [rbx+8], rdi
001bed61mov rdi, [rsp+24]
001bed66mov [rbx+16], rdi
001bed6amov [rbx+24], rax
001bed6emov rax, [rsi+32]
001bed72mov [rbx+32], rax
001bed76mov rax, rbx
001bed79add rsp, 32
001bed7dret
001bed7e
001bed7eloc_1bed7e:
001bed7ecall caml_call_gc
001bed83jmp 0x1bed40
001bed85
001bed85loc_1bed85:
001bed85push 37
001bed87call caml_call_realloc_stack
001bed8cpop r10
001bed8ejmp 0x1bece2
001becd0
001bed93
001bed93 // align 0x10
001bed93 // align 0x10
001beda0
001beda0Stdlib.Map.mapi:
001beda0lea r10, [rsp-360]
001beda8cmp r10, [r14+40]
001bedacjb 0x1bee64
001bedb2
001bedb2loc_1bedb2:
001bedb2sub rsp, 40
001bedb6test bl, 1
001bedb9je 0x1bedc8
001bedbbmov eax, 1
001bedc0add rsp, 40
001bedc4ret
001bedc5
001bedc5 0f 1f 00 ...
001bedc8
001bedc8loc_1bedc8:
001bedc8mov [rsp+32], rbx
001bedcdmov [rsp], rax
001bedd1mov rdi, [rbx+8]
001bedd5mov [rsp+16], rdi
001beddamov rbx, [rbx]
001bedddcall Stdlib.Map.mapi
001bede2mov [rsp+8], rax
001bede7mov rax, [rsp+32]
001bedecmov rbx, [rax+16]
001bedf0mov rax, [rsp+16]
001bedf5mov rdi, [rsp]
001bedf9call caml_apply2
001bedfemov [rsp+24], rax
001bee03mov rax, [rsp+32]
001bee08mov rbx, [rax+24]
001bee0cmov rax, [rsp]
001bee10call Stdlib.Map.mapi
001bee15sub r15, 48
001bee19cmp r15, [r14]
001bee1cjb 0x1bee5d
001bee1e
001bee1eloc_1bee1e:
001bee1elea rbx, [r15+8]
001bee22mov [rbx-8], 5120
001bee2amov rdi, [rsp+8]
001bee2fmov [rbx], rdi
001bee32mov rdi, [rsp+16]
001bee37mov [rbx+8], rdi
001bee3bmov rdi, [rsp+24]
001bee40mov [rbx+16], rdi
001bee44mov [rbx+24], rax
001bee48mov rax, [rsp+32]
001bee4dmov rax, [rax+32]
001bee51mov [rbx+32], rax
001bee55mov rax, rbx
001bee58add rsp, 40
001bee5cret
001bee5d
001bee5dloc_1bee5d:
001bee5dcall caml_call_gc
001bee62jmp 0x1bee1e
001bee64
001bee64loc_1bee64:
001bee64push 38
001bee66call caml_call_realloc_stack
001bee6bpop r10
001bee6djmp 0x1bedb2
001beda0
001beda0Stdlib.Map.mapi:
001beda0lea r10, [rsp-360]
001beda8cmp r10, [r14+40]
001bedacjb 0x1bee64
001bedb2
001bedb2loc_1bedb2:
001bedb2sub rsp, 40
001bedb6test bl, 1
001bedb9je 0x1bedc8
001bedbbmov eax, 1
001bedc0add rsp, 40
001bedc4ret
001bedc5
001bedc5 0f 1f 00 ...
001bedc8
001bedc8loc_1bedc8:
001bedc8mov [rsp+32], rbx
001bedcdmov [rsp], rax
001bedd1mov rdi, [rbx+8]
001bedd5mov [rsp+16], rdi
001beddamov rbx, [rbx]
001bedddcall Stdlib.Map.mapi
001bede2mov [rsp+8], rax
001bede7mov rax, [rsp+32]
001bedecmov rbx, [rax+16]
001bedf0mov rax, [rsp+16]
001bedf5mov rdi, [rsp]
001bedf9call caml_apply2
001bedfemov [rsp+24], rax
001bee03mov rax, [rsp+32]
001bee08mov rbx, [rax+24]
001bee0cmov rax, [rsp]
001bee10call Stdlib.Map.mapi
001bee15sub r15, 48
001bee19cmp r15, [r14]
001bee1cjb 0x1bee5d
001bee1e
001bee1eloc_1bee1e:
001bee1elea rbx, [r15+8]
001bee22mov [rbx-8], 5120
001bee2amov rdi, [rsp+8]
001bee2fmov [rbx], rdi
001bee32mov rdi, [rsp+16]
001bee37mov [rbx+8], rdi
001bee3bmov rdi, [rsp+24]
001bee40mov [rbx+16], rdi
001bee44mov [rbx+24], rax
001bee48mov rax, [rsp+32]
001bee4dmov rax, [rax+32]
001bee51mov [rbx+32], rax
001bee55mov rax, rbx
001bee58add rsp, 40
001bee5cret
001bee5d
001bee5dloc_1bee5d:
001bee5dcall caml_call_gc
001bee62jmp 0x1bee1e
001bee64
001bee64loc_1bee64:
001bee64push 38
001bee66call caml_call_realloc_stack
001bee6bpop r10
001bee6djmp 0x1bedb2
001beda0
001bee72
001bee72 // align 0x10
001bee72 // align 0x10
001bee80
001bee80Stdlib.Map.fold:
001bee80lea r10, [rsp-336]
001bee88cmp r10, [r14+40]
001bee8cjb 0x1beee7
001bee8e
001bee8eloc_1bee8e:
001bee8esub rsp, 16
001bee92
001bee92loc_1bee92:
001bee92cmp r15, [r14]
001bee95jbe 0x1beee0
001bee97
001bee97loc_1bee97:
001bee97test bl, 1
001bee9aje 0x1beea4
001bee9cmov rax, rdi
001bee9fadd rsp, 16
001beea3ret
001beea4
001beea4loc_1beea4:
001beea4mov [rsp], rbx
001beea8mov [rsp+8], rax
001beeadmov rbx, [rbx]
001beeb0call Stdlib.Map.fold
001beeb5mov rdi, rax
001beeb8mov rax, [rsp]
001beebcmov rbx, [rax+16]
001beec0mov rax, [rax+8]
001beec4mov rsi, [rsp+8]
001beec9call caml_apply3
001beecemov rdi, rax
001beed1mov rax, [rsp]
001beed5mov rbx, [rax+24]
001beed9mov rax, [rsp+8]
001beedejmp 0x1bee92
001beee0
001beee0loc_1beee0:
001beee0call caml_call_gc
001beee5jmp 0x1bee97
001beee7
001beee7loc_1beee7:
001beee7push 35
001beee9call caml_call_realloc_stack
001beeeepop r10
001beef0jmp 0x1bee8e
001bee80
001bee80Stdlib.Map.fold:
001bee80lea r10, [rsp-336]
001bee88cmp r10, [r14+40]
001bee8cjb 0x1beee7
001bee8e
001bee8eloc_1bee8e:
001bee8esub rsp, 16
001bee92
001bee92loc_1bee92:
001bee92cmp r15, [r14]
001bee95jbe 0x1beee0
001bee97
001bee97loc_1bee97:
001bee97test bl, 1
001bee9aje 0x1beea4
001bee9cmov rax, rdi
001bee9fadd rsp, 16
001beea3ret
001beea4
001beea4loc_1beea4:
001beea4mov [rsp], rbx
001beea8mov [rsp+8], rax
001beeadmov rbx, [rbx]
001beeb0call Stdlib.Map.fold
001beeb5mov rdi, rax
001beeb8mov rax, [rsp]
001beebcmov rbx, [rax+16]
001beec0mov rax, [rax+8]
001beec4mov rsi, [rsp+8]
001beec9call caml_apply3
001beecemov rdi, rax
001beed1mov rax, [rsp]
001beed5mov rbx, [rax+24]
001beed9mov rax, [rsp+8]
001beedejmp 0x1bee92
001beee0
001beee0loc_1beee0:
001beee0call caml_call_gc
001beee5jmp 0x1bee97
001beee7
001beee7loc_1beee7:
001beee7push 35
001beee9call caml_call_realloc_stack
001beeeepop r10
001beef0jmp 0x1bee8e
001bee80
001beef2
001beef2 // align 0x10
001beef2 // align 0x10
001bef00
001bef00Stdlib.Map.for_all:
001bef00lea r10, [rsp-336]
001bef08cmp r10, [r14+40]
001bef0cjb 0x1bef85
001bef0e
001bef0eloc_1bef0e:
001bef0esub rsp, 16
001bef12
001bef12loc_1bef12:
001bef12mov rdi, rax
001bef15cmp r15, [r14]
001bef18jbe 0x1bef7e
001bef1a
001bef1aloc_1bef1a:
001bef1atest bl, 1
001bef1dje 0x1bef2c
001bef1fmov eax, 3
001bef24add rsp, 16
001bef28ret
001bef29
001bef29 0f 1f 00 ...
001bef2c
001bef2cloc_1bef2c:
001bef2cmov [rsp], rbx
001bef30mov [rsp+8], rdi
001bef35mov rsi, [rbx+16]
001bef39mov rax, [rbx+8]
001bef3dmov rbx, rsi
001bef40call caml_apply2
001bef45cmp rax, 1
001bef49je 0x1bef74
001bef4bmov rax, [rsp]
001bef4fmov rbx, [rax]
001bef52mov rax, [rsp+8]
001bef57call Stdlib.Map.for_all
001bef5ccmp rax, 1
001bef60je 0x1bef74
001bef62mov rax, [rsp]
001bef66mov rbx, [rax+24]
001bef6amov rax, [rsp+8]
001bef6fjmp 0x1bef12
001bef71
001bef71 0f 1f 00 ...
001bef74
001bef74loc_1bef74:
001bef74mov eax, 1
001bef79add rsp, 16
001bef7dret
001bef7e
001bef7eloc_1bef7e:
001bef7ecall caml_call_gc
001bef83jmp 0x1bef1a
001bef85
001bef85loc_1bef85:
001bef85push 35
001bef87call caml_call_realloc_stack
001bef8cpop r10
001bef8ejmp 0x1bef0e
001bef00
001bef00Stdlib.Map.for_all:
001bef00lea r10, [rsp-336]
001bef08cmp r10, [r14+40]
001bef0cjb 0x1bef85
001bef0e
001bef0eloc_1bef0e:
001bef0esub rsp, 16
001bef12
001bef12loc_1bef12:
001bef12mov rdi, rax
001bef15cmp r15, [r14]
001bef18jbe 0x1bef7e
001bef1a
001bef1aloc_1bef1a:
001bef1atest bl, 1
001bef1dje 0x1bef2c
001bef1fmov eax, 3
001bef24add rsp, 16
001bef28ret
001bef29
001bef29 0f 1f 00 ...
001bef2c
001bef2cloc_1bef2c:
001bef2cmov [rsp], rbx
001bef30mov [rsp+8], rdi
001bef35mov rsi, [rbx+16]
001bef39mov rax, [rbx+8]
001bef3dmov rbx, rsi
001bef40call caml_apply2
001bef45cmp rax, 1
001bef49je 0x1bef74
001bef4bmov rax, [rsp]
001bef4fmov rbx, [rax]
001bef52mov rax, [rsp+8]
001bef57call Stdlib.Map.for_all
001bef5ccmp rax, 1
001bef60je 0x1bef74
001bef62mov rax, [rsp]
001bef66mov rbx, [rax+24]
001bef6amov rax, [rsp+8]
001bef6fjmp 0x1bef12
001bef71
001bef71 0f 1f 00 ...
001bef74
001bef74loc_1bef74:
001bef74mov eax, 1
001bef79add rsp, 16
001bef7dret
001bef7e
001bef7eloc_1bef7e:
001bef7ecall caml_call_gc
001bef83jmp 0x1bef1a
001bef85
001bef85loc_1bef85:
001bef85push 35
001bef87call caml_call_realloc_stack
001bef8cpop r10
001bef8ejmp 0x1bef0e
001bef00
001bef93
001bef93 // align 0x10
001bef93 // align 0x10
001befa0
001befa0Stdlib.Map.exists:
001befa0lea r10, [rsp-336]
001befa8cmp r10, [r14+40]
001befacjb 0x1bf025
001befae
001befaeloc_1befae:
001befaesub rsp, 16
001befb2
001befb2loc_1befb2:
001befb2mov rdi, rax
001befb5cmp r15, [r14]
001befb8jbe 0x1bf01e
001befba
001befbaloc_1befba:
001befbatest bl, 1
001befbdje 0x1befcc
001befbfmov eax, 1
001befc4add rsp, 16
001befc8ret
001befc9
001befc9 0f 1f 00 ...
001befcc
001befccloc_1befcc:
001befccmov [rsp], rbx
001befd0mov [rsp+8], rdi
001befd5mov rsi, [rbx+16]
001befd9mov rax, [rbx+8]
001befddmov rbx, rsi
001befe0call caml_apply2
001befe5cmp rax, 1
001befe9jne 0x1bf014
001befebmov rax, [rsp]
001befefmov rbx, [rax]
001beff2mov rax, [rsp+8]
001beff7call Stdlib.Map.exists
001beffccmp rax, 1
001bf000jne 0x1bf014
001bf002mov rax, [rsp]
001bf006mov rbx, [rax+24]
001bf00amov rax, [rsp+8]
001bf00fjmp 0x1befb2
001bf011
001bf011 0f 1f 00 ...
001bf014
001bf014loc_1bf014:
001bf014mov eax, 3
001bf019add rsp, 16
001bf01dret
001bf01e
001bf01eloc_1bf01e:
001bf01ecall caml_call_gc
001bf023jmp 0x1befba
001bf025
001bf025loc_1bf025:
001bf025push 35
001bf027call caml_call_realloc_stack
001bf02cpop r10
001bf02ejmp 0x1befae
001befa0
001befa0Stdlib.Map.exists:
001befa0lea r10, [rsp-336]
001befa8cmp r10, [r14+40]
001befacjb 0x1bf025
001befae
001befaeloc_1befae:
001befaesub rsp, 16
001befb2
001befb2loc_1befb2:
001befb2mov rdi, rax
001befb5cmp r15, [r14]
001befb8jbe 0x1bf01e
001befba
001befbaloc_1befba:
001befbatest bl, 1
001befbdje 0x1befcc
001befbfmov eax, 1
001befc4add rsp, 16
001befc8ret
001befc9
001befc9 0f 1f 00 ...
001befcc
001befccloc_1befcc:
001befccmov [rsp], rbx
001befd0mov [rsp+8], rdi
001befd5mov rsi, [rbx+16]
001befd9mov rax, [rbx+8]
001befddmov rbx, rsi
001befe0call caml_apply2
001befe5cmp rax, 1
001befe9jne 0x1bf014
001befebmov rax, [rsp]
001befefmov rbx, [rax]
001beff2mov rax, [rsp+8]
001beff7call Stdlib.Map.exists
001beffccmp rax, 1
001bf000jne 0x1bf014
001bf002mov rax, [rsp]
001bf006mov rbx, [rax+24]
001bf00amov rax, [rsp+8]
001bf00fjmp 0x1befb2
001bf011
001bf011 0f 1f 00 ...
001bf014
001bf014loc_1bf014:
001bf014mov eax, 3
001bf019add rsp, 16
001bf01dret
001bf01e
001bf01eloc_1bf01e:
001bf01ecall caml_call_gc
001bf023jmp 0x1befba
001bf025
001bf025loc_1bf025:
001bf025push 35
001bf027call caml_call_realloc_stack
001bf02cpop r10
001bf02ejmp 0x1befae
001befa0
001bf033
001bf033 // align 0x10
001bf033 // align 0x10
001bf040
001bf040Stdlib.Map.add_min_binding:
001bf040lea r10, [rsp-328]
001bf048cmp r10, [r14+40]
001bf04cjb 0x1bf089
001bf04e
001bf04eloc_1bf04e:
001bf04esub rsp, 8
001bf052test dil, 1
001bf056je 0x1bf064
001bf058add rsp, 8
001bf05cjmp 0x1bd8e0
001bf061
001bf061 0f 1f 00 ...
001bf064
001bf064loc_1bf064:
001bf064mov [rsp], rdi
001bf068mov rdi, [rdi]
001bf06bcall Stdlib.Map.add_min_binding
001bf070mov rbx, [rsp]
001bf074mov rsi, [rbx+24]
001bf078mov rdi, [rbx+16]
001bf07cmov rbx, [rbx+8]
001bf080add rsp, 8
001bf084jmp 0x1bd920
001bf089
001bf089loc_1bf089:
001bf089push 34
001bf08bcall caml_call_realloc_stack
001bf090pop r10
001bf092jmp 0x1bf04e
001bf040
001bf040Stdlib.Map.add_min_binding:
001bf040lea r10, [rsp-328]
001bf048cmp r10, [r14+40]
001bf04cjb 0x1bf089
001bf04e
001bf04eloc_1bf04e:
001bf04esub rsp, 8
001bf052test dil, 1
001bf056je 0x1bf064
001bf058add rsp, 8
001bf05cjmp 0x1bd8e0
001bf061
001bf061 0f 1f 00 ...
001bf064
001bf064loc_1bf064:
001bf064mov [rsp], rdi
001bf068mov rdi, [rdi]
001bf06bcall Stdlib.Map.add_min_binding
001bf070mov rbx, [rsp]
001bf074mov rsi, [rbx+24]
001bf078mov rdi, [rbx+16]
001bf07cmov rbx, [rbx+8]
001bf080add rsp, 8
001bf084jmp 0x1bd920
001bf089
001bf089loc_1bf089:
001bf089push 34
001bf08bcall caml_call_realloc_stack
001bf090pop r10
001bf092jmp 0x1bf04e
001bf040
001bf094
001bf094 // align 0x10
001bf094 // align 0x10
001bf0a0
001bf0a0Stdlib.Map.add_max_binding:
001bf0a0lea r10, [rsp-328]
001bf0a8cmp r10, [r14+40]
001bf0acjb 0x1bf0ec
001bf0ae
001bf0aeloc_1bf0ae:
001bf0aesub rsp, 8
001bf0b2test dil, 1
001bf0b6je 0x1bf0c4
001bf0b8add rsp, 8
001bf0bcjmp 0x1bd8e0
001bf0c1
001bf0c1 0f 1f 00 ...
001bf0c4
001bf0c4loc_1bf0c4:
001bf0c4mov [rsp], rdi
001bf0c8mov rdi, [rdi+24]
001bf0cccall Stdlib.Map.add_max_binding
001bf0d1mov rsi, rax
001bf0d4mov rax, [rsp]
001bf0d8mov rdi, [rax+16]
001bf0dcmov rbx, [rax+8]
001bf0e0mov rax, [rax]
001bf0e3add rsp, 8
001bf0e7jmp 0x1bd920
001bf0ec
001bf0ecloc_1bf0ec:
001bf0ecpush 34
001bf0eecall caml_call_realloc_stack
001bf0f3pop r10
001bf0f5jmp 0x1bf0ae
001bf0a0
001bf0a0Stdlib.Map.add_max_binding:
001bf0a0lea r10, [rsp-328]
001bf0a8cmp r10, [r14+40]
001bf0acjb 0x1bf0ec
001bf0ae
001bf0aeloc_1bf0ae:
001bf0aesub rsp, 8
001bf0b2test dil, 1
001bf0b6je 0x1bf0c4
001bf0b8add rsp, 8
001bf0bcjmp 0x1bd8e0
001bf0c1
001bf0c1 0f 1f 00 ...
001bf0c4
001bf0c4loc_1bf0c4:
001bf0c4mov [rsp], rdi
001bf0c8mov rdi, [rdi+24]
001bf0cccall Stdlib.Map.add_max_binding
001bf0d1mov rsi, rax
001bf0d4mov rax, [rsp]
001bf0d8mov rdi, [rax+16]
001bf0dcmov rbx, [rax+8]
001bf0e0mov rax, [rax]
001bf0e3add rsp, 8
001bf0e7jmp 0x1bd920
001bf0ec
001bf0ecloc_1bf0ec:
001bf0ecpush 34
001bf0eecall caml_call_realloc_stack
001bf0f3pop r10
001bf0f5jmp 0x1bf0ae
001bf0a0
001bf0f7
001bf0f7 // align 0x10
001bf0f7 // align 0x10
001bf100
001bf100Stdlib.Map.join:
001bf100lea r10, [rsp-328]
001bf108cmp r10, [r14+40]
001bf10cjb 0x1bf1c4
001bf112
001bf112loc_1bf112:
001bf112sub rsp, 8
001bf116mov rdx, rax
001bf119test dl, 1
001bf11cje 0x1bf130
001bf11emov rax, rbx
001bf121mov rbx, rdi
001bf124mov rdi, rsi
001bf127add rsp, 8
001bf12bjmp 0x1bf040
001bf130
001bf130loc_1bf130:
001bf130test sil, 1
001bf134je 0x1bf148
001bf136mov rax, rbx
001bf139mov rbx, rdi
001bf13cmov rdi, rdx
001bf13fadd rsp, 8
001bf143jmp 0x1bf0a0
001bf148
001bf148loc_1bf148:
001bf148mov rax, [rsi+32]
001bf14cmov rcx, [rdx+32]
001bf150mov r8, rax
001bf153add r8, 4
001bf157cmp rcx, r8
001bf15ajle 0x1bf184
001bf15cmov [rsp], rdx
001bf160mov rax, [rdx+24]
001bf164call Stdlib.Map.join
001bf169mov rsi, rax
001bf16cmov rax, [rsp]
001bf170mov rdi, [rax+16]
001bf174mov rbx, [rax+8]
001bf178mov rax, [rax]
001bf17badd rsp, 8
001bf17fjmp 0x1bd920
001bf184
001bf184loc_1bf184:
001bf184add rcx, 4
001bf188cmp rax, rcx
001bf18bjle 0x1bf1b8
001bf18dmov [rsp], rsi
001bf191mov rsi, [rsi]
001bf194mov rax, rdx
001bf197call Stdlib.Map.join
001bf19cmov rbx, [rsp]
001bf1a0mov rsi, [rbx+24]
001bf1a4mov rdi, [rbx+16]
001bf1a8mov rbx, [rbx+8]
001bf1acadd rsp, 8
001bf1b0jmp 0x1bd920
001bf1b5
001bf1b5 0f 1f 00 ...
001bf1b8
001bf1b8loc_1bf1b8:
001bf1b8mov rax, rdx
001bf1bbadd rsp, 8
001bf1bfjmp 0x1bd870
001bf1c4
001bf1c4loc_1bf1c4:
001bf1c4push 34
001bf1c6call caml_call_realloc_stack
001bf1cbpop r10
001bf1cdjmp 0x1bf112
001bf100
001bf100Stdlib.Map.join:
001bf100lea r10, [rsp-328]
001bf108cmp r10, [r14+40]
001bf10cjb 0x1bf1c4
001bf112
001bf112loc_1bf112:
001bf112sub rsp, 8
001bf116mov rdx, rax
001bf119test dl, 1
001bf11cje 0x1bf130
001bf11emov rax, rbx
001bf121mov rbx, rdi
001bf124mov rdi, rsi
001bf127add rsp, 8
001bf12bjmp 0x1bf040
001bf130
001bf130loc_1bf130:
001bf130test sil, 1
001bf134je 0x1bf148
001bf136mov rax, rbx
001bf139mov rbx, rdi
001bf13cmov rdi, rdx
001bf13fadd rsp, 8
001bf143jmp 0x1bf0a0
001bf148
001bf148loc_1bf148:
001bf148mov rax, [rsi+32]
001bf14cmov rcx, [rdx+32]
001bf150mov r8, rax
001bf153add r8, 4
001bf157cmp rcx, r8
001bf15ajle 0x1bf184
001bf15cmov [rsp], rdx
001bf160mov rax, [rdx+24]
001bf164call Stdlib.Map.join
001bf169mov rsi, rax
001bf16cmov rax, [rsp]
001bf170mov rdi, [rax+16]
001bf174mov rbx, [rax+8]
001bf178mov rax, [rax]
001bf17badd rsp, 8
001bf17fjmp 0x1bd920
001bf184
001bf184loc_1bf184:
001bf184add rcx, 4
001bf188cmp rax, rcx
001bf18bjle 0x1bf1b8
001bf18dmov [rsp], rsi
001bf191mov rsi, [rsi]
001bf194mov rax, rdx
001bf197call Stdlib.Map.join
001bf19cmov rbx, [rsp]
001bf1a0mov rsi, [rbx+24]
001bf1a4mov rdi, [rbx+16]
001bf1a8mov rbx, [rbx+8]
001bf1acadd rsp, 8
001bf1b0jmp 0x1bd920
001bf1b5
001bf1b5 0f 1f 00 ...
001bf1b8
001bf1b8loc_1bf1b8:
001bf1b8mov rax, rdx
001bf1bbadd rsp, 8
001bf1bfjmp 0x1bd870
001bf1c4
001bf1c4loc_1bf1c4:
001bf1c4push 34
001bf1c6call caml_call_realloc_stack
001bf1cbpop r10
001bf1cdjmp 0x1bf112
001bf100
001bf1d2
001bf1d2 // align 0x10
001bf1d2 // align 0x10
001bf1e0
001bf1e0Stdlib.Map.concat:
001bf1e0lea r10, [rsp-344]
001bf1e8cmp r10, [r14+40]
001bf1ecjb 0x1bf248
001bf1ee
001bf1eeloc_1bf1ee:
001bf1eesub rsp, 24
001bf1f2test al, 1
001bf1f4je 0x1bf200
001bf1f6mov rax, rbx
001bf1f9add rsp, 24
001bf1fdret
001bf1fe
001bf1fe 66 90 f.
001bf200
001bf200loc_1bf200:
001bf200test bl, 1
001bf203je 0x1bf20c
001bf205add rsp, 24
001bf209ret
001bf20a
001bf20a 66 90 f.
001bf20c
001bf20cloc_1bf20c:
001bf20cmov [rsp], rbx
001bf210mov [rsp+16], rax
001bf215mov rax, rbx
001bf218call Stdlib.Map.min_binding
001bf21dmov [rsp+8], rax
001bf222mov rax, [rsp]
001bf226call Stdlib.Map.remove_min_binding
001bf22bmov rsi, rax
001bf22emov rax, [rsp+8]
001bf233mov rdi, [rax+8]
001bf237mov rbx, [rax]
001bf23amov rax, [rsp+16]
001bf23fadd rsp, 24
001bf243jmp 0x1bf100
001bf248
001bf248loc_1bf248:
001bf248push 36
001bf24acall caml_call_realloc_stack
001bf24fpop r10
001bf251jmp 0x1bf1ee
001bf1e0
001bf1e0Stdlib.Map.concat:
001bf1e0lea r10, [rsp-344]
001bf1e8cmp r10, [r14+40]
001bf1ecjb 0x1bf248
001bf1ee
001bf1eeloc_1bf1ee:
001bf1eesub rsp, 24
001bf1f2test al, 1
001bf1f4je 0x1bf200
001bf1f6mov rax, rbx
001bf1f9add rsp, 24
001bf1fdret
001bf1fe
001bf1fe 66 90 f.
001bf200
001bf200loc_1bf200:
001bf200test bl, 1
001bf203je 0x1bf20c
001bf205add rsp, 24
001bf209ret
001bf20a
001bf20a 66 90 f.
001bf20c
001bf20cloc_1bf20c:
001bf20cmov [rsp], rbx
001bf210mov [rsp+16], rax
001bf215mov rax, rbx
001bf218call Stdlib.Map.min_binding
001bf21dmov [rsp+8], rax
001bf222mov rax, [rsp]
001bf226call Stdlib.Map.remove_min_binding
001bf22bmov rsi, rax
001bf22emov rax, [rsp+8]
001bf233mov rdi, [rax+8]
001bf237mov rbx, [rax]
001bf23amov rax, [rsp+16]
001bf23fadd rsp, 24
001bf243jmp 0x1bf100
001bf248
001bf248loc_1bf248:
001bf248push 36
001bf24acall caml_call_realloc_stack
001bf24fpop r10
001bf251jmp 0x1bf1ee
001bf1e0
001bf253
001bf253 // align 0x10
001bf253 // align 0x10
001bf260
001bf260Stdlib.Map.concat_or_join:
001bf260test dil, 1
001bf264je 0x1bf270
001bf266mov rbx, rsi
001bf269jmp 0x1bf1e0
001bf26e
001bf26e 66 90 f.
001bf270
001bf270loc_1bf270:
001bf270mov rdi, [rdi]
001bf273jmp 0x1bf100
001bf260
001bf260Stdlib.Map.concat_or_join:
001bf260test dil, 1
001bf264je 0x1bf270
001bf266mov rbx, rsi
001bf269jmp 0x1bf1e0
001bf26e
001bf26e 66 90 f.
001bf270
001bf270loc_1bf270:
001bf270mov rdi, [rdi]
001bf273jmp 0x1bf100
001bf260
001bf278
001bf278 // align 0x10
001bf278 // align 0x10
001bf280
001bf280Stdlib.Map.split:
001bf280lea r10, [rsp-368]
001bf288cmp r10, [r14+40]
001bf28cjb 0x1bf41d
001bf292
001bf292loc_1bf292:
001bf292sub rsp, 48
001bf296test bl, 1
001bf299je 0x1bf2a8
001bf29blea rax, [rip+0x188ef6]
001bf2a2add rsp, 48
001bf2a6ret
001bf2a7
001bf2a7 90 .
001bf2a8
001bf2a8loc_1bf2a8:
001bf2a8mov [rsp+8], rdi
001bf2admov [rsp], rax
001bf2b1mov rsi, [rbx+24]
001bf2b5mov [rsp+40], rsi
001bf2bamov rsi, [rbx+16]
001bf2bemov [rsp+24], rsi
001bf2c3mov rsi, [rbx+8]
001bf2c7mov [rsp+16], rsi
001bf2ccmov rbx, [rbx]
001bf2cfmov [rsp+32], rbx
001bf2d4mov rbx, [rdi+32]
001bf2d8mov rdi, [rbx]
001bf2dbmov rbx, rsi
001bf2decall caml_apply2
001bf2e3cmp rax, 1
001bf2e7jne 0x1bf334
001bf2e9sub r15, 48
001bf2edcmp r15, [r14]
001bf2f0jb 0x1bf413
001bf2f6
001bf2f6loc_1bf2f6:
001bf2f6lea rbx, [r15+8]
001bf2faadd rbx, 32
001bf2femov [rbx-8], 1024
001bf306mov rax, [rsp+24]
001bf30bmov [rbx], rax
001bf30elea rax, [rbx-32]
001bf312mov [rax-8], 3072
001bf31amov rdi, [rsp+32]
001bf31fmov [rax], rdi
001bf322mov [rax+8], rbx
001bf326mov rbx, [rsp+40]
001bf32bmov [rax+16], rbx
001bf32fadd rsp, 48
001bf333ret
001bf334
001bf334loc_1bf334:
001bf334cmp rax, 1
001bf338jge 0x1bf3a0
001bf33amov rax, [rsp]
001bf33emov rbx, [rsp+32]
001bf343mov rdi, [rsp+8]
001bf348call Stdlib.Map.split
001bf34dmov [rsp], rax
001bf351mov rax, [rax+16]
001bf355mov rbx, [rsp+16]
001bf35amov rdi, [rsp+24]
001bf35fmov rsi, [rsp+40]
001bf364call Stdlib.Map.join
001bf369sub r15, 32
001bf36dcmp r15, [r14]
001bf370jb 0x1bf409
001bf376
001bf376loc_1bf376:
001bf376lea rbx, [r15+8]
001bf37amov [rbx-8], 3072
001bf382mov rsi, [rsp]
001bf386mov rdi, [rsi]
001bf389mov [rbx], rdi
001bf38cmov rdi, [rsi+8]
001bf390mov [rbx+8], rdi
001bf394mov [rbx+16], rax
001bf398mov rax, rbx
001bf39badd rsp, 48
001bf39fret
001bf3a0
001bf3a0loc_1bf3a0:
001bf3a0mov rax, [rsp]
001bf3a4mov rbx, [rsp+40]
001bf3a9mov rdi, [rsp+8]
001bf3aecall Stdlib.Map.split
001bf3b3mov [rsp], rax
001bf3b7mov rsi, [rax]
001bf3bamov rax, [rsp+32]
001bf3bfmov rbx, [rsp+16]
001bf3c4mov rdi, [rsp+24]
001bf3c9call Stdlib.Map.join
001bf3cesub r15, 32
001bf3d2cmp r15, [r14]
001bf3d5jb 0x1bf402
001bf3d7
001bf3d7loc_1bf3d7:
001bf3d7lea rbx, [r15+8]
001bf3dbmov [rbx-8], 3072
001bf3e3mov [rbx], rax
001bf3e6mov rdi, [rsp]
001bf3eamov rax, [rdi+8]
001bf3eemov [rbx+8], rax
001bf3f2mov rax, [rdi+16]
001bf3f6mov [rbx+16], rax
001bf3famov rax, rbx
001bf3fdadd rsp, 48
001bf401ret
001bf402
001bf402loc_1bf402:
001bf402call caml_call_gc
001bf407jmp 0x1bf3d7
001bf409
001bf409loc_1bf409:
001bf409call caml_call_gc
001bf40ejmp 0x1bf376
001bf413
001bf413loc_1bf413:
001bf413call caml_call_gc
001bf418jmp 0x1bf2f6
001bf41d
001bf41dloc_1bf41d:
001bf41dpush 39
001bf41fcall caml_call_realloc_stack
001bf424pop r10
001bf426jmp 0x1bf292
001bf280
001bf280Stdlib.Map.split:
001bf280lea r10, [rsp-368]
001bf288cmp r10, [r14+40]
001bf28cjb 0x1bf41d
001bf292
001bf292loc_1bf292:
001bf292sub rsp, 48
001bf296test bl, 1
001bf299je 0x1bf2a8
001bf29blea rax, [rip+0x188ef6]
001bf2a2add rsp, 48
001bf2a6ret
001bf2a7
001bf2a7 90 .
001bf2a8
001bf2a8loc_1bf2a8:
001bf2a8mov [rsp+8], rdi
001bf2admov [rsp], rax
001bf2b1mov rsi, [rbx+24]
001bf2b5mov [rsp+40], rsi
001bf2bamov rsi, [rbx+16]
001bf2bemov [rsp+24], rsi
001bf2c3mov rsi, [rbx+8]
001bf2c7mov [rsp+16], rsi
001bf2ccmov rbx, [rbx]
001bf2cfmov [rsp+32], rbx
001bf2d4mov rbx, [rdi+32]
001bf2d8mov rdi, [rbx]
001bf2dbmov rbx, rsi
001bf2decall caml_apply2
001bf2e3cmp rax, 1
001bf2e7jne 0x1bf334
001bf2e9sub r15, 48
001bf2edcmp r15, [r14]
001bf2f0jb 0x1bf413
001bf2f6
001bf2f6loc_1bf2f6:
001bf2f6lea rbx, [r15+8]
001bf2faadd rbx, 32
001bf2femov [rbx-8], 1024
001bf306mov rax, [rsp+24]
001bf30bmov [rbx], rax
001bf30elea rax, [rbx-32]
001bf312mov [rax-8], 3072
001bf31amov rdi, [rsp+32]
001bf31fmov [rax], rdi
001bf322mov [rax+8], rbx
001bf326mov rbx, [rsp+40]
001bf32bmov [rax+16], rbx
001bf32fadd rsp, 48
001bf333ret
001bf334
001bf334loc_1bf334:
001bf334cmp rax, 1
001bf338jge 0x1bf3a0
001bf33amov rax, [rsp]
001bf33emov rbx, [rsp+32]
001bf343mov rdi, [rsp+8]
001bf348call Stdlib.Map.split
001bf34dmov [rsp], rax
001bf351mov rax, [rax+16]
001bf355mov rbx, [rsp+16]
001bf35amov rdi, [rsp+24]
001bf35fmov rsi, [rsp+40]
001bf364call Stdlib.Map.join
001bf369sub r15, 32
001bf36dcmp r15, [r14]
001bf370jb 0x1bf409
001bf376
001bf376loc_1bf376:
001bf376lea rbx, [r15+8]
001bf37amov [rbx-8], 3072
001bf382mov rsi, [rsp]
001bf386mov rdi, [rsi]
001bf389mov [rbx], rdi
001bf38cmov rdi, [rsi+8]
001bf390mov [rbx+8], rdi
001bf394mov [rbx+16], rax
001bf398mov rax, rbx
001bf39badd rsp, 48
001bf39fret
001bf3a0
001bf3a0loc_1bf3a0:
001bf3a0mov rax, [rsp]
001bf3a4mov rbx, [rsp+40]
001bf3a9mov rdi, [rsp+8]
001bf3aecall Stdlib.Map.split
001bf3b3mov [rsp], rax
001bf3b7mov rsi, [rax]
001bf3bamov rax, [rsp+32]
001bf3bfmov rbx, [rsp+16]
001bf3c4mov rdi, [rsp+24]
001bf3c9call Stdlib.Map.join
001bf3cesub r15, 32
001bf3d2cmp r15, [r14]
001bf3d5jb 0x1bf402
001bf3d7
001bf3d7loc_1bf3d7:
001bf3d7lea rbx, [r15+8]
001bf3dbmov [rbx-8], 3072
001bf3e3mov [rbx], rax
001bf3e6mov rdi, [rsp]
001bf3eamov rax, [rdi+8]
001bf3eemov [rbx+8], rax
001bf3f2mov rax, [rdi+16]
001bf3f6mov [rbx+16], rax
001bf3famov rax, rbx
001bf3fdadd rsp, 48
001bf401ret
001bf402
001bf402loc_1bf402:
001bf402call caml_call_gc
001bf407jmp 0x1bf3d7
001bf409
001bf409loc_1bf409:
001bf409call caml_call_gc
001bf40ejmp 0x1bf376
001bf413
001bf413loc_1bf413:
001bf413call caml_call_gc
001bf418jmp 0x1bf2f6
001bf41d
001bf41dloc_1bf41d:
001bf41dpush 39
001bf41fcall caml_call_realloc_stack
001bf424pop r10
001bf426jmp 0x1bf292
001bf280
001bf42b
001bf42b // align 0x10
001bf42b // align 0x10
001bf430
001bf430Stdlib.Map.merge:
001bf430lea r10, [rsp-376]
001bf438cmp r10, [r14+40]
001bf43cjb 0x1bf690
001bf442
001bf442loc_1bf442:
001bf442sub rsp, 56
001bf446test bl, 1
001bf449je 0x1bf470
001bf44btest dil, 1
001bf44fje 0x1bf45c
001bf451mov eax, 1
001bf456add rsp, 56
001bf45aret
001bf45b
001bf45b 90 .
001bf45c
001bf45cloc_1bf45c:
001bf45cmov [rsp+48], rsi
001bf461mov [rsp], rdi
001bf465mov [rsp+40], rax
001bf46ajmp 0x1bf570
001bf46f
001bf46f 90 .
001bf470
001bf470loc_1bf470:
001bf470mov [rsp+48], rsi
001bf475mov [rsp+40], rax
001bf47amov rax, [rbx+8]
001bf47etest dil, 1
001bf482je 0x1bf48c
001bf484mov edx, 1
001bf489jmp 0x1bf490
001bf48b
001bf48b 90 .
001bf48c
001bf48cloc_1bf48c:
001bf48cmov rdx, [rdi+32]
001bf490
001bf490loc_1bf490:
001bf490mov rcx, [rbx+32]
001bf494cmp rcx, rdx
001bf497jl 0x1bf56c
001bf49dmov [rsp+24], rax
001bf4a2mov [rsp+8], rbx
001bf4a7mov rsi, [rsi+40]
001bf4abmov rbx, rdi
001bf4aemov rdi, rsi
001bf4b1call Stdlib.Map.split
001bf4b6mov [rsp], rax
001bf4bamov rdi, [rax+16]
001bf4bemov rax, [rsp+8]
001bf4c3mov rbx, [rax+24]
001bf4c7mov rax, [rsp+40]
001bf4ccmov rsi, [rsp+48]
001bf4d1call Stdlib.Map.merge
001bf4d6mov [rsp+32], rax
001bf4dbsub r15, 16
001bf4dfcmp r15, [r14]
001bf4e2jb 0x1bf686
001bf4e8
001bf4e8loc_1bf4e8:
001bf4e8lea rbx, [r15+8]
001bf4ecmov [rbx-8], 1024
001bf4f4mov rax, [rsp+8]
001bf4f9mov rax, [rax+16]
001bf4fdmov [rbx], rax
001bf500mov rax, [rsp]
001bf504mov rdi, [rax+8]
001bf508mov rax, [rsp+24]
001bf50dmov rsi, [rsp+40]
001bf512call caml_apply3
001bf517mov [rsp+16], rax
001bf51cmov rax, [rsp]
001bf520mov rdi, [rax]
001bf523mov rax, [rsp+8]
001bf528mov rbx, [rax]
001bf52bmov rax, [rsp+40]
001bf530mov rsi, [rsp+48]
001bf535call Stdlib.Map.merge
001bf53amov rbx, [rsp+16]
001bf53ftest bl, 1
001bf542je 0x1bf554
001bf544mov rbx, [rsp+32]
001bf549add rsp, 56
001bf54djmp 0x1bf1e0
001bf552
001bf552 66 90 f.
001bf554
001bf554loc_1bf554:
001bf554mov rdi, [rbx]
001bf557mov rbx, [rsp+24]
001bf55cmov rsi, [rsp+32]
001bf561add rsp, 56
001bf565jmp 0x1bf100
001bf56a
001bf56a 66 90 f.
001bf56c
001bf56cloc_1bf56c:
001bf56cmov [rsp], rdi
001bf570
001bf570loc_1bf570:
001bf570test dil, 1
001bf574je 0x1bf5ac
001bf576sub r15, 24
001bf57acmp r15, [r14]
001bf57djb 0x1bf67c
001bf583
001bf583loc_1bf583:
001bf583lea rax, [r15+8]
001bf587mov [rax-8], 2048
001bf58flea rbx, [rip+0xb6c72]
001bf596mov [rax], rbx
001bf599lea rbx, [rip+0x188bc8]
001bf5a0mov [rax+8], rbx
001bf5a4call caml_raise_exn
001bf5a9nop [rax]
001bf5ac
001bf5acloc_1bf5ac:
001bf5acmov rax, [rdi+8]
001bf5b0mov [rsp+24], rax
001bf5b5mov rdi, [rsi+40]
001bf5b9call Stdlib.Map.split
001bf5bemov [rsp+8], rax
001bf5c3mov rbx, [rsp]
001bf5c7mov rdi, [rbx+24]
001bf5cbmov rbx, [rax+16]
001bf5cfmov rax, [rsp+40]
001bf5d4mov rsi, [rsp+48]
001bf5d9call Stdlib.Map.merge
001bf5demov [rsp+32], rax
001bf5e3sub r15, 16
001bf5e7cmp r15, [r14]
001bf5eajb 0x1bf672
001bf5f0
001bf5f0loc_1bf5f0:
001bf5f0lea rdi, [r15+8]
001bf5f4mov [rdi-8], 1024
001bf5fcmov rax, [rsp]
001bf600mov rax, [rax+16]
001bf604mov [rdi], rax
001bf607mov rax, [rsp+8]
001bf60cmov rbx, [rax+8]
001bf610mov rax, [rsp+24]
001bf615mov rsi, [rsp+40]
001bf61acall caml_apply3
001bf61fmov [rsp+16], rax
001bf624mov rax, [rsp]
001bf628mov rdi, [rax]
001bf62bmov rax, [rsp+8]
001bf630mov rbx, [rax]
001bf633mov rax, [rsp+40]
001bf638mov rsi, [rsp+48]
001bf63dcall Stdlib.Map.merge
001bf642mov rbx, [rsp+16]
001bf647test bl, 1
001bf64aje 0x1bf65c
001bf64cmov rbx, [rsp+32]
001bf651add rsp, 56
001bf655jmp 0x1bf1e0
001bf65a
001bf65a 66 90 f.
001bf65c
001bf65cloc_1bf65c:
001bf65cmov rdi, [rbx]
001bf65fmov rbx, [rsp+24]
001bf664mov rsi, [rsp+32]
001bf669add rsp, 56
001bf66djmp 0x1bf100
001bf672
001bf672loc_1bf672:
001bf672call caml_call_gc
001bf677jmp 0x1bf5f0
001bf67c
001bf67cloc_1bf67c:
001bf67ccall caml_call_gc
001bf681jmp 0x1bf583
001bf686
001bf686loc_1bf686:
001bf686call caml_call_gc
001bf68bjmp 0x1bf4e8
001bf690
001bf690loc_1bf690:
001bf690push 40
001bf692call caml_call_realloc_stack
001bf697pop r10
001bf699jmp 0x1bf442
001bf430
001bf430Stdlib.Map.merge:
001bf430lea r10, [rsp-376]
001bf438cmp r10, [r14+40]
001bf43cjb 0x1bf690
001bf442
001bf442loc_1bf442:
001bf442sub rsp, 56
001bf446test bl, 1
001bf449je 0x1bf470
001bf44btest dil, 1
001bf44fje 0x1bf45c
001bf451mov eax, 1
001bf456add rsp, 56
001bf45aret
001bf45b
001bf45b 90 .
001bf45c
001bf45cloc_1bf45c:
001bf45cmov [rsp+48], rsi
001bf461mov [rsp], rdi
001bf465mov [rsp+40], rax
001bf46ajmp 0x1bf570
001bf46f
001bf46f 90 .
001bf470
001bf470loc_1bf470:
001bf470mov [rsp+48], rsi
001bf475mov [rsp+40], rax
001bf47amov rax, [rbx+8]
001bf47etest dil, 1
001bf482je 0x1bf48c
001bf484mov edx, 1
001bf489jmp 0x1bf490
001bf48b
001bf48b 90 .
001bf48c
001bf48cloc_1bf48c:
001bf48cmov rdx, [rdi+32]
001bf490
001bf490loc_1bf490:
001bf490mov rcx, [rbx+32]
001bf494cmp rcx, rdx
001bf497jl 0x1bf56c
001bf49dmov [rsp+24], rax
001bf4a2mov [rsp+8], rbx
001bf4a7mov rsi, [rsi+40]
001bf4abmov rbx, rdi
001bf4aemov rdi, rsi
001bf4b1call Stdlib.Map.split
001bf4b6mov [rsp], rax
001bf4bamov rdi, [rax+16]
001bf4bemov rax, [rsp+8]
001bf4c3mov rbx, [rax+24]
001bf4c7mov rax, [rsp+40]
001bf4ccmov rsi, [rsp+48]
001bf4d1call Stdlib.Map.merge
001bf4d6mov [rsp+32], rax
001bf4dbsub r15, 16
001bf4dfcmp r15, [r14]
001bf4e2jb 0x1bf686
001bf4e8
001bf4e8loc_1bf4e8:
001bf4e8lea rbx, [r15+8]
001bf4ecmov [rbx-8], 1024
001bf4f4mov rax, [rsp+8]
001bf4f9mov rax, [rax+16]
001bf4fdmov [rbx], rax
001bf500mov rax, [rsp]
001bf504mov rdi, [rax+8]
001bf508mov rax, [rsp+24]
001bf50dmov rsi, [rsp+40]
001bf512call caml_apply3
001bf517mov [rsp+16], rax
001bf51cmov rax, [rsp]
001bf520mov rdi, [rax]
001bf523mov rax, [rsp+8]
001bf528mov rbx, [rax]
001bf52bmov rax, [rsp+40]
001bf530mov rsi, [rsp+48]
001bf535call Stdlib.Map.merge
001bf53amov rbx, [rsp+16]
001bf53ftest bl, 1
001bf542je 0x1bf554
001bf544mov rbx, [rsp+32]
001bf549add rsp, 56
001bf54djmp 0x1bf1e0
001bf552
001bf552 66 90 f.
001bf554
001bf554loc_1bf554:
001bf554mov rdi, [rbx]
001bf557mov rbx, [rsp+24]
001bf55cmov rsi, [rsp+32]
001bf561add rsp, 56
001bf565jmp 0x1bf100
001bf56a
001bf56a 66 90 f.
001bf56c
001bf56cloc_1bf56c:
001bf56cmov [rsp], rdi
001bf570
001bf570loc_1bf570:
001bf570test dil, 1
001bf574je 0x1bf5ac
001bf576sub r15, 24
001bf57acmp r15, [r14]
001bf57djb 0x1bf67c
001bf583
001bf583loc_1bf583:
001bf583lea rax, [r15+8]
001bf587mov [rax-8], 2048
001bf58flea rbx, [rip+0xb6c72]
001bf596mov [rax], rbx
001bf599lea rbx, [rip+0x188bc8]
001bf5a0mov [rax+8], rbx
001bf5a4call caml_raise_exn
001bf5a9nop [rax]
001bf5ac
001bf5acloc_1bf5ac:
001bf5acmov rax, [rdi+8]
001bf5b0mov [rsp+24], rax
001bf5b5mov rdi, [rsi+40]
001bf5b9call Stdlib.Map.split
001bf5bemov [rsp+8], rax
001bf5c3mov rbx, [rsp]
001bf5c7mov rdi, [rbx+24]
001bf5cbmov rbx, [rax+16]
001bf5cfmov rax, [rsp+40]
001bf5d4mov rsi, [rsp+48]
001bf5d9call Stdlib.Map.merge
001bf5demov [rsp+32], rax
001bf5e3sub r15, 16
001bf5e7cmp r15, [r14]
001bf5eajb 0x1bf672
001bf5f0
001bf5f0loc_1bf5f0:
001bf5f0lea rdi, [r15+8]
001bf5f4mov [rdi-8], 1024
001bf5fcmov rax, [rsp]
001bf600mov rax, [rax+16]
001bf604mov [rdi], rax
001bf607mov rax, [rsp+8]
001bf60cmov rbx, [rax+8]
001bf610mov rax, [rsp+24]
001bf615mov rsi, [rsp+40]
001bf61acall caml_apply3
001bf61fmov [rsp+16], rax
001bf624mov rax, [rsp]
001bf628mov rdi, [rax]
001bf62bmov rax, [rsp+8]
001bf630mov rbx, [rax]
001bf633mov rax, [rsp+40]
001bf638mov rsi, [rsp+48]
001bf63dcall Stdlib.Map.merge
001bf642mov rbx, [rsp+16]
001bf647test bl, 1
001bf64aje 0x1bf65c
001bf64cmov rbx, [rsp+32]
001bf651add rsp, 56
001bf655jmp 0x1bf1e0
001bf65a
001bf65a 66 90 f.
001bf65c
001bf65cloc_1bf65c:
001bf65cmov rdi, [rbx]
001bf65fmov rbx, [rsp+24]
001bf664mov rsi, [rsp+32]
001bf669add rsp, 56
001bf66djmp 0x1bf100
001bf672
001bf672loc_1bf672:
001bf672call caml_call_gc
001bf677jmp 0x1bf5f0
001bf67c
001bf67cloc_1bf67c:
001bf67ccall caml_call_gc
001bf681jmp 0x1bf583
001bf686
001bf686loc_1bf686:
001bf686call caml_call_gc
001bf68bjmp 0x1bf4e8
001bf690
001bf690loc_1bf690:
001bf690push 40
001bf692call caml_call_realloc_stack
001bf697pop r10
001bf699jmp 0x1bf442
001bf430
001bf69e
001bf69e // align 0x10
001bf69e // align 0x10
001bf6a0
001bf6a0Stdlib.Map.union:
001bf6a0lea r10, [rsp-384]
001bf6a8cmp r10, [r14+40]
001bf6acjb 0x1bf8bd
001bf6b2
001bf6b2loc_1bf6b2:
001bf6b2sub rsp, 64
001bf6b6test bl, 1
001bf6b9je 0x1bf6c4
001bf6bbmov rax, rdi
001bf6bejmp 0x1bf8b8
001bf6c3
001bf6c3 90 .
001bf6c4
001bf6c4loc_1bf6c4:
001bf6c4test dil, 1
001bf6c8je 0x1bf6d4
001bf6camov rax, rbx
001bf6cdjmp 0x1bf8b8
001bf6d2
001bf6d2 66 90 f.
001bf6d4
001bf6d4loc_1bf6d4:
001bf6d4mov [rsp+48], rsi
001bf6d9mov [rsp+56], rax
001bf6demov rdx, [rdi+16]
001bf6e2mov rax, [rdi+8]
001bf6e6mov rcx, [rbx+16]
001bf6eamov r8, [rbx+8]
001bf6eemov r9, [rdi+32]
001bf6f2mov r12, [rbx+32]
001bf6f6cmp r12, r9
001bf6f9jl 0x1bf7e0
001bf6ffmov [rsp+32], r8
001bf704mov [rsp+40], rcx
001bf709mov [rsp+8], rbx
001bf70emov rsi, [rsi+40]
001bf712mov rax, r8
001bf715mov rbx, rdi
001bf718mov rdi, rsi
001bf71bcall Stdlib.Map.split
001bf720mov [rsp], rax
001bf724mov rbx, [rax+8]
001bf728mov [rsp+16], rbx
001bf72dmov rdi, [rax]
001bf730mov rax, [rsp+8]
001bf735mov rbx, [rax]
001bf738mov rax, [rsp+56]
001bf73dmov rsi, [rsp+48]
001bf742call Stdlib.Map.union
001bf747mov [rsp+24], rax
001bf74cmov rax, [rsp]
001bf750mov rdi, [rax+16]
001bf754mov rax, [rsp+8]
001bf759mov rbx, [rax+24]
001bf75dmov rax, [rsp+56]
001bf762mov rsi, [rsp+48]
001bf767call Stdlib.Map.union
001bf76cmov rsi, rax
001bf76fmov rax, [rsp+16]
001bf774test al, 1
001bf776je 0x1bf790
001bf778mov rax, [rsp+24]
001bf77dmov rbx, [rsp+32]
001bf782mov rdi, [rsp+40]
001bf787add rsp, 64
001bf78bjmp 0x1bf100
001bf790
001bf790loc_1bf790:
001bf790mov [rsp], rsi
001bf794mov rdi, [rax]
001bf797mov rax, [rsp+32]
001bf79cmov rbx, [rsp+40]
001bf7a1mov rsi, [rsp+56]
001bf7a6call caml_apply3
001bf7abtest al, 1
001bf7adje 0x1bf7c4
001bf7afmov rax, [rsp+24]
001bf7b4mov rbx, [rsp]
001bf7b8add rsp, 64
001bf7bcjmp 0x1bf1e0
001bf7c1
001bf7c1 0f 1f 00 ...
001bf7c4
001bf7c4loc_1bf7c4:
001bf7c4mov rdi, [rax]
001bf7c7mov rax, [rsp+24]
001bf7ccmov rbx, [rsp+32]
001bf7d1mov rsi, [rsp]
001bf7d5add rsp, 64
001bf7d9jmp 0x1bf100
001bf7de
001bf7de 66 90 f.
001bf7e0
001bf7e0loc_1bf7e0:
001bf7e0mov [rsp+32], rax
001bf7e5mov [rsp+40], rdx
001bf7eamov [rsp], rdi
001bf7eemov rdi, [rsi+40]
001bf7f2call Stdlib.Map.split
001bf7f7mov [rsp+8], rax
001bf7fcmov rbx, [rax+8]
001bf800mov [rsp+16], rbx
001bf805mov rbx, [rsp]
001bf809mov rdi, [rbx]
001bf80cmov rbx, [rax]
001bf80fmov rax, [rsp+56]
001bf814mov rsi, [rsp+48]
001bf819call Stdlib.Map.union
001bf81emov [rsp+24], rax
001bf823mov rax, [rsp]
001bf827mov rdi, [rax+24]
001bf82bmov rax, [rsp+8]
001bf830mov rbx, [rax+16]
001bf834mov rax, [rsp+56]
001bf839mov rsi, [rsp+48]
001bf83ecall Stdlib.Map.union
001bf843mov rsi, rax
001bf846mov rax, [rsp+16]
001bf84btest al, 1
001bf84dje 0x1bf868
001bf84fmov rax, [rsp+24]
001bf854mov rbx, [rsp+32]
001bf859mov rdi, [rsp+40]
001bf85eadd rsp, 64
001bf862jmp 0x1bf100
001bf867
001bf867 90 .
001bf868
001bf868loc_1bf868:
001bf868mov [rsp], rsi
001bf86cmov rbx, [rax]
001bf86fmov rax, [rsp+32]
001bf874mov rdi, [rsp+40]
001bf879mov rsi, [rsp+56]
001bf87ecall caml_apply3
001bf883test al, 1
001bf885je 0x1bf89c
001bf887mov rax, [rsp+24]
001bf88cmov rbx, [rsp]
001bf890add rsp, 64
001bf894jmp 0x1bf1e0
001bf899
001bf899 0f 1f 00 ...
001bf89c
001bf89cloc_1bf89c:
001bf89cmov rdi, [rax]
001bf89fmov rax, [rsp+24]
001bf8a4mov rbx, [rsp+32]
001bf8a9mov rsi, [rsp]
001bf8adadd rsp, 64
001bf8b1jmp 0x1bf100
001bf8b6
001bf8b6 66 90 f.
001bf8b8
001bf8b8loc_1bf8b8:
001bf8b8add rsp, 64
001bf8bcret
001bf8bd
001bf8bdloc_1bf8bd:
001bf8bdpush 41
001bf8bfcall caml_call_realloc_stack
001bf8c4pop r10
001bf8c6jmp 0x1bf6b2
001bf6a0
001bf6a0Stdlib.Map.union:
001bf6a0lea r10, [rsp-384]
001bf6a8cmp r10, [r14+40]
001bf6acjb 0x1bf8bd
001bf6b2
001bf6b2loc_1bf6b2:
001bf6b2sub rsp, 64
001bf6b6test bl, 1
001bf6b9je 0x1bf6c4
001bf6bbmov rax, rdi
001bf6bejmp 0x1bf8b8
001bf6c3
001bf6c3 90 .
001bf6c4
001bf6c4loc_1bf6c4:
001bf6c4test dil, 1
001bf6c8je 0x1bf6d4
001bf6camov rax, rbx
001bf6cdjmp 0x1bf8b8
001bf6d2
001bf6d2 66 90 f.
001bf6d4
001bf6d4loc_1bf6d4:
001bf6d4mov [rsp+48], rsi
001bf6d9mov [rsp+56], rax
001bf6demov rdx, [rdi+16]
001bf6e2mov rax, [rdi+8]
001bf6e6mov rcx, [rbx+16]
001bf6eamov r8, [rbx+8]
001bf6eemov r9, [rdi+32]
001bf6f2mov r12, [rbx+32]
001bf6f6cmp r12, r9
001bf6f9jl 0x1bf7e0
001bf6ffmov [rsp+32], r8
001bf704mov [rsp+40], rcx
001bf709mov [rsp+8], rbx
001bf70emov rsi, [rsi+40]
001bf712mov rax, r8
001bf715mov rbx, rdi
001bf718mov rdi, rsi
001bf71bcall Stdlib.Map.split
001bf720mov [rsp], rax
001bf724mov rbx, [rax+8]
001bf728mov [rsp+16], rbx
001bf72dmov rdi, [rax]
001bf730mov rax, [rsp+8]
001bf735mov rbx, [rax]
001bf738mov rax, [rsp+56]
001bf73dmov rsi, [rsp+48]
001bf742call Stdlib.Map.union
001bf747mov [rsp+24], rax
001bf74cmov rax, [rsp]
001bf750mov rdi, [rax+16]
001bf754mov rax, [rsp+8]
001bf759mov rbx, [rax+24]
001bf75dmov rax, [rsp+56]
001bf762mov rsi, [rsp+48]
001bf767call Stdlib.Map.union
001bf76cmov rsi, rax
001bf76fmov rax, [rsp+16]
001bf774test al, 1
001bf776je 0x1bf790
001bf778mov rax, [rsp+24]
001bf77dmov rbx, [rsp+32]
001bf782mov rdi, [rsp+40]
001bf787add rsp, 64
001bf78bjmp 0x1bf100
001bf790
001bf790loc_1bf790:
001bf790mov [rsp], rsi
001bf794mov rdi, [rax]
001bf797mov rax, [rsp+32]
001bf79cmov rbx, [rsp+40]
001bf7a1mov rsi, [rsp+56]
001bf7a6call caml_apply3
001bf7abtest al, 1
001bf7adje 0x1bf7c4
001bf7afmov rax, [rsp+24]
001bf7b4mov rbx, [rsp]
001bf7b8add rsp, 64
001bf7bcjmp 0x1bf1e0
001bf7c1
001bf7c1 0f 1f 00 ...
001bf7c4
001bf7c4loc_1bf7c4:
001bf7c4mov rdi, [rax]
001bf7c7mov rax, [rsp+24]
001bf7ccmov rbx, [rsp+32]
001bf7d1mov rsi, [rsp]
001bf7d5add rsp, 64
001bf7d9jmp 0x1bf100
001bf7de
001bf7de 66 90 f.
001bf7e0
001bf7e0loc_1bf7e0:
001bf7e0mov [rsp+32], rax
001bf7e5mov [rsp+40], rdx
001bf7eamov [rsp], rdi
001bf7eemov rdi, [rsi+40]
001bf7f2call Stdlib.Map.split
001bf7f7mov [rsp+8], rax
001bf7fcmov rbx, [rax+8]
001bf800mov [rsp+16], rbx
001bf805mov rbx, [rsp]
001bf809mov rdi, [rbx]
001bf80cmov rbx, [rax]
001bf80fmov rax, [rsp+56]
001bf814mov rsi, [rsp+48]
001bf819call Stdlib.Map.union
001bf81emov [rsp+24], rax
001bf823mov rax, [rsp]
001bf827mov rdi, [rax+24]
001bf82bmov rax, [rsp+8]
001bf830mov rbx, [rax+16]
001bf834mov rax, [rsp+56]
001bf839mov rsi, [rsp+48]
001bf83ecall Stdlib.Map.union
001bf843mov rsi, rax
001bf846mov rax, [rsp+16]
001bf84btest al, 1
001bf84dje 0x1bf868
001bf84fmov rax, [rsp+24]
001bf854mov rbx, [rsp+32]
001bf859mov rdi, [rsp+40]
001bf85eadd rsp, 64
001bf862jmp 0x1bf100
001bf867
001bf867 90 .
001bf868
001bf868loc_1bf868:
001bf868mov [rsp], rsi
001bf86cmov rbx, [rax]
001bf86fmov rax, [rsp+32]
001bf874mov rdi, [rsp+40]
001bf879mov rsi, [rsp+56]
001bf87ecall caml_apply3
001bf883test al, 1
001bf885je 0x1bf89c
001bf887mov rax, [rsp+24]
001bf88cmov rbx, [rsp]
001bf890add rsp, 64
001bf894jmp 0x1bf1e0
001bf899
001bf899 0f 1f 00 ...
001bf89c
001bf89cloc_1bf89c:
001bf89cmov rdi, [rax]
001bf89fmov rax, [rsp+24]
001bf8a4mov rbx, [rsp+32]
001bf8a9mov rsi, [rsp]
001bf8adadd rsp, 64
001bf8b1jmp 0x1bf100
001bf8b6
001bf8b6 66 90 f.
001bf8b8
001bf8b8loc_1bf8b8:
001bf8b8add rsp, 64
001bf8bcret
001bf8bd
001bf8bdloc_1bf8bd:
001bf8bdpush 41
001bf8bfcall caml_call_realloc_stack
001bf8c4pop r10
001bf8c6jmp 0x1bf6b2
001bf6a0
001bf8cb
001bf8cb // align 0x10
001bf8cb // align 0x10
001bf8d0
001bf8d0Stdlib.Map.filter:
001bf8d0lea r10, [rsp-384]
001bf8d8cmp r10, [r14+40]
001bf8dcjb 0x1bf9ad
001bf8e2
001bf8e2loc_1bf8e2:
001bf8e2sub rsp, 64
001bf8e6test bl, 1
001bf8e9je 0x1bf8f8
001bf8ebmov eax, 1
001bf8f0add rsp, 64
001bf8f4ret
001bf8f5
001bf8f5 0f 1f 00 ...
001bf8f8
001bf8f8loc_1bf8f8:
001bf8f8mov [rsp+56], rbx
001bf8fdmov [rsp], rax
001bf901mov rdi, [rbx+24]
001bf905mov [rsp+48], rdi
001bf90amov rdi, [rbx+16]
001bf90emov [rsp+24], rdi
001bf913mov rdi, [rbx+8]
001bf917mov [rsp+16], rdi
001bf91cmov rbx, [rbx]
001bf91fmov [rsp+40], rbx
001bf924call Stdlib.Map.filter
001bf929mov [rsp+32], rax
001bf92emov rax, [rsp+16]
001bf933mov rbx, [rsp+24]
001bf938mov rdi, [rsp]
001bf93ccall caml_apply2
001bf941mov [rsp+8], rax
001bf946mov rax, [rsp]
001bf94amov rbx, [rsp+48]
001bf94fcall Stdlib.Map.filter
001bf954mov rsi, rax
001bf957mov rax, [rsp+8]
001bf95ccmp rax, 1
001bf960je 0x1bf99c
001bf962mov rax, [rsp+32]
001bf967mov rbx, [rsp+40]
001bf96ccmp rbx, rax
001bf96fjne 0x1bf988
001bf971mov rbx, [rsp+48]
001bf976cmp rbx, rsi
001bf979jne 0x1bf988
001bf97bmov rax, [rsp+56]
001bf980add rsp, 64
001bf984ret
001bf985
001bf985 0f 1f 00 ...
001bf988
001bf988loc_1bf988:
001bf988mov rbx, [rsp+16]
001bf98dmov rdi, [rsp+24]
001bf992add rsp, 64
001bf996jmp 0x1bf100
001bf99b
001bf99b 90 .
001bf99c
001bf99cloc_1bf99c:
001bf99cmov rax, [rsp+32]
001bf9a1mov rbx, rsi
001bf9a4add rsp, 64
001bf9a8jmp 0x1bf1e0
001bf9ad
001bf9adloc_1bf9ad:
001bf9adpush 41
001bf9afcall caml_call_realloc_stack
001bf9b4pop r10
001bf9b6jmp 0x1bf8e2
001bf8d0
001bf8d0Stdlib.Map.filter:
001bf8d0lea r10, [rsp-384]
001bf8d8cmp r10, [r14+40]
001bf8dcjb 0x1bf9ad
001bf8e2
001bf8e2loc_1bf8e2:
001bf8e2sub rsp, 64
001bf8e6test bl, 1
001bf8e9je 0x1bf8f8
001bf8ebmov eax, 1
001bf8f0add rsp, 64
001bf8f4ret
001bf8f5
001bf8f5 0f 1f 00 ...
001bf8f8
001bf8f8loc_1bf8f8:
001bf8f8mov [rsp+56], rbx
001bf8fdmov [rsp], rax
001bf901mov rdi, [rbx+24]
001bf905mov [rsp+48], rdi
001bf90amov rdi, [rbx+16]
001bf90emov [rsp+24], rdi
001bf913mov rdi, [rbx+8]
001bf917mov [rsp+16], rdi
001bf91cmov rbx, [rbx]
001bf91fmov [rsp+40], rbx
001bf924call Stdlib.Map.filter
001bf929mov [rsp+32], rax
001bf92emov rax, [rsp+16]
001bf933mov rbx, [rsp+24]
001bf938mov rdi, [rsp]
001bf93ccall caml_apply2
001bf941mov [rsp+8], rax
001bf946mov rax, [rsp]
001bf94amov rbx, [rsp+48]
001bf94fcall Stdlib.Map.filter
001bf954mov rsi, rax
001bf957mov rax, [rsp+8]
001bf95ccmp rax, 1
001bf960je 0x1bf99c
001bf962mov rax, [rsp+32]
001bf967mov rbx, [rsp+40]
001bf96ccmp rbx, rax
001bf96fjne 0x1bf988
001bf971mov rbx, [rsp+48]
001bf976cmp rbx, rsi
001bf979jne 0x1bf988
001bf97bmov rax, [rsp+56]
001bf980add rsp, 64
001bf984ret
001bf985
001bf985 0f 1f 00 ...
001bf988
001bf988loc_1bf988:
001bf988mov rbx, [rsp+16]
001bf98dmov rdi, [rsp+24]
001bf992add rsp, 64
001bf996jmp 0x1bf100
001bf99b
001bf99b 90 .
001bf99c
001bf99cloc_1bf99c:
001bf99cmov rax, [rsp+32]
001bf9a1mov rbx, rsi
001bf9a4add rsp, 64
001bf9a8jmp 0x1bf1e0
001bf9ad
001bf9adloc_1bf9ad:
001bf9adpush 41
001bf9afcall caml_call_realloc_stack
001bf9b4pop r10
001bf9b6jmp 0x1bf8e2
001bf8d0
001bf9bb
001bf9bb // align 0x10
001bf9bb // align 0x10
001bf9c0
001bf9c0Stdlib.Map.filter_map:
001bf9c0lea r10, [rsp-360]
001bf9c8cmp r10, [r14+40]
001bf9ccjb 0x1bfa6a
001bf9d2
001bf9d2loc_1bf9d2:
001bf9d2sub rsp, 40
001bf9d6test bl, 1
001bf9d9je 0x1bf9e8
001bf9dbmov eax, 1
001bf9e0add rsp, 40
001bf9e4ret
001bf9e5
001bf9e5 0f 1f 00 ...
001bf9e8
001bf9e8loc_1bf9e8:
001bf9e8mov [rsp], rbx
001bf9ecmov [rsp+8], rax
001bf9f1mov rdi, [rbx+8]
001bf9f5mov [rsp+24], rdi
001bf9famov rbx, [rbx]
001bf9fdcall Stdlib.Map.filter_map
001bfa02mov [rsp+32], rax
001bfa07mov rax, [rsp]
001bfa0bmov rbx, [rax+16]
001bfa0fmov rax, [rsp+24]
001bfa14mov rdi, [rsp+8]
001bfa19call caml_apply2
001bfa1emov [rsp+16], rax
001bfa23mov rax, [rsp]
001bfa27mov rbx, [rax+24]
001bfa2bmov rax, [rsp+8]
001bfa30call Stdlib.Map.filter_map
001bfa35mov rsi, rax
001bfa38mov rax, [rsp+16]
001bfa3dtest al, 1
001bfa3fje 0x1bfa54
001bfa41mov rax, [rsp+32]
001bfa46mov rbx, rsi
001bfa49add rsp, 40
001bfa4djmp 0x1bf1e0
001bfa52
001bfa52 66 90 f.
001bfa54
001bfa54loc_1bfa54:
001bfa54mov rdi, [rax]
001bfa57mov rax, [rsp+32]
001bfa5cmov rbx, [rsp+24]
001bfa61add rsp, 40
001bfa65jmp 0x1bf100
001bfa6a
001bfa6aloc_1bfa6a:
001bfa6apush 38
001bfa6ccall caml_call_realloc_stack
001bfa71pop r10
001bfa73jmp 0x1bf9d2
001bf9c0
001bf9c0Stdlib.Map.filter_map:
001bf9c0lea r10, [rsp-360]
001bf9c8cmp r10, [r14+40]
001bf9ccjb 0x1bfa6a
001bf9d2
001bf9d2loc_1bf9d2:
001bf9d2sub rsp, 40
001bf9d6test bl, 1
001bf9d9je 0x1bf9e8
001bf9dbmov eax, 1
001bf9e0add rsp, 40
001bf9e4ret
001bf9e5
001bf9e5 0f 1f 00 ...
001bf9e8
001bf9e8loc_1bf9e8:
001bf9e8mov [rsp], rbx
001bf9ecmov [rsp+8], rax
001bf9f1mov rdi, [rbx+8]
001bf9f5mov [rsp+24], rdi
001bf9famov rbx, [rbx]
001bf9fdcall Stdlib.Map.filter_map
001bfa02mov [rsp+32], rax
001bfa07mov rax, [rsp]
001bfa0bmov rbx, [rax+16]
001bfa0fmov rax, [rsp+24]
001bfa14mov rdi, [rsp+8]
001bfa19call caml_apply2
001bfa1emov [rsp+16], rax
001bfa23mov rax, [rsp]
001bfa27mov rbx, [rax+24]
001bfa2bmov rax, [rsp+8]
001bfa30call Stdlib.Map.filter_map
001bfa35mov rsi, rax
001bfa38mov rax, [rsp+16]
001bfa3dtest al, 1
001bfa3fje 0x1bfa54
001bfa41mov rax, [rsp+32]
001bfa46mov rbx, rsi
001bfa49add rsp, 40
001bfa4djmp 0x1bf1e0
001bfa52
001bfa52 66 90 f.
001bfa54
001bfa54loc_1bfa54:
001bfa54mov rdi, [rax]
001bfa57mov rax, [rsp+32]
001bfa5cmov rbx, [rsp+24]
001bfa61add rsp, 40
001bfa65jmp 0x1bf100
001bfa6a
001bfa6aloc_1bfa6a:
001bfa6apush 38
001bfa6ccall caml_call_realloc_stack
001bfa71pop r10
001bfa73jmp 0x1bf9d2
001bf9c0
001bfa78
001bfa78 // align 0x10
001bfa78 // align 0x10
001bfa80
001bfa80Stdlib.Map.partition:
001bfa80lea r10, [rsp-376]
001bfa88cmp r10, [r14+40]
001bfa8cjb 0x1bfbcd
001bfa92
001bfa92loc_1bfa92:
001bfa92sub rsp, 56
001bfa96test bl, 1
001bfa99je 0x1bfaa8
001bfa9blea rax, [rip+0x1886ae]
001bfaa2add rsp, 56
001bfaa6ret
001bfaa7
001bfaa7 90 .
001bfaa8
001bfaa8loc_1bfaa8:
001bfaa8mov [rsp], rbx
001bfaacmov [rsp+8], rax
001bfab1mov rdi, [rbx+16]
001bfab5mov [rsp+48], rdi
001bfabamov rdi, [rbx+8]
001bfabemov [rsp+40], rdi
001bfac3mov rbx, [rbx]
001bfac6call Stdlib.Map.partition
001bfacbmov rbx, [rax+8]
001bfacfmov [rsp+24], rbx
001bfad4mov rax, [rax]
001bfad7mov [rsp+32], rax
001bfadcmov rax, [rsp+40]
001bfae1mov rbx, [rsp+48]
001bfae6mov rdi, [rsp+8]
001bfaebcall caml_apply2
001bfaf0mov [rsp+16], rax
001bfaf5mov rax, [rsp]
001bfaf9mov rbx, [rax+24]
001bfafdmov rax, [rsp+8]
001bfb02call Stdlib.Map.partition
001bfb07mov rsi, [rax+8]
001bfb0bmov rax, [rax]
001bfb0emov [rsp+8], rax
001bfb13mov rax, [rsp+16]
001bfb18cmp rax, 1
001bfb1cje 0x1bfb70
001bfb1emov rax, [rsp+24]
001bfb23mov rbx, rsi
001bfb26call Stdlib.Map.concat
001bfb2bmov [rsp], rax
001bfb2fmov rax, [rsp+32]
001bfb34mov rbx, [rsp+40]
001bfb39mov rdi, [rsp+48]
001bfb3emov rsi, [rsp+8]
001bfb43call Stdlib.Map.join
001bfb48sub r15, 24
001bfb4ccmp r15, [r14]
001bfb4fjb 0x1bfbc6
001bfb51
001bfb51loc_1bfb51:
001bfb51lea rbx, [r15+8]
001bfb55mov [rbx-8], 2048
001bfb5dmov [rbx], rax
001bfb60mov rax, [rsp]
001bfb64mov [rbx+8], rax
001bfb68mov rax, rbx
001bfb6badd rsp, 56
001bfb6fret
001bfb70
001bfb70loc_1bfb70:
001bfb70mov rax, [rsp+24]
001bfb75mov rbx, [rsp+40]
001bfb7amov rdi, [rsp+48]
001bfb7fcall Stdlib.Map.join
001bfb84mov [rsp], rax
001bfb88mov rax, [rsp+32]
001bfb8dmov rbx, [rsp+8]
001bfb92call Stdlib.Map.concat
001bfb97sub r15, 24
001bfb9bcmp r15, [r14]
001bfb9ejb 0x1bfbbf
001bfba0
001bfba0loc_1bfba0:
001bfba0lea rbx, [r15+8]
001bfba4mov [rbx-8], 2048
001bfbacmov [rbx], rax
001bfbafmov rax, [rsp]
001bfbb3mov [rbx+8], rax
001bfbb7mov rax, rbx
001bfbbaadd rsp, 56
001bfbberet
001bfbbf
001bfbbfloc_1bfbbf:
001bfbbfcall caml_call_gc
001bfbc4jmp 0x1bfba0
001bfbc6
001bfbc6loc_1bfbc6:
001bfbc6call caml_call_gc
001bfbcbjmp 0x1bfb51
001bfbcd
001bfbcdloc_1bfbcd:
001bfbcdpush 40
001bfbcfcall caml_call_realloc_stack
001bfbd4pop r10
001bfbd6jmp 0x1bfa92
001bfa80
001bfa80Stdlib.Map.partition:
001bfa80lea r10, [rsp-376]
001bfa88cmp r10, [r14+40]
001bfa8cjb 0x1bfbcd
001bfa92
001bfa92loc_1bfa92:
001bfa92sub rsp, 56
001bfa96test bl, 1
001bfa99je 0x1bfaa8
001bfa9blea rax, [rip+0x1886ae]
001bfaa2add rsp, 56
001bfaa6ret
001bfaa7
001bfaa7 90 .
001bfaa8
001bfaa8loc_1bfaa8:
001bfaa8mov [rsp], rbx
001bfaacmov [rsp+8], rax
001bfab1mov rdi, [rbx+16]
001bfab5mov [rsp+48], rdi
001bfabamov rdi, [rbx+8]
001bfabemov [rsp+40], rdi
001bfac3mov rbx, [rbx]
001bfac6call Stdlib.Map.partition
001bfacbmov rbx, [rax+8]
001bfacfmov [rsp+24], rbx
001bfad4mov rax, [rax]
001bfad7mov [rsp+32], rax
001bfadcmov rax, [rsp+40]
001bfae1mov rbx, [rsp+48]
001bfae6mov rdi, [rsp+8]
001bfaebcall caml_apply2
001bfaf0mov [rsp+16], rax
001bfaf5mov rax, [rsp]
001bfaf9mov rbx, [rax+24]
001bfafdmov rax, [rsp+8]
001bfb02call Stdlib.Map.partition
001bfb07mov rsi, [rax+8]
001bfb0bmov rax, [rax]
001bfb0emov [rsp+8], rax
001bfb13mov rax, [rsp+16]
001bfb18cmp rax, 1
001bfb1cje 0x1bfb70
001bfb1emov rax, [rsp+24]
001bfb23mov rbx, rsi
001bfb26call Stdlib.Map.concat
001bfb2bmov [rsp], rax
001bfb2fmov rax, [rsp+32]
001bfb34mov rbx, [rsp+40]
001bfb39mov rdi, [rsp+48]
001bfb3emov rsi, [rsp+8]
001bfb43call Stdlib.Map.join
001bfb48sub r15, 24
001bfb4ccmp r15, [r14]
001bfb4fjb 0x1bfbc6
001bfb51
001bfb51loc_1bfb51:
001bfb51lea rbx, [r15+8]
001bfb55mov [rbx-8], 2048
001bfb5dmov [rbx], rax
001bfb60mov rax, [rsp]
001bfb64mov [rbx+8], rax
001bfb68mov rax, rbx
001bfb6badd rsp, 56
001bfb6fret
001bfb70
001bfb70loc_1bfb70:
001bfb70mov rax, [rsp+24]
001bfb75mov rbx, [rsp+40]
001bfb7amov rdi, [rsp+48]
001bfb7fcall Stdlib.Map.join
001bfb84mov [rsp], rax
001bfb88mov rax, [rsp+32]
001bfb8dmov rbx, [rsp+8]
001bfb92call Stdlib.Map.concat
001bfb97sub r15, 24
001bfb9bcmp r15, [r14]
001bfb9ejb 0x1bfbbf
001bfba0
001bfba0loc_1bfba0:
001bfba0lea rbx, [r15+8]
001bfba4mov [rbx-8], 2048
001bfbacmov [rbx], rax
001bfbafmov rax, [rsp]
001bfbb3mov [rbx+8], rax
001bfbb7mov rax, rbx
001bfbbaadd rsp, 56
001bfbberet
001bfbbf
001bfbbfloc_1bfbbf:
001bfbbfcall caml_call_gc
001bfbc4jmp 0x1bfba0
001bfbc6
001bfbc6loc_1bfbc6:
001bfbc6call caml_call_gc
001bfbcbjmp 0x1bfb51
001bfbcd
001bfbcdloc_1bfbcd:
001bfbcdpush 40
001bfbcfcall caml_call_realloc_stack
001bfbd4pop r10
001bfbd6jmp 0x1bfa92
001bfa80
001bfbdb
001bfbdb // align 0x10
001bfbdb // align 0x10
001bfbe0
001bfbe0Stdlib.Map.cons_enum:
001bfbe0test al, 1
001bfbe2je 0x1bfbe8
001bfbe4mov rax, rbx
001bfbe7ret
001bfbe8
001bfbe8loc_1bfbe8:
001bfbe8sub r15, 40
001bfbeccmp r15, [r14]
001bfbefjb 0x1bfc20
001bfbf1
001bfbf1loc_1bfbf1:
001bfbf1lea rdi, [r15+8]
001bfbf5mov [rdi-8], 4096
001bfbfdmov rsi, [rax+8]
001bfc01mov [rdi], rsi
001bfc04mov rsi, [rax+16]
001bfc08mov [rdi+8], rsi
001bfc0cmov rsi, [rax+24]
001bfc10mov [rdi+16], rsi
001bfc14mov [rdi+24], rbx
001bfc18mov rax, [rax]
001bfc1bmov rbx, rdi
001bfc1ejmp 0x1bfbe0
001bfc20
001bfc20loc_1bfc20:
001bfc20call caml_call_gc
001bfc25jmp 0x1bfbf1
001bfbe0
001bfbe0Stdlib.Map.cons_enum:
001bfbe0test al, 1
001bfbe2je 0x1bfbe8
001bfbe4mov rax, rbx
001bfbe7ret
001bfbe8
001bfbe8loc_1bfbe8:
001bfbe8sub r15, 40
001bfbeccmp r15, [r14]
001bfbefjb 0x1bfc20
001bfbf1
001bfbf1loc_1bfbf1:
001bfbf1lea rdi, [r15+8]
001bfbf5mov [rdi-8], 4096
001bfbfdmov rsi, [rax+8]
001bfc01mov [rdi], rsi
001bfc04mov rsi, [rax+16]
001bfc08mov [rdi+8], rsi
001bfc0cmov rsi, [rax+24]
001bfc10mov [rdi+16], rsi
001bfc14mov [rdi+24], rbx
001bfc18mov rax, [rax]
001bfc1bmov rbx, rdi
001bfc1ejmp 0x1bfbe0
001bfc20
001bfc20loc_1bfc20:
001bfc20call caml_call_gc
001bfc25jmp 0x1bfbf1
001bfbe0
001bfc27
001bfc27 // align 0x10
001bfc27 // align 0x10
001bfc30
001bfc30Stdlib.Map.compare:
001bfc30lea r10, [rsp-344]
001bfc38cmp r10, [r14+40]
001bfc3cjb 0x1bfcd8
001bfc42
001bfc42loc_1bfc42:
001bfc42sub rsp, 24
001bfc46mov [rsp], rbx
001bfc4asub r15, 56
001bfc4ecmp r15, [r14]
001bfc51jb 0x1bfcce
001bfc53
001bfc53loc_1bfc53:
001bfc53lea rbx, [r15+8]
001bfc57mov [rsp+16], rbx
001bfc5cmov [rbx-8], 6391
001bfc64lea rdx, [rip-0xc8c4b]
001bfc6bmov [rbx], rdx
001bfc6emov rdx, 0x200000000000007
001bfc78mov [rbx+8], rdx
001bfc7clea rdx, [rip+109]
001bfc83mov [rbx+16], rdx
001bfc87mov rdx, [rsi+24]
001bfc8bmov [rbx+24], rdx
001bfc8fmov [rbx+32], rax
001bfc93mov rax, [rsi+32]
001bfc97mov [rbx+40], rax
001bfc9bmov ebx, 1
001bfca0mov rax, rdi
001bfca3call Stdlib.Map.cons_enum
001bfca8mov [rsp+8], rax
001bfcadmov ebx, 1
001bfcb2mov rax, [rsp]
001bfcb6call Stdlib.Map.cons_enum
001bfcbbmov rbx, [rsp+8]
001bfcc0mov rdi, [rsp+16]
001bfcc5add rsp, 24
001bfcc9jmp 0x1bfcf0
001bfcce
001bfcceloc_1bfcce:
001bfccecall caml_call_gc
001bfcd3jmp 0x1bfc53
001bfcd8
001bfcd8loc_1bfcd8:
001bfcd8push 36
001bfcdacall caml_call_realloc_stack
001bfcdfpop r10
001bfce1jmp 0x1bfc42
001bfc30
001bfc30Stdlib.Map.compare:
001bfc30lea r10, [rsp-344]
001bfc38cmp r10, [r14+40]
001bfc3cjb 0x1bfcd8
001bfc42
001bfc42loc_1bfc42:
001bfc42sub rsp, 24
001bfc46mov [rsp], rbx
001bfc4asub r15, 56
001bfc4ecmp r15, [r14]
001bfc51jb 0x1bfcce
001bfc53
001bfc53loc_1bfc53:
001bfc53lea rbx, [r15+8]
001bfc57mov [rsp+16], rbx
001bfc5cmov [rbx-8], 6391
001bfc64lea rdx, [rip-0xc8c4b]
001bfc6bmov [rbx], rdx
001bfc6emov rdx, 0x200000000000007
001bfc78mov [rbx+8], rdx
001bfc7clea rdx, [rip+109]
001bfc83mov [rbx+16], rdx
001bfc87mov rdx, [rsi+24]
001bfc8bmov [rbx+24], rdx
001bfc8fmov [rbx+32], rax
001bfc93mov rax, [rsi+32]
001bfc97mov [rbx+40], rax
001bfc9bmov ebx, 1
001bfca0mov rax, rdi
001bfca3call Stdlib.Map.cons_enum
001bfca8mov [rsp+8], rax
001bfcadmov ebx, 1
001bfcb2mov rax, [rsp]
001bfcb6call Stdlib.Map.cons_enum
001bfcbbmov rbx, [rsp+8]
001bfcc0mov rdi, [rsp+16]
001bfcc5add rsp, 24
001bfcc9jmp 0x1bfcf0
001bfcce
001bfcceloc_1bfcce:
001bfccecall caml_call_gc
001bfcd3jmp 0x1bfc53
001bfcd8
001bfcd8loc_1bfcd8:
001bfcd8push 36
001bfcdacall caml_call_realloc_stack
001bfcdfpop r10
001bfce1jmp 0x1bfc42
001bfc30
001bfce6
001bfce6 // align 0x10
001bfce6 // align 0x10
001bfcf0
001bfcf0Stdlib.Map.compare_aux:
001bfcf0lea r10, [rsp-344]
001bfcf8cmp r10, [r14+40]
001bfcfcjb 0x1bfdd7
001bfd02
001bfd02loc_1bfd02:
001bfd02sub rsp, 24
001bfd06
001bfd06loc_1bfd06:
001bfd06cmp r15, [r14]
001bfd09jbe 0x1bfdcd
001bfd0f
001bfd0floc_1bfd0f:
001bfd0ftest al, 1
001bfd11je 0x1bfd30
001bfd13test bl, 1
001bfd16je 0x1bfd24
001bfd18mov eax, 1
001bfd1dadd rsp, 24
001bfd21ret
001bfd22
001bfd22 66 90 f.
001bfd24
001bfd24loc_1bfd24:
001bfd24mov rax, -1
001bfd2badd rsp, 24
001bfd2fret
001bfd30
001bfd30loc_1bfd30:
001bfd30test bl, 1
001bfd33je 0x1bfd40
001bfd35mov eax, 3
001bfd3aadd rsp, 24
001bfd3eret
001bfd3f
001bfd3f 90 .
001bfd40
001bfd40loc_1bfd40:
001bfd40mov [rsp+16], rdi
001bfd45mov [rsp], rbx
001bfd49mov [rsp+8], rax
001bfd4emov rdi, [rdi+40]
001bfd52mov rdi, [rdi]
001bfd55mov rbx, [rbx]
001bfd58mov rax, [rax]
001bfd5bcall caml_apply2
001bfd60cmp rax, 1
001bfd64je 0x1bfd6c
001bfd66add rsp, 24
001bfd6aret
001bfd6b
001bfd6b 90 .
001bfd6c
001bfd6cloc_1bfd6c:
001bfd6cmov rax, [rsp+16]
001bfd71mov rdi, [rax+32]
001bfd75mov rax, [rsp]
001bfd79mov rbx, [rax+8]
001bfd7dmov rax, [rsp+8]
001bfd82mov rax, [rax+8]
001bfd86call caml_apply2
001bfd8bcmp rax, 1
001bfd8fje 0x1bfd98
001bfd91add rsp, 24
001bfd95ret
001bfd96
001bfd96 66 90 f.
001bfd98
001bfd98loc_1bfd98:
001bfd98mov rax, [rsp]
001bfd9cmov rbx, [rax+24]
001bfda0mov rax, [rax+16]
001bfda4call Stdlib.Map.cons_enum
001bfda9mov [rsp], rax
001bfdadmov rax, [rsp+8]
001bfdb2mov rbx, [rax+24]
001bfdb6mov rax, [rax+16]
001bfdbacall Stdlib.Map.cons_enum
001bfdbfmov rbx, [rsp]
001bfdc3mov rdi, [rsp+16]
001bfdc8jmp 0x1bfd06
001bfdcd
001bfdcdloc_1bfdcd:
001bfdcdcall caml_call_gc
001bfdd2jmp 0x1bfd0f
001bfdd7
001bfdd7loc_1bfdd7:
001bfdd7push 36
001bfdd9call caml_call_realloc_stack
001bfddepop r10
001bfde0jmp 0x1bfd02
001bfcf0
001bfcf0Stdlib.Map.compare_aux:
001bfcf0lea r10, [rsp-344]
001bfcf8cmp r10, [r14+40]
001bfcfcjb 0x1bfdd7
001bfd02
001bfd02loc_1bfd02:
001bfd02sub rsp, 24
001bfd06
001bfd06loc_1bfd06:
001bfd06cmp r15, [r14]
001bfd09jbe 0x1bfdcd
001bfd0f
001bfd0floc_1bfd0f:
001bfd0ftest al, 1
001bfd11je 0x1bfd30
001bfd13test bl, 1
001bfd16je 0x1bfd24
001bfd18mov eax, 1
001bfd1dadd rsp, 24
001bfd21ret
001bfd22
001bfd22 66 90 f.
001bfd24
001bfd24loc_1bfd24:
001bfd24mov rax, -1
001bfd2badd rsp, 24
001bfd2fret
001bfd30
001bfd30loc_1bfd30:
001bfd30test bl, 1
001bfd33je 0x1bfd40
001bfd35mov eax, 3
001bfd3aadd rsp, 24
001bfd3eret
001bfd3f
001bfd3f 90 .
001bfd40
001bfd40loc_1bfd40:
001bfd40mov [rsp+16], rdi
001bfd45mov [rsp], rbx
001bfd49mov [rsp+8], rax
001bfd4emov rdi, [rdi+40]
001bfd52mov rdi, [rdi]
001bfd55mov rbx, [rbx]
001bfd58mov rax, [rax]
001bfd5bcall caml_apply2
001bfd60cmp rax, 1
001bfd64je 0x1bfd6c
001bfd66add rsp, 24
001bfd6aret
001bfd6b
001bfd6b 90 .
001bfd6c
001bfd6cloc_1bfd6c:
001bfd6cmov rax, [rsp+16]
001bfd71mov rdi, [rax+32]
001bfd75mov rax, [rsp]
001bfd79mov rbx, [rax+8]
001bfd7dmov rax, [rsp+8]
001bfd82mov rax, [rax+8]
001bfd86call caml_apply2
001bfd8bcmp rax, 1
001bfd8fje 0x1bfd98
001bfd91add rsp, 24
001bfd95ret
001bfd96
001bfd96 66 90 f.
001bfd98
001bfd98loc_1bfd98:
001bfd98mov rax, [rsp]
001bfd9cmov rbx, [rax+24]
001bfda0mov rax, [rax+16]
001bfda4call Stdlib.Map.cons_enum
001bfda9mov [rsp], rax
001bfdadmov rax, [rsp+8]
001bfdb2mov rbx, [rax+24]
001bfdb6mov rax, [rax+16]
001bfdbacall Stdlib.Map.cons_enum
001bfdbfmov rbx, [rsp]
001bfdc3mov rdi, [rsp+16]
001bfdc8jmp 0x1bfd06
001bfdcd
001bfdcdloc_1bfdcd:
001bfdcdcall caml_call_gc
001bfdd2jmp 0x1bfd0f
001bfdd7
001bfdd7loc_1bfdd7:
001bfdd7push 36
001bfdd9call caml_call_realloc_stack
001bfddepop r10
001bfde0jmp 0x1bfd02
001bfcf0
001bfde5
001bfde5 // align 0x10
001bfde5 // align 0x10
001bfdf0
001bfdf0Stdlib.Map.equal:
001bfdf0lea r10, [rsp-344]
001bfdf8cmp r10, [r14+40]
001bfdfcjb 0x1bfe98
001bfe02
001bfe02loc_1bfe02:
001bfe02sub rsp, 24
001bfe06mov [rsp], rbx
001bfe0asub r15, 56
001bfe0ecmp r15, [r14]
001bfe11jb 0x1bfe8e
001bfe13
001bfe13loc_1bfe13:
001bfe13lea rbx, [r15+8]
001bfe17mov [rsp+16], rbx
001bfe1cmov [rbx-8], 6391
001bfe24lea rdx, [rip-0xc8e0b]
001bfe2bmov [rbx], rdx
001bfe2emov rdx, 0x200000000000007
001bfe38mov [rbx+8], rdx
001bfe3clea rdx, [rip+109]
001bfe43mov [rbx+16], rdx
001bfe47mov rdx, [rsi+24]
001bfe4bmov [rbx+24], rdx
001bfe4fmov [rbx+32], rax
001bfe53mov rax, [rsi+32]
001bfe57mov [rbx+40], rax
001bfe5bmov ebx, 1
001bfe60mov rax, rdi
001bfe63call Stdlib.Map.cons_enum
001bfe68mov [rsp+8], rax
001bfe6dmov ebx, 1
001bfe72mov rax, [rsp]
001bfe76call Stdlib.Map.cons_enum
001bfe7bmov rbx, [rsp+8]
001bfe80mov rdi, [rsp+16]
001bfe85add rsp, 24
001bfe89jmp 0x1bfeb0
001bfe8e
001bfe8eloc_1bfe8e:
001bfe8ecall caml_call_gc
001bfe93jmp 0x1bfe13
001bfe98
001bfe98loc_1bfe98:
001bfe98push 36
001bfe9acall caml_call_realloc_stack
001bfe9fpop r10
001bfea1jmp 0x1bfe02
001bfdf0
001bfdf0Stdlib.Map.equal:
001bfdf0lea r10, [rsp-344]
001bfdf8cmp r10, [r14+40]
001bfdfcjb 0x1bfe98
001bfe02
001bfe02loc_1bfe02:
001bfe02sub rsp, 24
001bfe06mov [rsp], rbx
001bfe0asub r15, 56
001bfe0ecmp r15, [r14]
001bfe11jb 0x1bfe8e
001bfe13
001bfe13loc_1bfe13:
001bfe13lea rbx, [r15+8]
001bfe17mov [rsp+16], rbx
001bfe1cmov [rbx-8], 6391
001bfe24lea rdx, [rip-0xc8e0b]
001bfe2bmov [rbx], rdx
001bfe2emov rdx, 0x200000000000007
001bfe38mov [rbx+8], rdx
001bfe3clea rdx, [rip+109]
001bfe43mov [rbx+16], rdx
001bfe47mov rdx, [rsi+24]
001bfe4bmov [rbx+24], rdx
001bfe4fmov [rbx+32], rax
001bfe53mov rax, [rsi+32]
001bfe57mov [rbx+40], rax
001bfe5bmov ebx, 1
001bfe60mov rax, rdi
001bfe63call Stdlib.Map.cons_enum
001bfe68mov [rsp+8], rax
001bfe6dmov ebx, 1
001bfe72mov rax, [rsp]
001bfe76call Stdlib.Map.cons_enum
001bfe7bmov rbx, [rsp+8]
001bfe80mov rdi, [rsp+16]
001bfe85add rsp, 24
001bfe89jmp 0x1bfeb0
001bfe8e
001bfe8eloc_1bfe8e:
001bfe8ecall caml_call_gc
001bfe93jmp 0x1bfe13
001bfe98
001bfe98loc_1bfe98:
001bfe98push 36
001bfe9acall caml_call_realloc_stack
001bfe9fpop r10
001bfea1jmp 0x1bfe02
001bfdf0
Loading..