Similarity

001f6ec0
001f6ec0Stdlib.Filename.entry:
001f6ec0lea r10, [rsp-376]
001f6ec8cmp r10, [r14+40]
001f6eccjb 0x1f7a9d
001f6ed2
001f6ed2loc_1f6ed2:
001f6ed2sub rsp, 40
001f6ed6lea rsi, [rip+0x17ea6b]
001f6eddlea rdi, [rip+0x17ee8c]
001f6ee4add rdi, 176
001f6eebmov rbx, rsp
001f6eeemov rsp, [r14+64]
001f6ef2call caml_initialize
001f6ef7mov rsp, rbx
001f6efalea rsi, [rip+0x17ea67]
001f6f01lea rdi, [rip+0x17ee68]
001f6f08add rdi, 184
001f6f0fmov rbx, rsp
001f6f12mov rsp, [r14+64]
001f6f16call caml_initialize
001f6f1bmov rsp, rbx
001f6f1elea rsi, [rip+0x17ea63]
001f6f25lea rdi, [rip+0x17ee44]
001f6f2cadd rdi, 192
001f6f33mov rbx, rsp
001f6f36mov rsp, [r14+64]
001f6f3acall caml_initialize
001f6f3fmov rsp, rbx
001f6f42lea rax, [rip+0x17ee07]
001f6f49mov [rsp], rax
001f6f4dlea rax, [rip+0x17ede4]
001f6f54mov [rsp+8], rax
001f6f59lea rax, [rip+0x17edc0]
001f6f60mov [rsp+16], rax
001f6f65lea rax, [rip+0x17ed94]
001f6f6cmov [rsp+24], rax
001f6f71lea rax, [rip+0x17ed68]
001f6f78mov [rsp+32], rax
001f6f7dlea r11, [rip+39]
001f6f84push r11
001f6f86push [r14+48]
001f6f8amov [r14+48], rsp
001f6f8elea rdi, [rip+0x17f08b]
001f6f95lea rax, [rip+0x2bca4]
001f6f9ccall caml_c_call
001f6fa1pop [r14+48]
001f6fa5add rsp, 8
001f6fa9jmp 0x1f6fc9
001f6fablea rbx, [rip+0x136666]
001f6fb2mov rbx, [rbx+56]
001f6fb6cmp rax, rbx
001f6fb9jne 0x1f6fc4
001f6fbblea rax, [rip+0x17f04e]
001f6fc2jmp 0x1f6fc9
001f6fc4
001f6fc4loc_1f6fc4:
001f6fc4call caml_reraise_exn
001f6fc9
001f6fc9loc_1f6fc9:
001f6fc9lea rbx, [rip+0x17f300]
001f6fd0lea rdi, [rip+0x17ed99]
001f6fd7mov rsi, [rdi+176]
001f6fdesub r15, 296
001f6fe5call caml_allocN
001f6fealea rcx, [r15+8]
001f6feeadd rcx, 256
001f6ff5mov [rcx-8], 4343
001f6ffdlea rdx, [rip-8196]
001f7004mov [rcx], rdx
001f7007mov rdx, 0x100000000000005
001f7011mov [rcx+8], rdx
001f7015mov [rcx+16], rbx
001f7019mov [rcx+24], rsi
001f701dlea r8, [rcx-40]
001f7021mov [r8-8], 4343
001f7029lea rbx, [rip-0x1004a0]
001f7030mov [r8], rbx
001f7033mov rbx, 0x500000000000007
001f703dmov [r8+8], rbx
001f7041lea rbx, [rip-8248]
001f7048mov [r8+16], rbx
001f704cmov [r8+24], rcx
001f7050lea r9, [rip+0x17f139]
001f7057mov r12, [rsp]
001f705bmov rbx, [rdi+184]
001f7062lea rdx, [r8-48]
001f7066mov [rdx-8], 5367
001f706elea rsi, [rip-7893]
001f7075mov [rdx], rsi
001f7078mov rsi, 0x100000000000005
001f7082mov [rdx+8], rsi
001f7086mov [rdx+16], r12
001f708amov [rdx+24], r9
001f708emov [rdx+32], rbx
001f7092mov rsi, [rdi+192]
001f7099lea rbx, [rdx-48]
001f709dmov [rbx-8], 5367
001f70a5lea r13, [rip-7916]
001f70acmov [rbx], r13
001f70afmov r13, 0x100000000000005
001f70b9mov [rbx+8], r13
001f70bdmov [rbx+16], r12
001f70c1mov [rbx+24], r9
001f70c5mov [rbx+32], rsi
001f70c9lea rsi, [rbx-120]
001f70cdmov [rsi-8], 14336
001f70d5lea r13, [rip+0x17f19c]
001f70dcmov [rsi], r13
001f70dfmov [rsi+8], r9
001f70e3lea r9, [rip+0x17efd6]
001f70eamov [rsi+16], r9
001f70eelea r9, [rip+0x17ef5b]
001f70f5mov [rsi+24], r9
001f70f9mov [rsi+32], r12
001f70fdmov r9, [rsp+8]
001f7102mov [rsi+40], r9
001f7106mov r9, [rsp+16]
001f710bmov [rsi+48], r9
001f710fmov r9, [rsp+24]
001f7114mov [rsi+56], r9
001f7118mov r9, [rsp+32]
001f711dmov [rsi+64], r9
001f7121mov [rsi+72], rax
001f7125mov [rsi+80], rcx
001f7129mov [rsi+88], r8
001f712dmov [rsi+96], rdx
001f7131mov [rsi+104], rbx
001f7135add rdi, 200
001f713cmov rbx, rsp
001f713fmov rsp, [r14+64]
001f7143call caml_initialize
001f7148mov rsp, rbx
001f714blea rsi, [rip+0x17f106]
001f7152lea rdi, [rip+0x17ec17]
001f7159add rdi, 392
001f7160mov rbx, rsp
001f7163mov rsp, [r14+64]
001f7167call caml_initialize
001f716cmov rsp, rbx
001f716flea rsi, [rip+0x17f01a]
001f7176lea rdi, [rip+0x17ebf3]
001f717dadd rdi, 400
001f7184mov rbx, rsp
001f7187mov rsp, [r14+64]
001f718bcall caml_initialize
001f7190mov rsp, rbx
001f7193lea rsi, [rip+0x17ef26]
001f719alea rdi, [rip+0x17ebcf]
001f71a1add rdi, 408
001f71a8mov rbx, rsp
001f71abmov rsp, [r14+64]
001f71afcall caml_initialize
001f71b4mov rsp, rbx
001f71b7lea rsi, [rip+0x17f08a]
001f71belea rdi, [rip+0x17ebab]
001f71c5add rdi, 416
001f71ccmov rbx, rsp
001f71cfmov rsp, [r14+64]
001f71d3call caml_initialize
001f71d8mov rsp, rbx
001f71dblea rsi, [rip+0x17e7c6]
001f71e2lea rdi, [rip+0x17eb87]
001f71e9add rdi, 424
001f71f0mov rbx, rsp
001f71f3mov rsp, [r14+64]
001f71f7call caml_initialize
001f71fcmov rsp, rbx
001f71fflea rsi, [rip+0x17e7c2]
001f7206lea rdi, [rip+0x17eb63]
001f720dadd rdi, 432
001f7214mov rbx, rsp
001f7217mov rsp, [r14+64]
001f721bcall caml_initialize
001f7220mov rsp, rbx
001f7223lea rsi, [rip+0x17e7b6]
001f722alea rdi, [rip+0x17eb3f]
001f7231add rdi, 440
001f7238mov rbx, rsp
001f723bmov rsp, [r14+64]
001f723fcall caml_initialize
001f7244mov rsp, rbx
001f7247lea rsi, [rip+0x17e7aa]
001f724elea rdi, [rip+0x17eb1b]
001f7255add rdi, 448
001f725cmov rbx, rsp
001f725fmov rsp, [r14+64]
001f7263call caml_initialize
001f7268mov rsp, rbx
001f726blea rsi, [rip+0x17e7a6]
001f7272lea rdi, [rip+0x17eaf7]
001f7279add rdi, 456
001f7280mov rbx, rsp
001f7283mov rsp, [r14+64]
001f7287call caml_initialize
001f728cmov rsp, rbx
001f728flea r11, [rip+39]
001f7296push r11
001f7298push [r14+48]
001f729cmov [r14+48], rsp
001f72a0lea rdi, [rip+0x17ef71]
001f72a7lea rax, [rip+0x2b992]
001f72aecall caml_c_call
001f72b3pop [r14+48]
001f72b7add rsp, 8
001f72bbjmp 0x1f72db
001f72bdlea rbx, [rip+0x136354]
001f72c4mov rbx, [rbx+56]
001f72c8cmp rax, rbx
001f72cbjne 0x1f72d6
001f72cdlea rax, [rip+0x17eebc]
001f72d4jmp 0x1f72db
001f72d6
001f72d6loc_1f72d6:
001f72d6call caml_reraise_exn
001f72db
001f72dbloc_1f72db:
001f72dblea rdi, [rip+0x17ea8e]
001f72e2add rdi, 464
001f72e9mov rsi, rax
001f72ecmov rbx, rsp
001f72efmov rsp, [r14+64]
001f72f3call caml_initialize
001f72f8mov rsp, rbx
001f72fblea rsi, [rip+0x17e736]
001f7302lea rdi, [rip+0x17ea67]
001f7309add rdi, 472
001f7310mov rbx, rsp
001f7313mov rsp, [r14+64]
001f7317call caml_initialize
001f731cmov rsp, rbx
001f731flea rsi, [rip+0x17e72a]
001f7326lea rdi, [rip+0x17ea43]
001f732dadd rdi, 480
001f7334mov rbx, rsp
001f7337mov rsp, [r14+64]
001f733bcall caml_initialize
001f7340mov rsp, rbx
001f7343lea rsi, [rip+0x17e71e]
001f734alea rdi, [rip+0x17ea1f]
001f7351add rdi, 488
001f7358mov rbx, rsp
001f735bmov rsp, [r14+64]
001f735fcall caml_initialize
001f7364mov rsp, rbx
001f7367lea rsi, [rip+0x17e712]
001f736elea rdi, [rip+0x17e9fb]
001f7375add rdi, 496
001f737cmov rbx, rsp
001f737fmov rsp, [r14+64]
001f7383call caml_initialize
001f7388mov rsp, rbx
001f738blea rsi, [rip+0x17e70e]
001f7392lea rdi, [rip+0x17e9d7]
001f7399add rdi, 504
001f73a0mov rbx, rsp
001f73a3mov rsp, [r14+64]
001f73a7call caml_initialize
001f73acmov rsp, rbx
001f73aflea rsi, [rip+0x17e702]
001f73b6lea rdi, [rip+0x17e9b3]
001f73bdadd rdi, 512
001f73c4mov rbx, rsp
001f73c7mov rsp, [r14+64]
001f73cbcall caml_initialize
001f73d0mov rsp, rbx
001f73d3lea rsi, [rip+0x17e6f6]
001f73dalea rdi, [rip+0x17e98f]
001f73e1add rdi, 520
001f73e8mov rbx, rsp
001f73ebmov rsp, [r14+64]
001f73efcall caml_initialize
001f73f4mov rsp, rbx
001f73f7lea rsi, [rip+0x17e6ea]
001f73felea rdi, [rip+0x17e96b]
001f7405add rdi, 528
001f740cmov rbx, rsp
001f740fmov rsp, [r14+64]
001f7413call caml_initialize
001f7418mov rsp, rbx
001f741bsub r15, 120
001f741fcall caml_allocN
001f7424lea rsi, [r15+8]
001f7428mov [rsi-8], 14336
001f7430lea rax, [rip+0x17ee21]
001f7437mov [rsi], rax
001f743alea rax, [rip+0x17ed4f]
001f7441mov [rsi+8], rax
001f7445lea rax, [rip+0x17ec74]
001f744cmov [rsi+16], rax
001f7450lea rax, [rip+0x17edf1]
001f7457mov [rsi+24], rax
001f745blea rdi, [rip+0x17e90e]
001f7462mov rax, [rdi+424]
001f7469mov [rsi+32], rax
001f746dmov rax, [rdi+432]
001f7474mov [rsi+40], rax
001f7478mov rax, [rdi+440]
001f747fmov [rsi+48], rax
001f7483mov rax, [rdi+448]
001f748amov [rsi+56], rax
001f748emov rax, [rdi+456]
001f7495mov [rsi+64], rax
001f7499mov rax, [rdi+464]
001f74a0mov [rsi+72], rax
001f74a4mov rax, [rdi+472]
001f74abmov [rsi+80], rax
001f74afmov rax, [rdi+496]
001f74b6mov [rsi+88], rax
001f74bamov rax, [rdi+528]
001f74c1mov [rsi+96], rax
001f74c5mov rax, [rdi+520]
001f74ccmov [rsi+104], rax
001f74d0add rdi, 208
001f74d7mov rbx, rsp
001f74damov rsp, [r14+64]
001f74decall caml_initialize
001f74e3mov rsp, rbx
001f74e6lea rdi, [rip+0x17e883]
001f74edmov rax, [rdi+208]
001f74f4mov rcx, [rax+32]
001f74f8mov rbx, [rax+40]
001f74fcmov [rsp], rbx
001f7500mov rbx, [rax+48]
001f7504mov [rsp+8], rbx
001f7509mov rbx, [rax+56]
001f750dmov [rsp+16], rbx
001f7512mov r13, [rax+64]
001f7516mov rax, [rdi+200]
001f751dmov r12, [rax+72]
001f7521mov r9, [rax+80]
001f7525mov r8, [rax+88]
001f7529lea rdx, [rip+0x17ec60]
001f7530mov rax, [rdi+184]
001f7537sub r15, 216
001f753ecall caml_allocN
001f7543lea rbx, [r15+8]
001f7547add rbx, 168
001f754emov [rbx-8], 5367
001f7556lea rsi, [rip-4909]
001f755dmov [rbx], rsi
001f7560mov rsi, 0x100000000000005
001f756amov [rbx+8], rsi
001f756emov [rbx+16], rcx
001f7572mov [rbx+24], rdx
001f7576mov [rbx+32], rax
001f757amov rsi, [rdi+192]
001f7581lea rax, [rbx-48]
001f7585mov [rax-8], 5367
001f758dlea r10, [rip-4932]
001f7594mov [rax], r10
001f7597mov r10, 0x100000000000005
001f75a1mov [rax+8], r10
001f75a5mov [rax+16], rcx
001f75a9mov [rax+24], rdx
001f75admov [rax+32], rsi
001f75b1lea rsi, [rax-120]
001f75b5mov [rsi-8], 14336
001f75bdlea r10, [rip+0x17ecb4]
001f75c4mov [rsi], r10
001f75c7mov [rsi+8], rdx
001f75cblea rdx, [rip+0x17eaee]
001f75d2mov [rsi+16], rdx
001f75d6lea rdx, [rip+0x17ea73]
001f75ddmov [rsi+24], rdx
001f75e1mov [rsi+32], rcx
001f75e5mov rdx, [rsp]
001f75e9mov [rsi+40], rdx
001f75edmov rdx, [rsp+8]
001f75f2mov [rsi+48], rdx
001f75f6mov rdx, [rsp+16]
001f75fbmov [rsi+56], rdx
001f75ffmov [rsi+64], r13
001f7603mov [rsi+72], r12
001f7607mov [rsi+80], r9
001f760bmov [rsi+88], r8
001f760fmov [rsi+96], rbx
001f7613mov [rsi+104], rax
001f7617add rdi, 216
001f761emov rbx, rsp
001f7621mov rsp, [r14+64]
001f7625call caml_initialize
001f762amov rsp, rbx
001f762dlea rax, [rip+0x137da4]
001f7634mov rax, [rax+24]
001f7638mov rbx, [rax-8]
001f763cshr rbx, 10
001f7640cmp rbx, 2
001f7644jge 0x1f7687
001f7646mov rax, [rax]
001f7649mov rbx, 0x1006e6977677943
001f7653cmp rax, rbx
001f7656jne 0x1f7668
001f7658lea rax, [rip+0x17e711]
001f765fmov rsi, [rax+216]
001f7666jmp 0x1f7695
001f7668
001f7668loc_1f7668:
001f7668mov rbx, 0x2000032336e6957
001f7672cmp rax, rbx
001f7675jne 0x1f7687
001f7677lea rax, [rip+0x17e6f2]
001f767emov rsi, [rax+208]
001f7685jmp 0x1f7695
001f7687
001f7687loc_1f7687:
001f7687lea rax, [rip+0x17e6e2]
001f768emov rsi, [rax+200]
001f7695
001f7695loc_1f7695:
001f7695lea rdi, [rip+0x17e6d4]
001f769cadd rdi, 224
001f76a3mov rbx, rsp
001f76a6mov rsp, [r14+64]
001f76aacall caml_initialize
001f76afmov rsp, rbx
001f76b2lea rdi, [rip+0x17e6b7]
001f76b9mov r12, [rdi+224]
001f76c0mov rsi, [r12]
001f76c4add rdi, 112
001f76c8mov rbx, rsp
001f76cbmov rsp, [r14+64]
001f76cfcall caml_initialize
001f76d4mov rsp, rbx
001f76d7mov rsi, [r12+8]
001f76dclea rdi, [rip+0x17e68d]
001f76e3mov rbx, rsp
001f76e6mov rsp, [r14+64]
001f76eacall caml_initialize
001f76efmov rsp, rbx
001f76f2mov rsi, [r12+16]
001f76f7lea rdi, [rip+0x17e672]
001f76feadd rdi, 8
001f7702mov rbx, rsp
001f7705mov rsp, [r14+64]
001f7709call caml_initialize
001f770emov rsp, rbx
001f7711mov rsi, [r12+24]
001f7716lea rdi, [rip+0x17e653]
001f771dadd rdi, 16
001f7721mov rbx, rsp
001f7724mov rsp, [r14+64]
001f7728call caml_initialize
001f772dmov rsp, rbx
001f7730mov rsi, [r12+32]
001f7735lea rdi, [rip+0x17e634]
001f773cadd rdi, 232
001f7743mov rbx, rsp
001f7746mov rsp, [r14+64]
001f774acall caml_initialize
001f774fmov rsp, rbx
001f7752mov rsi, [r12+40]
001f7757lea rdi, [rip+0x17e612]
001f775eadd rdi, 32
001f7762mov rbx, rsp
001f7765mov rsp, [r14+64]
001f7769call caml_initialize
001f776emov rsp, rbx
001f7771mov rsi, [r12+48]
001f7776lea rdi, [rip+0x17e5f3]
001f777dadd rdi, 40
001f7781mov rbx, rsp
001f7784mov rsp, [r14+64]
001f7788call caml_initialize
001f778dmov rsp, rbx
001f7790mov rsi, [r12+56]
001f7795lea rdi, [rip+0x17e5d4]
001f779cadd rdi, 48
001f77a0mov rbx, rsp
001f77a3mov rsp, [r14+64]
001f77a7call caml_initialize
001f77acmov rsp, rbx
001f77afmov rsi, [r12+64]
001f77b4lea rdi, [rip+0x17e5b5]
001f77bbadd rdi, 64
001f77bfmov rbx, rsp
001f77c2mov rsp, [r14+64]
001f77c6call caml_initialize
001f77cbmov rsp, rbx
001f77cemov rsi, [r12+72]
001f77d3lea rdi, [rip+0x17e596]
001f77daadd rdi, 240
001f77e1mov rbx, rsp
001f77e4mov rsp, [r14+64]
001f77e8call caml_initialize
001f77edmov rsp, rbx
001f77f0mov rsi, [r12+80]
001f77f5lea rdi, [rip+0x17e574]
001f77fcadd rdi, 160
001f7803mov rbx, rsp
001f7806mov rsp, [r14+64]
001f780acall caml_initialize
001f780fmov rsp, rbx
001f7812mov rsi, [r12+88]
001f7817lea rdi, [rip+0x17e552]
001f781eadd rdi, 168
001f7825mov rbx, rsp
001f7828mov rsp, [r14+64]
001f782ccall caml_initialize
001f7831mov rsp, rbx
001f7834mov rsi, [r12+96]
001f7839lea rdi, [rip+0x17e530]
001f7840add rdi, 96
001f7844mov rbx, rsp
001f7847mov rsp, [r14+64]
001f784bcall caml_initialize
001f7850mov rsp, rbx
001f7853mov rsi, [r12+104]
001f7858lea rdi, [rip+0x17e511]
001f785fadd rdi, 104
001f7863mov rbx, rsp
001f7866mov rsp, [r14+64]
001f786acall caml_initialize
001f786fmov rsp, rbx
001f7872lea rsi, [rip+0x17e287]
001f7879lea rdi, [rip+0x17e4f0]
001f7880add rdi, 24
001f7884mov rbx, rsp
001f7887mov rsp, [r14+64]
001f788bcall caml_initialize
001f7890mov rsp, rbx
001f7893lea rsi, [rip+0x17e286]
001f789alea rdi, [rip+0x17e4cf]
001f78a1add rdi, 56
001f78a5mov rbx, rsp
001f78a8mov rsp, [r14+64]
001f78accall caml_initialize
001f78b1mov rsp, rbx
001f78b4lea rsi, [rip+0x17e285]
001f78bblea rdi, [rip+0x17e4ae]
001f78c2add rdi, 248
001f78c9mov rbx, rsp
001f78ccmov rsp, [r14+64]
001f78d0call caml_initialize
001f78d5mov rsp, rbx
001f78d8lea rsi, [rip+0x17e279]
001f78dflea rdi, [rip+0x17e48a]
001f78e6add rdi, 72
001f78eamov rbx, rsp
001f78edmov rsp, [r14+64]
001f78f1call caml_initialize
001f78f6mov rsp, rbx
001f78f9lea rsi, [rip+0x17e270]
001f7900lea rdi, [rip+0x17e469]
001f7907add rdi, 88
001f790bmov rbx, rsp
001f790emov rsp, [r14+64]
001f7912call caml_initialize
001f7917mov rsp, rbx
001f791alea rsi, [rip+0x17e267]
001f7921lea rdi, [rip+0x17e448]
001f7928add rdi, 80
001f792cmov rbx, rsp
001f792fmov rsp, [r14+64]
001f7933call caml_initialize
001f7938mov rsp, rbx
001f793blea rax, [rip+0x1705be]
001f7942mov rax, [rax+144]
001f7949mov rbx, [rax+8]
001f794dmov eax, 1
001f7952call Stdlib.Domain.new_key
001f7957lea rdi, [rip+0x17e412]
001f795eadd rdi, 256
001f7965mov rsi, rax
001f7968mov rbx, rsp
001f796bmov rsp, [r14+64]
001f796fcall caml_initialize
001f7974mov rsp, rbx
001f7977lea rsi, [rip+0x17e222]
001f797elea rdi, [rip+0x17e3eb]
001f7985add rdi, 264
001f798cmov rbx, rsp
001f798fmov rsp, [r14+64]
001f7993call caml_initialize
001f7998mov rsp, rbx
001f799bcall caml_alloc1
001f79a0lea rax, [r15+8]
001f79a4mov [rax-8], 1024
001f79aclea rbx, [rip+0x17e225]
001f79b3mov [rax], rbx
001f79b6lea rbx, [rip+0x17e203]
001f79bdcall Stdlib.Domain.new_key
001f79c2lea rdi, [rip+0x17e3a7]
001f79c9add rdi, 272
001f79d0mov rsi, rax
001f79d3mov rbx, rsp
001f79d6mov rsp, [r14+64]
001f79dacall caml_initialize
001f79dfmov rsp, rbx
001f79e2lea rsi, [rip+0x17e207]
001f79e9lea rdi, [rip+0x17e380]
001f79f0add rdi, 152
001f79f7mov rbx, rsp
001f79famov rsp, [r14+64]
001f79fecall caml_initialize
001f7a03mov rsp, rbx
001f7a06lea rsi, [rip+0x17e1fb]
001f7a0dlea rdi, [rip+0x17e35c]
001f7a14add rdi, 144
001f7a1bmov rbx, rsp
001f7a1emov rsp, [r14+64]
001f7a22call caml_initialize
001f7a27mov rsp, rbx
001f7a2alea rsi, [rip+0x17e1ef]
001f7a31lea rdi, [rip+0x17e338]
001f7a38add rdi, 120
001f7a3cmov rbx, rsp
001f7a3fmov rsp, [r14+64]
001f7a43call caml_initialize
001f7a48mov rsp, rbx
001f7a4blea rsi, [rip+0x17e20e]
001f7a52lea rdi, [rip+0x17e317]
001f7a59add rdi, 128
001f7a60mov rbx, rsp
001f7a63mov rsp, [r14+64]
001f7a67call caml_initialize
001f7a6cmov rsp, rbx
001f7a6flea rsi, [rip+0x17e22a]
001f7a76lea rdi, [rip+0x17e2f3]
001f7a7dadd rdi, 136
001f7a84mov rbx, rsp
001f7a87mov rsp, [r14+64]
001f7a8bcall caml_initialize
001f7a90mov rsp, rbx
001f7a93mov eax, 1
001f7a98add rsp, 40
001f7a9cret
001f7a9d
001f7a9dloc_1f7a9d:
001f7a9dpush 40
001f7a9fcall caml_call_realloc_stack
001f7aa4pop r10
001f7aa6jmp 0x1f6ed2
001f6ec0

001f7aab
001f7aab // align 0x20

001f7ac0
001f7ac0caml_alloc:
001f7ac0push r13
001f7ac2push r12
001f7ac4push rbp
001f7ac5mov ebp, esi
001f7ac7push rbx
001f7ac8mov rbx, rdi
001f7acbsub rsp, 8
001f7acfcmp rdi, 256
001f7ad6ja 0x1f7ba8
001f7adctest rdi, rdi
001f7adfje 0x1f7b90
001f7ae5mov rax, [rip+0x7e4f8]
001f7aecmov r12, [rax]
001f7af0test r12, r12
001f7af3je 0x1f7c10
001f7af9lea r13, [8*rdi]
001f7b01mov rax, -8
001f7b08sub rax, r13
001f7b0badd [r12+8], rax
001f7b10mov rdx, [r12]
001f7b14mov rax, [r12+8]
001f7b19cmp rax, rdx
001f7b1cjb 0x1f7be8
001f7b22mov edx, ebp
001f7b24shl rbx, 10
001f7b28add rbx, rdx
001f7b2bmov [rax], rbx
001f7b2emov rsi, [r12+8]
001f7b33lea rdx, [rsi+8]
001f7b37cmp ebp, 250
001f7b3dja 0x1f7b78
001f7b3flea rcx, [rdx+r13]
001f7b43and r13l, 8
001f7b47mov rax, rdx
001f7b4aje 0x1f7b60
001f7b4clea rax, [rsi+16]
001f7b50mov [rdx], 1
001f7b57cmp rcx, rax
001f7b5aje 0x1f7b78
001f7b5cmov [rax], 1
001f7b63add rax, 16
001f7b67mov [rax-8], 1
001f7b6fcmp rcx, rax
001f7b72jne 0x1f7b60
001f7b74add rsp, 8
001f7b78
001f7b78loc_1f7b78:
001f7b78mov rax, rdx
001f7b7bpop rbx
001f7b7cpop rbp
001f7b7dpop r12
001f7b7fpop r13
001f7b81ret
001f7b82db 0x5c
001f7b83pop r13
001f7b85ret
001f7b86
001f7b86 66 2e 0f 1f 84 00 00 00 00 00 f.........
001f7b90
001f7b90loc_1f7b90:
001f7b90add rsp, 8
001f7b94mov edi, esi
001f7b96pop rbx
001f7b97pop rbp
001f7b98pop r12
001f7b9apop r13
001f7b9cjmp 0x21ec80
001f7ba1
001f7ba1 0f 1f 80 00 00 00 00 .......
001f7ba8
001f7ba8loc_1f7ba8:
001f7ba8call caml_alloc_shr
001f7badmov rdi, rax
001f7bb0cmp ebp, 250
001f7bb6ja 0x1f7bd4
001f7bb8mov rcx, rax
001f7bbbxor edx, edx
001f7bbdnop [rax]
001f7bc0
001f7bc0loc_1f7bc0:
001f7bc0add rdx, 1
001f7bc4mov [rcx], 1
001f7bcbadd rcx, 8
001f7bcfcmp rbx, rdx
001f7bd2jne 0x1f7bc0
001f7bd4
001f7bd4loc_1f7bd4:
001f7bd4add rsp, 8
001f7bd8pop rbx
001f7bd9pop rbp
001f7bdapop r12
001f7bdcpop r13
001f7bdejmp 0x21aac0
001f7be3
001f7be3 0f 1f 44 00 00 ..D..
001f7be8
001f7be8loc_1f7be8:
001f7be8mov rsi, rdi
001f7bebxor r8l, r8l
001f7beemov ecx, 1
001f7bf3mov edx, 1
001f7bf8mov rdi, r12
001f7bfbcall caml_alloc_small_dispatch
001f7c00mov rax, [r12+8]
001f7c05jmp 0x1f7b26
001f7c0a
001f7c0a 66 0f 1f 44 00 00 f..D..
001f7c10
001f7c10loc_1f7c10:
001f7c10call caml_bad_caml_state
001f7ac0

001f7c15
001f7c15 // align 0x10

001f7c20
001f7c20caml_alloc_shr_check_gc:
001f7c20push rbp
001f7c21mov ebp, esi
001f7c23push rbx
001f7c24mov rbx, rdi
001f7c27mov edi, 1
001f7c2csub rsp, 8
001f7c30call caml_check_urgent_gc
001f7c35mov esi, ebp
001f7c37mov rdi, rbx
001f7c3acall caml_alloc_shr
001f7c3ftest rbx, rbx
001f7c42je 0x1f7c74
001f7c44mov rcx, rax
001f7c47xor edx, edx
001f7c49nop [rax+rax]
001f7c54nop [rax+rax]
001f7c5cadd rdx, 1
001f7c60
001f7c60loc_1f7c60:
001f7c60mov [rcx], 1
001f7c67add rcx, 8
001f7c6bcmp rbx, rdx
001f7c6ejne 0x1f7c60
001f7c70add rsp, 8
001f7c74
001f7c74loc_1f7c74:
001f7c74pop rbx
001f7c75pop rbp
001f7c76ret
001f7c77db 0x08
001f7c78pop rbx
001f7c79pop rbp
001f7c7aret
001f7c20

001f7c7b
001f7c7b // align 0x10

001f7c80
001f7c80caml_alloc_1:
001f7c80push r13
001f7c82push r12
001f7c84push rbp
001f7c85push rbx
001f7c86sub rsp, 104
001f7c8amov rcx, [0x28]
001f7c93mov [rsp+88], rcx
001f7c98mov rcx, [rip+0x7e345]
001f7c9fmov rbx, [rcx]
001f7ca3test rbx, rbx
001f7ca6je 0x1f7d70
001f7cacsub [rbx+8], 16
001f7cb1mov rax, [rbx]
001f7cb4mov ebp, edi
001f7cb6mov rdx, [rbx+8]
001f7cbacmp rdx, rax
001f7cbdjb 0x1f7d00
001f7cbfmov eax, ebp
001f7cc1add rax, 1024
001f7cc7mov [rdx], rax
001f7ccamov rax, [rbx+8]
001f7ccemov [rax+8], rsi
001f7cd2add rax, 8
001f7cd6mov rdx, [rsp+88]
001f7cdbsub rdx, [0x28]
001f7ce4jne 0x1f7d75
001f7ceaadd rsp, 104
001f7ceepop rbx
001f7cefpop rbp
001f7cf0pop r12
001f7cf2pop r13
001f7cf4ret
001f7cf5db 0x5c
001f7cf6pop r13
001f7cf8ret
001f7cf9
001f7cf9 0f 1f 80 00 00 00 00 .......
001f7d00
001f7d00loc_1f7d00:
001f7d00lea rax, [rsp+16]
001f7d05mov edx, 1
001f7d0axor r8l, r8l
001f7d0dmov rdi, rbx
001f7d10mov r12, [rcx]
001f7d14mov [rsp+8], rsi
001f7d19mov ecx, 1
001f7d1emov esi, 1
001f7d23mov r13, [r12+160]
001f7d2bmov [r12+160], rax
001f7d33mov eax, 1
001f7d38movq x0, rax
001f7d3dlea rax, [rsp+8]
001f7d42punpcklqdq x0, x0
001f7d46mov [rsp+16], r13
001f7d4bmov [rsp+40], rax
001f7d50movups [rsp+24], x0
001f7d55call caml_alloc_small_dispatch
001f7d5amov [r12+160], r13
001f7d62mov rsi, [rsp+8]
001f7d67mov rdx, [rbx+8]
001f7d6bjmp 0x1f7cc3
001f7d70
001f7d70loc_1f7d70:
001f7d70call caml_bad_caml_state
001f7d75
001f7d75loc_1f7d75:
001f7d75call fn_f4590
001f7c80

001f7d7a
001f7d7a // align 0x10

001f7d80
001f7d80caml_alloc_2:
001f7d80push r13
001f7d82push r12
001f7d84push rbp
001f7d85mov ebp, edi
001f7d87push rbx
001f7d88sub rsp, 104
001f7d8cmov rdi, [0x28]
001f7d95mov [rsp+88], rdi
001f7d9amov rdi, rsi
001f7d9dmov rsi, [rip+0x7e240]
001f7da4mov rbx, [rsi]
001f7da8test rbx, rbx
001f7dabje 0x1f7e78
001f7db1sub [rbx+8], 24
001f7db6mov rax, [rbx]
001f7db9mov rcx, [rbx+8]
001f7dbdcmp rcx, rax
001f7dc0jb 0x1f7e08
001f7dc2mov eax, ebp
001f7dc4add rax, 2048
001f7dcamov [rcx], rax
001f7dcdmov rax, [rbx+8]
001f7dd1mov [rax+8], rdi
001f7dd5lea rcx, [rax+8]
001f7dd9mov [rax+16], rdx
001f7dddmov rax, [rsp+88]
001f7de2sub rax, [0x28]
001f7debjne 0x1f7e7d
001f7df1add rsp, 104
001f7df5mov rax, rcx
001f7df8pop rbx
001f7df9pop rbp
001f7dfapop r12
001f7dfcpop r13
001f7dferet
001f7dffdb 0x5c
001f7e00pop r13
001f7e02ret
001f7e03
001f7e03 0f 1f 44 00 00 ..D..
001f7e08
001f7e08loc_1f7e08:
001f7e08lea rax, [rsp+16]
001f7e0dmov ecx, 1
001f7e12xor r8l, r8l
001f7e15mov r12, [rsi]
001f7e19movdqa x0, [rip+0x3222f]
001f7e21mov [rsp], rdi
001f7e25mov esi, 2
001f7e2amov [rsp+8], rdx
001f7e2fmov rdi, rbx
001f7e32mov edx, 1
001f7e37mov r13, [r12+160]
001f7e3fmov [r12+160], rax
001f7e47mov [rsp+40], rsp
001f7e4cmov [rsp+16], r13
001f7e51movups [rsp+24], x0
001f7e56call caml_alloc_small_dispatch
001f7e5bmov rdi, [rsp]
001f7e5fmov rdx, [rsp+8]
001f7e64mov [r12+160], r13
001f7e6cmov rcx, [rbx+8]
001f7e70jmp 0x1f7dc6
001f7e75
001f7e75 0f 1f 00 ...
001f7e78
001f7e78loc_1f7e78:
001f7e78call caml_bad_caml_state
001f7e7d
001f7e7dloc_1f7e7d:
001f7e7dcall fn_f4590
001f7d80

001f7e82
001f7e82 // align 0x10

001f7e90
001f7e90caml_alloc_3:
001f7e90push r13
001f7e92push r12
001f7e94push rbp
001f7e95push rbx
001f7e96sub rsp, 120
001f7e9amov r8, [0x28]
001f7ea3mov [rsp+104], r8
001f7ea8mov r8, rsi
001f7eabmov rsi, [rip+0x7e132]
001f7eb2mov rbx, [rsi]
001f7eb6test rbx, rbx
001f7eb9je 0x1f7fa0
001f7ebfsub [rbx+8], 32
001f7ec4mov ebp, edi
001f7ec6mov rax, [rbx]
001f7ec9mov rdi, rdx
001f7eccmov rdx, rcx
001f7ecfmov rcx, [rbx+8]
001f7ed3cmp rcx, rax
001f7ed6jb 0x1f7f20
001f7ed8mov eax, ebp
001f7edaadd rax, 3072
001f7ee0mov [rcx], rax
001f7ee3mov rax, [rbx+8]
001f7ee7mov [rax+8], r8
001f7eeblea rcx, [rax+8]
001f7eefmov [rax+16], rdi
001f7ef3mov [rax+24], rdx
001f7ef7mov rax, [rsp+104]
001f7efcsub rax, [0x28]
001f7f05jne 0x1f7fa5
001f7f0badd rsp, 120
001f7f0fmov rax, rcx
001f7f12pop rbx
001f7f13pop rbp
001f7f14pop r12
001f7f16pop r13
001f7f18ret
001f7f19db 0x5c
001f7f1apop r13
001f7f1cret
001f7f1d
001f7f1d 0f 1f 00 ...
001f7f20
001f7f20loc_1f7f20:
001f7f20lea rax, [rsp+32]
001f7f25mov ecx, 1
001f7f2amov r12, [rsi]
001f7f2emovdqa x0, [rip+0x3212a]
001f7f36mov [rsp], r8
001f7f3amov esi, 3
001f7f3fmov [rsp+8], rdi
001f7f44xor r8l, r8l
001f7f47mov rdi, rbx
001f7f4amov r13, [r12+160]
001f7f52mov [r12+160], rax
001f7f5amov [rsp+16], rdx
001f7f5fmov edx, 1
001f7f64mov [rsp+32], r13
001f7f69mov [rsp+56], rsp
001f7f6emovups [rsp+40], x0
001f7f73call caml_alloc_small_dispatch
001f7f78mov r8, [rsp]
001f7f7cmov rdi, [rsp+8]
001f7f81mov [r12+160], r13
001f7f89mov rdx, [rsp+16]
001f7f8emov rcx, [rbx+8]
001f7f92jmp 0x1f7edc
001f7f97
001f7f97 66 0f 1f 84 00 00 00 00 00 f........
001f7fa0
001f7fa0loc_1f7fa0:
001f7fa0call caml_bad_caml_state
001f7fa5
001f7fa5loc_1f7fa5:
001f7fa5call fn_f4590
001f7e90

001f7faa
001f7faa // align 0x10

001f7fb0
001f7fb0caml_alloc_4:
001f7fb0push r13
001f7fb2push r12
001f7fb4push rbp
001f7fb5push rbx
001f7fb6mov ebx, edi
001f7fb8mov rdi, rsi
001f7fbbmov rsi, rdx
001f7fbesub rsp, 152
001f7fc5mov rax, [0x28]
001f7fcemov [rsp+136], rax
001f7fd6mov rax, rcx
001f7fd9mov rcx, [rip+0x7e004]
001f7fe0mov rbp, [rcx]
001f7fe4test rbp, rbp
001f7fe7je 0x1f8108
001f7fedsub [rbp+8], 40
001f7ff2mov [rsp+8], rdx
001f7ff7mov [rsp], rdi
001f7ffbmov [rsp+16], rax
001f8000mov [rsp+24], r8
001f8005mov r9, [rbp]
001f8009mov rdx, [rbp+8]
001f800dcmp rdx, r9
001f8010jb 0x1f8078
001f8012add rbx, 4096
001f8019mov [rdx], rbx
001f801cmov rdx, [rsp]
001f8020mov rax, [rbp+8]
001f8024mov [rax+8], rdx
001f8028mov rdx, [rsp+8]
001f802dlea rcx, [rax+8]
001f8031mov [rax+16], rdx
001f8035mov rdx, [rsp+16]
001f803amov [rax+24], rdx
001f803emov rdx, [rsp+24]
001f8043mov [rax+32], rdx
001f8047mov rax, [rsp+136]
001f804fsub rax, [0x28]
001f8058jne 0x1f810d
001f805eadd rsp, 152
001f8065mov rax, rcx
001f8068pop rbx
001f8069pop rbp
001f806apop r12
001f806cpop r13
001f806eret
001f806fdb 0x5c
001f8070pop r13
001f8072ret
001f8073
001f8073 0f 1f 44 00 00 ..D..
001f8078
001f8078loc_1f8078:
001f8078lea rdx, [rsp+64]
001f807dmov r12, [rcx]
001f8081mov [rsp+32], rdi
001f8086mov ecx, 1
001f808bmov rdi, rbp
001f808emovdqa x0, [rip+0x31fda]
001f8096mov [rsp+40], rsi
001f809bmov esi, 4
001f80a0mov r13, [r12+160]
001f80a8mov [r12+160], rdx
001f80b0lea rdx, [rsp+32]
001f80b5mov [rsp+88], rdx
001f80bamov edx, 1
001f80bfmov [rsp+56], r8
001f80c4xor r8l, r8l
001f80c7movups [rsp+72], x0
001f80ccmov [rsp+64], r13
001f80d1mov [rsp+48], rax
001f80d6call caml_alloc_small_dispatch
001f80dbmovdqa x0, [rsp+32]
001f80e1mov [r12+160], r13
001f80e9mov rdx, [rbp+8]
001f80edmovaps [rsp], x0
001f80f1movdqa x0, [rsp+48]
001f80f7movaps [rsp+16], x0
001f80fcjmp 0x1f8016
001f8101
001f8101 0f 1f 80 00 00 00 00 .......
001f8108
001f8108loc_1f8108:
001f8108call caml_bad_caml_state
001f810d
001f810dloc_1f810d:
001f810dcall fn_f4590
001f7fb0

001f8112
001f8112 // align 0x10

001f8120
001f8120caml_alloc_5:
001f8120push r13
001f8122push r12
001f8124push rbp
001f8125push rbx
001f8126sub rsp, 184
001f812dmov rax, [0x28]
001f8136mov [rsp+168], rax
001f813emov rax, rsi
001f8141mov rsi, [rip+0x7de9c]
001f8148mov rbp, [rsi]
001f814ctest rbp, rbp
001f814fje 0x1f8280
001f8155sub [rbp+8], 48
001f815amov ebx, edi
001f815cmov [rsp], rax
001f8160mov [rsp+8], rdx
001f8165mov [rsp+16], rcx
001f816amov [rsp+24], r8
001f816fmov [rsp+32], r9
001f8174mov rdx, [rbp]
001f8178mov rax, [rbp+8]
001f817ccmp rax, rdx
001f817fjb 0x1f81e0
001f8181add rbx, 5120
001f8188lea rsi, [rsp+40]
001f818dmov [rax], rbx
001f8190mov rdi, [rbp+8]
001f8194mov rax, rsp
001f8197add rdi, 8
001f819bmov rdx, rdi
001f819emov rcx, [rax]
001f81a1add rax, 8
001f81a5add rdx, 8
001f81a9mov [rdx-8], rcx
001f81adcmp rax, rsi
001f81b0jne 0x1f81a2
001f81b2mov rax, [rsp+168]
001f81basub rax, [0x28]
001f81c3jne 0x1f8285
001f81c9add rsp, 184
001f81d0mov rax, rdi
001f81d3pop rbx
001f81d4pop rbp
001f81d5pop r12
001f81d7pop r13
001f81d9ret
001f81dadb 0x5c
001f81dbpop r13
001f81ddret
001f81de
001f81de 66 90 f.
001f81e0
001f81e0loc_1f81e0:
001f81e0lea rax, [rsp+96]
001f81e5xor r8l, r8l
001f81e8mov ecx, 1
001f81edmov edx, 1
001f81f2mov rdi, rbp
001f81f5movdqa x0, [rip+0x31e83]
001f81fdmov r12, [rsi]
001f8201mov esi, 5
001f8206movups [rsp+104], x0
001f820bmovdqa x0, [rsp]
001f8210mov r13, [r12+160]
001f8218mov [r12+160], rax
001f8220lea rax, [rsp+48]
001f8225mov [rsp+120], rax
001f822amov rax, [rsp+32]
001f822fmovaps [rsp+48], x0
001f8234movdqa x0, [rsp+16]
001f823amov [rsp+80], rax
001f823fmovaps [rsp+64], x0
001f8244mov [rsp+96], r13
001f8249call caml_alloc_small_dispatch
001f824emovdqa x0, [rsp+48]
001f8254mov rax, [rsp+80]
001f8259mov [r12+160], r13
001f8261movaps [rsp], x0
001f8265movdqa x0, [rsp+64]
001f826bmov [rsp+32], rax
001f8270mov rax, [rbp+8]
001f8274movaps [rsp+16], x0
001f8279jmp 0x1f8185
001f827e
001f827e 66 90 f.
001f8280
001f8280loc_1f8280:
001f8280call caml_bad_caml_state
001f8285
001f8285loc_1f8285:
001f8285call fn_f4590
001f8120

001f828a
001f828a // align 0x20

001f82a0
001f82a0caml_alloc_6:
001f82a0push r14
001f82a2push r13
001f82a4push r12
001f82a6push rbp
001f82a7push rbx
001f82a8sub rsp, 176
001f82afmov rax, [0x28]
001f82b8mov [rsp+168], rax
001f82c0mov rax, rsi
001f82c3mov rsi, [rip+0x7dd1a]
001f82camov rbp, [rsi]
001f82cetest rbp, rbp
001f82d1je 0x1f8420
001f82d7mov [rsp], rax
001f82dbmov rax, [rsp+224]
001f82e3mov ebx, edi
001f82e5lea r12, [rsp+48]
001f82easub [rbp+8], 56
001f82efmov [rsp+40], rax
001f82f4mov [rsp+8], rdx
001f82f9mov [rsp+16], rcx
001f82femov [rsp+24], r8
001f8303mov [rsp+32], r9
001f8308mov rdx, [rbp]
001f830cmov rax, [rbp+8]
001f8310cmp rax, rdx
001f8313jb 0x1f8380
001f8315add rbx, 6144
001f831cmov [rax], rbx
001f831fmov rsi, [rbp+8]
001f8323mov rax, rsp
001f8326add rsi, 8
001f832amov rdx, rsi
001f832dnop [rax+rax]
001f8338nop [rax]
001f833cmov rcx, [rax]
001f833fadd rax, 8
001f8343add rdx, 8
001f8347mov [rdx-8], rcx
001f834bcmp r12, rax
001f834ejne 0x1f8340
001f8350mov rax, [rsp+168]
001f8358sub rax, [0x28]
001f8361jne 0x1f8425
001f8367add rsp, 176
001f836emov rax, rsi
001f8371pop rbx
001f8372pop rbp
001f8373pop r12
001f8375pop r13
001f8377pop r14
001f8379ret
001f837adb 0x5d
001f837bpop r14
001f837dret
001f837e
001f837e 66 90 f.
001f8380
001f8380loc_1f8380:
001f8380lea rax, [rsp+96]
001f8385xor r8l, r8l
001f8388mov ecx, 1
001f838dmov edx, 1
001f8392mov rdi, rbp
001f8395movdqa x0, [rip+0x31cf3]
001f839dmov r13, [rsi]
001f83a1mov esi, 6
001f83a6mov [rsp+120], r12
001f83abmovups [rsp+104], x0
001f83b0movdqa x0, [rsp]
001f83b5mov r14, [r13+160]
001f83bcmov [r13+160], rax
001f83c3movaps [rsp+48], x0
001f83c8movdqa x0, [rsp+16]
001f83cemov [rsp+96], r14
001f83d3movaps [rsp+64], x0
001f83d8movdqa x0, [rsp+32]
001f83demovaps [rsp+80], x0
001f83e3call caml_alloc_small_dispatch
001f83e8movdqa x0, [rsp+48]
001f83eemov [r13+160], r14
001f83f5mov rax, [rbp+8]
001f83f9movaps [rsp], x0
001f83fdmovdqa x0, [rsp+64]
001f8403movaps [rsp+16], x0
001f8408movdqa x0, [rsp+80]
001f840emovaps [rsp+32], x0
001f8413jmp 0x1f8319
001f8418
001f8418 0f 1f 84 00 00 00 00 00 ........
001f8420
001f8420loc_1f8420:
001f8420call caml_bad_caml_state
001f8425
001f8425loc_1f8425:
001f8425call fn_f4590
001f82a0

001f842a
001f842a // align 0x20

001f8440
001f8440caml_alloc_7:
001f8440push r13
001f8442push r12
001f8444push rbp
001f8445push rbx
001f8446sub rsp, 216
001f844dmov rax, [0x28]
001f8456mov [rsp+200], rax
001f845emov rax, rsi
001f8461mov rsi, [rip+0x7db7c]
001f8468mov rbp, [rsi]
001f846ctest rbp, rbp
001f846fje 0x1f85e0
001f8475mov [rsp], rax
001f8479mov rax, [rsp+256]
001f8481mov ebx, edi
001f8483sub [rbp+8], 64
001f8488mov [rsp+40], rax
001f848dmov rax, [rsp+264]
001f8495mov [rsp+8], rdx
001f849amov [rsp+48], rax
001f849fmov [rsp+16], rcx
001f84a4mov [rsp+24], r8
001f84a9mov [rsp+32], r9
001f84aemov rdx, [rbp]
001f84b2mov rax, [rbp+8]
001f84b6cmp rax, rdx
001f84b9jb 0x1f8520
001f84bbadd rbx, 7168
001f84c2lea rsi, [rsp+56]
001f84c7mov [rax], rbx
001f84camov rdi, [rbp+8]
001f84cemov rax, rsp
001f84d1add rdi, 8
001f84d5mov rdx, rdi
001f84d8nop [rax]
001f84dcmov rcx, [rax]
001f84dfadd rax, 8
001f84e3add rdx, 8
001f84e7mov [rdx-8], rcx
001f84ebcmp rsi, rax
001f84eejne 0x1f84e0
001f84f0mov rax, [rsp+200]
001f84f8sub rax, [0x28]
001f8501jne 0x1f85e5
001f8507add rsp, 216
001f850emov rax, rdi
001f8511pop rbx
001f8512pop rbp
001f8513pop r12
001f8515pop r13
001f8517ret
001f8518db 0x5c
001f8519pop r13
001f851bret
001f851c
001f851c 0f 1f 40 00 ..@.
001f8520
001f8520loc_1f8520:
001f8520lea rax, [rsp+128]
001f8528xor r8l, r8l
001f852bmov rdi, rbp
001f852emov ecx, 1
001f8533mov edx, 1
001f8538movdqa x0, [rip+0x31b60]
001f8540mov r12, [rsi]
001f8544mov esi, 7
001f8549movups [rsp+136], x0
001f8551movdqa x0, [rsp]
001f8556mov r13, [r12+160]
001f855emov [r12+160], rax
001f8566lea rax, [rsp+64]
001f856bmovaps [rsp+64], x0
001f8570movdqa x0, [rsp+16]
001f8576mov [rsp+152], rax
001f857emov rax, [rsp+48]
001f8583movaps [rsp+80], x0
001f8588movdqa x0, [rsp+32]
001f858emov [rsp+112], rax
001f8593movaps [rsp+96], x0
001f8598mov [rsp+128], r13
001f85a0call caml_alloc_small_dispatch
001f85a5movdqa x0, [rsp+64]
001f85abmov rax, [rsp+112]
001f85b0mov [r12+160], r13
001f85b8movaps [rsp], x0
001f85bcmovdqa x0, [rsp+80]
001f85c2mov [rsp+48], rax
001f85c7mov rax, [rbp+8]
001f85cbmovaps [rsp+16], x0
001f85d0movdqa x0, [rsp+96]
001f85d6movaps [rsp+32], x0
001f85dbjmp 0x1f84bf
001f85e0
001f85e0loc_1f85e0:
001f85e0call caml_bad_caml_state
001f85e5
001f85e5loc_1f85e5:
001f85e5call fn_f4590
001f8440

001f85ea
001f85ea // align 0x20

001f8600
001f8600caml_alloc_8:
001f8600push r14
001f8602push r13
001f8604push r12
001f8606push rbp
001f8607push rbx
001f8608sub rsp, 208
001f860fmov rax, [0x28]
001f8618mov [rsp+200], rax
001f8620mov rax, rsi
001f8623mov rsi, [rip+0x7d9ba]
001f862amov r12, [rsi]
001f862etest r12, r12
001f8631je 0x1f87c0
001f8637mov [rsp], rax
001f863bmov rax, [rsp+256]
001f8643mov ebp, edi
001f8645lea rbx, [rsp+64]
001f864asub [r12+8], 72
001f8650mov [rsp+40], rax
001f8655mov rax, [rsp+264]
001f865dmov [rsp+8], rdx
001f8662mov [rsp+48], rax
001f8667mov rax, [rsp+272]
001f866fmov [rsp+16], rcx
001f8674mov [rsp+56], rax
001f8679mov [rsp+24], r8
001f867emov [rsp+32], r9
001f8683mov rdx, [r12]
001f8687mov rax, [r12+8]
001f868ccmp rax, rdx
001f868fjb 0x1f8700
001f8691add rbp, 8192
001f8698mov [rax], rbp
001f869bmov rsi, [r12+8]
001f86a0mov rax, rsp
001f86a3add rsi, 8
001f86a7mov rdx, rsi
001f86aanop [rax+rax]
001f86b5nop [rax]
001f86bcmov rcx, [rax]
001f86bfadd rax, 8
001f86c3add rdx, 8
001f86c7mov [rdx-8], rcx
001f86cbcmp rax, rbx
001f86cejne 0x1f86c0
001f86d0mov rax, [rsp+200]
001f86d8sub rax, [0x28]
001f86e1jne 0x1f87c5
001f86e7add rsp, 208
001f86eemov rax, rsi
001f86f1pop rbx
001f86f2pop rbp
001f86f3pop r12
001f86f5pop r13
001f86f7pop r14
001f86f9ret
001f86fadb 0x5d
001f86fbpop r14
001f86fdret
001f86fe
001f86fe 66 90 f.
001f8700
001f8700loc_1f8700:
001f8700lea rax, [rsp+128]
001f8708xor r8l, r8l
001f870bmov rdi, r12
001f870emov ecx, 1
001f8713mov edx, 1
001f8718movdqa x0, [rip+0x31990]
001f8720mov r13, [rsi]
001f8724mov esi, 8
001f8729mov [rsp+152], rbx
001f8731movups [rsp+136], x0
001f8739movdqa x0, [rsp]
001f873emov r14, [r13+160]
001f8745mov [r13+160], rax
001f874cmovaps [rsp+64], x0
001f8751movdqa x0, [rsp+16]
001f8757mov [rsp+128], r14
001f875fmovaps [rsp+80], x0
001f8764movdqa x0, [rsp+32]
001f876amovaps [rsp+96], x0
001f876fmovdqa x0, [rsp+48]
001f8775movaps [rsp+112], x0
001f877acall caml_alloc_small_dispatch
001f877fmovdqa x0, [rsp+64]
001f8785mov [r13+160], r14
001f878cmov rax, [r12+8]
001f8791movaps [rsp], x0
001f8795movdqa x0, [rsp+80]
001f879bmovaps [rsp+16], x0
001f87a0movdqa x0, [rsp+96]
001f87a6movaps [rsp+32], x0
001f87abmovdqa x0, [rsp+112]
001f87b1movaps [rsp+48], x0
001f87b6jmp 0x1f8695
001f87bb
001f87bb 0f 1f 44 00 00 ..D..
001f87c0
001f87c0loc_1f87c0:
001f87c0call caml_bad_caml_state
001f87c5
001f87c5loc_1f87c5:
001f87c5call fn_f4590
001f8600

001f87ca
001f87ca // align 0x20

001f87e0
001f87e0caml_alloc_9:
001f87e0push r13
001f87e2push r12
001f87e4push rbp
001f87e5push rbx
001f87e6sub rsp, 232
001f87edmov rax, [0x28]
001f87f6mov [rsp+216], rax
001f87femov rax, rsi
001f8801mov rsi, [rip+0x7d7dc]
001f8808mov rbp, [rsi]
001f880ctest rbp, rbp
001f880fje 0x1f8a18
001f8815mov [rsp+64], rax
001f881amov rax, [rsp+272]
001f8822mov ebx, edi
001f8824sub [rbp+8], 80
001f8829mov [rsp+104], rax
001f882emov rax, [rsp+280]
001f8836mov [rsp+72], rdx
001f883bmov [rsp+112], rax
001f8840mov rax, [rsp+288]
001f8848mov [rsp+80], rcx
001f884dmov [rsp+120], rax
001f8852mov rax, [rsp+296]
001f885amov [rsp+88], r8
001f885fmov [rsp+128], rax
001f8867mov [rsp+96], r9
001f886cmov rdx, [rbp]
001f8870mov rax, [rbp+8]
001f8874cmp rax, rdx
001f8877jb 0x1f8900
001f887dmov ebx, ebx
001f887flea rsi, [rsp+136]
001f8887add rbx, 9216
001f888emov [rax], rbx
001f8891mov rdi, [rbp+8]
001f8895lea rax, [rsp+64]
001f889aadd rdi, 8
001f889emov rdx, rdi
001f88a1nop [rax+rax]
001f88acnop [rax+rax]
001f88b7nop [rax+rax]
001f88bcmov rcx, [rax]
001f88bfadd rax, 8
001f88c3add rdx, 8
001f88c7mov [rdx-8], rcx
001f88cbcmp rsi, rax
001f88cejne 0x1f88c0
001f88d0mov rax, [rsp+216]
001f88d8sub rax, [0x28]
001f88e1jne 0x1f8a1d
001f88e7add rsp, 232
001f88eemov rax, rdi
001f88f1pop rbx
001f88f2pop rbp
001f88f3pop r12
001f88f5pop r13
001f88f7ret
001f88f8db 0x5c
001f88f9pop r13
001f88fbret
001f88fc
001f88fc 0f 1f 40 00 ..@.
001f8900
001f8900loc_1f8900:
001f8900lea rax, [rsp+144]
001f8908lea rdx, [rsp+216]
001f8910mov r12, [rsi]
001f8914movdqa x0, [rip+0x317a4]
001f891cmov [rsp+24], rax
001f8921mov r13, [r12+160]
001f8929mov [r12+160], rsp
001f8931movups [rsp+8], x0
001f8936mov [rsp], r13
001f893a
001f893aloc_1f893a:
001f893amov [rax], 1
001f8941add rax, 24
001f8945mov [rax-16], 1
001f894dmov [rax-8], 1
001f8955cmp rdx, rax
001f8958jne 0x1f893a
001f895axor r8l, r8l
001f895dmov ecx, 1
001f8962mov edx, 1
001f8967mov rdi, rbp
001f896amovdqa x0, [rsp+64]
001f8970mov rax, [rsp+128]
001f8978mov esi, 9
001f897dmovaps [rsp+144], x0
001f8985movdqa x0, [rsp+80]
001f898bmov [rsp+208], rax
001f8993movaps [rsp+160], x0
001f899bmovdqa x0, [rsp+96]
001f89a1movaps [rsp+176], x0
001f89a9movdqa x0, [rsp+112]
001f89afmovaps [rsp+192], x0
001f89b7call caml_alloc_small_dispatch
001f89bcmov rax, [rsp+208]
001f89c4movdqa x0, [rsp+144]
001f89cdmov [r12+160], r13
001f89d5movaps [rsp+64], x0
001f89damovdqa x0, [rsp+160]
001f89e3mov [rsp+128], rax
001f89ebmov rax, [rbp+8]
001f89efmovaps [rsp+80], x0
001f89f4movdqa x0, [rsp+176]
001f89fdmovaps [rsp+96], x0
001f8a02movdqa x0, [rsp+192]
001f8a0bmovaps [rsp+112], x0
001f8a10jmp 0x1f8881
001f8a15
001f8a15 0f 1f 00 ...
001f8a18
001f8a18loc_1f8a18:
001f8a18call caml_bad_caml_state
001f8a1d
001f8a1dloc_1f8a1d:
001f8a1dcall fn_f4590
001f87e0

001f8a22
001f8a22 // align 0x10

001f8a30
001f8a30caml_alloc_small:
001f8a30mov rax, [rip+0x7d5ad]
001f8a37push r12
001f8a39lea rdx, [8*rdi]
001f8a41mov r12l, esi
001f8a44push rbp
001f8a45push rbx
001f8a46mov rbp, [rax]
001f8a4amov rax, -8
001f8a51mov rbx, rdi
001f8a54sub rax, rdx
001f8a57add [rbp+8], rax
001f8a5bmov rdx, [rbp]
001f8a5fmov rax, [rbp+8]
001f8a63cmp rax, rdx
001f8a66jb 0x1f8a88
001f8a68shl rbx, 10
001f8a6c
001f8a6cloc_1f8a6c:
001f8a6cadd rbx, r12
001f8a6fmov [rax], rbx
001f8a72mov rax, [rbp+8]
001f8a76pop rbx
001f8a77pop rbp
001f8a78add rax, 8
001f8a7cpop r12
001f8a7eret
001f8a7fdb 0x08
001f8a80pop r12
001f8a82ret
001f8a83
001f8a83 0f 1f 44 00 00 ..D..
001f8a88
001f8a88loc_1f8a88:
001f8a88mov rsi, rdi
001f8a8bxor r8l, r8l
001f8a8emov ecx, 1
001f8a93mov edx, 1
001f8a98mov rdi, rbp
001f8a9bcall caml_alloc_small_dispatch
001f8aa0mov rax, [rbp+8]
001f8aa4jmp 0x1f8a6c
001f8a30

001f8aa6
001f8aa6 // align 0x10

001f8ab0
001f8ab0caml_alloc_tuple:
001f8ab0xor esi, esi
001f8ab2jmp 0x1f7ac0
001f8ab7db 0x05
001f8ab8db 0xf0
001f8ab9db 0xff
001f8abadb 0xff
001f8ab0

001f8abb
001f8abb // align 0x10

001f8ac0
001f8ac0caml_alloc_string:
001f8ac0push r13
001f8ac2push r12
001f8ac4push rbp
001f8ac5mov rbp, rdi
001f8ac8push rbx
001f8ac9lea rbx, [rdi+8]
001f8acdmov r13, rbx
001f8ad0shr r13, 3
001f8ad4sub rsp, 8
001f8ad8cmp rbx, 2055
001f8adfja 0x1f8b58
001f8ae1mov rax, [rip+0x7d4fc]
001f8ae8mov r12, [rax]
001f8aectest r12, r12
001f8aefje 0x1f8b90
001f8af5mov rax, rbx
001f8af8not rax
001f8afband rax, -8
001f8affadd [r12+8], rax
001f8b04mov rdx, [r12]
001f8b08mov rax, [r12+8]
001f8b0dcmp rax, rdx
001f8b10jb 0x1f8b70
001f8b12shl r13, 10
001f8b16
001f8b16loc_1f8b16:
001f8b16add r13, 252
001f8b1dmov [rax], r13
001f8b20mov rax, [r12+8]
001f8b25add rax, 8
001f8b29and rbx, -8
001f8b2d
001f8b2dloc_1f8b2d:
001f8b2dlea rdx, [rbx+rax-8]
001f8b32mov [rdx], 0
001f8b39lea rdx, [rbx-1]
001f8b3dsub edx, ebp
001f8b3fmov [rbx+rax-1], dl
001f8b43add rsp, 8
001f8b47pop rbx
001f8b48pop rbp
001f8b49pop r12
001f8b4bpop r13
001f8b4dret
001f8b4edb 0x5c
001f8b4fpop r13
001f8b51ret
001f8b52
001f8b52 66 0f 1f 44 00 00 f..D..
001f8b58
001f8b58loc_1f8b58:
001f8b58mov rdi, r13
001f8b5bmov esi, 252
001f8b60call caml_alloc_shr
001f8b65mov rdi, rax
001f8b68call caml_check_urgent_gc
001f8b6djmp 0x1f8b2d
001f8b6f
001f8b6f 90 .
001f8b70
001f8b70loc_1f8b70:
001f8b70xor r8l, r8l
001f8b73mov ecx, 1
001f8b78mov edx, 1
001f8b7dmov rsi, r13
001f8b80mov rdi, r12
001f8b83call caml_alloc_small_dispatch
001f8b88mov rax, [r12+8]
001f8b8djmp 0x1f8b16
001f8b8f
001f8b8f 90 .
001f8b90
001f8b90loc_1f8b90:
001f8b90call caml_bad_caml_state
001f8ac0

001f8b95
001f8b95 // align 0x10

001f8ba0
001f8ba0caml_copy_string:
001f8ba0push rbp
001f8ba1push rbx
001f8ba2mov rbx, rdi
001f8ba5sub rsp, 8
001f8ba9call fn_f43a0
001f8baemov rdi, rax
001f8bb1mov rbp, rax
001f8bb4call caml_alloc_string
001f8bb9mov rdx, rbp
001f8bbcmov rsi, rbx
001f8bbfmov rdi, rax
001f8bc2call fn_f47d0
001f8bc7add rsp, 8
001f8bcbpop rbx
001f8bccpop rbp
001f8bcdret
001f8bcedb 0x08
001f8bcfpop rbx
001f8bd0pop rbp
001f8bd1ret
001f8ba0

001f8bd2
001f8bd2 // align 0x10

001f8be0
001f8be0caml_alloc_initialized_string:
001f8be0push rbp
001f8be1mov rbp, rsi
001f8be4push rbx
001f8be5mov rbx, rdi
001f8be8sub rsp, 8
001f8beccall caml_alloc_string
001f8bf1mov rdx, rbx
001f8bf4mov rsi, rbp
001f8bf7mov rdi, rax
001f8bfacall fn_f47d0
001f8bffadd rsp, 8
001f8c03pop rbx
001f8c04pop rbp
001f8c05ret
001f8c06db 0x08
001f8c07pop rbx
001f8c08pop rbp
001f8c09ret
001f8be0

001f8c0a
001f8c0a // align 0x10

001f8c10
001f8c10caml_alloc_final:
001f8c10push r12
001f8c12mov r12, rcx
001f8c15push rbp
001f8c16mov rbp, rdx
001f8c19push rbx
001f8c1amov rbx, rdi
001f8c1dmov rdi, rsi
001f8c20call caml_final_custom_operations
001f8c25lea rsi, [8*rbx]
001f8c2dmov rcx, r12
001f8c30pop rbx
001f8c31mov rdx, rbp
001f8c34mov rdi, rax
001f8c37pop rbp
001f8c38pop r12
001f8c3ajmp 0x200bd0
001f8c3fdb 0x8d
001f8c40jg 0x1f8c42
001f8c42db 0x00
001f8c10

001f8c43
001f8c43 // align 0x10

001f8c50
001f8c50caml_alloc_array:
001f8c50push r15
001f8c52push r14
001f8c54push r13
001f8c56push r12
001f8c58push rbp
001f8c59push rbx
001f8c5asub rsp, 104
001f8c5emovdqa x0, [rip+0x31466]
001f8c66mov rax, [0x28]
001f8c6fmov [rsp+88], rax
001f8c74mov rax, [rip+0x7d369]
001f8c7bmov r12, [rax]
001f8c7flea rax, [rsp+16]
001f8c84movups [rsp+24], x0
001f8c89movq x0, rsp
001f8c8emov [rsp], 1
001f8c96mov r13, [r12+160]
001f8c9emov [r12+160], rax
001f8ca6lea rax, [rsp+8]
001f8cabmovq x1, rax
001f8cb0cmp [rsi], 0
001f8cb4mov [rsp+8], 1
001f8cbdpunpcklqdq x0, x1
001f8cc1mov [rsp+16], r13
001f8cc6movups [rsp+40], x0
001f8ccbje 0x1f8d68
001f8cd1mov rbp, rdi
001f8cd4mov r15, rsi
001f8cd7xor ebx, ebx
001f8cd9nop [rax]
001f8cdcmov r14, rbx
001f8cdflea rbx, [rbx+1]
001f8ce3cmp [r15+8*r14+8], 0
001f8ce9jne 0x1f8ce0
001f8cebxor esi, esi
001f8cedmov rdi, rbx
001f8cf0call caml_alloc
001f8cf5mov [rsp+8], rax
001f8cfatest rbx, rbx
001f8cfdje 0x1f8d3c
001f8cffxor ebx, ebx
001f8d01nop [rax+rax]
001f8d0cmov rdi, [r15+8*rbx]
001f8d10
001f8d10loc_1f8d10:
001f8d10call rbp
001f8d12mov [rsp], rax
001f8d16mov rsi, rax
001f8d19mov rax, [rsp+8]
001f8d1elea rdi, [rax+8*rbx]
001f8d22call caml_modify
001f8d27mov rax, rbx
001f8d2aadd rbx, 1
001f8d2ecmp r14, rax
001f8d31jne 0x1f8d10
001f8d33mov rax, [rsp+8]
001f8d38mov [r12+160], r13
001f8d40mov rdx, [rsp+88]
001f8d45sub rdx, [0x28]
001f8d4ejne 0x1f8d73
001f8d50add rsp, 104
001f8d54pop rbx
001f8d55pop rbp
001f8d56pop r12
001f8d58pop r13
001f8d5apop r14
001f8d5cpop r15
001f8d5eret
001f8d5fdb 0x5e
001f8d60pop r15
001f8d62ret
001f8d63
001f8d63 0f 1f 44 00 00 ..D..
001f8d68
001f8d68loc_1f8d68:
001f8d68xor esi, esi
001f8d6axor edi, edi
001f8d6ccall caml_alloc
001f8d71jmp 0x1f8d3c
001f8d73
001f8d73loc_1f8d73:
001f8d73call fn_f4590
001f8c50

001f8d78
001f8d78 // align 0x10

001f8d80
001f8d80caml_alloc_float_array:
001f8d80push rbp
001f8d81push rbx
001f8d82sub rsp, 8
001f8d86mov rax, [rip+0x7d257]
001f8d8dmov rbp, [rax]
001f8d91test rbp, rbp
001f8d94je 0x1f8e20
001f8d9amov rbx, rdi
001f8d9dcmp rdi, 256
001f8da4ja 0x1f8e00
001f8da6test rdi, rdi
001f8da9je 0x1f8df0
001f8dablea rdx, [8*rdi]
001f8db3mov rax, -8
001f8dbasub rax, rdx
001f8dbdadd [rbp+8], rax
001f8dc1mov rdx, [rbp]
001f8dc5mov rax, [rbp+8]
001f8dc9cmp rax, rdx
001f8dccjb 0x1f8e28
001f8dceshl rbx, 10
001f8dd2
001f8dd2loc_1f8dd2:
001f8dd2add rbx, 254
001f8dd9mov [rax], rbx
001f8ddcmov rax, [rbp+8]
001f8de0add rsp, 8
001f8de4pop rbx
001f8de5pop rbp
001f8de6add rax, 8
001f8dearet
001f8debdb 0x83
001f8decror [rax], -61
001f8def
001f8def 90 .
001f8df0
001f8df0loc_1f8df0:
001f8df0add rsp, 8
001f8df4xor edi, edi
001f8df6pop rbx
001f8df7pop rbp
001f8df8jmp 0x21ec80
001f8dfd
001f8dfd 0f 1f 00 ...
001f8e00
001f8e00loc_1f8e00:
001f8e00mov esi, 254
001f8e05call caml_alloc_shr
001f8e0aadd rsp, 8
001f8e0epop rbx
001f8e0fmov rdi, rax
001f8e12pop rbp
001f8e13jmp 0x21aac0
001f8e18
001f8e18 0f 1f 84 00 00 00 00 00 ........
001f8e20
001f8e20loc_1f8e20:
001f8e20call caml_bad_caml_state
001f8e25nop [rax]
001f8e28
001f8e28loc_1f8e28:
001f8e28mov rsi, rdi
001f8e2bxor r8l, r8l
001f8e2emov ecx, 1
001f8e33mov edx, 1
001f8e38mov rdi, rbp
001f8e3bcall caml_alloc_small_dispatch
001f8e40mov rax, [rbp+8]
001f8e44jmp 0x1f8dd2
001f8d80

001f8e46
001f8e46 // align 0x10

001f8e50
001f8e50caml_copy_string_array:
001f8e50mov rsi, rdi
001f8e53lea rdi, [rip-702]
001f8e5ajmp 0x1f8c50
001f8e5fdb 0xed
001f8e60std
001f8e61db 0xff
001f8e62db 0xff
001f8e50

001f8e63
001f8e63 // align 0x20

001f8e80
001f8e80caml_convert_flag_list:
001f8e80xor edx, edx
001f8e82cmp rdi, 1
001f8e86je 0x1f8eb5
001f8e88nop [rax+rax]
001f8e93nop [rax+rax]
001f8e9cmov rax, [rdi]
001f8e9fmov rdi, [rdi+8]
001f8ea3sar rax, 1
001f8ea6cdqe
001f8ea8or edx, [rsi+4*rax]
001f8eabcmp rdi, 1
001f8eafjne 0x1f8ea0
001f8eb1mov eax, edx
001f8eb3ret
001f8eb4db 0xeb
001f8eb5
001f8eb5loc_1f8eb5:
001f8eb5mov eax, edx
001f8eb7ret
001f8e80

001f8eb8
001f8eb8 // align 0x10

001f8ec0
001f8ec0caml_alloc_dummy:
001f8ec0sar rdi, 1
001f8ec3xor esi, esi
001f8ec5jmp 0x1f7ac0
001f8ecadb 0xf2
001f8ecbjmp 0x1f8ecc
001f8ecddb 0xff
001f8ec0

001f8ece
001f8ece // align 0x10

001f8ed0
001f8ed0caml_alloc_dummy_function:
001f8ed0sar rdi, 1
001f8ed3xor esi, esi
001f8ed5jmp 0x1f7ac0
001f8edadb 0xe2
001f8edbjmp 0x1f8edc
001f8edddb 0xff
001f8ed0

001f8ede
001f8ede // align 0x10

001f8ee0
001f8ee0caml_alloc_dummy_float:
001f8ee0sar rdi, 1
001f8ee3xor esi, esi
001f8ee5jmp 0x1f7ac0
001f8eeadb 0xd2
001f8eebjmp 0x1f8eec
001f8eeddb 0xff
001f8ee0

001f8eee
001f8eee // align 0x10

001f8ef0
001f8ef0caml_alloc_dummy_infix:
001f8ef0push rbp
001f8ef1sar rsi, 1
001f8ef4mov rbp, rdi
001f8ef7sar rdi, 1
001f8efapush rbx
001f8efbmov rbx, rsi
001f8efemov esi, 247
001f8f03or rbp, 1
001f8f07sub rsp, 8
001f8f0bcall caml_alloc
001f8f10mov [rax+8], rbp
001f8f14test rbx, rbx
001f8f17je 0x1f8f30
001f8f19lea rax, [rax+8*rbx]
001f8f1dshl rbx, 10
001f8f21add rbx, 249
001f8f28mov [rax-8], rbx
001f8f2cadd rsp, 8
001f8f30
001f8f30loc_1f8f30:
001f8f30pop rbx
001f8f31pop rbp
001f8f32ret
001f8f33db 0x08
001f8f34pop rbx
001f8f35pop rbp
001f8f36ret
001f8ef0

001f8f37
001f8f37 // align 0x10

001f8f40
001f8f40caml_update_dummy:
001f8f40movzx edx, [rsi-8]
001f8f44mov rax, [rdi-8]
001f8f48shr rax, 10
001f8f4cje 0x1f8fb0
001f8f4epush r12
001f8f50mov rcx, rdi
001f8f53movzx eax, dl
001f8f56push rbp
001f8f57push rbx
001f8f58mov rbx, rsi
001f8f5bcmp dl, -2
001f8f5eje 0x1f8fc0
001f8f60cmp eax, 249
001f8f65je 0x1f8ff8
001f8f6bmov [rdi-8], dl
001f8f6emov rax, [rsi-8]
001f8f72shr rax, 10
001f8f76je 0x1f8fa6
001f8f78sub rcx, rsi
001f8f7blea r12, [rsi+8*rax]
001f8f7fmov rbp, rcx
001f8f82nop [rax+rax]
001f8f8cmov rsi, [rbx]
001f8f8flea rdi, [rbp+rbx]
001f8f94add rbx, 8
001f8f98call caml_modify
001f8f9dcmp rbx, r12
001f8fa0jne 0x1f8f90
001f8fa2pop rbx
001f8fa3mov eax, 1
001f8fa8pop rbp
001f8fa9pop r12
001f8fabret
001f8facmov eax, 1
001f8fb1ret
001f8fb2db 0x00
001f8fb3add [rax], al
001f8fb5ret
001f8fb6
001f8fb6 66 2e 0f 1f 84 00 00 00 00 00 f.........
001f8fc0
001f8fc0loc_1f8fc0:
001f8fc0mov [rdi-8], -2
001f8fc4mov rax, [rsi-8]
001f8fc8shr rax, 10
001f8fccje 0x1f8fa6
001f8fcesub rcx, rsi
001f8fd1lea rax, [rsi+8*rax]
001f8fd5mov rbp, rcx
001f8fd8nop [rax+rax]
001f8fe0
001f8fe0loc_1f8fe0:
001f8fe0movsd_xmm x0, [rbx]
001f8fe4movsd_xmm [rbp+rbx], x0
001f8feaadd rbx, 8
001f8feecmp rbx, rax
001f8ff1jne 0x1f8fe0
001f8ff3jmp 0x1f8fa6
001f8ff5
001f8ff5 0f 1f 00 ...
001f8ff8
001f8ff8loc_1f8ff8:
001f8ff8mov rax, [rsi-8]
001f8ffcmov rdx, [rdi-8]
001f9000mov rbp, rsi
001f9003shr rax, 10
001f9007shr rdx, 10
001f900bshl rax, 3
001f900fshl rdx, 3
001f9013sub rbp, rax
001f9016sub rcx, rdx
001f9019mov rdx, [rbp-8]
001f901dshr rdx, 10
001f9021je 0x1f8fa6
001f9023sub rax, rsi
001f9026lea r12, [rbp+8*rdx]
001f902blea rbx, [rax+rcx]
001f902fnop
001f9030
001f9030loc_1f9030:
001f9030mov rsi, [rbp]
001f9034lea rdi, [rbx+rbp]
001f9038add rbp, 8
001f903ccall caml_modify
001f9041cmp rbp, r12
001f9044jne 0x1f9030
001f9046pop rbx
001f9047mov eax, 1
001f904cpop rbp
001f904dpop r12
001f904fret
001f8f40

001f9050
001f9050caml_alloc_some:
001f9050push rbp
001f9051push rbx
001f9052sub rsp, 104
001f9056mov [rsp+8], rdi
001f905bmov rax, [0x28]
001f9064mov [rsp+88], rax
001f9069mov rax, [rip+0x7cf74]
001f9070mov rbx, [rax]
001f9074lea rax, [rsp+16]
001f9079mov rbp, [rbx+160]
001f9080mov [rbx+160], rax
001f9087mov eax, 1
001f908cmovq x0, rax
001f9091lea rax, [rsp+8]
001f9096punpcklqdq x0, x0
001f909amov [rsp+40], rax
001f909fmovups [rsp+24], x0
001f90a4mov [rsp+16], rbp
001f90a9sub [rbx+8], 16
001f90aemov rdx, [rbx]
001f90b1mov rax, [rbx+8]
001f90b5cmp rax, rdx
001f90b8jb 0x1f90f8
001f90bamov [rax], 1024
001f90c1mov rax, [rbx+8]
001f90c5mov rdx, [rsp+8]
001f90caadd rax, 8
001f90cemov [rax], rdx
001f90d1mov [rbx+160], rbp
001f90d8mov rdx, [rsp+88]
001f90ddsub rdx, [0x28]
001f90e6jne 0x1f9118
001f90e8add rsp, 104
001f90ecpop rbx
001f90edpop rbp
001f90eeret
001f90efdb 0x68
001f90f0pop rbx
001f90f1pop rbp
001f90f2ret
001f90f3
001f90f3 0f 1f 44 00 00 ..D..
001f90f8
001f90f8loc_1f90f8:
001f90f8xor r8l, r8l
001f90fbmov ecx, 1
001f9100mov edx, 1
001f9105mov esi, 1
001f910amov rdi, rbx
001f910dcall caml_alloc_small_dispatch
001f9112mov rax, [rbx+8]
001f9116jmp 0x1f90be
001f9118
001f9118loc_1f9118:
001f9118call fn_f4590
001f9050

001f911d
001f911d // align 0x10

001f9120
001f9120caml_atomic_make_contended:
001f9120push r12
001f9122xor esi, esi
001f9124push rbp
001f9125push rbx
001f9126sub rsp, 96
001f912amov [rsp+8], rdi
001f912fmov edi, 7
001f9134mov rax, [0x28]
001f913dmov [rsp+88], rax
001f9142mov rax, [rip+0x7ce9b]
001f9149mov rbp, [rax]
001f914dlea rax, [rsp+16]
001f9152mov r12, [rbp+160]
001f9159mov [rbp+160], rax
001f9160mov eax, 1
001f9165movq x0, rax
001f916alea rax, [rsp+8]
001f916fpunpcklqdq x0, x0
001f9173mov [rsp+16], r12
001f9178movups [rsp+24], x0
001f917dmov [rsp+40], rax
001f9182call caml_alloc_shr
001f9187mov rsi, [rsp+8]
001f918cmov rbx, rax
001f918fmov rdi, rax
001f9192call caml_initialize
001f9197lea rdx, [rbx+8]
001f919blea rax, [rbx+56]
001f919fmov [rdx], 1
001f91a6add rdx, 16
001f91aamov [rdx-8], 1
001f91b2cmp rdx, rax
001f91b5jne 0x1f91a3
001f91b7mov [rbp+160], r12
001f91bemov rax, [rsp+88]
001f91c3sub rax, [0x28]
001f91ccjne 0x1f91de
001f91ceadd rsp, 96
001f91d2mov rax, rbx
001f91d5pop rbx
001f91d6pop rbp
001f91d7pop r12
001f91d9ret
001f91dacall fn_f4590
001f91dfdb 0xad
001f91e0mov bl, 239
001f91e2db 0xff
001f9120