Similarity

001e7190
001e7190Stdlib.Hashtbl.mem:
001e7190lea r10, [rsp-344]
001e7198cmp r10, [r14+40]
001e719cjb 0x1e71ef
001e719e
001e719eloc_1e719e:
001e719esub rsp, 24
001e71a2mov [rsp], rax
001e71a6mov [rsp+16], rbx
001e71abmov [rsp+8], rdi
001e71b0mov rdi, [rdi+24]
001e71b4call Stdlib.Hashtbl.key_index
001e71b9mov rbx, [rsp]
001e71bdmov rbx, [rbx+8]
001e71c1mov rdi, [rbx-8]
001e71c5shr rdi, 9
001e71c9cmp rdi, rax
001e71ccjbe 0x1e71ea
001e71cemov rbx, [rbx+4*rax-4]
001e71d3mov rax, [rsp+8]
001e71d8mov rdi, [rax+32]
001e71dcmov rax, [rsp+16]
001e71e1add rsp, 24
001e71e5jmp 0x1e7100
001e71ea
001e71ealoc_1e71ea:
001e71eacall caml_ml_array_bound_error
001e71ef
001e71efloc_1e71ef:
001e71efpush 36
001e71f1call caml_call_realloc_stack
001e71f6pop r10
001e71f8jmp 0x1e719e
001e7190

001e71fa
001e71fa // align 0x10

001e7200
001e7200Stdlib.Hashtbl.add_seq:
001e7200sub r15, 48
001e7204cmp r15, [r14]
001e7207jb 0x1e724c
001e7209
001e7209loc_1e7209:
001e7209lea rsi, [r15+8]
001e720dmov [rsi-8], 5367
001e7215lea rdx, [rip-0xf019c]
001e721cmov [rsi], rdx
001e721fmov rdx, 0xfe00000000000007
001e7229mov [rsi+8], rdx
001e722dlea rdx, [rip+44]
001e7234mov [rsi+16], rdx
001e7238mov rdi, [rdi+24]
001e723cmov [rsi+24], rdi
001e7240mov [rsi+32], rax
001e7244mov rax, rsi
001e7247jmp 0x19a840
001e724c
001e724cloc_1e724c:
001e724ccall caml_call_gc
001e7251jmp 0x1e7209
001e7200

001e7253
001e7253 // align 0x10

001e7260
001e7260Stdlib.Hashtbl.fun:
001e7260mov rdx, rax
001e7263mov rcx, rbx
001e7266mov rax, [rdi+32]
001e726amov rsi, [rdi+24]
001e726emov rbx, rdx
001e7271mov rdi, rcx
001e7274jmp 0x1e64b0
001e7260

001e7279
001e7279 // align 0x10

001e7280
001e7280Stdlib.Hashtbl.replace_seq:
001e7280sub r15, 48
001e7284cmp r15, [r14]
001e7287jb 0x1e72cc
001e7289
001e7289loc_1e7289:
001e7289lea rsi, [r15+8]
001e728dmov [rsi-8], 5367
001e7295lea rdx, [rip-0xf021c]
001e729cmov [rsi], rdx
001e729fmov rdx, 0xfe00000000000007
001e72a9mov [rsi+8], rdx
001e72adlea rdx, [rip+44]
001e72b4mov [rsi+16], rdx
001e72b8mov rdi, [rdi+24]
001e72bcmov [rsi+24], rdi
001e72c0mov [rsi+32], rax
001e72c4mov rax, rsi
001e72c7jmp 0x19a840
001e72cc
001e72ccloc_1e72cc:
001e72cccall caml_call_gc
001e72d1jmp 0x1e7289
001e7280

001e72d3
001e72d3 // align 0x10

001e72e0
001e72e0Stdlib.Hashtbl.fun:
001e72e0mov rdx, rax
001e72e3mov rcx, rbx
001e72e6mov rax, [rdi+32]
001e72eamov rsi, [rdi+24]
001e72eemov rbx, rdx
001e72f1mov rdi, rcx
001e72f4jmp 0x1e6fb0
001e72e0

001e72f9
001e72f9 // align 0x10

001e7300
001e7300Stdlib.Hashtbl.of_seq:
001e7300lea r10, [rsp-344]
001e7308cmp r10, [r14+40]
001e730cjb 0x1e7357
001e730e
001e730eloc_1e730e:
001e730esub rsp, 24
001e7312mov [rsp+8], rax
001e7317mov [rsp], rbx
001e731blea rax, [rip+0x182ce6]
001e7322mov rax, [rax+272]
001e7329mov rax, [rax]
001e732cmov ebx, 33
001e7331call Stdlib.Hashtbl.create_inner
001e7336mov [rsp+16], rax
001e733bmov rbx, [rsp]
001e733fmov rdi, [rbx+24]
001e7343mov rbx, [rsp+8]
001e7348call Stdlib.Hashtbl.replace_seq
001e734dmov rax, [rsp+16]
001e7352add rsp, 24
001e7356ret
001e7357
001e7357loc_1e7357:
001e7357push 36
001e7359call caml_call_realloc_stack
001e735epop r10
001e7360jmp 0x1e730e
001e7300

001e7362
001e7362 // align 0x10

001e7370
001e7370Stdlib.Hashtbl.Make:
001e7370lea r10, [rsp-320]
001e7378cmp r10, [r14+40]
001e737cjb 0x1e751a
001e7382
001e7382loc_1e7382:
001e7382mov rbx, [rax]
001e7385sub r15, 64
001e7389cmp r15, [r14]
001e738cjb 0x1e7510
001e7392
001e7392loc_1e7392:
001e7392lea rdi, [r15+8]
001e7396add rdi, 24
001e739amov [rdi-8], 4343
001e73a2lea rsi, [rip-0xf0389]
001e73a9mov [rdi], rsi
001e73acmov rsi, 0x200000000000007
001e73b6mov [rdi+8], rsi
001e73balea rsi, [rip+367]
001e73c1mov [rdi+16], rsi
001e73c5mov [rdi+24], rax
001e73c9lea rax, [rdi-24]
001e73cdmov [rax-8], 2048
001e73d5mov [rax], rbx
001e73d8mov [rax+8], rdi
001e73dccall Stdlib.Hashtbl.MakeSeeded
001e73e1mov rbx, rax
001e73e4mov rsi, [rbx+160]
001e73eblea rdx, [rip+0x1826d6]
001e73f2sub r15, 224
001e73f9cmp r15, [r14]
001e73fcjb 0x1e7506
001e7402
001e7402loc_1e7402:
001e7402lea rdi, [r15+8]
001e7406add rdi, 184
001e740dmov [rdi-8], 4343
001e7415lea rax, [rip+324]
001e741cmov [rdi], rax
001e741fmov rax, 0x100000000000005
001e7429mov [rdi+8], rax
001e742dmov [rdi+16], rsi
001e7431mov [rdi+24], rdx
001e7435lea rax, [rdi-184]
001e743cmov [rax-8], 22528
001e7444mov [rax], rdx
001e7447mov rdx, [rbx+8]
001e744bmov [rax+8], rdx
001e744fmov rdx, [rbx+16]
001e7453mov [rax+16], rdx
001e7457mov rdx, [rbx+24]
001e745bmov [rax+24], rdx
001e745fmov rdx, [rbx+32]
001e7463mov [rax+32], rdx
001e7467mov rdx, [rbx+40]
001e746bmov [rax+40], rdx
001e746fmov rdx, [rbx+48]
001e7473mov [rax+48], rdx
001e7477mov rdx, [rbx+56]
001e747bmov [rax+56], rdx
001e747fmov rdx, [rbx+64]
001e7483mov [rax+64], rdx
001e7487mov rdx, [rbx+72]
001e748bmov [rax+72], rdx
001e748fmov rdx, [rbx+80]
001e7493mov [rax+80], rdx
001e7497mov rdx, [rbx+88]
001e749bmov [rax+88], rdx
001e749fmov rdx, [rbx+96]
001e74a3mov [rax+96], rdx
001e74a7mov rdx, [rbx+104]
001e74abmov [rax+104], rdx
001e74afmov rdx, [rbx+112]
001e74b3mov [rax+112], rdx
001e74b7mov rdx, [rbx+120]
001e74bbmov [rax+120], rdx
001e74bfmov rdx, [rbx+128]
001e74c6mov [rax+128], rdx
001e74cdmov rdx, [rbx+136]
001e74d4mov [rax+136], rdx
001e74dbmov rdx, [rbx+144]
001e74e2mov [rax+144], rdx
001e74e9mov rbx, [rbx+152]
001e74f0mov [rax+152], rbx
001e74f7mov [rax+160], rsi
001e74femov [rax+168], rdi
001e7505ret
001e7506
001e7506loc_1e7506:
001e7506call caml_call_gc
001e750bjmp 0x1e7402
001e7510
001e7510loc_1e7510:
001e7510call caml_call_gc
001e7515jmp 0x1e7392
001e751a
001e751aloc_1e751a:
001e751apush 33
001e751ccall caml_call_realloc_stack
001e7521pop r10
001e7523jmp 0x1e7382
001e7370

001e7528
001e7528 // align 0x10

001e7530
001e7530Stdlib.Hashtbl.seeded_hash:
001e7530mov rax, rbx
001e7533cmp r15, [r14]
001e7536jbe 0x1e7545
001e7538
001e7538loc_1e7538:
001e7538mov rbx, [rdi+24]
001e753cmov rbx, [rbx+8]
001e7540mov rdi, [rbx]
001e7543jmp rdi
001e7545
001e7545loc_1e7545:
001e7545call caml_call_gc
001e754ajmp 0x1e7538
001e7530

001e754c
001e754c // align 0x10

001e7550
001e7550Stdlib.Hashtbl.create:
001e7550mov rbx, rax
001e7553mov eax, 1
001e7558jmp 0x1e4c00
001e7550

001e755d
001e755d // align 0x10

001e7560
001e7560Stdlib.Hashtbl.of_seq:
001e7560lea r10, [rsp-344]
001e7568cmp r10, [r14+40]
001e756cjb 0x1e75ab
001e756e
001e756eloc_1e756e:
001e756esub rsp, 24
001e7572mov [rsp+8], rax
001e7577mov [rsp], rbx
001e757bmov eax, 1
001e7580mov ebx, 33
001e7585call Stdlib.Hashtbl.create_inner
001e758amov [rsp+16], rax
001e758fmov rbx, [rsp]
001e7593mov rdi, [rbx+16]
001e7597mov rbx, [rsp+8]
001e759ccall Stdlib.Hashtbl.replace_seq
001e75a1mov rax, [rsp+16]
001e75a6add rsp, 24
001e75aaret
001e75ab
001e75abloc_1e75ab:
001e75abpush 36
001e75adcall caml_call_realloc_stack
001e75b2pop r10
001e75b4jmp 0x1e756e
001e7560

001e75b6
001e75b6 // align 0x10

001e75c0
001e75c0Stdlib.Hashtbl.hash:
001e75c0mov edx, 1
001e75c5mov esi, 201
001e75camov edi, 21
001e75cfmov rcx, rax
001e75d2mov rbx, rsp
001e75d5mov rsp, [r14+64]
001e75d9call caml_hash
001e75demov rsp, rbx
001e75e1ret
001e75c0

001e75e2
001e75e2 // align 0x10

001e75f0
001e75f0Stdlib.Hashtbl.hash_param:
001e75f0mov rcx, rdi
001e75f3mov edx, 1
001e75f8mov rdi, rax
001e75fbmov rsi, rbx
001e75femov rbx, rsp
001e7601mov rsp, [r14+64]
001e7605call caml_hash
001e760amov rsp, rbx
001e760dret
001e75f0

001e760e
001e760e // align 0x10

001e7610
001e7610Stdlib.Hashtbl.seeded_hash:
001e7610mov esi, 201
001e7615mov edi, 21
001e761amov rdx, rax
001e761dmov rcx, rbx
001e7620mov rbx, rsp
001e7623mov rsp, [r14+64]
001e7627call caml_hash
001e762cmov rsp, rbx
001e762fret
001e7610

001e7630
001e7630Stdlib.Hashtbl.key_index:
001e7630mov rdi, [rax-8]
001e7634shr rdi, 9
001e7638or rdi, 1
001e763ccmp rdi, 9
001e7640jl 0x1e767c
001e7642mov rdi, [rax+8]
001e7646mov r12, [rdi-8]
001e764ashr r12, 9
001e764eor r12, 1
001e7652add r12, -2
001e7656mov rdx, [rax+16]
001e765amov esi, 201
001e765fmov edi, 21
001e7664mov rcx, rbx
001e7667mov rbx, rsp
001e766amov rsp, [r14+64]
001e766ecall caml_hash
001e7673mov rsp, rbx
001e7676and rax, r12
001e7679ret
001e767a
001e767a 66 90 f.
001e767c
001e767cloc_1e767c:
001e767clea rax, [rip+0x182b1d]
001e7683jmp 0x195ab0
001e7630

001e7688
001e7688 // align 0x10

001e7690
001e7690Stdlib.Hashtbl.add:
001e7690lea r10, [rsp-344]
001e7698cmp r10, [r14+40]
001e769cjb 0x1e776d
001e76a2
001e76a2loc_1e76a2:
001e76a2sub rsp, 24
001e76a6mov [rsp+16], rax
001e76abmov [rsp], rbx
001e76afmov [rsp+8], rdi
001e76b4call Stdlib.Hashtbl.key_index
001e76b9sub r15, 32
001e76bdcmp r15, [r14]
001e76c0jb 0x1e775e
001e76c6
001e76c6loc_1e76c6:
001e76c6lea rsi, [r15+8]
001e76camov [rsi-8], 3072
001e76d2mov rbx, [rsp]
001e76d6mov [rsi], rbx
001e76d9mov rbx, [rsp+8]
001e76demov [rsi+8], rbx
001e76e2mov r12, [rsp+16]
001e76e7mov rbx, [r12+8]
001e76ecmov rdi, [rbx-8]
001e76f0shr rdi, 9
001e76f4cmp rdi, rax
001e76f7jbe 0x1e7768
001e76f9mov rdi, [rbx+4*rax-4]
001e76femov [rsi+16], rdi
001e7702lea rdi, [rbx+4*rax-4]
001e7707mov rbx, rsp
001e770amov rsp, [r14+64]
001e770ecall caml_modify
001e7713mov rsp, rbx
001e7716add [r12], 2
001e771bmov rax, [r12+8]
001e7720mov rax, [rax-8]
001e7724shr rax, 9
001e7728or rax, 1
001e772clea rax, [rax+rax-1]
001e7731mov rbx, [r12]
001e7735cmp rbx, rax
001e7738jle 0x1e7754
001e773alea rax, [rip+0x1828c7]
001e7741mov rax, [rax+336]
001e7748mov rbx, r12
001e774badd rsp, 24
001e774fjmp 0x1e5300
001e7754
001e7754loc_1e7754:
001e7754mov eax, 1
001e7759add rsp, 24
001e775dret
001e775e
001e775eloc_1e775e:
001e775ecall caml_call_gc
001e7763jmp 0x1e76c6
001e7768
001e7768loc_1e7768:
001e7768call caml_ml_array_bound_error
001e776d
001e776dloc_1e776d:
001e776dpush 36
001e776fcall caml_call_realloc_stack
001e7774pop r10
001e7776jmp 0x1e76a2
001e7690

001e777b
001e777b // align 0x10

001e7780
001e7780Stdlib.Hashtbl.remove_bucket:
001e7780sub rsp, 48
001e7784
001e7784loc_1e7784:
001e7784mov rcx, rdi
001e7787cmp r15, [r14]
001e778ajbe 0x1e7869
001e7790
001e7790loc_1e7790:
001e7790test dl, 1
001e7793je 0x1e77a0
001e7795mov eax, 1
001e779aadd rsp, 48
001e779eret
001e779f
001e779f 90 .
001e77a0
001e77a0loc_1e77a0:
001e77a0mov [rsp+8], rdx
001e77a5mov [rsp+24], rsi
001e77aamov [rsp], rcx
001e77aemov [rsp+32], rbx
001e77b3mov [rsp+16], rax
001e77b8mov rdi, [rdx]
001e77bbmov rax, [rdx+16]
001e77bfmov [rsp+40], rax
001e77c4mov rsi, rcx
001e77c7lea rax, [rip+0x190e2]
001e77cecall caml_c_call
001e77d3cmp rax, 1
001e77d7jne 0x1e784c
001e77d9mov rax, [rsp+16]
001e77deadd [rax], -2
001e77e2mov rdi, [rsp+24]
001e77e7test dil, 1
001e77ebje 0x1e7828
001e77edmov rax, [rax+8]
001e77f1mov rbx, [rax-8]
001e77f5shr rbx, 9
001e77f9mov rdi, [rsp+32]
001e77fecmp rbx, rdi
001e7801jbe 0x1e7873
001e7803lea rdi, [rax+4*rdi-4]
001e7808mov rsi, [rsp+40]
001e780dmov rbx, rsp
001e7810mov rsp, [r14+64]
001e7814call caml_modify
001e7819mov rsp, rbx
001e781cmov eax, 1
001e7821add rsp, 48
001e7825ret
001e7826
001e7826 66 90 f.
001e7828
001e7828loc_1e7828:
001e7828add rdi, 16
001e782cmov rsi, [rsp+40]
001e7831mov rbx, rsp
001e7834mov rsp, [r14+64]
001e7838call caml_modify
001e783dmov rsp, rbx
001e7840mov eax, 1
001e7845add rsp, 48
001e7849ret
001e784a
001e784a 66 90 f.
001e784c
001e784cloc_1e784c:
001e784cmov rax, [rsp+16]
001e7851mov rbx, [rsp+32]
001e7856mov rdi, [rsp]
001e785amov rsi, [rsp+8]
001e785fmov rdx, [rsp+40]
001e7864jmp 0x1e7784
001e7869
001e7869loc_1e7869:
001e7869call caml_call_gc
001e786ejmp 0x1e7790
001e7873
001e7873loc_1e7873:
001e7873call caml_ml_array_bound_error
001e7780

001e7878
001e7878 // align 0x10

001e7880
001e7880Stdlib.Hashtbl.remove:
001e7880lea r10, [rsp-336]
001e7888cmp r10, [r14+40]
001e788cjb 0x1e78d5
001e788e
001e788eloc_1e788e:
001e788esub rsp, 16
001e7892mov [rsp], rax
001e7896mov [rsp+8], rbx
001e789bcall Stdlib.Hashtbl.key_index
001e78a0mov rbx, rax
001e78a3mov rax, [rsp]
001e78a7mov rdi, [rax+8]
001e78abmov rsi, [rdi-8]
001e78afshr rsi, 9
001e78b3cmp rsi, rbx
001e78b6jbe 0x1e78d0
001e78b8mov rdx, [rdi+4*rbx-4]
001e78bdmov esi, 1
001e78c2mov rdi, [rsp+8]
001e78c7add rsp, 16
001e78cbjmp 0x1e7780
001e78d0
001e78d0loc_1e78d0:
001e78d0call caml_ml_array_bound_error
001e78d5
001e78d5loc_1e78d5:
001e78d5push 35
001e78d7call caml_call_realloc_stack
001e78dcpop r10
001e78dejmp 0x1e788e
001e7880

001e78e0
001e78e0Stdlib.Hashtbl.find_rec:
001e78e0sub rsp, 24
001e78e4
001e78e4loc_1e78e4:
001e78e4cmp r15, [r14]
001e78e7jbe 0x1e7943
001e78e9
001e78e9loc_1e78e9:
001e78e9test bl, 1
001e78ecje 0x1e7900
001e78eelea rax, [rip+0x145d23]
001e78f5mov rax, [rax+56]
001e78f9call caml_raise_exn
001e78fenop
001e7900
001e7900loc_1e7900:
001e7900mov [rsp], rax
001e7904mov rsi, [rbx]
001e7907mov rdi, [rbx+8]
001e790bmov [rsp+16], rdi
001e7910mov rbx, [rbx+16]
001e7914mov [rsp+8], rbx
001e7919mov rdi, rax
001e791clea rax, [rip+0x18f8d]
001e7923call caml_c_call
001e7928cmp rax, 1
001e792cjne 0x1e7938
001e792emov rax, [rsp+16]
001e7933add rsp, 24
001e7937ret
001e7938
001e7938loc_1e7938:
001e7938mov rax, [rsp]
001e793cmov rbx, [rsp+8]
001e7941jmp 0x1e78e4
001e7943
001e7943loc_1e7943:
001e7943call caml_call_gc
001e7948jmp 0x1e78e9
001e78e0

001e794a
001e794a // align 0x10

001e7950
001e7950Stdlib.Hashtbl.find:
001e7950lea r10, [rsp-344]
001e7958cmp r10, [r14+40]
001e795cjb 0x1e7a9f
001e7962
001e7962loc_1e7962:
001e7962sub rsp, 24
001e7966mov [rsp], rax
001e796amov [rsp+8], rbx
001e796fcall Stdlib.Hashtbl.key_index
001e7974mov rbx, [rsp]
001e7978mov rbx, [rbx+8]
001e797cmov rdi, [rbx-8]
001e7980shr rdi, 9
001e7984cmp rdi, rax
001e7987jbe 0x1e7a9a
001e798dmov rax, [rbx+4*rax-4]
001e7992test al, 1
001e7994je 0x1e79a8
001e7996lea rax, [rip+0x145c7b]
001e799dmov rax, [rax+56]
001e79a1call caml_raise_exn
001e79a6nop
001e79a8
001e79a8loc_1e79a8:
001e79a8mov rsi, [rax]
001e79abmov rbx, [rax+8]
001e79afmov [rsp+16], rbx
001e79b4mov rax, [rax+16]
001e79b8mov [rsp], rax
001e79bcmov rdi, [rsp+8]
001e79c1lea rax, [rip+0x18ee8]
001e79c8call caml_c_call
001e79cdcmp rax, 1
001e79d1jne 0x1e79e0
001e79d3mov rax, [rsp+16]
001e79d8add rsp, 24
001e79dcret
001e79dd
001e79dd 0f 1f 00 ...
001e79e0
001e79e0loc_1e79e0:
001e79e0mov rbx, [rsp]
001e79e4test bl, 1
001e79e7je 0x1e79fc
001e79e9lea rax, [rip+0x145c28]
001e79f0mov rax, [rax+56]
001e79f4call caml_raise_exn
001e79f9nop [rax]
001e79fc
001e79fcloc_1e79fc:
001e79fcmov rsi, [rbx]
001e79ffmov rax, [rbx+8]
001e7a03mov [rsp+16], rax
001e7a08mov rax, [rbx+16]
001e7a0cmov [rsp], rax
001e7a10mov rdi, [rsp+8]
001e7a15lea rax, [rip+0x18e94]
001e7a1ccall caml_c_call
001e7a21cmp rax, 1
001e7a25jne 0x1e7a34
001e7a27mov rax, [rsp+16]
001e7a2cadd rsp, 24
001e7a30ret
001e7a31
001e7a31 0f 1f 00 ...
001e7a34
001e7a34loc_1e7a34:
001e7a34mov rbx, [rsp]
001e7a38test bl, 1
001e7a3bje 0x1e7a50
001e7a3dlea rax, [rip+0x145bd4]
001e7a44mov rax, [rax+56]
001e7a48call caml_raise_exn
001e7a4dnop [rax]
001e7a50
001e7a50loc_1e7a50:
001e7a50mov rsi, [rbx]
001e7a53mov rax, [rbx+8]
001e7a57mov [rsp+16], rax
001e7a5cmov rax, [rbx+16]
001e7a60mov [rsp], rax
001e7a64mov rdi, [rsp+8]
001e7a69lea rax, [rip+0x18e40]
001e7a70call caml_c_call
001e7a75cmp rax, 1
001e7a79jne 0x1e7a88
001e7a7bmov rax, [rsp+16]
001e7a80add rsp, 24
001e7a84ret
001e7a85
001e7a85 0f 1f 00 ...
001e7a88
001e7a88loc_1e7a88:
001e7a88mov rax, [rsp+8]
001e7a8dmov rbx, [rsp]
001e7a91add rsp, 24
001e7a95jmp 0x1e78e0
001e7a9a
001e7a9aloc_1e7a9a:
001e7a9acall caml_ml_array_bound_error
001e7a9f
001e7a9floc_1e7a9f:
001e7a9fpush 36
001e7aa1call caml_call_realloc_stack
001e7aa6pop r10
001e7aa8jmp 0x1e7962
001e7950

001e7aad
001e7aad // align 0x10

001e7ab0
001e7ab0Stdlib.Hashtbl.find_rec_opt:
001e7ab0sub rsp, 24
001e7ab4
001e7ab4loc_1e7ab4:
001e7ab4cmp r15, [r14]
001e7ab7jbe 0x1e7b2a
001e7ab9
001e7ab9loc_1e7ab9:
001e7ab9test bl, 1
001e7abcje 0x1e7ac8
001e7abemov eax, 1
001e7ac3add rsp, 24
001e7ac7ret
001e7ac8
001e7ac8loc_1e7ac8:
001e7ac8mov [rsp], rax
001e7accmov rsi, [rbx]
001e7acfmov rdi, [rbx+8]
001e7ad3mov [rsp+16], rdi
001e7ad8mov rbx, [rbx+16]
001e7adcmov [rsp+8], rbx
001e7ae1mov rdi, rax
001e7ae4lea rax, [rip+0x18dc5]
001e7aebcall caml_c_call
001e7af0cmp rax, 1
001e7af4jne 0x1e7b18
001e7af6sub r15, 16
001e7afacmp r15, [r14]
001e7afdjb 0x1e7b23
001e7aff
001e7affloc_1e7aff:
001e7afflea rax, [r15+8]
001e7b03mov [rax-8], 1024
001e7b0bmov rbx, [rsp+16]
001e7b10mov [rax], rbx
001e7b13add rsp, 24
001e7b17ret
001e7b18
001e7b18loc_1e7b18:
001e7b18mov rax, [rsp]
001e7b1cmov rbx, [rsp+8]
001e7b21jmp 0x1e7ab4
001e7b23
001e7b23loc_1e7b23:
001e7b23call caml_call_gc
001e7b28jmp 0x1e7aff
001e7b2a
001e7b2aloc_1e7b2a:
001e7b2acall caml_call_gc
001e7b2fjmp 0x1e7ab9
001e7ab0

001e7b31
001e7b31 // align 0x10

001e7b40
001e7b40Stdlib.Hashtbl.find_opt:
001e7b40lea r10, [rsp-344]
001e7b48cmp r10, [r14+40]
001e7b4cjb 0x1e7ce2
001e7b52
001e7b52loc_1e7b52:
001e7b52sub rsp, 24
001e7b56mov [rsp], rax
001e7b5amov [rsp+8], rbx
001e7b5fcall Stdlib.Hashtbl.key_index
001e7b64mov rbx, [rsp]
001e7b68mov rbx, [rbx+8]
001e7b6cmov rdi, [rbx-8]
001e7b70shr rdi, 9
001e7b74cmp rdi, rax
001e7b77jbe 0x1e7cdd
001e7b7dmov rax, [rbx+4*rax-4]
001e7b82test al, 1
001e7b84je 0x1e7b90
001e7b86mov eax, 1
001e7b8badd rsp, 24
001e7b8fret
001e7b90
001e7b90loc_1e7b90:
001e7b90mov rsi, [rax]
001e7b93mov rbx, [rax+8]
001e7b97mov [rsp+16], rbx
001e7b9cmov rax, [rax+16]
001e7ba0mov [rsp], rax
001e7ba4mov rdi, [rsp+8]
001e7ba9lea rax, [rip+0x18d00]
001e7bb0call caml_c_call
001e7bb5cmp rax, 1
001e7bb9jne 0x1e7be4
001e7bbbsub r15, 16
001e7bbfcmp r15, [r14]
001e7bc2jb 0x1e7cd3
001e7bc8
001e7bc8loc_1e7bc8:
001e7bc8lea rax, [r15+8]
001e7bccmov [rax-8], 1024
001e7bd4mov rbx, [rsp+16]
001e7bd9mov [rax], rbx
001e7bdcadd rsp, 24
001e7be0ret
001e7be1
001e7be1 0f 1f 00 ...
001e7be4
001e7be4loc_1e7be4:
001e7be4mov rbx, [rsp]
001e7be8test bl, 1
001e7bebje 0x1e7bf8
001e7bedmov eax, 1
001e7bf2add rsp, 24
001e7bf6ret
001e7bf7
001e7bf7 90 .
001e7bf8
001e7bf8loc_1e7bf8:
001e7bf8mov rsi, [rbx]
001e7bfbmov rax, [rbx+8]
001e7bffmov [rsp+16], rax
001e7c04mov rax, [rbx+16]
001e7c08mov [rsp], rax
001e7c0cmov rdi, [rsp+8]
001e7c11lea rax, [rip+0x18c98]
001e7c18call caml_c_call
001e7c1dcmp rax, 1
001e7c21jne 0x1e7c4c
001e7c23sub r15, 16
001e7c27cmp r15, [r14]
001e7c2ajb 0x1e7cc9
001e7c30
001e7c30loc_1e7c30:
001e7c30lea rax, [r15+8]
001e7c34mov [rax-8], 1024
001e7c3cmov rbx, [rsp+16]
001e7c41mov [rax], rbx
001e7c44add rsp, 24
001e7c48ret
001e7c49
001e7c49 0f 1f 00 ...
001e7c4c
001e7c4cloc_1e7c4c:
001e7c4cmov rbx, [rsp]
001e7c50test bl, 1
001e7c53je 0x1e7c60
001e7c55mov eax, 1
001e7c5aadd rsp, 24
001e7c5eret
001e7c5f
001e7c5f 90 .
001e7c60
001e7c60loc_1e7c60:
001e7c60mov rsi, [rbx]
001e7c63mov rax, [rbx+8]
001e7c67mov [rsp+16], rax
001e7c6cmov rax, [rbx+16]
001e7c70mov [rsp], rax
001e7c74mov rdi, [rsp+8]
001e7c79lea rax, [rip+0x18c30]
001e7c80call caml_c_call
001e7c85cmp rax, 1
001e7c89jne 0x1e7cb0
001e7c8bsub r15, 16
001e7c8fcmp r15, [r14]
001e7c92jb 0x1e7cc2
001e7c94
001e7c94loc_1e7c94:
001e7c94lea rax, [r15+8]
001e7c98mov [rax-8], 1024
001e7ca0mov rbx, [rsp+16]
001e7ca5mov [rax], rbx
001e7ca8add rsp, 24
001e7cacret
001e7cad
001e7cad 0f 1f 00 ...
001e7cb0
001e7cb0loc_1e7cb0:
001e7cb0mov rax, [rsp+8]
001e7cb5mov rbx, [rsp]
001e7cb9add rsp, 24
001e7cbdjmp 0x1e7ab0
001e7cc2
001e7cc2loc_1e7cc2:
001e7cc2call caml_call_gc
001e7cc7jmp 0x1e7c94
001e7cc9
001e7cc9loc_1e7cc9:
001e7cc9call caml_call_gc
001e7ccejmp 0x1e7c30
001e7cd3
001e7cd3loc_1e7cd3:
001e7cd3call caml_call_gc
001e7cd8jmp 0x1e7bc8
001e7cdd
001e7cddloc_1e7cdd:
001e7cddcall caml_ml_array_bound_error
001e7ce2
001e7ce2loc_1e7ce2:
001e7ce2push 36
001e7ce4call caml_call_realloc_stack
001e7ce9pop r10
001e7cebjmp 0x1e7b52
001e7b40

001e7cf0
001e7cf0Stdlib.Hashtbl.find_all:
001e7cf0lea r10, [rsp-336]
001e7cf8cmp r10, [r14+40]
001e7cfcjb 0x1e7dac
001e7d02
001e7d02loc_1e7d02:
001e7d02sub rsp, 16
001e7d06mov [rsp], rax
001e7d0asub r15, 64
001e7d0ecmp r15, [r14]
001e7d11jb 0x1e7d9d
001e7d17
001e7d17loc_1e7d17:
001e7d17lea rdi, [r15+8]
001e7d1bmov [rsp+8], rdi
001e7d20mov [rdi-8], 7415
001e7d28lea rsi, [rip+401]
001e7d2fmov [rdi], rsi
001e7d32mov rsi, 0x10000000000000d
001e7d3cmov [rdi+8], rsi
001e7d40mov [rdi+16], 3321
001e7d48lea rsi, [rip-0xf0e1f]
001e7d4fmov [rdi+24], rsi
001e7d53mov rsi, 0x300000000000007
001e7d5dmov [rdi+32], rsi
001e7d61lea rsi, [rip+88]
001e7d68mov [rdi+40], rsi
001e7d6cmov [rdi+48], rbx
001e7d70call Stdlib.Hashtbl.key_index
001e7d75mov rbx, [rsp]
001e7d79mov rbx, [rbx+8]
001e7d7dmov rdi, [rbx-8]
001e7d81shr rdi, 9
001e7d85cmp rdi, rax
001e7d88jbe 0x1e7da7
001e7d8amov rax, [rbx+4*rax-4]
001e7d8fmov rbx, [rsp+8]
001e7d94add rsp, 16
001e7d98jmp 0x1e7ec0
001e7d9d
001e7d9dloc_1e7d9d:
001e7d9dcall caml_call_gc
001e7da2jmp 0x1e7d17
001e7da7
001e7da7loc_1e7da7:
001e7da7call caml_ml_array_bound_error
001e7dac
001e7dacloc_1e7dac:
001e7dacpush 35
001e7daecall caml_call_realloc_stack
001e7db3pop r10
001e7db5jmp 0x1e7d02
001e7cf0

001e7dba
001e7dba // align 0x10

001e7dc0
001e7dc0Stdlib.Hashtbl.find_in_bucket_dps:
001e7dc0sub rsp, 40
001e7dc4
001e7dc4loc_1e7dc4:
001e7dc4cmp r15, [r14]
001e7dc7jbe 0x1e7eb4
001e7dcd
001e7dcdloc_1e7dcd:
001e7dcdtest dil, 1
001e7dd1je 0x1e7df8
001e7dd3mov esi, 1
001e7dd8lea rdi, [rax+4*rbx-4]
001e7dddmov rbx, rsp
001e7de0mov rsp, [r14+64]
001e7de4call caml_initialize
001e7de9mov rsp, rbx
001e7decmov eax, 1
001e7df1add rsp, 40
001e7df5ret
001e7df6
001e7df6 66 90 f.
001e7df8
001e7df8loc_1e7df8:
001e7df8mov [rsp+32], rsi
001e7dfdmov [rsp+8], rbx
001e7e02mov [rsp+16], rax
001e7e07mov rax, [rdi]
001e7e0amov rbx, [rdi+8]
001e7e0emov [rsp], rbx
001e7e12mov rbx, [rdi+16]
001e7e16mov [rsp+24], rbx
001e7e1bmov rsi, [rsi+24]
001e7e1fmov rdi, rax
001e7e22lea rax, [rip+0x18a87]
001e7e29call caml_c_call
001e7e2ecmp rax, 1
001e7e32jne 0x1e7e94
001e7e34sub r15, 24
001e7e38cmp r15, [r14]
001e7e3bjb 0x1e7ead
001e7e3d
001e7e3dloc_1e7e3d:
001e7e3dlea r12, [r15+8]
001e7e41mov [r12-8], 2048
001e7e4amov rax, [rsp]
001e7e4emov [r12], rax
001e7e52mov [r12+8], 48059
001e7e5bmov rax, [rsp+8]
001e7e60mov rbx, [rsp+16]
001e7e65lea rdi, [rbx+4*rax-4]
001e7e6amov rsi, r12
001e7e6dmov rbx, rsp
001e7e70mov rsp, [r14+64]
001e7e74call caml_initialize
001e7e79mov rsp, rbx
001e7e7cmov ebx, 3
001e7e81mov rax, r12
001e7e84mov rdi, [rsp+24]
001e7e89mov rsi, [rsp+32]
001e7e8ejmp 0x1e7dc4
001e7e93
001e7e93 90 .
001e7e94
001e7e94loc_1e7e94:
001e7e94mov rax, [rsp+16]
001e7e99mov rbx, [rsp+8]
001e7e9emov rdi, [rsp+24]
001e7ea3mov rsi, [rsp+32]
001e7ea8jmp 0x1e7dc4
001e7ead
001e7eadloc_1e7ead:
001e7eadcall caml_call_gc
001e7eb2jmp 0x1e7e3d
001e7eb4
001e7eb4loc_1e7eb4:
001e7eb4call caml_call_gc
001e7eb9jmp 0x1e7dcd
001e7dc0

001e7ebe
001e7ebe // align 0x10

001e7ec0
001e7ec0Stdlib.Hashtbl.find_in_bucket:
001e7ec0lea r10, [rsp-352]
001e7ec8cmp r10, [r14+40]
001e7eccjb 0x1e7f8c
001e7ed2
001e7ed2loc_1e7ed2:
001e7ed2sub rsp, 32
001e7ed6
001e7ed6loc_1e7ed6:
001e7ed6cmp r15, [r14]
001e7ed9jbe 0x1e7f82
001e7edf
001e7edfloc_1e7edf:
001e7edftest al, 1
001e7ee1je 0x1e7ef0
001e7ee3mov eax, 1
001e7ee8add rsp, 32
001e7eecret
001e7eed
001e7eed 0f 1f 00 ...
001e7ef0
001e7ef0loc_1e7ef0:
001e7ef0mov [rsp+8], rbx
001e7ef5mov rdi, [rax]
001e7ef8mov rsi, [rax+8]
001e7efcmov [rsp], rsi
001e7f00mov rax, [rax+16]
001e7f04mov [rsp+16], rax
001e7f09mov rsi, [rbx+48]
001e7f0dlea rax, [rip+0x1899c]
001e7f14call caml_c_call
001e7f19cmp rax, 1
001e7f1djne 0x1e7f6c
001e7f1fsub r15, 24
001e7f23cmp r15, [r14]
001e7f26jb 0x1e7f7b
001e7f28
001e7f28loc_1e7f28:
001e7f28lea rax, [r15+8]
001e7f2cmov [rsp+24], rax
001e7f31mov [rax-8], 2048
001e7f39mov rbx, [rsp]
001e7f3dmov [rax], rbx
001e7f40mov [rax+8], 48059
001e7f48mov rsi, [rsp+8]
001e7f4dadd rsi, 24
001e7f51mov ebx, 3
001e7f56mov rdi, [rsp+16]
001e7f5bcall Stdlib.Hashtbl.find_in_bucket_dps
001e7f60mov rax, [rsp+24]
001e7f65add rsp, 32
001e7f69ret
001e7f6a
001e7f6a 66 90 f.
001e7f6c
001e7f6cloc_1e7f6c:
001e7f6cmov rax, [rsp+16]
001e7f71mov rbx, [rsp+8]
001e7f76jmp 0x1e7ed6
001e7f7b
001e7f7bloc_1e7f7b:
001e7f7bcall caml_call_gc
001e7f80jmp 0x1e7f28
001e7f82
001e7f82loc_1e7f82:
001e7f82call caml_call_gc
001e7f87jmp 0x1e7edf
001e7f8c
001e7f8cloc_1e7f8c:
001e7f8cpush 37
001e7f8ecall caml_call_realloc_stack
001e7f93pop r10
001e7f95jmp 0x1e7ed2
001e7ec0

001e7f9a
001e7f9a // align 0x10

001e7fa0
001e7fa0Stdlib.Hashtbl.replace_bucket:
001e7fa0sub rsp, 32
001e7fa4
001e7fa4loc_1e7fa4:
001e7fa4cmp r15, [r14]
001e7fa7jbe 0x1e8047
001e7fad
001e7fadloc_1e7fad:
001e7fadtest dil, 1
001e7fb1je 0x1e7fc0
001e7fb3mov eax, 3
001e7fb8add rsp, 32
001e7fbcret
001e7fbd
001e7fbd 0f 1f 00 ...
001e7fc0
001e7fc0loc_1e7fc0:
001e7fc0mov [rsp+8], rdi
001e7fc5mov [rsp+24], rbx
001e7fcamov [rsp+16], rax
001e7fcfmov rbx, [rdi]
001e7fd2mov rdi, [rdi+16]
001e7fd6mov [rsp], rdi
001e7fdamov rdi, rbx
001e7fddmov rsi, rax
001e7fe0lea rax, [rip+0x188c9]
001e7fe7call caml_c_call
001e7feccmp rax, 1
001e7ff0jne 0x1e8034
001e7ff2mov r12, [rsp+8]
001e7ff7mov rdi, r12
001e7ffamov rsi, [rsp+16]
001e7fffmov rbx, rsp
001e8002mov rsp, [r14+64]
001e8006call caml_modify
001e800bmov rsp, rbx
001e800emov rdi, r12
001e8011add rdi, 8
001e8015mov rsi, [rsp+24]
001e801amov rbx, rsp
001e801dmov rsp, [r14+64]
001e8021call caml_modify
001e8026mov rsp, rbx
001e8029mov eax, 1
001e802eadd rsp, 32
001e8032ret
001e8033
001e8033 90 .
001e8034
001e8034loc_1e8034:
001e8034mov rax, [rsp+16]
001e8039mov rbx, [rsp+24]
001e803emov rdi, [rsp]
001e8042jmp 0x1e7fa4
001e8047
001e8047loc_1e8047:
001e8047call caml_call_gc
001e804cjmp 0x1e7fad
001e7fa0

001e8051
001e8051 // align 0x10

001e8060
001e8060Stdlib.Hashtbl.replace:
001e8060lea r10, [rsp-360]
001e8068cmp r10, [r14+40]
001e806cjb 0x1e8196
001e8072
001e8072loc_1e8072:
001e8072sub rsp, 40
001e8076mov [rsp+24], rax
001e807bmov [rsp], rbx
001e807fmov [rsp+8], rdi
001e8084call Stdlib.Hashtbl.key_index
001e8089mov [rsp+32], rax
001e808emov rbx, [rsp+24]
001e8093mov rbx, [rbx+8]
001e8097mov rdi, [rbx-8]
001e809bshr rdi, 9
001e809fcmp rdi, rax
001e80a2jbe 0x1e8191
001e80a8mov rdi, [rbx+4*rax-4]
001e80admov [rsp+16], rdi
001e80b2mov rax, [rsp]
001e80b6mov rbx, [rsp+8]
001e80bbcall Stdlib.Hashtbl.replace_bucket
001e80c0cmp rax, 1
001e80c4je 0x1e8178
001e80casub r15, 32
001e80cecmp r15, [r14]
001e80d1jb 0x1e8182
001e80d7
001e80d7loc_1e80d7:
001e80d7lea rsi, [r15+8]
001e80dbmov [rsi-8], 3072
001e80e3mov rax, [rsp]
001e80e7mov [rsi], rax
001e80eamov rax, [rsp+8]
001e80efmov [rsi+8], rax
001e80f3mov rax, [rsp+16]
001e80f8mov [rsi+16], rax
001e80fcmov r12, [rsp+24]
001e8101mov rax, [r12+8]
001e8106mov rbx, [rax-8]
001e810ashr rbx, 9
001e810emov rdi, [rsp+32]
001e8113cmp rbx, rdi
001e8116jbe 0x1e818c
001e8118lea rdi, [rax+4*rdi-4]
001e811dmov rbx, rsp
001e8120mov rsp, [r14+64]
001e8124call caml_modify
001e8129mov rsp, rbx
001e812cadd [r12], 2
001e8131mov rax, [r12+8]
001e8136mov rax, [rax-8]
001e813ashr rax, 9
001e813eor rax, 1
001e8142lea rax, [rax+rax-1]
001e8147mov rbx, [r12]
001e814bcmp rbx, rax
001e814ejle 0x1e816c
001e8150lea rax, [rip+0x181eb1]
001e8157mov rax, [rax+336]
001e815emov rbx, r12
001e8161add rsp, 40
001e8165jmp 0x1e5300
001e816a
001e816a 66 90 f.
001e816c
001e816cloc_1e816c:
001e816cmov eax, 1
001e8171add rsp, 40
001e8175ret
001e8176
001e8176 66 90 f.
001e8178
001e8178loc_1e8178:
001e8178mov eax, 1
001e817dadd rsp, 40
001e8181ret
001e8182
001e8182loc_1e8182:
001e8182call caml_call_gc
001e8187jmp 0x1e80d7
001e818c
001e818cloc_1e818c:
001e818ccall caml_ml_array_bound_error
001e8191
001e8191loc_1e8191:
001e8191call caml_ml_array_bound_error
001e8196
001e8196loc_1e8196:
001e8196push 38
001e8198call caml_call_realloc_stack
001e819dpop r10
001e819fjmp 0x1e8072
001e8060

001e81a4
001e81a4 // align 0x10

001e81b0
001e81b0Stdlib.Hashtbl.mem_in_bucket:
001e81b0sub rsp, 16
001e81b4
001e81b4loc_1e81b4:
001e81b4cmp r15, [r14]
001e81b7jbe 0x1e8202
001e81b9
001e81b9loc_1e81b9:
001e81b9test bl, 1
001e81bcje 0x1e81c8
001e81bemov eax, 1
001e81c3add rsp, 16
001e81c7ret
001e81c8
001e81c8loc_1e81c8:
001e81c8mov [rsp], rax
001e81ccmov rdi, [rbx]
001e81cfmov rbx, [rbx+16]
001e81d3mov [rsp+8], rbx
001e81d8mov rsi, rax
001e81dblea rax, [rip+0x186ce]
001e81e2call caml_c_call
001e81e7cmp rax, 1
001e81ebje 0x1e81f8
001e81edmov rax, [rsp]
001e81f1mov rbx, [rsp+8]
001e81f6jmp 0x1e81b4
001e81f8
001e81f8loc_1e81f8:
001e81f8mov eax, 3
001e81fdadd rsp, 16
001e8201ret
001e8202
001e8202loc_1e8202:
001e8202call caml_call_gc
001e8207jmp 0x1e81b9
001e81b0

001e8209
001e8209 // align 0x10

001e8210
001e8210Stdlib.Hashtbl.mem:
001e8210lea r10, [rsp-336]
001e8218cmp r10, [r14+40]
001e821cjb 0x1e825d
001e821e
001e821eloc_1e821e:
001e821esub rsp, 16
001e8222mov [rsp], rax
001e8226mov [rsp+8], rbx
001e822bcall Stdlib.Hashtbl.key_index
001e8230mov rbx, [rsp]
001e8234mov rbx, [rbx+8]
001e8238mov rdi, [rbx-8]
001e823cshr rdi, 9
001e8240cmp rdi, rax
001e8243jbe 0x1e8258
001e8245mov rbx, [rbx+4*rax-4]
001e824amov rax, [rsp+8]
001e824fadd rsp, 16
001e8253jmp 0x1e81b0
001e8258
001e8258loc_1e8258:
001e8258call caml_ml_array_bound_error
001e825d
001e825dloc_1e825d:
001e825dpush 35
001e825fcall caml_call_realloc_stack
001e8264pop r10
001e8266jmp 0x1e821e
001e8210

001e8268
001e8268 // align 0x10

001e8270
001e8270Stdlib.Hashtbl.add_seq:
001e8270sub r15, 40
001e8274cmp r15, [r14]
001e8277jb 0x1e82b4
001e8279
001e8279loc_1e8279:
001e8279lea rdi, [r15+8]
001e827dmov [rdi-8], 4343
001e8285lea rsi, [rip-0xf120c]
001e828cmov [rdi], rsi
001e828fmov rsi, 0xfe00000000000007
001e8299mov [rdi+8], rsi
001e829dlea rsi, [rip+28]
001e82a4mov [rdi+16], rsi
001e82a8mov [rdi+24], rax
001e82acmov rax, rdi
001e82afjmp 0x19a840
001e82b4
001e82b4loc_1e82b4:
001e82b4call caml_call_gc
001e82b9jmp 0x1e8279
001e8270

001e82bb
001e82bb // align 0x10

001e82c0
001e82c0Stdlib.Hashtbl.fun:
001e82c0mov rsi, rax
001e82c3mov rdx, rbx
001e82c6mov rax, [rdi+24]
001e82camov rbx, rsi
001e82cdmov rdi, rdx
001e82d0jmp 0x1e7690
001e82c0

001e82d5
001e82d5 // align 0x10

001e82e0
001e82e0Stdlib.Hashtbl.replace_seq:
001e82e0sub r15, 40
001e82e4cmp r15, [r14]
001e82e7jb 0x1e8324
001e82e9
001e82e9loc_1e82e9:
001e82e9lea rdi, [r15+8]
001e82edmov [rdi-8], 4343
001e82f5lea rsi, [rip-0xf127c]
001e82fcmov [rdi], rsi
001e82ffmov rsi, 0xfe00000000000007
001e8309mov [rdi+8], rsi
001e830dlea rsi, [rip+28]
001e8314mov [rdi+16], rsi
001e8318mov [rdi+24], rax
001e831cmov rax, rdi
001e831fjmp 0x19a840
001e8324
001e8324loc_1e8324:
001e8324call caml_call_gc
001e8329jmp 0x1e82e9
001e82e0

001e832b
001e832b // align 0x10

001e8330
001e8330Stdlib.Hashtbl.fun:
001e8330mov rsi, rax
001e8333mov rdx, rbx
001e8336mov rax, [rdi+24]
001e833amov rbx, rsi
001e833dmov rdi, rdx
001e8340jmp 0x1e8060
001e8330

001e8345
001e8345 // align 0x10

001e8350
001e8350Stdlib.Hashtbl.of_seq:
001e8350lea r10, [rsp-336]
001e8358cmp r10, [r14+40]
001e835cjb 0x1e8399
001e835e
001e835eloc_1e835e:
001e835esub rsp, 16
001e8362mov [rsp], rax
001e8366lea rax, [rip+0x181c9b]
001e836dmov rax, [rax+272]
001e8374mov rax, [rax]
001e8377mov ebx, 33
001e837ccall Stdlib.Hashtbl.create_inner
001e8381mov [rsp+8], rax
001e8386mov rbx, [rsp]
001e838acall Stdlib.Hashtbl.replace_seq
001e838fmov rax, [rsp+8]
001e8394add rsp, 16
001e8398ret
001e8399
001e8399loc_1e8399:
001e8399push 35
001e839bcall caml_call_realloc_stack
001e83a0pop r10
001e83a2jmp 0x1e835e
001e8350

001e83a4
001e83a4 // align 0x10

001e83b0
001e83b0Stdlib.Hashtbl.rebuild_inner:
001e83b0lea r10, [rsp-352]
001e83b8cmp r10, [r14+40]
001e83bcjb 0x1e8552
001e83c2
001e83c2loc_1e83c2:
001e83c2sub rsp, 32
001e83c6mov [rsp], rax
001e83camov [rsp+24], rbx
001e83cfmov rax, [rbx+8]
001e83d3mov rbx, [rax-8]
001e83d7shr rbx, 9
001e83dbor rbx, 1
001e83dfmov eax, 33
001e83e4call Stdlib.Hashtbl.power_2_above
001e83e9mov [rsp+16], rax
001e83eemov rax, [rsp]
001e83f2cmp rax, 1
001e83f6je 0x1e8440
001e83f8lea rax, [rip+0x163f49]
001e83ffmov rax, [rax+80]
001e8403mov rbx, [rax+8]
001e8407lea rax, [rip+0x181bfa]
001e840emov rax, [rax+280]
001e8415mov rdi, [rbx]
001e8418call rdi
001e841amov rdi, rax
001e841dmov rbx, rsp
001e8420mov rsp, [r14+64]
001e8424call caml_lxm_next_unboxed
001e8429mov rsp, rbx
001e842cshl rax, 1
001e842finc rax
001e8432and rax, 0x7fffffff
001e8438mov [rsp], rax
001e843cjmp 0x1e846d
001e843e
001e843e 66 90 f.
001e8440
001e8440loc_1e8440:
001e8440mov rbx, [rsp+24]
001e8445mov rax, [rbx-8]
001e8449shr rax, 9
001e844dor rax, 1
001e8451cmp rax, 9
001e8455jl 0x1e8464
001e8457mov rax, [rbx+16]
001e845bmov [rsp], rax
001e845fjmp 0x1e846d
001e8461
001e8461 0f 1f 00 ...
001e8464
001e8464loc_1e8464:
001e8464mov eax, 1
001e8469mov [rsp], rax
001e846d
001e846dloc_1e846d:
001e846dmov rbx, [rsp+24]
001e8472mov rax, [rbx-8]
001e8476shr rax, 9
001e847aor rax, 1
001e847ecmp rax, 9
001e8482jl 0x1e8490
001e8484mov rax, [rbx+24]
001e8488mov [rsp+8], rax
001e848djmp 0x1e849a
001e848f
001e848f 90 .
001e8490
001e8490loc_1e8490:
001e8490mov rax, [rsp+16]
001e8495mov [rsp+8], rax
001e849a
001e849aloc_1e849a:
001e849amov esi, 1
001e849fmov rdi, [rsp+16]
001e84a4lea rax, [rip+0x117f5]
001e84abcall caml_c_call
001e84b0sub r15, 80
001e84b4cmp r15, [r14]
001e84b7jb 0x1e8548
001e84bd
001e84bdloc_1e84bd:
001e84bdlea rbx, [r15+8]
001e84c1add rbx, 40
001e84c5mov [rsp+16], rbx
001e84camov [rbx-8], 4096
001e84d2mov rdx, [rsp+24]
001e84d7mov rdi, [rdx]
001e84damov [rbx], rdi
001e84ddmov [rbx+8], rax
001e84e1mov rax, [rsp]
001e84e5mov [rbx+16], rax
001e84e9mov rax, [rsp+8]
001e84eemov [rbx+24], rax
001e84f2lea rax, [rip+0x181b0f]
001e84f9mov rdi, [rax+336]
001e8500lea rax, [rbx-40]
001e8504mov [rax-8], 4343
001e850clea rsi, [rip+109]
001e8513mov [rax], rsi
001e8516mov rsi, 0x100000000000005
001e8520mov [rax+8], rsi
001e8524mov [rax+16], rbx
001e8528mov [rax+24], rdi
001e852cmov rsi, [rbx+8]
001e8530mov rdi, [rdx+8]
001e8534mov ebx, 1
001e8539call Stdlib.Hashtbl.insert_all_buckets
001e853emov rax, [rsp+16]
001e8543add rsp, 32
001e8547ret
001e8548
001e8548loc_1e8548:
001e8548call caml_call_gc
001e854djmp 0x1e84bd
001e8552
001e8552loc_1e8552:
001e8552push 37
001e8554call caml_call_realloc_stack
001e8559pop r10
001e855bjmp 0x1e83c2
001e83b0

001e8560
001e8560Stdlib.Hashtbl.rebuild:
001e8560test al, 1
001e8562je 0x1e8578
001e8564lea rax, [rip+0x181a9d]
001e856bmov rax, [rax+272]
001e8572mov rax, [rax]
001e8575jmp 0x1e857b
001e8577
001e8577 90 .
001e8578
001e8578loc_1e8578:
001e8578mov rax, [rax]
001e857b
001e857bloc_1e857b:
001e857bjmp 0x1e83b0
001e8560

001e8580
001e8580Stdlib.Hashtbl.fun:
001e8580mov rdi, rax
001e8583mov rax, [rbx+16]
001e8587mov rbx, rdi
001e858ajmp 0x1e7630
001e8580

001e858f
001e858f // align 0x10

001e8590
001e8590Stdlib.Hashtbl.entry:
001e8590lea r10, [rsp-336]
001e8598cmp r10, [r14+40]
001e859cjb 0x1e8cfa
001e85a2
001e85a2loc_1e85a2:
001e85a2lea rsi, [rip+0x181537]
001e85a9lea rdi, [rip+0x181a58]
001e85b0add rdi, 240
001e85b7mov rbx, rsp
001e85bamov rsp, [r14+64]
001e85becall caml_initialize
001e85c3mov rsp, rbx
001e85c6lea rsi, [rip+0x181533]
001e85cdlea rdi, [rip+0x181a34]
001e85d4add rdi, 248
001e85dbmov rbx, rsp
001e85demov rsp, [r14+64]
001e85e2call caml_initialize
001e85e7mov rsp, rbx
001e85ealea rsi, [rip+0x181527]
001e85f1lea rdi, [rip+0x181a10]
001e85f8add rdi, 256
001e85ffmov rbx, rsp
001e8602mov rsp, [r14+64]
001e8606call caml_initialize
001e860bmov rsp, rbx
001e860elea r11, [rip+39]
001e8615push r11
001e8617push [r14+48]
001e861bmov [r14+48], rsp
001e861flea rdi, [rip+0x181c1a]
001e8626lea rax, [rip+0x3a613]
001e862dcall caml_c_call
001e8632pop [r14+48]
001e8636add rsp, 8
001e863ajmp 0x1e869d
001e863clea rbx, [rip+0x144fd5]
001e8643mov rbx, [rbx+56]
001e8647cmp rax, rbx
001e864ajne 0x1e8698
001e864clea r11, [rip+39]
001e8653push r11
001e8655push [r14+48]
001e8659mov [r14+48], rsp
001e865dlea rdi, [rip+0x181bc4]
001e8664lea rax, [rip+0x3a5d5]
001e866bcall caml_c_call
001e8670pop [r14+48]
001e8674add rsp, 8
001e8678jmp 0x1e869d
001e867alea rbx, [rip+0x144f97]
001e8681mov rbx, [rbx+56]
001e8685cmp rax, rbx
001e8688jne 0x1e8693
001e868alea rax, [rip+0x181b87]
001e8691jmp 0x1e869d
001e8693
001e8693loc_1e8693:
001e8693call caml_reraise_exn
001e8698
001e8698loc_1e8698:
001e8698call caml_reraise_exn
001e869d
001e869dloc_1e869d:
001e869dmov edi, 165
001e86a2mov ebx, 1
001e86a7call Stdlib.String.contains_from
001e86aclea rdi, [rip+0x181955]
001e86b3add rdi, 264
001e86bamov rsi, rax
001e86bdmov rbx, rsp
001e86c0mov rsp, [r14+64]
001e86c4call caml_initialize
001e86c9mov rsp, rbx
001e86cclea rdi, [rip+0x181935]
001e86d3mov rax, [rdi+264]
001e86dacall caml_alloc1
001e86dflea rsi, [r15+8]
001e86e3mov [rsi-8], 1024
001e86ebmov [rsi], rax
001e86eeadd rdi, 272
001e86f5mov rbx, rsp
001e86f8mov rsp, [r14+64]
001e86fccall caml_initialize
001e8701mov rsp, rbx
001e8704lea rsi, [rip+0x181425]
001e870blea rdi, [rip+0x1818f6]
001e8712add rdi, 120
001e8716mov rbx, rsp
001e8719mov rsp, [r14+64]
001e871dcall caml_initialize
001e8722mov rsp, rbx
001e8725lea rsi, [rip+0x18141c]
001e872clea rdi, [rip+0x1818d5]
001e8733add rdi, 128
001e873amov rbx, rsp
001e873dmov rsp, [r14+64]
001e8741call caml_initialize
001e8746mov rsp, rbx
001e8749lea rax, [rip+0x17f7b0]
001e8750mov rax, [rax+144]
001e8757mov rbx, [rax+8]
001e875bmov eax, 1
001e8760call Stdlib.Domain.new_key
001e8765lea rdi, [rip+0x18189c]
001e876cadd rdi, 280
001e8773mov rsi, rax
001e8776mov rbx, rsp
001e8779mov rsp, [r14+64]
001e877dcall caml_initialize
001e8782mov rsp, rbx
001e8785lea rsi, [rip+0x1813d4]
001e878clea rdi, [rip+0x181875]
001e8793add rdi, 288
001e879amov rbx, rsp
001e879dmov rsp, [r14+64]
001e87a1call caml_initialize
001e87a6mov rsp, rbx
001e87a9lea rsi, [rip+0x1813d0]
001e87b0lea rdi, [rip+0x181851]
001e87b7mov rbx, rsp
001e87bamov rsp, [r14+64]
001e87becall caml_initialize
001e87c3mov rsp, rbx
001e87c6lea rsi, [rip+0x1813f3]
001e87cdlea rdi, [rip+0x181834]
001e87d4add rdi, 8
001e87d8mov rbx, rsp
001e87dbmov rsp, [r14+64]
001e87dfcall caml_initialize
001e87e4mov rsp, rbx
001e87e7lea rsi, [rip+0x1813ea]
001e87eelea rdi, [rip+0x181813]
001e87f5add rdi, 16
001e87f9mov rbx, rsp
001e87fcmov rsp, [r14+64]
001e8800call caml_initialize
001e8805mov rsp, rbx
001e8808lea rsi, [rip+0x1813e1]
001e880flea rdi, [rip+0x1817f2]
001e8816add rdi, 296
001e881dmov rbx, rsp
001e8820mov rsp, [r14+64]
001e8824call caml_initialize
001e8829mov rsp, rbx
001e882clea rsi, [rip+0x1813d5]
001e8833lea rdi, [rip+0x1817ce]
001e883aadd rdi, 24
001e883emov rbx, rsp
001e8841mov rsp, [r14+64]
001e8845call caml_initialize
001e884amov rsp, rbx
001e884dlea rsi, [rip+0x1813cc]
001e8854lea rdi, [rip+0x1817ad]
001e885badd rdi, 112
001e885fmov rbx, rsp
001e8862mov rsp, [r14+64]
001e8866call caml_initialize
001e886bmov rsp, rbx
001e886elea rsi, [rip+0x1813c3]
001e8875lea rdi, [rip+0x18178c]
001e887cadd rdi, 304
001e8883mov rbx, rsp
001e8886mov rsp, [r14+64]
001e888acall caml_initialize
001e888fmov rsp, rbx
001e8892lea rsi, [rip+0x1813bf]
001e8899lea rdi, [rip+0x181768]
001e88a0add rdi, 312
001e88a7mov rbx, rsp
001e88aamov rsp, [r14+64]
001e88aecall caml_initialize
001e88b3mov rsp, rbx
001e88b6lea rsi, [rip+0x1813bb]
001e88bdlea rdi, [rip+0x181744]
001e88c4add rdi, 88
001e88c8mov rbx, rsp
001e88cbmov rsp, [r14+64]
001e88cfcall caml_initialize
001e88d4mov rsp, rbx
001e88d7lea rsi, [rip+0x1813ba]
001e88delea rdi, [rip+0x181723]
001e88e5add rdi, 320
001e88ecmov rbx, rsp
001e88efmov rsp, [r14+64]
001e88f3call caml_initialize
001e88f8mov rsp, rbx
001e88fblea rsi, [rip+0x1813b6]
001e8902lea rdi, [rip+0x1816ff]
001e8909add rdi, 96
001e890dmov rbx, rsp
001e8910mov rsp, [r14+64]
001e8914call caml_initialize
001e8919mov rsp, rbx
001e891clea rsi, [rip+0x1813b5]
001e8923lea rdi, [rip+0x1816de]
001e892aadd rdi, 104
001e892emov rbx, rsp
001e8931mov rsp, [r14+64]
001e8935call caml_initialize
001e893amov rsp, rbx
001e893dlea rsi, [rip+0x1813b4]
001e8944lea rdi, [rip+0x1816bd]
001e894badd rdi, 328
001e8952mov rbx, rsp
001e8955mov rsp, [r14+64]
001e8959call caml_initialize
001e895emov rsp, rbx
001e8961lea rsi, [rip+0x1813b0]
001e8968lea rdi, [rip+0x181699]
001e896fadd rdi, 144
001e8976mov rbx, rsp
001e8979mov rsp, [r14+64]
001e897dcall caml_initialize
001e8982mov rsp, rbx
001e8985lea rsi, [rip+0x1813a4]
001e898clea rdi, [rip+0x181675]
001e8993add rdi, 152
001e899amov rbx, rsp
001e899dmov rsp, [r14+64]
001e89a1call caml_initialize
001e89a6mov rsp, rbx
001e89a9lea rsi, [rip+0x181398]
001e89b0lea rdi, [rip+0x181651]
001e89b7add rdi, 160
001e89bemov rbx, rsp
001e89c1mov rsp, [r14+64]
001e89c5call caml_initialize
001e89camov rsp, rbx
001e89cdlea rsi, [rip+0x18138c]
001e89d4lea rdi, [rip+0x18162d]
001e89dbadd rdi, 168
001e89e2mov rbx, rsp
001e89e5mov rsp, [r14+64]
001e89e9call caml_initialize
001e89eemov rsp, rbx
001e89f1lea rsi, [rip+0x181048]
001e89f8lea rdi, [rip+0x181609]
001e89ffadd rdi, 208
001e8a06mov rbx, rsp
001e8a09mov rsp, [r14+64]
001e8a0dcall caml_initialize
001e8a12mov rsp, rbx
001e8a15lea rsi, [rip+0x18100c]
001e8a1clea rdi, [rip+0x1815e5]
001e8a23add rdi, 200
001e8a2amov rbx, rsp
001e8a2dmov rsp, [r14+64]
001e8a31call caml_initialize
001e8a36mov rsp, rbx
001e8a39lea rsi, [rip+0x181338]
001e8a40lea rdi, [rip+0x1815c1]
001e8a47add rdi, 216
001e8a4emov rbx, rsp
001e8a51mov rsp, [r14+64]
001e8a55call caml_initialize
001e8a5amov rsp, rbx
001e8a5dlea rsi, [rip+0x18132c]
001e8a64lea rdi, [rip+0x18159d]
001e8a6badd rdi, 232
001e8a72mov rbx, rsp
001e8a75mov rsp, [r14+64]
001e8a79call caml_initialize
001e8a7emov rsp, rbx
001e8a81lea rsi, [rip+0x181328]
001e8a88lea rdi, [rip+0x181579]
001e8a8fadd rdi, 224
001e8a96mov rbx, rsp
001e8a99mov rsp, [r14+64]
001e8a9dcall caml_initialize
001e8aa2mov rsp, rbx
001e8aa5lea rsi, [rip+0x181324]
001e8aaclea rdi, [rip+0x181555]
001e8ab3add rdi, 336
001e8abamov rbx, rsp
001e8abdmov rsp, [r14+64]
001e8ac1call caml_initialize
001e8ac6mov rsp, rbx
001e8ac9lea rsi, [rip+0x181320]
001e8ad0lea rdi, [rip+0x181531]
001e8ad7add rdi, 32
001e8adbmov rbx, rsp
001e8ademov rsp, [r14+64]
001e8ae2call caml_initialize
001e8ae7mov rsp, rbx
001e8aealea rsi, [rip+0x18131f]
001e8af1lea rdi, [rip+0x181510]
001e8af8add rdi, 344
001e8affmov rbx, rsp
001e8b02mov rsp, [r14+64]
001e8b06call caml_initialize
001e8b0bmov rsp, rbx
001e8b0elea rsi, [rip+0x18131b]
001e8b15lea rdi, [rip+0x1814ec]
001e8b1cadd rdi, 72
001e8b20mov rbx, rsp
001e8b23mov rsp, [r14+64]
001e8b27call caml_initialize
001e8b2cmov rsp, rbx
001e8b2flea rsi, [rip+0x18131a]
001e8b36lea rdi, [rip+0x1814cb]
001e8b3dadd rdi, 352
001e8b44mov rbx, rsp
001e8b47mov rsp, [r14+64]
001e8b4bcall caml_initialize
001e8b50mov rsp, rbx
001e8b53lea rsi, [rip+0x181316]
001e8b5alea rdi, [rip+0x1814a7]
001e8b61add rdi, 40
001e8b65mov rbx, rsp
001e8b68mov rsp, [r14+64]
001e8b6ccall caml_initialize
001e8b71mov rsp, rbx
001e8b74lea rsi, [rip+0x181315]
001e8b7blea rdi, [rip+0x181486]
001e8b82add rdi, 360
001e8b89mov rbx, rsp
001e8b8cmov rsp, [r14+64]
001e8b90call caml_initialize
001e8b95mov rsp, rbx
001e8b98lea rsi, [rip+0x181311]
001e8b9flea rdi, [rip+0x181462]
001e8ba6add rdi, 48
001e8baamov rbx, rsp
001e8badmov rsp, [r14+64]
001e8bb1call caml_initialize
001e8bb6mov rsp, rbx
001e8bb9lea rsi, [rip+0x181310]
001e8bc0lea rdi, [rip+0x181441]
001e8bc7add rdi, 56
001e8bcbmov rbx, rsp
001e8bcemov rsp, [r14+64]
001e8bd2call caml_initialize
001e8bd7mov rsp, rbx
001e8bdalea rsi, [rip+0x18130f]
001e8be1lea rdi, [rip+0x181420]
001e8be8add rdi, 368
001e8befmov rbx, rsp
001e8bf2mov rsp, [r14+64]
001e8bf6call caml_initialize
001e8bfbmov rsp, rbx
001e8bfelea rsi, [rip+0x18130b]
001e8c05lea rdi, [rip+0x1813fc]
001e8c0cadd rdi, 80
001e8c10mov rbx, rsp
001e8c13mov rsp, [r14+64]
001e8c17call caml_initialize
001e8c1cmov rsp, rbx
001e8c1flea rsi, [rip+0x18130a]
001e8c26lea rdi, [rip+0x1813db]
001e8c2dadd rdi, 376
001e8c34mov rbx, rsp
001e8c37mov rsp, [r14+64]
001e8c3bcall caml_initialize
001e8c40mov rsp, rbx
001e8c43lea rsi, [rip+0x181306]
001e8c4alea rdi, [rip+0x1813b7]
001e8c51add rdi, 64
001e8c55mov rbx, rsp
001e8c58mov rsp, [r14+64]
001e8c5ccall caml_initialize
001e8c61mov rsp, rbx
001e8c64lea rsi, [rip+0x181305]
001e8c6blea rdi, [rip+0x181396]
001e8c72add rdi, 176
001e8c79mov rbx, rsp
001e8c7cmov rsp, [r14+64]
001e8c80call caml_initialize
001e8c85mov rsp, rbx
001e8c88lea rsi, [rip+0x181301]
001e8c8flea rdi, [rip+0x181372]
001e8c96add rdi, 184
001e8c9dmov rbx, rsp
001e8ca0mov rsp, [r14+64]
001e8ca4call caml_initialize
001e8ca9mov rsp, rbx
001e8caclea rsi, [rip+0x1812fd]
001e8cb3lea rdi, [rip+0x18134e]
001e8cbaadd rdi, 192
001e8cc1mov rbx, rsp
001e8cc4mov rsp, [r14+64]
001e8cc8call caml_initialize
001e8ccdmov rsp, rbx
001e8cd0lea rsi, [rip+0x1812f1]
001e8cd7lea rdi, [rip+0x18132a]
001e8cdeadd rdi, 136
001e8ce5mov rbx, rsp
001e8ce8mov rsp, [r14+64]
001e8ceccall caml_initialize
001e8cf1mov rsp, rbx
001e8cf4mov eax, 1
001e8cf9ret
001e8cfa
001e8cfaloc_1e8cfa:
001e8cfapush 35
001e8cfccall caml_call_realloc_stack
001e8d01pop r10
001e8d03jmp 0x1e85a2
001e8590

001e8d08
001e8d08 // align 0x10

001e8d10
001e8d10Stdlib.Scanf.next_char:
001e8d10lea r10, [rsp-344]
001e8d18cmp r10, [r14+40]
001e8d1cjb 0x1e8dc9
001e8d22
001e8d22loc_1e8d22:
001e8d22sub rsp, 8
001e8d26mov [rsp], rax
001e8d2alea r11, [rip+83]
001e8d31push r11
001e8d33push [r14+48]
001e8d37mov [r14+48], rsp
001e8d3bmov rbx, [rax+48]
001e8d3fmov eax, 1
001e8d44mov rdi, [rbx]
001e8d47call rdi
001e8d49mov rdi, [rsp+16]
001e8d4emov [rdi+8], rax
001e8d52mov [rdi+16], 3
001e8d5amov rbx, [rdi+24]
001e8d5eadd rbx, 2
001e8d62mov [rdi+24], rbx
001e8d66cmp rax, 21
001e8d6ajne 0x1e8d78
001e8d6cmov rbx, [rdi+32]
001e8d70add rbx, 2
001e8d74mov [rdi+32], rbx
001e8d78
001e8d78loc_1e8d78:
001e8d78pop [r14+48]
001e8d7cadd rsp, 8
001e8d80jmp 0x1e8dc4
001e8d82
001e8d82 66 90 f.
001e8d84lea rbx, [rip+0x14488d]
001e8d8bmov rbx, [rbx+88]
001e8d8fcmp rax, rbx
001e8d92jne 0x1e8dbc
001e8d94mov rax, [rsp]
001e8d98mov [rax+8], 1
001e8da0mov [rax+16], 1
001e8da8mov [rax], 3
001e8dafmov eax, 1
001e8db4add rsp, 8
001e8db8ret
001e8db9
001e8db9 0f 1f 00 ...
001e8dbc
001e8dbcloc_1e8dbc:
001e8dbccall caml_reraise_exn
001e8dc1nop [rax]
001e8dc4
001e8dc4loc_1e8dc4:
001e8dc4add rsp, 8
001e8dc8ret
001e8dc9
001e8dc9loc_1e8dc9:
001e8dc9push 36
001e8dcbcall caml_call_realloc_stack
001e8dd0pop r10
001e8dd2jmp 0x1e8d22
001e8d10

001e8dd7
001e8dd7 // align 0x10

001e8de0
001e8de0Stdlib.Scanf.peek_char:
001e8de0lea r10, [rsp-344]
001e8de8cmp r10, [r14+40]
001e8decjb 0x1e8ead
001e8df2
001e8df2loc_1e8df2:
001e8df2sub rsp, 8
001e8df6mov rbx, [rax+16]
001e8dfacmp rbx, 1
001e8dfeje 0x1e8e0c
001e8e00mov rax, [rax+8]
001e8e04add rsp, 8
001e8e08ret
001e8e09
001e8e09 0f 1f 00 ...
001e8e0c
001e8e0cloc_1e8e0c:
001e8e0cmov [rsp], rax
001e8e10lea r11, [rip+81]
001e8e17push r11
001e8e19push [r14+48]
001e8e1dmov [r14+48], rsp
001e8e21mov rbx, [rax+48]
001e8e25mov eax, 1
001e8e2amov rdi, [rbx]
001e8e2dcall rdi
001e8e2fmov rdi, [rsp+16]
001e8e34mov [rdi+8], rax
001e8e38mov [rdi+16], 3
001e8e40mov rbx, [rdi+24]
001e8e44add rbx, 2
001e8e48mov [rdi+24], rbx
001e8e4ccmp rax, 21
001e8e50jne 0x1e8e5e
001e8e52mov rbx, [rdi+32]
001e8e56add rbx, 2
001e8e5amov [rdi+32], rbx
001e8e5e
001e8e5eloc_1e8e5e:
001e8e5epop [r14+48]
001e8e62add rsp, 8
001e8e66jmp 0x1e8ea8
001e8e68lea rbx, [rip+0x1447a9]
001e8e6fmov rbx, [rbx+88]
001e8e73cmp rax, rbx
001e8e76jne 0x1e8ea0
001e8e78mov rax, [rsp]
001e8e7cmov [rax+8], 1
001e8e84mov [rax+16], 1
001e8e8cmov [rax], 3
001e8e93mov eax, 1
001e8e98add rsp, 8
001e8e9cret
001e8e9d
001e8e9d 0f 1f 00 ...
001e8ea0
001e8ea0loc_1e8ea0:
001e8ea0call caml_reraise_exn
001e8ea5nop [rax]
001e8ea8
001e8ea8loc_1e8ea8:
001e8ea8add rsp, 8
001e8eacret
001e8ead
001e8eadloc_1e8ead:
001e8eadpush 36
001e8eafcall caml_call_realloc_stack
001e8eb4pop r10
001e8eb6jmp 0x1e8df2
001e8de0

001e8ebb
001e8ebb // align 0x10

001e8ec0
001e8ec0Stdlib.Scanf.checked_peek_char:
001e8ec0lea r10, [rsp-344]
001e8ec8cmp r10, [r14+40]
001e8eccjb 0x1e8fa5
001e8ed2
001e8ed2loc_1e8ed2:
001e8ed2sub rsp, 8
001e8ed6mov rbx, rax
001e8ed9mov rax, [rbx+16]
001e8eddcmp rax, 1
001e8ee1je 0x1e8eec
001e8ee3mov rax, [rbx+8]
001e8ee7jmp 0x1e8f84
001e8eec
001e8eecloc_1e8eec:
001e8eecmov [rsp], rbx
001e8ef0lea r11, [rip+81]
001e8ef7push r11
001e8ef9push [r14+48]
001e8efdmov [r14+48], rsp
001e8f01mov rbx, [rbx+48]
001e8f05mov eax, 1
001e8f0amov rdi, [rbx]
001e8f0dcall rdi
001e8f0fmov rbx, [rsp+16]
001e8f14mov [rbx+8], rax
001e8f18mov [rbx+16], 3
001e8f20mov rdi, [rbx+24]
001e8f24add rdi, 2
001e8f28mov [rbx+24], rdi
001e8f2ccmp rax, 21
001e8f30jne 0x1e8f3e
001e8f32mov rdi, [rbx+32]
001e8f36add rdi, 2
001e8f3amov [rbx+32], rdi
001e8f3e
001e8f3eloc_1e8f3e:
001e8f3epop [r14+48]
001e8f42add rsp, 8
001e8f46jmp 0x1e8f84
001e8f48lea rbx, [rip+0x1446c9]
001e8f4fmov rbx, [rbx+88]
001e8f53cmp rax, rbx
001e8f56jne 0x1e8f7c
001e8f58mov rbx, [rsp]
001e8f5cmov [rbx+8], 1
001e8f64mov [rbx+16], 1
001e8f6cmov [rbx], 3
001e8f73mov eax, 1
001e8f78jmp 0x1e8f84
001e8f7a
001e8f7a 66 90 f.
001e8f7c
001e8f7cloc_1e8f7c:
001e8f7ccall caml_reraise_exn
001e8f81nop [rax]
001e8f84
001e8f84loc_1e8f84:
001e8f84mov rbx, [rbx]
001e8f87cmp rbx, 1
001e8f8bje 0x1e8fa0
001e8f8dlea rax, [rip+0x144684]
001e8f94mov rax, [rax+88]
001e8f98call caml_raise_exn
001e8f9dnop [rax]
001e8fa0
001e8fa0loc_1e8fa0:
001e8fa0add rsp, 8
001e8fa4ret
001e8fa5
001e8fa5loc_1e8fa5:
001e8fa5push 36
001e8fa7call caml_call_realloc_stack
001e8facpop r10
001e8faejmp 0x1e8ed2
001e8ec0

001e8fb3
001e8fb3 // align 0x10

001e8fc0
001e8fc0Stdlib.Scanf.end_of_input:
001e8fc0lea r10, [rsp-344]
001e8fc8cmp r10, [r14+40]
001e8fccjb 0x1e9084
001e8fd2
001e8fd2loc_1e8fd2:
001e8fd2sub rsp, 8
001e8fd6mov rbx, [rax+16]
001e8fdacmp rbx, 1
001e8fdejne 0x1e907c
001e8fe4mov [rsp], rax
001e8fe8lea r11, [rip+85]
001e8fefpush r11
001e8ff1push [r14+48]
001e8ff5mov [r14+48], rsp
001e8ff9mov rbx, [rax+48]
001e8ffdmov eax, 1
001e9002mov rdi, [rbx]
001e9005call rdi
001e9007mov rbx, rax
001e900amov rax, [rsp+16]
001e900fmov [rax+8], rbx
001e9013mov [rax+16], 3
001e901bmov rdi, [rax+24]
001e901fadd rdi, 2
001e9023mov [rax+24], rdi
001e9027cmp rbx, 21
001e902bjne 0x1e9039
001e902dmov rbx, [rax+32]
001e9031add rbx, 2
001e9035mov [rax+32], rbx
001e9039
001e9039loc_1e9039:
001e9039pop [r14+48]
001e903dadd rsp, 8
001e9041jmp 0x1e907c
001e9043
001e9043 90 .
001e9044lea rbx, [rip+0x1445cd]
001e904bmov rbx, [rbx+88]
001e904fcmp rax, rbx
001e9052jne 0x1e9074
001e9054mov rax, [rsp]
001e9058mov [rax+8], 1
001e9060mov [rax+16], 1
001e9068mov [rax], 3
001e906fjmp 0x1e907c
001e9071
001e9071 0f 1f 00 ...
001e9074
001e9074loc_1e9074:
001e9074call caml_reraise_exn
001e9079nop [rax]
001e907c
001e907cloc_1e907c:
001e907cmov rax, [rax]
001e907fadd rsp, 8
001e9083ret
001e9084
001e9084loc_1e9084:
001e9084push 36
001e9086call caml_call_realloc_stack
001e908bpop r10
001e908djmp 0x1e8fd2
001e8fc0

001e9092
001e9092 // align 0x10

001e90a0
001e90a0Stdlib.Scanf.eof:
001e90a0mov rax, [rax]
001e90a3ret
001e90a0

001e90a4
001e90a4 // align 0x10

001e90b0
001e90b0Stdlib.Scanf.beginning_of_input:
001e90b0mov rax, [rax+24]
001e90b4cmp rax, 1
001e90b8sete al
001e90bbmovzx rax, al
001e90bflea rax, [rax+rax+1]
001e90c4ret
001e90b0

001e90c5
001e90c5 // align 0x10

001e90d0
001e90d0Stdlib.Scanf.name_of_input:
001e90d0mov rax, [rax+64]
001e90d4test al, 1
001e90d6je 0x1e90f0
001e90d8sar rax, 1
001e90dbtest rax, rax
001e90deje 0x1e90e8
001e90e0lea rax, [rip+0x184dd9]
001e90e7ret
001e90e8
001e90e8loc_1e90e8:
001e90e8lea rax, [rip+0x185139]
001e90efret
001e90f0
001e90f0loc_1e90f0:
001e90f0movzx rbx, [rax-8]
001e90f5test rbx, rbx
001e90f8je 0x1e9100
001e90famov rax, [rax]
001e90fdret
001e90fe
001e90fe 66 90 f.
001e9100
001e9100loc_1e9100:
001e9100lea rax, [rip+0x184c29]
001e9107ret
001e90d0

001e9108
001e9108 // align 0x10

001e9110
001e9110Stdlib.Scanf.char_count:
001e9110mov rbx, [rax+16]
001e9114cmp rbx, 1
001e9118je 0x1e9124
001e911amov rax, [rax+24]
001e911eadd rax, -2
001e9122ret
001e9123
001e9123 90 .
001e9124
001e9124loc_1e9124:
001e9124mov rax, [rax+24]
001e9128ret
001e9110

001e9129
001e9129 // align 0x10

001e9130
001e9130Stdlib.Scanf.line_count:
001e9130mov rax, [rax+32]
001e9134ret
001e9130

001e9135
001e9135 // align 0x10

001e9140
001e9140Stdlib.Scanf.reset_token:
001e9140mov rdi, [rax+56]
001e9144mov [rdi+8], 1
001e914csub r15, 24
001e9150cmp r15, [r14]
001e9153jb 0x1e919e
001e9155
001e9155loc_1e9155:
001e9155lea rsi, [r15+8]
001e9159mov [rsi-8], 2048
001e9161mov rax, [rdi+16]
001e9165mov [rsi], rax
001e9168mov rbx, [rax-8]
001e916cshr rbx, 10
001e9170lea rbx, [8*rbx-1]
001e9178movzx rax, [rax+rbx]
001e917dsub rbx, rax
001e9180lea rax, [rbx+rbx+1]
001e9185mov [rsi+8], rax
001e9189mov rbx, rsp
001e918cmov rsp, [r14+64]
001e9190call caml_modify
001e9195mov rsp, rbx
001e9198mov eax, 1
001e919dret
001e919e
001e919eloc_1e919e:
001e919ecall caml_call_gc
001e91a3jmp 0x1e9155
001e9140

001e91a5
001e91a5 // align 0x10

001e91b0
001e91b0Stdlib.Scanf.invalidate_current_char:
001e91b0mov [rax+16], 1
001e91b8mov eax, 1
001e91bdret
001e91b0

001e91be
001e91be // align 0x10

001e91c0
001e91c0Stdlib.Scanf.token:
001e91c0lea r10, [rsp-336]
001e91c8cmp r10, [r14+40]
001e91ccjb 0x1e9215
001e91ce
001e91celoc_1e91ce:
001e91cesub rsp, 16
001e91d2mov [rsp+8], rax
001e91d7mov rax, [rax+56]
001e91dbmov [rsp], rax
001e91dfmov rdi, [rax+8]
001e91e3mov rax, [rax]
001e91e6mov rax, [rax]
001e91e9mov ebx, 1
001e91eecall Stdlib.Bytes.sub
001e91f3mov rbx, [rsp]
001e91f7mov [rbx+8], 1
001e91ffmov rdi, [rsp+8]
001e9204mov rbx, [rdi+40]
001e9208add rbx, 2
001e920cmov [rdi+40], rbx
001e9210add rsp, 16
001e9214ret
001e9215
001e9215loc_1e9215:
001e9215push 35
001e9217call caml_call_realloc_stack
001e921cpop r10
001e921ejmp 0x1e91ce
001e91c0