File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
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
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
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
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
001a5cc9 // align 0x10
001a5cd9
001a5cd9 // align 0x10
001a5cd9 // align 0x10
001a5ce0
001a5ce0Stdlib.Int.equal:
001a5ce0cmp rax, rbx
001a5ce3sete al
001a5ce6movzx rax, al
001a5cealea rax, [rax+rax+1]
001a5cefret
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
001a6211
001a6211 // align 0x10
001a6211 // align 0x10
001a6221
001a6221 // align 0x10
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
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
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
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
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
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
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
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
001a63b6 // align 0x10
001a63c5
001a63c5 // align 0x10
001a63c5 // align 0x10
001a63d5
001a63d5 // align 0x10
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
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
001a6474 // align 0x10
001a6485
001a6485 // align 0x10
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
001a7159
001a7159 // align 0x10
001a7159 // align 0x10
001a7160
001a7160Stdlib.Bytes.escaped:
001a7160lea r10, [rsp-320]
001a7168cmp r10, [r14+40]
001a716cjb 0x1a7178
001a716e
001a716eloc_1a716e:
001a716ecall Stdlib.Bytes.copy
001a7173jmp 0x1a6df0
001a7178
001a7178loc_1a7178:
001a7178push 33
001a717acall caml_call_realloc_stack
001a717fpop r10
001a7181jmp 0x1a716e
001a7160
001a7160Stdlib.Bytes.escaped:
001a7160lea r10, [rsp-320]
001a7168cmp r10, [r14+40]
001a716cjb 0x1a7178
001a716e
001a716eloc_1a716e:
001a716ecall Stdlib.Bytes.copy
001a7173jmp 0x1a6df0
001a7178
001a7178loc_1a7178:
001a7178push 33
001a717acall caml_call_realloc_stack
001a717fpop r10
001a7181jmp 0x1a716e
001a7160
001a7183
001a7183 // align 0x10
001a7183 // align 0x10
001a7190
001a7190Stdlib.Bytes.map:
001a7190lea r10, [rsp-360]
001a7198cmp r10, [r14+40]
001a719cjb 0x1a7270
001a71a2
001a71a2loc_1a71a2:
001a71a2sub rsp, 40
001a71a6mov rdi, [rbx-8]
001a71aashr rdi, 10
001a71aelea rdi, [8*rdi-1]
001a71b6movzx rsi, [rbx+rdi]
001a71bbsub rdi, rsi
001a71belea rdi, [rdi+rdi+1]
001a71c3cmp rdi, 1
001a71c7jne 0x1a71d4
001a71c9mov rax, rbx
001a71ccadd rsp, 40
001a71d0ret
001a71d1
001a71d1 0f 1f 00 ...
001a71d4
001a71d4loc_1a71d4:
001a71d4mov [rsp], rdi
001a71d8mov [rsp+8], rbx
001a71ddmov [rsp+16], rax
001a71e2lea rax, [rip+0x79e47]
001a71e9call caml_c_call
001a71eemov rbx, rax
001a71f1mov eax, 1
001a71f6mov rdi, rax
001a71f9mov rax, [rsp]
001a71fdadd rax, -2
001a7201cmp rdi, rax
001a7204jg 0x1a7261
001a7206mov [rsp+32], rax
001a720bmov [rsp], rdi
001a720fmov [rsp+24], rbx
001a7214
001a7214loc_1a7214:
001a7214sar rdi, 1
001a7217mov rax, [rsp+8]
001a721cmovzx rax, [rax+rdi]
001a7221lea rax, [rax+rax+1]
001a7226mov rbx, [rsp+16]
001a722bmov rdi, [rbx]
001a722ecall rdi
001a7230sar rax, 1
001a7233mov rdi, [rsp]
001a7237mov rsi, rdi
001a723asar rsi, 1
001a723dmov rbx, [rsp+24]
001a7242mov [rbx+rsi], al
001a7245mov rax, rdi
001a7248add rdi, 2
001a724cmov [rsp], rdi
001a7250mov rsi, [rsp+32]
001a7255cmp rax, rsi
001a7258je 0x1a7261
001a725acmp r15, [r14]
001a725dja 0x1a7214
001a725fjmp 0x1a7269
001a7261
001a7261loc_1a7261:
001a7261mov rax, rbx
001a7264add rsp, 40
001a7268ret
001a7269
001a7269loc_1a7269:
001a7269call caml_call_gc
001a726ejmp 0x1a7214
001a7270
001a7270loc_1a7270:
001a7270push 38
001a7272call caml_call_realloc_stack
001a7277pop r10
001a7279jmp 0x1a71a2
001a7190
001a7190Stdlib.Bytes.map:
001a7190lea r10, [rsp-360]
001a7198cmp r10, [r14+40]
001a719cjb 0x1a7270
001a71a2
001a71a2loc_1a71a2:
001a71a2sub rsp, 40
001a71a6mov rdi, [rbx-8]
001a71aashr rdi, 10
001a71aelea rdi, [8*rdi-1]
001a71b6movzx rsi, [rbx+rdi]
001a71bbsub rdi, rsi
001a71belea rdi, [rdi+rdi+1]
001a71c3cmp rdi, 1
001a71c7jne 0x1a71d4
001a71c9mov rax, rbx
001a71ccadd rsp, 40
001a71d0ret
001a71d1
001a71d1 0f 1f 00 ...
001a71d4
001a71d4loc_1a71d4:
001a71d4mov [rsp], rdi
001a71d8mov [rsp+8], rbx
001a71ddmov [rsp+16], rax
001a71e2lea rax, [rip+0x79e47]
001a71e9call caml_c_call
001a71eemov rbx, rax
001a71f1mov eax, 1
001a71f6mov rdi, rax
001a71f9mov rax, [rsp]
001a71fdadd rax, -2
001a7201cmp rdi, rax
001a7204jg 0x1a7261
001a7206mov [rsp+32], rax
001a720bmov [rsp], rdi
001a720fmov [rsp+24], rbx
001a7214
001a7214loc_1a7214:
001a7214sar rdi, 1
001a7217mov rax, [rsp+8]
001a721cmovzx rax, [rax+rdi]
001a7221lea rax, [rax+rax+1]
001a7226mov rbx, [rsp+16]
001a722bmov rdi, [rbx]
001a722ecall rdi
001a7230sar rax, 1
001a7233mov rdi, [rsp]
001a7237mov rsi, rdi
001a723asar rsi, 1
001a723dmov rbx, [rsp+24]
001a7242mov [rbx+rsi], al
001a7245mov rax, rdi
001a7248add rdi, 2
001a724cmov [rsp], rdi
001a7250mov rsi, [rsp+32]
001a7255cmp rax, rsi
001a7258je 0x1a7261
001a725acmp r15, [r14]
001a725dja 0x1a7214
001a725fjmp 0x1a7269
001a7261
001a7261loc_1a7261:
001a7261mov rax, rbx
001a7264add rsp, 40
001a7268ret
001a7269
001a7269loc_1a7269:
001a7269call caml_call_gc
001a726ejmp 0x1a7214
001a7270
001a7270loc_1a7270:
001a7270push 38
001a7272call caml_call_realloc_stack
001a7277pop r10
001a7279jmp 0x1a71a2
001a7190
001a727e
001a727e // align 0x10
001a727e // align 0x10
001a7280
001a7280Stdlib.Bytes.mapi:
001a7280lea r10, [rsp-360]
001a7288cmp r10, [r14+40]
001a728cjb 0x1a7363
001a7292
001a7292loc_1a7292:
001a7292sub rsp, 40
001a7296mov rdi, [rbx-8]
001a729ashr rdi, 10
001a729elea rdi, [8*rdi-1]
001a72a6movzx rsi, [rbx+rdi]
001a72absub rdi, rsi
001a72aelea rdi, [rdi+rdi+1]
001a72b3cmp rdi, 1
001a72b7jne 0x1a72c4
001a72b9mov rax, rbx
001a72bcadd rsp, 40
001a72c0ret
001a72c1
001a72c1 0f 1f 00 ...
001a72c4
001a72c4loc_1a72c4:
001a72c4mov [rsp], rdi
001a72c8mov [rsp+8], rbx
001a72cdmov [rsp+16], rax
001a72d2lea rax, [rip+0x79d57]
001a72d9call caml_c_call
001a72demov rbx, rax
001a72e1mov edi, 1
001a72e6mov rax, [rsp]
001a72eaadd rax, -2
001a72eecmp rdi, rax
001a72f1jg 0x1a7354
001a72f3mov [rsp+32], rax
001a72f8mov [rsp], rdi
001a72fcmov [rsp+24], rbx
001a7301
001a7301loc_1a7301:
001a7301mov rax, rdi
001a7304sar rax, 1
001a7307mov rbx, [rsp+8]
001a730cmovzx rax, [rbx+rax]
001a7311lea rbx, [rax+rax+1]
001a7316mov rax, rdi
001a7319mov rdi, [rsp+16]
001a731ecall caml_apply2
001a7323sar rax, 1
001a7326mov rdi, [rsp]
001a732amov rsi, rdi
001a732dsar rsi, 1
001a7330mov rbx, [rsp+24]
001a7335mov [rbx+rsi], al
001a7338mov rax, rdi
001a733badd rdi, 2
001a733fmov [rsp], rdi
001a7343mov rsi, [rsp+32]
001a7348cmp rax, rsi
001a734bje 0x1a7354
001a734dcmp r15, [r14]
001a7350ja 0x1a7301
001a7352jmp 0x1a735c
001a7354
001a7354loc_1a7354:
001a7354mov rax, rbx
001a7357add rsp, 40
001a735bret
001a735c
001a735cloc_1a735c:
001a735ccall caml_call_gc
001a7361jmp 0x1a7301
001a7363
001a7363loc_1a7363:
001a7363push 38
001a7365call caml_call_realloc_stack
001a736apop r10
001a736cjmp 0x1a7292
001a7280
001a7280Stdlib.Bytes.mapi:
001a7280lea r10, [rsp-360]
001a7288cmp r10, [r14+40]
001a728cjb 0x1a7363
001a7292
001a7292loc_1a7292:
001a7292sub rsp, 40
001a7296mov rdi, [rbx-8]
001a729ashr rdi, 10
001a729elea rdi, [8*rdi-1]
001a72a6movzx rsi, [rbx+rdi]
001a72absub rdi, rsi
001a72aelea rdi, [rdi+rdi+1]
001a72b3cmp rdi, 1
001a72b7jne 0x1a72c4
001a72b9mov rax, rbx
001a72bcadd rsp, 40
001a72c0ret
001a72c1
001a72c1 0f 1f 00 ...
001a72c4
001a72c4loc_1a72c4:
001a72c4mov [rsp], rdi
001a72c8mov [rsp+8], rbx
001a72cdmov [rsp+16], rax
001a72d2lea rax, [rip+0x79d57]
001a72d9call caml_c_call
001a72demov rbx, rax
001a72e1mov edi, 1
001a72e6mov rax, [rsp]
001a72eaadd rax, -2
001a72eecmp rdi, rax
001a72f1jg 0x1a7354
001a72f3mov [rsp+32], rax
001a72f8mov [rsp], rdi
001a72fcmov [rsp+24], rbx
001a7301
001a7301loc_1a7301:
001a7301mov rax, rdi
001a7304sar rax, 1
001a7307mov rbx, [rsp+8]
001a730cmovzx rax, [rbx+rax]
001a7311lea rbx, [rax+rax+1]
001a7316mov rax, rdi
001a7319mov rdi, [rsp+16]
001a731ecall caml_apply2
001a7323sar rax, 1
001a7326mov rdi, [rsp]
001a732amov rsi, rdi
001a732dsar rsi, 1
001a7330mov rbx, [rsp+24]
001a7335mov [rbx+rsi], al
001a7338mov rax, rdi
001a733badd rdi, 2
001a733fmov [rsp], rdi
001a7343mov rsi, [rsp+32]
001a7348cmp rax, rsi
001a734bje 0x1a7354
001a734dcmp r15, [r14]
001a7350ja 0x1a7301
001a7352jmp 0x1a735c
001a7354
001a7354loc_1a7354:
001a7354mov rax, rbx
001a7357add rsp, 40
001a735bret
001a735c
001a735cloc_1a735c:
001a735ccall caml_call_gc
001a7361jmp 0x1a7301
001a7363
001a7363loc_1a7363:
001a7363push 38
001a7365call caml_call_realloc_stack
001a736apop r10
001a736cjmp 0x1a7292
001a7280
001a7371
001a7371 // align 0x10
001a7371 // align 0x10
001a7380
001a7380Stdlib.Bytes.fold_left:
001a7380lea r10, [rsp-352]
001a7388cmp r10, [r14+40]
001a738cjb 0x1a741f
001a7392
001a7392loc_1a7392:
001a7392sub rsp, 32
001a7396mov rdx, rax
001a7399mov rax, rbx
001a739cmov esi, 1
001a73a1mov rbx, [rdi-8]
001a73a5shr rbx, 10
001a73a9lea rbx, [8*rbx-1]
001a73b1movzx rcx, [rdi+rbx]
001a73b6sub rbx, rcx
001a73b9lea rbx, [rbx+rbx-1]
001a73becmp rsi, rbx
001a73c1jg 0x1a7413
001a73c3mov [rsp+24], rbx
001a73c8mov [rsp+16], rsi
001a73cdmov [rsp], rdi
001a73d1mov [rsp+8], rdx
001a73d6
001a73d6loc_1a73d6:
001a73d6sar rsi, 1
001a73d9mov rbx, [rsp]
001a73ddmovzx rbx, [rbx+rsi]
001a73e2lea rbx, [rbx+rbx+1]
001a73e7mov rdi, [rsp+8]
001a73eccall caml_apply2
001a73f1mov rsi, [rsp+16]
001a73f6mov rbx, rsi
001a73f9add rsi, 2
001a73fdmov [rsp+16], rsi
001a7402mov rdi, [rsp+24]
001a7407cmp rbx, rdi
001a740aje 0x1a7413
001a740ccmp r15, [r14]
001a740fja 0x1a73d6
001a7411jmp 0x1a7418
001a7413
001a7413loc_1a7413:
001a7413add rsp, 32
001a7417ret
001a7418
001a7418loc_1a7418:
001a7418call caml_call_gc
001a741djmp 0x1a73d6
001a741f
001a741floc_1a741f:
001a741fpush 37
001a7421call caml_call_realloc_stack
001a7426pop r10
001a7428jmp 0x1a7392
001a7380
001a7380Stdlib.Bytes.fold_left:
001a7380lea r10, [rsp-352]
001a7388cmp r10, [r14+40]
001a738cjb 0x1a741f
001a7392
001a7392loc_1a7392:
001a7392sub rsp, 32
001a7396mov rdx, rax
001a7399mov rax, rbx
001a739cmov esi, 1
001a73a1mov rbx, [rdi-8]
001a73a5shr rbx, 10
001a73a9lea rbx, [8*rbx-1]
001a73b1movzx rcx, [rdi+rbx]
001a73b6sub rbx, rcx
001a73b9lea rbx, [rbx+rbx-1]
001a73becmp rsi, rbx
001a73c1jg 0x1a7413
001a73c3mov [rsp+24], rbx
001a73c8mov [rsp+16], rsi
001a73cdmov [rsp], rdi
001a73d1mov [rsp+8], rdx
001a73d6
001a73d6loc_1a73d6:
001a73d6sar rsi, 1
001a73d9mov rbx, [rsp]
001a73ddmovzx rbx, [rbx+rsi]
001a73e2lea rbx, [rbx+rbx+1]
001a73e7mov rdi, [rsp+8]
001a73eccall caml_apply2
001a73f1mov rsi, [rsp+16]
001a73f6mov rbx, rsi
001a73f9add rsi, 2
001a73fdmov [rsp+16], rsi
001a7402mov rdi, [rsp+24]
001a7407cmp rbx, rdi
001a740aje 0x1a7413
001a740ccmp r15, [r14]
001a740fja 0x1a73d6
001a7411jmp 0x1a7418
001a7413
001a7413loc_1a7413:
001a7413add rsp, 32
001a7417ret
001a7418
001a7418loc_1a7418:
001a7418call caml_call_gc
001a741djmp 0x1a73d6
001a741f
001a741floc_1a741f:
001a741fpush 37
001a7421call caml_call_realloc_stack
001a7426pop r10
001a7428jmp 0x1a7392
001a7380
001a742d
001a742d // align 0x10
001a742d // align 0x10
001a7430
001a7430Stdlib.Bytes.fold_right:
001a7430lea r10, [rsp-344]
001a7438cmp r10, [r14+40]
001a743cjb 0x1a74c8
001a7442
001a7442loc_1a7442:
001a7442sub rsp, 24
001a7446mov rsi, rbx
001a7449mov rbx, rdi
001a744cmov rdi, [rsi-8]
001a7450shr rdi, 10
001a7454lea rdi, [8*rdi-1]
001a745cmovzx rdx, [rsi+rdi]
001a7461sub rdi, rdx
001a7464lea rdi, [rdi+rdi-1]
001a7469cmp rdi, 1
001a746djl 0x1a74b9
001a746fmov [rsp+16], rdi
001a7474mov [rsp], rsi
001a7478mov [rsp+8], rax
001a747d
001a747dloc_1a747d:
001a747dsar rdi, 1
001a7480mov rax, [rsp]
001a7484movzx rax, [rax+rdi]
001a7489lea rax, [rax+rax+1]
001a748emov rdi, [rsp+8]
001a7493call caml_apply2
001a7498mov rbx, rax
001a749bmov rdi, [rsp+16]
001a74a0mov rax, rdi
001a74a3sub rdi, 2
001a74a7mov [rsp+16], rdi
001a74accmp rax, 1
001a74b0je 0x1a74b9
001a74b2cmp r15, [r14]
001a74b5ja 0x1a747d
001a74b7jmp 0x1a74c1
001a74b9
001a74b9loc_1a74b9:
001a74b9mov rax, rbx
001a74bcadd rsp, 24
001a74c0ret
001a74c1
001a74c1loc_1a74c1:
001a74c1call caml_call_gc
001a74c6jmp 0x1a747d
001a74c8
001a74c8loc_1a74c8:
001a74c8push 36
001a74cacall caml_call_realloc_stack
001a74cfpop r10
001a74d1jmp 0x1a7442
001a7430
001a7430Stdlib.Bytes.fold_right:
001a7430lea r10, [rsp-344]
001a7438cmp r10, [r14+40]
001a743cjb 0x1a74c8
001a7442
001a7442loc_1a7442:
001a7442sub rsp, 24
001a7446mov rsi, rbx
001a7449mov rbx, rdi
001a744cmov rdi, [rsi-8]
001a7450shr rdi, 10
001a7454lea rdi, [8*rdi-1]
001a745cmovzx rdx, [rsi+rdi]
001a7461sub rdi, rdx
001a7464lea rdi, [rdi+rdi-1]
001a7469cmp rdi, 1
001a746djl 0x1a74b9
001a746fmov [rsp+16], rdi
001a7474mov [rsp], rsi
001a7478mov [rsp+8], rax
001a747d
001a747dloc_1a747d:
001a747dsar rdi, 1
001a7480mov rax, [rsp]
001a7484movzx rax, [rax+rdi]
001a7489lea rax, [rax+rax+1]
001a748emov rdi, [rsp+8]
001a7493call caml_apply2
001a7498mov rbx, rax
001a749bmov rdi, [rsp+16]
001a74a0mov rax, rdi
001a74a3sub rdi, 2
001a74a7mov [rsp+16], rdi
001a74accmp rax, 1
001a74b0je 0x1a74b9
001a74b2cmp r15, [r14]
001a74b5ja 0x1a747d
001a74b7jmp 0x1a74c1
001a74b9
001a74b9loc_1a74b9:
001a74b9mov rax, rbx
001a74bcadd rsp, 24
001a74c0ret
001a74c1
001a74c1loc_1a74c1:
001a74c1call caml_call_gc
001a74c6jmp 0x1a747d
001a74c8
001a74c8loc_1a74c8:
001a74c8push 36
001a74cacall caml_call_realloc_stack
001a74cfpop r10
001a74d1jmp 0x1a7442
001a7430
001a74d6
001a74d6 // align 0x10
001a74d6 // align 0x10
001a74e0
001a74e0Stdlib.Bytes.exists:
001a74e0mov rdi, [rbx-8]
001a74e4shr rdi, 10
001a74e8lea rdi, [8*rdi-1]
001a74f0movzx rsi, [rbx+rdi]
001a74f5sub rdi, rsi
001a74f8lea rdi, [rdi+rdi+1]
001a74fdsub r15, 48
001a7501cmp r15, [r14]
001a7504jb 0x1a7543
001a7506
001a7506loc_1a7506:
001a7506lea rsi, [r15+8]
001a750amov [rsi-8], 5367
001a7512lea rdx, [rip+55]
001a7519mov [rsi], rdx
001a751cmov rdx, 0x100000000000005
001a7526mov [rsi+8], rdx
001a752amov [rsi+16], rax
001a752emov [rsi+24], rbx
001a7532mov [rsi+32], rdi
001a7536mov eax, 1
001a753bmov rbx, rsi
001a753ejmp 0x1a7550
001a7543
001a7543loc_1a7543:
001a7543call caml_call_gc
001a7548jmp 0x1a7506
001a74e0
001a74e0Stdlib.Bytes.exists:
001a74e0mov rdi, [rbx-8]
001a74e4shr rdi, 10
001a74e8lea rdi, [8*rdi-1]
001a74f0movzx rsi, [rbx+rdi]
001a74f5sub rdi, rsi
001a74f8lea rdi, [rdi+rdi+1]
001a74fdsub r15, 48
001a7501cmp r15, [r14]
001a7504jb 0x1a7543
001a7506
001a7506loc_1a7506:
001a7506lea rsi, [r15+8]
001a750amov [rsi-8], 5367
001a7512lea rdx, [rip+55]
001a7519mov [rsi], rdx
001a751cmov rdx, 0x100000000000005
001a7526mov [rsi+8], rdx
001a752amov [rsi+16], rax
001a752emov [rsi+24], rbx
001a7532mov [rsi+32], rdi
001a7536mov eax, 1
001a753bmov rbx, rsi
001a753ejmp 0x1a7550
001a7543
001a7543loc_1a7543:
001a7543call caml_call_gc
001a7548jmp 0x1a7506
001a74e0
001a754a
001a754a // align 0x10
001a754a // align 0x10
001a7550
001a7550Stdlib.Bytes.loop:
001a7550lea r10, [rsp-336]
001a7558cmp r10, [r14+40]
001a755cjb 0x1a75ca
001a755e
001a755eloc_1a755e:
001a755esub rsp, 16
001a7562
001a7562loc_1a7562:
001a7562cmp r15, [r14]
001a7565jbe 0x1a75c3
001a7567
001a7567loc_1a7567:
001a7567mov rdi, [rbx+32]
001a756bcmp rax, rdi
001a756ejne 0x1a757c
001a7570mov eax, 1
001a7575add rsp, 16
001a7579ret
001a757a
001a757a 66 90 f.
001a757c
001a757cloc_1a757c:
001a757cmov [rsp+8], rbx
001a7581mov [rsp], rax
001a7585mov rdi, [rbx+16]
001a7589sar rax, 1
001a758cmov rbx, [rbx+24]
001a7590movzx rax, [rbx+rax]
001a7595lea rax, [rax+rax+1]
001a759amov rsi, [rdi]
001a759dmov rbx, rdi
001a75a0call rsi
001a75a2cmp rax, 1
001a75a6je 0x1a75b4
001a75a8mov eax, 3
001a75adadd rsp, 16
001a75b1ret
001a75b2
001a75b2 66 90 f.
001a75b4
001a75b4loc_1a75b4:
001a75b4mov rax, [rsp]
001a75b8add rax, 2
001a75bcmov rbx, [rsp+8]
001a75c1jmp 0x1a7562
001a75c3
001a75c3loc_1a75c3:
001a75c3call caml_call_gc
001a75c8jmp 0x1a7567
001a75ca
001a75caloc_1a75ca:
001a75capush 35
001a75cccall caml_call_realloc_stack
001a75d1pop r10
001a75d3jmp 0x1a755e
001a7550
001a7550Stdlib.Bytes.loop:
001a7550lea r10, [rsp-336]
001a7558cmp r10, [r14+40]
001a755cjb 0x1a75ca
001a755e
001a755eloc_1a755e:
001a755esub rsp, 16
001a7562
001a7562loc_1a7562:
001a7562cmp r15, [r14]
001a7565jbe 0x1a75c3
001a7567
001a7567loc_1a7567:
001a7567mov rdi, [rbx+32]
001a756bcmp rax, rdi
001a756ejne 0x1a757c
001a7570mov eax, 1
001a7575add rsp, 16
001a7579ret
001a757a
001a757a 66 90 f.
001a757c
001a757cloc_1a757c:
001a757cmov [rsp+8], rbx
001a7581mov [rsp], rax
001a7585mov rdi, [rbx+16]
001a7589sar rax, 1
001a758cmov rbx, [rbx+24]
001a7590movzx rax, [rbx+rax]
001a7595lea rax, [rax+rax+1]
001a759amov rsi, [rdi]
001a759dmov rbx, rdi
001a75a0call rsi
001a75a2cmp rax, 1
001a75a6je 0x1a75b4
001a75a8mov eax, 3
001a75adadd rsp, 16
001a75b1ret
001a75b2
001a75b2 66 90 f.
001a75b4
001a75b4loc_1a75b4:
001a75b4mov rax, [rsp]
001a75b8add rax, 2
001a75bcmov rbx, [rsp+8]
001a75c1jmp 0x1a7562
001a75c3
001a75c3loc_1a75c3:
001a75c3call caml_call_gc
001a75c8jmp 0x1a7567
001a75ca
001a75caloc_1a75ca:
001a75capush 35
001a75cccall caml_call_realloc_stack
001a75d1pop r10
001a75d3jmp 0x1a755e
001a7550
001a75d5
001a75d5 // align 0x10
001a75d5 // align 0x10
001a75e0
001a75e0Stdlib.Bytes.for_all:
001a75e0mov rdi, [rbx-8]
001a75e4shr rdi, 10
001a75e8lea rdi, [8*rdi-1]
001a75f0movzx rsi, [rbx+rdi]
001a75f5sub rdi, rsi
001a75f8lea rdi, [rdi+rdi+1]
001a75fdsub r15, 48
001a7601cmp r15, [r14]
001a7604jb 0x1a7643
001a7606
001a7606loc_1a7606:
001a7606lea rsi, [r15+8]
001a760amov [rsi-8], 5367
001a7612lea rdx, [rip+55]
001a7619mov [rsi], rdx
001a761cmov rdx, 0x100000000000005
001a7626mov [rsi+8], rdx
001a762amov [rsi+16], rax
001a762emov [rsi+24], rbx
001a7632mov [rsi+32], rdi
001a7636mov eax, 1
001a763bmov rbx, rsi
001a763ejmp 0x1a7650
001a7643
001a7643loc_1a7643:
001a7643call caml_call_gc
001a7648jmp 0x1a7606
001a75e0
001a75e0Stdlib.Bytes.for_all:
001a75e0mov rdi, [rbx-8]
001a75e4shr rdi, 10
001a75e8lea rdi, [8*rdi-1]
001a75f0movzx rsi, [rbx+rdi]
001a75f5sub rdi, rsi
001a75f8lea rdi, [rdi+rdi+1]
001a75fdsub r15, 48
001a7601cmp r15, [r14]
001a7604jb 0x1a7643
001a7606
001a7606loc_1a7606:
001a7606lea rsi, [r15+8]
001a760amov [rsi-8], 5367
001a7612lea rdx, [rip+55]
001a7619mov [rsi], rdx
001a761cmov rdx, 0x100000000000005
001a7626mov [rsi+8], rdx
001a762amov [rsi+16], rax
001a762emov [rsi+24], rbx
001a7632mov [rsi+32], rdi
001a7636mov eax, 1
001a763bmov rbx, rsi
001a763ejmp 0x1a7650
001a7643
001a7643loc_1a7643:
001a7643call caml_call_gc
001a7648jmp 0x1a7606
001a75e0
001a764a
001a764a // align 0x10
001a764a // align 0x10
001a7650
001a7650Stdlib.Bytes.loop:
001a7650lea r10, [rsp-336]
001a7658cmp r10, [r14+40]
001a765cjb 0x1a76c9
001a765e
001a765eloc_1a765e:
001a765esub rsp, 16
001a7662
001a7662loc_1a7662:
001a7662cmp r15, [r14]
001a7665jbe 0x1a76c2
001a7667
001a7667loc_1a7667:
001a7667mov rdi, [rbx+32]
001a766bcmp rax, rdi
001a766ejne 0x1a767c
001a7670mov eax, 3
001a7675add rsp, 16
001a7679ret
001a767a
001a767a 66 90 f.
001a767c
001a767cloc_1a767c:
001a767cmov [rsp+8], rbx
001a7681mov [rsp], rax
001a7685mov rdi, [rbx+16]
001a7689sar rax, 1
001a768cmov rbx, [rbx+24]
001a7690movzx rax, [rbx+rax]
001a7695lea rax, [rax+rax+1]
001a769amov rsi, [rdi]
001a769dmov rbx, rdi
001a76a0call rsi
001a76a2cmp rax, 1
001a76a6je 0x1a76b8
001a76a8mov rax, [rsp]
001a76acadd rax, 2
001a76b0mov rbx, [rsp+8]
001a76b5jmp 0x1a7662
001a76b7
001a76b7 90 .
001a76b8
001a76b8loc_1a76b8:
001a76b8mov eax, 1
001a76bdadd rsp, 16
001a76c1ret
001a76c2
001a76c2loc_1a76c2:
001a76c2call caml_call_gc
001a76c7jmp 0x1a7667
001a76c9
001a76c9loc_1a76c9:
001a76c9push 35
001a76cbcall caml_call_realloc_stack
001a76d0pop r10
001a76d2jmp 0x1a765e
001a7650
001a7650Stdlib.Bytes.loop:
001a7650lea r10, [rsp-336]
001a7658cmp r10, [r14+40]
001a765cjb 0x1a76c9
001a765e
001a765eloc_1a765e:
001a765esub rsp, 16
001a7662
001a7662loc_1a7662:
001a7662cmp r15, [r14]
001a7665jbe 0x1a76c2
001a7667
001a7667loc_1a7667:
001a7667mov rdi, [rbx+32]
001a766bcmp rax, rdi
001a766ejne 0x1a767c
001a7670mov eax, 3
001a7675add rsp, 16
001a7679ret
001a767a
001a767a 66 90 f.
001a767c
001a767cloc_1a767c:
001a767cmov [rsp+8], rbx
001a7681mov [rsp], rax
001a7685mov rdi, [rbx+16]
001a7689sar rax, 1
001a768cmov rbx, [rbx+24]
001a7690movzx rax, [rbx+rax]
001a7695lea rax, [rax+rax+1]
001a769amov rsi, [rdi]
001a769dmov rbx, rdi
001a76a0call rsi
001a76a2cmp rax, 1
001a76a6je 0x1a76b8
001a76a8mov rax, [rsp]
001a76acadd rax, 2
001a76b0mov rbx, [rsp+8]
001a76b5jmp 0x1a7662
001a76b7
001a76b7 90 .
001a76b8
001a76b8loc_1a76b8:
001a76b8mov eax, 1
001a76bdadd rsp, 16
001a76c1ret
001a76c2
001a76c2loc_1a76c2:
001a76c2call caml_call_gc
001a76c7jmp 0x1a7667
001a76c9
001a76c9loc_1a76c9:
001a76c9push 35
001a76cbcall caml_call_realloc_stack
001a76d0pop r10
001a76d2jmp 0x1a765e
001a7650
001a76d4
001a76d4 // align 0x10
001a76d4 // align 0x10
001a76e0
001a76e0Stdlib.Bytes.uppercase_ascii:
001a76e0mov rbx, rax
001a76e3lea rax, [rip+0x18c896]
001a76eamov rax, [rax+24]
001a76eejmp 0x1a7190
001a76e0
001a76e0Stdlib.Bytes.uppercase_ascii:
001a76e0mov rbx, rax
001a76e3lea rax, [rip+0x18c896]
001a76eamov rax, [rax+24]
001a76eejmp 0x1a7190
001a76e0
001a76f3
001a76f3 // align 0x10
001a76f3 // align 0x10
001a7700
001a7700Stdlib.Bytes.lowercase_ascii:
001a7700mov rbx, rax
001a7703lea rax, [rip+0x18c876]
001a770amov rax, [rax+16]
001a770ejmp 0x1a7190
001a7700
001a7700Stdlib.Bytes.lowercase_ascii:
001a7700mov rbx, rax
001a7703lea rax, [rip+0x18c876]
001a770amov rax, [rax+16]
001a770ejmp 0x1a7190
001a7700
001a7713
001a7713 // align 0x10
001a7713 // align 0x10
001a7720
001a7720Stdlib.Bytes.apply1:
001a7720lea r10, [rsp-344]
001a7728cmp r10, [r14+40]
001a772cjb 0x1a779f
001a772e
001a772eloc_1a772e:
001a772esub rsp, 24
001a7732mov rdi, [rbx-8]
001a7736shr rdi, 10
001a773alea rdi, [8*rdi-1]
001a7742movzx rsi, [rbx+rdi]
001a7747sub rdi, rsi
001a774alea rdi, [rdi+rdi+1]
001a774fcmp rdi, 1
001a7753jne 0x1a7760
001a7755mov rax, rbx
001a7758add rsp, 24
001a775cret
001a775d
001a775d 0f 1f 00 ...
001a7760
001a7760loc_1a7760:
001a7760mov [rsp], rbx
001a7764mov [rsp+8], rax
001a7769mov rax, rbx
001a776ccall Stdlib.Bytes.copy
001a7771mov [rsp+16], rax
001a7776mov rax, [rsp]
001a777amovzx rax, [rax]
001a777elea rax, [rax+rax+1]
001a7783mov rbx, [rsp+8]
001a7788mov rdi, [rbx]
001a778bcall rdi
001a778dsar rax, 1
001a7790mov rbx, [rsp+16]
001a7795mov [rbx], al
001a7797mov rax, rbx
001a779aadd rsp, 24
001a779eret
001a779f
001a779floc_1a779f:
001a779fpush 36
001a77a1call caml_call_realloc_stack
001a77a6pop r10
001a77a8jmp 0x1a772e
001a7720
001a7720Stdlib.Bytes.apply1:
001a7720lea r10, [rsp-344]
001a7728cmp r10, [r14+40]
001a772cjb 0x1a779f
001a772e
001a772eloc_1a772e:
001a772esub rsp, 24
001a7732mov rdi, [rbx-8]
001a7736shr rdi, 10
001a773alea rdi, [8*rdi-1]
001a7742movzx rsi, [rbx+rdi]
001a7747sub rdi, rsi
001a774alea rdi, [rdi+rdi+1]
001a774fcmp rdi, 1
001a7753jne 0x1a7760
001a7755mov rax, rbx
001a7758add rsp, 24
001a775cret
001a775d
001a775d 0f 1f 00 ...
001a7760
001a7760loc_1a7760:
001a7760mov [rsp], rbx
001a7764mov [rsp+8], rax
001a7769mov rax, rbx
001a776ccall Stdlib.Bytes.copy
001a7771mov [rsp+16], rax
001a7776mov rax, [rsp]
001a777amovzx rax, [rax]
001a777elea rax, [rax+rax+1]
001a7783mov rbx, [rsp+8]
001a7788mov rdi, [rbx]
001a778bcall rdi
001a778dsar rax, 1
001a7790mov rbx, [rsp+16]
001a7795mov [rbx], al
001a7797mov rax, rbx
001a779aadd rsp, 24
001a779eret
001a779f
001a779floc_1a779f:
001a779fpush 36
001a77a1call caml_call_realloc_stack
001a77a6pop r10
001a77a8jmp 0x1a772e
001a7720
001a77aa
001a77aa // align 0x10
001a77aa // align 0x10
001a77b0
001a77b0Stdlib.Bytes.capitalize_ascii:
001a77b0mov rbx, rax
001a77b3lea rax, [rip+0x18c7c6]
001a77bamov rax, [rax+24]
001a77bejmp 0x1a7720
001a77b0
001a77b0Stdlib.Bytes.capitalize_ascii:
001a77b0mov rbx, rax
001a77b3lea rax, [rip+0x18c7c6]
001a77bamov rax, [rax+24]
001a77bejmp 0x1a7720
001a77b0
001a77c3
001a77c3 // align 0x10
001a77c3 // align 0x10
001a77d0
001a77d0Stdlib.Bytes.uncapitalize_ascii:
001a77d0mov rbx, rax
001a77d3lea rax, [rip+0x18c7a6]
001a77damov rax, [rax+16]
001a77dejmp 0x1a7720
001a77d0
001a77d0Stdlib.Bytes.uncapitalize_ascii:
001a77d0mov rbx, rax
001a77d3lea rax, [rip+0x18c7a6]
001a77damov rax, [rax+16]
001a77dejmp 0x1a7720
001a77d0
001a77e3
001a77e3 // align 0x10
001a77e3 // align 0x10
001a77f0
001a77f0Stdlib.Bytes.starts_with:
001a77f0mov rdi, [rbx-8]
001a77f4shr rdi, 10
001a77f8lea rdi, [8*rdi-1]
001a7800movzx rsi, [rbx+rdi]
001a7805sub rdi, rsi
001a7808lea rdi, [rdi+rdi+1]
001a780dmov rsi, [rax-8]
001a7811shr rsi, 10
001a7815lea rsi, [8*rsi-1]
001a781dmovzx rdx, [rax+rsi]
001a7822sub rsi, rdx
001a7825lea rsi, [rsi+rsi+1]
001a782asub r15, 48
001a782ecmp r15, [r14]
001a7831jb 0x1a787e
001a7833
001a7833loc_1a7833:
001a7833lea rdx, [r15+8]
001a7837mov [rdx-8], 5367
001a783flea rcx, [rip+74]
001a7846mov [rdx], rcx
001a7849mov rcx, 0x100000000000005
001a7853mov [rdx+8], rcx
001a7857mov [rdx+16], rax
001a785bmov [rdx+24], rbx
001a785fmov [rdx+32], rsi
001a7863cmp rdi, rsi
001a7866jl 0x1a7878
001a7868mov eax, 1
001a786dmov rbx, rdx
001a7870jmp 0x1a7890
001a7875
001a7875 0f 1f 00 ...
001a7878
001a7878loc_1a7878:
001a7878mov eax, 1
001a787dret
001a787e
001a787eloc_1a787e:
001a787ecall caml_call_gc
001a7883jmp 0x1a7833
001a77f0
001a77f0Stdlib.Bytes.starts_with:
001a77f0mov rdi, [rbx-8]
001a77f4shr rdi, 10
001a77f8lea rdi, [8*rdi-1]
001a7800movzx rsi, [rbx+rdi]
001a7805sub rdi, rsi
001a7808lea rdi, [rdi+rdi+1]
001a780dmov rsi, [rax-8]
001a7811shr rsi, 10
001a7815lea rsi, [8*rsi-1]
001a781dmovzx rdx, [rax+rsi]
001a7822sub rsi, rdx
001a7825lea rsi, [rsi+rsi+1]
001a782asub r15, 48
001a782ecmp r15, [r14]
001a7831jb 0x1a787e
001a7833
001a7833loc_1a7833:
001a7833lea rdx, [r15+8]
001a7837mov [rdx-8], 5367
001a783flea rcx, [rip+74]
001a7846mov [rdx], rcx
001a7849mov rcx, 0x100000000000005
001a7853mov [rdx+8], rcx
001a7857mov [rdx+16], rax
001a785bmov [rdx+24], rbx
001a785fmov [rdx+32], rsi
001a7863cmp rdi, rsi
001a7866jl 0x1a7878
001a7868mov eax, 1
001a786dmov rbx, rdx
001a7870jmp 0x1a7890
001a7875
001a7875 0f 1f 00 ...
001a7878
001a7878loc_1a7878:
001a7878mov eax, 1
001a787dret
001a787e
001a787eloc_1a787e:
001a787ecall caml_call_gc
001a7883jmp 0x1a7833
001a77f0
001a7885
001a7885 // align 0x10
001a7885 // align 0x10
001a7890
001a7890Stdlib.Bytes.aux:
001a7890cmp r15, [r14]
001a7893jbe 0x1a78da
001a7895
001a7895loc_1a7895:
001a7895mov rdi, [rbx+32]
001a7899cmp rax, rdi
001a789cjne 0x1a78a4
001a789emov eax, 3
001a78a3ret
001a78a4
001a78a4loc_1a78a4:
001a78a4mov rdi, rax
001a78a7sar rdi, 1
001a78aamov rsi, [rbx+16]
001a78aemovzx rsi, [rsi+rdi]
001a78b3lea rsi, [rsi+rsi+1]
001a78b8mov rdx, [rbx+24]
001a78bcmovzx rdi, [rdx+rdi]
001a78c1lea rdi, [rdi+rdi+1]
001a78c6cmp rdi, rsi
001a78c9je 0x1a78d4
001a78cbmov eax, 1
001a78d0ret
001a78d1
001a78d1 0f 1f 00 ...
001a78d4
001a78d4loc_1a78d4:
001a78d4add rax, 2
001a78d8jmp 0x1a7890
001a78da
001a78daloc_1a78da:
001a78dacall caml_call_gc
001a78dfjmp 0x1a7895
001a7890
001a7890Stdlib.Bytes.aux:
001a7890cmp r15, [r14]
001a7893jbe 0x1a78da
001a7895
001a7895loc_1a7895:
001a7895mov rdi, [rbx+32]
001a7899cmp rax, rdi
001a789cjne 0x1a78a4
001a789emov eax, 3
001a78a3ret
001a78a4
001a78a4loc_1a78a4:
001a78a4mov rdi, rax
001a78a7sar rdi, 1
001a78aamov rsi, [rbx+16]
001a78aemovzx rsi, [rsi+rdi]
001a78b3lea rsi, [rsi+rsi+1]
001a78b8mov rdx, [rbx+24]
001a78bcmovzx rdi, [rdx+rdi]
001a78c1lea rdi, [rdi+rdi+1]
001a78c6cmp rdi, rsi
001a78c9je 0x1a78d4
001a78cbmov eax, 1
001a78d0ret
001a78d1
001a78d1 0f 1f 00 ...
001a78d4
001a78d4loc_1a78d4:
001a78d4add rax, 2
001a78d8jmp 0x1a7890
001a78da
001a78daloc_1a78da:
001a78dacall caml_call_gc
001a78dfjmp 0x1a7895
001a7890
001a78e1
001a78e1 // align 0x10
001a78e1 // align 0x10
001a78f0
001a78f0Stdlib.Bytes.ends_with:
001a78f0mov rdi, [rbx-8]
001a78f4shr rdi, 10
001a78f8lea rdi, [8*rdi-1]
001a7900movzx rsi, [rbx+rdi]
001a7905sub rdi, rsi
001a7908lea rdi, [rdi+rdi+1]
001a790dmov rsi, [rax-8]
001a7911shr rsi, 10
001a7915lea rsi, [8*rsi-1]
001a791dmovzx rdx, [rax+rsi]
001a7922sub rsi, rdx
001a7925lea rsi, [rsi+rsi+1]
001a792asub rdi, rsi
001a792dinc rdi
001a7930sub r15, 56
001a7934cmp r15, [r14]
001a7937jb 0x1a7986
001a7939
001a7939loc_1a7939:
001a7939lea rdx, [r15+8]
001a793dmov [rdx-8], 6391
001a7945lea rcx, [rip+68]
001a794cmov [rdx], rcx
001a794fmov rcx, 0x100000000000005
001a7959mov [rdx+8], rcx
001a795dmov [rdx+16], rax
001a7961mov [rdx+24], rbx
001a7965mov [rdx+32], rsi
001a7969mov [rdx+40], rdi
001a796dcmp rdi, 1
001a7971jl 0x1a7980
001a7973mov eax, 1
001a7978mov rbx, rdx
001a797bjmp 0x1a7990
001a7980
001a7980loc_1a7980:
001a7980mov eax, 1
001a7985ret
001a7986
001a7986loc_1a7986:
001a7986call caml_call_gc
001a798bjmp 0x1a7939
001a78f0
001a78f0Stdlib.Bytes.ends_with:
001a78f0mov rdi, [rbx-8]
001a78f4shr rdi, 10
001a78f8lea rdi, [8*rdi-1]
001a7900movzx rsi, [rbx+rdi]
001a7905sub rdi, rsi
001a7908lea rdi, [rdi+rdi+1]
001a790dmov rsi, [rax-8]
001a7911shr rsi, 10
001a7915lea rsi, [8*rsi-1]
001a791dmovzx rdx, [rax+rsi]
001a7922sub rsi, rdx
001a7925lea rsi, [rsi+rsi+1]
001a792asub rdi, rsi
001a792dinc rdi
001a7930sub r15, 56
001a7934cmp r15, [r14]
001a7937jb 0x1a7986
001a7939
001a7939loc_1a7939:
001a7939lea rdx, [r15+8]
001a793dmov [rdx-8], 6391
001a7945lea rcx, [rip+68]
001a794cmov [rdx], rcx
001a794fmov rcx, 0x100000000000005
001a7959mov [rdx+8], rcx
001a795dmov [rdx+16], rax
001a7961mov [rdx+24], rbx
001a7965mov [rdx+32], rsi
001a7969mov [rdx+40], rdi
001a796dcmp rdi, 1
001a7971jl 0x1a7980
001a7973mov eax, 1
001a7978mov rbx, rdx
001a797bjmp 0x1a7990
001a7980
001a7980loc_1a7980:
001a7980mov eax, 1
001a7985ret
001a7986
001a7986loc_1a7986:
001a7986call caml_call_gc
001a798bjmp 0x1a7939
001a78f0
001a798d
001a798d // align 0x10
001a798d // align 0x10
001a7990
001a7990Stdlib.Bytes.aux:
001a7990cmp r15, [r14]
001a7993jbe 0x1a79e6
001a7995
001a7995loc_1a7995:
001a7995mov rdi, [rbx+32]
001a7999cmp rax, rdi
001a799cjne 0x1a79a4
001a799emov eax, 3
001a79a3ret
001a79a4
001a79a4loc_1a79a4:
001a79a4mov rdi, rax
001a79a7sar rdi, 1
001a79aamov rsi, [rbx+16]
001a79aemovzx rdi, [rsi+rdi]
001a79b3lea rdi, [rdi+rdi+1]
001a79b8mov rsi, [rbx+40]
001a79bclea rsi, [rsi+rax-1]
001a79c1sar rsi, 1
001a79c4mov rdx, [rbx+24]
001a79c8movzx rsi, [rdx+rsi]
001a79cdlea rsi, [rsi+rsi+1]
001a79d2cmp rsi, rdi
001a79d5je 0x1a79e0
001a79d7mov eax, 1
001a79dcret
001a79dd
001a79dd 0f 1f 00 ...
001a79e0
001a79e0loc_1a79e0:
001a79e0add rax, 2
001a79e4jmp 0x1a7990
001a79e6
001a79e6loc_1a79e6:
001a79e6call caml_call_gc
001a79ebjmp 0x1a7995
001a7990
001a7990Stdlib.Bytes.aux:
001a7990cmp r15, [r14]
001a7993jbe 0x1a79e6
001a7995
001a7995loc_1a7995:
001a7995mov rdi, [rbx+32]
001a7999cmp rax, rdi
001a799cjne 0x1a79a4
001a799emov eax, 3
001a79a3ret
001a79a4
001a79a4loc_1a79a4:
001a79a4mov rdi, rax
001a79a7sar rdi, 1
001a79aamov rsi, [rbx+16]
001a79aemovzx rdi, [rsi+rdi]
001a79b3lea rdi, [rdi+rdi+1]
001a79b8mov rsi, [rbx+40]
001a79bclea rsi, [rsi+rax-1]
001a79c1sar rsi, 1
001a79c4mov rdx, [rbx+24]
001a79c8movzx rsi, [rdx+rsi]
001a79cdlea rsi, [rsi+rsi+1]
001a79d2cmp rsi, rdi
001a79d5je 0x1a79e0
001a79d7mov eax, 1
001a79dcret
001a79dd
001a79dd 0f 1f 00 ...
001a79e0
001a79e0loc_1a79e0:
001a79e0add rax, 2
001a79e4jmp 0x1a7990
001a79e6
001a79e6loc_1a79e6:
001a79e6call caml_call_gc
001a79ebjmp 0x1a7995
001a7990
001a79ed
001a79ed // align 0x10
001a79ed // align 0x10
001a79f0
001a79f0Stdlib.Bytes.index_rec:
001a79f0mov rdx, rax
001a79f3cmp r15, [r14]
001a79f6jbe 0x1a7a35
001a79f8
001a79f8loc_1a79f8:
001a79f8cmp rdi, rbx
001a79fbjl 0x1a7a10
001a79fdlea rax, [rip+0x185c14]
001a7a04mov rax, [rax+56]
001a7a08call caml_raise_exn
001a7a0dnop [rax]
001a7a10
001a7a10loc_1a7a10:
001a7a10mov rax, rdi
001a7a13sar rax, 1
001a7a16movzx rax, [rdx+rax]
001a7a1blea rax, [rax+rax+1]
001a7a20cmp rax, rsi
001a7a23jne 0x1a7a2c
001a7a25mov rax, rdi
001a7a28ret
001a7a29
001a7a29 0f 1f 00 ...
001a7a2c
001a7a2cloc_1a7a2c:
001a7a2cadd rdi, 2
001a7a30mov rax, rdx
001a7a33jmp 0x1a79f0
001a7a35
001a7a35loc_1a7a35:
001a7a35call caml_call_gc
001a7a3ajmp 0x1a79f8
001a79f0
001a79f0Stdlib.Bytes.index_rec:
001a79f0mov rdx, rax
001a79f3cmp r15, [r14]
001a79f6jbe 0x1a7a35
001a79f8
001a79f8loc_1a79f8:
001a79f8cmp rdi, rbx
001a79fbjl 0x1a7a10
001a79fdlea rax, [rip+0x185c14]
001a7a04mov rax, [rax+56]
001a7a08call caml_raise_exn
001a7a0dnop [rax]
001a7a10
001a7a10loc_1a7a10:
001a7a10mov rax, rdi
001a7a13sar rax, 1
001a7a16movzx rax, [rdx+rax]
001a7a1blea rax, [rax+rax+1]
001a7a20cmp rax, rsi
001a7a23jne 0x1a7a2c
001a7a25mov rax, rdi
001a7a28ret
001a7a29
001a7a29 0f 1f 00 ...
001a7a2c
001a7a2cloc_1a7a2c:
001a7a2cadd rdi, 2
001a7a30mov rax, rdx
001a7a33jmp 0x1a79f0
001a7a35
001a7a35loc_1a7a35:
001a7a35call caml_call_gc
001a7a3ajmp 0x1a79f8
001a79f0
001a7a3c
001a7a3c // align 0x10
001a7a3c // align 0x10
001a7a40
001a7a40Stdlib.Bytes.index:
001a7a40mov rsi, rbx
001a7a43mov edi, 1
001a7a48mov rbx, [rax-8]
001a7a4cshr rbx, 10
001a7a50lea rbx, [8*rbx-1]
001a7a58movzx rdx, [rax+rbx]
001a7a5dsub rbx, rdx
001a7a60lea rbx, [rbx+rbx+1]
001a7a65jmp 0x1a79f0
001a7a40
001a7a40Stdlib.Bytes.index:
001a7a40mov rsi, rbx
001a7a43mov edi, 1
001a7a48mov rbx, [rax-8]
001a7a4cshr rbx, 10
001a7a50lea rbx, [8*rbx-1]
001a7a58movzx rdx, [rax+rbx]
001a7a5dsub rbx, rdx
001a7a60lea rbx, [rbx+rbx+1]
001a7a65jmp 0x1a79f0
001a7a40
001a7a6a
001a7a6a // align 0x10
001a7a6a // align 0x10
001a7a70
001a7a70Stdlib.Bytes.index_rec_opt:
001a7a70cmp r15, [r14]
001a7a73jbe 0x1a7abd
001a7a75
001a7a75loc_1a7a75:
001a7a75cmp rdi, rbx
001a7a78jl 0x1a7a80
001a7a7amov eax, 1
001a7a7fret
001a7a80
001a7a80loc_1a7a80:
001a7a80mov rdx, rdi
001a7a83sar rdx, 1
001a7a86movzx rdx, [rax+rdx]
001a7a8blea rdx, [rdx+rdx+1]
001a7a90cmp rdx, rsi
001a7a93jne 0x1a7ab0
001a7a95sub r15, 16
001a7a99cmp r15, [r14]
001a7a9cjb 0x1a7ab6
001a7a9e
001a7a9eloc_1a7a9e:
001a7a9elea rax, [r15+8]
001a7aa2mov [rax-8], 1024
001a7aaamov [rax], rdi
001a7aadret
001a7aae
001a7aae 66 90 f.
001a7ab0
001a7ab0loc_1a7ab0:
001a7ab0add rdi, 2
001a7ab4jmp 0x1a7a70
001a7ab6
001a7ab6loc_1a7ab6:
001a7ab6call caml_call_gc
001a7abbjmp 0x1a7a9e
001a7abd
001a7abdloc_1a7abd:
001a7abdcall caml_call_gc
001a7ac2jmp 0x1a7a75
001a7a70
001a7a70Stdlib.Bytes.index_rec_opt:
001a7a70cmp r15, [r14]
001a7a73jbe 0x1a7abd
001a7a75
001a7a75loc_1a7a75:
001a7a75cmp rdi, rbx
001a7a78jl 0x1a7a80
001a7a7amov eax, 1
001a7a7fret
001a7a80
001a7a80loc_1a7a80:
001a7a80mov rdx, rdi
001a7a83sar rdx, 1
001a7a86movzx rdx, [rax+rdx]
001a7a8blea rdx, [rdx+rdx+1]
001a7a90cmp rdx, rsi
001a7a93jne 0x1a7ab0
001a7a95sub r15, 16
001a7a99cmp r15, [r14]
001a7a9cjb 0x1a7ab6
001a7a9e
001a7a9eloc_1a7a9e:
001a7a9elea rax, [r15+8]
001a7aa2mov [rax-8], 1024
001a7aaamov [rax], rdi
001a7aadret
001a7aae
001a7aae 66 90 f.
001a7ab0
001a7ab0loc_1a7ab0:
001a7ab0add rdi, 2
001a7ab4jmp 0x1a7a70
001a7ab6
001a7ab6loc_1a7ab6:
001a7ab6call caml_call_gc
001a7abbjmp 0x1a7a9e
001a7abd
001a7abdloc_1a7abd:
001a7abdcall caml_call_gc
001a7ac2jmp 0x1a7a75
001a7a70
001a7ac4
001a7ac4 // align 0x10
001a7ac4 // align 0x10
001a7ad0
001a7ad0Stdlib.Bytes.index_opt:
001a7ad0mov rsi, rbx
001a7ad3mov edi, 1
001a7ad8mov rbx, [rax-8]
001a7adcshr rbx, 10
001a7ae0lea rbx, [8*rbx-1]
001a7ae8movzx rdx, [rax+rbx]
001a7aedsub rbx, rdx
001a7af0lea rbx, [rbx+rbx+1]
001a7af5jmp 0x1a7a70
001a7ad0
001a7ad0Stdlib.Bytes.index_opt:
001a7ad0mov rsi, rbx
001a7ad3mov edi, 1
001a7ad8mov rbx, [rax-8]
001a7adcshr rbx, 10
001a7ae0lea rbx, [8*rbx-1]
001a7ae8movzx rdx, [rax+rbx]
001a7aedsub rbx, rdx
001a7af0lea rbx, [rbx+rbx+1]
001a7af5jmp 0x1a7a70
001a7ad0
001a7afa
001a7afa // align 0x10
001a7afa // align 0x10
001a7b00
001a7b00Stdlib.Bytes.index_from:
001a7b00mov rdx, rbx
001a7b03mov rsi, rdi
001a7b06mov rbx, [rax-8]
001a7b0ashr rbx, 10
001a7b0elea rbx, [8*rbx-1]
001a7b16movzx rdi, [rax+rbx]
001a7b1bsub rbx, rdi
001a7b1elea rbx, [rbx+rbx+1]
001a7b23cmp rdx, 1
001a7b27jl 0x1a7b38
001a7b29cmp rdx, rbx
001a7b2cjg 0x1a7b38
001a7b2emov rdi, rdx
001a7b31jmp 0x1a79f0
001a7b36
001a7b36 66 90 f.
001a7b38
001a7b38loc_1a7b38:
001a7b38lea rax, [rip+0x1925f1]
001a7b3fjmp 0x195ab0
001a7b00
001a7b00Stdlib.Bytes.index_from:
001a7b00mov rdx, rbx
001a7b03mov rsi, rdi
001a7b06mov rbx, [rax-8]
001a7b0ashr rbx, 10
001a7b0elea rbx, [8*rbx-1]
001a7b16movzx rdi, [rax+rbx]
001a7b1bsub rbx, rdi
001a7b1elea rbx, [rbx+rbx+1]
001a7b23cmp rdx, 1
001a7b27jl 0x1a7b38
001a7b29cmp rdx, rbx
001a7b2cjg 0x1a7b38
001a7b2emov rdi, rdx
001a7b31jmp 0x1a79f0
001a7b36
001a7b36 66 90 f.
001a7b38
001a7b38loc_1a7b38:
001a7b38lea rax, [rip+0x1925f1]
001a7b3fjmp 0x195ab0
001a7b00
001a7b44
001a7b44 // align 0x10
001a7b44 // align 0x10
001a7b50
001a7b50Stdlib.Bytes.index_from_opt:
001a7b50mov rdx, rbx
001a7b53mov rsi, rdi
001a7b56mov rbx, [rax-8]
001a7b5ashr rbx, 10
001a7b5elea rbx, [8*rbx-1]
001a7b66movzx rdi, [rax+rbx]
001a7b6bsub rbx, rdi
001a7b6elea rbx, [rbx+rbx+1]
001a7b73cmp rdx, 1
001a7b77jl 0x1a7b88
001a7b79cmp rdx, rbx
001a7b7cjg 0x1a7b88
001a7b7emov rdi, rdx
001a7b81jmp 0x1a7a70
001a7b86
001a7b86 66 90 f.
001a7b88
001a7b88loc_1a7b88:
001a7b88lea rax, [rip+0x192569]
001a7b8fjmp 0x195ab0
001a7b50
001a7b50Stdlib.Bytes.index_from_opt:
001a7b50mov rdx, rbx
001a7b53mov rsi, rdi
001a7b56mov rbx, [rax-8]
001a7b5ashr rbx, 10
001a7b5elea rbx, [8*rbx-1]
001a7b66movzx rdi, [rax+rbx]
001a7b6bsub rbx, rdi
001a7b6elea rbx, [rbx+rbx+1]
001a7b73cmp rdx, 1
001a7b77jl 0x1a7b88
001a7b79cmp rdx, rbx
001a7b7cjg 0x1a7b88
001a7b7emov rdi, rdx
001a7b81jmp 0x1a7a70
001a7b86
001a7b86 66 90 f.
001a7b88
001a7b88loc_1a7b88:
001a7b88lea rax, [rip+0x192569]
001a7b8fjmp 0x195ab0
001a7b50
001a7b94
001a7b94 // align 0x10
001a7b94 // align 0x10
001a7ba0
001a7ba0Stdlib.Bytes.rindex_rec:
001a7ba0mov rsi, rax
001a7ba3cmp r15, [r14]
001a7ba6jbe 0x1a7be5
001a7ba8
001a7ba8loc_1a7ba8:
001a7ba8cmp rbx, 1
001a7bacjge 0x1a7bc0
001a7baelea rax, [rip+0x185a63]
001a7bb5mov rax, [rax+56]
001a7bb9call caml_raise_exn
001a7bbenop
001a7bc0
001a7bc0loc_1a7bc0:
001a7bc0mov rax, rbx
001a7bc3sar rax, 1
001a7bc6movzx rax, [rsi+rax]
001a7bcblea rax, [rax+rax+1]
001a7bd0cmp rax, rdi
001a7bd3jne 0x1a7bdc
001a7bd5mov rax, rbx
001a7bd8ret
001a7bd9
001a7bd9 0f 1f 00 ...
001a7bdc
001a7bdcloc_1a7bdc:
001a7bdcadd rbx, -2
001a7be0mov rax, rsi
001a7be3jmp 0x1a7ba0
001a7be5
001a7be5loc_1a7be5:
001a7be5call caml_call_gc
001a7beajmp 0x1a7ba8
001a7ba0
001a7ba0Stdlib.Bytes.rindex_rec:
001a7ba0mov rsi, rax
001a7ba3cmp r15, [r14]
001a7ba6jbe 0x1a7be5
001a7ba8
001a7ba8loc_1a7ba8:
001a7ba8cmp rbx, 1
001a7bacjge 0x1a7bc0
001a7baelea rax, [rip+0x185a63]
001a7bb5mov rax, [rax+56]
001a7bb9call caml_raise_exn
001a7bbenop
001a7bc0
001a7bc0loc_1a7bc0:
001a7bc0mov rax, rbx
001a7bc3sar rax, 1
001a7bc6movzx rax, [rsi+rax]
001a7bcblea rax, [rax+rax+1]
001a7bd0cmp rax, rdi
001a7bd3jne 0x1a7bdc
001a7bd5mov rax, rbx
001a7bd8ret
001a7bd9
001a7bd9 0f 1f 00 ...
001a7bdc
001a7bdcloc_1a7bdc:
001a7bdcadd rbx, -2
001a7be0mov rax, rsi
001a7be3jmp 0x1a7ba0
001a7be5
001a7be5loc_1a7be5:
001a7be5call caml_call_gc
001a7beajmp 0x1a7ba8
001a7ba0
001a7bec
001a7bec // align 0x10
001a7bec // align 0x10
001a7bf0
001a7bf0Stdlib.Bytes.rindex:
001a7bf0mov rdi, rbx
001a7bf3mov rbx, [rax-8]
001a7bf7shr rbx, 10
001a7bfblea rbx, [8*rbx-1]
001a7c03movzx rsi, [rax+rbx]
001a7c08sub rbx, rsi
001a7c0blea rbx, [rbx+rbx-1]
001a7c10jmp 0x1a7ba0
001a7bf0
001a7bf0Stdlib.Bytes.rindex:
001a7bf0mov rdi, rbx
001a7bf3mov rbx, [rax-8]
001a7bf7shr rbx, 10
001a7bfblea rbx, [8*rbx-1]
001a7c03movzx rsi, [rax+rbx]
001a7c08sub rbx, rsi
001a7c0blea rbx, [rbx+rbx-1]
001a7c10jmp 0x1a7ba0
001a7bf0
001a7c15
001a7c15 // align 0x10
001a7c15 // align 0x10
001a7c20
001a7c20Stdlib.Bytes.rindex_from:
001a7c20cmp rbx, -1
001a7c24jl 0x1a7c50
001a7c26mov rsi, [rax-8]
001a7c2ashr rsi, 10
001a7c2elea rsi, [8*rsi-1]
001a7c36movzx rdx, [rax+rsi]
001a7c3bsub rsi, rdx
001a7c3elea rsi, [rsi+rsi+1]
001a7c43cmp rbx, rsi
001a7c46jge 0x1a7c50
001a7c48jmp 0x1a7ba0
001a7c4d
001a7c4d 0f 1f 00 ...
001a7c50
001a7c50loc_1a7c50:
001a7c50lea rax, [rip+0x192471]
001a7c57jmp 0x195ab0
001a7c20
001a7c20Stdlib.Bytes.rindex_from:
001a7c20cmp rbx, -1
001a7c24jl 0x1a7c50
001a7c26mov rsi, [rax-8]
001a7c2ashr rsi, 10
001a7c2elea rsi, [8*rsi-1]
001a7c36movzx rdx, [rax+rsi]
001a7c3bsub rsi, rdx
001a7c3elea rsi, [rsi+rsi+1]
001a7c43cmp rbx, rsi
001a7c46jge 0x1a7c50
001a7c48jmp 0x1a7ba0
001a7c4d
001a7c4d 0f 1f 00 ...
001a7c50
001a7c50loc_1a7c50:
001a7c50lea rax, [rip+0x192471]
001a7c57jmp 0x195ab0
001a7c20
001a7c5c
001a7c5c // align 0x10
001a7c5c // align 0x10
001a7c60
001a7c60Stdlib.Bytes.rindex_rec_opt:
001a7c60cmp r15, [r14]
001a7c63jbe 0x1a7cb1
001a7c65
001a7c65loc_1a7c65:
001a7c65cmp rbx, 1
001a7c69jge 0x1a7c74
001a7c6bmov eax, 1
001a7c70ret
001a7c71
001a7c71 0f 1f 00 ...
001a7c74
001a7c74loc_1a7c74:
001a7c74mov rsi, rbx
001a7c77sar rsi, 1
001a7c7amovzx rsi, [rax+rsi]
001a7c7flea rsi, [rsi+rsi+1]
001a7c84cmp rsi, rdi
001a7c87jne 0x1a7ca4
001a7c89sub r15, 16
001a7c8dcmp r15, [r14]
001a7c90jb 0x1a7caa
001a7c92
001a7c92loc_1a7c92:
001a7c92lea rax, [r15+8]
001a7c96mov [rax-8], 1024
001a7c9emov [rax], rbx
001a7ca1ret
001a7ca2
001a7ca2 66 90 f.
001a7ca4
001a7ca4loc_1a7ca4:
001a7ca4add rbx, -2
001a7ca8jmp 0x1a7c60
001a7caa
001a7caaloc_1a7caa:
001a7caacall caml_call_gc
001a7cafjmp 0x1a7c92
001a7cb1
001a7cb1loc_1a7cb1:
001a7cb1call caml_call_gc
001a7cb6jmp 0x1a7c65
001a7c60
001a7c60Stdlib.Bytes.rindex_rec_opt:
001a7c60cmp r15, [r14]
001a7c63jbe 0x1a7cb1
001a7c65
001a7c65loc_1a7c65:
001a7c65cmp rbx, 1
001a7c69jge 0x1a7c74
001a7c6bmov eax, 1
001a7c70ret
001a7c71
001a7c71 0f 1f 00 ...
001a7c74
001a7c74loc_1a7c74:
001a7c74mov rsi, rbx
001a7c77sar rsi, 1
001a7c7amovzx rsi, [rax+rsi]
001a7c7flea rsi, [rsi+rsi+1]
001a7c84cmp rsi, rdi
001a7c87jne 0x1a7ca4
001a7c89sub r15, 16
001a7c8dcmp r15, [r14]
001a7c90jb 0x1a7caa
001a7c92
001a7c92loc_1a7c92:
001a7c92lea rax, [r15+8]
001a7c96mov [rax-8], 1024
001a7c9emov [rax], rbx
001a7ca1ret
001a7ca2
001a7ca2 66 90 f.
001a7ca4
001a7ca4loc_1a7ca4:
001a7ca4add rbx, -2
001a7ca8jmp 0x1a7c60
001a7caa
001a7caaloc_1a7caa:
001a7caacall caml_call_gc
001a7cafjmp 0x1a7c92
001a7cb1
001a7cb1loc_1a7cb1:
001a7cb1call caml_call_gc
001a7cb6jmp 0x1a7c65
001a7c60
Loading..