Similarity

001a4f80
001a4f80Stdlib.List.fun:
001a4f80mov rsi, rax
001a4f83mov rax, [rbx+16]
001a4f87mov rdi, [rbx+24]
001a4f8bmov rbx, rsi
001a4f8ejmp 0x1a4f10
001a4f80

001a4f93
001a4f93 // align 0x10

001a4fa0
001a4fa0Stdlib.List.fun:
001a4fa0mov rsi, rax
001a4fa3mov rax, [rbx+16]
001a4fa7mov rdi, [rbx+24]
001a4fabmov rbx, rsi
001a4faejmp 0x1a4f10
001a4fa0

001a4fb3
001a4fb3 // align 0x10

001a4fc0
001a4fc0Stdlib.List.of_seq_dps:
001a4fc0lea r10, [rsp-344]
001a4fc8cmp r10, [r14+40]
001a4fccjb 0x1a5113
001a4fd2
001a4fd2loc_1a4fd2:
001a4fd2sub rsp, 24
001a4fd6
001a4fd6loc_1a4fd6:
001a4fd6mov [rsp+16], rax
001a4fdbmov [rsp+8], rbx
001a4fe0mov rbx, rdi
001a4fe3mov eax, 1
001a4fe8mov rdi, [rbx]
001a4febcall rdi
001a4fedtest al, 1
001a4fefje 0x1a5020
001a4ff1mov esi, 1
001a4ff6mov rax, [rsp+8]
001a4ffbmov rbx, [rsp+16]
001a5000lea rdi, [rbx+4*rax-4]
001a5005mov rbx, rsp
001a5008mov rsp, [r14+64]
001a500ccall caml_initialize
001a5011mov rsp, rbx
001a5014mov eax, 1
001a5019add rsp, 24
001a501dret
001a501e
001a501e 66 90 f.
001a5020
001a5020loc_1a5020:
001a5020mov rbx, [rax]
001a5023mov [rsp], rbx
001a5027mov rbx, [rax+8]
001a502bmov eax, 1
001a5030mov rdi, [rbx]
001a5033call rdi
001a5035mov r13, rax
001a5038test r13b, 1
001a503cje 0x1a5090
001a503esub r15, 24
001a5042cmp r15, [r14]
001a5045jb 0x1a5109
001a504b
001a504bloc_1a504b:
001a504blea rsi, [r15+8]
001a504fmov [rsi-8], 2048
001a5057mov rax, [rsp]
001a505bmov [rsi], rax
001a505emov [rsi+8], 1
001a5066mov rax, [rsp+8]
001a506bmov rbx, [rsp+16]
001a5070lea rdi, [rbx+4*rax-4]
001a5075mov rbx, rsp
001a5078mov rsp, [r14+64]
001a507ccall caml_initialize
001a5081mov rsp, rbx
001a5084mov eax, 1
001a5089add rsp, 24
001a508dret
001a508e
001a508e 66 90 f.
001a5090
001a5090loc_1a5090:
001a5090mov rax, [r13]
001a5094sub r15, 48
001a5098cmp r15, [r14]
001a509bjb 0x1a5102
001a509d
001a509dloc_1a509d:
001a509dlea r12, [r15+8]
001a50a1add r12, 24
001a50a5mov [r12-8], 2048
001a50aemov [r12], rax
001a50b2mov [r12+8], 48059
001a50bblea rsi, [r12-24]
001a50c0mov [rsi-8], 2048
001a50c8mov rax, [rsp]
001a50ccmov [rsi], rax
001a50cfmov [rsi+8], r12
001a50d3mov rax, [rsp+8]
001a50d8mov rbx, [rsp+16]
001a50ddlea rdi, [rbx+4*rax-4]
001a50e2mov rbx, rsp
001a50e5mov rsp, [r14+64]
001a50e9call caml_initialize
001a50eemov rsp, rbx
001a50f1mov rdi, [r13+8]
001a50f5mov ebx, 3
001a50famov rax, r12
001a50fdjmp 0x1a4fd6
001a5102
001a5102loc_1a5102:
001a5102call caml_call_gc
001a5107jmp 0x1a509d
001a5109
001a5109loc_1a5109:
001a5109call caml_call_gc
001a510ejmp 0x1a504b
001a5113
001a5113loc_1a5113:
001a5113push 36
001a5115call caml_call_realloc_stack
001a511apop r10
001a511cjmp 0x1a4fd2
001a4fc0

001a5121
001a5121 // align 0x10

001a5130
001a5130Stdlib.List.of_seq:
001a5130lea r10, [rsp-336]
001a5138cmp r10, [r14+40]
001a513cjb 0x1a5226
001a5142
001a5142loc_1a5142:
001a5142sub rsp, 16
001a5146mov rbx, rax
001a5149mov eax, 1
001a514emov rdi, [rbx]
001a5151call rdi
001a5153test al, 1
001a5155je 0x1a5164
001a5157mov eax, 1
001a515cadd rsp, 16
001a5160ret
001a5161
001a5161 0f 1f 00 ...
001a5164
001a5164loc_1a5164:
001a5164mov rbx, [rax]
001a5167mov [rsp+8], rbx
001a516cmov rbx, [rax+8]
001a5170mov eax, 1
001a5175mov rdi, [rbx]
001a5178call rdi
001a517atest al, 1
001a517cje 0x1a51ac
001a517esub r15, 24
001a5182cmp r15, [r14]
001a5185jb 0x1a521c
001a518b
001a518bloc_1a518b:
001a518blea rax, [r15+8]
001a518fmov [rax-8], 2048
001a5197mov rbx, [rsp+8]
001a519cmov [rax], rbx
001a519fmov [rax+8], 1
001a51a7add rsp, 16
001a51abret
001a51ac
001a51acloc_1a51ac:
001a51acsub r15, 24
001a51b0cmp r15, [r14]
001a51b3jb 0x1a5215
001a51b5
001a51b5loc_1a51b5:
001a51b5lea rsi, [r15+8]
001a51b9mov [rsp], rsi
001a51bdmov [rsi-8], 2048
001a51c5mov rbx, [rax]
001a51c8mov [rsi], rbx
001a51cbmov [rsi+8], 48059
001a51d3mov rdi, [rax+8]
001a51d7mov ebx, 3
001a51dcmov rax, rsi
001a51dfcall Stdlib.List.of_seq_dps
001a51e4mov rbx, [rsp]
001a51e8sub r15, 24
001a51eccmp r15, [r14]
001a51efjb 0x1a520e
001a51f1
001a51f1loc_1a51f1:
001a51f1lea rax, [r15+8]
001a51f5mov [rax-8], 2048
001a51fdmov rdi, [rsp+8]
001a5202mov [rax], rdi
001a5205mov [rax+8], rbx
001a5209add rsp, 16
001a520dret
001a520e
001a520eloc_1a520e:
001a520ecall caml_call_gc
001a5213jmp 0x1a51f1
001a5215
001a5215loc_1a5215:
001a5215call caml_call_gc
001a521ajmp 0x1a51b5
001a521c
001a521cloc_1a521c:
001a521ccall caml_call_gc
001a5221jmp 0x1a518b
001a5226
001a5226loc_1a5226:
001a5226push 35
001a5228call caml_call_realloc_stack
001a522dpop r10
001a522fjmp 0x1a5142
001a5130

001a5234
001a5234 // align 0x10

001a5240
001a5240Stdlib.List.entry:
001a5240lea rsi, [rip+0x18f681]
001a5247lea rdi, [rip+0x190022]
001a524eadd rdi, 552
001a5255mov rbx, rsp
001a5258mov rsp, [r14+64]
001a525ccall caml_initialize
001a5261mov rsp, rbx
001a5264lea rsi, [rip+0x18f67d]
001a526blea rdi, [rip+0x18fffe]
001a5272mov rbx, rsp
001a5275mov rsp, [r14+64]
001a5279call caml_initialize
001a527emov rsp, rbx
001a5281lea rsi, [rip+0x18f678]
001a5288lea rdi, [rip+0x18ffe1]
001a528fadd rdi, 32
001a5293mov rbx, rsp
001a5296mov rsp, [r14+64]
001a529acall caml_initialize
001a529fmov rsp, rbx
001a52a2lea rsi, [rip+0x18f677]
001a52a9lea rdi, [rip+0x18ffc0]
001a52b0add rdi, 40
001a52b4mov rbx, rsp
001a52b7mov rsp, [r14+64]
001a52bbcall caml_initialize
001a52c0mov rsp, rbx
001a52c3lea rsi, [rip+0x18f66e]
001a52calea rdi, [rip+0x18ff9f]
001a52d1add rdi, 48
001a52d5mov rbx, rsp
001a52d8mov rsp, [r14+64]
001a52dccall caml_initialize
001a52e1mov rsp, rbx
001a52e4lea rsi, [rip+0x18f665]
001a52eblea rdi, [rip+0x18ff7e]
001a52f2add rdi, 56
001a52f6mov rbx, rsp
001a52f9mov rsp, [r14+64]
001a52fdcall caml_initialize
001a5302mov rsp, rbx
001a5305lea rsi, [rip+0x18f664]
001a530clea rdi, [rip+0x18ff5d]
001a5313add rdi, 64
001a5317mov rbx, rsp
001a531amov rsp, [r14+64]
001a531ecall caml_initialize
001a5323mov rsp, rbx
001a5326lea rax, [rip+0x1882eb]
001a532dmov rsi, [rax+288]
001a5334lea rdi, [rip+0x18ff35]
001a533badd rdi, 88
001a533fmov rbx, rsp
001a5342mov rsp, [r14+64]
001a5346call caml_initialize
001a534bmov rsp, rbx
001a534elea rsi, [rip+0x18f63b]
001a5355lea rdi, [rip+0x18ff14]
001a535cadd rdi, 96
001a5360mov rbx, rsp
001a5363mov rsp, [r14+64]
001a5367call caml_initialize
001a536cmov rsp, rbx
001a536flea rsi, [rip+0x18f63a]
001a5376lea rdi, [rip+0x18fef3]
001a537dadd rdi, 72
001a5381mov rbx, rsp
001a5384mov rsp, [r14+64]
001a5388call caml_initialize
001a538dmov rsp, rbx
001a5390lea rsi, [rip+0x18f631]
001a5397lea rdi, [rip+0x18fed2]
001a539eadd rdi, 560
001a53a5mov rbx, rsp
001a53a8mov rsp, [r14+64]
001a53accall caml_initialize
001a53b1mov rsp, rbx
001a53b4lea rsi, [rip+0x18f64d]
001a53bblea rdi, [rip+0x18feae]
001a53c2add rdi, 80
001a53c6mov rbx, rsp
001a53c9mov rsp, [r14+64]
001a53cdcall caml_initialize
001a53d2mov rsp, rbx
001a53d5lea rsi, [rip+0x18f64c]
001a53dclea rdi, [rip+0x18fe8d]
001a53e3add rdi, 112
001a53e7mov rbx, rsp
001a53eamov rsp, [r14+64]
001a53eecall caml_initialize
001a53f3mov rsp, rbx
001a53f6lea rdi, [rip+0x18fe73]
001a53fdmov rsi, [rdi+112]
001a5401add rdi, 104
001a5405mov rbx, rsp
001a5408mov rsp, [r14+64]
001a540ccall caml_initialize
001a5411mov rsp, rbx
001a5414lea rsi, [rip+0x18f625]
001a541blea rdi, [rip+0x18fe4e]
001a5422add rdi, 152
001a5429mov rbx, rsp
001a542cmov rsp, [r14+64]
001a5430call caml_initialize
001a5435mov rsp, rbx
001a5438lea rsi, [rip+0x18f641]
001a543flea rdi, [rip+0x18fe2a]
001a5446add rdi, 568
001a544dmov rbx, rsp
001a5450mov rsp, [r14+64]
001a5454call caml_initialize
001a5459mov rsp, rbx
001a545clea rsi, [rip+0x18f65d]
001a5463lea rdi, [rip+0x18fe06]
001a546aadd rdi, 160
001a5471mov rbx, rsp
001a5474mov rsp, [r14+64]
001a5478call caml_initialize
001a547dmov rsp, rbx
001a5480lea rsi, [rip+0x18f659]
001a5487lea rdi, [rip+0x18fde2]
001a548eadd rdi, 168
001a5495mov rbx, rsp
001a5498mov rsp, [r14+64]
001a549ccall caml_initialize
001a54a1mov rsp, rbx
001a54a4lea rsi, [rip+0x18f655]
001a54ablea rdi, [rip+0x18fdbe]
001a54b2add rdi, 136
001a54b9mov rbx, rsp
001a54bcmov rsp, [r14+64]
001a54c0call caml_initialize
001a54c5mov rsp, rbx
001a54c8lea rsi, [rip+0x18f651]
001a54cflea rdi, [rip+0x18fd9a]
001a54d6add rdi, 576
001a54ddmov rbx, rsp
001a54e0mov rsp, [r14+64]
001a54e4call caml_initialize
001a54e9mov rsp, rbx
001a54eclea rsi, [rip+0x18f64d]
001a54f3lea rdi, [rip+0x18fd76]
001a54faadd rdi, 144
001a5501mov rbx, rsp
001a5504mov rsp, [r14+64]
001a5508call caml_initialize
001a550dmov rsp, rbx
001a5510lea rsi, [rip+0x18f649]
001a5517lea rdi, [rip+0x18fd52]
001a551eadd rdi, 200
001a5525mov rbx, rsp
001a5528mov rsp, [r14+64]
001a552ccall caml_initialize
001a5531mov rsp, rbx
001a5534lea rsi, [rip+0x18f645]
001a553blea rdi, [rip+0x18fd2e]
001a5542add rdi, 208
001a5549mov rbx, rsp
001a554cmov rsp, [r14+64]
001a5550call caml_initialize
001a5555mov rsp, rbx
001a5558lea rsi, [rip+0x18f641]
001a555flea rdi, [rip+0x18fd0a]
001a5566add rdi, 224
001a556dmov rbx, rsp
001a5570mov rsp, [r14+64]
001a5574call caml_initialize
001a5579mov rsp, rbx
001a557clea rsi, [rip+0x18f65d]
001a5583lea rdi, [rip+0x18fce6]
001a558aadd rdi, 232
001a5591mov rbx, rsp
001a5594mov rsp, [r14+64]
001a5598call caml_initialize
001a559dmov rsp, rbx
001a55a0lea rsi, [rip+0x18f659]
001a55a7lea rdi, [rip+0x18fcc2]
001a55aeadd rdi, 216
001a55b5mov rbx, rsp
001a55b8mov rsp, [r14+64]
001a55bccall caml_initialize
001a55c1mov rsp, rbx
001a55c4lea rsi, [rip+0x18f655]
001a55cblea rdi, [rip+0x18fc9e]
001a55d2add rdi, 240
001a55d9mov rbx, rsp
001a55dcmov rsp, [r14+64]
001a55e0call caml_initialize
001a55e5mov rsp, rbx
001a55e8lea rsi, [rip+0x18f651]
001a55eflea rdi, [rip+0x18fc7a]
001a55f6add rdi, 248
001a55fdmov rbx, rsp
001a5600mov rsp, [r14+64]
001a5604call caml_initialize
001a5609mov rsp, rbx
001a560clea rsi, [rip+0x18f64d]
001a5613lea rdi, [rip+0x18fc56]
001a561aadd rdi, 256
001a5621mov rbx, rsp
001a5624mov rsp, [r14+64]
001a5628call caml_initialize
001a562dmov rsp, rbx
001a5630lea rsi, [rip+0x18f649]
001a5637lea rdi, [rip+0x18fc32]
001a563eadd rdi, 264
001a5645mov rbx, rsp
001a5648mov rsp, [r14+64]
001a564ccall caml_initialize
001a5651mov rsp, rbx
001a5654lea rsi, [rip+0x18f645]
001a565blea rdi, [rip+0x18fc0e]
001a5662add rdi, 272
001a5669mov rbx, rsp
001a566cmov rsp, [r14+64]
001a5670call caml_initialize
001a5675mov rsp, rbx
001a5678lea rsi, [rip+0x18f641]
001a567flea rdi, [rip+0x18fbea]
001a5686add rdi, 280
001a568dmov rbx, rsp
001a5690mov rsp, [r14+64]
001a5694call caml_initialize
001a5699mov rsp, rbx
001a569clea rsi, [rip+0x18f63d]
001a56a3lea rdi, [rip+0x18fbc6]
001a56aaadd rdi, 288
001a56b1mov rbx, rsp
001a56b4mov rsp, [r14+64]
001a56b8call caml_initialize
001a56bdmov rsp, rbx
001a56c0lea rsi, [rip+0x18f639]
001a56c7lea rdi, [rip+0x18fba2]
001a56ceadd rdi, 296
001a56d5mov rbx, rsp
001a56d8mov rsp, [r14+64]
001a56dccall caml_initialize
001a56e1mov rsp, rbx
001a56e4lea rsi, [rip+0x18f635]
001a56eblea rdi, [rip+0x18fb7e]
001a56f2add rdi, 416
001a56f9mov rbx, rsp
001a56fcmov rsp, [r14+64]
001a5700call caml_initialize
001a5705mov rsp, rbx
001a5708lea rsi, [rip+0x18f631]
001a570flea rdi, [rip+0x18fb5a]
001a5716add rdi, 424
001a571dmov rbx, rsp
001a5720mov rsp, [r14+64]
001a5724call caml_initialize
001a5729mov rsp, rbx
001a572clea rsi, [rip+0x18f62d]
001a5733lea rdi, [rip+0x18fb36]
001a573aadd rdi, 432
001a5741mov rbx, rsp
001a5744mov rsp, [r14+64]
001a5748call caml_initialize
001a574dmov rsp, rbx
001a5750lea rsi, [rip+0x18f629]
001a5757lea rdi, [rip+0x18fb12]
001a575eadd rdi, 440
001a5765mov rbx, rsp
001a5768mov rsp, [r14+64]
001a576ccall caml_initialize
001a5771mov rsp, rbx
001a5774lea rsi, [rip+0x18f625]
001a577blea rdi, [rip+0x18faee]
001a5782add rdi, 448
001a5789mov rbx, rsp
001a578cmov rsp, [r14+64]
001a5790call caml_initialize
001a5795mov rsp, rbx
001a5798lea rsi, [rip+0x18f621]
001a579flea rdi, [rip+0x18faca]
001a57a6add rdi, 456
001a57admov rbx, rsp
001a57b0mov rsp, [r14+64]
001a57b4call caml_initialize
001a57b9mov rsp, rbx
001a57bclea rsi, [rip+0x18f61d]
001a57c3lea rdi, [rip+0x18faa6]
001a57caadd rdi, 464
001a57d1mov rbx, rsp
001a57d4mov rsp, [r14+64]
001a57d8call caml_initialize
001a57ddmov rsp, rbx
001a57e0lea rsi, [rip+0x18f619]
001a57e7lea rdi, [rip+0x18fa82]
001a57eeadd rdi, 472
001a57f5mov rbx, rsp
001a57f8mov rsp, [r14+64]
001a57fccall caml_initialize
001a5801mov rsp, rbx
001a5804lea rsi, [rip+0x18f615]
001a580blea rdi, [rip+0x18fa5e]
001a5812add rdi, 304
001a5819mov rbx, rsp
001a581cmov rsp, [r14+64]
001a5820call caml_initialize
001a5825mov rsp, rbx
001a5828lea rsi, [rip+0x18f611]
001a582flea rdi, [rip+0x18fa3a]
001a5836add rdi, 312
001a583dmov rbx, rsp
001a5840mov rsp, [r14+64]
001a5844call caml_initialize
001a5849mov rsp, rbx
001a584clea rsi, [rip+0x18f60d]
001a5853lea rdi, [rip+0x18fa16]
001a585aadd rdi, 320
001a5861mov rbx, rsp
001a5864mov rsp, [r14+64]
001a5868call caml_initialize
001a586dmov rsp, rbx
001a5870lea rsi, [rip+0x18f601]
001a5877lea rdi, [rip+0x18f9f2]
001a587eadd rdi, 328
001a5885mov rbx, rsp
001a5888mov rsp, [r14+64]
001a588ccall caml_initialize
001a5891mov rsp, rbx
001a5894lea rsi, [rip+0x18f5fd]
001a589blea rdi, [rip+0x18f9ce]
001a58a2add rdi, 336
001a58a9mov rbx, rsp
001a58acmov rsp, [r14+64]
001a58b0call caml_initialize
001a58b5mov rsp, rbx
001a58b8lea rsi, [rip+0x18f5f1]
001a58bflea rdi, [rip+0x18f9aa]
001a58c6add rdi, 352
001a58cdmov rbx, rsp
001a58d0mov rsp, [r14+64]
001a58d4call caml_initialize
001a58d9mov rsp, rbx
001a58dclea rdi, [rip+0x18f98d]
001a58e3mov rsi, [rdi+352]
001a58eaadd rdi, 344
001a58f1mov rbx, rsp
001a58f4mov rsp, [r14+64]
001a58f8call caml_initialize
001a58fdmov rsp, rbx
001a5900lea rsi, [rip+0x18f5e9]
001a5907lea rdi, [rip+0x18f962]
001a590eadd rdi, 584
001a5915mov rbx, rsp
001a5918mov rsp, [r14+64]
001a591ccall caml_initialize
001a5921mov rsp, rbx
001a5924lea rsi, [rip+0x18f605]
001a592blea rdi, [rip+0x18f93e]
001a5932add rdi, 360
001a5939mov rbx, rsp
001a593cmov rsp, [r14+64]
001a5940call caml_initialize
001a5945mov rsp, rbx
001a5948lea rsi, [rip+0x18f601]
001a594flea rdi, [rip+0x18f91a]
001a5956add rdi, 176
001a595dmov rbx, rsp
001a5960mov rsp, [r14+64]
001a5964call caml_initialize
001a5969mov rsp, rbx
001a596clea r12, [rip+0x18f61d]
001a5973lea rdi, [rip+0x18f8f6]
001a597aadd rdi, 184
001a5981mov rsi, r12
001a5984mov rbx, rsp
001a5987mov rsp, [r14+64]
001a598bcall caml_initialize
001a5990mov rsp, rbx
001a5993mov rsi, r12
001a5996add rsi, 64
001a599alea rdi, [rip+0x18f8cf]
001a59a1add rdi, 592
001a59a8mov rbx, rsp
001a59abmov rsp, [r14+64]
001a59afcall caml_initialize
001a59b4mov rsp, rbx
001a59b7lea rsi, [rip+0x18f652]
001a59belea rdi, [rip+0x18f8ab]
001a59c5add rdi, 368
001a59ccmov rbx, rsp
001a59cfmov rsp, [r14+64]
001a59d3call caml_initialize
001a59d8mov rsp, rbx
001a59dblea rsi, [rip+0x18f64e]
001a59e2lea rdi, [rip+0x18f887]
001a59e9add rdi, 376
001a59f0mov rbx, rsp
001a59f3mov rsp, [r14+64]
001a59f7call caml_initialize
001a59fcmov rsp, rbx
001a59fflea rsi, [rip+0x18f64a]
001a5a06lea rdi, [rip+0x18f863]
001a5a0dadd rdi, 384
001a5a14mov rbx, rsp
001a5a17mov rsp, [r14+64]
001a5a1bcall caml_initialize
001a5a20mov rsp, rbx
001a5a23lea rsi, [rip+0x18f646]
001a5a2alea rdi, [rip+0x18f83f]
001a5a31add rdi, 392
001a5a38mov rbx, rsp
001a5a3bmov rsp, [r14+64]
001a5a3fcall caml_initialize
001a5a44mov rsp, rbx
001a5a47lea rsi, [rip+0x18f642]
001a5a4elea rdi, [rip+0x18f81b]
001a5a55add rdi, 192
001a5a5cmov rbx, rsp
001a5a5fmov rsp, [r14+64]
001a5a63call caml_initialize
001a5a68mov rsp, rbx
001a5a6blea rsi, [rip+0x18f63e]
001a5a72lea rdi, [rip+0x18f7f7]
001a5a79add rdi, 400
001a5a80mov rbx, rsp
001a5a83mov rsp, [r14+64]
001a5a87call caml_initialize
001a5a8cmov rsp, rbx
001a5a8flea rsi, [rip+0x18f63a]
001a5a96lea rdi, [rip+0x18f7d3]
001a5a9dadd rdi, 408
001a5aa4mov rbx, rsp
001a5aa7mov rsp, [r14+64]
001a5aabcall caml_initialize
001a5ab0mov rsp, rbx
001a5ab3lea rsi, [rip+0x18f636]
001a5abalea rdi, [rip+0x18f7af]
001a5ac1add rdi, 480
001a5ac8mov rbx, rsp
001a5acbmov rsp, [r14+64]
001a5acfcall caml_initialize
001a5ad4mov rsp, rbx
001a5ad7lea rsi, [rip+0x18f62a]
001a5adelea rdi, [rip+0x18f78b]
001a5ae5add rdi, 488
001a5aecmov rbx, rsp
001a5aefmov rsp, [r14+64]
001a5af3call caml_initialize
001a5af8mov rsp, rbx
001a5afblea rsi, [rip+0x18f626]
001a5b02lea rdi, [rip+0x18f767]
001a5b09add rdi, 528
001a5b10mov rbx, rsp
001a5b13mov rsp, [r14+64]
001a5b17call caml_initialize
001a5b1cmov rsp, rbx
001a5b1flea rsi, [rip+0x18f622]
001a5b26lea rdi, [rip+0x18f743]
001a5b2dadd rdi, 504
001a5b34mov rbx, rsp
001a5b37mov rsp, [r14+64]
001a5b3bcall caml_initialize
001a5b40mov rsp, rbx
001a5b43lea rdi, [rip+0x18f726]
001a5b4amov rsi, [rdi+504]
001a5b51add rdi, 496
001a5b58mov rbx, rsp
001a5b5bmov rsp, [r14+64]
001a5b5fcall caml_initialize
001a5b64mov rsp, rbx
001a5b67lea rdi, [rip+0x18f702]
001a5b6emov rsi, [rdi+504]
001a5b75add rdi, 512
001a5b7cmov rbx, rsp
001a5b7fmov rsp, [r14+64]
001a5b83call caml_initialize
001a5b88mov rsp, rbx
001a5b8blea rsi, [rip+0x18f5d6]
001a5b92lea rdi, [rip+0x18f6d7]
001a5b99add rdi, 520
001a5ba0mov rbx, rsp
001a5ba3mov rsp, [r14+64]
001a5ba7call caml_initialize
001a5bacmov rsp, rbx
001a5baflea rsi, [rip+0x18f5d2]
001a5bb6lea rdi, [rip+0x18f6b3]
001a5bbdadd rdi, 8
001a5bc1mov rbx, rsp
001a5bc4mov rsp, [r14+64]
001a5bc8call caml_initialize
001a5bcdmov rsp, rbx
001a5bd0lea rsi, [rip+0x18f5d1]
001a5bd7lea rdi, [rip+0x18f692]
001a5bdeadd rdi, 16
001a5be2mov rbx, rsp
001a5be5mov rsp, [r14+64]
001a5be9call caml_initialize
001a5beemov rsp, rbx
001a5bf1lea rsi, [rip+0x18f5d0]
001a5bf8lea rdi, [rip+0x18f671]
001a5bffadd rdi, 24
001a5c03mov rbx, rsp
001a5c06mov rsp, [r14+64]
001a5c0acall caml_initialize
001a5c0fmov rsp, rbx
001a5c12lea rsi, [rip+0x18f5c7]
001a5c19lea rdi, [rip+0x18f650]
001a5c20add rdi, 120
001a5c24mov rbx, rsp
001a5c27mov rsp, [r14+64]
001a5c2bcall caml_initialize
001a5c30mov rsp, rbx
001a5c33lea rsi, [rip+0x18f5c6]
001a5c3alea rdi, [rip+0x18f62f]
001a5c41add rdi, 128
001a5c48mov rbx, rsp
001a5c4bmov rsp, [r14+64]
001a5c4fcall caml_initialize
001a5c54mov rsp, rbx
001a5c57lea rsi, [rip+0x18f5c2]
001a5c5elea rdi, [rip+0x18f60b]
001a5c65add rdi, 536
001a5c6cmov rbx, rsp
001a5c6fmov rsp, [r14+64]
001a5c73call caml_initialize
001a5c78mov rsp, rbx
001a5c7blea rsi, [rip+0x18f5b6]
001a5c82lea rdi, [rip+0x18f5e7]
001a5c89add rdi, 544
001a5c90mov rbx, rsp
001a5c93mov rsp, [r14+64]
001a5c97call caml_initialize
001a5c9cmov rsp, rbx
001a5c9fmov eax, 1
001a5ca4ret
001a5240

001a5ca5
001a5ca5 // align 0x10

001a5cb0
001a5cb0Stdlib.Int.abs:
001a5cb0mov rbx, rax
001a5cb3cmp rbx, 1
001a5cb7jl 0x1a5cc0
001a5cb9mov rax, rbx
001a5cbcret
001a5cbd
001a5cbd 0f 1f 00 ...
001a5cc0
001a5cc0loc_1a5cc0:
001a5cc0mov eax, 2
001a5cc5sub rax, rbx
001a5cc8ret
001a5cb0

001a5cc9
001a5cc9 // align 0x10

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

001a5cd9
001a5cd9 // align 0x10

001a5ce0
001a5ce0Stdlib.Int.equal:
001a5ce0cmp rax, rbx
001a5ce3sete al
001a5ce6movzx rax, al
001a5cealea rax, [rax+rax+1]
001a5cefret
001a5ce0

001a5cf0
001a5cf0Stdlib.Int.compare:
001a5cf0mov rdi, rax
001a5cf3cmp rdi, rbx
001a5cf6setl al
001a5cf9movzx rsi, al
001a5cfdcmp rdi, rbx
001a5d00setg al
001a5d03movzx rax, al
001a5d07sub rax, rsi
001a5d0alea rax, [rax+rax+1]
001a5d0fret
001a5cf0

001a5d10
001a5d10Stdlib.Int.min:
001a5d10cmp rax, rbx
001a5d13jg 0x1a5d18
001a5d15ret
001a5d16
001a5d16 66 90 f.
001a5d18
001a5d18loc_1a5d18:
001a5d18mov rax, rbx
001a5d1bret
001a5d10

001a5d1c
001a5d1c // align 0x10

001a5d20
001a5d20Stdlib.Int.max:
001a5d20cmp rax, rbx
001a5d23jl 0x1a5d28
001a5d25ret
001a5d26
001a5d26 66 90 f.
001a5d28
001a5d28loc_1a5d28:
001a5d28mov rax, rbx
001a5d2bret
001a5d20

001a5d2c
001a5d2c // align 0x10

001a5d30
001a5d30Stdlib.Int.to_string:
001a5d30lea rdi, [rip+0x193229]
001a5d37mov rsi, rax
001a5d3alea rax, [rip+0x676cf]
001a5d41call caml_c_call
001a5d46ret
001a5d30

001a5d47
001a5d47 // align 0x10

001a5d50
001a5d50Stdlib.Int.seeded_hash:
001a5d50mov esi, 201
001a5d55mov edi, 21
001a5d5amov rdx, rax
001a5d5dmov rcx, rbx
001a5d60mov rbx, rsp
001a5d63mov rsp, [r14+64]
001a5d67call caml_hash
001a5d6cmov rsp, rbx
001a5d6fret
001a5d50

001a5d70
001a5d70Stdlib.Int.hash:
001a5d70mov edx, 1
001a5d75mov esi, 201
001a5d7amov edi, 21
001a5d7fmov rcx, rax
001a5d82mov rbx, rsp
001a5d85mov rsp, [r14+64]
001a5d89call caml_hash
001a5d8emov rsp, rbx
001a5d91ret
001a5d70

001a5d92
001a5d92 // align 0x10

001a5da0
001a5da0Stdlib.Int.entry:
001a5da0mov esi, 1
001a5da5lea rdi, [rip+0x19312c]
001a5dacmov rbx, rsp
001a5dafmov rsp, [r14+64]
001a5db3call caml_initialize
001a5db8mov rsp, rbx
001a5dbbmov esi, 3
001a5dc0lea rdi, [rip+0x193111]
001a5dc7add rdi, 8
001a5dcbmov rbx, rsp
001a5dcemov rsp, [r14+64]
001a5dd2call caml_initialize
001a5dd7mov rsp, rbx
001a5ddamov rsi, -1
001a5de1lea rdi, [rip+0x1930f0]
001a5de8add rdi, 16
001a5decmov rbx, rsp
001a5defmov rsp, [r14+64]
001a5df3call caml_initialize
001a5df8mov rsp, rbx
001a5dfblea rsi, [rip+0x1930be]
001a5e02lea rdi, [rip+0x1930cf]
001a5e09add rdi, 24
001a5e0dmov rbx, rsp
001a5e10mov rsp, [r14+64]
001a5e14call caml_initialize
001a5e19mov rsp, rbx
001a5e1cmov rsi, 0x7fffffffffffffff
001a5e26lea rdi, [rip+0x1930ab]
001a5e2dadd rdi, 32
001a5e31mov rbx, rsp
001a5e34mov rsp, [r14+64]
001a5e38call caml_initialize
001a5e3dmov rsp, rbx
001a5e40mov rsi, 0x8000000000000001
001a5e4alea rdi, [rip+0x193087]
001a5e51add rdi, 40
001a5e55mov rbx, rsp
001a5e58mov rsp, [r14+64]
001a5e5ccall caml_initialize
001a5e61mov rsp, rbx
001a5e64lea rsi, [rip+0x192f6d]
001a5e6blea rdi, [rip+0x193066]
001a5e72add rdi, 48
001a5e76mov rbx, rsp
001a5e79mov rsp, [r14+64]
001a5e7dcall caml_initialize
001a5e82mov rsp, rbx
001a5e85lea rsi, [rip+0x192f64]
001a5e8clea rdi, [rip+0x193045]
001a5e93add rdi, 56
001a5e97mov rbx, rsp
001a5e9amov rsp, [r14+64]
001a5e9ecall caml_initialize
001a5ea3mov rsp, rbx
001a5ea6lea rsi, [rip+0x192f63]
001a5eadlea rdi, [rip+0x193024]
001a5eb4add rdi, 64
001a5eb8mov rbx, rsp
001a5ebbmov rsp, [r14+64]
001a5ebfcall caml_initialize
001a5ec4mov rsp, rbx
001a5ec7lea rsi, [rip+0x192f62]
001a5ecelea rdi, [rip+0x193003]
001a5ed5add rdi, 72
001a5ed9mov rbx, rsp
001a5edcmov rsp, [r14+64]
001a5ee0call caml_initialize
001a5ee5mov rsp, rbx
001a5ee8lea rsi, [rip+0x192f61]
001a5eeflea rdi, [rip+0x192fe2]
001a5ef6add rdi, 80
001a5efamov rbx, rsp
001a5efdmov rsp, [r14+64]
001a5f01call caml_initialize
001a5f06mov rsp, rbx
001a5f09lea rsi, [rip+0x192f60]
001a5f10lea rdi, [rip+0x192fc1]
001a5f17add rdi, 88
001a5f1bmov rbx, rsp
001a5f1emov rsp, [r14+64]
001a5f22call caml_initialize
001a5f27mov rsp, rbx
001a5f2alea rsi, [rip+0x192f57]
001a5f31lea rdi, [rip+0x192fa0]
001a5f38add rdi, 96
001a5f3cmov rbx, rsp
001a5f3fmov rsp, [r14+64]
001a5f43call caml_initialize
001a5f48mov rsp, rbx
001a5f4blea rsi, [rip+0x192f56]
001a5f52lea rdi, [rip+0x192f7f]
001a5f59add rdi, 104
001a5f5dmov rbx, rsp
001a5f60mov rsp, [r14+64]
001a5f64call caml_initialize
001a5f69mov rsp, rbx
001a5f6cmov eax, 1
001a5f71ret
001a5da0

001a5f72
001a5f72 // align 0x10

001a5f80
001a5f80Stdlib.Bytes.fun:
001a5f80mov rdi, [rdi+8]
001a5f84sar rbx, 1
001a5f87mov rsi, [rax-8]
001a5f8bshr rsi, 10
001a5f8flea rsi, [8*rsi-1]
001a5f97movzx rdx, [rax+rsi]
001a5f9csub rsi, rdx
001a5f9fadd rsi, -7
001a5fa3mov rdx, rsi
001a5fa6sar rdx, 63
001a5faaxor rdx, -1
001a5faeand rdx, rsi
001a5fb1cmp rdx, rbx
001a5fb4jbe 0x1a5fc0
001a5fb6mov [rax+rbx], rdi
001a5fbamov eax, 1
001a5fbfret
001a5fc0
001a5fc0loc_1a5fc0:
001a5fc0call caml_ml_array_bound_error
001a5f80

001a5fc5
001a5fc5 // align 0x10

001a5fd0
001a5fd0Stdlib.Bytes.fun:
001a5fd0movsxd rdi, [rdi+8]
001a5fd4sar rbx, 1
001a5fd7mov rsi, [rax-8]
001a5fdbshr rsi, 10
001a5fdflea rsi, [8*rsi-1]
001a5fe7movzx rdx, [rax+rsi]
001a5fecsub rsi, rdx
001a5fefadd rsi, -3
001a5ff3mov rdx, rsi
001a5ff6sar rdx, 63
001a5ffaxor rdx, -1
001a5ffeand rdx, rsi
001a6001cmp rdx, rbx
001a6004jbe 0x1a600f
001a6006mov [rax+rbx], edi
001a6009mov eax, 1
001a600eret
001a600f
001a600floc_1a600f:
001a600fcall caml_ml_array_bound_error
001a5fd0

001a6014
001a6014 // align 0x10

001a6020
001a6020Stdlib.Bytes.fun:
001a6020sar rdi, 1
001a6023sar rbx, 1
001a6026mov rsi, [rax-8]
001a602ashr rsi, 10
001a602elea rsi, [8*rsi-1]
001a6036movzx rdx, [rax+rsi]
001a603bsub rsi, rdx
001a603edec rsi
001a6041mov rdx, rsi
001a6044sar rdx, 63
001a6048xor rdx, -1
001a604cand rdx, rsi
001a604fcmp rdx, rbx
001a6052jbe 0x1a605e
001a6054mov [rax+rbx], di
001a6058mov eax, 1
001a605dret
001a605e
001a605eloc_1a605e:
001a605ecall caml_ml_array_bound_error
001a6020

001a6063
001a6063 // align 0x10

001a6070
001a6070Stdlib.Bytes.fun:
001a6070sar rdi, 1
001a6073sar rbx, 1
001a6076mov rsi, [rax-8]
001a607ashr rsi, 10
001a607elea rsi, [8*rsi-1]
001a6086movzx rdx, [rax+rsi]
001a608bsub rsi, rdx
001a608ecmp rsi, rbx
001a6091jbe 0x1a609d
001a6093mov [rax+rbx], dil
001a6097mov eax, 1
001a609cret
001a609d
001a609dloc_1a609d:
001a609dcall caml_ml_array_bound_error
001a6070

001a60a2
001a60a2 // align 0x10

001a60b0
001a60b0Stdlib.Bytes.fun:
001a60b0mov rdi, rax
001a60b3sub r15, 24
001a60b7cmp r15, [r14]
001a60bajb 0x1a610d
001a60bc
001a60bcloc_1a60bc:
001a60bclea rax, [r15+8]
001a60c0mov [rax-8], 2303
001a60c8lea rsi, [rip+0xcf7b1]
001a60cfmov [rax], rsi
001a60d2sar rbx, 1
001a60d5mov rsi, [rdi-8]
001a60d9shr rsi, 10
001a60ddlea rsi, [8*rsi-1]
001a60e5movzx rdx, [rdi+rsi]
001a60easub rsi, rdx
001a60edadd rsi, -7
001a60f1mov rdx, rsi
001a60f4sar rdx, 63
001a60f8xor rdx, -1
001a60fcand rdx, rsi
001a60ffcmp rdx, rbx
001a6102jbe 0x1a6114
001a6104mov rbx, [rdi+rbx]
001a6108mov [rax+8], rbx
001a610cret
001a610d
001a610dloc_1a610d:
001a610dcall caml_call_gc
001a6112jmp 0x1a60bc
001a6114
001a6114loc_1a6114:
001a6114call caml_ml_array_bound_error
001a60b0

001a6119
001a6119 // align 0x10

001a6120
001a6120Stdlib.Bytes.fun:
001a6120mov rdi, rax
001a6123sub r15, 24
001a6127cmp r15, [r14]
001a612ajb 0x1a617f
001a612c
001a612cloc_1a612c:
001a612clea rax, [r15+8]
001a6130mov [rax-8], 2303
001a6138lea rsi, [rip+0xcf781]
001a613fmov [rax], rsi
001a6142sar rbx, 1
001a6145mov rsi, [rdi-8]
001a6149shr rsi, 10
001a614dlea rsi, [8*rsi-1]
001a6155movzx rdx, [rdi+rsi]
001a615asub rsi, rdx
001a615dadd rsi, -3
001a6161mov rdx, rsi
001a6164sar rdx, 63
001a6168xor rdx, -1
001a616cand rdx, rsi
001a616fcmp rdx, rbx
001a6172jbe 0x1a6186
001a6174mov ebx, [rdi+rbx]
001a6177movsxd rbx, ebx
001a617amov [rax+8], rbx
001a617eret
001a617f
001a617floc_1a617f:
001a617fcall caml_call_gc
001a6184jmp 0x1a612c
001a6186
001a6186loc_1a6186:
001a6186call caml_ml_array_bound_error
001a6120

001a618b
001a618b // align 0x10

001a6190
001a6190Stdlib.Bytes.fun:
001a6190sar rbx, 1
001a6193mov rdi, [rax-8]
001a6197shr rdi, 10
001a619blea rdi, [8*rdi-1]
001a61a3movzx rsi, [rax+rdi]
001a61a8sub rdi, rsi
001a61abdec rdi
001a61aemov rsi, rdi
001a61b1sar rsi, 63
001a61b5xor rsi, -1
001a61b9and rsi, rdi
001a61bccmp rsi, rbx
001a61bfjbe 0x1a61cc
001a61c1movzx rax, [rax+rbx]
001a61c6lea rax, [rax+rax+1]
001a61cbret
001a61cc
001a61ccloc_1a61cc:
001a61cccall caml_ml_array_bound_error
001a6190

001a61d1
001a61d1 // align 0x10

001a61e0
001a61e0Stdlib.Bytes.fun:
001a61e0sar rbx, 1
001a61e3mov rdi, [rax-8]
001a61e7shr rdi, 10
001a61eblea rdi, [8*rdi-1]
001a61f3movzx rsi, [rax+rdi]
001a61f8sub rdi, rsi
001a61fbcmp rdi, rbx
001a61fejbe 0x1a620b
001a6200movzx rax, [rax+rbx]
001a6205lea rax, [rax+rax+1]
001a620aret
001a620b
001a620bloc_1a620b:
001a620bcall caml_ml_array_bound_error
001a61e0

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

001a6211
001a6211 // align 0x10

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

001a6221
001a6221 // align 0x10

001a6230
001a6230Stdlib.Bytes.fun:
001a6230mov rdi, rax
001a6233mov rsi, rbx
001a6236mov rbx, rsp
001a6239mov rsp, [r14+64]
001a623dcall caml_bytes_equal
001a6242mov rsp, rbx
001a6245ret
001a6230

001a6246
001a6246 // align 0x10

001a6250
001a6250Stdlib.Bytes.make:
001a6250sub rsp, 16
001a6254mov [rsp], rax
001a6258mov [rsp+8], rbx
001a625dmov rdi, rax
001a6260lea rax, [rip+0x7adc9]
001a6267call caml_c_call
001a626cmov r12, rax
001a626fmov esi, 1
001a6274mov rdi, r12
001a6277mov rdx, [rsp]
001a627bmov rcx, [rsp+8]
001a6280mov rbx, rsp
001a6283mov rsp, [r14+64]
001a6287call caml_fill_bytes
001a628cmov rsp, rbx
001a628fmov rax, r12
001a6292add rsp, 16
001a6296ret
001a6250

001a6297
001a6297 // align 0x10

001a62a0
001a62a0Stdlib.Bytes.init:
001a62a0lea r10, [rsp-352]
001a62a8cmp r10, [r14+40]
001a62acjb 0x1a633f
001a62b2
001a62b2loc_1a62b2:
001a62b2sub rsp, 32
001a62b6mov [rsp], rax
001a62bamov [rsp+8], rbx
001a62bfmov rdi, rax
001a62c2lea rax, [rip+0x7ad67]
001a62c9call caml_c_call
001a62cemov rbx, rax
001a62d1mov eax, 1
001a62d6mov rdi, [rsp]
001a62daadd rdi, -2
001a62decmp rax, rdi
001a62e1jg 0x1a6330
001a62e3mov [rsp+24], rdi
001a62e8mov [rsp], rax
001a62ecmov [rsp+16], rbx
001a62f1
001a62f1loc_1a62f1:
001a62f1mov rbx, [rsp+8]
001a62f6mov rdi, [rbx]
001a62f9call rdi
001a62fbmov rdi, rax
001a62fesar rdi, 1
001a6301mov rax, [rsp]
001a6305mov rsi, rax
001a6308sar rsi, 1
001a630bmov rbx, [rsp+16]
001a6310mov [rbx+rsi], dil
001a6314mov rdi, rax
001a6317add rax, 2
001a631bmov [rsp], rax
001a631fmov rsi, [rsp+24]
001a6324cmp rdi, rsi
001a6327je 0x1a6330
001a6329cmp r15, [r14]
001a632cja 0x1a62f1
001a632ejmp 0x1a6338
001a6330
001a6330loc_1a6330:
001a6330mov rax, rbx
001a6333add rsp, 32
001a6337ret
001a6338
001a6338loc_1a6338:
001a6338call caml_call_gc
001a633djmp 0x1a62f1
001a633f
001a633floc_1a633f:
001a633fpush 37
001a6341call caml_call_realloc_stack
001a6346pop r10
001a6348jmp 0x1a62b2
001a62a0

001a634d
001a634d // align 0x10

001a6350
001a6350Stdlib.Bytes.copy:
001a6350sub rsp, 16
001a6354mov [rsp], rax
001a6358mov rbx, [rax-8]
001a635cshr rbx, 10
001a6360lea rbx, [8*rbx-1]
001a6368movzx rax, [rax+rbx]
001a636dsub rbx, rax
001a6370lea rdi, [rbx+rbx+1]
001a6375mov [rsp+8], rdi
001a637alea rax, [rip+0x7acaf]
001a6381call caml_c_call
001a6386mov r12, rax
001a6389mov ecx, 1
001a638emov esi, 1
001a6393mov rdi, [rsp]
001a6397mov rdx, r12
001a639amov r8, [rsp+8]
001a639fmov rbx, rsp
001a63a2mov rsp, [r14+64]
001a63a6call caml_blit_bytes
001a63abmov rsp, rbx
001a63aemov rax, r12
001a63b1add rsp, 16
001a63b5ret
001a6350

001a63b6
001a63b6 // align 0x10

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

001a63c5
001a63c5 // align 0x10

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

001a63d5
001a63d5 // align 0x10

001a63e0
001a63e0Stdlib.Bytes.sub:
001a63e0sub rsp, 24
001a63e4cmp rbx, 1
001a63e8jl 0x1a6464
001a63eacmp rdi, 1
001a63eejl 0x1a6464
001a63f0mov rsi, [rax-8]
001a63f4shr rsi, 10
001a63f8lea rsi, [8*rsi-1]
001a6400movzx rdx, [rax+rsi]
001a6405sub rsi, rdx
001a6408shl rsi, 1
001a640bsub rsi, rdi
001a640eadd rsi, 2
001a6412cmp rbx, rsi
001a6415jg 0x1a6464
001a6417mov [rsp+16], rdi
001a641cmov [rsp+8], rbx
001a6421mov [rsp], rax
001a6425lea rax, [rip+0x7ac04]
001a642ccall caml_c_call
001a6431mov r12, rax
001a6434mov ecx, 1
001a6439mov rdi, [rsp]
001a643dmov rsi, [rsp+8]
001a6442mov rdx, r12
001a6445mov r8, [rsp+16]
001a644amov rbx, rsp
001a644dmov rsp, [r14+64]
001a6451call caml_blit_bytes
001a6456mov rsp, rbx
001a6459mov rax, r12
001a645cadd rsp, 24
001a6460ret
001a6461
001a6461 0f 1f 00 ...
001a6464
001a6464loc_1a6464:
001a6464lea rax, [rip+0x193f55]
001a646badd rsp, 24
001a646fjmp 0x195ab0
001a63e0

001a6474
001a6474 // align 0x10

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

001a6485
001a6485 // align 0x10

001a6490
001a6490Stdlib.Bytes.++:
001a6490lea rdi, [rax+rbx-1]
001a6495cmp rax, 1
001a6499setl al
001a649cmovzx rax, al
001a64a0lea rsi, [rax+rax+1]
001a64a5cmp rbx, 1
001a64a9setl al
001a64acmovzx rax, al
001a64b0lea rbx, [rax+rax+1]
001a64b5cmp rdi, 1
001a64b9setl al
001a64bcmovzx rax, al
001a64c0lea rax, [rax+rax+1]
001a64c5cmp rsi, 1
001a64c9je 0x1a64dc
001a64cbcmp rbx, 1
001a64cfje 0x1a64e8
001a64d1cmp rax, 1
001a64d5je 0x1a64ec
001a64d7jmp 0x1a64e8
001a64d9
001a64d9 0f 1f 00 ...
001a64dc
001a64dcloc_1a64dc:
001a64dccmp rbx, 1
001a64e0jne 0x1a64e8
001a64e2cmp rax, 1
001a64e6jne 0x1a64ec
001a64e8
001a64e8loc_1a64e8:
001a64e8mov rax, rdi
001a64ebret
001a64ec
001a64ecloc_1a64ec:
001a64eclea rax, [rip+0x193d4d]
001a64f3jmp 0x195ab0
001a6490

001a64f8
001a64f8 // align 0x10

001a6500
001a6500Stdlib.Bytes.extend:
001a6500lea r10, [rsp-344]
001a6508cmp r10, [r14+40]
001a650cjb 0x1a65e3
001a6512
001a6512loc_1a6512:
001a6512sub rsp, 24
001a6516mov [rsp+8], rax
001a651bmov [rsp+16], rbx
001a6520mov [rsp], rdi
001a6524mov rdi, [rax-8]
001a6528shr rdi, 10
001a652clea rdi, [8*rdi-1]
001a6534movzx rax, [rax+rdi]
001a6539sub rdi, rax
001a653clea rax, [rdi+rdi+1]
001a6541call Stdlib.Bytes.++
001a6546mov rbx, [rsp]
001a654acall Stdlib.Bytes.++
001a654fmov [rsp], rax
001a6553mov rdi, rax
001a6556lea rax, [rip+0x7aad3]
001a655dcall caml_c_call
001a6562mov r12, rax
001a6565mov rcx, [rsp+16]
001a656acmp rcx, 1
001a656ejge 0x1a6580
001a6570mov esi, 2
001a6575sub rsi, rcx
001a6578mov ecx, 1
001a657djmp 0x1a6585
001a657f
001a657f 90 .
001a6580
001a6580loc_1a6580:
001a6580mov esi, 1
001a6585
001a6585loc_1a6585:
001a6585mov r8, [rsp]
001a6589sub r8, rcx
001a658cmov rax, r8
001a658finc rax
001a6592mov rdi, [rsp+8]
001a6597mov rbx, [rdi-8]
001a659bshr rbx, 10
001a659flea r8, [8*rbx-1]
001a65a7movzx rbx, [rdi+r8]
001a65acsub r8, rbx
001a65afshl r8, 1
001a65b2sub r8, rsi
001a65b5add r8, 2
001a65b9cmp r8, rax
001a65bcjg 0x1a65c0
001a65bejmp 0x1a65c3
001a65c0
001a65c0loc_1a65c0:
001a65c0mov r8, rax
001a65c3
001a65c3loc_1a65c3:
001a65c3cmp r8, 1
001a65c7jle 0x1a65db
001a65c9mov rdx, r12
001a65ccmov rbx, rsp
001a65cfmov rsp, [r14+64]
001a65d3call caml_blit_bytes
001a65d8mov rsp, rbx
001a65db
001a65dbloc_1a65db:
001a65dbmov rax, r12
001a65deadd rsp, 24
001a65e2ret
001a65e3
001a65e3loc_1a65e3:
001a65e3push 36
001a65e5call caml_call_realloc_stack
001a65eapop r10
001a65ecjmp 0x1a6512
001a6500

001a65f1
001a65f1 // align 0x10

001a6600
001a6600Stdlib.Bytes.fill:
001a6600mov rdx, rdi
001a6603mov rcx, rsi
001a6606cmp rbx, 1
001a660ajl 0x1a6650
001a660ccmp rdx, 1
001a6610jl 0x1a6650
001a6612mov rdi, [rax-8]
001a6616shr rdi, 10
001a661alea rdi, [8*rdi-1]
001a6622movzx rsi, [rax+rdi]
001a6627sub rdi, rsi
001a662ashl rdi, 1
001a662dsub rdi, rdx
001a6630add rdi, 2
001a6634cmp rbx, rdi
001a6637jg 0x1a6650
001a6639mov rdi, rax
001a663cmov rsi, rbx
001a663fmov rbx, rsp
001a6642mov rsp, [r14+64]
001a6646call caml_fill_bytes
001a664bmov rsp, rbx
001a664eret
001a664f
001a664f 90 .
001a6650
001a6650loc_1a6650:
001a6650lea rax, [rip+0x193b61]
001a6657jmp 0x195ab0
001a6600

001a665c
001a665c // align 0x10

001a6660
001a6660Stdlib.Bytes.blit:
001a6660mov r9, rdi
001a6663mov rcx, rsi
001a6666mov r8, rdx
001a6669cmp r8, 1
001a666djl 0x1a66e4
001a666fcmp rbx, 1
001a6673jl 0x1a66e4
001a6675mov rdi, [rax-8]
001a6679shr rdi, 10
001a667dlea rdi, [8*rdi-1]
001a6685movzx rsi, [rax+rdi]
001a668asub rdi, rsi
001a668dshl rdi, 1
001a6690sub rdi, r8
001a6693add rdi, 2
001a6697cmp rbx, rdi
001a669ajg 0x1a66e4
001a669ccmp rcx, 1
001a66a0jl 0x1a66e4
001a66a2mov rdi, [r9-8]
001a66a6shr rdi, 10
001a66aalea rdi, [8*rdi-1]
001a66b2movzx rsi, [r9+rdi]
001a66b7sub rdi, rsi
001a66bashl rdi, 1
001a66bdsub rdi, r8
001a66c0add rdi, 2
001a66c4cmp rcx, rdi
001a66c7jg 0x1a66e4
001a66c9mov rdi, rax
001a66ccmov rsi, rbx
001a66cfmov rdx, r9
001a66d2mov rbx, rsp
001a66d5mov rsp, [r14+64]
001a66d9call caml_blit_bytes
001a66demov rsp, rbx
001a66e1ret
001a66e2
001a66e2 66 90 f.
001a66e4
001a66e4loc_1a66e4:
001a66e4lea rax, [rip+0x193ab5]
001a66ebjmp 0x195ab0
001a6660

001a66f0
001a66f0Stdlib.Bytes.blit_string:
001a66f0mov r9, rdi
001a66f3mov rcx, rsi
001a66f6mov r8, rdx
001a66f9cmp r8, 1
001a66fdjl 0x1a6774
001a66ffcmp rbx, 1
001a6703jl 0x1a6774
001a6705mov rdi, [rax-8]
001a6709shr rdi, 10
001a670dlea rdi, [8*rdi-1]
001a6715movzx rsi, [rax+rdi]
001a671asub rdi, rsi
001a671dshl rdi, 1
001a6720sub rdi, r8
001a6723add rdi, 2
001a6727cmp rbx, rdi
001a672ajg 0x1a6774
001a672ccmp rcx, 1
001a6730jl 0x1a6774
001a6732mov rdi, [r9-8]
001a6736shr rdi, 10
001a673alea rdi, [8*rdi-1]
001a6742movzx rsi, [r9+rdi]
001a6747sub rdi, rsi
001a674ashl rdi, 1
001a674dsub rdi, r8
001a6750add rdi, 2
001a6754cmp rcx, rdi
001a6757jg 0x1a6774
001a6759mov rdi, rax
001a675cmov rsi, rbx
001a675fmov rdx, r9
001a6762mov rbx, rsp
001a6765mov rsp, [r14+64]
001a6769call caml_blit_string
001a676emov rsp, rbx
001a6771ret
001a6772
001a6772 66 90 f.
001a6774
001a6774loc_1a6774:
001a6774lea rax, [rip+0x1939fd]
001a677bjmp 0x195ab0
001a66f0

001a6780
001a6780Stdlib.Bytes.iter:
001a6780lea r10, [rsp-352]
001a6788cmp r10, [r14+40]
001a678cjb 0x1a681e
001a6792
001a6792loc_1a6792:
001a6792sub rsp, 32
001a6796mov edi, 1
001a679bmov rsi, [rbx-8]
001a679fshr rsi, 10
001a67a3lea rsi, [8*rsi-1]
001a67abmovzx rdx, [rbx+rsi]
001a67b0sub rsi, rdx
001a67b3lea rsi, [rsi+rsi-1]
001a67b8cmp rdi, rsi
001a67bbjg 0x1a680d
001a67bdmov [rsp+24], rsi
001a67c2mov [rsp+16], rdi
001a67c7mov [rsp], rbx
001a67cbmov [rsp+8], rax
001a67d0
001a67d0loc_1a67d0:
001a67d0sar rdi, 1
001a67d3mov rax, [rsp]
001a67d7movzx rax, [rax+rdi]
001a67dclea rax, [rax+rax+1]
001a67e1mov rbx, [rsp+8]
001a67e6mov rdi, [rbx]
001a67e9call rdi
001a67ebmov rdi, [rsp+16]
001a67f0mov rax, rdi
001a67f3add rdi, 2
001a67f7mov [rsp+16], rdi
001a67fcmov rbx, [rsp+24]
001a6801cmp rax, rbx
001a6804je 0x1a680d
001a6806cmp r15, [r14]
001a6809ja 0x1a67d0
001a680bjmp 0x1a6817
001a680d
001a680dloc_1a680d:
001a680dmov eax, 1
001a6812add rsp, 32
001a6816ret
001a6817
001a6817loc_1a6817:
001a6817call caml_call_gc
001a681cjmp 0x1a67d0
001a681e
001a681eloc_1a681e:
001a681epush 37
001a6820call caml_call_realloc_stack
001a6825pop r10
001a6827jmp 0x1a6792
001a6780

001a682c
001a682c // align 0x10

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

001a68e2
001a68e2 // align 0x10

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

001a6904
001a6904 // align 0x10

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

001a69d6
001a69d6 // align 0x10

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

001a6b38
001a6b38 // align 0x10

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

001a6bda
001a6bda // align 0x10

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

001a6c99
001a6c99 // align 0x10

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

001a6cc6
001a6cc6 // align 0x10

001a6cd0
001a6cd0Stdlib.Bytes.trim:
001a6cd0lea r10, [rsp-344]
001a6cd8cmp r10, [r14+40]
001a6cdcjb 0x1a6de1
001a6ce2
001a6ce2loc_1a6ce2:
001a6ce2sub rsp, 24
001a6ce6mov [rsp+8], rax
001a6cebmov rbx, [rax-8]
001a6cefshr rbx, 10
001a6cf3lea rbx, [8*rbx-1]
001a6cfbmovzx rax, [rax+rbx]
001a6d00sub rbx, rax
001a6d03lea rax, [rbx+rbx+1]
001a6d08mov [rsp], rax
001a6d0cmov eax, 1
001a6d11mov [rsp+16], rax
001a6d16
001a6d16loc_1a6d16:
001a6d16mov rbx, [rsp]
001a6d1acmp rax, rbx
001a6d1djge 0x1a6d54
001a6d1fsar rax, 1
001a6d22mov rbx, [rsp+8]
001a6d27movzx rax, [rbx+rax]
001a6d2clea rax, [rax+rax+1]
001a6d31call Stdlib.Bytes.is_space
001a6d36cmp rax, 1
001a6d3aje 0x1a6d54
001a6d3cmov rax, [rsp+16]
001a6d41add rax, 2
001a6d45mov [rsp+16], rax
001a6d4acmp r15, [r14]
001a6d4dja 0x1a6d16
001a6d4fjmp 0x1a6dd7
001a6d54
001a6d54loc_1a6d54:
001a6d54mov rax, [rsp]
001a6d58add rax, -2
001a6d5cmov [rsp], rax
001a6d60
001a6d60loc_1a6d60:
001a6d60mov rbx, [rsp+16]
001a6d65cmp rax, rbx
001a6d68jl 0x1a6d9a
001a6d6asar rax, 1
001a6d6dmov rbx, [rsp+8]
001a6d72movzx rax, [rbx+rax]
001a6d77lea rax, [rax+rax+1]
001a6d7ccall Stdlib.Bytes.is_space
001a6d81cmp rax, 1
001a6d85je 0x1a6d9a
001a6d87mov rax, [rsp]
001a6d8badd rax, -2
001a6d8fmov [rsp], rax
001a6d93cmp r15, [r14]
001a6d96ja 0x1a6d60
001a6d98jmp 0x1a6dd0
001a6d9a
001a6d9aloc_1a6d9a:
001a6d9amov rdi, [rsp]
001a6d9emov rbx, [rsp+16]
001a6da3cmp rdi, rbx
001a6da6jl 0x1a6dc0
001a6da8sub rdi, rbx
001a6dabadd rdi, 3
001a6dafmov rax, [rsp+8]
001a6db4add rsp, 24
001a6db8jmp 0x1a63e0
001a6dbd
001a6dbd 0f 1f 00 ...
001a6dc0
001a6dc0loc_1a6dc0:
001a6dc0lea rax, [rip+0x192f71]
001a6dc7mov rax, [rax+16]
001a6dcbadd rsp, 24
001a6dcfret
001a6dd0
001a6dd0loc_1a6dd0:
001a6dd0call caml_call_gc
001a6dd5jmp 0x1a6d60
001a6dd7
001a6dd7loc_1a6dd7:
001a6dd7call caml_call_gc
001a6ddcjmp 0x1a6d16
001a6de1
001a6de1loc_1a6de1:
001a6de1push 36
001a6de3call caml_call_realloc_stack
001a6de8pop r10
001a6deajmp 0x1a6ce2
001a6cd0

001a6def
001a6def // align 0x10

001a6df0
001a6df0Stdlib.Bytes.unsafe_escape:
001a6df0sub rsp, 8
001a6df4mov edi, 1
001a6df9mov ebx, 1
001a6dfemov rsi, [rax-8]
001a6e02shr rsi, 10
001a6e06lea rsi, [8*rsi-1]
001a6e0emovzx rdx, [rax+rsi]
001a6e13sub rsi, rdx
001a6e16lea rsi, [rsi+rsi-1]
001a6e1bcmp rbx, rsi
001a6e1ejg 0x1a6ea5
001a6e24
001a6e24loc_1a6e24:
001a6e24mov rdx, rbx
001a6e27sar rdx, 1
001a6e2amovzx rdx, [rax+rdx]
001a6e2flea rdx, [rdx+rdx+1]
001a6e34cmp rdx, 65
001a6e38jl 0x1a6e5c
001a6e3aadd rdx, -68
001a6e3ecmp rdx, 117
001a6e42jbe 0x1a6e50
001a6e44cmp rdx, 187
001a6e4bjl 0x1a6e84
001a6e4djmp 0x1a6e72
001a6e4fnop
001a6e50
001a6e50loc_1a6e50:
001a6e50add rdx, -2
001a6e54cmp rdx, 113
001a6e58ja 0x1a6e7c
001a6e5ajmp 0x1a6e84
001a6e5c
001a6e5cloc_1a6e5c:
001a6e5ccmp rdx, 23
001a6e60jl 0x1a6e6c
001a6e62cmp rdx, 27
001a6e66je 0x1a6e7c
001a6e68jmp 0x1a6e72
001a6e6anop
001a6e6c
001a6e6cloc_1a6e6c:
001a6e6ccmp rdx, 17
001a6e70jge 0x1a6e7c
001a6e72
001a6e72loc_1a6e72:
001a6e72mov edx, 9
001a6e77jmp 0x1a6e89
001a6e79nop [rax]
001a6e7c
001a6e7cloc_1a6e7c:
001a6e7cmov edx, 5
001a6e81jmp 0x1a6e89
001a6e83nop
001a6e84
001a6e84loc_1a6e84:
001a6e84mov edx, 3
001a6e89
001a6e89loc_1a6e89:
001a6e89add rdi, rdx
001a6e8cdec rdi
001a6e8fmov rdx, rbx
001a6e92add rbx, 2
001a6e96cmp rdx, rsi
001a6e99je 0x1a6ea5
001a6e9bcmp r15, [r14]
001a6e9eja 0x1a6e24
001a6ea0jmp 0x1a714f
001a6ea5
001a6ea5loc_1a6ea5:
001a6ea5mov rbx, [rax-8]
001a6ea9shr rbx, 10
001a6eadlea rbx, [8*rbx-1]
001a6eb5movzx rsi, [rax+rbx]
001a6ebasub rbx, rsi
001a6ebdlea rbx, [rbx+rbx+1]
001a6ec2cmp rdi, rbx
001a6ec5jne 0x1a6ecc
001a6ec7add rsp, 8
001a6ecbret
001a6ecc
001a6eccloc_1a6ecc:
001a6eccmov [rsp], rax
001a6ed0lea rax, [rip+0x7a159]
001a6ed7call caml_c_call
001a6edcmov r9, rax
001a6edfmov edi, 1
001a6ee4mov r13l, 1
001a6eeamov rbp, [rsp]
001a6eeemov rax, [rbp-8]
001a6ef2shr rax, 10
001a6ef6lea rax, [8*rax-1]
001a6efemovzx rbx, [rbp+rax]
001a6f04sub rax, rbx
001a6f07lea rax, [rax+rax-1]
001a6f0cmov [rsp], rax
001a6f10cmp r13, [rsp]
001a6f14jg 0x1a713d
001a6f1a
001a6f1aloc_1a6f1a:
001a6f1amov rax, r13
001a6f1dsar rax, 1
001a6f20movzx rax, [rbp+rax]
001a6f26lea rbx, [rax+rax+1]
001a6f2bcmp rbx, 71
001a6f2fjl 0x1a6f50
001a6f31cmp rbx, 185
001a6f38je 0x1a70f0
001a6f3ecmp rbx, 255
001a6f45jl 0x1a7114
001a6f4bjmp 0x1a7028
001a6f50
001a6f50loc_1a6f50:
001a6f50cmp rbx, 65
001a6f54jl 0x1a6f68
001a6f56cmp rbx, 69
001a6f5ajge 0x1a70f0
001a6f60jmp 0x1a7114
001a6f65nop [rax]
001a6f68
001a6f68loc_1a6f68:
001a6f68cmp rbx, 29
001a6f6cjge 0x1a7028
001a6f72mov rax, rbx
001a6f75sar rax, 1
001a6f78lea rdx, [rip+0x868e9]
001a6f7fmovsxd rax, [rdx+4*rax]
001a6f83add rdx, rax
001a6f86jmp rdx
001a6f88mov rax, rdi
001a6f8bsar rax, 1
001a6f8emov ebx, 92
001a6f93mov [r9+rax], bl
001a6f97add rdi, 2
001a6f9bmov rax, rdi
001a6f9esar rax, 1
001a6fa1mov ebx, 98
001a6fa6mov [r9+rax], bl
001a6faajmp 0x1a7121
001a6fafnop
001a6fb0mov rax, rdi
001a6fb3sar rax, 1
001a6fb6mov ebx, 92
001a6fbbmov [r9+rax], bl
001a6fbfadd rdi, 2
001a6fc3mov rax, rdi
001a6fc6sar rax, 1
001a6fc9mov ebx, 116
001a6fcemov [r9+rax], bl
001a6fd2jmp 0x1a7121
001a6fd7nop
001a6fd8mov rax, rdi
001a6fdbsar rax, 1
001a6fdemov ebx, 92
001a6fe3mov [r9+rax], bl
001a6fe7add rdi, 2
001a6febmov rax, rdi
001a6feesar rax, 1
001a6ff1mov ebx, 110
001a6ff6mov [r9+rax], bl
001a6ffajmp 0x1a7121
001a6fffnop
001a7000mov rax, rdi
001a7003sar rax, 1
001a7006mov ebx, 92
001a700bmov [r9+rax], bl
001a700fadd rdi, 2
001a7013mov rax, rdi
001a7016sar rax, 1
001a7019mov ebx, 114
001a701emov [r9+rax], bl
001a7022jmp 0x1a7121
001a7027nop
001a7028
001a7028loc_1a7028:
001a7028mov rax, rdi
001a702bsar rax, 1
001a702emov esi, 92
001a7033mov [r9+rax], sil
001a7037add rdi, 2
001a703bmov rcx, rdi
001a703esar rcx, 1
001a7041sar rbx, 1
001a7044mov rsi, rbx
001a7047shr rsi, 63
001a704bmov rdx, 0xa3d70a3d70a3d70b
001a7055mov rax, rbx
001a7058imul rdx
001a705badd rdx, rbx
001a705esar rdx, 6
001a7062add rdx, rsi
001a7065lea rax, [rdx+rdx+97]
001a706asar rax, 1
001a706dmov [r9+rcx], al
001a7071add rdi, 2
001a7075mov r12, rdi
001a7078sar r12, 1
001a707bmov rdx, 0x6666666666666667
001a7085mov rax, rbx
001a7088imul rdx
001a708bsar rdx, 2
001a708fmov r8, rdx
001a7092add r8, rsi
001a7095mov rsi, r8
001a7098shl rsi, 1
001a709bsar rsi, 1
001a709emov rcx, rsi
001a70a1shr rcx, 63
001a70a5mov rdx, 0x6666666666666667
001a70afmov rax, rsi
001a70b2imul rdx
001a70b5sar rdx, 2
001a70b9add rdx, rcx
001a70bcimul rdx, rdx, 10
001a70c0sub rsi, rdx
001a70c3lea rax, [rsi+rsi+97]
001a70c8sar rax, 1
001a70cbmov [r9+r12], al
001a70cfadd rdi, 2
001a70d3mov rax, rdi
001a70d6sar rax, 1
001a70d9imul r8, r8, 10
001a70ddsub rbx, r8
001a70e0lea rbx, [rbx+rbx+97]
001a70e5sar rbx, 1
001a70e8mov [r9+rax], bl
001a70ecjmp 0x1a7121
001a70eenop
001a70f0
001a70f0loc_1a70f0:
001a70f0mov rax, rdi
001a70f3sar rax, 1
001a70f6mov esi, 92
001a70fbmov [r9+rax], sil
001a70ffadd rdi, 2
001a7103mov rax, rdi
001a7106sar rax, 1
001a7109sar rbx, 1
001a710cmov [r9+rax], bl
001a7110jmp 0x1a7121
001a7112nop
001a7114
001a7114loc_1a7114:
001a7114mov rax, rdi
001a7117sar rax, 1
001a711asar rbx, 1
001a711dmov [r9+rax], bl
001a7121
001a7121loc_1a7121:
001a7121add rdi, 2
001a7125mov rax, r13
001a7128add r13, 2
001a712ccmp rax, [rsp]
001a7130je 0x1a713d
001a7132cmp r15, [r14]
001a7135ja 0x1a6f1a
001a713bjmp 0x1a7145
001a713d
001a713dloc_1a713d:
001a713dmov rax, r9
001a7140add rsp, 8
001a7144ret
001a7145
001a7145loc_1a7145:
001a7145call caml_call_gc
001a714ajmp 0x1a6f1a
001a714f
001a714floc_1a714f:
001a714fcall caml_call_gc
001a7154jmp 0x1a6e24
001a6df0