Similarity

0019cc90
0019cc90Stdlib.Seq.sorted_merge1:
0019cc90lea r10, [rsp-368]
0019cc98cmp r10, [r14+40]
0019cc9cjb 0x19cdef
0019cca2
0019cca2loc_19cca2:
0019cca2sub rsp, 48
0019cca6mov r8, rax
0019cca9mov [rsp+24], r8
0019ccaemov rax, rbx
0019ccb1mov [rsp+40], rax
0019ccb6mov [rsp+16], rdi
0019ccbbmov rbx, rsi
0019ccbemov [rsp+8], rbx
0019ccc3mov [rsp], rdx
0019ccc7mov [rsp+32], rcx
0019ccccmov rdi, r8
0019cccfcall caml_apply2
0019ccd4cmp rax, 1
0019ccd8jg 0x19cd60
0019ccdemov rax, [rsp]
0019cce2mov rbx, [rsp+8]
0019cce7mov rdi, [rsp+16]
0019ccecmov rsi, [rsp+24]
0019ccf1mov rdx, [rsp+32]
0019ccf6add rdx, -32
0019ccfasub r15, 88
0019ccfecmp r15, [r14]
0019cd01jb 0x19cde5
0019cd07
0019cd07loc_19cd07:
0019cd07lea rcx, [r15+8]
0019cd0badd rcx, 24
0019cd0fmov [rcx-8], 7415
0019cd17lea r8, [rip+226]
0019cd1emov [rcx], r8
0019cd21mov r8, 0x100000000000005
0019cd2bmov [rcx+8], r8
0019cd2fmov [rcx+16], rsi
0019cd33mov [rcx+24], rdi
0019cd37mov [rcx+32], rbx
0019cd3bmov [rcx+40], rax
0019cd3fmov [rcx+48], rdx
0019cd43lea rax, [rcx-24]
0019cd47mov [rax-8], 2048
0019cd4fmov rbx, [rsp+40]
0019cd54mov [rax], rbx
0019cd57mov [rax+8], rcx
0019cd5badd rsp, 48
0019cd5fret
0019cd60
0019cd60loc_19cd60:
0019cd60mov rax, [rsp]
0019cd64mov rbx, [rsp+16]
0019cd69mov rdi, [rsp+40]
0019cd6emov rsi, [rsp+24]
0019cd73mov rdx, [rsp+32]
0019cd78add rdx, -64
0019cd7csub r15, 88
0019cd80cmp r15, [r14]
0019cd83jb 0x19cdde
0019cd85
0019cd85loc_19cd85:
0019cd85lea rcx, [r15+8]
0019cd89add rcx, 24
0019cd8dmov [rcx-8], 7415
0019cd95lea r8, [rip+132]
0019cd9cmov [rcx], r8
0019cd9fmov r8, 0x100000000000005
0019cda9mov [rcx+8], r8
0019cdadmov [rcx+16], rsi
0019cdb1mov [rcx+24], rdi
0019cdb5mov [rcx+32], rbx
0019cdb9mov [rcx+40], rax
0019cdbdmov [rcx+48], rdx
0019cdc1lea rax, [rcx-24]
0019cdc5mov [rax-8], 2048
0019cdcdmov rbx, [rsp+8]
0019cdd2mov [rax], rbx
0019cdd5mov [rax+8], rcx
0019cdd9add rsp, 48
0019cdddret
0019cdde
0019cddeloc_19cdde:
0019cddecall caml_call_gc
0019cde3jmp 0x19cd85
0019cde5
0019cde5loc_19cde5:
0019cde5call caml_call_gc
0019cdeajmp 0x19cd07
0019cdef
0019cdefloc_19cdef:
0019cdefpush 39
0019cdf1call caml_call_realloc_stack
0019cdf6pop r10
0019cdf8jmp 0x19cca2
0019cc90

0019cdfd
0019cdfd // align 0x10

0019ce00
0019ce00Stdlib.Seq.fun:
0019ce00mov rdx, rax
0019ce03mov rsi, [rbx+40]
0019ce07mov rdi, [rbx+32]
0019ce0bmov r8, [rbx+24]
0019ce0fmov rax, [rbx+16]
0019ce13mov rcx, [rbx+48]
0019ce17mov rbx, r8
0019ce1ajmp 0x19cbe0
0019ce00

0019ce1f
0019ce1f // align 0x10

0019ce20
0019ce20Stdlib.Seq.fun:
0019ce20mov rdx, rax
0019ce23mov rsi, [rbx+40]
0019ce27mov rdi, [rbx+32]
0019ce2bmov r8, [rbx+24]
0019ce2fmov rax, [rbx+16]
0019ce33mov rcx, [rbx+48]
0019ce37mov rbx, r8
0019ce3ajmp 0x19cb30
0019ce20

0019ce3f
0019ce3f // align 0x10

0019ce40
0019ce40Stdlib.Seq.sorted_merge:
0019ce40lea r10, [rsp-344]
0019ce48cmp r10, [r14+40]
0019ce4cjb 0x19cecd
0019ce4e
0019ce4eloc_19ce4e:
0019ce4esub rsp, 24
0019ce52mov [rsp+16], rax
0019ce57mov [rsp], rdi
0019ce5bmov eax, 1
0019ce60mov rdi, [rbx]
0019ce63call rdi
0019ce65mov [rsp+8], rax
0019ce6amov eax, 1
0019ce6fmov rbx, [rsp]
0019ce73mov rdi, [rbx]
0019ce76call rdi
0019ce78mov rbx, [rsp+8]
0019ce7dtest bl, 1
0019ce80je 0x19ce90
0019ce82test al, 1
0019ce84je 0x19cec8
0019ce86mov eax, 1
0019ce8badd rsp, 24
0019ce8fret
0019ce90
0019ce90loc_19ce90:
0019ce90test al, 1
0019ce92je 0x19ce9c
0019ce94mov rax, rbx
0019ce97jmp 0x19cec8
0019ce99
0019ce99 0f 1f 00 ...
0019ce9c
0019ce9cloc_19ce9c:
0019ce9cmov rdx, [rax+8]
0019cea0mov rsi, [rax]
0019cea3mov rdi, [rbx+8]
0019cea7mov rbx, [rbx]
0019ceaalea rax, [rip+0x194687]
0019ceb1mov rcx, [rax+576]
0019ceb8mov rax, [rsp+16]
0019cebdadd rsp, 24
0019cec1jmp 0x19cc90
0019cec6
0019cec6 66 90 f.
0019cec8
0019cec8loc_19cec8:
0019cec8add rsp, 24
0019ceccret
0019cecd
0019cecdloc_19cecd:
0019cecdpush 36
0019cecfcall caml_call_realloc_stack
0019ced4pop r10
0019ced6jmp 0x19ce4e
0019ce40

0019cedb
0019cedb // align 0x10

0019cee0
0019cee0Stdlib.Seq.map_fst:
0019cee0lea r10, [rsp-328]
0019cee8cmp r10, [r14+40]
0019ceecjb 0x19cf81
0019cef2
0019cef2loc_19cef2:
0019cef2sub rsp, 8
0019cef6mov rbx, rax
0019cef9mov [rsp], rdi
0019cefdmov eax, 1
0019cf02mov rdi, [rbx]
0019cf05call rdi
0019cf07test al, 1
0019cf09je 0x19cf18
0019cf0bmov eax, 1
0019cf10add rsp, 8
0019cf14ret
0019cf15
0019cf15 0f 1f 00 ...
0019cf18
0019cf18loc_19cf18:
0019cf18mov rbx, [rax+8]
0019cf1cmov rdi, [rsp]
0019cf20sub r15, 64
0019cf24cmp r15, [r14]
0019cf27jb 0x19cf7a
0019cf29
0019cf29loc_19cf29:
0019cf29lea rsi, [r15+8]
0019cf2dadd rsi, 24
0019cf31mov [rsi-8], 4343
0019cf39lea rdx, [rip+80]
0019cf40mov [rsi], rdx
0019cf43mov rdx, 0x100000000000005
0019cf4dmov [rsi+8], rdx
0019cf51mov [rsi+16], rbx
0019cf55mov [rsi+24], rdi
0019cf59lea rbx, [rsi-24]
0019cf5dmov [rbx-8], 2048
0019cf65mov rax, [rax]
0019cf68mov rax, [rax]
0019cf6bmov [rbx], rax
0019cf6emov [rbx+8], rsi
0019cf72mov rax, rbx
0019cf75add rsp, 8
0019cf79ret
0019cf7a
0019cf7aloc_19cf7a:
0019cf7acall caml_call_gc
0019cf7fjmp 0x19cf29
0019cf81
0019cf81loc_19cf81:
0019cf81push 34
0019cf83call caml_call_realloc_stack
0019cf88pop r10
0019cf8ajmp 0x19cef2
0019cee0

0019cf8f
0019cf8f // align 0x10

0019cf90
0019cf90Stdlib.Seq.fun:
0019cf90mov rsi, rax
0019cf93mov rax, [rbx+16]
0019cf97mov rdi, [rbx+24]
0019cf9bmov rbx, rsi
0019cf9ejmp 0x19cee0
0019cf90

0019cfa3
0019cfa3 // align 0x10

0019cfb0
0019cfb0Stdlib.Seq.map_snd:
0019cfb0lea r10, [rsp-328]
0019cfb8cmp r10, [r14+40]
0019cfbcjb 0x19d052
0019cfc2
0019cfc2loc_19cfc2:
0019cfc2sub rsp, 8
0019cfc6mov rbx, rax
0019cfc9mov [rsp], rdi
0019cfcdmov eax, 1
0019cfd2mov rdi, [rbx]
0019cfd5call rdi
0019cfd7test al, 1
0019cfd9je 0x19cfe8
0019cfdbmov eax, 1
0019cfe0add rsp, 8
0019cfe4ret
0019cfe5
0019cfe5 0f 1f 00 ...
0019cfe8
0019cfe8loc_19cfe8:
0019cfe8mov rbx, [rax+8]
0019cfecmov rdi, [rsp]
0019cff0sub r15, 64
0019cff4cmp r15, [r14]
0019cff7jb 0x19d04b
0019cff9
0019cff9loc_19cff9:
0019cff9lea rsi, [r15+8]
0019cffdadd rsi, 24
0019d001mov [rsi-8], 4343
0019d009lea rdx, [rip+80]
0019d010mov [rsi], rdx
0019d013mov rdx, 0x100000000000005
0019d01dmov [rsi+8], rdx
0019d021mov [rsi+16], rbx
0019d025mov [rsi+24], rdi
0019d029lea rbx, [rsi-24]
0019d02dmov [rbx-8], 2048
0019d035mov rax, [rax]
0019d038mov rax, [rax+8]
0019d03cmov [rbx], rax
0019d03fmov [rbx+8], rsi
0019d043mov rax, rbx
0019d046add rsp, 8
0019d04aret
0019d04b
0019d04bloc_19d04b:
0019d04bcall caml_call_gc
0019d050jmp 0x19cff9
0019d052
0019d052loc_19d052:
0019d052push 34
0019d054call caml_call_realloc_stack
0019d059pop r10
0019d05bjmp 0x19cfc2
0019cfb0

0019d060
0019d060Stdlib.Seq.fun:
0019d060mov rsi, rax
0019d063mov rax, [rbx+16]
0019d067mov rdi, [rbx+24]
0019d06bmov rbx, rsi
0019d06ejmp 0x19cfb0
0019d060

0019d073
0019d073 // align 0x10

0019d080
0019d080Stdlib.Seq.unzip:
0019d080lea rdi, [rip+0x1944b1]
0019d087mov rsi, [rdi+592]
0019d08esub r15, 104
0019d092cmp r15, [r14]
0019d095jb 0x19d10e
0019d097
0019d097loc_19d097:
0019d097lea rbx, [r15+8]
0019d09badd rbx, 64
0019d09fmov [rbx-8], 4343
0019d0a7lea rdx, [rip+146]
0019d0aemov [rbx], rdx
0019d0b1mov rdx, 0x100000000000005
0019d0bbmov [rbx+8], rdx
0019d0bfmov [rbx+16], rax
0019d0c3mov [rbx+24], rsi
0019d0c7mov rdi, [rdi+584]
0019d0celea rsi, [rbx-40]
0019d0d2mov [rsi-8], 4343
0019d0dalea rdx, [rip+63]
0019d0e1mov [rsi], rdx
0019d0e4mov rdx, 0x100000000000005
0019d0eemov [rsi+8], rdx
0019d0f2mov [rsi+16], rax
0019d0f6mov [rsi+24], rdi
0019d0falea rax, [rsi-24]
0019d0femov [rax-8], 2048
0019d106mov [rax], rsi
0019d109mov [rax+8], rbx
0019d10dret
0019d10e
0019d10eloc_19d10e:
0019d10ecall caml_call_gc
0019d113jmp 0x19d097
0019d080

0019d115
0019d115 // align 0x10

0019d120
0019d120Stdlib.Seq.fun:
0019d120mov rsi, rax
0019d123mov rax, [rbx+16]
0019d127mov rdi, [rbx+24]
0019d12bmov rbx, rsi
0019d12ejmp 0x19cee0
0019d120

0019d133
0019d133 // align 0x10

0019d140
0019d140Stdlib.Seq.fun:
0019d140mov rsi, rax
0019d143mov rax, [rbx+16]
0019d147mov rdi, [rbx+24]
0019d14bmov rbx, rsi
0019d14ejmp 0x19cfb0
0019d140

0019d153
0019d153 // align 0x10

0019d160
0019d160Stdlib.Seq.filter_map_find_left_map:
0019d160lea r10, [rsp-344]
0019d168cmp r10, [r14+40]
0019d16cjb 0x19d24e
0019d172
0019d172loc_19d172:
0019d172sub rsp, 24
0019d176
0019d176loc_19d176:
0019d176mov [rsp], rax
0019d17amov [rsp+16], rsi
0019d17fcmp r15, [r14]
0019d182jbe 0x19d244
0019d188
0019d188loc_19d188:
0019d188mov eax, 1
0019d18dmov rdi, [rbx]
0019d190call rdi
0019d192test al, 1
0019d194je 0x19d1a0
0019d196mov eax, 1
0019d19badd rsp, 24
0019d19fret
0019d1a0
0019d1a0loc_19d1a0:
0019d1a0mov rbx, [rax+8]
0019d1a4mov [rsp+8], rbx
0019d1a9mov rax, [rax]
0019d1acmov rbx, [rsp]
0019d1b0mov rdi, [rbx]
0019d1b3call rdi
0019d1b5movzx rbx, [rax-8]
0019d1batest rbx, rbx
0019d1bdje 0x19d1d4
0019d1bfmov edi, 1
0019d1c4mov rax, [rsp]
0019d1c8mov rbx, [rsp+8]
0019d1cdmov rsi, [rsp+16]
0019d1d2jmp 0x19d176
0019d1d4
0019d1d4loc_19d1d4:
0019d1d4mov rbx, [rsp+8]
0019d1d9mov rdi, [rsp]
0019d1ddmov rsi, [rsp+16]
0019d1e2sub r15, 72
0019d1e6cmp r15, [r14]
0019d1e9jb 0x19d23d
0019d1eb
0019d1ebloc_19d1eb:
0019d1eblea rdx, [r15+8]
0019d1efadd rdx, 24
0019d1f3mov [rdx-8], 5367
0019d1fblea rcx, [rip+94]
0019d202mov [rdx], rcx
0019d205mov rcx, 0x100000000000005
0019d20fmov [rdx+8], rcx
0019d213mov [rdx+16], rdi
0019d217mov [rdx+24], rbx
0019d21bmov [rdx+32], rsi
0019d21flea rbx, [rdx-24]
0019d223mov [rbx-8], 2048
0019d22bmov rax, [rax]
0019d22emov [rbx], rax
0019d231mov [rbx+8], rdx
0019d235mov rax, rbx
0019d238add rsp, 24
0019d23cret
0019d23d
0019d23dloc_19d23d:
0019d23dcall caml_call_gc
0019d242jmp 0x19d1eb
0019d244
0019d244loc_19d244:
0019d244call caml_call_gc
0019d249jmp 0x19d188
0019d24e
0019d24eloc_19d24e:
0019d24epush 36
0019d250call caml_call_realloc_stack
0019d255pop r10
0019d257jmp 0x19d172
0019d160

0019d25c
0019d25c // align 0x10

0019d260
0019d260Stdlib.Seq.fun:
0019d260mov rdi, rax
0019d263mov rdx, [rbx+24]
0019d267mov rax, [rbx+16]
0019d26bmov rsi, [rbx+32]
0019d26fmov rbx, rdx
0019d272jmp 0x19d160
0019d260

0019d277
0019d277 // align 0x10

0019d280
0019d280Stdlib.Seq.filter_map_find_right_map:
0019d280lea r10, [rsp-344]
0019d288cmp r10, [r14+40]
0019d28cjb 0x19d375
0019d292
0019d292loc_19d292:
0019d292sub rsp, 24
0019d296
0019d296loc_19d296:
0019d296mov [rsp+8], rax
0019d29bmov [rsp+16], rsi
0019d2a0cmp r15, [r14]
0019d2a3jbe 0x19d36b
0019d2a9
0019d2a9loc_19d2a9:
0019d2a9mov eax, 1
0019d2aemov rdi, [rbx]
0019d2b1call rdi
0019d2b3test al, 1
0019d2b5je 0x19d2c4
0019d2b7mov eax, 1
0019d2bcadd rsp, 24
0019d2c0ret
0019d2c1
0019d2c1 0f 1f 00 ...
0019d2c4
0019d2c4loc_19d2c4:
0019d2c4mov rbx, [rax+8]
0019d2c8mov [rsp], rbx
0019d2ccmov rax, [rax]
0019d2cfmov rbx, [rsp+8]
0019d2d4mov rdi, [rbx]
0019d2d7call rdi
0019d2d9movzx rbx, [rax-8]
0019d2detest rbx, rbx
0019d2e1je 0x19d34c
0019d2e3mov rbx, [rsp]
0019d2e7mov rdi, [rsp+8]
0019d2ecmov rsi, [rsp+16]
0019d2f1sub r15, 72
0019d2f5cmp r15, [r14]
0019d2f8jb 0x19d364
0019d2fa
0019d2faloc_19d2fa:
0019d2falea rdx, [r15+8]
0019d2feadd rdx, 24
0019d302mov [rdx-8], 5367
0019d30alea rcx, [rip+127]
0019d311mov [rdx], rcx
0019d314mov rcx, 0x100000000000005
0019d31emov [rdx+8], rcx
0019d322mov [rdx+16], rdi
0019d326mov [rdx+24], rbx
0019d32amov [rdx+32], rsi
0019d32elea rbx, [rdx-24]
0019d332mov [rbx-8], 2048
0019d33amov rax, [rax]
0019d33dmov [rbx], rax
0019d340mov [rbx+8], rdx
0019d344mov rax, rbx
0019d347add rsp, 24
0019d34bret
0019d34c
0019d34cloc_19d34c:
0019d34cmov edi, 1
0019d351mov rax, [rsp+8]
0019d356mov rbx, [rsp]
0019d35amov rsi, [rsp+16]
0019d35fjmp 0x19d296
0019d364
0019d364loc_19d364:
0019d364call caml_call_gc
0019d369jmp 0x19d2fa
0019d36b
0019d36bloc_19d36b:
0019d36bcall caml_call_gc
0019d370jmp 0x19d2a9
0019d375
0019d375loc_19d375:
0019d375push 36
0019d377call caml_call_realloc_stack
0019d37cpop r10
0019d37ejmp 0x19d292
0019d280

0019d383
0019d383 // align 0x10

0019d390
0019d390Stdlib.Seq.fun:
0019d390mov rdi, rax
0019d393mov rdx, [rbx+24]
0019d397mov rax, [rbx+16]
0019d39bmov rsi, [rbx+32]
0019d39fmov rbx, rdx
0019d3a2jmp 0x19d280
0019d390

0019d3a7
0019d3a7 // align 0x10

0019d3b0
0019d3b0Stdlib.Seq.partition_map:
0019d3b0lea rsi, [rip+0x194181]
0019d3b7mov rdx, [rsi+608]
0019d3besub r15, 120
0019d3c2cmp r15, [r14]
0019d3c5jb 0x19d446
0019d3c7
0019d3c7loc_19d3c7:
0019d3c7lea rdi, [r15+8]
0019d3cbadd rdi, 72
0019d3cfmov [rdi-8], 5367
0019d3d7lea rcx, [rip+146]
0019d3demov [rdi], rcx
0019d3e1mov rcx, 0x100000000000005
0019d3ebmov [rdi+8], rcx
0019d3efmov [rdi+16], rax
0019d3f3mov [rdi+24], rbx
0019d3f7mov [rdi+32], rdx
0019d3fbmov rsi, [rsi+600]
0019d402lea rdx, [rdi-48]
0019d406mov [rdx-8], 5367
0019d40elea rcx, [rip+59]
0019d415mov [rdx], rcx
0019d418mov rcx, 0x100000000000005
0019d422mov [rdx+8], rcx
0019d426mov [rdx+16], rax
0019d42amov [rdx+24], rbx
0019d42emov [rdx+32], rsi
0019d432lea rax, [rdx-24]
0019d436mov [rax-8], 2048
0019d43emov [rax], rdx
0019d441mov [rax+8], rdi
0019d445ret
0019d446
0019d446loc_19d446:
0019d446call caml_call_gc
0019d44bjmp 0x19d3c7
0019d3b0

0019d450
0019d450Stdlib.Seq.fun:
0019d450mov rdi, rax
0019d453mov rdx, [rbx+24]
0019d457mov rax, [rbx+16]
0019d45bmov rsi, [rbx+32]
0019d45fmov rbx, rdx
0019d462jmp 0x19d160
0019d450

0019d467
0019d467 // align 0x10

0019d470
0019d470Stdlib.Seq.fun:
0019d470mov rdi, rax
0019d473mov rdx, [rbx+24]
0019d477mov rax, [rbx+16]
0019d47bmov rsi, [rbx+32]
0019d47fmov rbx, rdx
0019d482jmp 0x19d280
0019d470

0019d487
0019d487 // align 0x10

0019d490
0019d490Stdlib.Seq.partition:
0019d490sub r15, 152
0019d497cmp r15, [r14]
0019d49ajb 0x19d54e
0019d4a0
0019d4a0loc_19d4a0:
0019d4a0lea rsi, [r15+8]
0019d4a4add rsi, 120
0019d4a8mov [rsi-8], 3319
0019d4b0lea rdi, [rip+201]
0019d4b7mov [rsi], rdi
0019d4bamov rdi, 0x100000000000005
0019d4c4mov [rsi+8], rdi
0019d4c8mov [rsi+16], rax
0019d4cclea rdi, [rip+0x194065]
0019d4d3mov rdx, [rdi+240]
0019d4dalea rdi, [rsi-48]
0019d4demov [rdi-8], 5367
0019d4e6lea rcx, [rip+195]
0019d4edmov [rdi], rcx
0019d4f0mov rcx, 0x100000000000005
0019d4famov [rdi+8], rcx
0019d4femov [rdi+16], rsi
0019d502mov [rdi+24], rbx
0019d506mov [rdi+32], rdx
0019d50alea rsi, [rdi-48]
0019d50emov [rsi-8], 5367
0019d516lea rcx, [rip+67]
0019d51dmov [rsi], rcx
0019d520mov rcx, 0x100000000000005
0019d52amov [rsi+8], rcx
0019d52emov [rsi+16], rax
0019d532mov [rsi+24], rbx
0019d536mov [rsi+32], rdx
0019d53alea rax, [rsi-24]
0019d53emov [rax-8], 2048
0019d546mov [rax], rsi
0019d549mov [rax+8], rdi
0019d54dret
0019d54e
0019d54eloc_19d54e:
0019d54ecall caml_call_gc
0019d553jmp 0x19d4a0
0019d490

0019d558
0019d558 // align 0x10

0019d560
0019d560Stdlib.Seq.fun:
0019d560mov rdi, rax
0019d563mov rdx, [rbx+24]
0019d567mov rax, [rbx+16]
0019d56bmov rsi, [rbx+32]
0019d56fmov rbx, rdx
0019d572jmp 0x19a4e0
0019d560

0019d577
0019d577 // align 0x10

0019d580
0019d580Stdlib.Seq.fun:
0019d580lea r10, [rsp-320]
0019d588cmp r10, [r14+40]
0019d58cjb 0x19d5a3
0019d58e
0019d58eloc_19d58e:
0019d58emov rbx, [rbx+16]
0019d592mov rdi, [rbx]
0019d595call rdi
0019d597mov rbx, rax
0019d59amov eax, 4
0019d59fsub rax, rbx
0019d5a2ret
0019d5a3
0019d5a3loc_19d5a3:
0019d5a3push 33
0019d5a5call caml_call_realloc_stack
0019d5aapop r10
0019d5acjmp 0x19d58e
0019d580

0019d5ae
0019d5ae // align 0x10

0019d5b0
0019d5b0Stdlib.Seq.fun:
0019d5b0mov rdi, rax
0019d5b3mov rdx, [rbx+24]
0019d5b7mov rax, [rbx+16]
0019d5bbmov rsi, [rbx+32]
0019d5bfmov rbx, rdx
0019d5c2jmp 0x19a4e0
0019d5b0

0019d5c7
0019d5c7 // align 0x10

0019d5d0
0019d5d0Stdlib.Seq.peel:
0019d5d0lea rbx, [rip+0x193f61]
0019d5d7mov rdi, [rbx+8]
0019d5dbmov rbx, [rbx+248]
0019d5e2sub r15, 48
0019d5e6cmp r15, [r14]
0019d5e9jb 0x19d623
0019d5eb
0019d5ebloc_19d5eb:
0019d5eblea rsi, [r15+8]
0019d5efmov [rsi-8], 5367
0019d5f7lea rdx, [rip+50]
0019d5femov [rsi], rdx
0019d601mov rdx, 0x100000000000005
0019d60bmov [rsi+8], rdx
0019d60fmov [rsi+16], rdi
0019d613mov [rsi+24], rax
0019d617mov [rsi+32], rbx
0019d61bmov rax, rsi
0019d61ejmp 0x19d080
0019d623
0019d623loc_19d623:
0019d623call caml_call_gc
0019d628jmp 0x19d5eb
0019d5d0

0019d62a
0019d62a // align 0x10

0019d630
0019d630Stdlib.Seq.fun:
0019d630mov rdi, rax
0019d633mov rdx, [rbx+24]
0019d637mov rax, [rbx+16]
0019d63bmov rsi, [rbx+32]
0019d63fmov rbx, rdx
0019d642jmp 0x19a3c0
0019d630

0019d647
0019d647 // align 0x10

0019d650
0019d650Stdlib.Seq.transpose:
0019d650lea r10, [rsp-344]
0019d658cmp r10, [r14+40]
0019d65cjb 0x19d74c
0019d662
0019d662loc_19d662:
0019d662sub rsp, 24
0019d666mov [rsp], rdi
0019d66acall Stdlib.Seq.peel
0019d66fmov rbx, [rax+8]
0019d673mov [rsp+16], rbx
0019d678mov rax, [rax]
0019d67bmov [rsp+8], rax
0019d680call Stdlib.Seq.is_empty
0019d685cmp rax, 1
0019d689je 0x19d6dc
0019d68bmov rax, [rsp+16]
0019d690call Stdlib.Seq.is_empty
0019d695cmp rax, 1
0019d699jne 0x19d6d0
0019d69bsub r15, 24
0019d69fcmp r15, [r14]
0019d6a2jb 0x19d742
0019d6a8
0019d6a8loc_19d6a8:
0019d6a8lea rax, [r15+8]
0019d6acmov [rax-8], 2048
0019d6b4lea rbx, [rip+0xd8b4d]
0019d6bbmov [rax], rbx
0019d6belea rbx, [rip+0x194133]
0019d6c5mov [rax+8], rbx
0019d6c9call caml_raise_exn
0019d6cenop
0019d6d0
0019d6d0loc_19d6d0:
0019d6d0mov eax, 1
0019d6d5add rsp, 24
0019d6d9ret
0019d6da
0019d6da 66 90 f.
0019d6dc
0019d6dcloc_19d6dc:
0019d6dcmov rax, [rsp+16]
0019d6e1mov rbx, [rsp]
0019d6e5sub r15, 64
0019d6e9cmp r15, [r14]
0019d6ecjb 0x19d73b
0019d6ee
0019d6eeloc_19d6ee:
0019d6eelea rdi, [r15+8]
0019d6f2add rdi, 24
0019d6f6mov [rdi-8], 4343
0019d6felea rsi, [rip+91]
0019d705mov [rdi], rsi
0019d708mov rsi, 0x100000000000005
0019d712mov [rdi+8], rsi
0019d716mov [rdi+16], rax
0019d71amov [rdi+24], rbx
0019d71elea rax, [rdi-24]
0019d722mov [rax-8], 2048
0019d72amov rbx, [rsp+8]
0019d72fmov [rax], rbx
0019d732mov [rax+8], rdi
0019d736add rsp, 24
0019d73aret
0019d73b
0019d73bloc_19d73b:
0019d73bcall caml_call_gc
0019d740jmp 0x19d6ee
0019d742
0019d742loc_19d742:
0019d742call caml_call_gc
0019d747jmp 0x19d6a8
0019d74c
0019d74cloc_19d74c:
0019d74cpush 36
0019d74ecall caml_call_realloc_stack
0019d753pop r10
0019d755jmp 0x19d662
0019d650

0019d75a
0019d75a // align 0x10

0019d760
0019d760Stdlib.Seq.fun:
0019d760mov rsi, rax
0019d763mov rax, [rbx+16]
0019d767mov rdi, [rbx+24]
0019d76bmov rbx, rsi
0019d76ejmp 0x19d650
0019d760

0019d773
0019d773 // align 0x10

0019d780
0019d780Stdlib.Seq.diagonals:
0019d780lea r10, [rsp-352]
0019d788cmp r10, [r14+40]
0019d78cjb 0x19d96c
0019d792
0019d792loc_19d792:
0019d792sub rsp, 32
0019d796mov [rsp+24], rax
0019d79bmov [rsp+16], rsi
0019d7a0mov eax, 1
0019d7a5mov rdi, [rbx]
0019d7a8call rdi
0019d7aatest al, 1
0019d7acje 0x19d7d0
0019d7aelea rax, [rip+0x193d83]
0019d7b5mov rdi, [rax+328]
0019d7bcmov ebx, 1
0019d7c1mov rax, [rsp+24]
0019d7c6add rsp, 32
0019d7cajmp 0x19d650
0019d7cf
0019d7cf 90 .
0019d7d0
0019d7d0loc_19d7d0:
0019d7d0mov rbx, [rax+8]
0019d7d4mov [rsp+8], rbx
0019d7d9mov rbx, [rax]
0019d7dcmov eax, 1
0019d7e1mov rdi, [rbx]
0019d7e4call rdi
0019d7e6test al, 1
0019d7e8je 0x19d864
0019d7eamov rax, [rsp+24]
0019d7efcall Stdlib.Seq.peel
0019d7f4mov rbx, [rsp+8]
0019d7f9mov rdi, [rax+8]
0019d7fdmov rsi, [rsp+16]
0019d802sub r15, 72
0019d806cmp r15, [r14]
0019d809jb 0x19d962
0019d80f
0019d80floc_19d80f:
0019d80flea rdx, [r15+8]
0019d813add rdx, 24
0019d817mov [rdx-8], 5367
0019d81flea rcx, [rip+474]
0019d826mov [rdx], rcx
0019d829mov rcx, 0x100000000000005
0019d833mov [rdx+8], rcx
0019d837mov [rdx+16], rdi
0019d83bmov [rdx+24], rbx
0019d83fmov [rdx+32], rsi
0019d843lea rbx, [rdx-24]
0019d847mov [rbx-8], 2048
0019d84fmov rax, [rax]
0019d852mov [rbx], rax
0019d855mov [rbx+8], rdx
0019d859mov rax, rbx
0019d85cadd rsp, 32
0019d860ret
0019d861
0019d861 0f 1f 00 ...
0019d864
0019d864loc_19d864:
0019d864mov [rsp], rax
0019d868mov rax, [rsp+24]
0019d86dcall Stdlib.Seq.peel
0019d872mov rcx, [rsp+8]
0019d877mov rdi, [rax+8]
0019d87bmov rdx, [rsp]
0019d87fmov r8, [rdx+8]
0019d883lea rbx, [rip+0x193cae]
0019d88amov rsi, [rbx+168]
0019d891sub r15, 168
0019d898cmp r15, [r14]
0019d89bjb 0x19d958
0019d8a1
0019d8a1loc_19d8a1:
0019d8a1lea rbx, [r15+8]
0019d8a5add rbx, 120
0019d8a9mov [rbx-8], 5367
0019d8b1lea r9, [rip+248]
0019d8b8mov [rbx], r9
0019d8bbmov r9, 0x100000000000005
0019d8c5mov [rbx+8], r9
0019d8c9mov [rbx+16], r8
0019d8cdmov [rbx+24], rdi
0019d8d1mov [rbx+32], rsi
0019d8d5mov r8, [rsp+16]
0019d8dalea rdi, [rbx-48]
0019d8demov [rdi-8], 5367
0019d8e6lea r9, [rip+243]
0019d8edmov [rdi], r9
0019d8f0mov r9, 0x100000000000005
0019d8famov [rdi+8], r9
0019d8femov [rdi+16], rbx
0019d902mov [rdi+24], rcx
0019d906mov [rdi+32], r8
0019d90amov rax, [rax]
0019d90dmov rbx, [rdx]
0019d910lea rdx, [rdi-48]
0019d914mov [rdx-8], 5367
0019d91clea rcx, [rip+93]
0019d923mov [rdx], rcx
0019d926mov rcx, 0x100000000000005
0019d930mov [rdx+8], rcx
0019d934mov [rdx+16], rbx
0019d938mov [rdx+24], rax
0019d93cmov [rdx+32], rsi
0019d940lea rax, [rdx-24]
0019d944mov [rax-8], 2048
0019d94cmov [rax], rdx
0019d94fmov [rax+8], rdi
0019d953add rsp, 32
0019d957ret
0019d958
0019d958loc_19d958:
0019d958call caml_call_gc
0019d95djmp 0x19d8a1
0019d962
0019d962loc_19d962:
0019d962call caml_call_gc
0019d967jmp 0x19d80f
0019d96c
0019d96cloc_19d96c:
0019d96cpush 37
0019d96ecall caml_call_realloc_stack
0019d973pop r10
0019d975jmp 0x19d792
0019d780

0019d97a
0019d97a // align 0x10

0019d980
0019d980Stdlib.Seq.fun:
0019d980mov rdi, [rbx+24]
0019d984mov rbx, [rbx+16]
0019d988sub r15, 24
0019d98ccmp r15, [r14]
0019d98fjb 0x19d9a5
0019d991
0019d991loc_19d991:
0019d991lea rax, [r15+8]
0019d995mov [rax-8], 2048
0019d99dmov [rax], rbx
0019d9a0mov [rax+8], rdi
0019d9a4ret
0019d9a5
0019d9a5loc_19d9a5:
0019d9a5call caml_call_gc
0019d9aajmp 0x19d991
0019d980

0019d9ac
0019d9ac // align 0x10

0019d9b0
0019d9b0Stdlib.Seq.fun:
0019d9b0mov rdi, [rbx+24]
0019d9b4mov rbx, [rbx+16]
0019d9b8sub r15, 24
0019d9bccmp r15, [r14]
0019d9bfjb 0x19d9d5
0019d9c1
0019d9c1loc_19d9c1:
0019d9c1lea rax, [r15+8]
0019d9c5mov [rax-8], 2048
0019d9cdmov [rax], rbx
0019d9d0mov [rax+8], rdi
0019d9d4ret
0019d9d5
0019d9d5loc_19d9d5:
0019d9d5call caml_call_gc
0019d9dajmp 0x19d9c1
0019d9b0

0019d9dc
0019d9dc // align 0x10

0019d9e0
0019d9e0Stdlib.Seq.fun:
0019d9e0mov rdi, rax
0019d9e3mov rdx, [rbx+24]
0019d9e7mov rax, [rbx+16]
0019d9ebmov rsi, [rbx+32]
0019d9efmov rbx, rdx
0019d9f2jmp 0x19d780
0019d9e0

0019d9f7
0019d9f7 // align 0x10

0019da00
0019da00Stdlib.Seq.fun:
0019da00mov rdi, rax
0019da03mov rdx, [rbx+24]
0019da07mov rax, [rbx+16]
0019da0bmov rsi, [rbx+32]
0019da0fmov rbx, rdx
0019da12jmp 0x19d780
0019da00

0019da17
0019da17 // align 0x10

0019da20
0019da20Stdlib.Seq.diagonals:
0019da20lea rbx, [rip+0x193b11]
0019da27mov rdi, [rbx+152]
0019da2emov rbx, [rbx+624]
0019da35sub r15, 48
0019da39cmp r15, [r14]
0019da3cjb 0x19da72
0019da3e
0019da3eloc_19da3e:
0019da3elea rsi, [r15+8]
0019da42mov [rsi-8], 5367
0019da4alea rdx, [rip+47]
0019da51mov [rsi], rdx
0019da54mov rdx, 0x100000000000005
0019da5emov [rsi+8], rdx
0019da62mov [rsi+16], rdi
0019da66mov [rsi+24], rax
0019da6amov [rsi+32], rbx
0019da6emov rax, rsi
0019da71ret
0019da72
0019da72loc_19da72:
0019da72call caml_call_gc
0019da77jmp 0x19da3e
0019da20

0019da79
0019da79 // align 0x10

0019da80
0019da80Stdlib.Seq.fun:
0019da80mov rdi, rax
0019da83mov rdx, [rbx+24]
0019da87mov rax, [rbx+16]
0019da8bmov rsi, [rbx+32]
0019da8fmov rbx, rdx
0019da92jmp 0x19d780
0019da80

0019da97
0019da97 // align 0x10

0019daa0
0019daa0Stdlib.Seq.map_product:
0019daa0lea r10, [rsp-320]
0019daa8cmp r10, [r14+40]
0019daacjb 0x19db8a
0019dab2
0019dab2loc_19dab2:
0019dab2sub r15, 88
0019dab6cmp r15, [r14]
0019dab9jb 0x19db80
0019dabf
0019dabfloc_19dabf:
0019dabflea rsi, [r15+8]
0019dac3add rsi, 48
0019dac7mov [rsi-8], 4343
0019dacflea rdx, [rip+266]
0019dad6mov [rsi], rdx
0019dad9mov rdx, 0x100000000000005
0019dae3mov [rsi+8], rdx
0019dae7mov [rsi+16], rax
0019daebmov [rsi+24], rdi
0019daeflea rax, [rip+0x193a42]
0019daf6mov rdi, [rax+224]
0019dafdlea rax, [rsi-48]
0019db01mov [rax-8], 5367
0019db09lea rdx, [rip+144]
0019db10mov [rax], rdx
0019db13mov rdx, 0x100000000000005
0019db1dmov [rax+8], rdx
0019db21mov [rax+16], rsi
0019db25mov [rax+24], rbx
0019db29mov [rax+32], rdi
0019db2dcall Stdlib.Seq.diagonals
0019db32lea rbx, [rip+0x1939ff]
0019db39mov rbx, [rbx+344]
0019db40sub r15, 40
0019db44cmp r15, [r14]
0019db47jb 0x19db79
0019db49
0019db49loc_19db49:
0019db49lea rdi, [r15+8]
0019db4dmov [rdi-8], 4343
0019db55lea rsi, [rip+100]
0019db5cmov [rdi], rsi
0019db5fmov rsi, 0x100000000000005
0019db69mov [rdi+8], rsi
0019db6dmov [rdi+16], rax
0019db71mov [rdi+24], rbx
0019db75mov rax, rdi
0019db78ret
0019db79
0019db79loc_19db79:
0019db79call caml_call_gc
0019db7ejmp 0x19db49
0019db80
0019db80loc_19db80:
0019db80call caml_call_gc
0019db85jmp 0x19dabf
0019db8a
0019db8aloc_19db8a:
0019db8apush 33
0019db8ccall caml_call_realloc_stack
0019db91pop r10
0019db93jmp 0x19dab2
0019daa0

0019db98
0019db98 // align 0x10

0019dba0
0019dba0Stdlib.Seq.fun:
0019dba0mov rdi, rax
0019dba3mov rdx, [rbx+24]
0019dba7mov rax, [rbx+16]
0019dbabmov rsi, [rbx+32]
0019dbafmov rbx, rdx
0019dbb2jmp 0x19a2d0
0019dba0

0019dbb7
0019dbb7 // align 0x10

0019dbc0
0019dbc0Stdlib.Seq.fun:
0019dbc0mov rsi, rax
0019dbc3mov rax, [rbx+16]
0019dbc7mov rdi, [rbx+24]
0019dbcbmov rbx, rsi
0019dbcejmp 0x19a610
0019dbc0

0019dbd3
0019dbd3 // align 0x10

0019dbe0
0019dbe0Stdlib.Seq.fun:
0019dbe0mov rdi, [rbx+24]
0019dbe4sub r15, 88
0019dbe8cmp r15, [r14]
0019dbebjb 0x19dc60
0019dbed
0019dbedloc_19dbed:
0019dbedlea rsi, [r15+8]
0019dbf1add rsi, 48
0019dbf5mov [rsi-8], 4343
0019dbfdlea rdx, [rip+108]
0019dc04mov [rsi], rdx
0019dc07mov rdx, 0x100000000000005
0019dc11mov [rsi+8], rdx
0019dc15mov rbx, [rbx+16]
0019dc19mov [rsi+16], rbx
0019dc1dmov [rsi+24], rax
0019dc21lea rax, [rip+0x193910]
0019dc28mov rbx, [rax+224]
0019dc2flea rax, [rsi-48]
0019dc33mov [rax-8], 5367
0019dc3blea rdx, [rip+78]
0019dc42mov [rax], rdx
0019dc45mov rdx, 0x100000000000005
0019dc4fmov [rax+8], rdx
0019dc53mov [rax+16], rsi
0019dc57mov [rax+24], rdi
0019dc5bmov [rax+32], rbx
0019dc5fret
0019dc60
0019dc60loc_19dc60:
0019dc60call caml_call_gc
0019dc65jmp 0x19dbed
0019dbe0

0019dc67
0019dc67 // align 0x10

0019dc70
0019dc70Stdlib.Seq.fun:
0019dc70mov rsi, rax
0019dc73cmp r15, [r14]
0019dc76jbe 0x19dc88
0019dc78
0019dc78loc_19dc78:
0019dc78mov rdi, [rbx+16]
0019dc7cmov rax, [rbx+24]
0019dc80mov rbx, rsi
0019dc83jmp 0xf73e0
0019dc88
0019dc88loc_19dc88:
0019dc88call caml_call_gc
0019dc8djmp 0x19dc78
0019dc70

0019dc8f
0019dc8f // align 0x10

0019dc90
0019dc90Stdlib.Seq.fun:
0019dc90mov rdi, rax
0019dc93mov rdx, [rbx+24]
0019dc97mov rax, [rbx+16]
0019dc9bmov rsi, [rbx+32]
0019dc9fmov rbx, rdx
0019dca2jmp 0x19a2d0
0019dc90

0019dca7
0019dca7 // align 0x10

0019dcb0
0019dcb0Stdlib.Seq.product:
0019dcb0mov rsi, rax
0019dcb3mov rdi, rbx
0019dcb6lea rax, [rip+0x192ef3]
0019dcbdmov rbx, rsi
0019dcc0jmp 0x19daa0
0019dcb0

0019dcc5
0019dcc5 // align 0x10

0019dcd0
0019dcd0Stdlib.Seq.fun:
0019dcd0sub r15, 24
0019dcd4cmp r15, [r14]
0019dcd7jb 0x19dcf0
0019dcd9
0019dcd9loc_19dcd9:
0019dcd9lea rdi, [r15+8]
0019dcddmov [rdi-8], 2048
0019dce5mov [rdi], rax
0019dce8mov [rdi+8], rbx
0019dcecmov rax, rdi
0019dcefret
0019dcf0
0019dcf0loc_19dcf0:
0019dcf0call caml_call_gc
0019dcf5jmp 0x19dcd9
0019dcd0

0019dcf7
0019dcf7 // align 0x10

0019dd00
0019dd00Stdlib.Seq.of_dispenser:
0019dd00sub r15, 32
0019dd04cmp r15, [r14]
0019dd07jb 0x19dd35
0019dd09
0019dd09loc_19dd09:
0019dd09lea rbx, [r15+8]
0019dd0dmov [rbx-8], 3319
0019dd15lea rdi, [rip+36]
0019dd1cmov [rbx], rdi
0019dd1fmov rdi, 0x100000000000005
0019dd29mov [rbx+8], rdi
0019dd2dmov [rbx+16], rax
0019dd31mov rax, rbx
0019dd34ret
0019dd35
0019dd35loc_19dd35:
0019dd35call caml_call_gc
0019dd3ajmp 0x19dd09
0019dd00

0019dd3c
0019dd3c // align 0x10

0019dd40
0019dd40Stdlib.Seq.c:
0019dd40lea r10, [rsp-328]
0019dd48cmp r10, [r14+40]
0019dd4cjb 0x19dda6
0019dd4e
0019dd4eloc_19dd4e:
0019dd4esub rsp, 8
0019dd52mov [rsp], rbx
0019dd56mov rbx, [rbx+16]
0019dd5amov eax, 1
0019dd5fmov rdi, [rbx]
0019dd62call rdi
0019dd64test al, 1
0019dd66je 0x19dd74
0019dd68mov eax, 1
0019dd6dadd rsp, 8
0019dd71ret
0019dd72
0019dd72 66 90 f.
0019dd74
0019dd74loc_19dd74:
0019dd74sub r15, 24
0019dd78cmp r15, [r14]
0019dd7bjb 0x19dd9f
0019dd7d
0019dd7dloc_19dd7d:
0019dd7dlea rbx, [r15+8]
0019dd81mov [rbx-8], 2048
0019dd89mov rax, [rax]
0019dd8cmov [rbx], rax
0019dd8fmov rax, [rsp]
0019dd93mov [rbx+8], rax
0019dd97mov rax, rbx
0019dd9aadd rsp, 8
0019dd9eret
0019dd9f
0019dd9floc_19dd9f:
0019dd9fcall caml_call_gc
0019dda4jmp 0x19dd7d
0019dda6
0019dda6loc_19dda6:
0019dda6push 34
0019dda8call caml_call_realloc_stack
0019ddadpop r10
0019ddafjmp 0x19dd4e
0019dd40

0019ddb1
0019ddb1 // align 0x10

0019ddc0
0019ddc0Stdlib.Seq.to_dispenser:
0019ddc0sub r15, 48
0019ddc4cmp r15, [r14]
0019ddc7jb 0x19de05
0019ddc9
0019ddc9loc_19ddc9:
0019ddc9lea rbx, [r15+8]
0019ddcdadd rbx, 32
0019ddd1mov [rbx-8], 1024
0019ddd9mov [rbx], rax
0019dddclea rax, [rbx-32]
0019dde0mov [rax-8], 3319
0019dde8lea rdi, [rip+33]
0019ddefmov [rax], rdi
0019ddf2mov rdi, 0x100000000000005
0019ddfcmov [rax+8], rdi
0019de00mov [rax+16], rbx
0019de04ret
0019de05
0019de05loc_19de05:
0019de05call caml_call_gc
0019de0ajmp 0x19ddc9
0019ddc0

0019de0c
0019de0c // align 0x10

0019de10
0019de10Stdlib.Seq.fun:
0019de10lea r10, [rsp-328]
0019de18cmp r10, [r14+40]
0019de1cjb 0x19de90
0019de1e
0019de1eloc_19de1e:
0019de1esub rsp, 8
0019de22mov [rsp], rbx
0019de26mov rax, [rbx+16]
0019de2amov rbx, [rax]
0019de2dmov eax, 1
0019de32mov rdi, [rbx]
0019de35call rdi
0019de37mov r12, rax
0019de3atest r12b, 1
0019de3eje 0x19de4c
0019de40mov eax, 1
0019de45add rsp, 8
0019de49ret
0019de4a
0019de4a 66 90 f.
0019de4c
0019de4cloc_19de4c:
0019de4cmov rsi, [r12+8]
0019de51mov rax, [rsp]
0019de55mov rdi, [rax+16]
0019de59mov rbx, rsp
0019de5cmov rsp, [r14+64]
0019de60call caml_modify
0019de65mov rsp, rbx
0019de68sub r15, 16
0019de6ccmp r15, [r14]
0019de6fjb 0x19de89
0019de71
0019de71loc_19de71:
0019de71lea rax, [r15+8]
0019de75mov [rax-8], 1024
0019de7dmov rbx, [r12]
0019de81mov [rax], rbx
0019de84add rsp, 8
0019de88ret
0019de89
0019de89loc_19de89:
0019de89call caml_call_gc
0019de8ejmp 0x19de71
0019de90
0019de90loc_19de90:
0019de90push 34
0019de92call caml_call_realloc_stack
0019de97pop r10
0019de99jmp 0x19de1e
0019de10

0019de9b
0019de9b // align 0x10

0019dea0
0019dea0Stdlib.Seq.ints:
0019dea0mov rbx, rax
0019dea3add rbx, 2
0019dea7sub r15, 64
0019deabcmp r15, [r14]
0019deaejb 0x19def7
0019deb0
0019deb0loc_19deb0:
0019deb0lea rsi, [r15+8]
0019deb4add rsi, 24
0019deb8mov [rsi-8], 4343
0019dec0lea rdx, [rip+57]
0019dec7mov [rsi], rdx
0019decamov rdx, 0x100000000000005
0019ded4mov [rsi+8], rdx
0019ded8mov [rsi+16], rbx
0019dedcmov [rsi+24], rdi
0019dee0lea rbx, [rsi-24]
0019dee4mov [rbx-8], 2048
0019deecmov [rbx], rax
0019deefmov [rbx+8], rsi
0019def3mov rax, rbx
0019def6ret
0019def7
0019def7loc_19def7:
0019def7call caml_call_gc
0019defcjmp 0x19deb0
0019dea0

0019defe
0019defe // align 0x10

0019df00
0019df00Stdlib.Seq.fun:
0019df00mov rsi, rax
0019df03mov rax, [rbx+16]
0019df07mov rdi, [rbx+24]
0019df0bmov rbx, rsi
0019df0ejmp 0x19dea0
0019df00

0019df13
0019df13 // align 0x10

0019df20
0019df20Stdlib.Seq.entry:
0019df20lea rsi, [rip+0x192ca9]
0019df27lea rdi, [rip+0x19360a]
0019df2eadd rdi, 152
0019df35mov rbx, rsp
0019df38mov rsp, [r14+64]
0019df3ccall caml_initialize
0019df41mov rsp, rbx
0019df44lea rsi, [rip+0x192c9d]
0019df4blea rdi, [rip+0x1935e6]
0019df52add rdi, 160
0019df59mov rbx, rsp
0019df5cmov rsp, [r14+64]
0019df60call caml_initialize
0019df65mov rsp, rbx
0019df68lea rsi, [rip+0x192c99]
0019df6flea rdi, [rip+0x1935c2]
0019df76add rdi, 168
0019df7dmov rbx, rsp
0019df80mov rsp, [r14+64]
0019df84call caml_initialize
0019df89mov rsp, rbx
0019df8clea rsi, [rip+0x192c95]
0019df93lea rdi, [rip+0x19359e]
0019df9aadd rdi, 336
0019dfa1mov rbx, rsp
0019dfa4mov rsp, [r14+64]
0019dfa8call caml_initialize
0019dfadmov rsp, rbx
0019dfb0lea rsi, [rip+0x192c91]
0019dfb7lea rdi, [rip+0x19357a]
0019dfbeadd rdi, 224
0019dfc5mov rbx, rsp
0019dfc8mov rsp, [r14+64]
0019dfcccall caml_initialize
0019dfd1mov rsp, rbx
0019dfd4lea rsi, [rip+0x192c8d]
0019dfdblea rdi, [rip+0x193556]
0019dfe2add rdi, 248
0019dfe9mov rbx, rsp
0019dfecmov rsp, [r14+64]
0019dff0call caml_initialize
0019dff5mov rsp, rbx
0019dff8lea rsi, [rip+0x192c89]
0019dffflea rdi, [rip+0x193532]
0019e006add rdi, 240
0019e00dmov rbx, rsp
0019e010mov rsp, [r14+64]
0019e014call caml_initialize
0019e019mov rsp, rbx
0019e01clea rsi, [rip+0x192c85]
0019e023lea rdi, [rip+0x19350e]
0019e02aadd rdi, 344
0019e031mov rbx, rsp
0019e034mov rsp, [r14+64]
0019e038call caml_initialize
0019e03dmov rsp, rbx
0019e040lea rsi, [rip+0x192c81]
0019e047lea rdi, [rip+0x1934ea]
0019e04eadd rdi, 352
0019e055mov rbx, rsp
0019e058mov rsp, [r14+64]
0019e05ccall caml_initialize
0019e061mov rsp, rbx
0019e064lea rdi, [rip+0x1934cd]
0019e06bmov rsi, [rdi+352]
0019e072add rdi, 360
0019e079mov rbx, rsp
0019e07cmov rsp, [r14+64]
0019e080call caml_initialize
0019e085mov rsp, rbx
0019e088lea rsi, [rip+0x192c59]
0019e08flea rdi, [rip+0x1934a2]
0019e096add rdi, 32
0019e09amov rbx, rsp
0019e09dmov rsp, [r14+64]
0019e0a1call caml_initialize
0019e0a6mov rsp, rbx
0019e0a9lea rsi, [rip+0x192c58]
0019e0b0lea rdi, [rip+0x193481]
0019e0b7add rdi, 24
0019e0bbmov rbx, rsp
0019e0bemov rsp, [r14+64]
0019e0c2call caml_initialize
0019e0c7mov rsp, rbx
0019e0calea rsi, [rip+0x192c57]
0019e0d1lea rdi, [rip+0x193460]
0019e0d8add rdi, 184
0019e0dfmov rbx, rsp
0019e0e2mov rsp, [r14+64]
0019e0e6call caml_initialize
0019e0ebmov rsp, rbx
0019e0eelea rsi, [rip+0x192c53]
0019e0f5lea rdi, [rip+0x19343c]
0019e0fcmov rbx, rsp
0019e0ffmov rsp, [r14+64]
0019e103call caml_initialize
0019e108mov rsp, rbx
0019e10blea rsi, [rip+0x192c4e]
0019e112lea rdi, [rip+0x19341f]
0019e119add rdi, 8
0019e11dmov rbx, rsp
0019e120mov rsp, [r14+64]
0019e124call caml_initialize
0019e129mov rsp, rbx
0019e12clea rsi, [rip+0x192c45]
0019e133lea rdi, [rip+0x1933fe]
0019e13aadd rdi, 472
0019e141mov rbx, rsp
0019e144mov rsp, [r14+64]
0019e148call caml_initialize
0019e14dmov rsp, rbx
0019e150lea rsi, [rip+0x192c41]
0019e157lea rdi, [rip+0x1933da]
0019e15eadd rdi, 16
0019e162mov rbx, rsp
0019e165mov rsp, [r14+64]
0019e169call caml_initialize
0019e16emov rsp, rbx
0019e171lea rsi, [rip+0x192c38]
0019e178lea rdi, [rip+0x1933b9]
0019e17fadd rdi, 480
0019e186mov rbx, rsp
0019e189mov rsp, [r14+64]
0019e18dcall caml_initialize
0019e192mov rsp, rbx
0019e195lea rsi, [rip+0x192c34]
0019e19clea rdi, [rip+0x193395]
0019e1a3add rdi, 40
0019e1a7mov rbx, rsp
0019e1aamov rsp, [r14+64]
0019e1aecall caml_initialize
0019e1b3mov rsp, rbx
0019e1b6lea rsi, [rip+0x192c33]
0019e1bdlea rdi, [rip+0x193374]
0019e1c4add rdi, 488
0019e1cbmov rbx, rsp
0019e1cemov rsp, [r14+64]
0019e1d2call caml_initialize
0019e1d7mov rsp, rbx
0019e1dalea rsi, [rip+0x192c2f]
0019e1e1lea rdi, [rip+0x193350]
0019e1e8add rdi, 48
0019e1ecmov rbx, rsp
0019e1efmov rsp, [r14+64]
0019e1f3call caml_initialize
0019e1f8mov rsp, rbx
0019e1fblea rsi, [rip+0x192c2e]
0019e202lea rdi, [rip+0x19332f]
0019e209add rdi, 56
0019e20dmov rbx, rsp
0019e210mov rsp, [r14+64]
0019e214call caml_initialize
0019e219mov rsp, rbx
0019e21clea rsi, [rip+0x192c2d]
0019e223lea rdi, [rip+0x19330e]
0019e22aadd rdi, 64
0019e22emov rbx, rsp
0019e231mov rsp, [r14+64]
0019e235call caml_initialize
0019e23amov rsp, rbx
0019e23dlea rsi, [rip+0x192c2c]
0019e244lea rdi, [rip+0x1932ed]
0019e24badd rdi, 72
0019e24fmov rbx, rsp
0019e252mov rsp, [r14+64]
0019e256call caml_initialize
0019e25bmov rsp, rbx
0019e25elea rsi, [rip+0x192c2b]
0019e265lea rdi, [rip+0x1932cc]
0019e26cadd rdi, 80
0019e270mov rbx, rsp
0019e273mov rsp, [r14+64]
0019e277call caml_initialize
0019e27cmov rsp, rbx
0019e27flea rsi, [rip+0x192c2a]
0019e286lea rdi, [rip+0x1932ab]
0019e28dadd rdi, 88
0019e291mov rbx, rsp
0019e294mov rsp, [r14+64]
0019e298call caml_initialize
0019e29dmov rsp, rbx
0019e2a0lea rsi, [rip+0x192c29]
0019e2a7lea rdi, [rip+0x19328a]
0019e2aeadd rdi, 96
0019e2b2mov rbx, rsp
0019e2b5mov rsp, [r14+64]
0019e2b9call caml_initialize
0019e2bemov rsp, rbx
0019e2c1lea rsi, [rip+0x192c28]
0019e2c8lea rdi, [rip+0x193269]
0019e2cfadd rdi, 104
0019e2d3mov rbx, rsp
0019e2d6mov rsp, [r14+64]
0019e2dacall caml_initialize
0019e2dfmov rsp, rbx
0019e2e2lea rsi, [rip+0x192c27]
0019e2e9lea rdi, [rip+0x193248]
0019e2f0add rdi, 112
0019e2f4mov rbx, rsp
0019e2f7mov rsp, [r14+64]
0019e2fbcall caml_initialize
0019e300mov rsp, rbx
0019e303lea rsi, [rip+0x192c26]
0019e30alea rdi, [rip+0x193227]
0019e311add rdi, 120
0019e315mov rbx, rsp
0019e318mov rsp, [r14+64]
0019e31ccall caml_initialize
0019e321mov rsp, rbx
0019e324lea rsi, [rip+0x192c25]
0019e32blea rdi, [rip+0x193206]
0019e332add rdi, 128
0019e339mov rbx, rsp
0019e33cmov rsp, [r14+64]
0019e340call caml_initialize
0019e345mov rsp, rbx
0019e348lea rsi, [rip+0x192c21]
0019e34flea rdi, [rip+0x1931e2]
0019e356add rdi, 136
0019e35dmov rbx, rsp
0019e360mov rsp, [r14+64]
0019e364call caml_initialize
0019e369mov rsp, rbx
0019e36clea rsi, [rip+0x192c1d]
0019e373lea rdi, [rip+0x1931be]
0019e37aadd rdi, 144
0019e381mov rbx, rsp
0019e384mov rsp, [r14+64]
0019e388call caml_initialize
0019e38dmov rsp, rbx
0019e390lea rsi, [rip+0x192c19]
0019e397lea rdi, [rip+0x19319a]
0019e39eadd rdi, 496
0019e3a5mov rbx, rsp
0019e3a8mov rsp, [r14+64]
0019e3accall caml_initialize
0019e3b1mov rsp, rbx
0019e3b4lea rsi, [rip+0x192c15]
0019e3bblea rdi, [rip+0x193176]
0019e3c2add rdi, 176
0019e3c9mov rbx, rsp
0019e3ccmov rsp, [r14+64]
0019e3d0call caml_initialize
0019e3d5mov rsp, rbx
0019e3d8lea rsi, [rip+0x192c11]
0019e3dflea rdi, [rip+0x193152]
0019e3e6add rdi, 192
0019e3edmov rbx, rsp
0019e3f0mov rsp, [r14+64]
0019e3f4call caml_initialize
0019e3f9mov rsp, rbx
0019e3fclea rsi, [rip+0x192c0d]
0019e403lea rdi, [rip+0x19312e]
0019e40aadd rdi, 200
0019e411mov rbx, rsp
0019e414mov rsp, [r14+64]
0019e418call caml_initialize
0019e41dmov rsp, rbx
0019e420lea rsi, [rip+0x192c09]
0019e427lea rdi, [rip+0x19310a]
0019e42eadd rdi, 504
0019e435mov rbx, rsp
0019e438mov rsp, [r14+64]
0019e43ccall caml_initialize
0019e441mov rsp, rbx
0019e444lea rsi, [rip+0x192c05]
0019e44blea rdi, [rip+0x1930e6]
0019e452add rdi, 208
0019e459mov rbx, rsp
0019e45cmov rsp, [r14+64]
0019e460call caml_initialize
0019e465mov rsp, rbx
0019e468lea rsi, [rip+0x192c01]
0019e46flea rdi, [rip+0x1930c2]
0019e476add rdi, 512
0019e47dmov rbx, rsp
0019e480mov rsp, [r14+64]
0019e484call caml_initialize
0019e489mov rsp, rbx
0019e48clea rsi, [rip+0x192bfd]
0019e493lea rdi, [rip+0x19309e]
0019e49aadd rdi, 216
0019e4a1mov rbx, rsp
0019e4a4mov rsp, [r14+64]
0019e4a8call caml_initialize
0019e4admov rsp, rbx
0019e4b0lea rsi, [rip+0x192bf9]
0019e4b7lea rdi, [rip+0x19307a]
0019e4beadd rdi, 520
0019e4c5mov rbx, rsp
0019e4c8mov rsp, [r14+64]
0019e4cccall caml_initialize
0019e4d1mov rsp, rbx
0019e4d4lea rsi, [rip+0x192bf5]
0019e4dblea rdi, [rip+0x193056]
0019e4e2add rdi, 232
0019e4e9mov rbx, rsp
0019e4ecmov rsp, [r14+64]
0019e4f0call caml_initialize
0019e4f5mov rsp, rbx
0019e4f8lea rsi, [rip+0x192bf1]
0019e4fflea rdi, [rip+0x193032]
0019e506add rdi, 528
0019e50dmov rbx, rsp
0019e510mov rsp, [r14+64]
0019e514call caml_initialize
0019e519mov rsp, rbx
0019e51clea rsi, [rip+0x192bed]
0019e523lea rdi, [rip+0x19300e]
0019e52aadd rdi, 256
0019e531mov rbx, rsp
0019e534mov rsp, [r14+64]
0019e538call caml_initialize
0019e53dmov rsp, rbx
0019e540lea rsi, [rip+0x192be9]
0019e547lea rdi, [rip+0x192fea]
0019e54eadd rdi, 536
0019e555mov rbx, rsp
0019e558mov rsp, [r14+64]
0019e55ccall caml_initialize
0019e561mov rsp, rbx
0019e564lea rsi, [rip+0x192be5]
0019e56blea rdi, [rip+0x192fc6]
0019e572add rdi, 264
0019e579mov rbx, rsp
0019e57cmov rsp, [r14+64]
0019e580call caml_initialize
0019e585mov rsp, rbx
0019e588lea rsi, [rip+0x192be1]
0019e58flea rdi, [rip+0x192fa2]
0019e596add rdi, 544
0019e59dmov rbx, rsp
0019e5a0mov rsp, [r14+64]
0019e5a4call caml_initialize
0019e5a9mov rsp, rbx
0019e5aclea rsi, [rip+0x192bdd]
0019e5b3lea rdi, [rip+0x192f7e]
0019e5baadd rdi, 272
0019e5c1mov rbx, rsp
0019e5c4mov rsp, [r14+64]
0019e5c8call caml_initialize
0019e5cdmov rsp, rbx
0019e5d0lea rsi, [rip+0x192bd9]
0019e5d7lea rdi, [rip+0x192f5a]
0019e5deadd rdi, 280
0019e5e5mov rbx, rsp
0019e5e8mov rsp, [r14+64]
0019e5eccall caml_initialize
0019e5f1mov rsp, rbx
0019e5f4lea rsi, [rip+0x192bd5]
0019e5fblea rdi, [rip+0x192f36]
0019e602add rdi, 288
0019e609mov rbx, rsp
0019e60cmov rsp, [r14+64]
0019e610call caml_initialize
0019e615mov rsp, rbx
0019e618lea rsi, [rip+0x192bd1]
0019e61flea rdi, [rip+0x192f12]
0019e626add rdi, 296
0019e62dmov rbx, rsp
0019e630mov rsp, [r14+64]
0019e634call caml_initialize
0019e639mov rsp, rbx
0019e63cmov edi, 1
0019e641mov rbx, rsp
0019e644mov rsp, [r14+64]
0019e648call caml_fresh_oo_id
0019e64dmov rsp, rbx
0019e650call caml_alloc2
0019e655lea rsi, [r15+8]
0019e659mov [rsi-8], 2296
0019e661lea rbx, [rip+0x1931c0]
0019e668mov [rsi], rbx
0019e66bmov [rsi+8], rax
0019e66flea rdi, [rip+0x192ec2]
0019e676add rdi, 312
0019e67dmov rbx, rsp
0019e680mov rsp, [r14+64]
0019e684call caml_initialize
0019e689mov rsp, rbx
0019e68clea rax, [rip+0x1922a5]
0019e693mov rsi, [rax+40]
0019e697lea rdi, [rip+0x192e9a]
0019e69eadd rdi, 640
0019e6a5mov rbx, rsp
0019e6a8mov rsp, [r14+64]
0019e6accall caml_initialize
0019e6b1mov rsp, rbx
0019e6b4lea rsi, [rip+0x192b55]
0019e6bblea rdi, [rip+0x192e76]
0019e6c2add rdi, 648
0019e6c9mov rbx, rsp
0019e6ccmov rsp, [r14+64]
0019e6d0call caml_initialize
0019e6d5mov rsp, rbx
0019e6d8lea rsi, [rip+0x192b49]
0019e6dflea rdi, [rip+0x192e52]
0019e6e6add rdi, 656
0019e6edmov rbx, rsp
0019e6f0mov rsp, [r14+64]
0019e6f4call caml_initialize
0019e6f9mov rsp, rbx
0019e6fclea rsi, [rip+0x192b3d]
0019e703lea rdi, [rip+0x192e2e]
0019e70aadd rdi, 664
0019e711mov rbx, rsp
0019e714mov rsp, [r14+64]
0019e718call caml_initialize
0019e71dmov rsp, rbx
0019e720lea rsi, [rip+0x192b31]
0019e727lea rdi, [rip+0x192e0a]
0019e72eadd rdi, 672
0019e735mov rbx, rsp
0019e738mov rsp, [r14+64]
0019e73ccall caml_initialize
0019e741mov rsp, rbx
0019e744sub r15, 48
0019e748call caml_allocN
0019e74dlea rsi, [r15+8]
0019e751mov [rsi-8], 5120
0019e759lea rdi, [rip+0x192dd8]
0019e760mov rax, [rdi+640]
0019e767mov [rsi], rax
0019e76amov rax, [rdi+648]
0019e771mov [rsi+8], rax
0019e775mov rax, [rdi+656]
0019e77cmov [rsi+16], rax
0019e780mov rax, [rdi+664]
0019e787mov [rsi+24], rax
0019e78bmov rax, [rdi+672]
0019e792mov [rsi+32], rax
0019e796add rdi, 552
0019e79dmov rbx, rsp
0019e7a0mov rsp, [r14+64]
0019e7a4call caml_initialize
0019e7a9mov rsp, rbx
0019e7aclea rsi, [rip+0x192abd]
0019e7b3lea rdi, [rip+0x192d7e]
0019e7baadd rdi, 304
0019e7c1mov rbx, rsp
0019e7c4mov rsp, [r14+64]
0019e7c8call caml_initialize
0019e7cdmov rsp, rbx
0019e7d0lea rsi, [rip+0x192ab1]
0019e7d7lea rdi, [rip+0x192d5a]
0019e7deadd rdi, 320
0019e7e5mov rbx, rsp
0019e7e8mov rsp, [r14+64]
0019e7eccall caml_initialize
0019e7f1mov rsp, rbx
0019e7f4lea rsi, [rip+0x192aa5]
0019e7fblea rdi, [rip+0x192d36]
0019e802add rdi, 368
0019e809mov rbx, rsp
0019e80cmov rsp, [r14+64]
0019e810call caml_initialize
0019e815mov rsp, rbx
0019e818lea rsi, [rip+0x192aa1]
0019e81flea rdi, [rip+0x192d12]
0019e826add rdi, 376
0019e82dmov rbx, rsp
0019e830mov rsp, [r14+64]
0019e834call caml_initialize
0019e839mov rsp, rbx
0019e83clea rsi, [rip+0x192a9d]
0019e843lea rdi, [rip+0x192cee]
0019e84aadd rdi, 384
0019e851mov rbx, rsp
0019e854mov rsp, [r14+64]
0019e858call caml_initialize
0019e85dmov rsp, rbx
0019e860lea r12, [rip+0x192a99]
0019e867lea rdi, [rip+0x192cca]
0019e86eadd rdi, 560
0019e875mov rsi, r12
0019e878mov rbx, rsp
0019e87bmov rsp, [r14+64]
0019e87fcall caml_initialize
0019e884mov rsp, rbx
0019e887mov rsi, r12
0019e88aadd rsi, 32
0019e88elea rdi, [rip+0x192ca3]
0019e895add rdi, 568
0019e89cmov rbx, rsp
0019e89fmov rsp, [r14+64]
0019e8a3call caml_initialize
0019e8a8mov rsp, rbx
0019e8abmov rsi, r12
0019e8aeadd rsi, 64
0019e8b2lea rdi, [rip+0x192c7f]
0019e8b9add rdi, 576
0019e8c0mov rbx, rsp
0019e8c3mov rsp, [r14+64]
0019e8c7call caml_initialize
0019e8ccmov rsp, rbx
0019e8cflea rsi, [rip+0x192a8a]
0019e8d6lea rdi, [rip+0x192c5b]
0019e8ddadd rdi, 392
0019e8e4mov rbx, rsp
0019e8e7mov rsp, [r14+64]
0019e8ebcall caml_initialize
0019e8f0mov rsp, rbx
0019e8f3lea rsi, [rip+0x192a86]
0019e8falea rdi, [rip+0x192c37]
0019e901add rdi, 584
0019e908mov rbx, rsp
0019e90bmov rsp, [r14+64]
0019e90fcall caml_initialize
0019e914mov rsp, rbx
0019e917lea rsi, [rip+0x192a82]
0019e91elea rdi, [rip+0x192c13]
0019e925add rdi, 592
0019e92cmov rbx, rsp
0019e92fmov rsp, [r14+64]
0019e933call caml_initialize
0019e938mov rsp, rbx
0019e93blea rsi, [rip+0x192a7e]
0019e942lea rdi, [rip+0x192bef]
0019e949add rdi, 416
0019e950mov rbx, rsp
0019e953mov rsp, [r14+64]
0019e957call caml_initialize
0019e95cmov rsp, rbx
0019e95flea rdi, [rip+0x192bd2]
0019e966mov rsi, [rdi+416]
0019e96dadd rdi, 424
0019e974mov rbx, rsp
0019e977mov rsp, [r14+64]
0019e97bcall caml_initialize
0019e980mov rsp, rbx
0019e983lea rsi, [rip+0x192a4e]
0019e98alea rdi, [rip+0x192ba7]
0019e991add rdi, 600
0019e998mov rbx, rsp
0019e99bmov rsp, [r14+64]
0019e99fcall caml_initialize
0019e9a4mov rsp, rbx
0019e9a7lea rsi, [rip+0x192a4a]
0019e9aelea rdi, [rip+0x192b83]
0019e9b5add rdi, 608
0019e9bcmov rbx, rsp
0019e9bfmov rsp, [r14+64]
0019e9c3call caml_initialize
0019e9c8mov rsp, rbx
0019e9cblea rsi, [rip+0x192a46]
0019e9d2lea rdi, [rip+0x192b5f]
0019e9d9add rdi, 432
0019e9e0mov rbx, rsp
0019e9e3mov rsp, [r14+64]
0019e9e7call caml_initialize
0019e9ecmov rsp, rbx
0019e9eflea rsi, [rip+0x192a42]
0019e9f6lea rdi, [rip+0x192b3b]
0019e9fdadd rdi, 440
0019ea04mov rbx, rsp
0019ea07mov rsp, [r14+64]
0019ea0bcall caml_initialize
0019ea10mov rsp, rbx
0019ea13lea rsi, [rip+0x192a3e]
0019ea1alea rdi, [rip+0x192b17]
0019ea21add rdi, 616
0019ea28mov rbx, rsp
0019ea2bmov rsp, [r14+64]
0019ea2fcall caml_initialize
0019ea34mov rsp, rbx
0019ea37lea rsi, [rip+0x192a32]
0019ea3elea rdi, [rip+0x192af3]
0019ea45add rdi, 328
0019ea4cmov rbx, rsp
0019ea4fmov rsp, [r14+64]
0019ea53call caml_initialize
0019ea58mov rsp, rbx
0019ea5blea rsi, [rip+0x192a2e]
0019ea62lea rdi, [rip+0x192acf]
0019ea69add rdi, 624
0019ea70mov rbx, rsp
0019ea73mov rsp, [r14+64]
0019ea77call caml_initialize
0019ea7cmov rsp, rbx
0019ea7flea rsi, [rip+0x192a2a]
0019ea86lea rdi, [rip+0x192aab]
0019ea8dadd rdi, 632
0019ea94mov rbx, rsp
0019ea97mov rsp, [r14+64]
0019ea9bcall caml_initialize
0019eaa0mov rsp, rbx
0019eaa3lea rsi, [rip+0x192a1e]
0019eaaalea rdi, [rip+0x192a87]
0019eab1add rdi, 408
0019eab8mov rbx, rsp
0019eabbmov rsp, [r14+64]
0019eabfcall caml_initialize
0019eac4mov rsp, rbx
0019eac7lea rsi, [rip+0x192a1a]
0019eacelea rdi, [rip+0x192a63]
0019ead5add rdi, 400
0019eadcmov rbx, rsp
0019eadfmov rsp, [r14+64]
0019eae3call caml_initialize
0019eae8mov rsp, rbx
0019eaeblea rsi, [rip+0x192a16]
0019eaf2lea rdi, [rip+0x192a3f]
0019eaf9add rdi, 448
0019eb00mov rbx, rsp
0019eb03mov rsp, [r14+64]
0019eb07call caml_initialize
0019eb0cmov rsp, rbx
0019eb0flea rsi, [rip+0x192a0a]
0019eb16lea rdi, [rip+0x192a1b]
0019eb1dadd rdi, 456
0019eb24mov rbx, rsp
0019eb27mov rsp, [r14+64]
0019eb2bcall caml_initialize
0019eb30mov rsp, rbx
0019eb33lea rsi, [rip+0x192056]
0019eb3alea rdi, [rip+0x1929f7]
0019eb41add rdi, 464
0019eb48mov rbx, rsp
0019eb4bmov rsp, [r14+64]
0019eb4fcall caml_initialize
0019eb54mov rsp, rbx
0019eb57mov eax, 1
0019eb5cret
0019df20

0019eb5d
0019eb5d // align 0x10

0019eb60
0019eb60Stdlib.Char.chr:
0019eb60cmp rax, 1
0019eb64jl 0x19eb70
0019eb66cmp rax, 511
0019eb6cjg 0x19eb70
0019eb6eret
0019eb6f
0019eb6f 90 .
0019eb70
0019eb70loc_19eb70:
0019eb70lea rax, [rip+0x1954c1]
0019eb77jmp 0x195ab0
0019eb60

0019eb7c
0019eb7c // align 0x10

0019eb80
0019eb80Stdlib.Char.escaped:
0019eb80sub rsp, 8
0019eb84cmp rax, 81
0019eb88jl 0x19ebb4
0019eb8acmp rax, 185
0019eb90je 0x19eba8
0019eb92mov [rsp], rax
0019eb96cmp rax, 255
0019eb9cjl 0x19ece4
0019eba2jmp 0x19ec28
0019eba7nop
0019eba8
0019eba8loc_19eba8:
0019eba8lea rax, [rip+0x195479]
0019ebafadd rsp, 8
0019ebb3ret
0019ebb4
0019ebb4loc_19ebb4:
0019ebb4cmp rax, 65
0019ebb8jl 0x19ebd8
0019ebbacmp rax, 79
0019ebbejl 0x19ebcc
0019ebc0lea rax, [rip+0x195451]
0019ebc7add rsp, 8
0019ebcbret
0019ebcc
0019ebccloc_19ebcc:
0019ebccmov [rsp], rax
0019ebd0jmp 0x19ece4
0019ebd5nop [rax]
0019ebd8
0019ebd8loc_19ebd8:
0019ebd8mov [rsp], rax
0019ebdccmp rax, 29
0019ebe0jge 0x19ec28
0019ebe2sar rax, 1
0019ebe5lea rdx, [rip+0x8ec44]
0019ebecmovsxd rax, [rdx+4*rax]
0019ebf0add rdx, rax
0019ebf3jmp rdx
0019ebf5nop [rax]
0019ebf8lea rax, [rip+0x195409]
0019ebffadd rsp, 8
0019ec03ret
0019ec04lea rax, [rip+0x1953ed]
0019ec0badd rsp, 8
0019ec0fret
0019ec10lea rax, [rip+0x1953d1]
0019ec17add rsp, 8
0019ec1bret
0019ec1clea rax, [rip+0x1953b5]
0019ec23add rsp, 8
0019ec27ret
0019ec28
0019ec28loc_19ec28:
0019ec28mov edi, 9
0019ec2dlea rax, [rip+0x823fc]
0019ec34call caml_c_call
0019ec39mov rdi, rax
0019ec3cmov eax, 92
0019ec41mov [rdi], al
0019ec43mov rsi, [rsp]
0019ec47sar rsi, 1
0019ec4amov rcx, rsi
0019ec4dshr rcx, 63
0019ec51mov rbx, 0xa3d70a3d70a3d70b
0019ec5bmov rax, rsi
0019ec5eimul rbx
0019ec61add rdx, rsi
0019ec64sar rdx, 6
0019ec68add rdx, rcx
0019ec6blea rax, [rdx+rdx+97]
0019ec70sar rax, 1
0019ec73mov [rdi+1], al
0019ec76mov rbx, 0x6666666666666667
0019ec80mov rax, rsi
0019ec83imul rbx
0019ec86mov rbx, rdx
0019ec89sar rbx, 2
0019ec8dadd rbx, rcx
0019ec90mov rcx, rbx
0019ec93shl rcx, 1
0019ec96sar rcx, 1
0019ec99mov r8, rcx
0019ec9cshr r8, 63
0019eca0mov rdx, 0x6666666666666667
0019ecaamov rax, rcx
0019ecadimul rdx
0019ecb0sar rdx, 2
0019ecb4add rdx, r8
0019ecb7imul rdx, rdx, 10
0019ecbbsub rcx, rdx
0019ecbelea rax, [rcx+rcx+97]
0019ecc3sar rax, 1
0019ecc6mov [rdi+2], al
0019ecc9imul rbx, rbx, 10
0019eccdsub rsi, rbx
0019ecd0lea rax, [rsi+rsi+97]
0019ecd5sar rax, 1
0019ecd8mov [rdi+3], al
0019ecdbmov rax, rdi
0019ecdeadd rsp, 8
0019ece2ret
0019ece3nop
0019ece4
0019ece4loc_19ece4:
0019ece4mov edi, 3
0019ece9lea rax, [rip+0x82340]
0019ecf0call caml_c_call
0019ecf5mov rbx, [rsp]
0019ecf9sar rbx, 1
0019ecfcmov [rax], bl
0019ecfeadd rsp, 8
0019ed02ret
0019eb80

0019ed03
0019ed03 // align 0x10

0019ed10
0019ed10Stdlib.Char.lowercase_ascii:
0019ed10mov rbx, rax
0019ed13add rbx, -130
0019ed1acmp rbx, 51
0019ed1ejbe 0x19ed24
0019ed20ret
0019ed21
0019ed21 0f 1f 00 ...
0019ed24
0019ed24loc_19ed24:
0019ed24add rax, 64
0019ed28ret
0019ed10

0019ed29
0019ed29 // align 0x10

0019ed30
0019ed30Stdlib.Char.uppercase_ascii:
0019ed30mov rbx, rax
0019ed33add rbx, -194
0019ed3acmp rbx, 51
0019ed3ejbe 0x19ed44
0019ed40ret
0019ed41
0019ed41 0f 1f 00 ...
0019ed44
0019ed44loc_19ed44:
0019ed44add rax, -64
0019ed48ret
0019ed30

0019ed49
0019ed49 // align 0x10

0019ed50
0019ed50Stdlib.Char.compare:
0019ed50sub rax, rbx
0019ed53inc rax
0019ed56ret
0019ed50

0019ed57
0019ed57 // align 0x10

0019ed60
0019ed60Stdlib.Char.equal:
0019ed60sub rax, rbx
0019ed63inc rax
0019ed66cmp rax, 1
0019ed6asete al
0019ed6dmovzx rax, al
0019ed71lea rax, [rax+rax+1]
0019ed76ret
0019ed60

0019ed77
0019ed77 // align 0x10

0019ed80
0019ed80Stdlib.Char.seeded_hash:
0019ed80mov esi, 201
0019ed85mov edi, 21
0019ed8amov rdx, rax
0019ed8dmov rcx, rbx
0019ed90mov rbx, rsp
0019ed93mov rsp, [r14+64]
0019ed97call caml_hash
0019ed9cmov rsp, rbx
0019ed9fret
0019ed80