Similarity

001a3c40
001a3c40Stdlib.List.sort:
001a3c40lea r10, [rsp-360]
001a3c48cmp r10, [r14+40]
001a3c4cjb 0x1a446c
001a3c52
001a3c52loc_1a3c52:
001a3c52sub rsp, 40
001a3c56mov rdx, rax
001a3c59mov rsi, rbx
001a3c5ccmp rdx, 5
001a3c60je 0x1a41ec
001a3c66mov [rsp+16], rdi
001a3c6bcmp rdx, 7
001a3c6fjne 0x1a4328
001a3c75test sil, 1
001a3c79jne 0x1a4328
001a3c7fmov rax, [rsi+8]
001a3c83test al, 1
001a3c85jne 0x1a4328
001a3c8bmov rbx, [rax+8]
001a3c8ftest bl, 1
001a3c92jne 0x1a4328
001a3c98mov [rsp], rbx
001a3c9cmov rbx, [rbx]
001a3c9fmov [rsp+24], rbx
001a3ca4mov rbx, [rax]
001a3ca7mov [rsp+32], rbx
001a3cacmov rax, [rsi]
001a3cafmov [rsp+8], rax
001a3cb4mov rdi, [rdi+56]
001a3cb8call caml_apply2
001a3cbdcmp rax, 1
001a3cc1jne 0x1a3db0
001a3cc7mov rax, [rsp+16]
001a3cccmov rdi, [rax+56]
001a3cd0mov rax, [rsp+32]
001a3cd5mov rbx, [rsp+24]
001a3cdacall caml_apply2
001a3cdfcmp rax, 1
001a3ce3jne 0x1a3d14
001a3ce5sub r15, 24
001a3ce9cmp r15, [r14]
001a3cecjb 0x1a4462
001a3cf2
001a3cf2loc_1a3cf2:
001a3cf2lea rbx, [r15+8]
001a3cf6mov [rbx-8], 2048
001a3cfemov rax, [rsp+32]
001a3d03mov [rbx], rax
001a3d06mov [rbx+8], 1
001a3d0ejmp 0x1a41bd
001a3d13
001a3d13 90 .
001a3d14
001a3d14loc_1a3d14:
001a3d14cmp rax, 1
001a3d18jge 0x1a3d64
001a3d1asub r15, 48
001a3d1ecmp r15, [r14]
001a3d21jb 0x1a4458
001a3d27
001a3d27loc_1a3d27:
001a3d27lea rax, [r15+8]
001a3d2badd rax, 24
001a3d2fmov [rax-8], 2048
001a3d37mov rbx, [rsp+24]
001a3d3cmov [rax], rbx
001a3d3fmov [rax+8], 1
001a3d47lea rbx, [rax-24]
001a3d4bmov [rbx-8], 2048
001a3d53mov rdi, [rsp+32]
001a3d58mov [rbx], rdi
001a3d5bmov [rbx+8], rax
001a3d5fjmp 0x1a41bd
001a3d64
001a3d64loc_1a3d64:
001a3d64sub r15, 48
001a3d68cmp r15, [r14]
001a3d6bjb 0x1a444e
001a3d71
001a3d71loc_1a3d71:
001a3d71lea rax, [r15+8]
001a3d75add rax, 24
001a3d79mov [rax-8], 2048
001a3d81mov rbx, [rsp+32]
001a3d86mov [rax], rbx
001a3d89mov [rax+8], 1
001a3d91lea rbx, [rax-24]
001a3d95mov [rbx-8], 2048
001a3d9dmov rdi, [rsp+24]
001a3da2mov [rbx], rdi
001a3da5mov [rbx+8], rax
001a3da9jmp 0x1a41bd
001a3dae
001a3dae 66 90 f.
001a3db0
001a3db0loc_1a3db0:
001a3db0cmp rax, 1
001a3db4jge 0x1a3fc0
001a3dbamov rax, [rsp+16]
001a3dbfmov rdi, [rax+56]
001a3dc3mov rax, [rsp+32]
001a3dc8mov rbx, [rsp+24]
001a3dcdcall caml_apply2
001a3dd2cmp rax, 1
001a3dd6jne 0x1a3e24
001a3dd8sub r15, 48
001a3ddccmp r15, [r14]
001a3ddfjb 0x1a4444
001a3de5
001a3de5loc_1a3de5:
001a3de5lea rax, [r15+8]
001a3de9add rax, 24
001a3dedmov [rax-8], 2048
001a3df5mov rbx, [rsp+32]
001a3dfamov [rax], rbx
001a3dfdmov [rax+8], 1
001a3e05lea rbx, [rax-24]
001a3e09mov [rbx-8], 2048
001a3e11mov rdi, [rsp+8]
001a3e16mov [rbx], rdi
001a3e19mov [rbx+8], rax
001a3e1djmp 0x1a41bd
001a3e22
001a3e22 66 90 f.
001a3e24
001a3e24loc_1a3e24:
001a3e24cmp rax, 1
001a3e28jge 0x1a3e8c
001a3e2asub r15, 72
001a3e2ecmp r15, [r14]
001a3e31jb 0x1a443a
001a3e37
001a3e37loc_1a3e37:
001a3e37lea rax, [r15+8]
001a3e3badd rax, 48
001a3e3fmov [rax-8], 2048
001a3e47mov rbx, [rsp+24]
001a3e4cmov [rax], rbx
001a3e4fmov [rax+8], 1
001a3e57lea rdi, [rax-24]
001a3e5bmov [rdi-8], 2048
001a3e63mov rbx, [rsp+32]
001a3e68mov [rdi], rbx
001a3e6bmov [rdi+8], rax
001a3e6flea rbx, [rdi-24]
001a3e73mov [rbx-8], 2048
001a3e7bmov rax, [rsp+8]
001a3e80mov [rbx], rax
001a3e83mov [rbx+8], rdi
001a3e87jmp 0x1a41bd
001a3e8c
001a3e8cloc_1a3e8c:
001a3e8cmov rax, [rsp+16]
001a3e91mov rdi, [rax+56]
001a3e95mov rax, [rsp+8]
001a3e9amov rbx, [rsp+24]
001a3e9fcall caml_apply2
001a3ea4cmp rax, 1
001a3ea8jne 0x1a3ef4
001a3eaasub r15, 48
001a3eaecmp r15, [r14]
001a3eb1jb 0x1a4430
001a3eb7
001a3eb7loc_1a3eb7:
001a3eb7lea rax, [r15+8]
001a3ebbadd rax, 24
001a3ebfmov [rax-8], 2048
001a3ec7mov rbx, [rsp+32]
001a3eccmov [rax], rbx
001a3ecfmov [rax+8], 1
001a3ed7lea rbx, [rax-24]
001a3edbmov [rbx-8], 2048
001a3ee3mov rdi, [rsp+8]
001a3ee8mov [rbx], rdi
001a3eebmov [rbx+8], rax
001a3eefjmp 0x1a41bd
001a3ef4
001a3ef4loc_1a3ef4:
001a3ef4cmp rax, 1
001a3ef8jge 0x1a3f5c
001a3efasub r15, 72
001a3efecmp r15, [r14]
001a3f01jb 0x1a4426
001a3f07
001a3f07loc_1a3f07:
001a3f07lea rax, [r15+8]
001a3f0badd rax, 48
001a3f0fmov [rax-8], 2048
001a3f17mov rbx, [rsp+32]
001a3f1cmov [rax], rbx
001a3f1fmov [rax+8], 1
001a3f27lea rdi, [rax-24]
001a3f2bmov [rdi-8], 2048
001a3f33mov rbx, [rsp+24]
001a3f38mov [rdi], rbx
001a3f3bmov [rdi+8], rax
001a3f3flea rbx, [rdi-24]
001a3f43mov [rbx-8], 2048
001a3f4bmov rax, [rsp+8]
001a3f50mov [rbx], rax
001a3f53mov [rbx+8], rdi
001a3f57jmp 0x1a41bd
001a3f5c
001a3f5cloc_1a3f5c:
001a3f5csub r15, 72
001a3f60cmp r15, [r14]
001a3f63jb 0x1a441c
001a3f69
001a3f69loc_1a3f69:
001a3f69lea rax, [r15+8]
001a3f6dadd rax, 48
001a3f71mov [rax-8], 2048
001a3f79mov rbx, [rsp+32]
001a3f7emov [rax], rbx
001a3f81mov [rax+8], 1
001a3f89lea rdi, [rax-24]
001a3f8dmov [rdi-8], 2048
001a3f95mov rbx, [rsp+8]
001a3f9amov [rdi], rbx
001a3f9dmov [rdi+8], rax
001a3fa1lea rbx, [rdi-24]
001a3fa5mov [rbx-8], 2048
001a3fadmov rax, [rsp+24]
001a3fb2mov [rbx], rax
001a3fb5mov [rbx+8], rdi
001a3fb9jmp 0x1a41bd
001a3fbe
001a3fbe 66 90 f.
001a3fc0
001a3fc0loc_1a3fc0:
001a3fc0mov rax, [rsp+16]
001a3fc5mov rdi, [rax+56]
001a3fc9mov rax, [rsp+8]
001a3fcemov rbx, [rsp+24]
001a3fd3call caml_apply2
001a3fd8cmp rax, 1
001a3fdcjne 0x1a4028
001a3fdesub r15, 48
001a3fe2cmp r15, [r14]
001a3fe5jb 0x1a4412
001a3feb
001a3febloc_1a3feb:
001a3feblea rax, [r15+8]
001a3fefadd rax, 24
001a3ff3mov [rax-8], 2048
001a3ffbmov rbx, [rsp+8]
001a4000mov [rax], rbx
001a4003mov [rax+8], 1
001a400blea rbx, [rax-24]
001a400fmov [rbx-8], 2048
001a4017mov rdi, [rsp+32]
001a401cmov [rbx], rdi
001a401fmov [rbx+8], rax
001a4023jmp 0x1a41bd
001a4028
001a4028loc_1a4028:
001a4028cmp rax, 1
001a402cjge 0x1a4090
001a402esub r15, 72
001a4032cmp r15, [r14]
001a4035jb 0x1a4408
001a403b
001a403bloc_1a403b:
001a403blea rax, [r15+8]
001a403fadd rax, 48
001a4043mov [rax-8], 2048
001a404bmov rbx, [rsp+24]
001a4050mov [rax], rbx
001a4053mov [rax+8], 1
001a405blea rdi, [rax-24]
001a405fmov [rdi-8], 2048
001a4067mov rbx, [rsp+8]
001a406cmov [rdi], rbx
001a406fmov [rdi+8], rax
001a4073lea rbx, [rdi-24]
001a4077mov [rbx-8], 2048
001a407fmov rax, [rsp+32]
001a4084mov [rbx], rax
001a4087mov [rbx+8], rdi
001a408bjmp 0x1a41bd
001a4090
001a4090loc_1a4090:
001a4090mov rax, [rsp+16]
001a4095mov rdi, [rax+56]
001a4099mov rax, [rsp+32]
001a409emov rbx, [rsp+24]
001a40a3call caml_apply2
001a40a8cmp rax, 1
001a40acjne 0x1a40f8
001a40aesub r15, 48
001a40b2cmp r15, [r14]
001a40b5jb 0x1a43fe
001a40bb
001a40bbloc_1a40bb:
001a40bblea rax, [r15+8]
001a40bfadd rax, 24
001a40c3mov [rax-8], 2048
001a40cbmov rbx, [rsp+8]
001a40d0mov [rax], rbx
001a40d3mov [rax+8], 1
001a40dblea rbx, [rax-24]
001a40dfmov [rbx-8], 2048
001a40e7mov rdi, [rsp+32]
001a40ecmov [rbx], rdi
001a40efmov [rbx+8], rax
001a40f3jmp 0x1a41bd
001a40f8
001a40f8loc_1a40f8:
001a40f8cmp rax, 1
001a40fcjge 0x1a4160
001a40fesub r15, 72
001a4102cmp r15, [r14]
001a4105jb 0x1a43f4
001a410b
001a410bloc_1a410b:
001a410blea rax, [r15+8]
001a410fadd rax, 48
001a4113mov [rax-8], 2048
001a411bmov rbx, [rsp+8]
001a4120mov [rax], rbx
001a4123mov [rax+8], 1
001a412blea rdi, [rax-24]
001a412fmov [rdi-8], 2048
001a4137mov rbx, [rsp+24]
001a413cmov [rdi], rbx
001a413fmov [rdi+8], rax
001a4143lea rbx, [rdi-24]
001a4147mov [rbx-8], 2048
001a414fmov rax, [rsp+32]
001a4154mov [rbx], rax
001a4157mov [rbx+8], rdi
001a415bjmp 0x1a41bd
001a415d
001a415d 0f 1f 00 ...
001a4160
001a4160loc_1a4160:
001a4160sub r15, 72
001a4164cmp r15, [r14]
001a4167jb 0x1a43ea
001a416d
001a416dloc_1a416d:
001a416dlea rax, [r15+8]
001a4171add rax, 48
001a4175mov [rax-8], 2048
001a417dmov rbx, [rsp+8]
001a4182mov [rax], rbx
001a4185mov [rax+8], 1
001a418dlea rdi, [rax-24]
001a4191mov [rdi-8], 2048
001a4199mov rbx, [rsp+32]
001a419emov [rdi], rbx
001a41a1mov [rdi+8], rax
001a41a5lea rbx, [rdi-24]
001a41a9mov [rbx-8], 2048
001a41b1mov rax, [rsp+24]
001a41b6mov [rbx], rax
001a41b9mov [rbx+8], rdi
001a41bd
001a41bdloc_1a41bd:
001a41bdsub r15, 24
001a41c1cmp r15, [r14]
001a41c4jb 0x1a43e0
001a41ca
001a41caloc_1a41ca:
001a41calea rax, [r15+8]
001a41cemov [rax-8], 2048
001a41d6mov [rax], rbx
001a41d9mov rbx, [rsp]
001a41ddmov rbx, [rbx+8]
001a41e1mov [rax+8], rbx
001a41e5add rsp, 40
001a41e9ret
001a41ea
001a41ea 66 90 f.
001a41ec
001a41ecloc_1a41ec:
001a41ectest sil, 1
001a41f0je 0x1a41fc
001a41f2mov [rsp+16], rdi
001a41f7jmp 0x1a4328
001a41fc
001a41fcloc_1a41fc:
001a41fcmov rax, [rsi+8]
001a4200test al, 1
001a4202je 0x1a4210
001a4204mov [rsp+16], rdi
001a4209jmp 0x1a4328
001a420e
001a420e 66 90 f.
001a4210
001a4210loc_1a4210:
001a4210mov [rsp], rax
001a4214mov rbx, [rax]
001a4217mov [rsp+8], rbx
001a421cmov rax, [rsi]
001a421fmov [rsp+16], rax
001a4224mov rdi, [rdi+56]
001a4228call caml_apply2
001a422dcmp rax, 1
001a4231jne 0x1a4264
001a4233sub r15, 24
001a4237cmp r15, [r14]
001a423ajb 0x1a43d6
001a4240
001a4240loc_1a4240:
001a4240lea rbx, [r15+8]
001a4244mov [rbx-8], 2048
001a424cmov rax, [rsp+16]
001a4251mov [rbx], rax
001a4254mov [rbx+8], 1
001a425cjmp 0x1a42f9
001a4261
001a4261 0f 1f 00 ...
001a4264
001a4264loc_1a4264:
001a4264cmp rax, 1
001a4268jge 0x1a42b4
001a426asub r15, 48
001a426ecmp r15, [r14]
001a4271jb 0x1a43cc
001a4277
001a4277loc_1a4277:
001a4277lea rax, [r15+8]
001a427badd rax, 24
001a427fmov [rax-8], 2048
001a4287mov rbx, [rsp+8]
001a428cmov [rax], rbx
001a428fmov [rax+8], 1
001a4297lea rbx, [rax-24]
001a429bmov [rbx-8], 2048
001a42a3mov rdi, [rsp+16]
001a42a8mov [rbx], rdi
001a42abmov [rbx+8], rax
001a42afjmp 0x1a42f9
001a42b1
001a42b1 0f 1f 00 ...
001a42b4
001a42b4loc_1a42b4:
001a42b4sub r15, 48
001a42b8cmp r15, [r14]
001a42bbjb 0x1a43c2
001a42c1
001a42c1loc_1a42c1:
001a42c1lea rax, [r15+8]
001a42c5add rax, 24
001a42c9mov [rax-8], 2048
001a42d1mov rbx, [rsp+16]
001a42d6mov [rax], rbx
001a42d9mov [rax+8], 1
001a42e1lea rbx, [rax-24]
001a42e5mov [rbx-8], 2048
001a42edmov rdi, [rsp+8]
001a42f2mov [rbx], rdi
001a42f5mov [rbx+8], rax
001a42f9
001a42f9loc_1a42f9:
001a42f9sub r15, 24
001a42fdcmp r15, [r14]
001a4300jb 0x1a43b8
001a4306
001a4306loc_1a4306:
001a4306lea rax, [r15+8]
001a430amov [rax-8], 2048
001a4312mov [rax], rbx
001a4315mov rbx, [rsp]
001a4319mov rbx, [rbx+8]
001a431dmov [rax+8], rbx
001a4321add rsp, 40
001a4325ret
001a4326
001a4326 66 90 f.
001a4328
001a4328loc_1a4328:
001a4328mov rax, rdx
001a432bsar rax, 1
001a432eor rax, 1
001a4332sub rdx, rax
001a4335inc rdx
001a4338mov [rsp], rdx
001a433cadd rdi, 32
001a4340mov rbx, rsi
001a4343call Stdlib.List.rev_sort
001a4348mov [rsp+8], rax
001a434dmov rdi, [rsp+16]
001a4352add rdi, 32
001a4356mov rbx, [rax+8]
001a435amov rax, [rsp]
001a435ecall Stdlib.List.rev_sort
001a4363mov [rsp], rax
001a4367mov rbx, [rax]
001a436amov rax, [rsp+8]
001a436fmov rax, [rax]
001a4372mov rdi, [rsp+16]
001a4377mov rsi, [rdi+72]
001a437bmov edi, 1
001a4380call Stdlib.List.rev_merge_rev
001a4385sub r15, 24
001a4389cmp r15, [r14]
001a438cjb 0x1a43b1
001a438e
001a438eloc_1a438e:
001a438elea rbx, [r15+8]
001a4392mov [rbx-8], 2048
001a439amov [rbx], rax
001a439dmov rax, [rsp]
001a43a1mov rax, [rax+8]
001a43a5mov [rbx+8], rax
001a43a9mov rax, rbx
001a43acadd rsp, 40
001a43b0ret
001a43b1
001a43b1loc_1a43b1:
001a43b1call caml_call_gc
001a43b6jmp 0x1a438e
001a43b8
001a43b8loc_1a43b8:
001a43b8call caml_call_gc
001a43bdjmp 0x1a4306
001a43c2
001a43c2loc_1a43c2:
001a43c2call caml_call_gc
001a43c7jmp 0x1a42c1
001a43cc
001a43ccloc_1a43cc:
001a43cccall caml_call_gc
001a43d1jmp 0x1a4277
001a43d6
001a43d6loc_1a43d6:
001a43d6call caml_call_gc
001a43dbjmp 0x1a4240
001a43e0
001a43e0loc_1a43e0:
001a43e0call caml_call_gc
001a43e5jmp 0x1a41ca
001a43ea
001a43ealoc_1a43ea:
001a43eacall caml_call_gc
001a43efjmp 0x1a416d
001a43f4
001a43f4loc_1a43f4:
001a43f4call caml_call_gc
001a43f9jmp 0x1a410b
001a43fe
001a43feloc_1a43fe:
001a43fecall caml_call_gc
001a4403jmp 0x1a40bb
001a4408
001a4408loc_1a4408:
001a4408call caml_call_gc
001a440djmp 0x1a403b
001a4412
001a4412loc_1a4412:
001a4412call caml_call_gc
001a4417jmp 0x1a3feb
001a441c
001a441cloc_1a441c:
001a441ccall caml_call_gc
001a4421jmp 0x1a3f69
001a4426
001a4426loc_1a4426:
001a4426call caml_call_gc
001a442bjmp 0x1a3f07
001a4430
001a4430loc_1a4430:
001a4430call caml_call_gc
001a4435jmp 0x1a3eb7
001a443a
001a443aloc_1a443a:
001a443acall caml_call_gc
001a443fjmp 0x1a3e37
001a4444
001a4444loc_1a4444:
001a4444call caml_call_gc
001a4449jmp 0x1a3de5
001a444e
001a444eloc_1a444e:
001a444ecall caml_call_gc
001a4453jmp 0x1a3d71
001a4458
001a4458loc_1a4458:
001a4458call caml_call_gc
001a445djmp 0x1a3d27
001a4462
001a4462loc_1a4462:
001a4462call caml_call_gc
001a4467jmp 0x1a3cf2
001a446c
001a446cloc_1a446c:
001a446cpush 38
001a446ecall caml_call_realloc_stack
001a4473pop r10
001a4475jmp 0x1a3c52
001a3c40

001a447a
001a447a // align 0x10

001a4480
001a4480Stdlib.List.rev_sort:
001a4480lea r10, [rsp-360]
001a4488cmp r10, [r14+40]
001a448cjb 0x1a4cac
001a4492
001a4492loc_1a4492:
001a4492sub rsp, 40
001a4496mov rdx, rax
001a4499mov rsi, rbx
001a449ccmp rdx, 5
001a44a0je 0x1a4a2c
001a44a6mov [rsp+16], rdi
001a44abcmp rdx, 7
001a44afjne 0x1a4b68
001a44b5test sil, 1
001a44b9jne 0x1a4b68
001a44bfmov rax, [rsi+8]
001a44c3test al, 1
001a44c5jne 0x1a4b68
001a44cbmov rbx, [rax+8]
001a44cftest bl, 1
001a44d2jne 0x1a4b68
001a44d8mov [rsp], rbx
001a44dcmov rbx, [rbx]
001a44dfmov [rsp+24], rbx
001a44e4mov rbx, [rax]
001a44e7mov [rsp+32], rbx
001a44ecmov rax, [rsi]
001a44efmov [rsp+8], rax
001a44f4mov rdi, [rdi+24]
001a44f8call caml_apply2
001a44fdcmp rax, 1
001a4501jne 0x1a45f0
001a4507mov rax, [rsp+16]
001a450cmov rdi, [rax+24]
001a4510mov rax, [rsp+32]
001a4515mov rbx, [rsp+24]
001a451acall caml_apply2
001a451fcmp rax, 1
001a4523jne 0x1a4554
001a4525sub r15, 24
001a4529cmp r15, [r14]
001a452cjb 0x1a4ca2
001a4532
001a4532loc_1a4532:
001a4532lea rbx, [r15+8]
001a4536mov [rbx-8], 2048
001a453emov rax, [rsp+32]
001a4543mov [rbx], rax
001a4546mov [rbx+8], 1
001a454ejmp 0x1a49fd
001a4553
001a4553 90 .
001a4554
001a4554loc_1a4554:
001a4554cmp rax, 1
001a4558jle 0x1a45a4
001a455asub r15, 48
001a455ecmp r15, [r14]
001a4561jb 0x1a4c98
001a4567
001a4567loc_1a4567:
001a4567lea rax, [r15+8]
001a456badd rax, 24
001a456fmov [rax-8], 2048
001a4577mov rbx, [rsp+24]
001a457cmov [rax], rbx
001a457fmov [rax+8], 1
001a4587lea rbx, [rax-24]
001a458bmov [rbx-8], 2048
001a4593mov rdi, [rsp+32]
001a4598mov [rbx], rdi
001a459bmov [rbx+8], rax
001a459fjmp 0x1a49fd
001a45a4
001a45a4loc_1a45a4:
001a45a4sub r15, 48
001a45a8cmp r15, [r14]
001a45abjb 0x1a4c8e
001a45b1
001a45b1loc_1a45b1:
001a45b1lea rax, [r15+8]
001a45b5add rax, 24
001a45b9mov [rax-8], 2048
001a45c1mov rbx, [rsp+32]
001a45c6mov [rax], rbx
001a45c9mov [rax+8], 1
001a45d1lea rbx, [rax-24]
001a45d5mov [rbx-8], 2048
001a45ddmov rdi, [rsp+24]
001a45e2mov [rbx], rdi
001a45e5mov [rbx+8], rax
001a45e9jmp 0x1a49fd
001a45ee
001a45ee 66 90 f.
001a45f0
001a45f0loc_1a45f0:
001a45f0cmp rax, 1
001a45f4jle 0x1a4800
001a45famov rax, [rsp+16]
001a45ffmov rdi, [rax+24]
001a4603mov rax, [rsp+32]
001a4608mov rbx, [rsp+24]
001a460dcall caml_apply2
001a4612cmp rax, 1
001a4616jne 0x1a4664
001a4618sub r15, 48
001a461ccmp r15, [r14]
001a461fjb 0x1a4c84
001a4625
001a4625loc_1a4625:
001a4625lea rax, [r15+8]
001a4629add rax, 24
001a462dmov [rax-8], 2048
001a4635mov rbx, [rsp+32]
001a463amov [rax], rbx
001a463dmov [rax+8], 1
001a4645lea rbx, [rax-24]
001a4649mov [rbx-8], 2048
001a4651mov rdi, [rsp+8]
001a4656mov [rbx], rdi
001a4659mov [rbx+8], rax
001a465djmp 0x1a49fd
001a4662
001a4662 66 90 f.
001a4664
001a4664loc_1a4664:
001a4664cmp rax, 1
001a4668jle 0x1a46cc
001a466asub r15, 72
001a466ecmp r15, [r14]
001a4671jb 0x1a4c7a
001a4677
001a4677loc_1a4677:
001a4677lea rax, [r15+8]
001a467badd rax, 48
001a467fmov [rax-8], 2048
001a4687mov rbx, [rsp+24]
001a468cmov [rax], rbx
001a468fmov [rax+8], 1
001a4697lea rdi, [rax-24]
001a469bmov [rdi-8], 2048
001a46a3mov rbx, [rsp+32]
001a46a8mov [rdi], rbx
001a46abmov [rdi+8], rax
001a46aflea rbx, [rdi-24]
001a46b3mov [rbx-8], 2048
001a46bbmov rax, [rsp+8]
001a46c0mov [rbx], rax
001a46c3mov [rbx+8], rdi
001a46c7jmp 0x1a49fd
001a46cc
001a46ccloc_1a46cc:
001a46ccmov rax, [rsp+16]
001a46d1mov rdi, [rax+24]
001a46d5mov rax, [rsp+8]
001a46damov rbx, [rsp+24]
001a46dfcall caml_apply2
001a46e4cmp rax, 1
001a46e8jne 0x1a4734
001a46easub r15, 48
001a46eecmp r15, [r14]
001a46f1jb 0x1a4c70
001a46f7
001a46f7loc_1a46f7:
001a46f7lea rax, [r15+8]
001a46fbadd rax, 24
001a46ffmov [rax-8], 2048
001a4707mov rbx, [rsp+32]
001a470cmov [rax], rbx
001a470fmov [rax+8], 1
001a4717lea rbx, [rax-24]
001a471bmov [rbx-8], 2048
001a4723mov rdi, [rsp+8]
001a4728mov [rbx], rdi
001a472bmov [rbx+8], rax
001a472fjmp 0x1a49fd
001a4734
001a4734loc_1a4734:
001a4734cmp rax, 1
001a4738jle 0x1a479c
001a473asub r15, 72
001a473ecmp r15, [r14]
001a4741jb 0x1a4c66
001a4747
001a4747loc_1a4747:
001a4747lea rax, [r15+8]
001a474badd rax, 48
001a474fmov [rax-8], 2048
001a4757mov rbx, [rsp+32]
001a475cmov [rax], rbx
001a475fmov [rax+8], 1
001a4767lea rdi, [rax-24]
001a476bmov [rdi-8], 2048
001a4773mov rbx, [rsp+24]
001a4778mov [rdi], rbx
001a477bmov [rdi+8], rax
001a477flea rbx, [rdi-24]
001a4783mov [rbx-8], 2048
001a478bmov rax, [rsp+8]
001a4790mov [rbx], rax
001a4793mov [rbx+8], rdi
001a4797jmp 0x1a49fd
001a479c
001a479cloc_1a479c:
001a479csub r15, 72
001a47a0cmp r15, [r14]
001a47a3jb 0x1a4c5c
001a47a9
001a47a9loc_1a47a9:
001a47a9lea rax, [r15+8]
001a47adadd rax, 48
001a47b1mov [rax-8], 2048
001a47b9mov rbx, [rsp+32]
001a47bemov [rax], rbx
001a47c1mov [rax+8], 1
001a47c9lea rdi, [rax-24]
001a47cdmov [rdi-8], 2048
001a47d5mov rbx, [rsp+8]
001a47damov [rdi], rbx
001a47ddmov [rdi+8], rax
001a47e1lea rbx, [rdi-24]
001a47e5mov [rbx-8], 2048
001a47edmov rax, [rsp+24]
001a47f2mov [rbx], rax
001a47f5mov [rbx+8], rdi
001a47f9jmp 0x1a49fd
001a47fe
001a47fe 66 90 f.
001a4800
001a4800loc_1a4800:
001a4800mov rax, [rsp+16]
001a4805mov rdi, [rax+24]
001a4809mov rax, [rsp+8]
001a480emov rbx, [rsp+24]
001a4813call caml_apply2
001a4818cmp rax, 1
001a481cjne 0x1a4868
001a481esub r15, 48
001a4822cmp r15, [r14]
001a4825jb 0x1a4c52
001a482b
001a482bloc_1a482b:
001a482blea rax, [r15+8]
001a482fadd rax, 24
001a4833mov [rax-8], 2048
001a483bmov rbx, [rsp+8]
001a4840mov [rax], rbx
001a4843mov [rax+8], 1
001a484blea rbx, [rax-24]
001a484fmov [rbx-8], 2048
001a4857mov rdi, [rsp+32]
001a485cmov [rbx], rdi
001a485fmov [rbx+8], rax
001a4863jmp 0x1a49fd
001a4868
001a4868loc_1a4868:
001a4868cmp rax, 1
001a486cjle 0x1a48d0
001a486esub r15, 72
001a4872cmp r15, [r14]
001a4875jb 0x1a4c48
001a487b
001a487bloc_1a487b:
001a487blea rax, [r15+8]
001a487fadd rax, 48
001a4883mov [rax-8], 2048
001a488bmov rbx, [rsp+24]
001a4890mov [rax], rbx
001a4893mov [rax+8], 1
001a489blea rdi, [rax-24]
001a489fmov [rdi-8], 2048
001a48a7mov rbx, [rsp+8]
001a48acmov [rdi], rbx
001a48afmov [rdi+8], rax
001a48b3lea rbx, [rdi-24]
001a48b7mov [rbx-8], 2048
001a48bfmov rax, [rsp+32]
001a48c4mov [rbx], rax
001a48c7mov [rbx+8], rdi
001a48cbjmp 0x1a49fd
001a48d0
001a48d0loc_1a48d0:
001a48d0mov rax, [rsp+16]
001a48d5mov rdi, [rax+24]
001a48d9mov rax, [rsp+32]
001a48demov rbx, [rsp+24]
001a48e3call caml_apply2
001a48e8cmp rax, 1
001a48ecjne 0x1a4938
001a48eesub r15, 48
001a48f2cmp r15, [r14]
001a48f5jb 0x1a4c3e
001a48fb
001a48fbloc_1a48fb:
001a48fblea rax, [r15+8]
001a48ffadd rax, 24
001a4903mov [rax-8], 2048
001a490bmov rbx, [rsp+8]
001a4910mov [rax], rbx
001a4913mov [rax+8], 1
001a491blea rbx, [rax-24]
001a491fmov [rbx-8], 2048
001a4927mov rdi, [rsp+32]
001a492cmov [rbx], rdi
001a492fmov [rbx+8], rax
001a4933jmp 0x1a49fd
001a4938
001a4938loc_1a4938:
001a4938cmp rax, 1
001a493cjle 0x1a49a0
001a493esub r15, 72
001a4942cmp r15, [r14]
001a4945jb 0x1a4c34
001a494b
001a494bloc_1a494b:
001a494blea rax, [r15+8]
001a494fadd rax, 48
001a4953mov [rax-8], 2048
001a495bmov rbx, [rsp+8]
001a4960mov [rax], rbx
001a4963mov [rax+8], 1
001a496blea rdi, [rax-24]
001a496fmov [rdi-8], 2048
001a4977mov rbx, [rsp+24]
001a497cmov [rdi], rbx
001a497fmov [rdi+8], rax
001a4983lea rbx, [rdi-24]
001a4987mov [rbx-8], 2048
001a498fmov rax, [rsp+32]
001a4994mov [rbx], rax
001a4997mov [rbx+8], rdi
001a499bjmp 0x1a49fd
001a499d
001a499d 0f 1f 00 ...
001a49a0
001a49a0loc_1a49a0:
001a49a0sub r15, 72
001a49a4cmp r15, [r14]
001a49a7jb 0x1a4c2a
001a49ad
001a49adloc_1a49ad:
001a49adlea rax, [r15+8]
001a49b1add rax, 48
001a49b5mov [rax-8], 2048
001a49bdmov rbx, [rsp+8]
001a49c2mov [rax], rbx
001a49c5mov [rax+8], 1
001a49cdlea rdi, [rax-24]
001a49d1mov [rdi-8], 2048
001a49d9mov rbx, [rsp+32]
001a49demov [rdi], rbx
001a49e1mov [rdi+8], rax
001a49e5lea rbx, [rdi-24]
001a49e9mov [rbx-8], 2048
001a49f1mov rax, [rsp+24]
001a49f6mov [rbx], rax
001a49f9mov [rbx+8], rdi
001a49fd
001a49fdloc_1a49fd:
001a49fdsub r15, 24
001a4a01cmp r15, [r14]
001a4a04jb 0x1a4c20
001a4a0a
001a4a0aloc_1a4a0a:
001a4a0alea rax, [r15+8]
001a4a0emov [rax-8], 2048
001a4a16mov [rax], rbx
001a4a19mov rbx, [rsp]
001a4a1dmov rbx, [rbx+8]
001a4a21mov [rax+8], rbx
001a4a25add rsp, 40
001a4a29ret
001a4a2a
001a4a2a 66 90 f.
001a4a2c
001a4a2cloc_1a4a2c:
001a4a2ctest sil, 1
001a4a30je 0x1a4a3c
001a4a32mov [rsp+16], rdi
001a4a37jmp 0x1a4b68
001a4a3c
001a4a3cloc_1a4a3c:
001a4a3cmov rax, [rsi+8]
001a4a40test al, 1
001a4a42je 0x1a4a50
001a4a44mov [rsp+16], rdi
001a4a49jmp 0x1a4b68
001a4a4e
001a4a4e 66 90 f.
001a4a50
001a4a50loc_1a4a50:
001a4a50mov [rsp], rax
001a4a54mov rbx, [rax]
001a4a57mov [rsp+8], rbx
001a4a5cmov rax, [rsi]
001a4a5fmov [rsp+16], rax
001a4a64mov rdi, [rdi+24]
001a4a68call caml_apply2
001a4a6dcmp rax, 1
001a4a71jne 0x1a4aa4
001a4a73sub r15, 24
001a4a77cmp r15, [r14]
001a4a7ajb 0x1a4c16
001a4a80
001a4a80loc_1a4a80:
001a4a80lea rbx, [r15+8]
001a4a84mov [rbx-8], 2048
001a4a8cmov rax, [rsp+16]
001a4a91mov [rbx], rax
001a4a94mov [rbx+8], 1
001a4a9cjmp 0x1a4b39
001a4aa1
001a4aa1 0f 1f 00 ...
001a4aa4
001a4aa4loc_1a4aa4:
001a4aa4cmp rax, 1
001a4aa8jle 0x1a4af4
001a4aaasub r15, 48
001a4aaecmp r15, [r14]
001a4ab1jb 0x1a4c0c
001a4ab7
001a4ab7loc_1a4ab7:
001a4ab7lea rax, [r15+8]
001a4abbadd rax, 24
001a4abfmov [rax-8], 2048
001a4ac7mov rbx, [rsp+8]
001a4accmov [rax], rbx
001a4acfmov [rax+8], 1
001a4ad7lea rbx, [rax-24]
001a4adbmov [rbx-8], 2048
001a4ae3mov rdi, [rsp+16]
001a4ae8mov [rbx], rdi
001a4aebmov [rbx+8], rax
001a4aefjmp 0x1a4b39
001a4af1
001a4af1 0f 1f 00 ...
001a4af4
001a4af4loc_1a4af4:
001a4af4sub r15, 48
001a4af8cmp r15, [r14]
001a4afbjb 0x1a4c02
001a4b01
001a4b01loc_1a4b01:
001a4b01lea rax, [r15+8]
001a4b05add rax, 24
001a4b09mov [rax-8], 2048
001a4b11mov rbx, [rsp+16]
001a4b16mov [rax], rbx
001a4b19mov [rax+8], 1
001a4b21lea rbx, [rax-24]
001a4b25mov [rbx-8], 2048
001a4b2dmov rdi, [rsp+8]
001a4b32mov [rbx], rdi
001a4b35mov [rbx+8], rax
001a4b39
001a4b39loc_1a4b39:
001a4b39sub r15, 24
001a4b3dcmp r15, [r14]
001a4b40jb 0x1a4bf8
001a4b46
001a4b46loc_1a4b46:
001a4b46lea rax, [r15+8]
001a4b4amov [rax-8], 2048
001a4b52mov [rax], rbx
001a4b55mov rbx, [rsp]
001a4b59mov rbx, [rbx+8]
001a4b5dmov [rax+8], rbx
001a4b61add rsp, 40
001a4b65ret
001a4b66
001a4b66 66 90 f.
001a4b68
001a4b68loc_1a4b68:
001a4b68mov rax, rdx
001a4b6bsar rax, 1
001a4b6eor rax, 1
001a4b72sub rdx, rax
001a4b75inc rdx
001a4b78mov [rsp], rdx
001a4b7cadd rdi, -32
001a4b80mov rbx, rsi
001a4b83call Stdlib.List.sort
001a4b88mov [rsp+8], rax
001a4b8dmov rdi, [rsp+16]
001a4b92add rdi, -32
001a4b96mov rbx, [rax+8]
001a4b9amov rax, [rsp]
001a4b9ecall Stdlib.List.sort
001a4ba3mov [rsp], rax
001a4ba7mov rbx, [rax]
001a4baamov rax, [rsp+8]
001a4bafmov rax, [rax]
001a4bb2mov rdi, [rsp+16]
001a4bb7mov rsi, [rdi+32]
001a4bbbmov edi, 1
001a4bc0call Stdlib.List.rev_merge
001a4bc5sub r15, 24
001a4bc9cmp r15, [r14]
001a4bccjb 0x1a4bf1
001a4bce
001a4bceloc_1a4bce:
001a4bcelea rbx, [r15+8]
001a4bd2mov [rbx-8], 2048
001a4bdamov [rbx], rax
001a4bddmov rax, [rsp]
001a4be1mov rax, [rax+8]
001a4be5mov [rbx+8], rax
001a4be9mov rax, rbx
001a4becadd rsp, 40
001a4bf0ret
001a4bf1
001a4bf1loc_1a4bf1:
001a4bf1call caml_call_gc
001a4bf6jmp 0x1a4bce
001a4bf8
001a4bf8loc_1a4bf8:
001a4bf8call caml_call_gc
001a4bfdjmp 0x1a4b46
001a4c02
001a4c02loc_1a4c02:
001a4c02call caml_call_gc
001a4c07jmp 0x1a4b01
001a4c0c
001a4c0cloc_1a4c0c:
001a4c0ccall caml_call_gc
001a4c11jmp 0x1a4ab7
001a4c16
001a4c16loc_1a4c16:
001a4c16call caml_call_gc
001a4c1bjmp 0x1a4a80
001a4c20
001a4c20loc_1a4c20:
001a4c20call caml_call_gc
001a4c25jmp 0x1a4a0a
001a4c2a
001a4c2aloc_1a4c2a:
001a4c2acall caml_call_gc
001a4c2fjmp 0x1a49ad
001a4c34
001a4c34loc_1a4c34:
001a4c34call caml_call_gc
001a4c39jmp 0x1a494b
001a4c3e
001a4c3eloc_1a4c3e:
001a4c3ecall caml_call_gc
001a4c43jmp 0x1a48fb
001a4c48
001a4c48loc_1a4c48:
001a4c48call caml_call_gc
001a4c4djmp 0x1a487b
001a4c52
001a4c52loc_1a4c52:
001a4c52call caml_call_gc
001a4c57jmp 0x1a482b
001a4c5c
001a4c5cloc_1a4c5c:
001a4c5ccall caml_call_gc
001a4c61jmp 0x1a47a9
001a4c66
001a4c66loc_1a4c66:
001a4c66call caml_call_gc
001a4c6bjmp 0x1a4747
001a4c70
001a4c70loc_1a4c70:
001a4c70call caml_call_gc
001a4c75jmp 0x1a46f7
001a4c7a
001a4c7aloc_1a4c7a:
001a4c7acall caml_call_gc
001a4c7fjmp 0x1a4677
001a4c84
001a4c84loc_1a4c84:
001a4c84call caml_call_gc
001a4c89jmp 0x1a4625
001a4c8e
001a4c8eloc_1a4c8e:
001a4c8ecall caml_call_gc
001a4c93jmp 0x1a45b1
001a4c98
001a4c98loc_1a4c98:
001a4c98call caml_call_gc
001a4c9djmp 0x1a4567
001a4ca2
001a4ca2loc_1a4ca2:
001a4ca2call caml_call_gc
001a4ca7jmp 0x1a4532
001a4cac
001a4cacloc_1a4cac:
001a4cacpush 38
001a4caecall caml_call_realloc_stack
001a4cb3pop r10
001a4cb5jmp 0x1a4492
001a4480

001a4cba
001a4cba // align 0x10

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