Similarity

001e3eb0
001e3eb0Stdlib.Random.entry:
001e3eb0lea r10, [rsp-320]
001e3eb8cmp r10, [r14+40]
001e3ebcjb 0x1e4aff
001e3ec2
001e3ec2loc_1e3ec2:
001e3ec2lea rsi, [rip+0x183a2f]
001e3ec9lea rdi, [rip+0x184030]
001e3ed0add rdi, 192
001e3ed7mov rbx, rsp
001e3edamov rsp, [r14+64]
001e3edecall caml_initialize
001e3ee3mov rsp, rbx
001e3ee6lea rsi, [rip+0x183a23]
001e3eedlea rdi, [rip+0x18400c]
001e3ef4add rdi, 200
001e3efbmov rbx, rsp
001e3efemov rsp, [r14+64]
001e3f02call caml_initialize
001e3f07mov rsp, rbx
001e3f0alea rsi, [rip+0x183a1f]
001e3f11lea rdi, [rip+0x183fe8]
001e3f18add rdi, 208
001e3f1fmov rbx, rsp
001e3f22mov rsp, [r14+64]
001e3f26call caml_initialize
001e3f2bmov rsp, rbx
001e3f2elea rsi, [rip+0x18429b]
001e3f35lea rdi, [rip+0x183fc4]
001e3f3cadd rdi, 216
001e3f43mov rbx, rsp
001e3f46mov rsp, [r14+64]
001e3f4acall caml_initialize
001e3f4fmov rsp, rbx
001e3f52mov esi, 11
001e3f57lea rdi, [rip+0x183fa2]
001e3f5eadd rdi, 224
001e3f65mov rbx, rsp
001e3f68mov rsp, [r14+64]
001e3f6ccall caml_initialize
001e3f71mov rsp, rbx
001e3f74lea rsi, [rip+0x1839d5]
001e3f7blea rdi, [rip+0x183f7e]
001e3f82add rdi, 232
001e3f89mov rbx, rsp
001e3f8cmov rsp, [r14+64]
001e3f90call caml_initialize
001e3f95mov rsp, rbx
001e3f98lea rsi, [rip+0x1839c9]
001e3f9flea rdi, [rip+0x183f5a]
001e3fa6add rdi, 240
001e3fadmov rbx, rsp
001e3fb0mov rsp, [r14+64]
001e3fb4call caml_initialize
001e3fb9mov rsp, rbx
001e3fbclea rsi, [rip+0x1839bd]
001e3fc3lea rdi, [rip+0x183f36]
001e3fcaadd rdi, 248
001e3fd1mov rbx, rsp
001e3fd4mov rsp, [r14+64]
001e3fd8call caml_initialize
001e3fddmov rsp, rbx
001e3fe0lea rsi, [rip+0x1839b9]
001e3fe7lea rdi, [rip+0x183f12]
001e3feeadd rdi, 256
001e3ff5mov rbx, rsp
001e3ff8mov rsp, [r14+64]
001e3ffccall caml_initialize
001e4001mov rsp, rbx
001e4004lea rsi, [rip+0x1839ad]
001e400blea rdi, [rip+0x183eee]
001e4012add rdi, 264
001e4019mov rbx, rsp
001e401cmov rsp, [r14+64]
001e4020call caml_initialize
001e4025mov rsp, rbx
001e4028lea rsi, [rip+0x1839a9]
001e402flea rdi, [rip+0x183eca]
001e4036add rdi, 272
001e403dmov rbx, rsp
001e4040mov rsp, [r14+64]
001e4044call caml_initialize
001e4049mov rsp, rbx
001e404clea rsi, [rip+0x18399d]
001e4053lea rdi, [rip+0x183ea6]
001e405aadd rdi, 280
001e4061mov rbx, rsp
001e4064mov rsp, [r14+64]
001e4068call caml_initialize
001e406dmov rsp, rbx
001e4070mov rsi, 0xffffffff80000001
001e4077lea rdi, [rip+0x183e82]
001e407eadd rdi, 288
001e4085mov rbx, rsp
001e4088mov rsp, [r14+64]
001e408ccall caml_initialize
001e4091mov rsp, rbx
001e4094mov esi, 0x7fffffff
001e4099lea rdi, [rip+0x183e60]
001e40a0add rdi, 296
001e40a7mov rbx, rsp
001e40aamov rsp, [r14+64]
001e40aecall caml_initialize
001e40b3mov rsp, rbx
001e40b6mov rsi, 0xffffffff00000001
001e40c0lea rdi, [rip+0x183e39]
001e40c7add rdi, 304
001e40cemov rbx, rsp
001e40d1mov rsp, [r14+64]
001e40d5call caml_initialize
001e40damov rsp, rbx
001e40ddmov esi, -1
001e40e2lea rdi, [rip+0x183e17]
001e40e9add rdi, 312
001e40f0mov rbx, rsp
001e40f3mov rsp, [r14+64]
001e40f7call caml_initialize
001e40fcmov rsp, rbx
001e40fflea rsi, [rip+0x183902]
001e4106lea rdi, [rip+0x183df3]
001e410dadd rdi, 320
001e4114mov rbx, rsp
001e4117mov rsp, [r14+64]
001e411bcall caml_initialize
001e4120mov rsp, rbx
001e4123lea rsi, [rip+0x1838f6]
001e412alea rdi, [rip+0x183dcf]
001e4131add rdi, 328
001e4138mov rbx, rsp
001e413bmov rsp, [r14+64]
001e413fcall caml_initialize
001e4144mov rsp, rbx
001e4147lea rsi, [rip+0x1838f2]
001e414elea rdi, [rip+0x183dab]
001e4155add rdi, 336
001e415cmov rbx, rsp
001e415fmov rsp, [r14+64]
001e4163call caml_initialize
001e4168mov rsp, rbx
001e416blea rsi, [rip+0x1838ee]
001e4172lea rdi, [rip+0x183d87]
001e4179add rdi, 344
001e4180mov rbx, rsp
001e4183mov rsp, [r14+64]
001e4187call caml_initialize
001e418cmov rsp, rbx
001e418flea rsi, [rip+0x1838ea]
001e4196lea rdi, [rip+0x183d63]
001e419dadd rdi, 352
001e41a4mov rbx, rsp
001e41a7mov rsp, [r14+64]
001e41abcall caml_initialize
001e41b0mov rsp, rbx
001e41b3lea rsi, [rip+0x1838e6]
001e41balea rdi, [rip+0x183d3f]
001e41c1add rdi, 360
001e41c8mov rbx, rsp
001e41cbmov rsp, [r14+64]
001e41cfcall caml_initialize
001e41d4mov rsp, rbx
001e41d7lea rsi, [rip+0x1838e2]
001e41delea rdi, [rip+0x183d1b]
001e41e5add rdi, 368
001e41ecmov rbx, rsp
001e41efmov rsp, [r14+64]
001e41f3call caml_initialize
001e41f8mov rsp, rbx
001e41fblea rsi, [rip+0x1838de]
001e4202lea rdi, [rip+0x183cf7]
001e4209add rdi, 376
001e4210mov rbx, rsp
001e4213mov rsp, [r14+64]
001e4217call caml_initialize
001e421cmov rsp, rbx
001e421flea rsi, [rip+0x1838d2]
001e4226lea rdi, [rip+0x183cd3]
001e422dadd rdi, 384
001e4234mov rbx, rsp
001e4237mov rsp, [r14+64]
001e423bcall caml_initialize
001e4240mov rsp, rbx
001e4243lea rsi, [rip+0x1838ce]
001e424alea rdi, [rip+0x183caf]
001e4251add rdi, 392
001e4258mov rbx, rsp
001e425bmov rsp, [r14+64]
001e425fcall caml_initialize
001e4264mov rsp, rbx
001e4267lea rsi, [rip+0x1838ca]
001e426elea rdi, [rip+0x183c8b]
001e4275add rdi, 400
001e427cmov rbx, rsp
001e427fmov rsp, [r14+64]
001e4283call caml_initialize
001e4288mov rsp, rbx
001e428blea rsi, [rip+0x1838c6]
001e4292lea rdi, [rip+0x183c67]
001e4299add rdi, 408
001e42a0mov rbx, rsp
001e42a3mov rsp, [r14+64]
001e42a7call caml_initialize
001e42acmov rsp, rbx
001e42aflea rsi, [rip+0x1838c2]
001e42b6lea rdi, [rip+0x183c43]
001e42bdadd rdi, 416
001e42c4mov rbx, rsp
001e42c7mov rsp, [r14+64]
001e42cbcall caml_initialize
001e42d0mov rsp, rbx
001e42d3lea rsi, [rip+0x1838b6]
001e42dalea rdi, [rip+0x183c1f]
001e42e1add rdi, 424
001e42e8mov rbx, rsp
001e42ebmov rsp, [r14+64]
001e42efcall caml_initialize
001e42f4mov rsp, rbx
001e42f7lea rsi, [rip+0x1838b2]
001e42felea rdi, [rip+0x183bfb]
001e4305add rdi, 432
001e430cmov rbx, rsp
001e430fmov rsp, [r14+64]
001e4313call caml_initialize
001e4318mov rsp, rbx
001e431blea rsi, [rip+0x1838ae]
001e4322lea rdi, [rip+0x183bd7]
001e4329add rdi, 440
001e4330mov rbx, rsp
001e4333mov rsp, [r14+64]
001e4337call caml_initialize
001e433cmov rsp, rbx
001e433flea rsi, [rip+0x1838aa]
001e4346lea rdi, [rip+0x183bb3]
001e434dadd rdi, 448
001e4354mov rbx, rsp
001e4357mov rsp, [r14+64]
001e435bcall caml_initialize
001e4360mov rsp, rbx
001e4363lea rsi, [rip+0x1838a6]
001e436alea rdi, [rip+0x183b8f]
001e4371add rdi, 456
001e4378mov rbx, rsp
001e437bmov rsp, [r14+64]
001e437fcall caml_initialize
001e4384mov rsp, rbx
001e4387lea rsi, [rip+0x18389a]
001e438elea rdi, [rip+0x183b6b]
001e4395add rdi, 464
001e439cmov rbx, rsp
001e439fmov rsp, [r14+64]
001e43a3call caml_initialize
001e43a8mov rsp, rbx
001e43ablea rsi, [rip+0x183896]
001e43b2lea rdi, [rip+0x183b47]
001e43b9add rdi, 472
001e43c0mov rbx, rsp
001e43c3mov rsp, [r14+64]
001e43c7call caml_initialize
001e43ccmov rsp, rbx
001e43cflea rsi, [rip+0x183892]
001e43d6lea rdi, [rip+0x183b23]
001e43ddadd rdi, 480
001e43e4mov rbx, rsp
001e43e7mov rsp, [r14+64]
001e43ebcall caml_initialize
001e43f0mov rsp, rbx
001e43f3lea rsi, [rip+0x183886]
001e43falea rdi, [rip+0x183aff]
001e4401add rdi, 488
001e4408mov rbx, rsp
001e440bmov rsp, [r14+64]
001e440fcall caml_initialize
001e4414mov rsp, rbx
001e4417lea rsi, [rip+0x183882]
001e441elea rdi, [rip+0x183adb]
001e4425add rdi, 496
001e442cmov rbx, rsp
001e442fmov rsp, [r14+64]
001e4433call caml_initialize
001e4438mov rsp, rbx
001e443blea rsi, [rip+0x183876]
001e4442lea rdi, [rip+0x183ab7]
001e4449add rdi, 504
001e4450mov rbx, rsp
001e4453mov rsp, [r14+64]
001e4457call caml_initialize
001e445cmov rsp, rbx
001e445fsub r15, 504
001e4466call caml_allocN
001e446blea r12, [r15+8]
001e446fadd r12, 176
001e4476mov [r12-8], 40960
001e447flea rdi, [rip+0x183a7a]
001e4486mov rax, [rdi+192]
001e448dmov [r12], rax
001e4491mov rax, [rdi+200]
001e4498mov [r12+8], rax
001e449dmov rax, [rdi+208]
001e44a4mov [r12+16], rax
001e44a9lea rax, [rip+0x183d20]
001e44b0mov [r12+24], rax
001e44b5mov [r12+32], 11
001e44bemov rax, [rdi+232]
001e44c5mov [r12+40], rax
001e44camov rax, [rdi+240]
001e44d1mov [r12+48], rax
001e44d6mov rax, [rdi+248]
001e44ddmov [r12+56], rax
001e44e2mov rax, [rdi+256]
001e44e9mov [r12+64], rax
001e44eemov rax, [rdi+264]
001e44f5mov [r12+72], rax
001e44famov rax, [rdi+272]
001e4501mov [r12+80], rax
001e4506mov rax, [rdi+280]
001e450dmov [r12+88], rax
001e4512mov [r12+96], 0xffffffff80000001
001e451bmov [r12+104], 0x7fffffff
001e4524mov rax, 0xffffffff00000001
001e452emov [r12+112], rax
001e4533mov eax, -1
001e4538mov [r12+120], rax
001e453dmov rax, [rdi+320]
001e4544mov [r12+128], rax
001e454cmov rax, [rdi+328]
001e4553mov [r12+136], rax
001e455bmov rax, [rdi+336]
001e4562mov [r12+144], rax
001e456amov rax, [rdi+344]
001e4571mov [r12+152], rax
001e4579mov rax, [rdi+352]
001e4580mov [r12+160], rax
001e4588mov rax, [rdi+360]
001e458fmov [r12+168], rax
001e4597mov rax, [rdi+368]
001e459emov [r12+176], rax
001e45a6mov rax, [rdi+376]
001e45admov [r12+184], rax
001e45b5mov rax, [rdi+384]
001e45bcmov [r12+192], rax
001e45c4mov rax, [rdi+392]
001e45cbmov [r12+200], rax
001e45d3mov rax, [rdi+400]
001e45damov [r12+208], rax
001e45e2mov rax, [rdi+408]
001e45e9mov [r12+216], rax
001e45f1mov rax, [rdi+416]
001e45f8mov [r12+224], rax
001e4600mov rax, [rdi+424]
001e4607mov [r12+232], rax
001e460fmov rax, [rdi+432]
001e4616mov [r12+240], rax
001e461emov rax, [rdi+440]
001e4625mov [r12+248], rax
001e462dmov rax, [rdi+448]
001e4634mov [r12+256], rax
001e463cmov rax, [rdi+456]
001e4643mov [r12+264], rax
001e464bmov rax, [rdi+464]
001e4652mov [r12+272], rax
001e465amov rax, [rdi+472]
001e4661mov [r12+280], rax
001e4669mov rax, [rdi+480]
001e4670mov [r12+288], rax
001e4678mov rax, [rdi+488]
001e467fmov [r12+296], rax
001e4687mov rax, [rdi+496]
001e468emov [r12+304], rax
001e4696mov rax, [rdi+504]
001e469dmov [r12+312], rax
001e46a5lea rsi, [r12-176]
001e46admov [rsi-8], 21504
001e46b5mov rax, [r12+80]
001e46bamov [rsi], rax
001e46bdmov rax, [r12+88]
001e46c2mov [rsi+8], rax
001e46c6mov rax, [r12+64]
001e46cbmov [rsi+16], rax
001e46cfmov rax, [r12+128]
001e46d7mov [rsi+24], rax
001e46dbmov rax, [r12+144]
001e46e3mov [rsi+32], rax
001e46e7mov rax, [r12+152]
001e46efmov [rsi+40], rax
001e46f3mov rax, [r12+176]
001e46fbmov [rsi+48], rax
001e46ffmov rax, [r12+200]
001e4707mov [rsi+56], rax
001e470bmov rax, [r12+216]
001e4713mov [rsi+64], rax
001e4717mov rax, [r12+272]
001e471fmov [rsi+72], rax
001e4723mov rax, [r12+280]
001e472bmov [rsi+80], rax
001e472fmov rax, [r12+240]
001e4737mov [rsi+88], rax
001e473bmov rax, [r12+256]
001e4743mov [rsi+96], rax
001e4747mov rax, [r12+296]
001e474fmov [rsi+104], rax
001e4753mov rax, [r12+304]
001e475bmov [rsi+112], rax
001e475fmov rax, [r12+184]
001e4767mov [rsi+120], rax
001e476bmov rax, [r12+224]
001e4773mov [rsi+128], rax
001e477amov rax, [r12+264]
001e4782mov [rsi+136], rax
001e4789mov rax, [r12+312]
001e4791mov [rsi+144], rax
001e4798mov rax, [r12+40]
001e479dmov [rsi+152], rax
001e47a4mov rax, [r12+48]
001e47a9mov [rsi+160], rax
001e47b0add rdi, 144
001e47b7mov rbx, rsp
001e47bamov rsp, [r14+64]
001e47becall caml_initialize
001e47c3mov rsp, rbx
001e47c6lea rsi, [rip+0x183503]
001e47cdlea rdi, [rip+0x18372c]
001e47d4add rdi, 176
001e47dbmov rbx, rsp
001e47demov rsp, [r14+64]
001e47e2call caml_initialize
001e47e7mov rsp, rbx
001e47eacall caml_alloc1
001e47eflea rax, [r15+8]
001e47f3mov [rax-8], 1024
001e47fbmov rbx, [r12+312]
001e4803mov [rax], rbx
001e4806lea rbx, [rip+0x1836f3]
001e480dmov rbx, [rbx+176]
001e4814call Stdlib.Domain.new_key
001e4819lea rdi, [rip+0x1836e0]
001e4820add rdi, 184
001e4827mov rsi, rax
001e482amov rbx, rsp
001e482dmov rsp, [r14+64]
001e4831call caml_initialize
001e4836mov rsp, rbx
001e4839lea rsi, [rip+0x1834a8]
001e4840lea rdi, [rip+0x1836b9]
001e4847add rdi, 24
001e484bmov rbx, rsp
001e484emov rsp, [r14+64]
001e4852call caml_initialize
001e4857mov rsp, rbx
001e485alea rsi, [rip+0x18349f]
001e4861lea rdi, [rip+0x183698]
001e4868add rdi, 32
001e486cmov rbx, rsp
001e486fmov rsp, [r14+64]
001e4873call caml_initialize
001e4878mov rsp, rbx
001e487blea rsi, [rip+0x183496]
001e4882lea rdi, [rip+0x183677]
001e4889add rdi, 40
001e488dmov rbx, rsp
001e4890mov rsp, [r14+64]
001e4894call caml_initialize
001e4899mov rsp, rbx
001e489clea rsi, [rip+0x18348d]
001e48a3lea rdi, [rip+0x183656]
001e48aaadd rdi, 48
001e48aemov rbx, rsp
001e48b1mov rsp, [r14+64]
001e48b5call caml_initialize
001e48bamov rsp, rbx
001e48bdlea rsi, [rip+0x18348c]
001e48c4lea rdi, [rip+0x183635]
001e48cbadd rdi, 56
001e48cfmov rbx, rsp
001e48d2mov rsp, [r14+64]
001e48d6call caml_initialize
001e48dbmov rsp, rbx
001e48delea rsi, [rip+0x183483]
001e48e5lea rdi, [rip+0x183614]
001e48ecadd rdi, 64
001e48f0mov rbx, rsp
001e48f3mov rsp, [r14+64]
001e48f7call caml_initialize
001e48fcmov rsp, rbx
001e48fflea rsi, [rip+0x183482]
001e4906lea rdi, [rip+0x1835f3]
001e490dadd rdi, 72
001e4911mov rbx, rsp
001e4914mov rsp, [r14+64]
001e4918call caml_initialize
001e491dmov rsp, rbx
001e4920lea rsi, [rip+0x183479]
001e4927lea rdi, [rip+0x1835d2]
001e492eadd rdi, 80
001e4932mov rbx, rsp
001e4935mov rsp, [r14+64]
001e4939call caml_initialize
001e493emov rsp, rbx
001e4941lea rsi, [rip+0x183478]
001e4948lea rdi, [rip+0x1835b1]
001e494fadd rdi, 88
001e4953mov rbx, rsp
001e4956mov rsp, [r14+64]
001e495acall caml_initialize
001e495fmov rsp, rbx
001e4962lea rsi, [rip+0x18346f]
001e4969lea rdi, [rip+0x183590]
001e4970add rdi, 96
001e4974mov rbx, rsp
001e4977mov rsp, [r14+64]
001e497bcall caml_initialize
001e4980mov rsp, rbx
001e4983lea rsi, [rip+0x18346e]
001e498alea rdi, [rip+0x18356f]
001e4991add rdi, 104
001e4995mov rbx, rsp
001e4998mov rsp, [r14+64]
001e499ccall caml_initialize
001e49a1mov rsp, rbx
001e49a4lea rsi, [rip+0x183465]
001e49ablea rdi, [rip+0x18354e]
001e49b2add rdi, 112
001e49b6mov rbx, rsp
001e49b9mov rsp, [r14+64]
001e49bdcall caml_initialize
001e49c2mov rsp, rbx
001e49c5lea rsi, [rip+0x18345c]
001e49cclea rdi, [rip+0x18352d]
001e49d3add rdi, 120
001e49d7mov rbx, rsp
001e49damov rsp, [r14+64]
001e49decall caml_initialize
001e49e3mov rsp, rbx
001e49e6lea rsi, [rip+0x183453]
001e49edlea rdi, [rip+0x18350c]
001e49f4add rdi, 128
001e49fbmov rbx, rsp
001e49femov rsp, [r14+64]
001e4a02call caml_initialize
001e4a07mov rsp, rbx
001e4a0alea rsi, [rip+0x183447]
001e4a11lea rdi, [rip+0x1834e8]
001e4a18add rdi, 136
001e4a1fmov rbx, rsp
001e4a22mov rsp, [r14+64]
001e4a26call caml_initialize
001e4a2bmov rsp, rbx
001e4a2elea rsi, [rip+0x18343b]
001e4a35lea rdi, [rip+0x1834c4]
001e4a3cadd rdi, 8
001e4a40mov rbx, rsp
001e4a43mov rsp, [r14+64]
001e4a47call caml_initialize
001e4a4cmov rsp, rbx
001e4a4flea rsi, [rip+0x183432]
001e4a56lea rdi, [rip+0x1834a3]
001e4a5dmov rbx, rsp
001e4a60mov rsp, [r14+64]
001e4a64call caml_initialize
001e4a69mov rsp, rbx
001e4a6clea rsi, [rip+0x18342d]
001e4a73lea rdi, [rip+0x183486]
001e4a7aadd rdi, 16
001e4a7emov rbx, rsp
001e4a81mov rsp, [r14+64]
001e4a85call caml_initialize
001e4a8amov rsp, rbx
001e4a8dlea rsi, [rip+0x183424]
001e4a94lea rdi, [rip+0x183465]
001e4a9badd rdi, 168
001e4aa2mov rbx, rsp
001e4aa5mov rsp, [r14+64]
001e4aa9call caml_initialize
001e4aaemov rsp, rbx
001e4ab1lea rsi, [rip+0x183418]
001e4ab8lea rdi, [rip+0x183441]
001e4abfadd rdi, 152
001e4ac6mov rbx, rsp
001e4ac9mov rsp, [r14+64]
001e4acdcall caml_initialize
001e4ad2mov rsp, rbx
001e4ad5lea rsi, [rip+0x18340c]
001e4adclea rdi, [rip+0x18341d]
001e4ae3add rdi, 160
001e4aeamov rbx, rsp
001e4aedmov rsp, [r14+64]
001e4af1call caml_initialize
001e4af6mov rsp, rbx
001e4af9mov eax, 1
001e4aferet
001e4aff
001e4affloc_1e4aff:
001e4affpush 33
001e4b01call caml_call_realloc_stack
001e4b06pop r10
001e4b08jmp 0x1e3ec2
001e3eb0

001e4b0d
001e4b0d // align 0x10

001e4b10
001e4b10Stdlib.Hashtbl.fun:
001e4b10mov rdx, rdi
001e4b13mov rcx, rsi
001e4b16mov rdi, rax
001e4b19mov rsi, rbx
001e4b1cmov rbx, rsp
001e4b1fmov rsp, [r14+64]
001e4b23call caml_hash
001e4b28mov rsp, rbx
001e4b2bret
001e4b10

001e4b2c
001e4b2c // align 0x10

001e4b30
001e4b30Stdlib.Hashtbl.ongoing_traversal:
001e4b30mov rbx, [rax-8]
001e4b34shr rbx, 9
001e4b38or rbx, 1
001e4b3ccmp rbx, 9
001e4b40jl 0x1e4b58
001e4b42mov rax, [rax+24]
001e4b46cmp rax, 1
001e4b4asetl al
001e4b4dmovzx rax, al
001e4b51lea rax, [rax+rax+1]
001e4b56ret
001e4b57
001e4b57 90 .
001e4b58
001e4b58loc_1e4b58:
001e4b58mov eax, 3
001e4b5dret
001e4b30

001e4b5e
001e4b5e // align 0x10

001e4b60
001e4b60Stdlib.Hashtbl.flip_ongoing_traversal:
001e4b60mov rbx, [rax+24]
001e4b64mov edi, 2
001e4b69sub rdi, rbx
001e4b6cmov [rax+24], rdi
001e4b70mov eax, 1
001e4b75ret
001e4b60

001e4b76
001e4b76 // align 0x10

001e4b80
001e4b80Stdlib.Hashtbl.randomize:
001e4b80lea rax, [rip+0x185481]
001e4b87mov rdi, [rax+272]
001e4b8emov esi, 3
001e4b93mov rbx, rsp
001e4b96mov rsp, [r14+64]
001e4b9acall caml_atomic_exchange
001e4b9fmov rsp, rbx
001e4ba2mov eax, 1
001e4ba7ret
001e4b80

001e4ba8
001e4ba8 // align 0x10

001e4bb0
001e4bb0Stdlib.Hashtbl.is_randomized:
001e4bb0lea rax, [rip+0x185451]
001e4bb7mov rax, [rax+272]
001e4bbemov rax, [rax]
001e4bc1ret
001e4bb0

001e4bc2
001e4bc2 // align 0x10

001e4bd0
001e4bd0Stdlib.Hashtbl.power_2_above:
001e4bd0cmp r15, [r14]
001e4bd3jbe 0x1e4bf9
001e4bd5
001e4bd5loc_1e4bd5:
001e4bd5cmp rax, rbx
001e4bd8jl 0x1e4bdc
001e4bdaret
001e4bdb
001e4bdb 90 .
001e4bdc
001e4bdcloc_1e4bdc:
001e4bdcmov rdi, 0x7fffffffffffff
001e4be6lea rsi, [rax+rax-1]
001e4bebcmp rsi, rdi
001e4beejle 0x1e4bf4
001e4bf0ret
001e4bf1
001e4bf1 0f 1f 00 ...
001e4bf4
001e4bf4loc_1e4bf4:
001e4bf4mov rax, rsi
001e4bf7jmp 0x1e4bd0
001e4bf9
001e4bf9loc_1e4bf9:
001e4bf9call caml_call_gc
001e4bfejmp 0x1e4bd5
001e4bd0

001e4c00
001e4c00Stdlib.Hashtbl.create_inner:
001e4c00lea r10, [rsp-336]
001e4c08cmp r10, [r14+40]
001e4c0cjb 0x1e4cdb
001e4c12
001e4c12loc_1e4c12:
001e4c12sub rsp, 16
001e4c16mov [rsp], rax
001e4c1amov eax, 33
001e4c1fcall Stdlib.Hashtbl.power_2_above
001e4c24mov [rsp+8], rax
001e4c29mov rax, [rsp]
001e4c2dcmp rax, 1
001e4c31je 0x1e4c7c
001e4c33lea rax, [rip+0x16770e]
001e4c3amov rax, [rax+80]
001e4c3emov rbx, [rax+8]
001e4c42lea rax, [rip+0x1853bf]
001e4c49mov rax, [rax+280]
001e4c50mov rdi, [rbx]
001e4c53call rdi
001e4c55mov rdi, rax
001e4c58mov rbx, rsp
001e4c5bmov rsp, [r14+64]
001e4c5fcall caml_lxm_next_unboxed
001e4c64mov rsp, rbx
001e4c67shl rax, 1
001e4c6ainc rax
001e4c6dand rax, 0x7fffffff
001e4c73mov [rsp], rax
001e4c77jmp 0x1e4c85
001e4c79
001e4c79 0f 1f 00 ...
001e4c7c
001e4c7cloc_1e4c7c:
001e4c7cmov eax, 1
001e4c81mov [rsp], rax
001e4c85
001e4c85loc_1e4c85:
001e4c85mov esi, 1
001e4c8amov rdi, [rsp+8]
001e4c8flea rax, [rip+0x1500a]
001e4c96call caml_c_call
001e4c9bsub r15, 40
001e4c9fcmp r15, [r14]
001e4ca2jb 0x1e4cd4
001e4ca4
001e4ca4loc_1e4ca4:
001e4ca4lea rbx, [r15+8]
001e4ca8mov [rbx-8], 4096
001e4cb0mov [rbx], 1
001e4cb7mov [rbx+8], rax
001e4cbbmov rax, [rsp]
001e4cbfmov [rbx+16], rax
001e4cc3mov rax, [rsp+8]
001e4cc8mov [rbx+24], rax
001e4cccmov rax, rbx
001e4ccfadd rsp, 16
001e4cd3ret
001e4cd4
001e4cd4loc_1e4cd4:
001e4cd4call caml_call_gc
001e4cd9jmp 0x1e4ca4
001e4cdb
001e4cdbloc_1e4cdb:
001e4cdbpush 35
001e4cddcall caml_call_realloc_stack
001e4ce2pop r10
001e4ce4jmp 0x1e4c12
001e4c00

001e4ce9
001e4ce9 // align 0x10

001e4cf0
001e4cf0Stdlib.Hashtbl.create:
001e4cf0test al, 1
001e4cf2je 0x1e4d08
001e4cf4lea rax, [rip+0x18530d]
001e4cfbmov rax, [rax+272]
001e4d02mov rax, [rax]
001e4d05jmp 0x1e4d0b
001e4d07
001e4d07 90 .
001e4d08
001e4d08loc_1e4d08:
001e4d08mov rax, [rax]
001e4d0b
001e4d0bloc_1e4d0b:
001e4d0bjmp 0x1e4c00
001e4cf0

001e4d10
001e4d10Stdlib.Hashtbl.clear:
001e4d10mov rbx, [rax]
001e4d13cmp rbx, 1
001e4d17jle 0x1e4d40
001e4d19mov [rax], 1
001e4d20mov esi, 1
001e4d25mov rax, [rax+8]
001e4d29mov rdi, [rax-8]
001e4d2dshr rdi, 9
001e4d31or rdi, 1
001e4d35mov ebx, 1
001e4d3ajmp 0x1ad490
001e4d3f
001e4d3f 90 .
001e4d40
001e4d40loc_1e4d40:
001e4d40mov eax, 1
001e4d45ret
001e4d10

001e4d46
001e4d46 // align 0x10

001e4d50
001e4d50Stdlib.Hashtbl.reset:
001e4d50sub rsp, 8
001e4d54mov rbx, [rax+8]
001e4d58mov rbx, [rbx-8]
001e4d5cshr rbx, 9
001e4d60or rbx, 1
001e4d64mov rdi, [rax-8]
001e4d68shr rdi, 9
001e4d6cor rdi, 1
001e4d70cmp rdi, 9
001e4d74jl 0x1e4df0
001e4d76mov rdi, [rax+24]
001e4d7acmp rdi, 1
001e4d7ejl 0x1e4d84
001e4d80jmp 0x1e4d8f
001e4d82
001e4d82 66 90 f.
001e4d84
001e4d84loc_1e4d84:
001e4d84mov esi, 2
001e4d89sub rsi, rdi
001e4d8cmov rdi, rsi
001e4d8f
001e4d8floc_1e4d8f:
001e4d8fcmp rbx, rdi
001e4d92je 0x1e4df0
001e4d94mov [rsp], rax
001e4d98mov [rax], 1
001e4d9fmov rax, [rax+24]
001e4da3cmp rax, 1
001e4da7jl 0x1e4db0
001e4da9mov rdi, rax
001e4dacjmp 0x1e4db8
001e4dae
001e4dae 66 90 f.
001e4db0
001e4db0loc_1e4db0:
001e4db0mov edi, 2
001e4db5sub rdi, rax
001e4db8
001e4db8loc_1e4db8:
001e4db8mov esi, 1
001e4dbdlea rax, [rip+0x14edc]
001e4dc4call caml_c_call
001e4dc9mov rdi, [rsp]
001e4dcdadd rdi, 8
001e4dd1mov rsi, rax
001e4dd4mov rbx, rsp
001e4dd7mov rsp, [r14+64]
001e4ddbcall caml_modify
001e4de0mov rsp, rbx
001e4de3mov eax, 1
001e4de8add rsp, 8
001e4decret
001e4ded
001e4ded 0f 1f 00 ...
001e4df0
001e4df0loc_1e4df0:
001e4df0add rsp, 8
001e4df4jmp 0x1e4d10
001e4d50

001e4df9
001e4df9 // align 0x10

001e4e00
001e4e00Stdlib.Hashtbl.copy_bucketlist:
001e4e00lea r10, [rsp-328]
001e4e08cmp r10, [r14+40]
001e4e0cjb 0x1e4e64
001e4e0e
001e4e0eloc_1e4e0e:
001e4e0esub rsp, 8
001e4e12test al, 1
001e4e14je 0x1e4e20
001e4e16mov eax, 1
001e4e1badd rsp, 8
001e4e1fret
001e4e20
001e4e20loc_1e4e20:
001e4e20mov rdi, [rax]
001e4e23mov rsi, [rax+8]
001e4e27mov rbx, [rax+16]
001e4e2bsub r15, 32
001e4e2fcmp r15, [r14]
001e4e32jb 0x1e4e5d
001e4e34
001e4e34loc_1e4e34:
001e4e34lea rax, [r15+8]
001e4e38mov [rsp], rax
001e4e3cmov [rax-8], 3072
001e4e44mov [rax], rdi
001e4e47mov [rax+8], rsi
001e4e4bmov [rax+16], rbx
001e4e4fcall Stdlib.Hashtbl.loop
001e4e54mov rax, [rsp]
001e4e58add rsp, 8
001e4e5cret
001e4e5d
001e4e5dloc_1e4e5d:
001e4e5dcall caml_call_gc
001e4e62jmp 0x1e4e34
001e4e64
001e4e64loc_1e4e64:
001e4e64push 34
001e4e66call caml_call_realloc_stack
001e4e6bpop r10
001e4e6djmp 0x1e4e0e
001e4e00

001e4e6f
001e4e6f // align 0x10

001e4e70
001e4e70Stdlib.Hashtbl.loop:
001e4e70test bl, 1
001e4e73je 0x1e4e7c
001e4e75mov eax, 1
001e4e7aret
001e4e7b
001e4e7b 90 .
001e4e7c
001e4e7cloc_1e4e7c:
001e4e7cmov rdi, [rbx]
001e4e7fmov rsi, [rbx+8]
001e4e83mov r13, [rbx+16]
001e4e87sub r15, 32
001e4e8bcmp r15, [r14]
001e4e8ejb 0x1e4f0b
001e4e90
001e4e90loc_1e4e90:
001e4e90lea r12, [r15+8]
001e4e94mov [r12-8], 3072
001e4e9dmov [r12], rdi
001e4ea1mov [r12+8], rsi
001e4ea6mov [r12+16], r13
001e4eabtest al, 1
001e4eadje 0x1e4ee0
001e4eafsub r15, 24
001e4eb3cmp r15, [r14]
001e4eb6jb 0x1e4f04
001e4eb8
001e4eb8loc_1e4eb8:
001e4eb8lea rax, [r15+8]
001e4ebcmov [rax-8], 2048
001e4ec4lea rbx, [rip+0x9133d]
001e4ecbmov [rax], rbx
001e4ecelea rbx, [rip+0x18530b]
001e4ed5mov [rax+8], rbx
001e4ed9call caml_raise_exn
001e4edenop
001e4ee0
001e4ee0loc_1e4ee0:
001e4ee0add rax, 16
001e4ee4mov rdi, rax
001e4ee7mov rsi, r12
001e4eeamov rbx, rsp
001e4eedmov rsp, [r14+64]
001e4ef1call caml_modify
001e4ef6mov rsp, rbx
001e4ef9mov rax, r12
001e4efcmov rbx, r13
001e4effjmp 0x1e4e70
001e4f04
001e4f04loc_1e4f04:
001e4f04call caml_call_gc
001e4f09jmp 0x1e4eb8
001e4f0b
001e4f0bloc_1e4f0b:
001e4f0bcall caml_call_gc
001e4f10jmp 0x1e4e90
001e4e70

001e4f15
001e4f15 // align 0x10

001e4f20
001e4f20Stdlib.Hashtbl.copy:
001e4f20lea r10, [rsp-336]
001e4f28cmp r10, [r14+40]
001e4f2cjb 0x1e4f99
001e4f2e
001e4f2eloc_1e4f2e:
001e4f2esub rsp, 16
001e4f32mov [rsp], rax
001e4f36mov rbx, [rax+24]
001e4f3amov [rsp+8], rbx
001e4f3fmov rbx, [rax+8]
001e4f43lea rax, [rip+0x1850be]
001e4f4amov rax, [rax+296]
001e4f51call Stdlib.Array.map
001e4f56sub r15, 40
001e4f5acmp r15, [r14]
001e4f5djb 0x1e4f92
001e4f5f
001e4f5floc_1e4f5f:
001e4f5flea rbx, [r15+8]
001e4f63mov [rbx-8], 4096
001e4f6bmov rsi, [rsp]
001e4f6fmov rdi, [rsi]
001e4f72mov [rbx], rdi
001e4f75mov [rbx+8], rax
001e4f79mov rax, [rsi+16]
001e4f7dmov [rbx+16], rax
001e4f81mov rax, [rsp+8]
001e4f86mov [rbx+24], rax
001e4f8amov rax, rbx
001e4f8dadd rsp, 16
001e4f91ret
001e4f92
001e4f92loc_1e4f92:
001e4f92call caml_call_gc
001e4f97jmp 0x1e4f5f
001e4f99
001e4f99loc_1e4f99:
001e4f99push 35
001e4f9bcall caml_call_realloc_stack
001e4fa0pop r10
001e4fa2jmp 0x1e4f2e
001e4f20

001e4fa4
001e4fa4 // align 0x10

001e4fb0
001e4fb0Stdlib.Hashtbl.length:
001e4fb0mov rax, [rax]
001e4fb3ret
001e4fb0

001e4fb4
001e4fb4 // align 0x10

001e4fc0
001e4fc0Stdlib.Hashtbl.insert_all_buckets:
001e4fc0lea r10, [rsp-376]
001e4fc8cmp r10, [r14+40]
001e4fccjb 0x1e517b
001e4fd2
001e4fd2loc_1e4fd2:
001e4fd2sub rsp, 56
001e4fd6mov [rsp], rax
001e4fdamov [rsp+16], rbx
001e4fdfmov [rsp+40], rdi
001e4fe4mov [rsp+8], rsi
001e4fe9mov rdi, [rsi-8]
001e4fedshr rdi, 9
001e4ff1or rdi, 1
001e4ff5mov [rsp+24], rdi
001e4ffamov esi, 1
001e4ffflea rax, [rip+0x14c9a]
001e5006call caml_c_call
001e500bmov [rsp+32], rax
001e5010sub r15, 56
001e5014cmp r15, [r14]
001e5017jb 0x1e5167
001e501d
001e501dloc_1e501d:
001e501dlea rbx, [r15+8]
001e5021mov [rbx-8], 6391
001e5029lea rdi, [rip+352]
001e5030mov [rbx], rdi
001e5033mov rdi, 0x100000000000005
001e503dmov [rbx+8], rdi
001e5041mov rdi, [rsp]
001e5045mov [rbx+16], rdi
001e5049mov rdi, [rsp+16]
001e504emov [rbx+24], rdi
001e5052mov rdi, [rsp+8]
001e5057mov [rbx+32], rdi
001e505bmov [rbx+40], rax
001e505fmov eax, 1
001e5064mov rsi, [rsp+40]
001e5069mov rdi, [rsi-8]
001e506dshr rdi, 9
001e5071or rdi, 1
001e5075add rdi, -2
001e5079cmp rax, rdi
001e507cjg 0x1e50da
001e507emov [rsp+48], rdi
001e5083mov [rsp+8], rax
001e5088mov [rsp], rbx
001e508cmov [rsp+40], rsi
001e5091
001e5091loc_1e5091:
001e5091mov rdi, [rsp+40]
001e5096mov rbx, [rdi-8]
001e509ashr rbx, 9
001e509ecmp rbx, rax
001e50a1jbe 0x1e5176
001e50a7mov rax, [rdi+4*rax-4]
001e50acmov rbx, [rsp]
001e50b0call Stdlib.Hashtbl.insert_bucket
001e50b5mov rax, [rsp+8]
001e50bamov rbx, rax
001e50bdadd rax, 2
001e50c1mov [rsp+8], rax
001e50c6mov rdi, [rsp+48]
001e50cbcmp rbx, rdi
001e50ceje 0x1e50da
001e50d0cmp r15, [r14]
001e50d3ja 0x1e5091
001e50d5jmp 0x1e515d
001e50da
001e50daloc_1e50da:
001e50damov rax, [rsp+16]
001e50dfcmp rax, 1
001e50e3je 0x1e514c
001e50e5mov r12l, 1
001e50ebmov r13, [rsp+24]
001e50f0add r13, -2
001e50f4cmp r12, r13
001e50f7jg 0x1e5141
001e50f9
001e50f9loc_1e50f9:
001e50f9mov rbx, [rsp+32]
001e50femov rax, [rbx-8]
001e5102shr rax, 9
001e5106cmp rax, r12
001e5109jbe 0x1e5171
001e510bmov rdi, [rbx+4*r12-4]
001e5110test dil, 1
001e5114jne 0x1e512e
001e5116mov esi, 1
001e511badd rdi, 16
001e511fmov rbx, rsp
001e5122mov rsp, [r14+64]
001e5126call caml_modify
001e512bmov rsp, rbx
001e512e
001e512eloc_1e512e:
001e512emov rax, r12
001e5131add r12, 2
001e5135cmp rax, r13
001e5138je 0x1e5141
001e513acmp r15, [r14]
001e513dja 0x1e50f9
001e513fjmp 0x1e5156
001e5141
001e5141loc_1e5141:
001e5141mov eax, 1
001e5146add rsp, 56
001e514aret
001e514b
001e514b 90 .
001e514c
001e514cloc_1e514c:
001e514cmov eax, 1
001e5151add rsp, 56
001e5155ret
001e5156
001e5156loc_1e5156:
001e5156call caml_call_gc
001e515bjmp 0x1e50f9
001e515d
001e515dloc_1e515d:
001e515dcall caml_call_gc
001e5162jmp 0x1e5091
001e5167
001e5167loc_1e5167:
001e5167call caml_call_gc
001e516cjmp 0x1e501d
001e5171
001e5171loc_1e5171:
001e5171call caml_ml_array_bound_error
001e5176
001e5176loc_1e5176:
001e5176call caml_ml_array_bound_error
001e517b
001e517bloc_1e517b:
001e517bpush 40
001e517dcall caml_call_realloc_stack
001e5182pop r10
001e5184jmp 0x1e4fd2
001e4fc0

001e5189
001e5189 // align 0x10

001e5190
001e5190Stdlib.Hashtbl.insert_bucket:
001e5190lea r10, [rsp-344]
001e5198cmp r10, [r14+40]
001e519cjb 0x1e52ef
001e51a2
001e51a2loc_1e51a2:
001e51a2sub rsp, 24
001e51a6
001e51a6loc_1e51a6:
001e51a6cmp r15, [r14]
001e51a9jbe 0x1e52d6
001e51af
001e51afloc_1e51af:
001e51aftest al, 1
001e51b1je 0x1e51c0
001e51b3mov eax, 1
001e51b8add rsp, 24
001e51bcret
001e51bd
001e51bd 0f 1f 00 ...
001e51c0
001e51c0loc_1e51c0:
001e51c0mov [rsp], rbx
001e51c4mov rdi, [rax]
001e51c7mov rsi, [rax+8]
001e51cbmov rdx, [rax+16]
001e51cfmov [rsp+8], rdx
001e51d4mov rdx, [rbx+24]
001e51d8cmp rdx, 1
001e51dcje 0x1e51e8
001e51demov [rsp+16], rax
001e51e3jmp 0x1e5215
001e51e5
001e51e5 0f 1f 00 ...
001e51e8
001e51e8loc_1e51e8:
001e51e8sub r15, 32
001e51eccmp r15, [r14]
001e51efjb 0x1e52cc
001e51f5
001e51f5loc_1e51f5:
001e51f5lea rax, [r15+8]
001e51f9mov [rsp+16], rax
001e51femov [rax-8], 3072
001e5206mov [rax], rdi
001e5209mov [rax+8], rsi
001e520dmov [rax+16], 1
001e5215
001e5215loc_1e5215:
001e5215mov rbx, [rbx+16]
001e5219mov rsi, [rbx]
001e521cmov rax, rdi
001e521fcall rsi
001e5221mov r13, rax
001e5224mov rbp, [rsp]
001e5228mov rax, [rbp+40]
001e522cmov rbx, [rax-8]
001e5230shr rbx, 9
001e5234cmp rbx, r13
001e5237jbe 0x1e52ea
001e523dmov rdi, [rax+4*r13-4]
001e5242test dil, 1
001e5246je 0x1e527c
001e5248mov rax, [rbp+32]
001e524cmov rbx, [rax-8]
001e5250shr rbx, 9
001e5254cmp rbx, r13
001e5257jbe 0x1e52e5
001e525dlea rdi, [rax+4*r13-4]
001e5262mov r12, [rsp+16]
001e5267mov rsi, r12
001e526amov rbx, rsp
001e526dmov rsp, [r14+64]
001e5271call caml_modify
001e5276mov rsp, rbx
001e5279jmp 0x1e5297
001e527b
001e527b 90 .
001e527c
001e527cloc_1e527c:
001e527cadd rdi, 16
001e5280mov r12, [rsp+16]
001e5285mov rsi, r12
001e5288mov rbx, rsp
001e528bmov rsp, [r14+64]
001e528fcall caml_modify
001e5294mov rsp, rbx
001e5297
001e5297loc_1e5297:
001e5297mov rax, [rbp+40]
001e529bmov rbx, [rax-8]
001e529fshr rbx, 9
001e52a3cmp rbx, r13
001e52a6jbe 0x1e52e0
001e52a8lea rdi, [rax+4*r13-4]
001e52admov rsi, r12
001e52b0mov rbx, rsp
001e52b3mov rsp, [r14+64]
001e52b7call caml_modify
001e52bcmov rsp, rbx
001e52bfmov rax, [rsp+8]
001e52c4mov rbx, rbp
001e52c7jmp 0x1e51a6
001e52cc
001e52ccloc_1e52cc:
001e52cccall caml_call_gc
001e52d1jmp 0x1e51f5
001e52d6
001e52d6loc_1e52d6:
001e52d6call caml_call_gc
001e52dbjmp 0x1e51af
001e52e0
001e52e0loc_1e52e0:
001e52e0call caml_ml_array_bound_error
001e52e5
001e52e5loc_1e52e5:
001e52e5call caml_ml_array_bound_error
001e52ea
001e52ealoc_1e52ea:
001e52eacall caml_ml_array_bound_error
001e52ef
001e52efloc_1e52ef:
001e52efpush 36
001e52f1call caml_call_realloc_stack
001e52f6pop r10
001e52f8jmp 0x1e51a2
001e5190

001e52fd
001e52fd // align 0x10

001e5300
001e5300Stdlib.Hashtbl.resize:
001e5300lea r10, [rsp-360]
001e5308cmp r10, [r14+40]
001e530cjb 0x1e53c2
001e5312
001e5312loc_1e5312:
001e5312sub rsp, 40
001e5316mov rsi, [rbx+8]
001e531amov rdi, [rsi-8]
001e531eshr rdi, 9
001e5322or rdi, 1
001e5326lea rdi, [rdi+rdi-1]
001e532bmov rdx, 0x7fffffffffffff
001e5335cmp rdi, rdx
001e5338jge 0x1e53b8
001e533amov [rsp+24], rsi
001e533fmov [rsp], rbx
001e5343mov [rsp+8], rax
001e5348mov esi, 1
001e534dlea rax, [rip+0x1494c]
001e5354call caml_c_call
001e5359mov [rsp+32], rax
001e535emov rax, [rsp]
001e5362call Stdlib.Hashtbl.ongoing_traversal
001e5367mov ebx, 4
001e536csub rbx, rax
001e536fmov [rsp+16], rbx
001e5374mov r12, [rsp]
001e5378mov rdi, r12
001e537badd rdi, 8
001e537fmov rsi, [rsp+32]
001e5384mov rbx, rsp
001e5387mov rsp, [r14+64]
001e538bcall caml_modify
001e5390mov rsp, rbx
001e5393mov rbx, [rsp+8]
001e5398mov rdi, [rbx]
001e539bmov rax, r12
001e539ecall rdi
001e53a0mov rbx, [rsp+16]
001e53a5mov rdi, [rsp+24]
001e53aamov rsi, [rsp+32]
001e53afadd rsp, 40
001e53b3jmp 0x1e4fc0
001e53b8
001e53b8loc_1e53b8:
001e53b8mov eax, 1
001e53bdadd rsp, 40
001e53c1ret
001e53c2
001e53c2loc_1e53c2:
001e53c2push 38
001e53c4call caml_call_realloc_stack
001e53c9pop r10
001e53cbjmp 0x1e5312
001e5300

001e53d0
001e53d0Stdlib.Hashtbl.iter:
001e53d0lea r10, [rsp-384]
001e53d8cmp r10, [r14+40]
001e53dcjb 0x1e5556
001e53e2
001e53e2loc_1e53e2:
001e53e2sub rsp, 48
001e53e6mov [rsp+40], rbx
001e53ebsub r15, 32
001e53efcmp r15, [r14]
001e53f2jb 0x1e5547
001e53f8
001e53f8loc_1e53f8:
001e53f8lea rdi, [r15+8]
001e53fcmov [rsp+16], rdi
001e5401mov [rdi-8], 3319
001e5409lea rsi, [rip+352]
001e5410mov [rdi], rsi
001e5413mov rsi, 0x100000000000005
001e541dmov [rdi+8], rsi
001e5421mov [rdi+16], rax
001e5425mov rax, rbx
001e5428call Stdlib.Hashtbl.ongoing_traversal
001e542dmov [rsp], rax
001e5431cmp rax, 1
001e5435jne 0x1e544c
001e5437mov rdi, [rsp+40]
001e543cmov rax, [rdi+24]
001e5440mov ebx, 2
001e5445sub rbx, rax
001e5448mov [rdi+24], rbx
001e544c
001e544cloc_1e544c:
001e544clea r11, [rip+185]
001e5453push r11
001e5455push [r14+48]
001e5459mov [r14+48], rsp
001e545dmov rax, [rsp+56]
001e5462mov rax, [rax+8]
001e5466mov ebx, 1
001e546bmov rdi, [rax-8]
001e546fshr rdi, 9
001e5473or rdi, 1
001e5477add rdi, -2
001e547bcmp rbx, rdi
001e547ejg 0x1e54d6
001e5480mov [rsp+48], rdi
001e5485mov [rsp+40], rbx
001e548amov [rsp+24], rax
001e548f
001e548floc_1e548f:
001e548fmov rdi, [rsp+24]
001e5494mov rax, [rdi-8]
001e5498shr rax, 9
001e549ccmp rax, rbx
001e549fjbe 0x1e5551
001e54a5mov rax, [rdi+4*rbx-4]
001e54aamov rbx, [rsp+32]
001e54afcall Stdlib.Hashtbl.do_bucket
001e54b4mov rbx, [rsp+40]
001e54b9mov rax, rbx
001e54bcadd rbx, 2
001e54c0mov [rsp+40], rbx
001e54c5mov rdi, [rsp+48]
001e54cacmp rax, rdi
001e54cdje 0x1e54d6
001e54cfcmp r15, [r14]
001e54d2ja 0x1e548f
001e54d4jmp 0x1e553d
001e54d6
001e54d6loc_1e54d6:
001e54d6mov rax, [rsp+16]
001e54dbcmp rax, 1
001e54dfje 0x1e54e8
001e54e1mov eax, 1
001e54e6jmp 0x1e5502
001e54e8
001e54e8loc_1e54e8:
001e54e8mov rdi, [rsp+56]
001e54edmov rax, [rdi+24]
001e54f1mov ebx, 2
001e54f6sub rbx, rax
001e54f9mov [rdi+24], rbx
001e54fdmov eax, 1
001e5502
001e5502loc_1e5502:
001e5502pop [r14+48]
001e5506add rsp, 8
001e550ajmp 0x1e5538
001e550cmov rbx, [rsp]
001e5510cmp rbx, 1
001e5514je 0x1e551c
001e5516call caml_reraise_exn
001e551bnop
001e551c
001e551cloc_1e551c:
001e551cmov rsi, [rsp+40]
001e5521mov rbx, [rsi+24]
001e5525mov edi, 2
001e552asub rdi, rbx
001e552dmov [rsi+24], rdi
001e5531call caml_reraise_exn
001e5536nop
001e5538
001e5538loc_1e5538:
001e5538add rsp, 48
001e553cret
001e553d
001e553dloc_1e553d:
001e553dcall caml_call_gc
001e5542jmp 0x1e548f
001e5547
001e5547loc_1e5547:
001e5547call caml_call_gc
001e554cjmp 0x1e53f8
001e5551
001e5551loc_1e5551:
001e5551call caml_ml_array_bound_error
001e5556
001e5556loc_1e5556:
001e5556push 41
001e5558call caml_call_realloc_stack
001e555dpop r10
001e555fjmp 0x1e53e2
001e53d0

001e5564
001e5564 // align 0x10

001e5570
001e5570Stdlib.Hashtbl.do_bucket:
001e5570lea r10, [rsp-336]
001e5578cmp r10, [r14+40]
001e557cjb 0x1e55cd
001e557e
001e557eloc_1e557e:
001e557esub rsp, 16
001e5582
001e5582loc_1e5582:
001e5582cmp r15, [r14]
001e5585jbe 0x1e55c6
001e5587
001e5587loc_1e5587:
001e5587test al, 1
001e5589je 0x1e5598
001e558bmov eax, 1
001e5590add rsp, 16
001e5594ret
001e5595
001e5595 0f 1f 00 ...
001e5598
001e5598loc_1e5598:
001e5598mov [rsp+8], rbx
001e559dmov rsi, [rax]
001e55a0mov rdx, [rax+8]
001e55a4mov rax, [rax+16]
001e55a8mov [rsp], rax
001e55acmov rdi, [rbx+16]
001e55b0mov rax, rsi
001e55b3mov rbx, rdx
001e55b6call caml_apply2
001e55bbmov rax, [rsp]
001e55bfmov rbx, [rsp+8]
001e55c4jmp 0x1e5582
001e55c6
001e55c6loc_1e55c6:
001e55c6call caml_call_gc
001e55cbjmp 0x1e5587
001e55cd
001e55cdloc_1e55cd:
001e55cdpush 35
001e55cfcall caml_call_realloc_stack
001e55d4pop r10
001e55d6jmp 0x1e557e
001e5570

001e55d8
001e55d8 // align 0x10

001e55e0
001e55e0Stdlib.Hashtbl.filter_map_inplace_bucket:
001e55e0lea r10, [rsp-368]
001e55e8cmp r10, [r14+40]
001e55ecjb 0x1e5774
001e55f2
001e55f2loc_1e55f2:
001e55f2sub rsp, 48
001e55f6
001e55f6loc_1e55f6:
001e55f6mov rcx, rax
001e55f9cmp r15, [r14]
001e55fcjbe 0x1e5760
001e5602
001e5602loc_1e5602:
001e5602test dl, 1
001e5605je 0x1e5670
001e5607test sil, 1
001e560bje 0x1e5648
001e560dmov rax, [rbx+8]
001e5611mov rbx, [rax-8]
001e5615shr rbx, 9
001e5619cmp rbx, rdi
001e561cjbe 0x1e576f
001e5622mov esi, 1
001e5627lea rdi, [rax+4*rdi-4]
001e562cmov rbx, rsp
001e562fmov rsp, [r14+64]
001e5633call caml_modify
001e5638mov rsp, rbx
001e563bmov eax, 1
001e5640add rsp, 48
001e5644ret
001e5645
001e5645 0f 1f 00 ...
001e5648
001e5648loc_1e5648:
001e5648mov eax, 1
001e564dmov rdi, rsi
001e5650add rdi, 16
001e5654mov rsi, rax
001e5657mov rbx, rsp
001e565amov rsp, [r14+64]
001e565ecall caml_modify
001e5663mov rsp, rbx
001e5666mov eax, 1
001e566badd rsp, 48
001e566fret
001e5670
001e5670loc_1e5670:
001e5670mov [rsp], rdx
001e5674mov [rsp+32], rsi
001e5679mov [rsp+24], rdi
001e567emov [rsp+8], rbx
001e5683mov [rsp+16], rcx
001e5688mov rax, [rdx]
001e568bmov rbx, [rdx+8]
001e568fmov rdi, [rdx+16]
001e5693mov [rsp+40], rdi
001e5698mov rdi, rcx
001e569bcall caml_apply2
001e56a0mov r13, rax
001e56a3test r13b, 1
001e56a7je 0x1e56cc
001e56a9mov rbx, [rsp+8]
001e56aeadd [rbx], -2
001e56b2mov rax, [rsp+16]
001e56b7mov rdi, [rsp+24]
001e56bcmov rsi, [rsp+32]
001e56c1mov rdx, [rsp+40]
001e56c6jmp 0x1e55f6
001e56cb
001e56cb 90 .
001e56cc
001e56ccloc_1e56cc:
001e56ccmov rdi, [rsp+32]
001e56d1test dil, 1
001e56d5je 0x1e5710
001e56d7mov rax, [rsp+8]
001e56dcmov rax, [rax+8]
001e56e0mov rbx, [rax-8]
001e56e4shr rbx, 9
001e56e8mov rdi, [rsp+24]
001e56edcmp rbx, rdi
001e56f0jbe 0x1e576a
001e56f2lea rdi, [rax+4*rdi-4]
001e56f7mov r12, [rsp]
001e56fbmov rsi, r12
001e56femov rbx, rsp
001e5701mov rsp, [r14+64]
001e5705call caml_modify
001e570amov rsp, rbx
001e570djmp 0x1e572a
001e570f
001e570f 90 .
001e5710
001e5710loc_1e5710:
001e5710add rdi, 16
001e5714mov r12, [rsp]
001e5718mov rsi, r12
001e571bmov rbx, rsp
001e571emov rsp, [r14+64]
001e5722call caml_modify
001e5727mov rsp, rbx
001e572a
001e572aloc_1e572a:
001e572amov rsi, [r13]
001e572emov rdi, r12
001e5731add rdi, 8
001e5735mov rbx, rsp
001e5738mov rsp, [r14+64]
001e573ccall caml_modify
001e5741mov rsp, rbx
001e5744mov rax, [rsp+16]
001e5749mov rbx, [rsp+8]
001e574emov rdi, [rsp+24]
001e5753mov rsi, r12
001e5756mov rdx, [rsp+40]
001e575bjmp 0x1e55f6
001e5760
001e5760loc_1e5760:
001e5760call caml_call_gc
001e5765jmp 0x1e5602
001e576a
001e576aloc_1e576a:
001e576acall caml_ml_array_bound_error
001e576f
001e576floc_1e576f:
001e576fcall caml_ml_array_bound_error
001e5774
001e5774loc_1e5774:
001e5774push 39
001e5776call caml_call_realloc_stack
001e577bpop r10
001e577djmp 0x1e55f2
001e55e0

001e5782
001e5782 // align 0x10

001e5790
001e5790Stdlib.Hashtbl.filter_map_inplace:
001e5790lea r10, [rsp-376]
001e5798cmp r10, [r14+40]
001e579cjb 0x1e58e0
001e57a2
001e57a2loc_1e57a2:
001e57a2sub rsp, 40
001e57a6mov [rsp+16], rax
001e57abmov rax, rbx
001e57aemov [rsp+32], rax
001e57b3mov rbx, [rax+8]
001e57b7mov [rsp], rbx
001e57bbcall Stdlib.Hashtbl.ongoing_traversal
001e57c0mov [rsp+8], rax
001e57c5cmp rax, 1
001e57c9jne 0x1e57e0
001e57cbmov rdi, [rsp+32]
001e57d0mov rax, [rdi+24]
001e57d4mov ebx, 2
001e57d9sub rbx, rax
001e57dcmov [rdi+24], rbx
001e57e0
001e57e0loc_1e57e0:
001e57e0lea r11, [rip+185]
001e57e7push r11
001e57e9push [r14+48]
001e57edmov [r14+48], rsp
001e57f1mov edi, 1
001e57f6mov rax, [rsp+16]
001e57fbmov rax, [rax-8]
001e57ffshr rax, 9
001e5803or rax, 1
001e5807add rax, -2
001e580bcmp rdi, rax
001e580ejg 0x1e586a
001e5810mov [rsp+40], rax
001e5815mov [rsp+16], rdi
001e581a
001e581aloc_1e581a:
001e581amov rbx, [rsp+48]
001e581fmov rax, [rbx+8]
001e5823mov rsi, [rax-8]
001e5827shr rsi, 9
001e582bcmp rsi, rdi
001e582ejbe 0x1e58db
001e5834mov rdx, [rax+4*rdi-4]
001e5839mov esi, 1
001e583emov rax, [rsp+32]
001e5843call Stdlib.Hashtbl.filter_map_inplace_bucket
001e5848mov rdi, [rsp+16]
001e584dmov rax, rdi
001e5850add rdi, 2
001e5854mov [rsp+16], rdi
001e5859mov rbx, [rsp+40]
001e585ecmp rax, rbx
001e5861je 0x1e586a
001e5863cmp r15, [r14]
001e5866ja 0x1e581a
001e5868jmp 0x1e58d1
001e586a
001e586aloc_1e586a:
001e586amov rax, [rsp+24]
001e586fcmp rax, 1
001e5873je 0x1e587c
001e5875mov eax, 1
001e587ajmp 0x1e5896
001e587c
001e587cloc_1e587c:
001e587cmov rdi, [rsp+48]
001e5881mov rax, [rdi+24]
001e5885mov ebx, 2
001e588asub rbx, rax
001e588dmov [rdi+24], rbx
001e5891mov eax, 1
001e5896
001e5896loc_1e5896:
001e5896pop [r14+48]
001e589aadd rsp, 8
001e589ejmp 0x1e58cc
001e58a0mov rbx, [rsp+8]
001e58a5cmp rbx, 1
001e58a9je 0x1e58b0
001e58abcall caml_reraise_exn
001e58b0
001e58b0loc_1e58b0:
001e58b0mov rsi, [rsp+32]
001e58b5mov rbx, [rsi+24]
001e58b9mov edi, 2
001e58besub rdi, rbx
001e58c1mov [rsi+24], rdi
001e58c5call caml_reraise_exn
001e58canop
001e58cc
001e58ccloc_1e58cc:
001e58ccadd rsp, 40
001e58d0ret
001e58d1
001e58d1loc_1e58d1:
001e58d1call caml_call_gc
001e58d6jmp 0x1e581a
001e58db
001e58dbloc_1e58db:
001e58dbcall caml_ml_array_bound_error
001e58e0
001e58e0loc_1e58e0:
001e58e0push 40
001e58e2call caml_call_realloc_stack
001e58e7pop r10
001e58e9jmp 0x1e57a2
001e5790

001e58ee
001e58ee // align 0x10

001e58f0
001e58f0Stdlib.Hashtbl.fold:
001e58f0lea r10, [rsp-384]
001e58f8cmp r10, [r14+40]
001e58fcjb 0x1e5a85
001e5902
001e5902loc_1e5902:
001e5902sub rsp, 48
001e5906mov [rsp+40], rbx
001e590bmov [rsp], rdi
001e590fsub r15, 40
001e5913cmp r15, [r14]
001e5916jb 0x1e5a76
001e591c
001e591cloc_1e591c:
001e591clea rdi, [r15+8]
001e5920mov [rsp+16], rdi
001e5925mov [rdi-8], 4343
001e592dlea rsi, [rip-0xee914]
001e5934mov [rdi], rsi
001e5937mov rsi, 0x200000000000007
001e5941mov [rdi+8], rsi
001e5945lea rsi, [rip+340]
001e594cmov [rdi+16], rsi
001e5950mov [rdi+24], rax
001e5954mov rax, rbx
001e5957call Stdlib.Hashtbl.ongoing_traversal
001e595cmov [rsp+8], rax
001e5961cmp rax, 1
001e5965jne 0x1e597c
001e5967mov rdi, [rsp+40]
001e596cmov rax, [rdi+24]
001e5970mov ebx, 2
001e5975sub rbx, rax
001e5978mov [rdi+24], rbx
001e597c
001e597cloc_1e597c:
001e597clea r11, [rip+181]
001e5983push r11
001e5985push [r14+48]
001e5989mov [r14+48], rsp
001e598dmov rax, [rsp+56]
001e5992mov rax, [rax+8]
001e5996mov rbx, [rsp+16]
001e599bmov edi, 1
001e59a0mov rsi, [rax-8]
001e59a4shr rsi, 9
001e59a8or rsi, 1
001e59acadd rsi, -2
001e59b0cmp rdi, rsi
001e59b3jg 0x1e5a0e
001e59b5mov [rsp+48], rsi
001e59bamov [rsp+40], rdi
001e59bfmov [rsp+16], rax
001e59c4
001e59c4loc_1e59c4:
001e59c4mov rsi, [rsp+16]
001e59c9mov rax, [rsi-8]
001e59cdshr rax, 9
001e59d1cmp rax, rdi
001e59d4jbe 0x1e5a80
001e59damov rax, [rsi+4*rdi-4]
001e59dfmov rdi, [rsp+32]
001e59e4call Stdlib.Hashtbl.do_bucket
001e59e9mov rbx, rax
001e59ecmov rdi, [rsp+40]
001e59f1mov rax, rdi
001e59f4add rdi, 2
001e59f8mov [rsp+40], rdi
001e59fdmov rsi, [rsp+48]
001e5a02cmp rax, rsi
001e5a05je 0x1e5a0e
001e5a07cmp r15, [r14]
001e5a0aja 0x1e59c4
001e5a0cjmp 0x1e5a6c
001e5a0e
001e5a0eloc_1e5a0e:
001e5a0emov rax, [rsp+24]
001e5a13cmp rax, 1
001e5a17jne 0x1e5a2e
001e5a19mov rsi, [rsp+56]
001e5a1emov rax, [rsi+24]
001e5a22mov edi, 2
001e5a27sub rdi, rax
001e5a2amov [rsi+24], rdi
001e5a2e
001e5a2eloc_1e5a2e:
001e5a2epop [r14+48]
001e5a32add rsp, 8
001e5a36jmp 0x1e5a64
001e5a38mov rbx, [rsp+8]
001e5a3dcmp rbx, 1
001e5a41je 0x1e5a48
001e5a43call caml_reraise_exn
001e5a48
001e5a48loc_1e5a48:
001e5a48mov rsi, [rsp+40]
001e5a4dmov rbx, [rsi+24]
001e5a51mov edi, 2
001e5a56sub rdi, rbx
001e5a59mov [rsi+24], rdi
001e5a5dcall caml_reraise_exn
001e5a62nop
001e5a64
001e5a64loc_1e5a64:
001e5a64mov rax, rbx
001e5a67add rsp, 48
001e5a6bret
001e5a6c
001e5a6cloc_1e5a6c:
001e5a6ccall caml_call_gc
001e5a71jmp 0x1e59c4
001e5a76
001e5a76loc_1e5a76:
001e5a76call caml_call_gc
001e5a7bjmp 0x1e591c
001e5a80
001e5a80loc_1e5a80:
001e5a80call caml_ml_array_bound_error
001e5a85
001e5a85loc_1e5a85:
001e5a85push 41
001e5a87call caml_call_realloc_stack
001e5a8cpop r10
001e5a8ejmp 0x1e5902
001e58f0

001e5a93
001e5a93 // align 0x10

001e5aa0
001e5aa0Stdlib.Hashtbl.do_bucket:
001e5aa0lea r10, [rsp-336]
001e5aa8cmp r10, [r14+40]
001e5aacjb 0x1e5b00
001e5aae
001e5aaeloc_1e5aae:
001e5aaesub rsp, 16
001e5ab2
001e5ab2loc_1e5ab2:
001e5ab2mov rdx, rbx
001e5ab5cmp r15, [r14]
001e5ab8jbe 0x1e5af9
001e5aba
001e5abaloc_1e5aba:
001e5abatest al, 1
001e5abcje 0x1e5ac8
001e5abemov rax, rdx
001e5ac1add rsp, 16
001e5ac5ret
001e5ac6
001e5ac6 66 90 f.
001e5ac8
001e5ac8loc_1e5ac8:
001e5ac8mov [rsp+8], rdi
001e5acdmov rcx, [rax]
001e5ad0mov rbx, [rax+8]
001e5ad4mov rax, [rax+16]
001e5ad8mov [rsp], rax
001e5adcmov rsi, [rdi+24]
001e5ae0mov rax, rcx
001e5ae3mov rdi, rdx
001e5ae6call caml_apply3
001e5aebmov rbx, rax
001e5aeemov rax, [rsp]
001e5af2mov rdi, [rsp+8]
001e5af7jmp 0x1e5ab2
001e5af9
001e5af9loc_1e5af9:
001e5af9call caml_call_gc
001e5afejmp 0x1e5aba
001e5b00
001e5b00loc_1e5b00:
001e5b00push 35
001e5b02call caml_call_realloc_stack
001e5b07pop r10
001e5b09jmp 0x1e5aae
001e5aa0

001e5b0b
001e5b0b // align 0x10

001e5b10
001e5b10Stdlib.Hashtbl.bucket_length:
001e5b10cmp r15, [r14]
001e5b13jbe 0x1e5b26
001e5b15
001e5b15loc_1e5b15:
001e5b15test bl, 1
001e5b18je 0x1e5b1c
001e5b1aret
001e5b1b
001e5b1b 90 .
001e5b1c
001e5b1cloc_1e5b1c:
001e5b1cmov rbx, [rbx+16]
001e5b20add rax, 2
001e5b24jmp 0x1e5b10
001e5b26
001e5b26loc_1e5b26:
001e5b26call caml_call_gc
001e5b2bjmp 0x1e5b15
001e5b10

001e5b2d
001e5b2d // align 0x10

001e5b30
001e5b30Stdlib.Hashtbl.stats:
001e5b30lea r10, [rsp-344]
001e5b38cmp r10, [r14+40]
001e5b3cjb 0x1e5c21
001e5b42
001e5b42loc_1e5b42:
001e5b42sub rsp, 24
001e5b46mov [rsp], rax
001e5b4amov rdi, [rax+8]
001e5b4emov ebx, 1
001e5b53lea rax, [rip+0x183f1e]
001e5b5acall Stdlib.Array.fold_left
001e5b5fmov [rsp+8], rax
001e5b64mov esi, 1
001e5b69add rax, 2
001e5b6dmov rdi, rax
001e5b70lea rax, [rip+0x14129]
001e5b77call caml_c_call
001e5b7cmov [rsp+16], rax
001e5b81sub r15, 32
001e5b85cmp r15, [r14]
001e5b88jb 0x1e5c17
001e5b8e
001e5b8eloc_1e5b8e:
001e5b8elea rdi, [r15+8]
001e5b92mov [rdi-8], 3319
001e5b9alea rbx, [rip+239]
001e5ba1mov [rdi], rbx
001e5ba4mov rbx, 0x100000000000005
001e5baemov [rdi+8], rbx
001e5bb2mov [rdi+16], rax
001e5bb6mov rax, [rsp]
001e5bbamov rbx, [rax+8]
001e5bbemov rax, rdi
001e5bc1call Stdlib.Array.iter
001e5bc6sub r15, 40
001e5bcacmp r15, [r14]
001e5bcdjb 0x1e5c10
001e5bcf
001e5bcfloc_1e5bcf:
001e5bcflea rax, [r15+8]
001e5bd3mov [rax-8], 4096
001e5bdbmov rdi, [rsp]
001e5bdfmov rbx, [rdi]
001e5be2mov [rax], rbx
001e5be5mov rbx, [rdi+8]
001e5be9mov rbx, [rbx-8]
001e5bedshr rbx, 9
001e5bf1or rbx, 1
001e5bf5mov [rax+8], rbx
001e5bf9mov rbx, [rsp+8]
001e5bfemov [rax+16], rbx
001e5c02mov rbx, [rsp+16]
001e5c07mov [rax+24], rbx
001e5c0badd rsp, 24
001e5c0fret
001e5c10
001e5c10loc_1e5c10:
001e5c10call caml_call_gc
001e5c15jmp 0x1e5bcf
001e5c17
001e5c17loc_1e5c17:
001e5c17call caml_call_gc
001e5c1cjmp 0x1e5b8e
001e5c21
001e5c21loc_1e5c21:
001e5c21push 36
001e5c23call caml_call_realloc_stack
001e5c28pop r10
001e5c2ajmp 0x1e5b42
001e5b30

001e5c2f
001e5c2f // align 0x10

001e5c30
001e5c30Stdlib.Hashtbl.fun:
001e5c30lea r10, [rsp-328]
001e5c38cmp r10, [r14+40]
001e5c3cjb 0x1e5c79
001e5c3e
001e5c3eloc_1e5c3e:
001e5c3esub rsp, 8
001e5c42mov [rsp], rax
001e5c46test bl, 1
001e5c49je 0x1e5c54
001e5c4bmov eax, 1
001e5c50jmp 0x1e5c62
001e5c52
001e5c52 66 90 f.
001e5c54
001e5c54loc_1e5c54:
001e5c54mov rbx, [rbx+16]
001e5c58mov eax, 3
001e5c5dcall Stdlib.Hashtbl.bucket_length
001e5c62
001e5c62loc_1e5c62:
001e5c62mov rbx, [rsp]
001e5c66cmp rbx, rax
001e5c69jl 0x1e5c74
001e5c6bmov rax, rbx
001e5c6eadd rsp, 8
001e5c72ret
001e5c73
001e5c73 90 .
001e5c74
001e5c74loc_1e5c74:
001e5c74add rsp, 8
001e5c78ret
001e5c79
001e5c79loc_1e5c79:
001e5c79push 34
001e5c7bcall caml_call_realloc_stack
001e5c80pop r10
001e5c82jmp 0x1e5c3e
001e5c30

001e5c84
001e5c84 // align 0x10

001e5c90
001e5c90Stdlib.Hashtbl.fun:
001e5c90lea r10, [rsp-328]
001e5c98cmp r10, [r14+40]
001e5c9cjb 0x1e5cf4
001e5c9e
001e5c9eloc_1e5c9e:
001e5c9esub rsp, 8
001e5ca2mov [rsp], rbx
001e5ca6test al, 1
001e5ca8je 0x1e5cb4
001e5caamov eax, 1
001e5cafjmp 0x1e5cc2
001e5cb1
001e5cb1 0f 1f 00 ...
001e5cb4
001e5cb4loc_1e5cb4:
001e5cb4mov rbx, [rax+16]
001e5cb8mov eax, 3
001e5cbdcall Stdlib.Hashtbl.bucket_length
001e5cc2
001e5cc2loc_1e5cc2:
001e5cc2mov rbx, [rsp]
001e5cc6mov rbx, [rbx+16]
001e5ccamov rdi, [rbx-8]
001e5cceshr rdi, 9
001e5cd2cmp rdi, rax
001e5cd5jbe 0x1e5cef
001e5cd7mov rdi, [rbx+4*rax-4]
001e5cdcadd rdi, 2
001e5ce0mov [rbx+4*rax-4], rdi
001e5ce5mov eax, 1
001e5ceaadd rsp, 8
001e5ceeret
001e5cef
001e5cefloc_1e5cef:
001e5cefcall caml_ml_array_bound_error
001e5cf4
001e5cf4loc_1e5cf4:
001e5cf4push 34
001e5cf6call caml_call_realloc_stack
001e5cfbpop r10
001e5cfdjmp 0x1e5c9e
001e5c90

001e5cff
001e5cff // align 0x10

001e5d00
001e5d00Stdlib.Hashtbl.to_seq:
001e5d00mov rax, [rax+8]
001e5d04sub r15, 88
001e5d08cmp r15, [r14]
001e5d0bjb 0x1e5d7f
001e5d0d
001e5d0dloc_1e5d0d:
001e5d0dlea rbx, [r15+8]
001e5d11add rbx, 48
001e5d15mov [rbx-8], 4343
001e5d1dlea rdi, [rip-0xeedf4]
001e5d24mov [rbx], rdi
001e5d27mov rdi, 0x300000000000007
001e5d31mov [rbx+8], rdi
001e5d35lea rdi, [rip+84]
001e5d3cmov [rbx+16], rdi
001e5d40mov [rbx+24], rax
001e5d44mov edi, 1
001e5d49mov esi, 1
001e5d4elea rax, [rbx-48]
001e5d52mov [rax-8], 5367
001e5d5alea rdx, [rip+287]
001e5d61mov [rax], rdx
001e5d64mov rdx, 0x100000000000005
001e5d6emov [rax+8], rdx
001e5d72mov [rax+16], rsi
001e5d76mov [rax+24], rdi
001e5d7amov [rax+32], rbx
001e5d7eret
001e5d7f
001e5d7floc_1e5d7f:
001e5d7fcall caml_call_gc
001e5d84jmp 0x1e5d0d
001e5d00

001e5d86
001e5d86 // align 0x10

001e5d90
001e5d90Stdlib.Hashtbl.aux:
001e5d90cmp r15, [r14]
001e5d93jbe 0x1e5e4e
001e5d99
001e5d99loc_1e5d99:
001e5d99test bl, 1
001e5d9cje 0x1e5dd8
001e5d9emov rbx, [rsi+24]
001e5da2mov rdi, [rbx-8]
001e5da6shr rdi, 9
001e5daamov rdx, rdi
001e5dador rdx, 1
001e5db1cmp rax, rdx
001e5db4jne 0x1e5dbc
001e5db6mov eax, 1
001e5dbbret
001e5dbc
001e5dbcloc_1e5dbc:
001e5dbcmov edx, 1
001e5dc1cmp rdi, rax
001e5dc4jbe 0x1e5e58
001e5dcamov rbx, [rbx+4*rax-4]
001e5dcfadd rax, 2
001e5dd3mov rdi, rdx
001e5dd6jmp 0x1e5d90
001e5dd8
001e5dd8loc_1e5dd8:
001e5dd8mov rdi, [rbx]
001e5ddbmov rdx, [rbx+8]
001e5ddfmov rbx, [rbx+16]
001e5de3sub r15, 96
001e5de7cmp r15, [r14]
001e5deajb 0x1e5e47
001e5dec
001e5decloc_1e5dec:
001e5declea rcx, [r15+8]
001e5df0add rcx, 48
001e5df4mov [rcx-8], 5367
001e5dfclea r8, [rip+93]
001e5e03mov [rcx], r8
001e5e06mov r8, 0x100000000000005
001e5e10mov [rcx+8], r8
001e5e14mov [rcx+16], rax
001e5e18mov [rcx+24], rbx
001e5e1cmov [rcx+32], rsi
001e5e20lea rbx, [rcx-24]
001e5e24mov [rbx-8], 2048
001e5e2cmov [rbx], rdi
001e5e2fmov [rbx+8], rdx
001e5e33lea rax, [rbx-24]
001e5e37mov [rax-8], 2048
001e5e3fmov [rax], rbx
001e5e42mov [rax+8], rcx
001e5e46ret
001e5e47
001e5e47loc_1e5e47:
001e5e47call caml_call_gc
001e5e4cjmp 0x1e5dec
001e5e4e
001e5e4eloc_1e5e4e:
001e5e4ecall caml_call_gc
001e5e53jmp 0x1e5d99
001e5e58
001e5e58loc_1e5e58:
001e5e58call caml_ml_array_bound_error
001e5d90

001e5e5d
001e5e5d // align 0x10

001e5e60
001e5e60Stdlib.Hashtbl.fun:
001e5e60mov rdi, rax
001e5e63mov rdx, [rbx+24]
001e5e67mov rax, [rbx+16]
001e5e6bmov rsi, [rbx+32]
001e5e6fmov rbx, rdx
001e5e72jmp 0x1e5d90
001e5e60

001e5e77
001e5e77 // align 0x10

001e5e80
001e5e80Stdlib.Hashtbl.fun:
001e5e80mov rdi, rax
001e5e83mov rdx, [rbx+24]
001e5e87mov rax, [rbx+16]
001e5e8bmov rsi, [rbx+32]
001e5e8fmov rbx, rdx
001e5e92jmp 0x1e5d90
001e5e80

001e5e97
001e5e97 // align 0x10

001e5ea0
001e5ea0Stdlib.Hashtbl.fun:
001e5ea0mov rax, [rax]
001e5ea3ret
001e5ea0

001e5ea4
001e5ea4 // align 0x10

001e5eb0
001e5eb0Stdlib.Hashtbl.to_seq_keys:
001e5eb0lea r10, [rsp-320]
001e5eb8cmp r10, [r14+40]
001e5ebcjb 0x1e5f1c
001e5ebe
001e5ebeloc_1e5ebe:
001e5ebecall Stdlib.Hashtbl.to_seq
001e5ec3lea rbx, [rip+0x183bce]
001e5ecalea rdi, [rip+0x14b667]
001e5ed1mov rdi, [rdi+224]
001e5ed8sub r15, 48
001e5edccmp r15, [r14]
001e5edfjb 0x1e5f15
001e5ee1
001e5ee1loc_1e5ee1:
001e5ee1lea rsi, [r15+8]
001e5ee5mov [rsi-8], 5367
001e5eedlea rdx, [rip+60]
001e5ef4mov [rsi], rdx
001e5ef7mov rdx, 0x100000000000005
001e5f01mov [rsi+8], rdx
001e5f05mov [rsi+16], rbx
001e5f09mov [rsi+24], rax
001e5f0dmov [rsi+32], rdi
001e5f11mov rax, rsi
001e5f14ret
001e5f15
001e5f15loc_1e5f15:
001e5f15call caml_call_gc
001e5f1ajmp 0x1e5ee1
001e5f1c
001e5f1cloc_1e5f1c:
001e5f1cpush 33
001e5f1ecall caml_call_realloc_stack
001e5f23pop r10
001e5f25jmp 0x1e5ebe
001e5eb0

001e5f27
001e5f27 // align 0x10

001e5f30
001e5f30Stdlib.Hashtbl.fun:
001e5f30mov rdi, rax
001e5f33mov rdx, [rbx+24]
001e5f37mov rax, [rbx+16]
001e5f3bmov rsi, [rbx+32]
001e5f3fmov rbx, rdx
001e5f42jmp 0x19a2d0
001e5f30

001e5f47
001e5f47 // align 0x10

001e5f50
001e5f50Stdlib.Hashtbl.fun:
001e5f50mov rax, [rax+8]
001e5f54ret
001e5f50

001e5f55
001e5f55 // align 0x10

001e5f60
001e5f60Stdlib.Hashtbl.to_seq_values:
001e5f60lea r10, [rsp-320]
001e5f68cmp r10, [r14+40]
001e5f6cjb 0x1e5fcc
001e5f6e
001e5f6eloc_1e5f6e:
001e5f6ecall Stdlib.Hashtbl.to_seq
001e5f73lea rbx, [rip+0x183b36]
001e5f7alea rdi, [rip+0x14b5b7]
001e5f81mov rdi, [rdi+224]
001e5f88sub r15, 48
001e5f8ccmp r15, [r14]
001e5f8fjb 0x1e5fc5
001e5f91
001e5f91loc_1e5f91:
001e5f91lea rsi, [r15+8]
001e5f95mov [rsi-8], 5367
001e5f9dlea rdx, [rip+60]
001e5fa4mov [rsi], rdx
001e5fa7mov rdx, 0x100000000000005
001e5fb1mov [rsi+8], rdx
001e5fb5mov [rsi+16], rbx
001e5fb9mov [rsi+24], rax
001e5fbdmov [rsi+32], rdi
001e5fc1mov rax, rsi
001e5fc4ret
001e5fc5
001e5fc5loc_1e5fc5:
001e5fc5call caml_call_gc
001e5fcajmp 0x1e5f91
001e5fcc
001e5fccloc_1e5fcc:
001e5fccpush 33
001e5fcecall caml_call_realloc_stack
001e5fd3pop r10
001e5fd5jmp 0x1e5f6e
001e5f60

001e5fd7
001e5fd7 // align 0x10

001e5fe0
001e5fe0Stdlib.Hashtbl.fun:
001e5fe0mov rdi, rax
001e5fe3mov rdx, [rbx+24]
001e5fe7mov rax, [rbx+16]
001e5febmov rsi, [rbx+32]
001e5fefmov rbx, rdx
001e5ff2jmp 0x19a2d0
001e5fe0

001e5ff7
001e5ff7 // align 0x10

001e6000
001e6000Stdlib.Hashtbl.MakeSeeded:
001e6000sub rsp, 88
001e6004lea r9, [rip+0x183ffd]
001e600bmov rbx, [r9]
001e600emov [rsp], rbx
001e6012mov rbx, [r9+8]
001e6016mov [rsp+8], rbx
001e601bmov rbx, [r9+16]
001e601fmov [rsp+16], rbx
001e6024mov rbx, [r9+24]
001e6028mov [rsp+24], rbx
001e602dsub r15, 888
001e6034cmp r15, [r14]
001e6037jb 0x1e643e
001e603d
001e603dloc_1e603d:
001e603dlea rdi, [r15+8]
001e6041add rdi, 848
001e6048mov [rdi-8], 4343
001e6050lea rsi, [rip-0xef037]
001e6057mov [rdi], rsi
001e605amov rbx, 0x200000000000007
001e6064mov [rdi+8], rbx
001e6068lea rbx, [rip+993]
001e606fmov [rdi+16], rbx
001e6073mov [rdi+24], rax
001e6077lea rcx, [rdi-40]
001e607bmov [rsp+32], rcx
001e6080mov [rcx-8], 4343
001e6088lea r8, [rip-0xef15f]
001e608fmov [rcx], r8
001e6092mov rbx, 0x300000000000007
001e609cmov [rcx+8], rbx
001e60a0lea rbx, [rip+1033]
001e60a7mov [rcx+16], rbx
001e60abmov [rcx+24], rdi
001e60aflea rbx, [rcx-40]
001e60b3mov [rbx-8], 4343
001e60bblea rdx, [rip-0xef532]
001e60c2mov [rbx], rdx
001e60c5mov rdx, 0x500000000000007
001e60cfmov [rbx+8], rdx
001e60d3lea rdx, [rip+1222]
001e60damov [rbx+16], rdx
001e60demov [rbx+24], rax
001e60e2lea rdx, [rbx-48]
001e60e6mov [rsp+40], rdx
001e60ebmov [rdx-8], 5367
001e60f3mov [rdx], rsi
001e60f6mov r12, 0x200000000000007
001e6100mov [rdx+8], r12
001e6104lea r12, [rip+1461]
001e610bmov [rdx+16], r12
001e610fmov [rdx+24], rdi
001e6113mov [rdx+32], rbx
001e6117lea rbx, [rdx-40]
001e611bmov [rbx-8], 4343
001e6123mov [rbx], rsi
001e6126mov rdx, 0x200000000000007
001e6130mov [rbx+8], rdx
001e6134lea rdx, [rip+1541]
001e613bmov [rbx+16], rdx
001e613fmov [rbx+24], rax
001e6143lea rdx, [rbx-56]
001e6147mov [rsp+48], rdx
001e614cmov [rdx-8], 6391
001e6154mov [rdx], rsi
001e6157mov r12, 0x200000000000007
001e6161mov [rdx+8], r12
001e6165lea r12, [rip+1636]
001e616cmov [rdx+16], r12
001e6170mov [rdx+24], rdi
001e6174mov [rdx+32], rbx
001e6178mov [rdx+40], rax
001e617clea rbx, [rdx-40]
001e6180mov [rbx-8], 4343
001e6188mov [rbx], rsi
001e618bmov rdx, 0x200000000000007
001e6195mov [rbx+8], rdx
001e6199lea rdx, [rip+1968]
001e61a0mov [rbx+16], rdx
001e61a4mov [rbx+24], rax
001e61a8lea rdx, [rbx-56]
001e61acmov [rsp+56], rdx
001e61b1mov [rdx-8], 6391
001e61b9mov [rdx], rsi
001e61bcmov r12, 0x200000000000007
001e61c6mov [rdx+8], r12
001e61calea r12, [rip+2111]
001e61d1mov [rdx+16], r12
001e61d5mov [rdx+24], rdi
001e61d9mov [rdx+32], rbx
001e61ddmov [rdx+40], rax
001e61e1lea rbx, [rdx-48]
001e61e5mov [rsp+64], rbx
001e61eamov [rbx-8], 5367
001e61f2mov [rbx], rsi
001e61f5mov rdx, 0x200000000000007
001e61ffmov [rbx+8], rdx
001e6203lea rdx, [rip+2534]
001e620amov [rbx+16], rdx
001e620emov [rbx+24], rdi
001e6212mov [rbx+32], rax
001e6216add rbx, -40
001e621amov [rbx-8], 4343
001e6222mov [rbx], r8
001e6225mov rdx, 0x300000000000007
001e622fmov [rbx+8], rdx
001e6233lea rdx, [rip+3222]
001e623amov [rbx+16], rdx
001e623emov [rbx+24], rax
001e6242lea rdx, [rbx-48]
001e6246mov [rdx-8], 5367
001e624emov [rdx], r8
001e6251mov r8, 0x300000000000007
001e625bmov [rdx+8], r8
001e625flea r8, [rip+3402]
001e6266mov [rdx+16], r8
001e626amov [rdx+24], rdi
001e626emov [rdx+32], rbx
001e6272lea rbx, [rdx-40]
001e6276mov [rbx-8], 4343
001e627emov [rbx], rsi
001e6281mov r8, 0x200000000000007
001e628bmov [rbx+8], r8
001e628flea r8, [rip+3690]
001e6296mov [rbx+16], r8
001e629amov [rbx+24], rax
001e629elea rax, [rbx-48]
001e62a2mov [rsp+72], rax
001e62a7mov [rax-8], 5367
001e62afmov [rax], rsi
001e62b2mov r8, 0x200000000000007
001e62bcmov [rax+8], r8
001e62c0lea r8, [rip+3785]
001e62c7mov [rax+16], r8
001e62cbmov [rax+24], rdi
001e62cfmov [rax+32], rbx
001e62d3add rax, -40
001e62d7mov [rsp+80], rax
001e62dcmov [rax-8], 4343
001e62e4mov [rax], rsi
001e62e7mov rbx, 0x200000000000007
001e62f1mov [rax+8], rbx
001e62f5lea rbx, [rip+3844]
001e62fcmov [rax+16], rbx
001e6300mov [rax+24], rcx
001e6304lea rbx, [rax-40]
001e6308mov [rbx-8], 4343
001e6310mov [rbx], rsi
001e6313mov rax, 0x200000000000007
001e631dmov [rbx+8], rax
001e6321lea rax, [rip+3928]
001e6328mov [rbx+16], rax
001e632cmov [rbx+24], rdx
001e6330lea rdi, [rbx-40]
001e6334mov [rdi-8], 4343
001e633clea rax, [rip+4029]
001e6343mov [rdi], rax
001e6346mov rax, 0x100000000000005
001e6350mov [rdi+8], rax
001e6354mov rsi, [rsp]
001e6358mov [rdi+16], rsi
001e635cmov [rdi+24], rbx
001e6360mov rax, r9
001e6363mov rbp, [rax+88]
001e6367mov r11, [rax+96]
001e636bmov r10, [rax+104]
001e636fmov r13, [rax+112]
001e6373mov r12, [rax+144]
001e637amov r9, [rax+152]
001e6381mov r8, [rax+160]
001e6388mov rcx, [rax+168]
001e638flea rax, [rdi-184]
001e6396mov [rax-8], 22528
001e639emov [rax], rsi
001e63a1mov rsi, [rsp+8]
001e63a6mov [rax+8], rsi
001e63aamov rsi, [rsp+16]
001e63afmov [rax+16], rsi
001e63b3mov rsi, [rsp+24]
001e63b8mov [rax+24], rsi
001e63bcmov rsi, [rsp+32]
001e63c1mov [rax+32], rsi
001e63c5mov rsi, [rsp+40]
001e63camov [rax+40], rsi
001e63cemov rsi, [rsp+48]
001e63d3mov [rax+48], rsi
001e63d7mov rsi, [rsp+56]
001e63dcmov [rax+56], rsi
001e63e0mov rsi, [rsp+64]
001e63e5mov [rax+64], rsi
001e63e9mov [rax+72], rdx
001e63edmov rsi, [rsp+72]
001e63f2mov [rax+80], rsi
001e63f6mov [rax+88], rbp
001e63famov [rax+96], r11
001e63femov [rax+104], r10
001e6402mov [rax+112], r13
001e6406mov [rax+120], r12
001e640amov [rax+128], r9
001e6411mov [rax+136], r8
001e6418mov [rax+144], rcx
001e641fmov rsi, [rsp+80]
001e6424mov [rax+152], rsi
001e642bmov [rax+160], rbx
001e6432mov [rax+168], rdi
001e6439add rsp, 88
001e643dret
001e643e
001e643eloc_1e643e:
001e643ecall caml_call_gc
001e6443jmp 0x1e603d
001e6000