Similarity

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

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

001a4d50
001a4d50Stdlib.List.is_empty:
001a4d50and rax, 1
001a4d54lea rax, [rax+rax+1]
001a4d59ret
001a4d50

001a4d5a
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

001a4e03
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

001a4eb9
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

001a4f07
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

001a4f7a
001a4f7a // align 0x10

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

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

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

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

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

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

001a5cd0
001a5cd0Stdlib.Int.lognot:
001a5cd0xor rax, -1
001a5cd4or rax, 1
001a5cd8ret
001a5cd0

001a5cd9
001a5cd9 // align 0x10

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

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

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

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

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

001a5d92
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

001a5f72
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

001a5fc5
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

001a6014
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

001a6063
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

001a60a2
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

001a6119
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

001a618b
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

001a61d1
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

001a6210
001a6210Stdlib.Bytes.fun:
001a6210ret
001a6210

001a6211
001a6211 // align 0x10

001a6220
001a6220Stdlib.Bytes.fun:
001a6220ret
001a6220

001a6221
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

001a6246
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

001a6297
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

001a634d
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

001a63b6
001a63b6 // align 0x10

001a63c0
001a63c0Stdlib.Bytes.to_string:
001a63c0jmp 0x1a6350
001a63c0

001a63c5
001a63c5 // align 0x10

001a63d0
001a63d0Stdlib.Bytes.of_string:
001a63d0jmp 0x1a6350
001a63d0

001a63d5
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

001a6474
001a6474 // align 0x10

001a6480
001a6480Stdlib.Bytes.sub_string:
001a6480jmp 0x1a63e0
001a6480

001a6485
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

001a64f8
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

001a65f1
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

001a665c
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

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

001a682c
001a682c // align 0x10

001a6830
001a6830Stdlib.Bytes.iteri:
001a6830lea r10, [rsp-352]
001a6838cmp r10, [r14+40]
001a683cjb 0x1a68d4
001a6842
001a6842loc_1a6842:
001a6842sub rsp, 32
001a6846mov rdi, rax
001a6849mov eax, 1
001a684emov rsi, [rbx-8]
001a6852shr rsi, 10
001a6856lea rsi, [8*rsi-1]
001a685emovzx rdx, [rbx+rsi]
001a6863sub rsi, rdx
001a6866lea rsi, [rsi+rsi-1]
001a686bcmp rax, rsi
001a686ejg 0x1a68c3
001a6870mov [rsp+24], rsi
001a6875mov [rsp+16], rax
001a687amov [rsp], rbx
001a687emov [rsp+8], rdi
001a6883
001a6883loc_1a6883:
001a6883mov rbx, rax
001a6886sar rbx, 1
001a6889mov rdi, [rsp]
001a688dmovzx rbx, [rdi+rbx]
001a6892lea rbx, [rbx+rbx+1]
001a6897mov rdi, [rsp+8]
001a689ccall caml_apply2
001a68a1mov rax, [rsp+16]
001a68a6mov rbx, rax
001a68a9add rax, 2
001a68admov [rsp+16], rax
001a68b2mov rdi, [rsp+24]
001a68b7cmp rbx, rdi
001a68baje 0x1a68c3
001a68bccmp r15, [r14]
001a68bfja 0x1a6883
001a68c1jmp 0x1a68cd
001a68c3
001a68c3loc_1a68c3:
001a68c3mov eax, 1
001a68c8add rsp, 32
001a68ccret
001a68cd
001a68cdloc_1a68cd:
001a68cdcall caml_call_gc
001a68d2jmp 0x1a6883
001a68d4
001a68d4loc_1a68d4:
001a68d4push 37
001a68d6call caml_call_realloc_stack
001a68dbpop r10
001a68ddjmp 0x1a6842
001a6830

001a68e2
001a68e2 // align 0x10

001a68f0
001a68f0Stdlib.Bytes.ensure_ge:
001a68f0cmp rax, rbx
001a68f3jl 0x1a68f8
001a68f5ret
001a68f6
001a68f6 66 90 f.
001a68f8
001a68f8loc_1a68f8:
001a68f8lea rax, [rip+0x193861]
001a68ffjmp 0x195ab0
001a68f0

001a6904
001a6904 // align 0x10

001a6910
001a6910Stdlib.Bytes.sum_lengths:
001a6910lea r10, [rsp-336]
001a6918cmp r10, [r14+40]
001a691cjb 0x1a69c8
001a6922
001a6922loc_1a6922:
001a6922sub rsp, 16
001a6926
001a6926loc_1a6926:
001a6926cmp r15, [r14]
001a6929jbe 0x1a69be
001a692f
001a692floc_1a692f:
001a692ftest dil, 1
001a6933je 0x1a693c
001a6935add rsp, 16
001a6939ret
001a693a
001a693a 66 90 f.
001a693c
001a693cloc_1a693c:
001a693cmov rsi, [rdi]
001a693fmov rdx, [rdi+8]
001a6943test dl, 1
001a6946je 0x1a696c
001a6948mov rbx, [rsi-8]
001a694cshr rbx, 10
001a6950lea rbx, [8*rbx-1]
001a6958movzx rdi, [rsi+rbx]
001a695dsub rbx, rdi
001a6960lea rax, [rax+2*rbx]
001a6964add rsp, 16
001a6968ret
001a6969
001a6969 0f 1f 00 ...
001a696c
001a696cloc_1a696c:
001a696cmov [rsp], rdi
001a6970mov [rsp+8], rbx
001a6975mov rdi, [rsi-8]
001a6979shr rdi, 10
001a697dlea rdi, [8*rdi-1]
001a6985movzx rsi, [rsi+rdi]
001a698asub rdi, rsi
001a698dlea rbx, [rbx+2*rdi]
001a6991lea rbx, [rbx+rax-1]
001a6996cmp rbx, rax
001a6999jl 0x1a69a0
001a699bmov rax, rbx
001a699ejmp 0x1a69ac
001a69a0
001a69a0loc_1a69a0:
001a69a0lea rax, [rip+0x1937b9]
001a69a7call camlStdlib.invalid_arg_10
001a69ac
001a69acloc_1a69ac:
001a69acmov rbx, [rsp]
001a69b0mov rdi, [rbx+8]
001a69b4mov rbx, [rsp+8]
001a69b9jmp 0x1a6926
001a69be
001a69beloc_1a69be:
001a69becall caml_call_gc
001a69c3jmp 0x1a692f
001a69c8
001a69c8loc_1a69c8:
001a69c8push 35
001a69cacall caml_call_realloc_stack
001a69cfpop r10
001a69d1jmp 0x1a6922
001a6910

001a69d6
001a69d6 // align 0x10

001a69e0
001a69e0Stdlib.Bytes.unsafe_blits:
001a69e0sub rsp, 40
001a69e4
001a69e4loc_1a69e4:
001a69e4mov r13, rax
001a69e7mov [rsp+32], rbx
001a69eccmp r15, [r14]
001a69efjbe 0x1a6b2e
001a69f5
001a69f5loc_1a69f5:
001a69f5test dl, 1
001a69f8je 0x1a6a04
001a69famov rax, r13
001a69fdadd rsp, 40
001a6a01ret
001a6a02
001a6a02 66 90 f.
001a6a04
001a6a04loc_1a6a04:
001a6a04mov r12, [rdx]
001a6a07mov rax, [rdx+8]
001a6a0btest al, 1
001a6a0dje 0x1a6a54
001a6a0fmov rax, [r12-8]
001a6a14shr rax, 10
001a6a18lea rax, [8*rax-1]
001a6a20movzx rbx, [r12+rax]
001a6a25sub rax, rbx
001a6a28lea r8, [rax+rax+1]
001a6a2dmov esi, 1
001a6a32mov rdi, r12
001a6a35mov rdx, r13
001a6a38mov rcx, [rsp+32]
001a6a3dmov rbx, rsp
001a6a40mov rsp, [r14+64]
001a6a44call caml_blit_bytes
001a6a49mov rsp, rbx
001a6a4cmov rax, r13
001a6a4fadd rsp, 40
001a6a53ret
001a6a54
001a6a54loc_1a6a54:
001a6a54mov [rsp+24], r12
001a6a59mov [rsp+16], rdx
001a6a5emov [rsp+8], rsi
001a6a63mov [rsp], rdi
001a6a67mov rax, [r12-8]
001a6a6cshr rax, 10
001a6a70lea rax, [8*rax-1]
001a6a78movzx rbx, [r12+rax]
001a6a7dsub rax, rbx
001a6a80lea r8, [rax+rax+1]
001a6a85mov esi, 1
001a6a8amov rdi, r12
001a6a8dmov rdx, r13
001a6a90mov rcx, [rsp+32]
001a6a95mov rbx, rsp
001a6a98mov rsp, [r14+64]
001a6a9ccall caml_blit_bytes
001a6aa1mov rsp, rbx
001a6aa4mov rax, [r12-8]
001a6aa9shr rax, 10
001a6aadlea rax, [8*rax-1]
001a6ab5movzx rbx, [r12+rax]
001a6abasub rax, rbx
001a6abdmov rbx, [rsp+32]
001a6ac2lea rcx, [rbx+2*rax]
001a6ac6mov esi, 1
001a6acbmov rbp, [rsp]
001a6acfmov rdi, rbp
001a6ad2mov rdx, r13
001a6ad5mov r12, [rsp+8]
001a6adamov r8, r12
001a6addmov rbx, rsp
001a6ae0mov rsp, [r14+64]
001a6ae4call caml_blit_bytes
001a6ae9mov rsp, rbx
001a6aecmov rax, [rsp+16]
001a6af1mov rdx, [rax+8]
001a6af5mov rbx, [rsp+24]
001a6afamov rax, [rbx-8]
001a6afeshr rax, 10
001a6b02lea rax, [8*rax-1]
001a6b0amovzx rbx, [rbx+rax]
001a6b0fsub rax, rbx
001a6b12mov rbx, [rsp+32]
001a6b17lea rax, [rbx+2*rax]
001a6b1blea rbx, [rax+r12-1]
001a6b20mov rax, r13
001a6b23mov rdi, rbp
001a6b26mov rsi, r12
001a6b29jmp 0x1a69e4
001a6b2e
001a6b2eloc_1a6b2e:
001a6b2ecall caml_call_gc
001a6b33jmp 0x1a69f5
001a69e0

001a6b38
001a6b38 // align 0x10

001a6b40
001a6b40Stdlib.Bytes.concat:
001a6b40lea r10, [rsp-344]
001a6b48cmp r10, [r14+40]
001a6b4cjb 0x1a6bcc
001a6b4e
001a6b4eloc_1a6b4e:
001a6b4esub rsp, 24
001a6b52mov rdi, rbx
001a6b55test dil, 1
001a6b59je 0x1a6b6c
001a6b5blea rax, [rip+0x1931d6]
001a6b62mov rax, [rax+16]
001a6b66add rsp, 24
001a6b6aret
001a6b6b
001a6b6b 90 .
001a6b6c
001a6b6cloc_1a6b6c:
001a6b6cmov [rsp+16], rdi
001a6b71mov [rsp], rax
001a6b75mov rbx, [rax-8]
001a6b79shr rbx, 10
001a6b7dlea rbx, [8*rbx-1]
001a6b85movzx rax, [rax+rbx]
001a6b8asub rbx, rax
001a6b8dlea rbx, [rbx+rbx+1]
001a6b92mov [rsp+8], rbx
001a6b97mov eax, 1
001a6b9ccall Stdlib.Bytes.sum_lengths
001a6ba1mov rdi, rax
001a6ba4lea rax, [rip+0x7a485]
001a6babcall caml_c_call
001a6bb0mov ebx, 1
001a6bb5mov rdi, [rsp]
001a6bb9mov rsi, [rsp+8]
001a6bbemov rdx, [rsp+16]
001a6bc3add rsp, 24
001a6bc7jmp 0x1a69e0
001a6bcc
001a6bccloc_1a6bcc:
001a6bccpush 36
001a6bcecall caml_call_realloc_stack
001a6bd3pop r10
001a6bd5jmp 0x1a6b4e
001a6b40

001a6bda
001a6bda // align 0x10

001a6be0
001a6be0Stdlib.Bytes.cat:
001a6be0sub rsp, 32
001a6be4mov [rsp], rax
001a6be8mov [rsp+16], rbx
001a6bedmov rdi, [rax-8]
001a6bf1shr rdi, 10
001a6bf5lea rdi, [8*rdi-1]
001a6bfdmovzx rax, [rax+rdi]
001a6c02sub rdi, rax
001a6c05lea rax, [rdi+rdi+1]
001a6c0amov [rsp+8], rax
001a6c0fmov rdi, [rbx-8]
001a6c13shr rdi, 10
001a6c17lea rdi, [8*rdi-1]
001a6c1fmovzx rbx, [rbx+rdi]
001a6c24sub rdi, rbx
001a6c27lea rbx, [rdi+rdi+1]
001a6c2cmov [rsp+24], rbx
001a6c31lea rdi, [rax+rbx-1]
001a6c36lea rax, [rip+0x7a3f3]
001a6c3dcall caml_c_call
001a6c42mov r12, rax
001a6c45mov ecx, 1
001a6c4amov esi, 1
001a6c4fmov rdi, [rsp]
001a6c53mov rdx, r12
001a6c56mov r13, [rsp+8]
001a6c5bmov r8, r13
001a6c5emov rbx, rsp
001a6c61mov rsp, [r14+64]
001a6c65call caml_blit_bytes
001a6c6amov rsp, rbx
001a6c6dmov esi, 1
001a6c72mov rdi, [rsp+16]
001a6c77mov rdx, r12
001a6c7amov rcx, r13
001a6c7dmov r8, [rsp+24]
001a6c82mov rbx, rsp
001a6c85mov rsp, [r14+64]
001a6c89call caml_blit_bytes
001a6c8emov rsp, rbx
001a6c91mov rax, r12
001a6c94add rsp, 32
001a6c98ret
001a6be0

001a6c99
001a6c99 // align 0x10

001a6ca0
001a6ca0Stdlib.Bytes.is_space:
001a6ca0add rax, -18
001a6ca4cmp rax, 9
001a6ca8jbe 0x1a6cb4
001a6caacmp rax, 47
001a6caeje 0x1a6cc0
001a6cb0jmp 0x1a6cba
001a6cb2
001a6cb2 66 90 f.
001a6cb4
001a6cb4loc_1a6cb4:
001a6cb4cmp rax, 5
001a6cb8jne 0x1a6cc0
001a6cba
001a6cbaloc_1a6cba:
001a6cbamov eax, 1
001a6cbfret
001a6cc0
001a6cc0loc_1a6cc0:
001a6cc0mov eax, 3
001a6cc5ret
001a6ca0