File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001a4480
001a4480Stdlib.List.rev_sort:
001a4480lea r10, [rsp-360]
001a4488cmp r10, [r14+40]
001a448cjb 0x1a4cac
001a4492
001a4492loc_1a4492:
001a4492sub rsp, 40
001a4496mov rdx, rax
001a4499mov rsi, rbx
001a449ccmp rdx, 5
001a44a0je 0x1a4a2c
001a44a6mov [rsp+16], rdi
001a44abcmp rdx, 7
001a44afjne 0x1a4b68
001a44b5test sil, 1
001a44b9jne 0x1a4b68
001a44bfmov rax, [rsi+8]
001a44c3test al, 1
001a44c5jne 0x1a4b68
001a44cbmov rbx, [rax+8]
001a44cftest bl, 1
001a44d2jne 0x1a4b68
001a44d8mov [rsp], rbx
001a44dcmov rbx, [rbx]
001a44dfmov [rsp+24], rbx
001a44e4mov rbx, [rax]
001a44e7mov [rsp+32], rbx
001a44ecmov rax, [rsi]
001a44efmov [rsp+8], rax
001a44f4mov rdi, [rdi+24]
001a44f8call caml_apply2
001a44fdcmp rax, 1
001a4501jne 0x1a45f0
001a4507mov rax, [rsp+16]
001a450cmov rdi, [rax+24]
001a4510mov rax, [rsp+32]
001a4515mov rbx, [rsp+24]
001a451acall caml_apply2
001a451fcmp rax, 1
001a4523jne 0x1a4554
001a4525sub r15, 24
001a4529cmp r15, [r14]
001a452cjb 0x1a4ca2
001a4532
001a4532loc_1a4532:
001a4532lea rbx, [r15+8]
001a4536mov [rbx-8], 2048
001a453emov rax, [rsp+32]
001a4543mov [rbx], rax
001a4546mov [rbx+8], 1
001a454ejmp 0x1a49fd
001a4553
001a4553 90 .
001a4554
001a4554loc_1a4554:
001a4554cmp rax, 1
001a4558jle 0x1a45a4
001a455asub r15, 48
001a455ecmp r15, [r14]
001a4561jb 0x1a4c98
001a4567
001a4567loc_1a4567:
001a4567lea rax, [r15+8]
001a456badd rax, 24
001a456fmov [rax-8], 2048
001a4577mov rbx, [rsp+24]
001a457cmov [rax], rbx
001a457fmov [rax+8], 1
001a4587lea rbx, [rax-24]
001a458bmov [rbx-8], 2048
001a4593mov rdi, [rsp+32]
001a4598mov [rbx], rdi
001a459bmov [rbx+8], rax
001a459fjmp 0x1a49fd
001a45a4
001a45a4loc_1a45a4:
001a45a4sub r15, 48
001a45a8cmp r15, [r14]
001a45abjb 0x1a4c8e
001a45b1
001a45b1loc_1a45b1:
001a45b1lea rax, [r15+8]
001a45b5add rax, 24
001a45b9mov [rax-8], 2048
001a45c1mov rbx, [rsp+32]
001a45c6mov [rax], rbx
001a45c9mov [rax+8], 1
001a45d1lea rbx, [rax-24]
001a45d5mov [rbx-8], 2048
001a45ddmov rdi, [rsp+24]
001a45e2mov [rbx], rdi
001a45e5mov [rbx+8], rax
001a45e9jmp 0x1a49fd
001a45ee
001a45ee 66 90 f.
001a45f0
001a45f0loc_1a45f0:
001a45f0cmp rax, 1
001a45f4jle 0x1a4800
001a45famov rax, [rsp+16]
001a45ffmov rdi, [rax+24]
001a4603mov rax, [rsp+32]
001a4608mov rbx, [rsp+24]
001a460dcall caml_apply2
001a4612cmp rax, 1
001a4616jne 0x1a4664
001a4618sub r15, 48
001a461ccmp r15, [r14]
001a461fjb 0x1a4c84
001a4625
001a4625loc_1a4625:
001a4625lea rax, [r15+8]
001a4629add rax, 24
001a462dmov [rax-8], 2048
001a4635mov rbx, [rsp+32]
001a463amov [rax], rbx
001a463dmov [rax+8], 1
001a4645lea rbx, [rax-24]
001a4649mov [rbx-8], 2048
001a4651mov rdi, [rsp+8]
001a4656mov [rbx], rdi
001a4659mov [rbx+8], rax
001a465djmp 0x1a49fd
001a4662
001a4662 66 90 f.
001a4664
001a4664loc_1a4664:
001a4664cmp rax, 1
001a4668jle 0x1a46cc
001a466asub r15, 72
001a466ecmp r15, [r14]
001a4671jb 0x1a4c7a
001a4677
001a4677loc_1a4677:
001a4677lea rax, [r15+8]
001a467badd rax, 48
001a467fmov [rax-8], 2048
001a4687mov rbx, [rsp+24]
001a468cmov [rax], rbx
001a468fmov [rax+8], 1
001a4697lea rdi, [rax-24]
001a469bmov [rdi-8], 2048
001a46a3mov rbx, [rsp+32]
001a46a8mov [rdi], rbx
001a46abmov [rdi+8], rax
001a46aflea rbx, [rdi-24]
001a46b3mov [rbx-8], 2048
001a46bbmov rax, [rsp+8]
001a46c0mov [rbx], rax
001a46c3mov [rbx+8], rdi
001a46c7jmp 0x1a49fd
001a46cc
001a46ccloc_1a46cc:
001a46ccmov rax, [rsp+16]
001a46d1mov rdi, [rax+24]
001a46d5mov rax, [rsp+8]
001a46damov rbx, [rsp+24]
001a46dfcall caml_apply2
001a46e4cmp rax, 1
001a46e8jne 0x1a4734
001a46easub r15, 48
001a46eecmp r15, [r14]
001a46f1jb 0x1a4c70
001a46f7
001a46f7loc_1a46f7:
001a46f7lea rax, [r15+8]
001a46fbadd rax, 24
001a46ffmov [rax-8], 2048
001a4707mov rbx, [rsp+32]
001a470cmov [rax], rbx
001a470fmov [rax+8], 1
001a4717lea rbx, [rax-24]
001a471bmov [rbx-8], 2048
001a4723mov rdi, [rsp+8]
001a4728mov [rbx], rdi
001a472bmov [rbx+8], rax
001a472fjmp 0x1a49fd
001a4734
001a4734loc_1a4734:
001a4734cmp rax, 1
001a4738jle 0x1a479c
001a473asub r15, 72
001a473ecmp r15, [r14]
001a4741jb 0x1a4c66
001a4747
001a4747loc_1a4747:
001a4747lea rax, [r15+8]
001a474badd rax, 48
001a474fmov [rax-8], 2048
001a4757mov rbx, [rsp+32]
001a475cmov [rax], rbx
001a475fmov [rax+8], 1
001a4767lea rdi, [rax-24]
001a476bmov [rdi-8], 2048
001a4773mov rbx, [rsp+24]
001a4778mov [rdi], rbx
001a477bmov [rdi+8], rax
001a477flea rbx, [rdi-24]
001a4783mov [rbx-8], 2048
001a478bmov rax, [rsp+8]
001a4790mov [rbx], rax
001a4793mov [rbx+8], rdi
001a4797jmp 0x1a49fd
001a479c
001a479cloc_1a479c:
001a479csub r15, 72
001a47a0cmp r15, [r14]
001a47a3jb 0x1a4c5c
001a47a9
001a47a9loc_1a47a9:
001a47a9lea rax, [r15+8]
001a47adadd rax, 48
001a47b1mov [rax-8], 2048
001a47b9mov rbx, [rsp+32]
001a47bemov [rax], rbx
001a47c1mov [rax+8], 1
001a47c9lea rdi, [rax-24]
001a47cdmov [rdi-8], 2048
001a47d5mov rbx, [rsp+8]
001a47damov [rdi], rbx
001a47ddmov [rdi+8], rax
001a47e1lea rbx, [rdi-24]
001a47e5mov [rbx-8], 2048
001a47edmov rax, [rsp+24]
001a47f2mov [rbx], rax
001a47f5mov [rbx+8], rdi
001a47f9jmp 0x1a49fd
001a47fe
001a47fe 66 90 f.
001a4800
001a4800loc_1a4800:
001a4800mov rax, [rsp+16]
001a4805mov rdi, [rax+24]
001a4809mov rax, [rsp+8]
001a480emov rbx, [rsp+24]
001a4813call caml_apply2
001a4818cmp rax, 1
001a481cjne 0x1a4868
001a481esub r15, 48
001a4822cmp r15, [r14]
001a4825jb 0x1a4c52
001a482b
001a482bloc_1a482b:
001a482blea rax, [r15+8]
001a482fadd rax, 24
001a4833mov [rax-8], 2048
001a483bmov rbx, [rsp+8]
001a4840mov [rax], rbx
001a4843mov [rax+8], 1
001a484blea rbx, [rax-24]
001a484fmov [rbx-8], 2048
001a4857mov rdi, [rsp+32]
001a485cmov [rbx], rdi
001a485fmov [rbx+8], rax
001a4863jmp 0x1a49fd
001a4868
001a4868loc_1a4868:
001a4868cmp rax, 1
001a486cjle 0x1a48d0
001a486esub r15, 72
001a4872cmp r15, [r14]
001a4875jb 0x1a4c48
001a487b
001a487bloc_1a487b:
001a487blea rax, [r15+8]
001a487fadd rax, 48
001a4883mov [rax-8], 2048
001a488bmov rbx, [rsp+24]
001a4890mov [rax], rbx
001a4893mov [rax+8], 1
001a489blea rdi, [rax-24]
001a489fmov [rdi-8], 2048
001a48a7mov rbx, [rsp+8]
001a48acmov [rdi], rbx
001a48afmov [rdi+8], rax
001a48b3lea rbx, [rdi-24]
001a48b7mov [rbx-8], 2048
001a48bfmov rax, [rsp+32]
001a48c4mov [rbx], rax
001a48c7mov [rbx+8], rdi
001a48cbjmp 0x1a49fd
001a48d0
001a48d0loc_1a48d0:
001a48d0mov rax, [rsp+16]
001a48d5mov rdi, [rax+24]
001a48d9mov rax, [rsp+32]
001a48demov rbx, [rsp+24]
001a48e3call caml_apply2
001a48e8cmp rax, 1
001a48ecjne 0x1a4938
001a48eesub r15, 48
001a48f2cmp r15, [r14]
001a48f5jb 0x1a4c3e
001a48fb
001a48fbloc_1a48fb:
001a48fblea rax, [r15+8]
001a48ffadd rax, 24
001a4903mov [rax-8], 2048
001a490bmov rbx, [rsp+8]
001a4910mov [rax], rbx
001a4913mov [rax+8], 1
001a491blea rbx, [rax-24]
001a491fmov [rbx-8], 2048
001a4927mov rdi, [rsp+32]
001a492cmov [rbx], rdi
001a492fmov [rbx+8], rax
001a4933jmp 0x1a49fd
001a4938
001a4938loc_1a4938:
001a4938cmp rax, 1
001a493cjle 0x1a49a0
001a493esub r15, 72
001a4942cmp r15, [r14]
001a4945jb 0x1a4c34
001a494b
001a494bloc_1a494b:
001a494blea rax, [r15+8]
001a494fadd rax, 48
001a4953mov [rax-8], 2048
001a495bmov rbx, [rsp+8]
001a4960mov [rax], rbx
001a4963mov [rax+8], 1
001a496blea rdi, [rax-24]
001a496fmov [rdi-8], 2048
001a4977mov rbx, [rsp+24]
001a497cmov [rdi], rbx
001a497fmov [rdi+8], rax
001a4983lea rbx, [rdi-24]
001a4987mov [rbx-8], 2048
001a498fmov rax, [rsp+32]
001a4994mov [rbx], rax
001a4997mov [rbx+8], rdi
001a499bjmp 0x1a49fd
001a499d
001a499d 0f 1f 00 ...
001a49a0
001a49a0loc_1a49a0:
001a49a0sub r15, 72
001a49a4cmp r15, [r14]
001a49a7jb 0x1a4c2a
001a49ad
001a49adloc_1a49ad:
001a49adlea rax, [r15+8]
001a49b1add rax, 48
001a49b5mov [rax-8], 2048
001a49bdmov rbx, [rsp+8]
001a49c2mov [rax], rbx
001a49c5mov [rax+8], 1
001a49cdlea rdi, [rax-24]
001a49d1mov [rdi-8], 2048
001a49d9mov rbx, [rsp+32]
001a49demov [rdi], rbx
001a49e1mov [rdi+8], rax
001a49e5lea rbx, [rdi-24]
001a49e9mov [rbx-8], 2048
001a49f1mov rax, [rsp+24]
001a49f6mov [rbx], rax
001a49f9mov [rbx+8], rdi
001a49fd
001a49fdloc_1a49fd:
001a49fdsub r15, 24
001a4a01cmp r15, [r14]
001a4a04jb 0x1a4c20
001a4a0a
001a4a0aloc_1a4a0a:
001a4a0alea rax, [r15+8]
001a4a0emov [rax-8], 2048
001a4a16mov [rax], rbx
001a4a19mov rbx, [rsp]
001a4a1dmov rbx, [rbx+8]
001a4a21mov [rax+8], rbx
001a4a25add rsp, 40
001a4a29ret
001a4a2a
001a4a2a 66 90 f.
001a4a2c
001a4a2cloc_1a4a2c:
001a4a2ctest sil, 1
001a4a30je 0x1a4a3c
001a4a32mov [rsp+16], rdi
001a4a37jmp 0x1a4b68
001a4a3c
001a4a3cloc_1a4a3c:
001a4a3cmov rax, [rsi+8]
001a4a40test al, 1
001a4a42je 0x1a4a50
001a4a44mov [rsp+16], rdi
001a4a49jmp 0x1a4b68
001a4a4e
001a4a4e 66 90 f.
001a4a50
001a4a50loc_1a4a50:
001a4a50mov [rsp], rax
001a4a54mov rbx, [rax]
001a4a57mov [rsp+8], rbx
001a4a5cmov rax, [rsi]
001a4a5fmov [rsp+16], rax
001a4a64mov rdi, [rdi+24]
001a4a68call caml_apply2
001a4a6dcmp rax, 1
001a4a71jne 0x1a4aa4
001a4a73sub r15, 24
001a4a77cmp r15, [r14]
001a4a7ajb 0x1a4c16
001a4a80
001a4a80loc_1a4a80:
001a4a80lea rbx, [r15+8]
001a4a84mov [rbx-8], 2048
001a4a8cmov rax, [rsp+16]
001a4a91mov [rbx], rax
001a4a94mov [rbx+8], 1
001a4a9cjmp 0x1a4b39
001a4aa1
001a4aa1 0f 1f 00 ...
001a4aa4
001a4aa4loc_1a4aa4:
001a4aa4cmp rax, 1
001a4aa8jle 0x1a4af4
001a4aaasub r15, 48
001a4aaecmp r15, [r14]
001a4ab1jb 0x1a4c0c
001a4ab7
001a4ab7loc_1a4ab7:
001a4ab7lea rax, [r15+8]
001a4abbadd rax, 24
001a4abfmov [rax-8], 2048
001a4ac7mov rbx, [rsp+8]
001a4accmov [rax], rbx
001a4acfmov [rax+8], 1
001a4ad7lea rbx, [rax-24]
001a4adbmov [rbx-8], 2048
001a4ae3mov rdi, [rsp+16]
001a4ae8mov [rbx], rdi
001a4aebmov [rbx+8], rax
001a4aefjmp 0x1a4b39
001a4af1
001a4af1 0f 1f 00 ...
001a4af4
001a4af4loc_1a4af4:
001a4af4sub r15, 48
001a4af8cmp r15, [r14]
001a4afbjb 0x1a4c02
001a4b01
001a4b01loc_1a4b01:
001a4b01lea rax, [r15+8]
001a4b05add rax, 24
001a4b09mov [rax-8], 2048
001a4b11mov rbx, [rsp+16]
001a4b16mov [rax], rbx
001a4b19mov [rax+8], 1
001a4b21lea rbx, [rax-24]
001a4b25mov [rbx-8], 2048
001a4b2dmov rdi, [rsp+8]
001a4b32mov [rbx], rdi
001a4b35mov [rbx+8], rax
001a4b39
001a4b39loc_1a4b39:
001a4b39sub r15, 24
001a4b3dcmp r15, [r14]
001a4b40jb 0x1a4bf8
001a4b46
001a4b46loc_1a4b46:
001a4b46lea rax, [r15+8]
001a4b4amov [rax-8], 2048
001a4b52mov [rax], rbx
001a4b55mov rbx, [rsp]
001a4b59mov rbx, [rbx+8]
001a4b5dmov [rax+8], rbx
001a4b61add rsp, 40
001a4b65ret
001a4b66
001a4b66 66 90 f.
001a4b68
001a4b68loc_1a4b68:
001a4b68mov rax, rdx
001a4b6bsar rax, 1
001a4b6eor rax, 1
001a4b72sub rdx, rax
001a4b75inc rdx
001a4b78mov [rsp], rdx
001a4b7cadd rdi, -32
001a4b80mov rbx, rsi
001a4b83call Stdlib.List.sort
001a4b88mov [rsp+8], rax
001a4b8dmov rdi, [rsp+16]
001a4b92add rdi, -32
001a4b96mov rbx, [rax+8]
001a4b9amov rax, [rsp]
001a4b9ecall Stdlib.List.sort
001a4ba3mov [rsp], rax
001a4ba7mov rbx, [rax]
001a4baamov rax, [rsp+8]
001a4bafmov rax, [rax]
001a4bb2mov rdi, [rsp+16]
001a4bb7mov rsi, [rdi+32]
001a4bbbmov edi, 1
001a4bc0call Stdlib.List.rev_merge
001a4bc5sub r15, 24
001a4bc9cmp r15, [r14]
001a4bccjb 0x1a4bf1
001a4bce
001a4bceloc_1a4bce:
001a4bcelea rbx, [r15+8]
001a4bd2mov [rbx-8], 2048
001a4bdamov [rbx], rax
001a4bddmov rax, [rsp]
001a4be1mov rax, [rax+8]
001a4be5mov [rbx+8], rax
001a4be9mov rax, rbx
001a4becadd rsp, 40
001a4bf0ret
001a4bf1
001a4bf1loc_1a4bf1:
001a4bf1call caml_call_gc
001a4bf6jmp 0x1a4bce
001a4bf8
001a4bf8loc_1a4bf8:
001a4bf8call caml_call_gc
001a4bfdjmp 0x1a4b46
001a4c02
001a4c02loc_1a4c02:
001a4c02call caml_call_gc
001a4c07jmp 0x1a4b01
001a4c0c
001a4c0cloc_1a4c0c:
001a4c0ccall caml_call_gc
001a4c11jmp 0x1a4ab7
001a4c16
001a4c16loc_1a4c16:
001a4c16call caml_call_gc
001a4c1bjmp 0x1a4a80
001a4c20
001a4c20loc_1a4c20:
001a4c20call caml_call_gc
001a4c25jmp 0x1a4a0a
001a4c2a
001a4c2aloc_1a4c2a:
001a4c2acall caml_call_gc
001a4c2fjmp 0x1a49ad
001a4c34
001a4c34loc_1a4c34:
001a4c34call caml_call_gc
001a4c39jmp 0x1a494b
001a4c3e
001a4c3eloc_1a4c3e:
001a4c3ecall caml_call_gc
001a4c43jmp 0x1a48fb
001a4c48
001a4c48loc_1a4c48:
001a4c48call caml_call_gc
001a4c4djmp 0x1a487b
001a4c52
001a4c52loc_1a4c52:
001a4c52call caml_call_gc
001a4c57jmp 0x1a482b
001a4c5c
001a4c5cloc_1a4c5c:
001a4c5ccall caml_call_gc
001a4c61jmp 0x1a47a9
001a4c66
001a4c66loc_1a4c66:
001a4c66call caml_call_gc
001a4c6bjmp 0x1a4747
001a4c70
001a4c70loc_1a4c70:
001a4c70call caml_call_gc
001a4c75jmp 0x1a46f7
001a4c7a
001a4c7aloc_1a4c7a:
001a4c7acall caml_call_gc
001a4c7fjmp 0x1a4677
001a4c84
001a4c84loc_1a4c84:
001a4c84call caml_call_gc
001a4c89jmp 0x1a4625
001a4c8e
001a4c8eloc_1a4c8e:
001a4c8ecall caml_call_gc
001a4c93jmp 0x1a45b1
001a4c98
001a4c98loc_1a4c98:
001a4c98call caml_call_gc
001a4c9djmp 0x1a4567
001a4ca2
001a4ca2loc_1a4ca2:
001a4ca2call caml_call_gc
001a4ca7jmp 0x1a4532
001a4cac
001a4cacloc_1a4cac:
001a4cacpush 38
001a4caecall caml_call_realloc_stack
001a4cb3pop r10
001a4cb5jmp 0x1a4492
001a4480
001a4480Stdlib.List.rev_sort:
001a4480lea r10, [rsp-360]
001a4488cmp r10, [r14+40]
001a448cjb 0x1a4cac
001a4492
001a4492loc_1a4492:
001a4492sub rsp, 40
001a4496mov rdx, rax
001a4499mov rsi, rbx
001a449ccmp rdx, 5
001a44a0je 0x1a4a2c
001a44a6mov [rsp+16], rdi
001a44abcmp rdx, 7
001a44afjne 0x1a4b68
001a44b5test sil, 1
001a44b9jne 0x1a4b68
001a44bfmov rax, [rsi+8]
001a44c3test al, 1
001a44c5jne 0x1a4b68
001a44cbmov rbx, [rax+8]
001a44cftest bl, 1
001a44d2jne 0x1a4b68
001a44d8mov [rsp], rbx
001a44dcmov rbx, [rbx]
001a44dfmov [rsp+24], rbx
001a44e4mov rbx, [rax]
001a44e7mov [rsp+32], rbx
001a44ecmov rax, [rsi]
001a44efmov [rsp+8], rax
001a44f4mov rdi, [rdi+24]
001a44f8call caml_apply2
001a44fdcmp rax, 1
001a4501jne 0x1a45f0
001a4507mov rax, [rsp+16]
001a450cmov rdi, [rax+24]
001a4510mov rax, [rsp+32]
001a4515mov rbx, [rsp+24]
001a451acall caml_apply2
001a451fcmp rax, 1
001a4523jne 0x1a4554
001a4525sub r15, 24
001a4529cmp r15, [r14]
001a452cjb 0x1a4ca2
001a4532
001a4532loc_1a4532:
001a4532lea rbx, [r15+8]
001a4536mov [rbx-8], 2048
001a453emov rax, [rsp+32]
001a4543mov [rbx], rax
001a4546mov [rbx+8], 1
001a454ejmp 0x1a49fd
001a4553
001a4553 90 .
001a4554
001a4554loc_1a4554:
001a4554cmp rax, 1
001a4558jle 0x1a45a4
001a455asub r15, 48
001a455ecmp r15, [r14]
001a4561jb 0x1a4c98
001a4567
001a4567loc_1a4567:
001a4567lea rax, [r15+8]
001a456badd rax, 24
001a456fmov [rax-8], 2048
001a4577mov rbx, [rsp+24]
001a457cmov [rax], rbx
001a457fmov [rax+8], 1
001a4587lea rbx, [rax-24]
001a458bmov [rbx-8], 2048
001a4593mov rdi, [rsp+32]
001a4598mov [rbx], rdi
001a459bmov [rbx+8], rax
001a459fjmp 0x1a49fd
001a45a4
001a45a4loc_1a45a4:
001a45a4sub r15, 48
001a45a8cmp r15, [r14]
001a45abjb 0x1a4c8e
001a45b1
001a45b1loc_1a45b1:
001a45b1lea rax, [r15+8]
001a45b5add rax, 24
001a45b9mov [rax-8], 2048
001a45c1mov rbx, [rsp+32]
001a45c6mov [rax], rbx
001a45c9mov [rax+8], 1
001a45d1lea rbx, [rax-24]
001a45d5mov [rbx-8], 2048
001a45ddmov rdi, [rsp+24]
001a45e2mov [rbx], rdi
001a45e5mov [rbx+8], rax
001a45e9jmp 0x1a49fd
001a45ee
001a45ee 66 90 f.
001a45f0
001a45f0loc_1a45f0:
001a45f0cmp rax, 1
001a45f4jle 0x1a4800
001a45famov rax, [rsp+16]
001a45ffmov rdi, [rax+24]
001a4603mov rax, [rsp+32]
001a4608mov rbx, [rsp+24]
001a460dcall caml_apply2
001a4612cmp rax, 1
001a4616jne 0x1a4664
001a4618sub r15, 48
001a461ccmp r15, [r14]
001a461fjb 0x1a4c84
001a4625
001a4625loc_1a4625:
001a4625lea rax, [r15+8]
001a4629add rax, 24
001a462dmov [rax-8], 2048
001a4635mov rbx, [rsp+32]
001a463amov [rax], rbx
001a463dmov [rax+8], 1
001a4645lea rbx, [rax-24]
001a4649mov [rbx-8], 2048
001a4651mov rdi, [rsp+8]
001a4656mov [rbx], rdi
001a4659mov [rbx+8], rax
001a465djmp 0x1a49fd
001a4662
001a4662 66 90 f.
001a4664
001a4664loc_1a4664:
001a4664cmp rax, 1
001a4668jle 0x1a46cc
001a466asub r15, 72
001a466ecmp r15, [r14]
001a4671jb 0x1a4c7a
001a4677
001a4677loc_1a4677:
001a4677lea rax, [r15+8]
001a467badd rax, 48
001a467fmov [rax-8], 2048
001a4687mov rbx, [rsp+24]
001a468cmov [rax], rbx
001a468fmov [rax+8], 1
001a4697lea rdi, [rax-24]
001a469bmov [rdi-8], 2048
001a46a3mov rbx, [rsp+32]
001a46a8mov [rdi], rbx
001a46abmov [rdi+8], rax
001a46aflea rbx, [rdi-24]
001a46b3mov [rbx-8], 2048
001a46bbmov rax, [rsp+8]
001a46c0mov [rbx], rax
001a46c3mov [rbx+8], rdi
001a46c7jmp 0x1a49fd
001a46cc
001a46ccloc_1a46cc:
001a46ccmov rax, [rsp+16]
001a46d1mov rdi, [rax+24]
001a46d5mov rax, [rsp+8]
001a46damov rbx, [rsp+24]
001a46dfcall caml_apply2
001a46e4cmp rax, 1
001a46e8jne 0x1a4734
001a46easub r15, 48
001a46eecmp r15, [r14]
001a46f1jb 0x1a4c70
001a46f7
001a46f7loc_1a46f7:
001a46f7lea rax, [r15+8]
001a46fbadd rax, 24
001a46ffmov [rax-8], 2048
001a4707mov rbx, [rsp+32]
001a470cmov [rax], rbx
001a470fmov [rax+8], 1
001a4717lea rbx, [rax-24]
001a471bmov [rbx-8], 2048
001a4723mov rdi, [rsp+8]
001a4728mov [rbx], rdi
001a472bmov [rbx+8], rax
001a472fjmp 0x1a49fd
001a4734
001a4734loc_1a4734:
001a4734cmp rax, 1
001a4738jle 0x1a479c
001a473asub r15, 72
001a473ecmp r15, [r14]
001a4741jb 0x1a4c66
001a4747
001a4747loc_1a4747:
001a4747lea rax, [r15+8]
001a474badd rax, 48
001a474fmov [rax-8], 2048
001a4757mov rbx, [rsp+32]
001a475cmov [rax], rbx
001a475fmov [rax+8], 1
001a4767lea rdi, [rax-24]
001a476bmov [rdi-8], 2048
001a4773mov rbx, [rsp+24]
001a4778mov [rdi], rbx
001a477bmov [rdi+8], rax
001a477flea rbx, [rdi-24]
001a4783mov [rbx-8], 2048
001a478bmov rax, [rsp+8]
001a4790mov [rbx], rax
001a4793mov [rbx+8], rdi
001a4797jmp 0x1a49fd
001a479c
001a479cloc_1a479c:
001a479csub r15, 72
001a47a0cmp r15, [r14]
001a47a3jb 0x1a4c5c
001a47a9
001a47a9loc_1a47a9:
001a47a9lea rax, [r15+8]
001a47adadd rax, 48
001a47b1mov [rax-8], 2048
001a47b9mov rbx, [rsp+32]
001a47bemov [rax], rbx
001a47c1mov [rax+8], 1
001a47c9lea rdi, [rax-24]
001a47cdmov [rdi-8], 2048
001a47d5mov rbx, [rsp+8]
001a47damov [rdi], rbx
001a47ddmov [rdi+8], rax
001a47e1lea rbx, [rdi-24]
001a47e5mov [rbx-8], 2048
001a47edmov rax, [rsp+24]
001a47f2mov [rbx], rax
001a47f5mov [rbx+8], rdi
001a47f9jmp 0x1a49fd
001a47fe
001a47fe 66 90 f.
001a4800
001a4800loc_1a4800:
001a4800mov rax, [rsp+16]
001a4805mov rdi, [rax+24]
001a4809mov rax, [rsp+8]
001a480emov rbx, [rsp+24]
001a4813call caml_apply2
001a4818cmp rax, 1
001a481cjne 0x1a4868
001a481esub r15, 48
001a4822cmp r15, [r14]
001a4825jb 0x1a4c52
001a482b
001a482bloc_1a482b:
001a482blea rax, [r15+8]
001a482fadd rax, 24
001a4833mov [rax-8], 2048
001a483bmov rbx, [rsp+8]
001a4840mov [rax], rbx
001a4843mov [rax+8], 1
001a484blea rbx, [rax-24]
001a484fmov [rbx-8], 2048
001a4857mov rdi, [rsp+32]
001a485cmov [rbx], rdi
001a485fmov [rbx+8], rax
001a4863jmp 0x1a49fd
001a4868
001a4868loc_1a4868:
001a4868cmp rax, 1
001a486cjle 0x1a48d0
001a486esub r15, 72
001a4872cmp r15, [r14]
001a4875jb 0x1a4c48
001a487b
001a487bloc_1a487b:
001a487blea rax, [r15+8]
001a487fadd rax, 48
001a4883mov [rax-8], 2048
001a488bmov rbx, [rsp+24]
001a4890mov [rax], rbx
001a4893mov [rax+8], 1
001a489blea rdi, [rax-24]
001a489fmov [rdi-8], 2048
001a48a7mov rbx, [rsp+8]
001a48acmov [rdi], rbx
001a48afmov [rdi+8], rax
001a48b3lea rbx, [rdi-24]
001a48b7mov [rbx-8], 2048
001a48bfmov rax, [rsp+32]
001a48c4mov [rbx], rax
001a48c7mov [rbx+8], rdi
001a48cbjmp 0x1a49fd
001a48d0
001a48d0loc_1a48d0:
001a48d0mov rax, [rsp+16]
001a48d5mov rdi, [rax+24]
001a48d9mov rax, [rsp+32]
001a48demov rbx, [rsp+24]
001a48e3call caml_apply2
001a48e8cmp rax, 1
001a48ecjne 0x1a4938
001a48eesub r15, 48
001a48f2cmp r15, [r14]
001a48f5jb 0x1a4c3e
001a48fb
001a48fbloc_1a48fb:
001a48fblea rax, [r15+8]
001a48ffadd rax, 24
001a4903mov [rax-8], 2048
001a490bmov rbx, [rsp+8]
001a4910mov [rax], rbx
001a4913mov [rax+8], 1
001a491blea rbx, [rax-24]
001a491fmov [rbx-8], 2048
001a4927mov rdi, [rsp+32]
001a492cmov [rbx], rdi
001a492fmov [rbx+8], rax
001a4933jmp 0x1a49fd
001a4938
001a4938loc_1a4938:
001a4938cmp rax, 1
001a493cjle 0x1a49a0
001a493esub r15, 72
001a4942cmp r15, [r14]
001a4945jb 0x1a4c34
001a494b
001a494bloc_1a494b:
001a494blea rax, [r15+8]
001a494fadd rax, 48
001a4953mov [rax-8], 2048
001a495bmov rbx, [rsp+8]
001a4960mov [rax], rbx
001a4963mov [rax+8], 1
001a496blea rdi, [rax-24]
001a496fmov [rdi-8], 2048
001a4977mov rbx, [rsp+24]
001a497cmov [rdi], rbx
001a497fmov [rdi+8], rax
001a4983lea rbx, [rdi-24]
001a4987mov [rbx-8], 2048
001a498fmov rax, [rsp+32]
001a4994mov [rbx], rax
001a4997mov [rbx+8], rdi
001a499bjmp 0x1a49fd
001a499d
001a499d 0f 1f 00 ...
001a49a0
001a49a0loc_1a49a0:
001a49a0sub r15, 72
001a49a4cmp r15, [r14]
001a49a7jb 0x1a4c2a
001a49ad
001a49adloc_1a49ad:
001a49adlea rax, [r15+8]
001a49b1add rax, 48
001a49b5mov [rax-8], 2048
001a49bdmov rbx, [rsp+8]
001a49c2mov [rax], rbx
001a49c5mov [rax+8], 1
001a49cdlea rdi, [rax-24]
001a49d1mov [rdi-8], 2048
001a49d9mov rbx, [rsp+32]
001a49demov [rdi], rbx
001a49e1mov [rdi+8], rax
001a49e5lea rbx, [rdi-24]
001a49e9mov [rbx-8], 2048
001a49f1mov rax, [rsp+24]
001a49f6mov [rbx], rax
001a49f9mov [rbx+8], rdi
001a49fd
001a49fdloc_1a49fd:
001a49fdsub r15, 24
001a4a01cmp r15, [r14]
001a4a04jb 0x1a4c20
001a4a0a
001a4a0aloc_1a4a0a:
001a4a0alea rax, [r15+8]
001a4a0emov [rax-8], 2048
001a4a16mov [rax], rbx
001a4a19mov rbx, [rsp]
001a4a1dmov rbx, [rbx+8]
001a4a21mov [rax+8], rbx
001a4a25add rsp, 40
001a4a29ret
001a4a2a
001a4a2a 66 90 f.
001a4a2c
001a4a2cloc_1a4a2c:
001a4a2ctest sil, 1
001a4a30je 0x1a4a3c
001a4a32mov [rsp+16], rdi
001a4a37jmp 0x1a4b68
001a4a3c
001a4a3cloc_1a4a3c:
001a4a3cmov rax, [rsi+8]
001a4a40test al, 1
001a4a42je 0x1a4a50
001a4a44mov [rsp+16], rdi
001a4a49jmp 0x1a4b68
001a4a4e
001a4a4e 66 90 f.
001a4a50
001a4a50loc_1a4a50:
001a4a50mov [rsp], rax
001a4a54mov rbx, [rax]
001a4a57mov [rsp+8], rbx
001a4a5cmov rax, [rsi]
001a4a5fmov [rsp+16], rax
001a4a64mov rdi, [rdi+24]
001a4a68call caml_apply2
001a4a6dcmp rax, 1
001a4a71jne 0x1a4aa4
001a4a73sub r15, 24
001a4a77cmp r15, [r14]
001a4a7ajb 0x1a4c16
001a4a80
001a4a80loc_1a4a80:
001a4a80lea rbx, [r15+8]
001a4a84mov [rbx-8], 2048
001a4a8cmov rax, [rsp+16]
001a4a91mov [rbx], rax
001a4a94mov [rbx+8], 1
001a4a9cjmp 0x1a4b39
001a4aa1
001a4aa1 0f 1f 00 ...
001a4aa4
001a4aa4loc_1a4aa4:
001a4aa4cmp rax, 1
001a4aa8jle 0x1a4af4
001a4aaasub r15, 48
001a4aaecmp r15, [r14]
001a4ab1jb 0x1a4c0c
001a4ab7
001a4ab7loc_1a4ab7:
001a4ab7lea rax, [r15+8]
001a4abbadd rax, 24
001a4abfmov [rax-8], 2048
001a4ac7mov rbx, [rsp+8]
001a4accmov [rax], rbx
001a4acfmov [rax+8], 1
001a4ad7lea rbx, [rax-24]
001a4adbmov [rbx-8], 2048
001a4ae3mov rdi, [rsp+16]
001a4ae8mov [rbx], rdi
001a4aebmov [rbx+8], rax
001a4aefjmp 0x1a4b39
001a4af1
001a4af1 0f 1f 00 ...
001a4af4
001a4af4loc_1a4af4:
001a4af4sub r15, 48
001a4af8cmp r15, [r14]
001a4afbjb 0x1a4c02
001a4b01
001a4b01loc_1a4b01:
001a4b01lea rax, [r15+8]
001a4b05add rax, 24
001a4b09mov [rax-8], 2048
001a4b11mov rbx, [rsp+16]
001a4b16mov [rax], rbx
001a4b19mov [rax+8], 1
001a4b21lea rbx, [rax-24]
001a4b25mov [rbx-8], 2048
001a4b2dmov rdi, [rsp+8]
001a4b32mov [rbx], rdi
001a4b35mov [rbx+8], rax
001a4b39
001a4b39loc_1a4b39:
001a4b39sub r15, 24
001a4b3dcmp r15, [r14]
001a4b40jb 0x1a4bf8
001a4b46
001a4b46loc_1a4b46:
001a4b46lea rax, [r15+8]
001a4b4amov [rax-8], 2048
001a4b52mov [rax], rbx
001a4b55mov rbx, [rsp]
001a4b59mov rbx, [rbx+8]
001a4b5dmov [rax+8], rbx
001a4b61add rsp, 40
001a4b65ret
001a4b66
001a4b66 66 90 f.
001a4b68
001a4b68loc_1a4b68:
001a4b68mov rax, rdx
001a4b6bsar rax, 1
001a4b6eor rax, 1
001a4b72sub rdx, rax
001a4b75inc rdx
001a4b78mov [rsp], rdx
001a4b7cadd rdi, -32
001a4b80mov rbx, rsi
001a4b83call Stdlib.List.sort
001a4b88mov [rsp+8], rax
001a4b8dmov rdi, [rsp+16]
001a4b92add rdi, -32
001a4b96mov rbx, [rax+8]
001a4b9amov rax, [rsp]
001a4b9ecall Stdlib.List.sort
001a4ba3mov [rsp], rax
001a4ba7mov rbx, [rax]
001a4baamov rax, [rsp+8]
001a4bafmov rax, [rax]
001a4bb2mov rdi, [rsp+16]
001a4bb7mov rsi, [rdi+32]
001a4bbbmov edi, 1
001a4bc0call Stdlib.List.rev_merge
001a4bc5sub r15, 24
001a4bc9cmp r15, [r14]
001a4bccjb 0x1a4bf1
001a4bce
001a4bceloc_1a4bce:
001a4bcelea rbx, [r15+8]
001a4bd2mov [rbx-8], 2048
001a4bdamov [rbx], rax
001a4bddmov rax, [rsp]
001a4be1mov rax, [rax+8]
001a4be5mov [rbx+8], rax
001a4be9mov rax, rbx
001a4becadd rsp, 40
001a4bf0ret
001a4bf1
001a4bf1loc_1a4bf1:
001a4bf1call caml_call_gc
001a4bf6jmp 0x1a4bce
001a4bf8
001a4bf8loc_1a4bf8:
001a4bf8call caml_call_gc
001a4bfdjmp 0x1a4b46
001a4c02
001a4c02loc_1a4c02:
001a4c02call caml_call_gc
001a4c07jmp 0x1a4b01
001a4c0c
001a4c0cloc_1a4c0c:
001a4c0ccall caml_call_gc
001a4c11jmp 0x1a4ab7
001a4c16
001a4c16loc_1a4c16:
001a4c16call caml_call_gc
001a4c1bjmp 0x1a4a80
001a4c20
001a4c20loc_1a4c20:
001a4c20call caml_call_gc
001a4c25jmp 0x1a4a0a
001a4c2a
001a4c2aloc_1a4c2a:
001a4c2acall caml_call_gc
001a4c2fjmp 0x1a49ad
001a4c34
001a4c34loc_1a4c34:
001a4c34call caml_call_gc
001a4c39jmp 0x1a494b
001a4c3e
001a4c3eloc_1a4c3e:
001a4c3ecall caml_call_gc
001a4c43jmp 0x1a48fb
001a4c48
001a4c48loc_1a4c48:
001a4c48call caml_call_gc
001a4c4djmp 0x1a487b
001a4c52
001a4c52loc_1a4c52:
001a4c52call caml_call_gc
001a4c57jmp 0x1a482b
001a4c5c
001a4c5cloc_1a4c5c:
001a4c5ccall caml_call_gc
001a4c61jmp 0x1a47a9
001a4c66
001a4c66loc_1a4c66:
001a4c66call caml_call_gc
001a4c6bjmp 0x1a4747
001a4c70
001a4c70loc_1a4c70:
001a4c70call caml_call_gc
001a4c75jmp 0x1a46f7
001a4c7a
001a4c7aloc_1a4c7a:
001a4c7acall caml_call_gc
001a4c7fjmp 0x1a4677
001a4c84
001a4c84loc_1a4c84:
001a4c84call caml_call_gc
001a4c89jmp 0x1a4625
001a4c8e
001a4c8eloc_1a4c8e:
001a4c8ecall caml_call_gc
001a4c93jmp 0x1a45b1
001a4c98
001a4c98loc_1a4c98:
001a4c98call caml_call_gc
001a4c9djmp 0x1a4567
001a4ca2
001a4ca2loc_1a4ca2:
001a4ca2call caml_call_gc
001a4ca7jmp 0x1a4532
001a4cac
001a4cacloc_1a4cac:
001a4cacpush 38
001a4caecall caml_call_realloc_stack
001a4cb3pop r10
001a4cb5jmp 0x1a4492
001a4480
001a4cba
001a4cba // align 0x10
001a4cba // align 0x10
001a4cc0
001a4cc0Stdlib.List.compare_lengths:
001a4cc0cmp r15, [r14]
001a4cc3jbe 0x1a4cf2
001a4cc5
001a4cc5loc_1a4cc5:
001a4cc5test al, 1
001a4cc7je 0x1a4cdc
001a4cc9test bl, 1
001a4cccje 0x1a4cd4
001a4ccemov eax, 1
001a4cd3ret
001a4cd4
001a4cd4loc_1a4cd4:
001a4cd4mov rax, -1
001a4cdbret
001a4cdc
001a4cdcloc_1a4cdc:
001a4cdctest bl, 1
001a4cdfje 0x1a4ce8
001a4ce1mov eax, 3
001a4ce6ret
001a4ce7
001a4ce7 90 .
001a4ce8
001a4ce8loc_1a4ce8:
001a4ce8mov rbx, [rbx+8]
001a4cecmov rax, [rax+8]
001a4cf0jmp 0x1a4cc0
001a4cf2
001a4cf2loc_1a4cf2:
001a4cf2call caml_call_gc
001a4cf7jmp 0x1a4cc5
001a4cc0
001a4cc0Stdlib.List.compare_lengths:
001a4cc0cmp r15, [r14]
001a4cc3jbe 0x1a4cf2
001a4cc5
001a4cc5loc_1a4cc5:
001a4cc5test al, 1
001a4cc7je 0x1a4cdc
001a4cc9test bl, 1
001a4cccje 0x1a4cd4
001a4ccemov eax, 1
001a4cd3ret
001a4cd4
001a4cd4loc_1a4cd4:
001a4cd4mov rax, -1
001a4cdbret
001a4cdc
001a4cdcloc_1a4cdc:
001a4cdctest bl, 1
001a4cdfje 0x1a4ce8
001a4ce1mov eax, 3
001a4ce6ret
001a4ce7
001a4ce7 90 .
001a4ce8
001a4ce8loc_1a4ce8:
001a4ce8mov rbx, [rbx+8]
001a4cecmov rax, [rax+8]
001a4cf0jmp 0x1a4cc0
001a4cf2
001a4cf2loc_1a4cf2:
001a4cf2call caml_call_gc
001a4cf7jmp 0x1a4cc5
001a4cc0
001a4cf9
001a4cf9 // align 0x10
001a4cf9 // align 0x10
001a4d00
001a4d00Stdlib.List.compare_length_with:
001a4d00cmp r15, [r14]
001a4d03jbe 0x1a4d46
001a4d05
001a4d05loc_1a4d05:
001a4d05test al, 1
001a4d07je 0x1a4d30
001a4d09cmp rbx, 1
001a4d0djne 0x1a4d18
001a4d0fmov eax, 1
001a4d14ret
001a4d15
001a4d15 0f 1f 00 ...
001a4d18
001a4d18loc_1a4d18:
001a4d18cmp rbx, 1
001a4d1cjle 0x1a4d28
001a4d1emov rax, -1
001a4d25ret
001a4d26
001a4d26 66 90 f.
001a4d28
001a4d28loc_1a4d28:
001a4d28mov eax, 3
001a4d2dret
001a4d2e
001a4d2e 66 90 f.
001a4d30
001a4d30loc_1a4d30:
001a4d30cmp rbx, 1
001a4d34jg 0x1a4d3c
001a4d36mov eax, 3
001a4d3bret
001a4d3c
001a4d3cloc_1a4d3c:
001a4d3cadd rbx, -2
001a4d40mov rax, [rax+8]
001a4d44jmp 0x1a4d00
001a4d46
001a4d46loc_1a4d46:
001a4d46call caml_call_gc
001a4d4bjmp 0x1a4d05
001a4d00
001a4d00Stdlib.List.compare_length_with:
001a4d00cmp r15, [r14]
001a4d03jbe 0x1a4d46
001a4d05
001a4d05loc_1a4d05:
001a4d05test al, 1
001a4d07je 0x1a4d30
001a4d09cmp rbx, 1
001a4d0djne 0x1a4d18
001a4d0fmov eax, 1
001a4d14ret
001a4d15
001a4d15 0f 1f 00 ...
001a4d18
001a4d18loc_1a4d18:
001a4d18cmp rbx, 1
001a4d1cjle 0x1a4d28
001a4d1emov rax, -1
001a4d25ret
001a4d26
001a4d26 66 90 f.
001a4d28
001a4d28loc_1a4d28:
001a4d28mov eax, 3
001a4d2dret
001a4d2e
001a4d2e 66 90 f.
001a4d30
001a4d30loc_1a4d30:
001a4d30cmp rbx, 1
001a4d34jg 0x1a4d3c
001a4d36mov eax, 3
001a4d3bret
001a4d3c
001a4d3cloc_1a4d3c:
001a4d3cadd rbx, -2
001a4d40mov rax, [rax+8]
001a4d44jmp 0x1a4d00
001a4d46
001a4d46loc_1a4d46:
001a4d46call caml_call_gc
001a4d4bjmp 0x1a4d05
001a4d00
001a4d4d
001a4d4d // align 0x10
001a4d4d // align 0x10
001a4d50
001a4d50Stdlib.List.is_empty:
001a4d50and rax, 1
001a4d54lea rax, [rax+rax+1]
001a4d59ret
001a4d50
001a4d50Stdlib.List.is_empty:
001a4d50and rax, 1
001a4d54lea rax, [rax+rax+1]
001a4d59ret
001a4d50
001a4d5a
001a4d5a // align 0x10
001a4d5a // align 0x10
001a4d60
001a4d60Stdlib.List.equal:
001a4d60lea r10, [rsp-344]
001a4d68cmp r10, [r14+40]
001a4d6cjb 0x1a4df5
001a4d72
001a4d72loc_1a4d72:
001a4d72sub rsp, 24
001a4d76
001a4d76loc_1a4d76:
001a4d76mov rsi, rax
001a4d79cmp r15, [r14]
001a4d7cjbe 0x1a4dee
001a4d7e
001a4d7eloc_1a4d7e:
001a4d7etest bl, 1
001a4d81je 0x1a4d94
001a4d83test dil, 1
001a4d87je 0x1a4de4
001a4d89mov eax, 3
001a4d8eadd rsp, 24
001a4d92ret
001a4d93
001a4d93 90 .
001a4d94
001a4d94loc_1a4d94:
001a4d94test dil, 1
001a4d98jne 0x1a4de4
001a4d9amov [rsp], rdi
001a4d9emov [rsp+8], rbx
001a4da3mov [rsp+16], rsi
001a4da8mov rdi, [rdi]
001a4dabmov rax, [rbx]
001a4daemov rbx, rdi
001a4db1mov rdi, rsi
001a4db4call caml_apply2
001a4db9cmp rax, 1
001a4dbdje 0x1a4dd8
001a4dbfmov rax, [rsp]
001a4dc3mov rdi, [rax+8]
001a4dc7mov rax, [rsp+8]
001a4dccmov rbx, [rax+8]
001a4dd0mov rax, [rsp+16]
001a4dd5jmp 0x1a4d76
001a4dd7
001a4dd7 90 .
001a4dd8
001a4dd8loc_1a4dd8:
001a4dd8mov eax, 1
001a4dddadd rsp, 24
001a4de1ret
001a4de2
001a4de2 66 90 f.
001a4de4
001a4de4loc_1a4de4:
001a4de4mov eax, 1
001a4de9add rsp, 24
001a4dedret
001a4dee
001a4deeloc_1a4dee:
001a4deecall caml_call_gc
001a4df3jmp 0x1a4d7e
001a4df5
001a4df5loc_1a4df5:
001a4df5push 36
001a4df7call caml_call_realloc_stack
001a4dfcpop r10
001a4dfejmp 0x1a4d72
001a4d60
001a4d60Stdlib.List.equal:
001a4d60lea r10, [rsp-344]
001a4d68cmp r10, [r14+40]
001a4d6cjb 0x1a4df5
001a4d72
001a4d72loc_1a4d72:
001a4d72sub rsp, 24
001a4d76
001a4d76loc_1a4d76:
001a4d76mov rsi, rax
001a4d79cmp r15, [r14]
001a4d7cjbe 0x1a4dee
001a4d7e
001a4d7eloc_1a4d7e:
001a4d7etest bl, 1
001a4d81je 0x1a4d94
001a4d83test dil, 1
001a4d87je 0x1a4de4
001a4d89mov eax, 3
001a4d8eadd rsp, 24
001a4d92ret
001a4d93
001a4d93 90 .
001a4d94
001a4d94loc_1a4d94:
001a4d94test dil, 1
001a4d98jne 0x1a4de4
001a4d9amov [rsp], rdi
001a4d9emov [rsp+8], rbx
001a4da3mov [rsp+16], rsi
001a4da8mov rdi, [rdi]
001a4dabmov rax, [rbx]
001a4daemov rbx, rdi
001a4db1mov rdi, rsi
001a4db4call caml_apply2
001a4db9cmp rax, 1
001a4dbdje 0x1a4dd8
001a4dbfmov rax, [rsp]
001a4dc3mov rdi, [rax+8]
001a4dc7mov rax, [rsp+8]
001a4dccmov rbx, [rax+8]
001a4dd0mov rax, [rsp+16]
001a4dd5jmp 0x1a4d76
001a4dd7
001a4dd7 90 .
001a4dd8
001a4dd8loc_1a4dd8:
001a4dd8mov eax, 1
001a4dddadd rsp, 24
001a4de1ret
001a4de2
001a4de2 66 90 f.
001a4de4
001a4de4loc_1a4de4:
001a4de4mov eax, 1
001a4de9add rsp, 24
001a4dedret
001a4dee
001a4deeloc_1a4dee:
001a4deecall caml_call_gc
001a4df3jmp 0x1a4d7e
001a4df5
001a4df5loc_1a4df5:
001a4df5push 36
001a4df7call caml_call_realloc_stack
001a4dfcpop r10
001a4dfejmp 0x1a4d72
001a4d60
001a4e03
001a4e03 // align 0x10
001a4e03 // align 0x10
001a4e10
001a4e10Stdlib.List.compare:
001a4e10lea r10, [rsp-344]
001a4e18cmp r10, [r14+40]
001a4e1cjb 0x1a4eab
001a4e22
001a4e22loc_1a4e22:
001a4e22sub rsp, 24
001a4e26
001a4e26loc_1a4e26:
001a4e26mov rsi, rax
001a4e29cmp r15, [r14]
001a4e2cjbe 0x1a4ea4
001a4e2e
001a4e2eloc_1a4e2e:
001a4e2etest bl, 1
001a4e31je 0x1a4e50
001a4e33test dil, 1
001a4e37je 0x1a4e44
001a4e39mov eax, 1
001a4e3eadd rsp, 24
001a4e42ret
001a4e43
001a4e43 90 .
001a4e44
001a4e44loc_1a4e44:
001a4e44mov rax, -1
001a4e4badd rsp, 24
001a4e4fret
001a4e50
001a4e50loc_1a4e50:
001a4e50test dil, 1
001a4e54je 0x1a4e60
001a4e56mov eax, 3
001a4e5badd rsp, 24
001a4e5fret
001a4e60
001a4e60loc_1a4e60:
001a4e60mov [rsp], rdi
001a4e64mov [rsp+8], rbx
001a4e69mov [rsp+16], rsi
001a4e6emov rdi, [rdi]
001a4e71mov rax, [rbx]
001a4e74mov rbx, rdi
001a4e77mov rdi, rsi
001a4e7acall caml_apply2
001a4e7fcmp rax, 1
001a4e83je 0x1a4e8c
001a4e85add rsp, 24
001a4e89ret
001a4e8a
001a4e8a 66 90 f.
001a4e8c
001a4e8cloc_1a4e8c:
001a4e8cmov rax, [rsp]
001a4e90mov rdi, [rax+8]
001a4e94mov rax, [rsp+8]
001a4e99mov rbx, [rax+8]
001a4e9dmov rax, [rsp+16]
001a4ea2jmp 0x1a4e26
001a4ea4
001a4ea4loc_1a4ea4:
001a4ea4call caml_call_gc
001a4ea9jmp 0x1a4e2e
001a4eab
001a4eabloc_1a4eab:
001a4eabpush 36
001a4eadcall caml_call_realloc_stack
001a4eb2pop r10
001a4eb4jmp 0x1a4e22
001a4e10
001a4e10Stdlib.List.compare:
001a4e10lea r10, [rsp-344]
001a4e18cmp r10, [r14+40]
001a4e1cjb 0x1a4eab
001a4e22
001a4e22loc_1a4e22:
001a4e22sub rsp, 24
001a4e26
001a4e26loc_1a4e26:
001a4e26mov rsi, rax
001a4e29cmp r15, [r14]
001a4e2cjbe 0x1a4ea4
001a4e2e
001a4e2eloc_1a4e2e:
001a4e2etest bl, 1
001a4e31je 0x1a4e50
001a4e33test dil, 1
001a4e37je 0x1a4e44
001a4e39mov eax, 1
001a4e3eadd rsp, 24
001a4e42ret
001a4e43
001a4e43 90 .
001a4e44
001a4e44loc_1a4e44:
001a4e44mov rax, -1
001a4e4badd rsp, 24
001a4e4fret
001a4e50
001a4e50loc_1a4e50:
001a4e50test dil, 1
001a4e54je 0x1a4e60
001a4e56mov eax, 3
001a4e5badd rsp, 24
001a4e5fret
001a4e60
001a4e60loc_1a4e60:
001a4e60mov [rsp], rdi
001a4e64mov [rsp+8], rbx
001a4e69mov [rsp+16], rsi
001a4e6emov rdi, [rdi]
001a4e71mov rax, [rbx]
001a4e74mov rbx, rdi
001a4e77mov rdi, rsi
001a4e7acall caml_apply2
001a4e7fcmp rax, 1
001a4e83je 0x1a4e8c
001a4e85add rsp, 24
001a4e89ret
001a4e8a
001a4e8a 66 90 f.
001a4e8c
001a4e8cloc_1a4e8c:
001a4e8cmov rax, [rsp]
001a4e90mov rdi, [rax+8]
001a4e94mov rax, [rsp+8]
001a4e99mov rbx, [rax+8]
001a4e9dmov rax, [rsp+16]
001a4ea2jmp 0x1a4e26
001a4ea4
001a4ea4loc_1a4ea4:
001a4ea4call caml_call_gc
001a4ea9jmp 0x1a4e2e
001a4eab
001a4eabloc_1a4eab:
001a4eabpush 36
001a4eadcall caml_call_realloc_stack
001a4eb2pop r10
001a4eb4jmp 0x1a4e22
001a4e10
001a4eb9
001a4eb9 // align 0x10
001a4eb9 // align 0x10
001a4ec0
001a4ec0Stdlib.List.to_seq:
001a4ec0lea rbx, [rip+0x18f9e1]
001a4ec7sub r15, 40
001a4ecbcmp r15, [r14]
001a4ecejb 0x1a4f00
001a4ed0
001a4ed0loc_1a4ed0:
001a4ed0lea rdi, [r15+8]
001a4ed4mov [rdi-8], 4343
001a4edclea rsi, [rip+189]
001a4ee3mov [rdi], rsi
001a4ee6mov rsi, 0x100000000000005
001a4ef0mov [rdi+8], rsi
001a4ef4mov [rdi+16], rax
001a4ef8mov [rdi+24], rbx
001a4efcmov rax, rdi
001a4effret
001a4f00
001a4f00loc_1a4f00:
001a4f00call caml_call_gc
001a4f05jmp 0x1a4ed0
001a4ec0
001a4ec0Stdlib.List.to_seq:
001a4ec0lea rbx, [rip+0x18f9e1]
001a4ec7sub r15, 40
001a4ecbcmp r15, [r14]
001a4ecejb 0x1a4f00
001a4ed0
001a4ed0loc_1a4ed0:
001a4ed0lea rdi, [r15+8]
001a4ed4mov [rdi-8], 4343
001a4edclea rsi, [rip+189]
001a4ee3mov [rdi], rsi
001a4ee6mov rsi, 0x100000000000005
001a4ef0mov [rdi+8], rsi
001a4ef4mov [rdi+16], rax
001a4ef8mov [rdi+24], rbx
001a4efcmov rax, rdi
001a4effret
001a4f00
001a4f00loc_1a4f00:
001a4f00call caml_call_gc
001a4f05jmp 0x1a4ed0
001a4ec0
001a4f07
001a4f07 // align 0x10
001a4f07 // align 0x10
001a4f10
001a4f10Stdlib.List.aux:
001a4f10test al, 1
001a4f12je 0x1a4f1c
001a4f14mov eax, 1
001a4f19ret
001a4f1a
001a4f1a 66 90 f.
001a4f1c
001a4f1cloc_1a4f1c:
001a4f1cmov rbx, [rax+8]
001a4f20sub r15, 64
001a4f24cmp r15, [r14]
001a4f27jb 0x1a4f73
001a4f29
001a4f29loc_1a4f29:
001a4f29lea rsi, [r15+8]
001a4f2dadd rsi, 24
001a4f31mov [rsi-8], 4343
001a4f39lea rdx, [rip+64]
001a4f40mov [rsi], rdx
001a4f43mov rdx, 0x100000000000005
001a4f4dmov [rsi+8], rdx
001a4f51mov [rsi+16], rbx
001a4f55mov [rsi+24], rdi
001a4f59lea rbx, [rsi-24]
001a4f5dmov [rbx-8], 2048
001a4f65mov rax, [rax]
001a4f68mov [rbx], rax
001a4f6bmov [rbx+8], rsi
001a4f6fmov rax, rbx
001a4f72ret
001a4f73
001a4f73loc_1a4f73:
001a4f73call caml_call_gc
001a4f78jmp 0x1a4f29
001a4f10
001a4f10Stdlib.List.aux:
001a4f10test al, 1
001a4f12je 0x1a4f1c
001a4f14mov eax, 1
001a4f19ret
001a4f1a
001a4f1a 66 90 f.
001a4f1c
001a4f1cloc_1a4f1c:
001a4f1cmov rbx, [rax+8]
001a4f20sub r15, 64
001a4f24cmp r15, [r14]
001a4f27jb 0x1a4f73
001a4f29
001a4f29loc_1a4f29:
001a4f29lea rsi, [r15+8]
001a4f2dadd rsi, 24
001a4f31mov [rsi-8], 4343
001a4f39lea rdx, [rip+64]
001a4f40mov [rsi], rdx
001a4f43mov rdx, 0x100000000000005
001a4f4dmov [rsi+8], rdx
001a4f51mov [rsi+16], rbx
001a4f55mov [rsi+24], rdi
001a4f59lea rbx, [rsi-24]
001a4f5dmov [rbx-8], 2048
001a4f65mov rax, [rax]
001a4f68mov [rbx], rax
001a4f6bmov [rbx+8], rsi
001a4f6fmov rax, rbx
001a4f72ret
001a4f73
001a4f73loc_1a4f73:
001a4f73call caml_call_gc
001a4f78jmp 0x1a4f29
001a4f10
001a4f7a
001a4f7a // align 0x10
001a4f7a // align 0x10
001a4f80
001a4f80Stdlib.List.fun:
001a4f80mov rsi, rax
001a4f83mov rax, [rbx+16]
001a4f87mov rdi, [rbx+24]
001a4f8bmov rbx, rsi
001a4f8ejmp 0x1a4f10
001a4f80
001a4f80Stdlib.List.fun:
001a4f80mov rsi, rax
001a4f83mov rax, [rbx+16]
001a4f87mov rdi, [rbx+24]
001a4f8bmov rbx, rsi
001a4f8ejmp 0x1a4f10
001a4f80
001a4f93
001a4f93 // align 0x10
001a4f93 // align 0x10
001a4fa0
001a4fa0Stdlib.List.fun:
001a4fa0mov rsi, rax
001a4fa3mov rax, [rbx+16]
001a4fa7mov rdi, [rbx+24]
001a4fabmov rbx, rsi
001a4faejmp 0x1a4f10
001a4fa0
001a4fa0Stdlib.List.fun:
001a4fa0mov rsi, rax
001a4fa3mov rax, [rbx+16]
001a4fa7mov rdi, [rbx+24]
001a4fabmov rbx, rsi
001a4faejmp 0x1a4f10
001a4fa0
001a4fb3
001a4fb3 // align 0x10
001a4fb3 // align 0x10
001a4fc0
001a4fc0Stdlib.List.of_seq_dps:
001a4fc0lea r10, [rsp-344]
001a4fc8cmp r10, [r14+40]
001a4fccjb 0x1a5113
001a4fd2
001a4fd2loc_1a4fd2:
001a4fd2sub rsp, 24
001a4fd6
001a4fd6loc_1a4fd6:
001a4fd6mov [rsp+16], rax
001a4fdbmov [rsp+8], rbx
001a4fe0mov rbx, rdi
001a4fe3mov eax, 1
001a4fe8mov rdi, [rbx]
001a4febcall rdi
001a4fedtest al, 1
001a4fefje 0x1a5020
001a4ff1mov esi, 1
001a4ff6mov rax, [rsp+8]
001a4ffbmov rbx, [rsp+16]
001a5000lea rdi, [rbx+4*rax-4]
001a5005mov rbx, rsp
001a5008mov rsp, [r14+64]
001a500ccall caml_initialize
001a5011mov rsp, rbx
001a5014mov eax, 1
001a5019add rsp, 24
001a501dret
001a501e
001a501e 66 90 f.
001a5020
001a5020loc_1a5020:
001a5020mov rbx, [rax]
001a5023mov [rsp], rbx
001a5027mov rbx, [rax+8]
001a502bmov eax, 1
001a5030mov rdi, [rbx]
001a5033call rdi
001a5035mov r13, rax
001a5038test r13b, 1
001a503cje 0x1a5090
001a503esub r15, 24
001a5042cmp r15, [r14]
001a5045jb 0x1a5109
001a504b
001a504bloc_1a504b:
001a504blea rsi, [r15+8]
001a504fmov [rsi-8], 2048
001a5057mov rax, [rsp]
001a505bmov [rsi], rax
001a505emov [rsi+8], 1
001a5066mov rax, [rsp+8]
001a506bmov rbx, [rsp+16]
001a5070lea rdi, [rbx+4*rax-4]
001a5075mov rbx, rsp
001a5078mov rsp, [r14+64]
001a507ccall caml_initialize
001a5081mov rsp, rbx
001a5084mov eax, 1
001a5089add rsp, 24
001a508dret
001a508e
001a508e 66 90 f.
001a5090
001a5090loc_1a5090:
001a5090mov rax, [r13]
001a5094sub r15, 48
001a5098cmp r15, [r14]
001a509bjb 0x1a5102
001a509d
001a509dloc_1a509d:
001a509dlea r12, [r15+8]
001a50a1add r12, 24
001a50a5mov [r12-8], 2048
001a50aemov [r12], rax
001a50b2mov [r12+8], 48059
001a50bblea rsi, [r12-24]
001a50c0mov [rsi-8], 2048
001a50c8mov rax, [rsp]
001a50ccmov [rsi], rax
001a50cfmov [rsi+8], r12
001a50d3mov rax, [rsp+8]
001a50d8mov rbx, [rsp+16]
001a50ddlea rdi, [rbx+4*rax-4]
001a50e2mov rbx, rsp
001a50e5mov rsp, [r14+64]
001a50e9call caml_initialize
001a50eemov rsp, rbx
001a50f1mov rdi, [r13+8]
001a50f5mov ebx, 3
001a50famov rax, r12
001a50fdjmp 0x1a4fd6
001a5102
001a5102loc_1a5102:
001a5102call caml_call_gc
001a5107jmp 0x1a509d
001a5109
001a5109loc_1a5109:
001a5109call caml_call_gc
001a510ejmp 0x1a504b
001a5113
001a5113loc_1a5113:
001a5113push 36
001a5115call caml_call_realloc_stack
001a511apop r10
001a511cjmp 0x1a4fd2
001a4fc0
001a4fc0Stdlib.List.of_seq_dps:
001a4fc0lea r10, [rsp-344]
001a4fc8cmp r10, [r14+40]
001a4fccjb 0x1a5113
001a4fd2
001a4fd2loc_1a4fd2:
001a4fd2sub rsp, 24
001a4fd6
001a4fd6loc_1a4fd6:
001a4fd6mov [rsp+16], rax
001a4fdbmov [rsp+8], rbx
001a4fe0mov rbx, rdi
001a4fe3mov eax, 1
001a4fe8mov rdi, [rbx]
001a4febcall rdi
001a4fedtest al, 1
001a4fefje 0x1a5020
001a4ff1mov esi, 1
001a4ff6mov rax, [rsp+8]
001a4ffbmov rbx, [rsp+16]
001a5000lea rdi, [rbx+4*rax-4]
001a5005mov rbx, rsp
001a5008mov rsp, [r14+64]
001a500ccall caml_initialize
001a5011mov rsp, rbx
001a5014mov eax, 1
001a5019add rsp, 24
001a501dret
001a501e
001a501e 66 90 f.
001a5020
001a5020loc_1a5020:
001a5020mov rbx, [rax]
001a5023mov [rsp], rbx
001a5027mov rbx, [rax+8]
001a502bmov eax, 1
001a5030mov rdi, [rbx]
001a5033call rdi
001a5035mov r13, rax
001a5038test r13b, 1
001a503cje 0x1a5090
001a503esub r15, 24
001a5042cmp r15, [r14]
001a5045jb 0x1a5109
001a504b
001a504bloc_1a504b:
001a504blea rsi, [r15+8]
001a504fmov [rsi-8], 2048
001a5057mov rax, [rsp]
001a505bmov [rsi], rax
001a505emov [rsi+8], 1
001a5066mov rax, [rsp+8]
001a506bmov rbx, [rsp+16]
001a5070lea rdi, [rbx+4*rax-4]
001a5075mov rbx, rsp
001a5078mov rsp, [r14+64]
001a507ccall caml_initialize
001a5081mov rsp, rbx
001a5084mov eax, 1
001a5089add rsp, 24
001a508dret
001a508e
001a508e 66 90 f.
001a5090
001a5090loc_1a5090:
001a5090mov rax, [r13]
001a5094sub r15, 48
001a5098cmp r15, [r14]
001a509bjb 0x1a5102
001a509d
001a509dloc_1a509d:
001a509dlea r12, [r15+8]
001a50a1add r12, 24
001a50a5mov [r12-8], 2048
001a50aemov [r12], rax
001a50b2mov [r12+8], 48059
001a50bblea rsi, [r12-24]
001a50c0mov [rsi-8], 2048
001a50c8mov rax, [rsp]
001a50ccmov [rsi], rax
001a50cfmov [rsi+8], r12
001a50d3mov rax, [rsp+8]
001a50d8mov rbx, [rsp+16]
001a50ddlea rdi, [rbx+4*rax-4]
001a50e2mov rbx, rsp
001a50e5mov rsp, [r14+64]
001a50e9call caml_initialize
001a50eemov rsp, rbx
001a50f1mov rdi, [r13+8]
001a50f5mov ebx, 3
001a50famov rax, r12
001a50fdjmp 0x1a4fd6
001a5102
001a5102loc_1a5102:
001a5102call caml_call_gc
001a5107jmp 0x1a509d
001a5109
001a5109loc_1a5109:
001a5109call caml_call_gc
001a510ejmp 0x1a504b
001a5113
001a5113loc_1a5113:
001a5113push 36
001a5115call caml_call_realloc_stack
001a511apop r10
001a511cjmp 0x1a4fd2
001a4fc0
001a5121
001a5121 // align 0x10
001a5121 // align 0x10
001a5130
001a5130Stdlib.List.of_seq:
001a5130lea r10, [rsp-336]
001a5138cmp r10, [r14+40]
001a513cjb 0x1a5226
001a5142
001a5142loc_1a5142:
001a5142sub rsp, 16
001a5146mov rbx, rax
001a5149mov eax, 1
001a514emov rdi, [rbx]
001a5151call rdi
001a5153test al, 1
001a5155je 0x1a5164
001a5157mov eax, 1
001a515cadd rsp, 16
001a5160ret
001a5161
001a5161 0f 1f 00 ...
001a5164
001a5164loc_1a5164:
001a5164mov rbx, [rax]
001a5167mov [rsp+8], rbx
001a516cmov rbx, [rax+8]
001a5170mov eax, 1
001a5175mov rdi, [rbx]
001a5178call rdi
001a517atest al, 1
001a517cje 0x1a51ac
001a517esub r15, 24
001a5182cmp r15, [r14]
001a5185jb 0x1a521c
001a518b
001a518bloc_1a518b:
001a518blea rax, [r15+8]
001a518fmov [rax-8], 2048
001a5197mov rbx, [rsp+8]
001a519cmov [rax], rbx
001a519fmov [rax+8], 1
001a51a7add rsp, 16
001a51abret
001a51ac
001a51acloc_1a51ac:
001a51acsub r15, 24
001a51b0cmp r15, [r14]
001a51b3jb 0x1a5215
001a51b5
001a51b5loc_1a51b5:
001a51b5lea rsi, [r15+8]
001a51b9mov [rsp], rsi
001a51bdmov [rsi-8], 2048
001a51c5mov rbx, [rax]
001a51c8mov [rsi], rbx
001a51cbmov [rsi+8], 48059
001a51d3mov rdi, [rax+8]
001a51d7mov ebx, 3
001a51dcmov rax, rsi
001a51dfcall Stdlib.List.of_seq_dps
001a51e4mov rbx, [rsp]
001a51e8sub r15, 24
001a51eccmp r15, [r14]
001a51efjb 0x1a520e
001a51f1
001a51f1loc_1a51f1:
001a51f1lea rax, [r15+8]
001a51f5mov [rax-8], 2048
001a51fdmov rdi, [rsp+8]
001a5202mov [rax], rdi
001a5205mov [rax+8], rbx
001a5209add rsp, 16
001a520dret
001a520e
001a520eloc_1a520e:
001a520ecall caml_call_gc
001a5213jmp 0x1a51f1
001a5215
001a5215loc_1a5215:
001a5215call caml_call_gc
001a521ajmp 0x1a51b5
001a521c
001a521cloc_1a521c:
001a521ccall caml_call_gc
001a5221jmp 0x1a518b
001a5226
001a5226loc_1a5226:
001a5226push 35
001a5228call caml_call_realloc_stack
001a522dpop r10
001a522fjmp 0x1a5142
001a5130
001a5130Stdlib.List.of_seq:
001a5130lea r10, [rsp-336]
001a5138cmp r10, [r14+40]
001a513cjb 0x1a5226
001a5142
001a5142loc_1a5142:
001a5142sub rsp, 16
001a5146mov rbx, rax
001a5149mov eax, 1
001a514emov rdi, [rbx]
001a5151call rdi
001a5153test al, 1
001a5155je 0x1a5164
001a5157mov eax, 1
001a515cadd rsp, 16
001a5160ret
001a5161
001a5161 0f 1f 00 ...
001a5164
001a5164loc_1a5164:
001a5164mov rbx, [rax]
001a5167mov [rsp+8], rbx
001a516cmov rbx, [rax+8]
001a5170mov eax, 1
001a5175mov rdi, [rbx]
001a5178call rdi
001a517atest al, 1
001a517cje 0x1a51ac
001a517esub r15, 24
001a5182cmp r15, [r14]
001a5185jb 0x1a521c
001a518b
001a518bloc_1a518b:
001a518blea rax, [r15+8]
001a518fmov [rax-8], 2048
001a5197mov rbx, [rsp+8]
001a519cmov [rax], rbx
001a519fmov [rax+8], 1
001a51a7add rsp, 16
001a51abret
001a51ac
001a51acloc_1a51ac:
001a51acsub r15, 24
001a51b0cmp r15, [r14]
001a51b3jb 0x1a5215
001a51b5
001a51b5loc_1a51b5:
001a51b5lea rsi, [r15+8]
001a51b9mov [rsp], rsi
001a51bdmov [rsi-8], 2048
001a51c5mov rbx, [rax]
001a51c8mov [rsi], rbx
001a51cbmov [rsi+8], 48059
001a51d3mov rdi, [rax+8]
001a51d7mov ebx, 3
001a51dcmov rax, rsi
001a51dfcall Stdlib.List.of_seq_dps
001a51e4mov rbx, [rsp]
001a51e8sub r15, 24
001a51eccmp r15, [r14]
001a51efjb 0x1a520e
001a51f1
001a51f1loc_1a51f1:
001a51f1lea rax, [r15+8]
001a51f5mov [rax-8], 2048
001a51fdmov rdi, [rsp+8]
001a5202mov [rax], rdi
001a5205mov [rax+8], rbx
001a5209add rsp, 16
001a520dret
001a520e
001a520eloc_1a520e:
001a520ecall caml_call_gc
001a5213jmp 0x1a51f1
001a5215
001a5215loc_1a5215:
001a5215call caml_call_gc
001a521ajmp 0x1a51b5
001a521c
001a521cloc_1a521c:
001a521ccall caml_call_gc
001a5221jmp 0x1a518b
001a5226
001a5226loc_1a5226:
001a5226push 35
001a5228call caml_call_realloc_stack
001a522dpop r10
001a522fjmp 0x1a5142
001a5130
001a5234
001a5234 // align 0x10
001a5234 // align 0x10
001a5240
001a5240Stdlib.List.entry:
001a5240lea rsi, [rip+0x18f681]
001a5247lea rdi, [rip+0x190022]
001a524eadd rdi, 552
001a5255mov rbx, rsp
001a5258mov rsp, [r14+64]
001a525ccall caml_initialize
001a5261mov rsp, rbx
001a5264lea rsi, [rip+0x18f67d]
001a526blea rdi, [rip+0x18fffe]
001a5272mov rbx, rsp
001a5275mov rsp, [r14+64]
001a5279call caml_initialize
001a527emov rsp, rbx
001a5281lea rsi, [rip+0x18f678]
001a5288lea rdi, [rip+0x18ffe1]
001a528fadd rdi, 32
001a5293mov rbx, rsp
001a5296mov rsp, [r14+64]
001a529acall caml_initialize
001a529fmov rsp, rbx
001a52a2lea rsi, [rip+0x18f677]
001a52a9lea rdi, [rip+0x18ffc0]
001a52b0add rdi, 40
001a52b4mov rbx, rsp
001a52b7mov rsp, [r14+64]
001a52bbcall caml_initialize
001a52c0mov rsp, rbx
001a52c3lea rsi, [rip+0x18f66e]
001a52calea rdi, [rip+0x18ff9f]
001a52d1add rdi, 48
001a52d5mov rbx, rsp
001a52d8mov rsp, [r14+64]
001a52dccall caml_initialize
001a52e1mov rsp, rbx
001a52e4lea rsi, [rip+0x18f665]
001a52eblea rdi, [rip+0x18ff7e]
001a52f2add rdi, 56
001a52f6mov rbx, rsp
001a52f9mov rsp, [r14+64]
001a52fdcall caml_initialize
001a5302mov rsp, rbx
001a5305lea rsi, [rip+0x18f664]
001a530clea rdi, [rip+0x18ff5d]
001a5313add rdi, 64
001a5317mov rbx, rsp
001a531amov rsp, [r14+64]
001a531ecall caml_initialize
001a5323mov rsp, rbx
001a5326lea rax, [rip+0x1882eb]
001a532dmov rsi, [rax+288]
001a5334lea rdi, [rip+0x18ff35]
001a533badd rdi, 88
001a533fmov rbx, rsp
001a5342mov rsp, [r14+64]
001a5346call caml_initialize
001a534bmov rsp, rbx
001a534elea rsi, [rip+0x18f63b]
001a5355lea rdi, [rip+0x18ff14]
001a535cadd rdi, 96
001a5360mov rbx, rsp
001a5363mov rsp, [r14+64]
001a5367call caml_initialize
001a536cmov rsp, rbx
001a536flea rsi, [rip+0x18f63a]
001a5376lea rdi, [rip+0x18fef3]
001a537dadd rdi, 72
001a5381mov rbx, rsp
001a5384mov rsp, [r14+64]
001a5388call caml_initialize
001a538dmov rsp, rbx
001a5390lea rsi, [rip+0x18f631]
001a5397lea rdi, [rip+0x18fed2]
001a539eadd rdi, 560
001a53a5mov rbx, rsp
001a53a8mov rsp, [r14+64]
001a53accall caml_initialize
001a53b1mov rsp, rbx
001a53b4lea rsi, [rip+0x18f64d]
001a53bblea rdi, [rip+0x18feae]
001a53c2add rdi, 80
001a53c6mov rbx, rsp
001a53c9mov rsp, [r14+64]
001a53cdcall caml_initialize
001a53d2mov rsp, rbx
001a53d5lea rsi, [rip+0x18f64c]
001a53dclea rdi, [rip+0x18fe8d]
001a53e3add rdi, 112
001a53e7mov rbx, rsp
001a53eamov rsp, [r14+64]
001a53eecall caml_initialize
001a53f3mov rsp, rbx
001a53f6lea rdi, [rip+0x18fe73]
001a53fdmov rsi, [rdi+112]
001a5401add rdi, 104
001a5405mov rbx, rsp
001a5408mov rsp, [r14+64]
001a540ccall caml_initialize
001a5411mov rsp, rbx
001a5414lea rsi, [rip+0x18f625]
001a541blea rdi, [rip+0x18fe4e]
001a5422add rdi, 152
001a5429mov rbx, rsp
001a542cmov rsp, [r14+64]
001a5430call caml_initialize
001a5435mov rsp, rbx
001a5438lea rsi, [rip+0x18f641]
001a543flea rdi, [rip+0x18fe2a]
001a5446add rdi, 568
001a544dmov rbx, rsp
001a5450mov rsp, [r14+64]
001a5454call caml_initialize
001a5459mov rsp, rbx
001a545clea rsi, [rip+0x18f65d]
001a5463lea rdi, [rip+0x18fe06]
001a546aadd rdi, 160
001a5471mov rbx, rsp
001a5474mov rsp, [r14+64]
001a5478call caml_initialize
001a547dmov rsp, rbx
001a5480lea rsi, [rip+0x18f659]
001a5487lea rdi, [rip+0x18fde2]
001a548eadd rdi, 168
001a5495mov rbx, rsp
001a5498mov rsp, [r14+64]
001a549ccall caml_initialize
001a54a1mov rsp, rbx
001a54a4lea rsi, [rip+0x18f655]
001a54ablea rdi, [rip+0x18fdbe]
001a54b2add rdi, 136
001a54b9mov rbx, rsp
001a54bcmov rsp, [r14+64]
001a54c0call caml_initialize
001a54c5mov rsp, rbx
001a54c8lea rsi, [rip+0x18f651]
001a54cflea rdi, [rip+0x18fd9a]
001a54d6add rdi, 576
001a54ddmov rbx, rsp
001a54e0mov rsp, [r14+64]
001a54e4call caml_initialize
001a54e9mov rsp, rbx
001a54eclea rsi, [rip+0x18f64d]
001a54f3lea rdi, [rip+0x18fd76]
001a54faadd rdi, 144
001a5501mov rbx, rsp
001a5504mov rsp, [r14+64]
001a5508call caml_initialize
001a550dmov rsp, rbx
001a5510lea rsi, [rip+0x18f649]
001a5517lea rdi, [rip+0x18fd52]
001a551eadd rdi, 200
001a5525mov rbx, rsp
001a5528mov rsp, [r14+64]
001a552ccall caml_initialize
001a5531mov rsp, rbx
001a5534lea rsi, [rip+0x18f645]
001a553blea rdi, [rip+0x18fd2e]
001a5542add rdi, 208
001a5549mov rbx, rsp
001a554cmov rsp, [r14+64]
001a5550call caml_initialize
001a5555mov rsp, rbx
001a5558lea rsi, [rip+0x18f641]
001a555flea rdi, [rip+0x18fd0a]
001a5566add rdi, 224
001a556dmov rbx, rsp
001a5570mov rsp, [r14+64]
001a5574call caml_initialize
001a5579mov rsp, rbx
001a557clea rsi, [rip+0x18f65d]
001a5583lea rdi, [rip+0x18fce6]
001a558aadd rdi, 232
001a5591mov rbx, rsp
001a5594mov rsp, [r14+64]
001a5598call caml_initialize
001a559dmov rsp, rbx
001a55a0lea rsi, [rip+0x18f659]
001a55a7lea rdi, [rip+0x18fcc2]
001a55aeadd rdi, 216
001a55b5mov rbx, rsp
001a55b8mov rsp, [r14+64]
001a55bccall caml_initialize
001a55c1mov rsp, rbx
001a55c4lea rsi, [rip+0x18f655]
001a55cblea rdi, [rip+0x18fc9e]
001a55d2add rdi, 240
001a55d9mov rbx, rsp
001a55dcmov rsp, [r14+64]
001a55e0call caml_initialize
001a55e5mov rsp, rbx
001a55e8lea rsi, [rip+0x18f651]
001a55eflea rdi, [rip+0x18fc7a]
001a55f6add rdi, 248
001a55fdmov rbx, rsp
001a5600mov rsp, [r14+64]
001a5604call caml_initialize
001a5609mov rsp, rbx
001a560clea rsi, [rip+0x18f64d]
001a5613lea rdi, [rip+0x18fc56]
001a561aadd rdi, 256
001a5621mov rbx, rsp
001a5624mov rsp, [r14+64]
001a5628call caml_initialize
001a562dmov rsp, rbx
001a5630lea rsi, [rip+0x18f649]
001a5637lea rdi, [rip+0x18fc32]
001a563eadd rdi, 264
001a5645mov rbx, rsp
001a5648mov rsp, [r14+64]
001a564ccall caml_initialize
001a5651mov rsp, rbx
001a5654lea rsi, [rip+0x18f645]
001a565blea rdi, [rip+0x18fc0e]
001a5662add rdi, 272
001a5669mov rbx, rsp
001a566cmov rsp, [r14+64]
001a5670call caml_initialize
001a5675mov rsp, rbx
001a5678lea rsi, [rip+0x18f641]
001a567flea rdi, [rip+0x18fbea]
001a5686add rdi, 280
001a568dmov rbx, rsp
001a5690mov rsp, [r14+64]
001a5694call caml_initialize
001a5699mov rsp, rbx
001a569clea rsi, [rip+0x18f63d]
001a56a3lea rdi, [rip+0x18fbc6]
001a56aaadd rdi, 288
001a56b1mov rbx, rsp
001a56b4mov rsp, [r14+64]
001a56b8call caml_initialize
001a56bdmov rsp, rbx
001a56c0lea rsi, [rip+0x18f639]
001a56c7lea rdi, [rip+0x18fba2]
001a56ceadd rdi, 296
001a56d5mov rbx, rsp
001a56d8mov rsp, [r14+64]
001a56dccall caml_initialize
001a56e1mov rsp, rbx
001a56e4lea rsi, [rip+0x18f635]
001a56eblea rdi, [rip+0x18fb7e]
001a56f2add rdi, 416
001a56f9mov rbx, rsp
001a56fcmov rsp, [r14+64]
001a5700call caml_initialize
001a5705mov rsp, rbx
001a5708lea rsi, [rip+0x18f631]
001a570flea rdi, [rip+0x18fb5a]
001a5716add rdi, 424
001a571dmov rbx, rsp
001a5720mov rsp, [r14+64]
001a5724call caml_initialize
001a5729mov rsp, rbx
001a572clea rsi, [rip+0x18f62d]
001a5733lea rdi, [rip+0x18fb36]
001a573aadd rdi, 432
001a5741mov rbx, rsp
001a5744mov rsp, [r14+64]
001a5748call caml_initialize
001a574dmov rsp, rbx
001a5750lea rsi, [rip+0x18f629]
001a5757lea rdi, [rip+0x18fb12]
001a575eadd rdi, 440
001a5765mov rbx, rsp
001a5768mov rsp, [r14+64]
001a576ccall caml_initialize
001a5771mov rsp, rbx
001a5774lea rsi, [rip+0x18f625]
001a577blea rdi, [rip+0x18faee]
001a5782add rdi, 448
001a5789mov rbx, rsp
001a578cmov rsp, [r14+64]
001a5790call caml_initialize
001a5795mov rsp, rbx
001a5798lea rsi, [rip+0x18f621]
001a579flea rdi, [rip+0x18faca]
001a57a6add rdi, 456
001a57admov rbx, rsp
001a57b0mov rsp, [r14+64]
001a57b4call caml_initialize
001a57b9mov rsp, rbx
001a57bclea rsi, [rip+0x18f61d]
001a57c3lea rdi, [rip+0x18faa6]
001a57caadd rdi, 464
001a57d1mov rbx, rsp
001a57d4mov rsp, [r14+64]
001a57d8call caml_initialize
001a57ddmov rsp, rbx
001a57e0lea rsi, [rip+0x18f619]
001a57e7lea rdi, [rip+0x18fa82]
001a57eeadd rdi, 472
001a57f5mov rbx, rsp
001a57f8mov rsp, [r14+64]
001a57fccall caml_initialize
001a5801mov rsp, rbx
001a5804lea rsi, [rip+0x18f615]
001a580blea rdi, [rip+0x18fa5e]
001a5812add rdi, 304
001a5819mov rbx, rsp
001a581cmov rsp, [r14+64]
001a5820call caml_initialize
001a5825mov rsp, rbx
001a5828lea rsi, [rip+0x18f611]
001a582flea rdi, [rip+0x18fa3a]
001a5836add rdi, 312
001a583dmov rbx, rsp
001a5840mov rsp, [r14+64]
001a5844call caml_initialize
001a5849mov rsp, rbx
001a584clea rsi, [rip+0x18f60d]
001a5853lea rdi, [rip+0x18fa16]
001a585aadd rdi, 320
001a5861mov rbx, rsp
001a5864mov rsp, [r14+64]
001a5868call caml_initialize
001a586dmov rsp, rbx
001a5870lea rsi, [rip+0x18f601]
001a5877lea rdi, [rip+0x18f9f2]
001a587eadd rdi, 328
001a5885mov rbx, rsp
001a5888mov rsp, [r14+64]
001a588ccall caml_initialize
001a5891mov rsp, rbx
001a5894lea rsi, [rip+0x18f5fd]
001a589blea rdi, [rip+0x18f9ce]
001a58a2add rdi, 336
001a58a9mov rbx, rsp
001a58acmov rsp, [r14+64]
001a58b0call caml_initialize
001a58b5mov rsp, rbx
001a58b8lea rsi, [rip+0x18f5f1]
001a58bflea rdi, [rip+0x18f9aa]
001a58c6add rdi, 352
001a58cdmov rbx, rsp
001a58d0mov rsp, [r14+64]
001a58d4call caml_initialize
001a58d9mov rsp, rbx
001a58dclea rdi, [rip+0x18f98d]
001a58e3mov rsi, [rdi+352]
001a58eaadd rdi, 344
001a58f1mov rbx, rsp
001a58f4mov rsp, [r14+64]
001a58f8call caml_initialize
001a58fdmov rsp, rbx
001a5900lea rsi, [rip+0x18f5e9]
001a5907lea rdi, [rip+0x18f962]
001a590eadd rdi, 584
001a5915mov rbx, rsp
001a5918mov rsp, [r14+64]
001a591ccall caml_initialize
001a5921mov rsp, rbx
001a5924lea rsi, [rip+0x18f605]
001a592blea rdi, [rip+0x18f93e]
001a5932add rdi, 360
001a5939mov rbx, rsp
001a593cmov rsp, [r14+64]
001a5940call caml_initialize
001a5945mov rsp, rbx
001a5948lea rsi, [rip+0x18f601]
001a594flea rdi, [rip+0x18f91a]
001a5956add rdi, 176
001a595dmov rbx, rsp
001a5960mov rsp, [r14+64]
001a5964call caml_initialize
001a5969mov rsp, rbx
001a596clea r12, [rip+0x18f61d]
001a5973lea rdi, [rip+0x18f8f6]
001a597aadd rdi, 184
001a5981mov rsi, r12
001a5984mov rbx, rsp
001a5987mov rsp, [r14+64]
001a598bcall caml_initialize
001a5990mov rsp, rbx
001a5993mov rsi, r12
001a5996add rsi, 64
001a599alea rdi, [rip+0x18f8cf]
001a59a1add rdi, 592
001a59a8mov rbx, rsp
001a59abmov rsp, [r14+64]
001a59afcall caml_initialize
001a59b4mov rsp, rbx
001a59b7lea rsi, [rip+0x18f652]
001a59belea rdi, [rip+0x18f8ab]
001a59c5add rdi, 368
001a59ccmov rbx, rsp
001a59cfmov rsp, [r14+64]
001a59d3call caml_initialize
001a59d8mov rsp, rbx
001a59dblea rsi, [rip+0x18f64e]
001a59e2lea rdi, [rip+0x18f887]
001a59e9add rdi, 376
001a59f0mov rbx, rsp
001a59f3mov rsp, [r14+64]
001a59f7call caml_initialize
001a59fcmov rsp, rbx
001a59fflea rsi, [rip+0x18f64a]
001a5a06lea rdi, [rip+0x18f863]
001a5a0dadd rdi, 384
001a5a14mov rbx, rsp
001a5a17mov rsp, [r14+64]
001a5a1bcall caml_initialize
001a5a20mov rsp, rbx
001a5a23lea rsi, [rip+0x18f646]
001a5a2alea rdi, [rip+0x18f83f]
001a5a31add rdi, 392
001a5a38mov rbx, rsp
001a5a3bmov rsp, [r14+64]
001a5a3fcall caml_initialize
001a5a44mov rsp, rbx
001a5a47lea rsi, [rip+0x18f642]
001a5a4elea rdi, [rip+0x18f81b]
001a5a55add rdi, 192
001a5a5cmov rbx, rsp
001a5a5fmov rsp, [r14+64]
001a5a63call caml_initialize
001a5a68mov rsp, rbx
001a5a6blea rsi, [rip+0x18f63e]
001a5a72lea rdi, [rip+0x18f7f7]
001a5a79add rdi, 400
001a5a80mov rbx, rsp
001a5a83mov rsp, [r14+64]
001a5a87call caml_initialize
001a5a8cmov rsp, rbx
001a5a8flea rsi, [rip+0x18f63a]
001a5a96lea rdi, [rip+0x18f7d3]
001a5a9dadd rdi, 408
001a5aa4mov rbx, rsp
001a5aa7mov rsp, [r14+64]
001a5aabcall caml_initialize
001a5ab0mov rsp, rbx
001a5ab3lea rsi, [rip+0x18f636]
001a5abalea rdi, [rip+0x18f7af]
001a5ac1add rdi, 480
001a5ac8mov rbx, rsp
001a5acbmov rsp, [r14+64]
001a5acfcall caml_initialize
001a5ad4mov rsp, rbx
001a5ad7lea rsi, [rip+0x18f62a]
001a5adelea rdi, [rip+0x18f78b]
001a5ae5add rdi, 488
001a5aecmov rbx, rsp
001a5aefmov rsp, [r14+64]
001a5af3call caml_initialize
001a5af8mov rsp, rbx
001a5afblea rsi, [rip+0x18f626]
001a5b02lea rdi, [rip+0x18f767]
001a5b09add rdi, 528
001a5b10mov rbx, rsp
001a5b13mov rsp, [r14+64]
001a5b17call caml_initialize
001a5b1cmov rsp, rbx
001a5b1flea rsi, [rip+0x18f622]
001a5b26lea rdi, [rip+0x18f743]
001a5b2dadd rdi, 504
001a5b34mov rbx, rsp
001a5b37mov rsp, [r14+64]
001a5b3bcall caml_initialize
001a5b40mov rsp, rbx
001a5b43lea rdi, [rip+0x18f726]
001a5b4amov rsi, [rdi+504]
001a5b51add rdi, 496
001a5b58mov rbx, rsp
001a5b5bmov rsp, [r14+64]
001a5b5fcall caml_initialize
001a5b64mov rsp, rbx
001a5b67lea rdi, [rip+0x18f702]
001a5b6emov rsi, [rdi+504]
001a5b75add rdi, 512
001a5b7cmov rbx, rsp
001a5b7fmov rsp, [r14+64]
001a5b83call caml_initialize
001a5b88mov rsp, rbx
001a5b8blea rsi, [rip+0x18f5d6]
001a5b92lea rdi, [rip+0x18f6d7]
001a5b99add rdi, 520
001a5ba0mov rbx, rsp
001a5ba3mov rsp, [r14+64]
001a5ba7call caml_initialize
001a5bacmov rsp, rbx
001a5baflea rsi, [rip+0x18f5d2]
001a5bb6lea rdi, [rip+0x18f6b3]
001a5bbdadd rdi, 8
001a5bc1mov rbx, rsp
001a5bc4mov rsp, [r14+64]
001a5bc8call caml_initialize
001a5bcdmov rsp, rbx
001a5bd0lea rsi, [rip+0x18f5d1]
001a5bd7lea rdi, [rip+0x18f692]
001a5bdeadd rdi, 16
001a5be2mov rbx, rsp
001a5be5mov rsp, [r14+64]
001a5be9call caml_initialize
001a5beemov rsp, rbx
001a5bf1lea rsi, [rip+0x18f5d0]
001a5bf8lea rdi, [rip+0x18f671]
001a5bffadd rdi, 24
001a5c03mov rbx, rsp
001a5c06mov rsp, [r14+64]
001a5c0acall caml_initialize
001a5c0fmov rsp, rbx
001a5c12lea rsi, [rip+0x18f5c7]
001a5c19lea rdi, [rip+0x18f650]
001a5c20add rdi, 120
001a5c24mov rbx, rsp
001a5c27mov rsp, [r14+64]
001a5c2bcall caml_initialize
001a5c30mov rsp, rbx
001a5c33lea rsi, [rip+0x18f5c6]
001a5c3alea rdi, [rip+0x18f62f]
001a5c41add rdi, 128
001a5c48mov rbx, rsp
001a5c4bmov rsp, [r14+64]
001a5c4fcall caml_initialize
001a5c54mov rsp, rbx
001a5c57lea rsi, [rip+0x18f5c2]
001a5c5elea rdi, [rip+0x18f60b]
001a5c65add rdi, 536
001a5c6cmov rbx, rsp
001a5c6fmov rsp, [r14+64]
001a5c73call caml_initialize
001a5c78mov rsp, rbx
001a5c7blea rsi, [rip+0x18f5b6]
001a5c82lea rdi, [rip+0x18f5e7]
001a5c89add rdi, 544
001a5c90mov rbx, rsp
001a5c93mov rsp, [r14+64]
001a5c97call caml_initialize
001a5c9cmov rsp, rbx
001a5c9fmov eax, 1
001a5ca4ret
001a5240
001a5240Stdlib.List.entry:
001a5240lea rsi, [rip+0x18f681]
001a5247lea rdi, [rip+0x190022]
001a524eadd rdi, 552
001a5255mov rbx, rsp
001a5258mov rsp, [r14+64]
001a525ccall caml_initialize
001a5261mov rsp, rbx
001a5264lea rsi, [rip+0x18f67d]
001a526blea rdi, [rip+0x18fffe]
001a5272mov rbx, rsp
001a5275mov rsp, [r14+64]
001a5279call caml_initialize
001a527emov rsp, rbx
001a5281lea rsi, [rip+0x18f678]
001a5288lea rdi, [rip+0x18ffe1]
001a528fadd rdi, 32
001a5293mov rbx, rsp
001a5296mov rsp, [r14+64]
001a529acall caml_initialize
001a529fmov rsp, rbx
001a52a2lea rsi, [rip+0x18f677]
001a52a9lea rdi, [rip+0x18ffc0]
001a52b0add rdi, 40
001a52b4mov rbx, rsp
001a52b7mov rsp, [r14+64]
001a52bbcall caml_initialize
001a52c0mov rsp, rbx
001a52c3lea rsi, [rip+0x18f66e]
001a52calea rdi, [rip+0x18ff9f]
001a52d1add rdi, 48
001a52d5mov rbx, rsp
001a52d8mov rsp, [r14+64]
001a52dccall caml_initialize
001a52e1mov rsp, rbx
001a52e4lea rsi, [rip+0x18f665]
001a52eblea rdi, [rip+0x18ff7e]
001a52f2add rdi, 56
001a52f6mov rbx, rsp
001a52f9mov rsp, [r14+64]
001a52fdcall caml_initialize
001a5302mov rsp, rbx
001a5305lea rsi, [rip+0x18f664]
001a530clea rdi, [rip+0x18ff5d]
001a5313add rdi, 64
001a5317mov rbx, rsp
001a531amov rsp, [r14+64]
001a531ecall caml_initialize
001a5323mov rsp, rbx
001a5326lea rax, [rip+0x1882eb]
001a532dmov rsi, [rax+288]
001a5334lea rdi, [rip+0x18ff35]
001a533badd rdi, 88
001a533fmov rbx, rsp
001a5342mov rsp, [r14+64]
001a5346call caml_initialize
001a534bmov rsp, rbx
001a534elea rsi, [rip+0x18f63b]
001a5355lea rdi, [rip+0x18ff14]
001a535cadd rdi, 96
001a5360mov rbx, rsp
001a5363mov rsp, [r14+64]
001a5367call caml_initialize
001a536cmov rsp, rbx
001a536flea rsi, [rip+0x18f63a]
001a5376lea rdi, [rip+0x18fef3]
001a537dadd rdi, 72
001a5381mov rbx, rsp
001a5384mov rsp, [r14+64]
001a5388call caml_initialize
001a538dmov rsp, rbx
001a5390lea rsi, [rip+0x18f631]
001a5397lea rdi, [rip+0x18fed2]
001a539eadd rdi, 560
001a53a5mov rbx, rsp
001a53a8mov rsp, [r14+64]
001a53accall caml_initialize
001a53b1mov rsp, rbx
001a53b4lea rsi, [rip+0x18f64d]
001a53bblea rdi, [rip+0x18feae]
001a53c2add rdi, 80
001a53c6mov rbx, rsp
001a53c9mov rsp, [r14+64]
001a53cdcall caml_initialize
001a53d2mov rsp, rbx
001a53d5lea rsi, [rip+0x18f64c]
001a53dclea rdi, [rip+0x18fe8d]
001a53e3add rdi, 112
001a53e7mov rbx, rsp
001a53eamov rsp, [r14+64]
001a53eecall caml_initialize
001a53f3mov rsp, rbx
001a53f6lea rdi, [rip+0x18fe73]
001a53fdmov rsi, [rdi+112]
001a5401add rdi, 104
001a5405mov rbx, rsp
001a5408mov rsp, [r14+64]
001a540ccall caml_initialize
001a5411mov rsp, rbx
001a5414lea rsi, [rip+0x18f625]
001a541blea rdi, [rip+0x18fe4e]
001a5422add rdi, 152
001a5429mov rbx, rsp
001a542cmov rsp, [r14+64]
001a5430call caml_initialize
001a5435mov rsp, rbx
001a5438lea rsi, [rip+0x18f641]
001a543flea rdi, [rip+0x18fe2a]
001a5446add rdi, 568
001a544dmov rbx, rsp
001a5450mov rsp, [r14+64]
001a5454call caml_initialize
001a5459mov rsp, rbx
001a545clea rsi, [rip+0x18f65d]
001a5463lea rdi, [rip+0x18fe06]
001a546aadd rdi, 160
001a5471mov rbx, rsp
001a5474mov rsp, [r14+64]
001a5478call caml_initialize
001a547dmov rsp, rbx
001a5480lea rsi, [rip+0x18f659]
001a5487lea rdi, [rip+0x18fde2]
001a548eadd rdi, 168
001a5495mov rbx, rsp
001a5498mov rsp, [r14+64]
001a549ccall caml_initialize
001a54a1mov rsp, rbx
001a54a4lea rsi, [rip+0x18f655]
001a54ablea rdi, [rip+0x18fdbe]
001a54b2add rdi, 136
001a54b9mov rbx, rsp
001a54bcmov rsp, [r14+64]
001a54c0call caml_initialize
001a54c5mov rsp, rbx
001a54c8lea rsi, [rip+0x18f651]
001a54cflea rdi, [rip+0x18fd9a]
001a54d6add rdi, 576
001a54ddmov rbx, rsp
001a54e0mov rsp, [r14+64]
001a54e4call caml_initialize
001a54e9mov rsp, rbx
001a54eclea rsi, [rip+0x18f64d]
001a54f3lea rdi, [rip+0x18fd76]
001a54faadd rdi, 144
001a5501mov rbx, rsp
001a5504mov rsp, [r14+64]
001a5508call caml_initialize
001a550dmov rsp, rbx
001a5510lea rsi, [rip+0x18f649]
001a5517lea rdi, [rip+0x18fd52]
001a551eadd rdi, 200
001a5525mov rbx, rsp
001a5528mov rsp, [r14+64]
001a552ccall caml_initialize
001a5531mov rsp, rbx
001a5534lea rsi, [rip+0x18f645]
001a553blea rdi, [rip+0x18fd2e]
001a5542add rdi, 208
001a5549mov rbx, rsp
001a554cmov rsp, [r14+64]
001a5550call caml_initialize
001a5555mov rsp, rbx
001a5558lea rsi, [rip+0x18f641]
001a555flea rdi, [rip+0x18fd0a]
001a5566add rdi, 224
001a556dmov rbx, rsp
001a5570mov rsp, [r14+64]
001a5574call caml_initialize
001a5579mov rsp, rbx
001a557clea rsi, [rip+0x18f65d]
001a5583lea rdi, [rip+0x18fce6]
001a558aadd rdi, 232
001a5591mov rbx, rsp
001a5594mov rsp, [r14+64]
001a5598call caml_initialize
001a559dmov rsp, rbx
001a55a0lea rsi, [rip+0x18f659]
001a55a7lea rdi, [rip+0x18fcc2]
001a55aeadd rdi, 216
001a55b5mov rbx, rsp
001a55b8mov rsp, [r14+64]
001a55bccall caml_initialize
001a55c1mov rsp, rbx
001a55c4lea rsi, [rip+0x18f655]
001a55cblea rdi, [rip+0x18fc9e]
001a55d2add rdi, 240
001a55d9mov rbx, rsp
001a55dcmov rsp, [r14+64]
001a55e0call caml_initialize
001a55e5mov rsp, rbx
001a55e8lea rsi, [rip+0x18f651]
001a55eflea rdi, [rip+0x18fc7a]
001a55f6add rdi, 248
001a55fdmov rbx, rsp
001a5600mov rsp, [r14+64]
001a5604call caml_initialize
001a5609mov rsp, rbx
001a560clea rsi, [rip+0x18f64d]
001a5613lea rdi, [rip+0x18fc56]
001a561aadd rdi, 256
001a5621mov rbx, rsp
001a5624mov rsp, [r14+64]
001a5628call caml_initialize
001a562dmov rsp, rbx
001a5630lea rsi, [rip+0x18f649]
001a5637lea rdi, [rip+0x18fc32]
001a563eadd rdi, 264
001a5645mov rbx, rsp
001a5648mov rsp, [r14+64]
001a564ccall caml_initialize
001a5651mov rsp, rbx
001a5654lea rsi, [rip+0x18f645]
001a565blea rdi, [rip+0x18fc0e]
001a5662add rdi, 272
001a5669mov rbx, rsp
001a566cmov rsp, [r14+64]
001a5670call caml_initialize
001a5675mov rsp, rbx
001a5678lea rsi, [rip+0x18f641]
001a567flea rdi, [rip+0x18fbea]
001a5686add rdi, 280
001a568dmov rbx, rsp
001a5690mov rsp, [r14+64]
001a5694call caml_initialize
001a5699mov rsp, rbx
001a569clea rsi, [rip+0x18f63d]
001a56a3lea rdi, [rip+0x18fbc6]
001a56aaadd rdi, 288
001a56b1mov rbx, rsp
001a56b4mov rsp, [r14+64]
001a56b8call caml_initialize
001a56bdmov rsp, rbx
001a56c0lea rsi, [rip+0x18f639]
001a56c7lea rdi, [rip+0x18fba2]
001a56ceadd rdi, 296
001a56d5mov rbx, rsp
001a56d8mov rsp, [r14+64]
001a56dccall caml_initialize
001a56e1mov rsp, rbx
001a56e4lea rsi, [rip+0x18f635]
001a56eblea rdi, [rip+0x18fb7e]
001a56f2add rdi, 416
001a56f9mov rbx, rsp
001a56fcmov rsp, [r14+64]
001a5700call caml_initialize
001a5705mov rsp, rbx
001a5708lea rsi, [rip+0x18f631]
001a570flea rdi, [rip+0x18fb5a]
001a5716add rdi, 424
001a571dmov rbx, rsp
001a5720mov rsp, [r14+64]
001a5724call caml_initialize
001a5729mov rsp, rbx
001a572clea rsi, [rip+0x18f62d]
001a5733lea rdi, [rip+0x18fb36]
001a573aadd rdi, 432
001a5741mov rbx, rsp
001a5744mov rsp, [r14+64]
001a5748call caml_initialize
001a574dmov rsp, rbx
001a5750lea rsi, [rip+0x18f629]
001a5757lea rdi, [rip+0x18fb12]
001a575eadd rdi, 440
001a5765mov rbx, rsp
001a5768mov rsp, [r14+64]
001a576ccall caml_initialize
001a5771mov rsp, rbx
001a5774lea rsi, [rip+0x18f625]
001a577blea rdi, [rip+0x18faee]
001a5782add rdi, 448
001a5789mov rbx, rsp
001a578cmov rsp, [r14+64]
001a5790call caml_initialize
001a5795mov rsp, rbx
001a5798lea rsi, [rip+0x18f621]
001a579flea rdi, [rip+0x18faca]
001a57a6add rdi, 456
001a57admov rbx, rsp
001a57b0mov rsp, [r14+64]
001a57b4call caml_initialize
001a57b9mov rsp, rbx
001a57bclea rsi, [rip+0x18f61d]
001a57c3lea rdi, [rip+0x18faa6]
001a57caadd rdi, 464
001a57d1mov rbx, rsp
001a57d4mov rsp, [r14+64]
001a57d8call caml_initialize
001a57ddmov rsp, rbx
001a57e0lea rsi, [rip+0x18f619]
001a57e7lea rdi, [rip+0x18fa82]
001a57eeadd rdi, 472
001a57f5mov rbx, rsp
001a57f8mov rsp, [r14+64]
001a57fccall caml_initialize
001a5801mov rsp, rbx
001a5804lea rsi, [rip+0x18f615]
001a580blea rdi, [rip+0x18fa5e]
001a5812add rdi, 304
001a5819mov rbx, rsp
001a581cmov rsp, [r14+64]
001a5820call caml_initialize
001a5825mov rsp, rbx
001a5828lea rsi, [rip+0x18f611]
001a582flea rdi, [rip+0x18fa3a]
001a5836add rdi, 312
001a583dmov rbx, rsp
001a5840mov rsp, [r14+64]
001a5844call caml_initialize
001a5849mov rsp, rbx
001a584clea rsi, [rip+0x18f60d]
001a5853lea rdi, [rip+0x18fa16]
001a585aadd rdi, 320
001a5861mov rbx, rsp
001a5864mov rsp, [r14+64]
001a5868call caml_initialize
001a586dmov rsp, rbx
001a5870lea rsi, [rip+0x18f601]
001a5877lea rdi, [rip+0x18f9f2]
001a587eadd rdi, 328
001a5885mov rbx, rsp
001a5888mov rsp, [r14+64]
001a588ccall caml_initialize
001a5891mov rsp, rbx
001a5894lea rsi, [rip+0x18f5fd]
001a589blea rdi, [rip+0x18f9ce]
001a58a2add rdi, 336
001a58a9mov rbx, rsp
001a58acmov rsp, [r14+64]
001a58b0call caml_initialize
001a58b5mov rsp, rbx
001a58b8lea rsi, [rip+0x18f5f1]
001a58bflea rdi, [rip+0x18f9aa]
001a58c6add rdi, 352
001a58cdmov rbx, rsp
001a58d0mov rsp, [r14+64]
001a58d4call caml_initialize
001a58d9mov rsp, rbx
001a58dclea rdi, [rip+0x18f98d]
001a58e3mov rsi, [rdi+352]
001a58eaadd rdi, 344
001a58f1mov rbx, rsp
001a58f4mov rsp, [r14+64]
001a58f8call caml_initialize
001a58fdmov rsp, rbx
001a5900lea rsi, [rip+0x18f5e9]
001a5907lea rdi, [rip+0x18f962]
001a590eadd rdi, 584
001a5915mov rbx, rsp
001a5918mov rsp, [r14+64]
001a591ccall caml_initialize
001a5921mov rsp, rbx
001a5924lea rsi, [rip+0x18f605]
001a592blea rdi, [rip+0x18f93e]
001a5932add rdi, 360
001a5939mov rbx, rsp
001a593cmov rsp, [r14+64]
001a5940call caml_initialize
001a5945mov rsp, rbx
001a5948lea rsi, [rip+0x18f601]
001a594flea rdi, [rip+0x18f91a]
001a5956add rdi, 176
001a595dmov rbx, rsp
001a5960mov rsp, [r14+64]
001a5964call caml_initialize
001a5969mov rsp, rbx
001a596clea r12, [rip+0x18f61d]
001a5973lea rdi, [rip+0x18f8f6]
001a597aadd rdi, 184
001a5981mov rsi, r12
001a5984mov rbx, rsp
001a5987mov rsp, [r14+64]
001a598bcall caml_initialize
001a5990mov rsp, rbx
001a5993mov rsi, r12
001a5996add rsi, 64
001a599alea rdi, [rip+0x18f8cf]
001a59a1add rdi, 592
001a59a8mov rbx, rsp
001a59abmov rsp, [r14+64]
001a59afcall caml_initialize
001a59b4mov rsp, rbx
001a59b7lea rsi, [rip+0x18f652]
001a59belea rdi, [rip+0x18f8ab]
001a59c5add rdi, 368
001a59ccmov rbx, rsp
001a59cfmov rsp, [r14+64]
001a59d3call caml_initialize
001a59d8mov rsp, rbx
001a59dblea rsi, [rip+0x18f64e]
001a59e2lea rdi, [rip+0x18f887]
001a59e9add rdi, 376
001a59f0mov rbx, rsp
001a59f3mov rsp, [r14+64]
001a59f7call caml_initialize
001a59fcmov rsp, rbx
001a59fflea rsi, [rip+0x18f64a]
001a5a06lea rdi, [rip+0x18f863]
001a5a0dadd rdi, 384
001a5a14mov rbx, rsp
001a5a17mov rsp, [r14+64]
001a5a1bcall caml_initialize
001a5a20mov rsp, rbx
001a5a23lea rsi, [rip+0x18f646]
001a5a2alea rdi, [rip+0x18f83f]
001a5a31add rdi, 392
001a5a38mov rbx, rsp
001a5a3bmov rsp, [r14+64]
001a5a3fcall caml_initialize
001a5a44mov rsp, rbx
001a5a47lea rsi, [rip+0x18f642]
001a5a4elea rdi, [rip+0x18f81b]
001a5a55add rdi, 192
001a5a5cmov rbx, rsp
001a5a5fmov rsp, [r14+64]
001a5a63call caml_initialize
001a5a68mov rsp, rbx
001a5a6blea rsi, [rip+0x18f63e]
001a5a72lea rdi, [rip+0x18f7f7]
001a5a79add rdi, 400
001a5a80mov rbx, rsp
001a5a83mov rsp, [r14+64]
001a5a87call caml_initialize
001a5a8cmov rsp, rbx
001a5a8flea rsi, [rip+0x18f63a]
001a5a96lea rdi, [rip+0x18f7d3]
001a5a9dadd rdi, 408
001a5aa4mov rbx, rsp
001a5aa7mov rsp, [r14+64]
001a5aabcall caml_initialize
001a5ab0mov rsp, rbx
001a5ab3lea rsi, [rip+0x18f636]
001a5abalea rdi, [rip+0x18f7af]
001a5ac1add rdi, 480
001a5ac8mov rbx, rsp
001a5acbmov rsp, [r14+64]
001a5acfcall caml_initialize
001a5ad4mov rsp, rbx
001a5ad7lea rsi, [rip+0x18f62a]
001a5adelea rdi, [rip+0x18f78b]
001a5ae5add rdi, 488
001a5aecmov rbx, rsp
001a5aefmov rsp, [r14+64]
001a5af3call caml_initialize
001a5af8mov rsp, rbx
001a5afblea rsi, [rip+0x18f626]
001a5b02lea rdi, [rip+0x18f767]
001a5b09add rdi, 528
001a5b10mov rbx, rsp
001a5b13mov rsp, [r14+64]
001a5b17call caml_initialize
001a5b1cmov rsp, rbx
001a5b1flea rsi, [rip+0x18f622]
001a5b26lea rdi, [rip+0x18f743]
001a5b2dadd rdi, 504
001a5b34mov rbx, rsp
001a5b37mov rsp, [r14+64]
001a5b3bcall caml_initialize
001a5b40mov rsp, rbx
001a5b43lea rdi, [rip+0x18f726]
001a5b4amov rsi, [rdi+504]
001a5b51add rdi, 496
001a5b58mov rbx, rsp
001a5b5bmov rsp, [r14+64]
001a5b5fcall caml_initialize
001a5b64mov rsp, rbx
001a5b67lea rdi, [rip+0x18f702]
001a5b6emov rsi, [rdi+504]
001a5b75add rdi, 512
001a5b7cmov rbx, rsp
001a5b7fmov rsp, [r14+64]
001a5b83call caml_initialize
001a5b88mov rsp, rbx
001a5b8blea rsi, [rip+0x18f5d6]
001a5b92lea rdi, [rip+0x18f6d7]
001a5b99add rdi, 520
001a5ba0mov rbx, rsp
001a5ba3mov rsp, [r14+64]
001a5ba7call caml_initialize
001a5bacmov rsp, rbx
001a5baflea rsi, [rip+0x18f5d2]
001a5bb6lea rdi, [rip+0x18f6b3]
001a5bbdadd rdi, 8
001a5bc1mov rbx, rsp
001a5bc4mov rsp, [r14+64]
001a5bc8call caml_initialize
001a5bcdmov rsp, rbx
001a5bd0lea rsi, [rip+0x18f5d1]
001a5bd7lea rdi, [rip+0x18f692]
001a5bdeadd rdi, 16
001a5be2mov rbx, rsp
001a5be5mov rsp, [r14+64]
001a5be9call caml_initialize
001a5beemov rsp, rbx
001a5bf1lea rsi, [rip+0x18f5d0]
001a5bf8lea rdi, [rip+0x18f671]
001a5bffadd rdi, 24
001a5c03mov rbx, rsp
001a5c06mov rsp, [r14+64]
001a5c0acall caml_initialize
001a5c0fmov rsp, rbx
001a5c12lea rsi, [rip+0x18f5c7]
001a5c19lea rdi, [rip+0x18f650]
001a5c20add rdi, 120
001a5c24mov rbx, rsp
001a5c27mov rsp, [r14+64]
001a5c2bcall caml_initialize
001a5c30mov rsp, rbx
001a5c33lea rsi, [rip+0x18f5c6]
001a5c3alea rdi, [rip+0x18f62f]
001a5c41add rdi, 128
001a5c48mov rbx, rsp
001a5c4bmov rsp, [r14+64]
001a5c4fcall caml_initialize
001a5c54mov rsp, rbx
001a5c57lea rsi, [rip+0x18f5c2]
001a5c5elea rdi, [rip+0x18f60b]
001a5c65add rdi, 536
001a5c6cmov rbx, rsp
001a5c6fmov rsp, [r14+64]
001a5c73call caml_initialize
001a5c78mov rsp, rbx
001a5c7blea rsi, [rip+0x18f5b6]
001a5c82lea rdi, [rip+0x18f5e7]
001a5c89add rdi, 544
001a5c90mov rbx, rsp
001a5c93mov rsp, [r14+64]
001a5c97call caml_initialize
001a5c9cmov rsp, rbx
001a5c9fmov eax, 1
001a5ca4ret
001a5240
001a5ca5
001a5ca5 // align 0x10
001a5ca5 // align 0x10
001a5cb0
001a5cb0Stdlib.Int.abs:
001a5cb0mov rbx, rax
001a5cb3cmp rbx, 1
001a5cb7jl 0x1a5cc0
001a5cb9mov rax, rbx
001a5cbcret
001a5cbd
001a5cbd 0f 1f 00 ...
001a5cc0
001a5cc0loc_1a5cc0:
001a5cc0mov eax, 2
001a5cc5sub rax, rbx
001a5cc8ret
001a5cb0
001a5cb0Stdlib.Int.abs:
001a5cb0mov rbx, rax
001a5cb3cmp rbx, 1
001a5cb7jl 0x1a5cc0
001a5cb9mov rax, rbx
001a5cbcret
001a5cbd
001a5cbd 0f 1f 00 ...
001a5cc0
001a5cc0loc_1a5cc0:
001a5cc0mov eax, 2
001a5cc5sub rax, rbx
001a5cc8ret
001a5cb0
001a5cc9
001a5cc9 // align 0x10
001a5cc9 // align 0x10
001a5cd9
001a5cd9 // align 0x10
001a5cd9 // align 0x10
001a5ce0
001a5ce0Stdlib.Int.equal:
001a5ce0cmp rax, rbx
001a5ce3sete al
001a5ce6movzx rax, al
001a5cealea rax, [rax+rax+1]
001a5cefret
001a5ce0
001a5ce0Stdlib.Int.equal:
001a5ce0cmp rax, rbx
001a5ce3sete al
001a5ce6movzx rax, al
001a5cealea rax, [rax+rax+1]
001a5cefret
001a5ce0
001a5cf0
001a5cf0Stdlib.Int.compare:
001a5cf0mov rdi, rax
001a5cf3cmp rdi, rbx
001a5cf6setl al
001a5cf9movzx rsi, al
001a5cfdcmp rdi, rbx
001a5d00setg al
001a5d03movzx rax, al
001a5d07sub rax, rsi
001a5d0alea rax, [rax+rax+1]
001a5d0fret
001a5cf0
001a5cf0Stdlib.Int.compare:
001a5cf0mov rdi, rax
001a5cf3cmp rdi, rbx
001a5cf6setl al
001a5cf9movzx rsi, al
001a5cfdcmp rdi, rbx
001a5d00setg al
001a5d03movzx rax, al
001a5d07sub rax, rsi
001a5d0alea rax, [rax+rax+1]
001a5d0fret
001a5cf0
001a5d10
001a5d10Stdlib.Int.min:
001a5d10cmp rax, rbx
001a5d13jg 0x1a5d18
001a5d15ret
001a5d16
001a5d16 66 90 f.
001a5d18
001a5d18loc_1a5d18:
001a5d18mov rax, rbx
001a5d1bret
001a5d10
001a5d10Stdlib.Int.min:
001a5d10cmp rax, rbx
001a5d13jg 0x1a5d18
001a5d15ret
001a5d16
001a5d16 66 90 f.
001a5d18
001a5d18loc_1a5d18:
001a5d18mov rax, rbx
001a5d1bret
001a5d10
001a5d1c
001a5d1c // align 0x10
001a5d1c // align 0x10
001a5d20
001a5d20Stdlib.Int.max:
001a5d20cmp rax, rbx
001a5d23jl 0x1a5d28
001a5d25ret
001a5d26
001a5d26 66 90 f.
001a5d28
001a5d28loc_1a5d28:
001a5d28mov rax, rbx
001a5d2bret
001a5d20
001a5d20Stdlib.Int.max:
001a5d20cmp rax, rbx
001a5d23jl 0x1a5d28
001a5d25ret
001a5d26
001a5d26 66 90 f.
001a5d28
001a5d28loc_1a5d28:
001a5d28mov rax, rbx
001a5d2bret
001a5d20
001a5d2c
001a5d2c // align 0x10
001a5d2c // align 0x10
001a5d30
001a5d30Stdlib.Int.to_string:
001a5d30lea rdi, [rip+0x193229]
001a5d37mov rsi, rax
001a5d3alea rax, [rip+0x676cf]
001a5d41call caml_c_call
001a5d46ret
001a5d30
001a5d30Stdlib.Int.to_string:
001a5d30lea rdi, [rip+0x193229]
001a5d37mov rsi, rax
001a5d3alea rax, [rip+0x676cf]
001a5d41call caml_c_call
001a5d46ret
001a5d30
001a5d47
001a5d47 // align 0x10
001a5d47 // align 0x10
001a5d50
001a5d50Stdlib.Int.seeded_hash:
001a5d50mov esi, 201
001a5d55mov edi, 21
001a5d5amov rdx, rax
001a5d5dmov rcx, rbx
001a5d60mov rbx, rsp
001a5d63mov rsp, [r14+64]
001a5d67call caml_hash
001a5d6cmov rsp, rbx
001a5d6fret
001a5d50
001a5d50Stdlib.Int.seeded_hash:
001a5d50mov esi, 201
001a5d55mov edi, 21
001a5d5amov rdx, rax
001a5d5dmov rcx, rbx
001a5d60mov rbx, rsp
001a5d63mov rsp, [r14+64]
001a5d67call caml_hash
001a5d6cmov rsp, rbx
001a5d6fret
001a5d50
001a5d70
001a5d70Stdlib.Int.hash:
001a5d70mov edx, 1
001a5d75mov esi, 201
001a5d7amov edi, 21
001a5d7fmov rcx, rax
001a5d82mov rbx, rsp
001a5d85mov rsp, [r14+64]
001a5d89call caml_hash
001a5d8emov rsp, rbx
001a5d91ret
001a5d70
001a5d70Stdlib.Int.hash:
001a5d70mov edx, 1
001a5d75mov esi, 201
001a5d7amov edi, 21
001a5d7fmov rcx, rax
001a5d82mov rbx, rsp
001a5d85mov rsp, [r14+64]
001a5d89call caml_hash
001a5d8emov rsp, rbx
001a5d91ret
001a5d70
001a5d92
001a5d92 // align 0x10
001a5d92 // align 0x10
001a5da0
001a5da0Stdlib.Int.entry:
001a5da0mov esi, 1
001a5da5lea rdi, [rip+0x19312c]
001a5dacmov rbx, rsp
001a5dafmov rsp, [r14+64]
001a5db3call caml_initialize
001a5db8mov rsp, rbx
001a5dbbmov esi, 3
001a5dc0lea rdi, [rip+0x193111]
001a5dc7add rdi, 8
001a5dcbmov rbx, rsp
001a5dcemov rsp, [r14+64]
001a5dd2call caml_initialize
001a5dd7mov rsp, rbx
001a5ddamov rsi, -1
001a5de1lea rdi, [rip+0x1930f0]
001a5de8add rdi, 16
001a5decmov rbx, rsp
001a5defmov rsp, [r14+64]
001a5df3call caml_initialize
001a5df8mov rsp, rbx
001a5dfblea rsi, [rip+0x1930be]
001a5e02lea rdi, [rip+0x1930cf]
001a5e09add rdi, 24
001a5e0dmov rbx, rsp
001a5e10mov rsp, [r14+64]
001a5e14call caml_initialize
001a5e19mov rsp, rbx
001a5e1cmov rsi, 0x7fffffffffffffff
001a5e26lea rdi, [rip+0x1930ab]
001a5e2dadd rdi, 32
001a5e31mov rbx, rsp
001a5e34mov rsp, [r14+64]
001a5e38call caml_initialize
001a5e3dmov rsp, rbx
001a5e40mov rsi, 0x8000000000000001
001a5e4alea rdi, [rip+0x193087]
001a5e51add rdi, 40
001a5e55mov rbx, rsp
001a5e58mov rsp, [r14+64]
001a5e5ccall caml_initialize
001a5e61mov rsp, rbx
001a5e64lea rsi, [rip+0x192f6d]
001a5e6blea rdi, [rip+0x193066]
001a5e72add rdi, 48
001a5e76mov rbx, rsp
001a5e79mov rsp, [r14+64]
001a5e7dcall caml_initialize
001a5e82mov rsp, rbx
001a5e85lea rsi, [rip+0x192f64]
001a5e8clea rdi, [rip+0x193045]
001a5e93add rdi, 56
001a5e97mov rbx, rsp
001a5e9amov rsp, [r14+64]
001a5e9ecall caml_initialize
001a5ea3mov rsp, rbx
001a5ea6lea rsi, [rip+0x192f63]
001a5eadlea rdi, [rip+0x193024]
001a5eb4add rdi, 64
001a5eb8mov rbx, rsp
001a5ebbmov rsp, [r14+64]
001a5ebfcall caml_initialize
001a5ec4mov rsp, rbx
001a5ec7lea rsi, [rip+0x192f62]
001a5ecelea rdi, [rip+0x193003]
001a5ed5add rdi, 72
001a5ed9mov rbx, rsp
001a5edcmov rsp, [r14+64]
001a5ee0call caml_initialize
001a5ee5mov rsp, rbx
001a5ee8lea rsi, [rip+0x192f61]
001a5eeflea rdi, [rip+0x192fe2]
001a5ef6add rdi, 80
001a5efamov rbx, rsp
001a5efdmov rsp, [r14+64]
001a5f01call caml_initialize
001a5f06mov rsp, rbx
001a5f09lea rsi, [rip+0x192f60]
001a5f10lea rdi, [rip+0x192fc1]
001a5f17add rdi, 88
001a5f1bmov rbx, rsp
001a5f1emov rsp, [r14+64]
001a5f22call caml_initialize
001a5f27mov rsp, rbx
001a5f2alea rsi, [rip+0x192f57]
001a5f31lea rdi, [rip+0x192fa0]
001a5f38add rdi, 96
001a5f3cmov rbx, rsp
001a5f3fmov rsp, [r14+64]
001a5f43call caml_initialize
001a5f48mov rsp, rbx
001a5f4blea rsi, [rip+0x192f56]
001a5f52lea rdi, [rip+0x192f7f]
001a5f59add rdi, 104
001a5f5dmov rbx, rsp
001a5f60mov rsp, [r14+64]
001a5f64call caml_initialize
001a5f69mov rsp, rbx
001a5f6cmov eax, 1
001a5f71ret
001a5da0
001a5da0Stdlib.Int.entry:
001a5da0mov esi, 1
001a5da5lea rdi, [rip+0x19312c]
001a5dacmov rbx, rsp
001a5dafmov rsp, [r14+64]
001a5db3call caml_initialize
001a5db8mov rsp, rbx
001a5dbbmov esi, 3
001a5dc0lea rdi, [rip+0x193111]
001a5dc7add rdi, 8
001a5dcbmov rbx, rsp
001a5dcemov rsp, [r14+64]
001a5dd2call caml_initialize
001a5dd7mov rsp, rbx
001a5ddamov rsi, -1
001a5de1lea rdi, [rip+0x1930f0]
001a5de8add rdi, 16
001a5decmov rbx, rsp
001a5defmov rsp, [r14+64]
001a5df3call caml_initialize
001a5df8mov rsp, rbx
001a5dfblea rsi, [rip+0x1930be]
001a5e02lea rdi, [rip+0x1930cf]
001a5e09add rdi, 24
001a5e0dmov rbx, rsp
001a5e10mov rsp, [r14+64]
001a5e14call caml_initialize
001a5e19mov rsp, rbx
001a5e1cmov rsi, 0x7fffffffffffffff
001a5e26lea rdi, [rip+0x1930ab]
001a5e2dadd rdi, 32
001a5e31mov rbx, rsp
001a5e34mov rsp, [r14+64]
001a5e38call caml_initialize
001a5e3dmov rsp, rbx
001a5e40mov rsi, 0x8000000000000001
001a5e4alea rdi, [rip+0x193087]
001a5e51add rdi, 40
001a5e55mov rbx, rsp
001a5e58mov rsp, [r14+64]
001a5e5ccall caml_initialize
001a5e61mov rsp, rbx
001a5e64lea rsi, [rip+0x192f6d]
001a5e6blea rdi, [rip+0x193066]
001a5e72add rdi, 48
001a5e76mov rbx, rsp
001a5e79mov rsp, [r14+64]
001a5e7dcall caml_initialize
001a5e82mov rsp, rbx
001a5e85lea rsi, [rip+0x192f64]
001a5e8clea rdi, [rip+0x193045]
001a5e93add rdi, 56
001a5e97mov rbx, rsp
001a5e9amov rsp, [r14+64]
001a5e9ecall caml_initialize
001a5ea3mov rsp, rbx
001a5ea6lea rsi, [rip+0x192f63]
001a5eadlea rdi, [rip+0x193024]
001a5eb4add rdi, 64
001a5eb8mov rbx, rsp
001a5ebbmov rsp, [r14+64]
001a5ebfcall caml_initialize
001a5ec4mov rsp, rbx
001a5ec7lea rsi, [rip+0x192f62]
001a5ecelea rdi, [rip+0x193003]
001a5ed5add rdi, 72
001a5ed9mov rbx, rsp
001a5edcmov rsp, [r14+64]
001a5ee0call caml_initialize
001a5ee5mov rsp, rbx
001a5ee8lea rsi, [rip+0x192f61]
001a5eeflea rdi, [rip+0x192fe2]
001a5ef6add rdi, 80
001a5efamov rbx, rsp
001a5efdmov rsp, [r14+64]
001a5f01call caml_initialize
001a5f06mov rsp, rbx
001a5f09lea rsi, [rip+0x192f60]
001a5f10lea rdi, [rip+0x192fc1]
001a5f17add rdi, 88
001a5f1bmov rbx, rsp
001a5f1emov rsp, [r14+64]
001a5f22call caml_initialize
001a5f27mov rsp, rbx
001a5f2alea rsi, [rip+0x192f57]
001a5f31lea rdi, [rip+0x192fa0]
001a5f38add rdi, 96
001a5f3cmov rbx, rsp
001a5f3fmov rsp, [r14+64]
001a5f43call caml_initialize
001a5f48mov rsp, rbx
001a5f4blea rsi, [rip+0x192f56]
001a5f52lea rdi, [rip+0x192f7f]
001a5f59add rdi, 104
001a5f5dmov rbx, rsp
001a5f60mov rsp, [r14+64]
001a5f64call caml_initialize
001a5f69mov rsp, rbx
001a5f6cmov eax, 1
001a5f71ret
001a5da0
001a5f72
001a5f72 // align 0x10
001a5f72 // align 0x10
001a5f80
001a5f80Stdlib.Bytes.fun:
001a5f80mov rdi, [rdi+8]
001a5f84sar rbx, 1
001a5f87mov rsi, [rax-8]
001a5f8bshr rsi, 10
001a5f8flea rsi, [8*rsi-1]
001a5f97movzx rdx, [rax+rsi]
001a5f9csub rsi, rdx
001a5f9fadd rsi, -7
001a5fa3mov rdx, rsi
001a5fa6sar rdx, 63
001a5faaxor rdx, -1
001a5faeand rdx, rsi
001a5fb1cmp rdx, rbx
001a5fb4jbe 0x1a5fc0
001a5fb6mov [rax+rbx], rdi
001a5fbamov eax, 1
001a5fbfret
001a5fc0
001a5fc0loc_1a5fc0:
001a5fc0call caml_ml_array_bound_error
001a5f80
001a5f80Stdlib.Bytes.fun:
001a5f80mov rdi, [rdi+8]
001a5f84sar rbx, 1
001a5f87mov rsi, [rax-8]
001a5f8bshr rsi, 10
001a5f8flea rsi, [8*rsi-1]
001a5f97movzx rdx, [rax+rsi]
001a5f9csub rsi, rdx
001a5f9fadd rsi, -7
001a5fa3mov rdx, rsi
001a5fa6sar rdx, 63
001a5faaxor rdx, -1
001a5faeand rdx, rsi
001a5fb1cmp rdx, rbx
001a5fb4jbe 0x1a5fc0
001a5fb6mov [rax+rbx], rdi
001a5fbamov eax, 1
001a5fbfret
001a5fc0
001a5fc0loc_1a5fc0:
001a5fc0call caml_ml_array_bound_error
001a5f80
001a5fc5
001a5fc5 // align 0x10
001a5fc5 // align 0x10
001a5fd0
001a5fd0Stdlib.Bytes.fun:
001a5fd0movsxd rdi, [rdi+8]
001a5fd4sar rbx, 1
001a5fd7mov rsi, [rax-8]
001a5fdbshr rsi, 10
001a5fdflea rsi, [8*rsi-1]
001a5fe7movzx rdx, [rax+rsi]
001a5fecsub rsi, rdx
001a5fefadd rsi, -3
001a5ff3mov rdx, rsi
001a5ff6sar rdx, 63
001a5ffaxor rdx, -1
001a5ffeand rdx, rsi
001a6001cmp rdx, rbx
001a6004jbe 0x1a600f
001a6006mov [rax+rbx], edi
001a6009mov eax, 1
001a600eret
001a600f
001a600floc_1a600f:
001a600fcall caml_ml_array_bound_error
001a5fd0
001a5fd0Stdlib.Bytes.fun:
001a5fd0movsxd rdi, [rdi+8]
001a5fd4sar rbx, 1
001a5fd7mov rsi, [rax-8]
001a5fdbshr rsi, 10
001a5fdflea rsi, [8*rsi-1]
001a5fe7movzx rdx, [rax+rsi]
001a5fecsub rsi, rdx
001a5fefadd rsi, -3
001a5ff3mov rdx, rsi
001a5ff6sar rdx, 63
001a5ffaxor rdx, -1
001a5ffeand rdx, rsi
001a6001cmp rdx, rbx
001a6004jbe 0x1a600f
001a6006mov [rax+rbx], edi
001a6009mov eax, 1
001a600eret
001a600f
001a600floc_1a600f:
001a600fcall caml_ml_array_bound_error
001a5fd0
001a6014
001a6014 // align 0x10
001a6014 // align 0x10
001a6020
001a6020Stdlib.Bytes.fun:
001a6020sar rdi, 1
001a6023sar rbx, 1
001a6026mov rsi, [rax-8]
001a602ashr rsi, 10
001a602elea rsi, [8*rsi-1]
001a6036movzx rdx, [rax+rsi]
001a603bsub rsi, rdx
001a603edec rsi
001a6041mov rdx, rsi
001a6044sar rdx, 63
001a6048xor rdx, -1
001a604cand rdx, rsi
001a604fcmp rdx, rbx
001a6052jbe 0x1a605e
001a6054mov [rax+rbx], di
001a6058mov eax, 1
001a605dret
001a605e
001a605eloc_1a605e:
001a605ecall caml_ml_array_bound_error
001a6020
001a6020Stdlib.Bytes.fun:
001a6020sar rdi, 1
001a6023sar rbx, 1
001a6026mov rsi, [rax-8]
001a602ashr rsi, 10
001a602elea rsi, [8*rsi-1]
001a6036movzx rdx, [rax+rsi]
001a603bsub rsi, rdx
001a603edec rsi
001a6041mov rdx, rsi
001a6044sar rdx, 63
001a6048xor rdx, -1
001a604cand rdx, rsi
001a604fcmp rdx, rbx
001a6052jbe 0x1a605e
001a6054mov [rax+rbx], di
001a6058mov eax, 1
001a605dret
001a605e
001a605eloc_1a605e:
001a605ecall caml_ml_array_bound_error
001a6020
001a6063
001a6063 // align 0x10
001a6063 // align 0x10
001a6070
001a6070Stdlib.Bytes.fun:
001a6070sar rdi, 1
001a6073sar rbx, 1
001a6076mov rsi, [rax-8]
001a607ashr rsi, 10
001a607elea rsi, [8*rsi-1]
001a6086movzx rdx, [rax+rsi]
001a608bsub rsi, rdx
001a608ecmp rsi, rbx
001a6091jbe 0x1a609d
001a6093mov [rax+rbx], dil
001a6097mov eax, 1
001a609cret
001a609d
001a609dloc_1a609d:
001a609dcall caml_ml_array_bound_error
001a6070
001a6070Stdlib.Bytes.fun:
001a6070sar rdi, 1
001a6073sar rbx, 1
001a6076mov rsi, [rax-8]
001a607ashr rsi, 10
001a607elea rsi, [8*rsi-1]
001a6086movzx rdx, [rax+rsi]
001a608bsub rsi, rdx
001a608ecmp rsi, rbx
001a6091jbe 0x1a609d
001a6093mov [rax+rbx], dil
001a6097mov eax, 1
001a609cret
001a609d
001a609dloc_1a609d:
001a609dcall caml_ml_array_bound_error
001a6070
001a60a2
001a60a2 // align 0x10
001a60a2 // align 0x10
001a60b0
001a60b0Stdlib.Bytes.fun:
001a60b0mov rdi, rax
001a60b3sub r15, 24
001a60b7cmp r15, [r14]
001a60bajb 0x1a610d
001a60bc
001a60bcloc_1a60bc:
001a60bclea rax, [r15+8]
001a60c0mov [rax-8], 2303
001a60c8lea rsi, [rip+0xcf7b1]
001a60cfmov [rax], rsi
001a60d2sar rbx, 1
001a60d5mov rsi, [rdi-8]
001a60d9shr rsi, 10
001a60ddlea rsi, [8*rsi-1]
001a60e5movzx rdx, [rdi+rsi]
001a60easub rsi, rdx
001a60edadd rsi, -7
001a60f1mov rdx, rsi
001a60f4sar rdx, 63
001a60f8xor rdx, -1
001a60fcand rdx, rsi
001a60ffcmp rdx, rbx
001a6102jbe 0x1a6114
001a6104mov rbx, [rdi+rbx]
001a6108mov [rax+8], rbx
001a610cret
001a610d
001a610dloc_1a610d:
001a610dcall caml_call_gc
001a6112jmp 0x1a60bc
001a6114
001a6114loc_1a6114:
001a6114call caml_ml_array_bound_error
001a60b0
001a60b0Stdlib.Bytes.fun:
001a60b0mov rdi, rax
001a60b3sub r15, 24
001a60b7cmp r15, [r14]
001a60bajb 0x1a610d
001a60bc
001a60bcloc_1a60bc:
001a60bclea rax, [r15+8]
001a60c0mov [rax-8], 2303
001a60c8lea rsi, [rip+0xcf7b1]
001a60cfmov [rax], rsi
001a60d2sar rbx, 1
001a60d5mov rsi, [rdi-8]
001a60d9shr rsi, 10
001a60ddlea rsi, [8*rsi-1]
001a60e5movzx rdx, [rdi+rsi]
001a60easub rsi, rdx
001a60edadd rsi, -7
001a60f1mov rdx, rsi
001a60f4sar rdx, 63
001a60f8xor rdx, -1
001a60fcand rdx, rsi
001a60ffcmp rdx, rbx
001a6102jbe 0x1a6114
001a6104mov rbx, [rdi+rbx]
001a6108mov [rax+8], rbx
001a610cret
001a610d
001a610dloc_1a610d:
001a610dcall caml_call_gc
001a6112jmp 0x1a60bc
001a6114
001a6114loc_1a6114:
001a6114call caml_ml_array_bound_error
001a60b0
001a6119
001a6119 // align 0x10
001a6119 // align 0x10
001a6120
001a6120Stdlib.Bytes.fun:
001a6120mov rdi, rax
001a6123sub r15, 24
001a6127cmp r15, [r14]
001a612ajb 0x1a617f
001a612c
001a612cloc_1a612c:
001a612clea rax, [r15+8]
001a6130mov [rax-8], 2303
001a6138lea rsi, [rip+0xcf781]
001a613fmov [rax], rsi
001a6142sar rbx, 1
001a6145mov rsi, [rdi-8]
001a6149shr rsi, 10
001a614dlea rsi, [8*rsi-1]
001a6155movzx rdx, [rdi+rsi]
001a615asub rsi, rdx
001a615dadd rsi, -3
001a6161mov rdx, rsi
001a6164sar rdx, 63
001a6168xor rdx, -1
001a616cand rdx, rsi
001a616fcmp rdx, rbx
001a6172jbe 0x1a6186
001a6174mov ebx, [rdi+rbx]
001a6177movsxd rbx, ebx
001a617amov [rax+8], rbx
001a617eret
001a617f
001a617floc_1a617f:
001a617fcall caml_call_gc
001a6184jmp 0x1a612c
001a6186
001a6186loc_1a6186:
001a6186call caml_ml_array_bound_error
001a6120
001a6120Stdlib.Bytes.fun:
001a6120mov rdi, rax
001a6123sub r15, 24
001a6127cmp r15, [r14]
001a612ajb 0x1a617f
001a612c
001a612cloc_1a612c:
001a612clea rax, [r15+8]
001a6130mov [rax-8], 2303
001a6138lea rsi, [rip+0xcf781]
001a613fmov [rax], rsi
001a6142sar rbx, 1
001a6145mov rsi, [rdi-8]
001a6149shr rsi, 10
001a614dlea rsi, [8*rsi-1]
001a6155movzx rdx, [rdi+rsi]
001a615asub rsi, rdx
001a615dadd rsi, -3
001a6161mov rdx, rsi
001a6164sar rdx, 63
001a6168xor rdx, -1
001a616cand rdx, rsi
001a616fcmp rdx, rbx
001a6172jbe 0x1a6186
001a6174mov ebx, [rdi+rbx]
001a6177movsxd rbx, ebx
001a617amov [rax+8], rbx
001a617eret
001a617f
001a617floc_1a617f:
001a617fcall caml_call_gc
001a6184jmp 0x1a612c
001a6186
001a6186loc_1a6186:
001a6186call caml_ml_array_bound_error
001a6120
001a618b
001a618b // align 0x10
001a618b // align 0x10
001a6190
001a6190Stdlib.Bytes.fun:
001a6190sar rbx, 1
001a6193mov rdi, [rax-8]
001a6197shr rdi, 10
001a619blea rdi, [8*rdi-1]
001a61a3movzx rsi, [rax+rdi]
001a61a8sub rdi, rsi
001a61abdec rdi
001a61aemov rsi, rdi
001a61b1sar rsi, 63
001a61b5xor rsi, -1
001a61b9and rsi, rdi
001a61bccmp rsi, rbx
001a61bfjbe 0x1a61cc
001a61c1movzx rax, [rax+rbx]
001a61c6lea rax, [rax+rax+1]
001a61cbret
001a61cc
001a61ccloc_1a61cc:
001a61cccall caml_ml_array_bound_error
001a6190
001a6190Stdlib.Bytes.fun:
001a6190sar rbx, 1
001a6193mov rdi, [rax-8]
001a6197shr rdi, 10
001a619blea rdi, [8*rdi-1]
001a61a3movzx rsi, [rax+rdi]
001a61a8sub rdi, rsi
001a61abdec rdi
001a61aemov rsi, rdi
001a61b1sar rsi, 63
001a61b5xor rsi, -1
001a61b9and rsi, rdi
001a61bccmp rsi, rbx
001a61bfjbe 0x1a61cc
001a61c1movzx rax, [rax+rbx]
001a61c6lea rax, [rax+rax+1]
001a61cbret
001a61cc
001a61ccloc_1a61cc:
001a61cccall caml_ml_array_bound_error
001a6190
001a61d1
001a61d1 // align 0x10
001a61d1 // align 0x10
001a61e0
001a61e0Stdlib.Bytes.fun:
001a61e0sar rbx, 1
001a61e3mov rdi, [rax-8]
001a61e7shr rdi, 10
001a61eblea rdi, [8*rdi-1]
001a61f3movzx rsi, [rax+rdi]
001a61f8sub rdi, rsi
001a61fbcmp rdi, rbx
001a61fejbe 0x1a620b
001a6200movzx rax, [rax+rbx]
001a6205lea rax, [rax+rax+1]
001a620aret
001a620b
001a620bloc_1a620b:
001a620bcall caml_ml_array_bound_error
001a61e0
001a61e0Stdlib.Bytes.fun:
001a61e0sar rbx, 1
001a61e3mov rdi, [rax-8]
001a61e7shr rdi, 10
001a61eblea rdi, [8*rdi-1]
001a61f3movzx rsi, [rax+rdi]
001a61f8sub rdi, rsi
001a61fbcmp rdi, rbx
001a61fejbe 0x1a620b
001a6200movzx rax, [rax+rbx]
001a6205lea rax, [rax+rax+1]
001a620aret
001a620b
001a620bloc_1a620b:
001a620bcall caml_ml_array_bound_error
001a61e0
001a6211
001a6211 // align 0x10
001a6211 // align 0x10
001a6221
001a6221 // align 0x10
001a6221 // align 0x10
001a6230
001a6230Stdlib.Bytes.fun:
001a6230mov rdi, rax
001a6233mov rsi, rbx
001a6236mov rbx, rsp
001a6239mov rsp, [r14+64]
001a623dcall caml_bytes_equal
001a6242mov rsp, rbx
001a6245ret
001a6230
001a6230Stdlib.Bytes.fun:
001a6230mov rdi, rax
001a6233mov rsi, rbx
001a6236mov rbx, rsp
001a6239mov rsp, [r14+64]
001a623dcall caml_bytes_equal
001a6242mov rsp, rbx
001a6245ret
001a6230
001a6246
001a6246 // align 0x10
001a6246 // align 0x10
001a6250
001a6250Stdlib.Bytes.make:
001a6250sub rsp, 16
001a6254mov [rsp], rax
001a6258mov [rsp+8], rbx
001a625dmov rdi, rax
001a6260lea rax, [rip+0x7adc9]
001a6267call caml_c_call
001a626cmov r12, rax
001a626fmov esi, 1
001a6274mov rdi, r12
001a6277mov rdx, [rsp]
001a627bmov rcx, [rsp+8]
001a6280mov rbx, rsp
001a6283mov rsp, [r14+64]
001a6287call caml_fill_bytes
001a628cmov rsp, rbx
001a628fmov rax, r12
001a6292add rsp, 16
001a6296ret
001a6250
001a6250Stdlib.Bytes.make:
001a6250sub rsp, 16
001a6254mov [rsp], rax
001a6258mov [rsp+8], rbx
001a625dmov rdi, rax
001a6260lea rax, [rip+0x7adc9]
001a6267call caml_c_call
001a626cmov r12, rax
001a626fmov esi, 1
001a6274mov rdi, r12
001a6277mov rdx, [rsp]
001a627bmov rcx, [rsp+8]
001a6280mov rbx, rsp
001a6283mov rsp, [r14+64]
001a6287call caml_fill_bytes
001a628cmov rsp, rbx
001a628fmov rax, r12
001a6292add rsp, 16
001a6296ret
001a6250
001a6297
001a6297 // align 0x10
001a6297 // align 0x10
001a62a0
001a62a0Stdlib.Bytes.init:
001a62a0lea r10, [rsp-352]
001a62a8cmp r10, [r14+40]
001a62acjb 0x1a633f
001a62b2
001a62b2loc_1a62b2:
001a62b2sub rsp, 32
001a62b6mov [rsp], rax
001a62bamov [rsp+8], rbx
001a62bfmov rdi, rax
001a62c2lea rax, [rip+0x7ad67]
001a62c9call caml_c_call
001a62cemov rbx, rax
001a62d1mov eax, 1
001a62d6mov rdi, [rsp]
001a62daadd rdi, -2
001a62decmp rax, rdi
001a62e1jg 0x1a6330
001a62e3mov [rsp+24], rdi
001a62e8mov [rsp], rax
001a62ecmov [rsp+16], rbx
001a62f1
001a62f1loc_1a62f1:
001a62f1mov rbx, [rsp+8]
001a62f6mov rdi, [rbx]
001a62f9call rdi
001a62fbmov rdi, rax
001a62fesar rdi, 1
001a6301mov rax, [rsp]
001a6305mov rsi, rax
001a6308sar rsi, 1
001a630bmov rbx, [rsp+16]
001a6310mov [rbx+rsi], dil
001a6314mov rdi, rax
001a6317add rax, 2
001a631bmov [rsp], rax
001a631fmov rsi, [rsp+24]
001a6324cmp rdi, rsi
001a6327je 0x1a6330
001a6329cmp r15, [r14]
001a632cja 0x1a62f1
001a632ejmp 0x1a6338
001a6330
001a6330loc_1a6330:
001a6330mov rax, rbx
001a6333add rsp, 32
001a6337ret
001a6338
001a6338loc_1a6338:
001a6338call caml_call_gc
001a633djmp 0x1a62f1
001a633f
001a633floc_1a633f:
001a633fpush 37
001a6341call caml_call_realloc_stack
001a6346pop r10
001a6348jmp 0x1a62b2
001a62a0
001a62a0Stdlib.Bytes.init:
001a62a0lea r10, [rsp-352]
001a62a8cmp r10, [r14+40]
001a62acjb 0x1a633f
001a62b2
001a62b2loc_1a62b2:
001a62b2sub rsp, 32
001a62b6mov [rsp], rax
001a62bamov [rsp+8], rbx
001a62bfmov rdi, rax
001a62c2lea rax, [rip+0x7ad67]
001a62c9call caml_c_call
001a62cemov rbx, rax
001a62d1mov eax, 1
001a62d6mov rdi, [rsp]
001a62daadd rdi, -2
001a62decmp rax, rdi
001a62e1jg 0x1a6330
001a62e3mov [rsp+24], rdi
001a62e8mov [rsp], rax
001a62ecmov [rsp+16], rbx
001a62f1
001a62f1loc_1a62f1:
001a62f1mov rbx, [rsp+8]
001a62f6mov rdi, [rbx]
001a62f9call rdi
001a62fbmov rdi, rax
001a62fesar rdi, 1
001a6301mov rax, [rsp]
001a6305mov rsi, rax
001a6308sar rsi, 1
001a630bmov rbx, [rsp+16]
001a6310mov [rbx+rsi], dil
001a6314mov rdi, rax
001a6317add rax, 2
001a631bmov [rsp], rax
001a631fmov rsi, [rsp+24]
001a6324cmp rdi, rsi
001a6327je 0x1a6330
001a6329cmp r15, [r14]
001a632cja 0x1a62f1
001a632ejmp 0x1a6338
001a6330
001a6330loc_1a6330:
001a6330mov rax, rbx
001a6333add rsp, 32
001a6337ret
001a6338
001a6338loc_1a6338:
001a6338call caml_call_gc
001a633djmp 0x1a62f1
001a633f
001a633floc_1a633f:
001a633fpush 37
001a6341call caml_call_realloc_stack
001a6346pop r10
001a6348jmp 0x1a62b2
001a62a0
001a634d
001a634d // align 0x10
001a634d // align 0x10
001a6350
001a6350Stdlib.Bytes.copy:
001a6350sub rsp, 16
001a6354mov [rsp], rax
001a6358mov rbx, [rax-8]
001a635cshr rbx, 10
001a6360lea rbx, [8*rbx-1]
001a6368movzx rax, [rax+rbx]
001a636dsub rbx, rax
001a6370lea rdi, [rbx+rbx+1]
001a6375mov [rsp+8], rdi
001a637alea rax, [rip+0x7acaf]
001a6381call caml_c_call
001a6386mov r12, rax
001a6389mov ecx, 1
001a638emov esi, 1
001a6393mov rdi, [rsp]
001a6397mov rdx, r12
001a639amov r8, [rsp+8]
001a639fmov rbx, rsp
001a63a2mov rsp, [r14+64]
001a63a6call caml_blit_bytes
001a63abmov rsp, rbx
001a63aemov rax, r12
001a63b1add rsp, 16
001a63b5ret
001a6350
001a6350Stdlib.Bytes.copy:
001a6350sub rsp, 16
001a6354mov [rsp], rax
001a6358mov rbx, [rax-8]
001a635cshr rbx, 10
001a6360lea rbx, [8*rbx-1]
001a6368movzx rax, [rax+rbx]
001a636dsub rbx, rax
001a6370lea rdi, [rbx+rbx+1]
001a6375mov [rsp+8], rdi
001a637alea rax, [rip+0x7acaf]
001a6381call caml_c_call
001a6386mov r12, rax
001a6389mov ecx, 1
001a638emov esi, 1
001a6393mov rdi, [rsp]
001a6397mov rdx, r12
001a639amov r8, [rsp+8]
001a639fmov rbx, rsp
001a63a2mov rsp, [r14+64]
001a63a6call caml_blit_bytes
001a63abmov rsp, rbx
001a63aemov rax, r12
001a63b1add rsp, 16
001a63b5ret
001a6350
001a63b6
001a63b6 // align 0x10
001a63b6 // align 0x10
001a63c5
001a63c5 // align 0x10
001a63c5 // align 0x10
001a63d5
001a63d5 // align 0x10
001a63d5 // align 0x10
001a63e0
001a63e0Stdlib.Bytes.sub:
001a63e0sub rsp, 24
001a63e4cmp rbx, 1
001a63e8jl 0x1a6464
001a63eacmp rdi, 1
001a63eejl 0x1a6464
001a63f0mov rsi, [rax-8]
001a63f4shr rsi, 10
001a63f8lea rsi, [8*rsi-1]
001a6400movzx rdx, [rax+rsi]
001a6405sub rsi, rdx
001a6408shl rsi, 1
001a640bsub rsi, rdi
001a640eadd rsi, 2
001a6412cmp rbx, rsi
001a6415jg 0x1a6464
001a6417mov [rsp+16], rdi
001a641cmov [rsp+8], rbx
001a6421mov [rsp], rax
001a6425lea rax, [rip+0x7ac04]
001a642ccall caml_c_call
001a6431mov r12, rax
001a6434mov ecx, 1
001a6439mov rdi, [rsp]
001a643dmov rsi, [rsp+8]
001a6442mov rdx, r12
001a6445mov r8, [rsp+16]
001a644amov rbx, rsp
001a644dmov rsp, [r14+64]
001a6451call caml_blit_bytes
001a6456mov rsp, rbx
001a6459mov rax, r12
001a645cadd rsp, 24
001a6460ret
001a6461
001a6461 0f 1f 00 ...
001a6464
001a6464loc_1a6464:
001a6464lea rax, [rip+0x193f55]
001a646badd rsp, 24
001a646fjmp 0x195ab0
001a63e0
001a63e0Stdlib.Bytes.sub:
001a63e0sub rsp, 24
001a63e4cmp rbx, 1
001a63e8jl 0x1a6464
001a63eacmp rdi, 1
001a63eejl 0x1a6464
001a63f0mov rsi, [rax-8]
001a63f4shr rsi, 10
001a63f8lea rsi, [8*rsi-1]
001a6400movzx rdx, [rax+rsi]
001a6405sub rsi, rdx
001a6408shl rsi, 1
001a640bsub rsi, rdi
001a640eadd rsi, 2
001a6412cmp rbx, rsi
001a6415jg 0x1a6464
001a6417mov [rsp+16], rdi
001a641cmov [rsp+8], rbx
001a6421mov [rsp], rax
001a6425lea rax, [rip+0x7ac04]
001a642ccall caml_c_call
001a6431mov r12, rax
001a6434mov ecx, 1
001a6439mov rdi, [rsp]
001a643dmov rsi, [rsp+8]
001a6442mov rdx, r12
001a6445mov r8, [rsp+16]
001a644amov rbx, rsp
001a644dmov rsp, [r14+64]
001a6451call caml_blit_bytes
001a6456mov rsp, rbx
001a6459mov rax, r12
001a645cadd rsp, 24
001a6460ret
001a6461
001a6461 0f 1f 00 ...
001a6464
001a6464loc_1a6464:
001a6464lea rax, [rip+0x193f55]
001a646badd rsp, 24
001a646fjmp 0x195ab0
001a63e0
001a6474
001a6474 // align 0x10
001a6474 // align 0x10
001a6485
001a6485 // align 0x10
001a6485 // align 0x10
001a6490
001a6490Stdlib.Bytes.++:
001a6490lea rdi, [rax+rbx-1]
001a6495cmp rax, 1
001a6499setl al
001a649cmovzx rax, al
001a64a0lea rsi, [rax+rax+1]
001a64a5cmp rbx, 1
001a64a9setl al
001a64acmovzx rax, al
001a64b0lea rbx, [rax+rax+1]
001a64b5cmp rdi, 1
001a64b9setl al
001a64bcmovzx rax, al
001a64c0lea rax, [rax+rax+1]
001a64c5cmp rsi, 1
001a64c9je 0x1a64dc
001a64cbcmp rbx, 1
001a64cfje 0x1a64e8
001a64d1cmp rax, 1
001a64d5je 0x1a64ec
001a64d7jmp 0x1a64e8
001a64d9
001a64d9 0f 1f 00 ...
001a64dc
001a64dcloc_1a64dc:
001a64dccmp rbx, 1
001a64e0jne 0x1a64e8
001a64e2cmp rax, 1
001a64e6jne 0x1a64ec
001a64e8
001a64e8loc_1a64e8:
001a64e8mov rax, rdi
001a64ebret
001a64ec
001a64ecloc_1a64ec:
001a64eclea rax, [rip+0x193d4d]
001a64f3jmp 0x195ab0
001a6490
001a6490Stdlib.Bytes.++:
001a6490lea rdi, [rax+rbx-1]
001a6495cmp rax, 1
001a6499setl al
001a649cmovzx rax, al
001a64a0lea rsi, [rax+rax+1]
001a64a5cmp rbx, 1
001a64a9setl al
001a64acmovzx rax, al
001a64b0lea rbx, [rax+rax+1]
001a64b5cmp rdi, 1
001a64b9setl al
001a64bcmovzx rax, al
001a64c0lea rax, [rax+rax+1]
001a64c5cmp rsi, 1
001a64c9je 0x1a64dc
001a64cbcmp rbx, 1
001a64cfje 0x1a64e8
001a64d1cmp rax, 1
001a64d5je 0x1a64ec
001a64d7jmp 0x1a64e8
001a64d9
001a64d9 0f 1f 00 ...
001a64dc
001a64dcloc_1a64dc:
001a64dccmp rbx, 1
001a64e0jne 0x1a64e8
001a64e2cmp rax, 1
001a64e6jne 0x1a64ec
001a64e8
001a64e8loc_1a64e8:
001a64e8mov rax, rdi
001a64ebret
001a64ec
001a64ecloc_1a64ec:
001a64eclea rax, [rip+0x193d4d]
001a64f3jmp 0x195ab0
001a6490
001a64f8
001a64f8 // align 0x10
001a64f8 // align 0x10
001a6500
001a6500Stdlib.Bytes.extend:
001a6500lea r10, [rsp-344]
001a6508cmp r10, [r14+40]
001a650cjb 0x1a65e3
001a6512
001a6512loc_1a6512:
001a6512sub rsp, 24
001a6516mov [rsp+8], rax
001a651bmov [rsp+16], rbx
001a6520mov [rsp], rdi
001a6524mov rdi, [rax-8]
001a6528shr rdi, 10
001a652clea rdi, [8*rdi-1]
001a6534movzx rax, [rax+rdi]
001a6539sub rdi, rax
001a653clea rax, [rdi+rdi+1]
001a6541call Stdlib.Bytes.++
001a6546mov rbx, [rsp]
001a654acall Stdlib.Bytes.++
001a654fmov [rsp], rax
001a6553mov rdi, rax
001a6556lea rax, [rip+0x7aad3]
001a655dcall caml_c_call
001a6562mov r12, rax
001a6565mov rcx, [rsp+16]
001a656acmp rcx, 1
001a656ejge 0x1a6580
001a6570mov esi, 2
001a6575sub rsi, rcx
001a6578mov ecx, 1
001a657djmp 0x1a6585
001a657f
001a657f 90 .
001a6580
001a6580loc_1a6580:
001a6580mov esi, 1
001a6585
001a6585loc_1a6585:
001a6585mov r8, [rsp]
001a6589sub r8, rcx
001a658cmov rax, r8
001a658finc rax
001a6592mov rdi, [rsp+8]
001a6597mov rbx, [rdi-8]
001a659bshr rbx, 10
001a659flea r8, [8*rbx-1]
001a65a7movzx rbx, [rdi+r8]
001a65acsub r8, rbx
001a65afshl r8, 1
001a65b2sub r8, rsi
001a65b5add r8, 2
001a65b9cmp r8, rax
001a65bcjg 0x1a65c0
001a65bejmp 0x1a65c3
001a65c0
001a65c0loc_1a65c0:
001a65c0mov r8, rax
001a65c3
001a65c3loc_1a65c3:
001a65c3cmp r8, 1
001a65c7jle 0x1a65db
001a65c9mov rdx, r12
001a65ccmov rbx, rsp
001a65cfmov rsp, [r14+64]
001a65d3call caml_blit_bytes
001a65d8mov rsp, rbx
001a65db
001a65dbloc_1a65db:
001a65dbmov rax, r12
001a65deadd rsp, 24
001a65e2ret
001a65e3
001a65e3loc_1a65e3:
001a65e3push 36
001a65e5call caml_call_realloc_stack
001a65eapop r10
001a65ecjmp 0x1a6512
001a6500
001a6500Stdlib.Bytes.extend:
001a6500lea r10, [rsp-344]
001a6508cmp r10, [r14+40]
001a650cjb 0x1a65e3
001a6512
001a6512loc_1a6512:
001a6512sub rsp, 24
001a6516mov [rsp+8], rax
001a651bmov [rsp+16], rbx
001a6520mov [rsp], rdi
001a6524mov rdi, [rax-8]
001a6528shr rdi, 10
001a652clea rdi, [8*rdi-1]
001a6534movzx rax, [rax+rdi]
001a6539sub rdi, rax
001a653clea rax, [rdi+rdi+1]
001a6541call Stdlib.Bytes.++
001a6546mov rbx, [rsp]
001a654acall Stdlib.Bytes.++
001a654fmov [rsp], rax
001a6553mov rdi, rax
001a6556lea rax, [rip+0x7aad3]
001a655dcall caml_c_call
001a6562mov r12, rax
001a6565mov rcx, [rsp+16]
001a656acmp rcx, 1
001a656ejge 0x1a6580
001a6570mov esi, 2
001a6575sub rsi, rcx
001a6578mov ecx, 1
001a657djmp 0x1a6585
001a657f
001a657f 90 .
001a6580
001a6580loc_1a6580:
001a6580mov esi, 1
001a6585
001a6585loc_1a6585:
001a6585mov r8, [rsp]
001a6589sub r8, rcx
001a658cmov rax, r8
001a658finc rax
001a6592mov rdi, [rsp+8]
001a6597mov rbx, [rdi-8]
001a659bshr rbx, 10
001a659flea r8, [8*rbx-1]
001a65a7movzx rbx, [rdi+r8]
001a65acsub r8, rbx
001a65afshl r8, 1
001a65b2sub r8, rsi
001a65b5add r8, 2
001a65b9cmp r8, rax
001a65bcjg 0x1a65c0
001a65bejmp 0x1a65c3
001a65c0
001a65c0loc_1a65c0:
001a65c0mov r8, rax
001a65c3
001a65c3loc_1a65c3:
001a65c3cmp r8, 1
001a65c7jle 0x1a65db
001a65c9mov rdx, r12
001a65ccmov rbx, rsp
001a65cfmov rsp, [r14+64]
001a65d3call caml_blit_bytes
001a65d8mov rsp, rbx
001a65db
001a65dbloc_1a65db:
001a65dbmov rax, r12
001a65deadd rsp, 24
001a65e2ret
001a65e3
001a65e3loc_1a65e3:
001a65e3push 36
001a65e5call caml_call_realloc_stack
001a65eapop r10
001a65ecjmp 0x1a6512
001a6500
001a65f1
001a65f1 // align 0x10
001a65f1 // align 0x10
001a6600
001a6600Stdlib.Bytes.fill:
001a6600mov rdx, rdi
001a6603mov rcx, rsi
001a6606cmp rbx, 1
001a660ajl 0x1a6650
001a660ccmp rdx, 1
001a6610jl 0x1a6650
001a6612mov rdi, [rax-8]
001a6616shr rdi, 10
001a661alea rdi, [8*rdi-1]
001a6622movzx rsi, [rax+rdi]
001a6627sub rdi, rsi
001a662ashl rdi, 1
001a662dsub rdi, rdx
001a6630add rdi, 2
001a6634cmp rbx, rdi
001a6637jg 0x1a6650
001a6639mov rdi, rax
001a663cmov rsi, rbx
001a663fmov rbx, rsp
001a6642mov rsp, [r14+64]
001a6646call caml_fill_bytes
001a664bmov rsp, rbx
001a664eret
001a664f
001a664f 90 .
001a6650
001a6650loc_1a6650:
001a6650lea rax, [rip+0x193b61]
001a6657jmp 0x195ab0
001a6600
001a6600Stdlib.Bytes.fill:
001a6600mov rdx, rdi
001a6603mov rcx, rsi
001a6606cmp rbx, 1
001a660ajl 0x1a6650
001a660ccmp rdx, 1
001a6610jl 0x1a6650
001a6612mov rdi, [rax-8]
001a6616shr rdi, 10
001a661alea rdi, [8*rdi-1]
001a6622movzx rsi, [rax+rdi]
001a6627sub rdi, rsi
001a662ashl rdi, 1
001a662dsub rdi, rdx
001a6630add rdi, 2
001a6634cmp rbx, rdi
001a6637jg 0x1a6650
001a6639mov rdi, rax
001a663cmov rsi, rbx
001a663fmov rbx, rsp
001a6642mov rsp, [r14+64]
001a6646call caml_fill_bytes
001a664bmov rsp, rbx
001a664eret
001a664f
001a664f 90 .
001a6650
001a6650loc_1a6650:
001a6650lea rax, [rip+0x193b61]
001a6657jmp 0x195ab0
001a6600
001a665c
001a665c // align 0x10
001a665c // align 0x10
001a6660
001a6660Stdlib.Bytes.blit:
001a6660mov r9, rdi
001a6663mov rcx, rsi
001a6666mov r8, rdx
001a6669cmp r8, 1
001a666djl 0x1a66e4
001a666fcmp rbx, 1
001a6673jl 0x1a66e4
001a6675mov rdi, [rax-8]
001a6679shr rdi, 10
001a667dlea rdi, [8*rdi-1]
001a6685movzx rsi, [rax+rdi]
001a668asub rdi, rsi
001a668dshl rdi, 1
001a6690sub rdi, r8
001a6693add rdi, 2
001a6697cmp rbx, rdi
001a669ajg 0x1a66e4
001a669ccmp rcx, 1
001a66a0jl 0x1a66e4
001a66a2mov rdi, [r9-8]
001a66a6shr rdi, 10
001a66aalea rdi, [8*rdi-1]
001a66b2movzx rsi, [r9+rdi]
001a66b7sub rdi, rsi
001a66bashl rdi, 1
001a66bdsub rdi, r8
001a66c0add rdi, 2
001a66c4cmp rcx, rdi
001a66c7jg 0x1a66e4
001a66c9mov rdi, rax
001a66ccmov rsi, rbx
001a66cfmov rdx, r9
001a66d2mov rbx, rsp
001a66d5mov rsp, [r14+64]
001a66d9call caml_blit_bytes
001a66demov rsp, rbx
001a66e1ret
001a66e2
001a66e2 66 90 f.
001a66e4
001a66e4loc_1a66e4:
001a66e4lea rax, [rip+0x193ab5]
001a66ebjmp 0x195ab0
001a6660
001a6660Stdlib.Bytes.blit:
001a6660mov r9, rdi
001a6663mov rcx, rsi
001a6666mov r8, rdx
001a6669cmp r8, 1
001a666djl 0x1a66e4
001a666fcmp rbx, 1
001a6673jl 0x1a66e4
001a6675mov rdi, [rax-8]
001a6679shr rdi, 10
001a667dlea rdi, [8*rdi-1]
001a6685movzx rsi, [rax+rdi]
001a668asub rdi, rsi
001a668dshl rdi, 1
001a6690sub rdi, r8
001a6693add rdi, 2
001a6697cmp rbx, rdi
001a669ajg 0x1a66e4
001a669ccmp rcx, 1
001a66a0jl 0x1a66e4
001a66a2mov rdi, [r9-8]
001a66a6shr rdi, 10
001a66aalea rdi, [8*rdi-1]
001a66b2movzx rsi, [r9+rdi]
001a66b7sub rdi, rsi
001a66bashl rdi, 1
001a66bdsub rdi, r8
001a66c0add rdi, 2
001a66c4cmp rcx, rdi
001a66c7jg 0x1a66e4
001a66c9mov rdi, rax
001a66ccmov rsi, rbx
001a66cfmov rdx, r9
001a66d2mov rbx, rsp
001a66d5mov rsp, [r14+64]
001a66d9call caml_blit_bytes
001a66demov rsp, rbx
001a66e1ret
001a66e2
001a66e2 66 90 f.
001a66e4
001a66e4loc_1a66e4:
001a66e4lea rax, [rip+0x193ab5]
001a66ebjmp 0x195ab0
001a6660
001a66f0
001a66f0Stdlib.Bytes.blit_string:
001a66f0mov r9, rdi
001a66f3mov rcx, rsi
001a66f6mov r8, rdx
001a66f9cmp r8, 1
001a66fdjl 0x1a6774
001a66ffcmp rbx, 1
001a6703jl 0x1a6774
001a6705mov rdi, [rax-8]
001a6709shr rdi, 10
001a670dlea rdi, [8*rdi-1]
001a6715movzx rsi, [rax+rdi]
001a671asub rdi, rsi
001a671dshl rdi, 1
001a6720sub rdi, r8
001a6723add rdi, 2
001a6727cmp rbx, rdi
001a672ajg 0x1a6774
001a672ccmp rcx, 1
001a6730jl 0x1a6774
001a6732mov rdi, [r9-8]
001a6736shr rdi, 10
001a673alea rdi, [8*rdi-1]
001a6742movzx rsi, [r9+rdi]
001a6747sub rdi, rsi
001a674ashl rdi, 1
001a674dsub rdi, r8
001a6750add rdi, 2
001a6754cmp rcx, rdi
001a6757jg 0x1a6774
001a6759mov rdi, rax
001a675cmov rsi, rbx
001a675fmov rdx, r9
001a6762mov rbx, rsp
001a6765mov rsp, [r14+64]
001a6769call caml_blit_string
001a676emov rsp, rbx
001a6771ret
001a6772
001a6772 66 90 f.
001a6774
001a6774loc_1a6774:
001a6774lea rax, [rip+0x1939fd]
001a677bjmp 0x195ab0
001a66f0
001a66f0Stdlib.Bytes.blit_string:
001a66f0mov r9, rdi
001a66f3mov rcx, rsi
001a66f6mov r8, rdx
001a66f9cmp r8, 1
001a66fdjl 0x1a6774
001a66ffcmp rbx, 1
001a6703jl 0x1a6774
001a6705mov rdi, [rax-8]
001a6709shr rdi, 10
001a670dlea rdi, [8*rdi-1]
001a6715movzx rsi, [rax+rdi]
001a671asub rdi, rsi
001a671dshl rdi, 1
001a6720sub rdi, r8
001a6723add rdi, 2
001a6727cmp rbx, rdi
001a672ajg 0x1a6774
001a672ccmp rcx, 1
001a6730jl 0x1a6774
001a6732mov rdi, [r9-8]
001a6736shr rdi, 10
001a673alea rdi, [8*rdi-1]
001a6742movzx rsi, [r9+rdi]
001a6747sub rdi, rsi
001a674ashl rdi, 1
001a674dsub rdi, r8
001a6750add rdi, 2
001a6754cmp rcx, rdi
001a6757jg 0x1a6774
001a6759mov rdi, rax
001a675cmov rsi, rbx
001a675fmov rdx, r9
001a6762mov rbx, rsp
001a6765mov rsp, [r14+64]
001a6769call caml_blit_string
001a676emov rsp, rbx
001a6771ret
001a6772
001a6772 66 90 f.
001a6774
001a6774loc_1a6774:
001a6774lea rax, [rip+0x1939fd]
001a677bjmp 0x195ab0
001a66f0
001a6780
001a6780Stdlib.Bytes.iter:
001a6780lea r10, [rsp-352]
001a6788cmp r10, [r14+40]
001a678cjb 0x1a681e
001a6792
001a6792loc_1a6792:
001a6792sub rsp, 32
001a6796mov edi, 1
001a679bmov rsi, [rbx-8]
001a679fshr rsi, 10
001a67a3lea rsi, [8*rsi-1]
001a67abmovzx rdx, [rbx+rsi]
001a67b0sub rsi, rdx
001a67b3lea rsi, [rsi+rsi-1]
001a67b8cmp rdi, rsi
001a67bbjg 0x1a680d
001a67bdmov [rsp+24], rsi
001a67c2mov [rsp+16], rdi
001a67c7mov [rsp], rbx
001a67cbmov [rsp+8], rax
001a67d0
001a67d0loc_1a67d0:
001a67d0sar rdi, 1
001a67d3mov rax, [rsp]
001a67d7movzx rax, [rax+rdi]
001a67dclea rax, [rax+rax+1]
001a67e1mov rbx, [rsp+8]
001a67e6mov rdi, [rbx]
001a67e9call rdi
001a67ebmov rdi, [rsp+16]
001a67f0mov rax, rdi
001a67f3add rdi, 2
001a67f7mov [rsp+16], rdi
001a67fcmov rbx, [rsp+24]
001a6801cmp rax, rbx
001a6804je 0x1a680d
001a6806cmp r15, [r14]
001a6809ja 0x1a67d0
001a680bjmp 0x1a6817
001a680d
001a680dloc_1a680d:
001a680dmov eax, 1
001a6812add rsp, 32
001a6816ret
001a6817
001a6817loc_1a6817:
001a6817call caml_call_gc
001a681cjmp 0x1a67d0
001a681e
001a681eloc_1a681e:
001a681epush 37
001a6820call caml_call_realloc_stack
001a6825pop r10
001a6827jmp 0x1a6792
001a6780
001a6780Stdlib.Bytes.iter:
001a6780lea r10, [rsp-352]
001a6788cmp r10, [r14+40]
001a678cjb 0x1a681e
001a6792
001a6792loc_1a6792:
001a6792sub rsp, 32
001a6796mov edi, 1
001a679bmov rsi, [rbx-8]
001a679fshr rsi, 10
001a67a3lea rsi, [8*rsi-1]
001a67abmovzx rdx, [rbx+rsi]
001a67b0sub rsi, rdx
001a67b3lea rsi, [rsi+rsi-1]
001a67b8cmp rdi, rsi
001a67bbjg 0x1a680d
001a67bdmov [rsp+24], rsi
001a67c2mov [rsp+16], rdi
001a67c7mov [rsp], rbx
001a67cbmov [rsp+8], rax
001a67d0
001a67d0loc_1a67d0:
001a67d0sar rdi, 1
001a67d3mov rax, [rsp]
001a67d7movzx rax, [rax+rdi]
001a67dclea rax, [rax+rax+1]
001a67e1mov rbx, [rsp+8]
001a67e6mov rdi, [rbx]
001a67e9call rdi
001a67ebmov rdi, [rsp+16]
001a67f0mov rax, rdi
001a67f3add rdi, 2
001a67f7mov [rsp+16], rdi
001a67fcmov rbx, [rsp+24]
001a6801cmp rax, rbx
001a6804je 0x1a680d
001a6806cmp r15, [r14]
001a6809ja 0x1a67d0
001a680bjmp 0x1a6817
001a680d
001a680dloc_1a680d:
001a680dmov eax, 1
001a6812add rsp, 32
001a6816ret
001a6817
001a6817loc_1a6817:
001a6817call caml_call_gc
001a681cjmp 0x1a67d0
001a681e
001a681eloc_1a681e:
001a681epush 37
001a6820call caml_call_realloc_stack
001a6825pop r10
001a6827jmp 0x1a6792
001a6780
Loading..