File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001b5770
001b5770Stdlib.Float.entry:
001b5770lea rsi, [rip+0x18acf1]
001b5777lea rdi, [rip+0x18b4b2]
001b577eadd rdi, 160
001b5785mov rbx, rsp
001b5788mov rsp, [r14+64]
001b578ccall caml_initialize
001b5791mov rsp, rbx
001b5794lea rsi, [rip+0x18b93d]
001b579blea rdi, [rip+0x18b48e]
001b57a2mov rbx, rsp
001b57a5mov rsp, [r14+64]
001b57a9call caml_initialize
001b57aemov rsp, rbx
001b57b1lea rsi, [rip+0x18b7d8]
001b57b8lea rdi, [rip+0x18b471]
001b57bfadd rdi, 8
001b57c3mov rbx, rsp
001b57c6mov rsp, [r14+64]
001b57cacall caml_initialize
001b57cfmov rsp, rbx
001b57d2lea rsi, [rip+0x18b77f]
001b57d9lea rdi, [rip+0x18b450]
001b57e0add rdi, 16
001b57e4mov rbx, rsp
001b57e7mov rsp, [r14+64]
001b57ebcall caml_initialize
001b57f0mov rsp, rbx
001b57f3lea rax, [rip+0x177e1e]
001b57famov rsi, [rax+168]
001b5801lea rdi, [rip+0x18b428]
001b5808add rdi, 40
001b580cmov rbx, rsp
001b580fmov rsp, [r14+64]
001b5813call caml_initialize
001b5818mov rsp, rbx
001b581blea rax, [rip+0x177df6]
001b5822mov rsi, [rax+176]
001b5829lea rdi, [rip+0x18b400]
001b5830add rdi, 48
001b5834mov rbx, rsp
001b5837mov rsp, [r14+64]
001b583bcall caml_initialize
001b5840mov rsp, rbx
001b5843lea rax, [rip+0x177dce]
001b584amov rsi, [rax+184]
001b5851lea rdi, [rip+0x18b3d8]
001b5858add rdi, 56
001b585cmov rbx, rsp
001b585fmov rsp, [r14+64]
001b5863call caml_initialize
001b5868mov rsp, rbx
001b586blea rdi, [rip+0x18b3be]
001b5872mov rsi, [rdi+56]
001b5876add rdi, 72
001b587amov rbx, rsp
001b587dmov rsp, [r14+64]
001b5881call caml_initialize
001b5886mov rsp, rbx
001b5889mov rdi, 0x7ff0000000000001
001b5893mov rbx, rsp
001b5896mov rsp, [r14+64]
001b589acall caml_int64_float_of_bits_unboxed
001b589fmov rsp, rbx
001b58a2call caml_alloc1
001b58a7lea rsi, [r15+8]
001b58abmov [rsi-8], 1277
001b58b3movsd_xmm [rsi], x0
001b58b7lea rdi, [rip+0x18b372]
001b58beadd rdi, 64
001b58c2mov rbx, rsp
001b58c5mov rsp, [r14+64]
001b58c9call caml_initialize
001b58cemov rsp, rbx
001b58d1lea rsi, [rip+0x18abb0]
001b58d8lea rdi, [rip+0x18b351]
001b58dfadd rdi, 112
001b58e3mov rbx, rsp
001b58e6mov rsp, [r14+64]
001b58eacall caml_initialize
001b58efmov rsp, rbx
001b58f2lea rsi, [rip+0x18aba7]
001b58f9lea rdi, [rip+0x18b330]
001b5900add rdi, 120
001b5904mov rbx, rsp
001b5907mov rsp, [r14+64]
001b590bcall caml_initialize
001b5910mov rsp, rbx
001b5913lea rsi, [rip+0x18ab9e]
001b591alea rdi, [rip+0x18b30f]
001b5921add rdi, 128
001b5928mov rbx, rsp
001b592bmov rsp, [r14+64]
001b592fcall caml_initialize
001b5934mov rsp, rbx
001b5937lea rsi, [rip+0x18b5f2]
001b593elea rdi, [rip+0x18b2eb]
001b5945add rdi, 80
001b5949mov rbx, rsp
001b594cmov rsp, [r14+64]
001b5950call caml_initialize
001b5955mov rsp, rbx
001b5958lea rax, [rip+0x177cb9]
001b595fmov rsi, [rax+192]
001b5966lea rdi, [rip+0x18b2c3]
001b596dadd rdi, 88
001b5971mov rbx, rsp
001b5974mov rsp, [r14+64]
001b5978call caml_initialize
001b597dmov rsp, rbx
001b5980lea rax, [rip+0x177c91]
001b5987mov rsi, [rax+200]
001b598elea rdi, [rip+0x18b29b]
001b5995add rdi, 96
001b5999mov rbx, rsp
001b599cmov rsp, [r14+64]
001b59a0call caml_initialize
001b59a5mov rsp, rbx
001b59a8lea rax, [rip+0x177c69]
001b59afmov rsi, [rax+208]
001b59b6lea rdi, [rip+0x18b273]
001b59bdadd rdi, 104
001b59c1mov rbx, rsp
001b59c4mov rsp, [r14+64]
001b59c8call caml_initialize
001b59cdmov rsp, rbx
001b59d0lea rax, [rip+0x177c41]
001b59d7mov rsi, [rax+280]
001b59delea rdi, [rip+0x18b24b]
001b59e5add rdi, 144
001b59ecmov rbx, rsp
001b59efmov rsp, [r14+64]
001b59f3call caml_initialize
001b59f8mov rsp, rbx
001b59fblea rax, [rip+0x177c16]
001b5a02mov rsi, [rax+272]
001b5a09lea rdi, [rip+0x18b220]
001b5a10add rdi, 152
001b5a17mov rbx, rsp
001b5a1amov rsp, [r14+64]
001b5a1ecall caml_initialize
001b5a23mov rsp, rbx
001b5a26lea rsi, [rip+0x18aaa3]
001b5a2dlea rdi, [rip+0x18b1fc]
001b5a34add rdi, 136
001b5a3bmov rbx, rsp
001b5a3emov rsp, [r14+64]
001b5a42call caml_initialize
001b5a47mov rsp, rbx
001b5a4alea rsi, [rip+0x18aa97]
001b5a51lea rdi, [rip+0x18b1d8]
001b5a58add rdi, 24
001b5a5cmov rbx, rsp
001b5a5fmov rsp, [r14+64]
001b5a63call caml_initialize
001b5a68mov rsp, rbx
001b5a6blea rsi, [rip+0x18aa8e]
001b5a72lea rdi, [rip+0x18b1b7]
001b5a79add rdi, 32
001b5a7dmov rbx, rsp
001b5a80mov rsp, [r14+64]
001b5a84call caml_initialize
001b5a89mov rsp, rbx
001b5a8clea rsi, [rip+0x18aa85]
001b5a93lea rdi, [rip+0x18b196]
001b5a9aadd rdi, 168
001b5aa1mov rbx, rsp
001b5aa4mov rsp, [r14+64]
001b5aa8call caml_initialize
001b5aadmov rsp, rbx
001b5ab0lea rsi, [rip+0x18aa81]
001b5ab7lea rdi, [rip+0x18b172]
001b5abeadd rdi, 176
001b5ac5mov rbx, rsp
001b5ac8mov rsp, [r14+64]
001b5acccall caml_initialize
001b5ad1mov rsp, rbx
001b5ad4lea rsi, [rip+0x18aa7d]
001b5adblea rdi, [rip+0x18b14e]
001b5ae2add rdi, 184
001b5ae9mov rbx, rsp
001b5aecmov rsp, [r14+64]
001b5af0call caml_initialize
001b5af5mov rsp, rbx
001b5af8lea rsi, [rip+0x18aa79]
001b5afflea rdi, [rip+0x18b12a]
001b5b06add rdi, 192
001b5b0dmov rbx, rsp
001b5b10mov rsp, [r14+64]
001b5b14call caml_initialize
001b5b19mov rsp, rbx
001b5b1clea rsi, [rip+0x18aa75]
001b5b23lea rdi, [rip+0x18b106]
001b5b2aadd rdi, 200
001b5b31mov rbx, rsp
001b5b34mov rsp, [r14+64]
001b5b38call caml_initialize
001b5b3dmov rsp, rbx
001b5b40lea rsi, [rip+0x18aa71]
001b5b47lea rdi, [rip+0x18b0e2]
001b5b4eadd rdi, 208
001b5b55mov rbx, rsp
001b5b58mov rsp, [r14+64]
001b5b5ccall caml_initialize
001b5b61mov rsp, rbx
001b5b64lea rsi, [rip+0x18aa6d]
001b5b6blea rdi, [rip+0x18b0be]
001b5b72add rdi, 216
001b5b79mov rbx, rsp
001b5b7cmov rsp, [r14+64]
001b5b80call caml_initialize
001b5b85mov rsp, rbx
001b5b88lea rsi, [rip+0x18aa69]
001b5b8flea rdi, [rip+0x18b09a]
001b5b96add rdi, 224
001b5b9dmov rbx, rsp
001b5ba0mov rsp, [r14+64]
001b5ba4call caml_initialize
001b5ba9mov rsp, rbx
001b5baclea rsi, [rip+0x18aa65]
001b5bb3lea rdi, [rip+0x18b076]
001b5bbaadd rdi, 232
001b5bc1mov rbx, rsp
001b5bc4mov rsp, [r14+64]
001b5bc8call caml_initialize
001b5bcdmov rsp, rbx
001b5bd0lea rsi, [rip+0x18aa59]
001b5bd7lea rdi, [rip+0x18b052]
001b5bdeadd rdi, 256
001b5be5mov rbx, rsp
001b5be8mov rsp, [r14+64]
001b5beccall caml_initialize
001b5bf1mov rsp, rbx
001b5bf4mov edi, 1
001b5bf9lea rax, [rip+0x43d00]
001b5c00call caml_c_call
001b5c05lea rdi, [rip+0x18b024]
001b5c0cadd rdi, 264
001b5c13mov rsi, rax
001b5c16mov rbx, rsp
001b5c19mov rsp, [r14+64]
001b5c1dcall caml_initialize
001b5c22mov rsp, rbx
001b5c25lea rsi, [rip+0x18aa24]
001b5c2clea rdi, [rip+0x18affd]
001b5c33add rdi, 272
001b5c3amov rbx, rsp
001b5c3dmov rsp, [r14+64]
001b5c41call caml_initialize
001b5c46mov rsp, rbx
001b5c49lea rsi, [rip+0x18aa20]
001b5c50lea rdi, [rip+0x18afd9]
001b5c57add rdi, 280
001b5c5emov rbx, rsp
001b5c61mov rsp, [r14+64]
001b5c65call caml_initialize
001b5c6amov rsp, rbx
001b5c6dlea rsi, [rip+0x18aa1c]
001b5c74lea rdi, [rip+0x18afb5]
001b5c7badd rdi, 288
001b5c82mov rbx, rsp
001b5c85mov rsp, [r14+64]
001b5c89call caml_initialize
001b5c8emov rsp, rbx
001b5c91lea rsi, [rip+0x18aa18]
001b5c98lea rdi, [rip+0x18af91]
001b5c9fadd rdi, 296
001b5ca6mov rbx, rsp
001b5ca9mov rsp, [r14+64]
001b5cadcall caml_initialize
001b5cb2mov rsp, rbx
001b5cb5lea rsi, [rip+0x18aa14]
001b5cbclea rdi, [rip+0x18af6d]
001b5cc3add rdi, 304
001b5ccamov rbx, rsp
001b5ccdmov rsp, [r14+64]
001b5cd1call caml_initialize
001b5cd6mov rsp, rbx
001b5cd9lea rsi, [rip+0x18aa10]
001b5ce0lea rdi, [rip+0x18af49]
001b5ce7add rdi, 312
001b5ceemov rbx, rsp
001b5cf1mov rsp, [r14+64]
001b5cf5call caml_initialize
001b5cfamov rsp, rbx
001b5cfdlea rsi, [rip+0x18aa04]
001b5d04lea rdi, [rip+0x18af25]
001b5d0badd rdi, 320
001b5d12mov rbx, rsp
001b5d15mov rsp, [r14+64]
001b5d19call caml_initialize
001b5d1emov rsp, rbx
001b5d21lea rsi, [rip+0x18aa00]
001b5d28lea rdi, [rip+0x18af01]
001b5d2fadd rdi, 328
001b5d36mov rbx, rsp
001b5d39mov rsp, [r14+64]
001b5d3dcall caml_initialize
001b5d42mov rsp, rbx
001b5d45lea rsi, [rip+0x18a9f4]
001b5d4clea rdi, [rip+0x18aedd]
001b5d53add rdi, 336
001b5d5amov rbx, rsp
001b5d5dmov rsp, [r14+64]
001b5d61call caml_initialize
001b5d66mov rsp, rbx
001b5d69lea rsi, [rip+0x18a9f0]
001b5d70lea rdi, [rip+0x18aeb9]
001b5d77add rdi, 344
001b5d7emov rbx, rsp
001b5d81mov rsp, [r14+64]
001b5d85call caml_initialize
001b5d8amov rsp, rbx
001b5d8dlea rsi, [rip+0x18a9ec]
001b5d94lea rdi, [rip+0x18ae95]
001b5d9badd rdi, 352
001b5da2mov rbx, rsp
001b5da5mov rsp, [r14+64]
001b5da9call caml_initialize
001b5daemov rsp, rbx
001b5db1lea rsi, [rip+0x18a9e8]
001b5db8lea rdi, [rip+0x18ae71]
001b5dbfadd rdi, 360
001b5dc6mov rbx, rsp
001b5dc9mov rsp, [r14+64]
001b5dcdcall caml_initialize
001b5dd2mov rsp, rbx
001b5dd5lea rsi, [rip+0x18a9dc]
001b5ddclea rdi, [rip+0x18ae4d]
001b5de3add rdi, 368
001b5deamov rbx, rsp
001b5dedmov rsp, [r14+64]
001b5df1call caml_initialize
001b5df6mov rsp, rbx
001b5df9lea rsi, [rip+0x18a9d0]
001b5e00lea rdi, [rip+0x18ae29]
001b5e07add rdi, 376
001b5e0emov rbx, rsp
001b5e11mov rsp, [r14+64]
001b5e15call caml_initialize
001b5e1amov rsp, rbx
001b5e1dlea rsi, [rip+0x18a9cc]
001b5e24lea rdi, [rip+0x18ae05]
001b5e2badd rdi, 384
001b5e32mov rbx, rsp
001b5e35mov rsp, [r14+64]
001b5e39call caml_initialize
001b5e3emov rsp, rbx
001b5e41lea rsi, [rip+0x18a9c8]
001b5e48lea rdi, [rip+0x18ade1]
001b5e4fadd rdi, 392
001b5e56mov rbx, rsp
001b5e59mov rsp, [r14+64]
001b5e5dcall caml_initialize
001b5e62mov rsp, rbx
001b5e65lea rsi, [rip+0x18a9c4]
001b5e6clea rdi, [rip+0x18adbd]
001b5e73add rdi, 400
001b5e7amov rbx, rsp
001b5e7dmov rsp, [r14+64]
001b5e81call caml_initialize
001b5e86mov rsp, rbx
001b5e89lea rsi, [rip+0x18a9c0]
001b5e90lea rdi, [rip+0x18ad99]
001b5e97add rdi, 408
001b5e9emov rbx, rsp
001b5ea1mov rsp, [r14+64]
001b5ea5call caml_initialize
001b5eaamov rsp, rbx
001b5eadlea rsi, [rip+0x18a9bc]
001b5eb4lea rdi, [rip+0x18ad75]
001b5ebbadd rdi, 416
001b5ec2mov rbx, rsp
001b5ec5mov rsp, [r14+64]
001b5ec9call caml_initialize
001b5ecemov rsp, rbx
001b5ed1lea rsi, [rip+0x18a9b8]
001b5ed8lea rdi, [rip+0x18ad51]
001b5edfadd rdi, 424
001b5ee6mov rbx, rsp
001b5ee9mov rsp, [r14+64]
001b5eedcall caml_initialize
001b5ef2mov rsp, rbx
001b5ef5lea rsi, [rip+0x18a9b4]
001b5efclea rdi, [rip+0x18ad2d]
001b5f03add rdi, 432
001b5f0amov rbx, rsp
001b5f0dmov rsp, [r14+64]
001b5f11call caml_initialize
001b5f16mov rsp, rbx
001b5f19lea rsi, [rip+0x18a9b0]
001b5f20lea rdi, [rip+0x18ad09]
001b5f27add rdi, 440
001b5f2emov rbx, rsp
001b5f31mov rsp, [r14+64]
001b5f35call caml_initialize
001b5f3amov rsp, rbx
001b5f3dlea rsi, [rip+0x18a9ac]
001b5f44lea rdi, [rip+0x18ace5]
001b5f4badd rdi, 448
001b5f52mov rbx, rsp
001b5f55mov rsp, [r14+64]
001b5f59call caml_initialize
001b5f5emov rsp, rbx
001b5f61lea rsi, [rip+0x18a9a8]
001b5f68lea rdi, [rip+0x18acc1]
001b5f6fadd rdi, 456
001b5f76mov rbx, rsp
001b5f79mov rsp, [r14+64]
001b5f7dcall caml_initialize
001b5f82mov rsp, rbx
001b5f85lea rsi, [rip+0x18a9a4]
001b5f8clea rdi, [rip+0x18ac9d]
001b5f93add rdi, 464
001b5f9amov rbx, rsp
001b5f9dmov rsp, [r14+64]
001b5fa1call caml_initialize
001b5fa6mov rsp, rbx
001b5fa9lea rsi, [rip+0x18a9a0]
001b5fb0lea rdi, [rip+0x18ac79]
001b5fb7add rdi, 472
001b5fbemov rbx, rsp
001b5fc1mov rsp, [r14+64]
001b5fc5call caml_initialize
001b5fcamov rsp, rbx
001b5fcdlea rsi, [rip+0x18a99c]
001b5fd4lea rdi, [rip+0x18ac55]
001b5fdbadd rdi, 480
001b5fe2mov rbx, rsp
001b5fe5mov rsp, [r14+64]
001b5fe9call caml_initialize
001b5feemov rsp, rbx
001b5ff1lea rsi, [rip+0x18a998]
001b5ff8lea rdi, [rip+0x18ac31]
001b5fffadd rdi, 488
001b6006mov rbx, rsp
001b6009mov rsp, [r14+64]
001b600dcall caml_initialize
001b6012mov rsp, rbx
001b6015lea rsi, [rip+0x18a994]
001b601clea rdi, [rip+0x18ac0d]
001b6023add rdi, 496
001b602amov rbx, rsp
001b602dmov rsp, [r14+64]
001b6031call caml_initialize
001b6036mov rsp, rbx
001b6039lea rsi, [rip+0x18a990]
001b6040lea rdi, [rip+0x18abe9]
001b6047add rdi, 504
001b604emov rbx, rsp
001b6051mov rsp, [r14+64]
001b6055call caml_initialize
001b605amov rsp, rbx
001b605dlea rsi, [rip+0x18a98c]
001b6064lea rdi, [rip+0x18abc5]
001b606badd rdi, 512
001b6072mov rbx, rsp
001b6075mov rsp, [r14+64]
001b6079call caml_initialize
001b607emov rsp, rbx
001b6081mov edi, 1
001b6086mov rbx, rsp
001b6089mov rsp, [r14+64]
001b608dcall caml_fresh_oo_id
001b6092mov rsp, rbx
001b6095call caml_alloc2
001b609alea rsi, [r15+8]
001b609emov [rsi-8], 2296
001b60a6lea rbx, [rip+0x18aef3]
001b60admov [rsi], rbx
001b60b0mov [rsi+8], rax
001b60b4lea rdi, [rip+0x18ab75]
001b60bbadd rdi, 520
001b60c2mov rbx, rsp
001b60c5mov rsp, [r14+64]
001b60c9call caml_initialize
001b60cemov rsp, rbx
001b60d1lea rsi, [rip+0x18a938]
001b60d8lea rdi, [rip+0x18ab51]
001b60dfadd rdi, 528
001b60e6mov rbx, rsp
001b60e9mov rsp, [r14+64]
001b60edcall caml_initialize
001b60f2mov rsp, rbx
001b60f5mov esi, 11
001b60falea rdi, [rip+0x18ab2f]
001b6101add rdi, 536
001b6108mov rbx, rsp
001b610bmov rsp, [r14+64]
001b610fcall caml_initialize
001b6114mov rsp, rbx
001b6117lea rsi, [rip+0x18a912]
001b611elea rdi, [rip+0x18ab0b]
001b6125add rdi, 544
001b612cmov rbx, rsp
001b612fmov rsp, [r14+64]
001b6133call caml_initialize
001b6138mov rsp, rbx
001b613blea rdi, [rip+0x18aaee]
001b6142mov rsi, [rdi+544]
001b6149add rdi, 552
001b6150mov rbx, rsp
001b6153mov rsp, [r14+64]
001b6157call caml_initialize
001b615cmov rsp, rbx
001b615flea rsi, [rip+0x18a8ea]
001b6166lea rdi, [rip+0x18aac3]
001b616dadd rdi, 560
001b6174mov rbx, rsp
001b6177mov rsp, [r14+64]
001b617bcall caml_initialize
001b6180mov rsp, rbx
001b6183lea rsi, [rip+0x18a8e6]
001b618alea rdi, [rip+0x18aa9f]
001b6191add rdi, 568
001b6198mov rbx, rsp
001b619bmov rsp, [r14+64]
001b619fcall caml_initialize
001b61a4mov rsp, rbx
001b61a7lea rsi, [rip+0x18a8da]
001b61aelea rdi, [rip+0x18aa7b]
001b61b5add rdi, 576
001b61bcmov rbx, rsp
001b61bfmov rsp, [r14+64]
001b61c3call caml_initialize
001b61c8mov rsp, rbx
001b61cblea rsi, [rip+0x18a8ce]
001b61d2lea rdi, [rip+0x18aa57]
001b61d9add rdi, 584
001b61e0mov rbx, rsp
001b61e3mov rsp, [r14+64]
001b61e7call caml_initialize
001b61ecmov rsp, rbx
001b61eflea rsi, [rip+0x18a8c2]
001b61f6lea rdi, [rip+0x18aa33]
001b61fdadd rdi, 592
001b6204mov rbx, rsp
001b6207mov rsp, [r14+64]
001b620bcall caml_initialize
001b6210mov rsp, rbx
001b6213lea rsi, [rip+0x18a8b6]
001b621alea rdi, [rip+0x18aa0f]
001b6221add rdi, 600
001b6228mov rbx, rsp
001b622bmov rsp, [r14+64]
001b622fcall caml_initialize
001b6234mov rsp, rbx
001b6237lea rsi, [rip+0x18a8b2]
001b623elea rdi, [rip+0x18a9eb]
001b6245add rdi, 608
001b624cmov rbx, rsp
001b624fmov rsp, [r14+64]
001b6253call caml_initialize
001b6258mov rsp, rbx
001b625bsub r15, 720
001b6262call caml_allocN
001b6267lea r12, [r15+8]
001b626badd r12, 352
001b6272mov [r12-8], 46080
001b627blea rdi, [rip+0x18a9ae]
001b6282mov rax, [rdi+256]
001b6289mov [r12], rax
001b628dmov rax, [rdi+264]
001b6294mov [r12+8], rax
001b6299mov rax, [rdi+272]
001b62a0mov [r12+16], rax
001b62a5mov rax, [rdi+280]
001b62acmov [r12+24], rax
001b62b1mov rax, [rdi+288]
001b62b8mov [r12+32], rax
001b62bdmov rax, [rdi+296]
001b62c4mov [r12+40], rax
001b62c9mov rax, [rdi+304]
001b62d0mov [r12+48], rax
001b62d5mov rax, [rdi+312]
001b62dcmov [r12+56], rax
001b62e1mov rax, [rdi+320]
001b62e8mov [r12+64], rax
001b62edmov rax, [rdi+328]
001b62f4mov [r12+72], rax
001b62f9mov rax, [rdi+336]
001b6300mov [r12+80], rax
001b6305mov rax, [rdi+344]
001b630cmov [r12+88], rax
001b6311mov rax, [rdi+352]
001b6318mov [r12+96], rax
001b631dmov rax, [rdi+360]
001b6324mov [r12+104], rax
001b6329mov rax, [rdi+368]
001b6330mov [r12+112], rax
001b6335mov rax, [rdi+376]
001b633cmov [r12+120], rax
001b6341mov rax, [rdi+384]
001b6348mov [r12+128], rax
001b6350mov rax, [rdi+392]
001b6357mov [r12+136], rax
001b635fmov rax, [rdi+400]
001b6366mov [r12+144], rax
001b636emov rax, [rdi+408]
001b6375mov [r12+152], rax
001b637dmov rax, [rdi+416]
001b6384mov [r12+160], rax
001b638cmov rax, [rdi+424]
001b6393mov [r12+168], rax
001b639bmov rax, [rdi+432]
001b63a2mov [r12+176], rax
001b63aamov rax, [rdi+440]
001b63b1mov [r12+184], rax
001b63b9mov rax, [rdi+448]
001b63c0mov [r12+192], rax
001b63c8mov rax, [rdi+456]
001b63cfmov [r12+200], rax
001b63d7mov rax, [rdi+464]
001b63demov [r12+208], rax
001b63e6mov rax, [rdi+472]
001b63edmov [r12+216], rax
001b63f5mov rax, [rdi+480]
001b63fcmov [r12+224], rax
001b6404mov rax, [rdi+488]
001b640bmov [r12+232], rax
001b6413mov rax, [rdi+496]
001b641amov [r12+240], rax
001b6422mov rax, [rdi+504]
001b6429mov [r12+248], rax
001b6431mov rax, [rdi+512]
001b6438mov [r12+256], rax
001b6440mov rax, [rdi+520]
001b6447mov [r12+264], rax
001b644fmov rax, [rdi+528]
001b6456mov [r12+272], rax
001b645emov [r12+280], 11
001b646amov rax, [rdi+544]
001b6471mov [r12+288], rax
001b6479mov rax, [rdi+552]
001b6480mov [r12+296], rax
001b6488mov rax, [rdi+560]
001b648fmov [r12+304], rax
001b6497mov rax, [rdi+568]
001b649emov [r12+312], rax
001b64a6mov rax, [rdi+576]
001b64admov [r12+320], rax
001b64b5mov rax, [rdi+584]
001b64bcmov [r12+328], rax
001b64c4mov rax, [rdi+592]
001b64cbmov [r12+336], rax
001b64d3mov rax, [rdi+600]
001b64damov [r12+344], rax
001b64e2mov rax, [rdi+608]
001b64e9mov [r12+352], rax
001b64f1lea rsi, [r12-352]
001b64f9mov [rsi-8], 44032
001b6501lea rax, [rip+0x18a680]
001b6508mov [rsi], rax
001b650blea rax, [rip+0x18a656]
001b6512mov [rsi+8], rax
001b6516lea rax, [rip+0x18a62b]
001b651dmov [rsi+16], rax
001b6521lea rax, [rip+0x18a600]
001b6528mov [rsi+24], rax
001b652clea rax, [rip+0x18a5dd]
001b6533mov [rsi+32], rax
001b6537mov rax, [r12+16]
001b653cmov [rsi+40], rax
001b6540mov rax, [r12+24]
001b6545mov [rsi+48], rax
001b6549mov rax, [r12+32]
001b654emov [rsi+56], rax
001b6552mov rax, [r12+80]
001b6557mov [rsi+64], rax
001b655bmov rax, [r12+56]
001b6560mov [rsi+72], rax
001b6564mov rax, [r12+64]
001b6569mov [rsi+80], rax
001b656dmov rax, [r12+72]
001b6572mov [rsi+88], rax
001b6576mov rax, [r12+88]
001b657bmov [rsi+96], rax
001b657fmov rax, [r12+96]
001b6584mov [rsi+104], rax
001b6588mov rax, [r12+104]
001b658dmov [rsi+112], rax
001b6591mov rax, [r12+112]
001b6596mov [rsi+120], rax
001b659amov rax, [r12+120]
001b659fmov [rsi+128], rax
001b65a6mov rax, [r12+160]
001b65aemov [rsi+136], rax
001b65b5mov rax, [r12+136]
001b65bdmov [rsi+144], rax
001b65c4mov rax, [r12+144]
001b65ccmov [rsi+152], rax
001b65d3mov rax, [r12+168]
001b65dbmov [rsi+160], rax
001b65e2mov rax, [r12+176]
001b65eamov [rsi+168], rax
001b65f1mov rax, [r12+184]
001b65f9mov [rsi+176], rax
001b6600mov rax, [r12+192]
001b6608mov [rsi+184], rax
001b660fmov rax, [r12+128]
001b6617mov [rsi+192], rax
001b661emov rax, [r12+152]
001b6626mov [rsi+200], rax
001b662dmov rax, [r12+208]
001b6635mov [rsi+208], rax
001b663cmov rax, [r12+200]
001b6644mov [rsi+216], rax
001b664bmov rax, [r12+216]
001b6653mov [rsi+224], rax
001b665amov rax, [r12+224]
001b6662mov [rsi+232], rax
001b6669mov rax, [r12+232]
001b6671mov [rsi+240], rax
001b6678mov rax, [r12+240]
001b6680mov [rsi+248], rax
001b6687mov rax, [r12+248]
001b668fmov [rsi+256], rax
001b6696mov rax, [r12+256]
001b669emov [rsi+264], rax
001b66a5mov rax, [r12+272]
001b66admov [rsi+272], rax
001b66b4mov rax, [r12+288]
001b66bcmov [rsi+280], rax
001b66c3mov rax, [r12+296]
001b66cbmov [rsi+288], rax
001b66d2mov rax, [r12+304]
001b66damov [rsi+296], rax
001b66e1mov rax, [r12+312]
001b66e9mov [rsi+304], rax
001b66f0mov rax, [r12+320]
001b66f8mov [rsi+312], rax
001b66ffmov rax, [r12+336]
001b6707mov [rsi+320], rax
001b670emov rax, [r12+344]
001b6716mov [rsi+328], rax
001b671dmov rax, [r12+352]
001b6725mov [rsi+336], rax
001b672cadd rdi, 240
001b6733mov rbx, rsp
001b6736mov rsp, [r14+64]
001b673acall caml_initialize
001b673fmov rsp, rbx
001b6742sub r15, 352
001b6749call caml_allocN
001b674elea rsi, [r15+8]
001b6752mov [rsi-8], 44032
001b675alea rax, [rip+0x18a4b7]
001b6761mov [rsi], rax
001b6764lea rax, [rip+0x18a48d]
001b676bmov [rsi+8], rax
001b676flea rax, [rip+0x18a462]
001b6776mov [rsi+16], rax
001b677alea rax, [rip+0x18a437]
001b6781mov [rsi+24], rax
001b6785lea rax, [rip+0x18a414]
001b678cmov [rsi+32], rax
001b6790mov rax, [r12+16]
001b6795mov [rsi+40], rax
001b6799mov rax, [r12+24]
001b679emov [rsi+48], rax
001b67a2mov rax, [r12+32]
001b67a7mov [rsi+56], rax
001b67abmov rax, [r12+80]
001b67b0mov [rsi+64], rax
001b67b4mov rax, [r12+56]
001b67b9mov [rsi+72], rax
001b67bdmov rax, [r12+64]
001b67c2mov [rsi+80], rax
001b67c6mov rax, [r12+72]
001b67cbmov [rsi+88], rax
001b67cfmov rax, [r12+88]
001b67d4mov [rsi+96], rax
001b67d8mov rax, [r12+96]
001b67ddmov [rsi+104], rax
001b67e1mov rax, [r12+104]
001b67e6mov [rsi+112], rax
001b67eamov rax, [r12+112]
001b67efmov [rsi+120], rax
001b67f3mov rax, [r12+120]
001b67f8mov [rsi+128], rax
001b67ffmov rax, [r12+160]
001b6807mov [rsi+136], rax
001b680emov rax, [r12+136]
001b6816mov [rsi+144], rax
001b681dmov rax, [r12+144]
001b6825mov [rsi+152], rax
001b682cmov rax, [r12+168]
001b6834mov [rsi+160], rax
001b683bmov rax, [r12+176]
001b6843mov [rsi+168], rax
001b684amov rax, [r12+184]
001b6852mov [rsi+176], rax
001b6859mov rax, [r12+192]
001b6861mov [rsi+184], rax
001b6868mov rax, [r12+128]
001b6870mov [rsi+192], rax
001b6877mov rax, [r12+152]
001b687fmov [rsi+200], rax
001b6886mov rax, [r12+208]
001b688emov [rsi+208], rax
001b6895mov rax, [r12+200]
001b689dmov [rsi+216], rax
001b68a4mov rax, [r12+216]
001b68acmov [rsi+224], rax
001b68b3mov rax, [r12+224]
001b68bbmov [rsi+232], rax
001b68c2mov rax, [r12+232]
001b68camov [rsi+240], rax
001b68d1mov rax, [r12+240]
001b68d9mov [rsi+248], rax
001b68e0mov rax, [r12+248]
001b68e8mov [rsi+256], rax
001b68efmov rax, [r12+256]
001b68f7mov [rsi+264], rax
001b68femov rax, [r12+272]
001b6906mov [rsi+272], rax
001b690dmov rax, [r12+288]
001b6915mov [rsi+280], rax
001b691cmov rax, [r12+296]
001b6924mov [rsi+288], rax
001b692bmov rax, [r12+304]
001b6933mov [rsi+296], rax
001b693amov rax, [r12+312]
001b6942mov [rsi+304], rax
001b6949mov rax, [r12+320]
001b6951mov [rsi+312], rax
001b6958mov rax, [r12+336]
001b6960mov [rsi+320], rax
001b6967mov rax, [r12+344]
001b696fmov [rsi+328], rax
001b6976mov rax, [r12+352]
001b697emov [rsi+336], rax
001b6985lea rdi, [rip+0x18a2a4]
001b698cadd rdi, 248
001b6993mov rbx, rsp
001b6996mov rsp, [r14+64]
001b699acall caml_initialize
001b699fmov rsp, rbx
001b69a2mov eax, 1
001b69a7ret
001b5770
001b5770Stdlib.Float.entry:
001b5770lea rsi, [rip+0x18acf1]
001b5777lea rdi, [rip+0x18b4b2]
001b577eadd rdi, 160
001b5785mov rbx, rsp
001b5788mov rsp, [r14+64]
001b578ccall caml_initialize
001b5791mov rsp, rbx
001b5794lea rsi, [rip+0x18b93d]
001b579blea rdi, [rip+0x18b48e]
001b57a2mov rbx, rsp
001b57a5mov rsp, [r14+64]
001b57a9call caml_initialize
001b57aemov rsp, rbx
001b57b1lea rsi, [rip+0x18b7d8]
001b57b8lea rdi, [rip+0x18b471]
001b57bfadd rdi, 8
001b57c3mov rbx, rsp
001b57c6mov rsp, [r14+64]
001b57cacall caml_initialize
001b57cfmov rsp, rbx
001b57d2lea rsi, [rip+0x18b77f]
001b57d9lea rdi, [rip+0x18b450]
001b57e0add rdi, 16
001b57e4mov rbx, rsp
001b57e7mov rsp, [r14+64]
001b57ebcall caml_initialize
001b57f0mov rsp, rbx
001b57f3lea rax, [rip+0x177e1e]
001b57famov rsi, [rax+168]
001b5801lea rdi, [rip+0x18b428]
001b5808add rdi, 40
001b580cmov rbx, rsp
001b580fmov rsp, [r14+64]
001b5813call caml_initialize
001b5818mov rsp, rbx
001b581blea rax, [rip+0x177df6]
001b5822mov rsi, [rax+176]
001b5829lea rdi, [rip+0x18b400]
001b5830add rdi, 48
001b5834mov rbx, rsp
001b5837mov rsp, [r14+64]
001b583bcall caml_initialize
001b5840mov rsp, rbx
001b5843lea rax, [rip+0x177dce]
001b584amov rsi, [rax+184]
001b5851lea rdi, [rip+0x18b3d8]
001b5858add rdi, 56
001b585cmov rbx, rsp
001b585fmov rsp, [r14+64]
001b5863call caml_initialize
001b5868mov rsp, rbx
001b586blea rdi, [rip+0x18b3be]
001b5872mov rsi, [rdi+56]
001b5876add rdi, 72
001b587amov rbx, rsp
001b587dmov rsp, [r14+64]
001b5881call caml_initialize
001b5886mov rsp, rbx
001b5889mov rdi, 0x7ff0000000000001
001b5893mov rbx, rsp
001b5896mov rsp, [r14+64]
001b589acall caml_int64_float_of_bits_unboxed
001b589fmov rsp, rbx
001b58a2call caml_alloc1
001b58a7lea rsi, [r15+8]
001b58abmov [rsi-8], 1277
001b58b3movsd_xmm [rsi], x0
001b58b7lea rdi, [rip+0x18b372]
001b58beadd rdi, 64
001b58c2mov rbx, rsp
001b58c5mov rsp, [r14+64]
001b58c9call caml_initialize
001b58cemov rsp, rbx
001b58d1lea rsi, [rip+0x18abb0]
001b58d8lea rdi, [rip+0x18b351]
001b58dfadd rdi, 112
001b58e3mov rbx, rsp
001b58e6mov rsp, [r14+64]
001b58eacall caml_initialize
001b58efmov rsp, rbx
001b58f2lea rsi, [rip+0x18aba7]
001b58f9lea rdi, [rip+0x18b330]
001b5900add rdi, 120
001b5904mov rbx, rsp
001b5907mov rsp, [r14+64]
001b590bcall caml_initialize
001b5910mov rsp, rbx
001b5913lea rsi, [rip+0x18ab9e]
001b591alea rdi, [rip+0x18b30f]
001b5921add rdi, 128
001b5928mov rbx, rsp
001b592bmov rsp, [r14+64]
001b592fcall caml_initialize
001b5934mov rsp, rbx
001b5937lea rsi, [rip+0x18b5f2]
001b593elea rdi, [rip+0x18b2eb]
001b5945add rdi, 80
001b5949mov rbx, rsp
001b594cmov rsp, [r14+64]
001b5950call caml_initialize
001b5955mov rsp, rbx
001b5958lea rax, [rip+0x177cb9]
001b595fmov rsi, [rax+192]
001b5966lea rdi, [rip+0x18b2c3]
001b596dadd rdi, 88
001b5971mov rbx, rsp
001b5974mov rsp, [r14+64]
001b5978call caml_initialize
001b597dmov rsp, rbx
001b5980lea rax, [rip+0x177c91]
001b5987mov rsi, [rax+200]
001b598elea rdi, [rip+0x18b29b]
001b5995add rdi, 96
001b5999mov rbx, rsp
001b599cmov rsp, [r14+64]
001b59a0call caml_initialize
001b59a5mov rsp, rbx
001b59a8lea rax, [rip+0x177c69]
001b59afmov rsi, [rax+208]
001b59b6lea rdi, [rip+0x18b273]
001b59bdadd rdi, 104
001b59c1mov rbx, rsp
001b59c4mov rsp, [r14+64]
001b59c8call caml_initialize
001b59cdmov rsp, rbx
001b59d0lea rax, [rip+0x177c41]
001b59d7mov rsi, [rax+280]
001b59delea rdi, [rip+0x18b24b]
001b59e5add rdi, 144
001b59ecmov rbx, rsp
001b59efmov rsp, [r14+64]
001b59f3call caml_initialize
001b59f8mov rsp, rbx
001b59fblea rax, [rip+0x177c16]
001b5a02mov rsi, [rax+272]
001b5a09lea rdi, [rip+0x18b220]
001b5a10add rdi, 152
001b5a17mov rbx, rsp
001b5a1amov rsp, [r14+64]
001b5a1ecall caml_initialize
001b5a23mov rsp, rbx
001b5a26lea rsi, [rip+0x18aaa3]
001b5a2dlea rdi, [rip+0x18b1fc]
001b5a34add rdi, 136
001b5a3bmov rbx, rsp
001b5a3emov rsp, [r14+64]
001b5a42call caml_initialize
001b5a47mov rsp, rbx
001b5a4alea rsi, [rip+0x18aa97]
001b5a51lea rdi, [rip+0x18b1d8]
001b5a58add rdi, 24
001b5a5cmov rbx, rsp
001b5a5fmov rsp, [r14+64]
001b5a63call caml_initialize
001b5a68mov rsp, rbx
001b5a6blea rsi, [rip+0x18aa8e]
001b5a72lea rdi, [rip+0x18b1b7]
001b5a79add rdi, 32
001b5a7dmov rbx, rsp
001b5a80mov rsp, [r14+64]
001b5a84call caml_initialize
001b5a89mov rsp, rbx
001b5a8clea rsi, [rip+0x18aa85]
001b5a93lea rdi, [rip+0x18b196]
001b5a9aadd rdi, 168
001b5aa1mov rbx, rsp
001b5aa4mov rsp, [r14+64]
001b5aa8call caml_initialize
001b5aadmov rsp, rbx
001b5ab0lea rsi, [rip+0x18aa81]
001b5ab7lea rdi, [rip+0x18b172]
001b5abeadd rdi, 176
001b5ac5mov rbx, rsp
001b5ac8mov rsp, [r14+64]
001b5acccall caml_initialize
001b5ad1mov rsp, rbx
001b5ad4lea rsi, [rip+0x18aa7d]
001b5adblea rdi, [rip+0x18b14e]
001b5ae2add rdi, 184
001b5ae9mov rbx, rsp
001b5aecmov rsp, [r14+64]
001b5af0call caml_initialize
001b5af5mov rsp, rbx
001b5af8lea rsi, [rip+0x18aa79]
001b5afflea rdi, [rip+0x18b12a]
001b5b06add rdi, 192
001b5b0dmov rbx, rsp
001b5b10mov rsp, [r14+64]
001b5b14call caml_initialize
001b5b19mov rsp, rbx
001b5b1clea rsi, [rip+0x18aa75]
001b5b23lea rdi, [rip+0x18b106]
001b5b2aadd rdi, 200
001b5b31mov rbx, rsp
001b5b34mov rsp, [r14+64]
001b5b38call caml_initialize
001b5b3dmov rsp, rbx
001b5b40lea rsi, [rip+0x18aa71]
001b5b47lea rdi, [rip+0x18b0e2]
001b5b4eadd rdi, 208
001b5b55mov rbx, rsp
001b5b58mov rsp, [r14+64]
001b5b5ccall caml_initialize
001b5b61mov rsp, rbx
001b5b64lea rsi, [rip+0x18aa6d]
001b5b6blea rdi, [rip+0x18b0be]
001b5b72add rdi, 216
001b5b79mov rbx, rsp
001b5b7cmov rsp, [r14+64]
001b5b80call caml_initialize
001b5b85mov rsp, rbx
001b5b88lea rsi, [rip+0x18aa69]
001b5b8flea rdi, [rip+0x18b09a]
001b5b96add rdi, 224
001b5b9dmov rbx, rsp
001b5ba0mov rsp, [r14+64]
001b5ba4call caml_initialize
001b5ba9mov rsp, rbx
001b5baclea rsi, [rip+0x18aa65]
001b5bb3lea rdi, [rip+0x18b076]
001b5bbaadd rdi, 232
001b5bc1mov rbx, rsp
001b5bc4mov rsp, [r14+64]
001b5bc8call caml_initialize
001b5bcdmov rsp, rbx
001b5bd0lea rsi, [rip+0x18aa59]
001b5bd7lea rdi, [rip+0x18b052]
001b5bdeadd rdi, 256
001b5be5mov rbx, rsp
001b5be8mov rsp, [r14+64]
001b5beccall caml_initialize
001b5bf1mov rsp, rbx
001b5bf4mov edi, 1
001b5bf9lea rax, [rip+0x43d00]
001b5c00call caml_c_call
001b5c05lea rdi, [rip+0x18b024]
001b5c0cadd rdi, 264
001b5c13mov rsi, rax
001b5c16mov rbx, rsp
001b5c19mov rsp, [r14+64]
001b5c1dcall caml_initialize
001b5c22mov rsp, rbx
001b5c25lea rsi, [rip+0x18aa24]
001b5c2clea rdi, [rip+0x18affd]
001b5c33add rdi, 272
001b5c3amov rbx, rsp
001b5c3dmov rsp, [r14+64]
001b5c41call caml_initialize
001b5c46mov rsp, rbx
001b5c49lea rsi, [rip+0x18aa20]
001b5c50lea rdi, [rip+0x18afd9]
001b5c57add rdi, 280
001b5c5emov rbx, rsp
001b5c61mov rsp, [r14+64]
001b5c65call caml_initialize
001b5c6amov rsp, rbx
001b5c6dlea rsi, [rip+0x18aa1c]
001b5c74lea rdi, [rip+0x18afb5]
001b5c7badd rdi, 288
001b5c82mov rbx, rsp
001b5c85mov rsp, [r14+64]
001b5c89call caml_initialize
001b5c8emov rsp, rbx
001b5c91lea rsi, [rip+0x18aa18]
001b5c98lea rdi, [rip+0x18af91]
001b5c9fadd rdi, 296
001b5ca6mov rbx, rsp
001b5ca9mov rsp, [r14+64]
001b5cadcall caml_initialize
001b5cb2mov rsp, rbx
001b5cb5lea rsi, [rip+0x18aa14]
001b5cbclea rdi, [rip+0x18af6d]
001b5cc3add rdi, 304
001b5ccamov rbx, rsp
001b5ccdmov rsp, [r14+64]
001b5cd1call caml_initialize
001b5cd6mov rsp, rbx
001b5cd9lea rsi, [rip+0x18aa10]
001b5ce0lea rdi, [rip+0x18af49]
001b5ce7add rdi, 312
001b5ceemov rbx, rsp
001b5cf1mov rsp, [r14+64]
001b5cf5call caml_initialize
001b5cfamov rsp, rbx
001b5cfdlea rsi, [rip+0x18aa04]
001b5d04lea rdi, [rip+0x18af25]
001b5d0badd rdi, 320
001b5d12mov rbx, rsp
001b5d15mov rsp, [r14+64]
001b5d19call caml_initialize
001b5d1emov rsp, rbx
001b5d21lea rsi, [rip+0x18aa00]
001b5d28lea rdi, [rip+0x18af01]
001b5d2fadd rdi, 328
001b5d36mov rbx, rsp
001b5d39mov rsp, [r14+64]
001b5d3dcall caml_initialize
001b5d42mov rsp, rbx
001b5d45lea rsi, [rip+0x18a9f4]
001b5d4clea rdi, [rip+0x18aedd]
001b5d53add rdi, 336
001b5d5amov rbx, rsp
001b5d5dmov rsp, [r14+64]
001b5d61call caml_initialize
001b5d66mov rsp, rbx
001b5d69lea rsi, [rip+0x18a9f0]
001b5d70lea rdi, [rip+0x18aeb9]
001b5d77add rdi, 344
001b5d7emov rbx, rsp
001b5d81mov rsp, [r14+64]
001b5d85call caml_initialize
001b5d8amov rsp, rbx
001b5d8dlea rsi, [rip+0x18a9ec]
001b5d94lea rdi, [rip+0x18ae95]
001b5d9badd rdi, 352
001b5da2mov rbx, rsp
001b5da5mov rsp, [r14+64]
001b5da9call caml_initialize
001b5daemov rsp, rbx
001b5db1lea rsi, [rip+0x18a9e8]
001b5db8lea rdi, [rip+0x18ae71]
001b5dbfadd rdi, 360
001b5dc6mov rbx, rsp
001b5dc9mov rsp, [r14+64]
001b5dcdcall caml_initialize
001b5dd2mov rsp, rbx
001b5dd5lea rsi, [rip+0x18a9dc]
001b5ddclea rdi, [rip+0x18ae4d]
001b5de3add rdi, 368
001b5deamov rbx, rsp
001b5dedmov rsp, [r14+64]
001b5df1call caml_initialize
001b5df6mov rsp, rbx
001b5df9lea rsi, [rip+0x18a9d0]
001b5e00lea rdi, [rip+0x18ae29]
001b5e07add rdi, 376
001b5e0emov rbx, rsp
001b5e11mov rsp, [r14+64]
001b5e15call caml_initialize
001b5e1amov rsp, rbx
001b5e1dlea rsi, [rip+0x18a9cc]
001b5e24lea rdi, [rip+0x18ae05]
001b5e2badd rdi, 384
001b5e32mov rbx, rsp
001b5e35mov rsp, [r14+64]
001b5e39call caml_initialize
001b5e3emov rsp, rbx
001b5e41lea rsi, [rip+0x18a9c8]
001b5e48lea rdi, [rip+0x18ade1]
001b5e4fadd rdi, 392
001b5e56mov rbx, rsp
001b5e59mov rsp, [r14+64]
001b5e5dcall caml_initialize
001b5e62mov rsp, rbx
001b5e65lea rsi, [rip+0x18a9c4]
001b5e6clea rdi, [rip+0x18adbd]
001b5e73add rdi, 400
001b5e7amov rbx, rsp
001b5e7dmov rsp, [r14+64]
001b5e81call caml_initialize
001b5e86mov rsp, rbx
001b5e89lea rsi, [rip+0x18a9c0]
001b5e90lea rdi, [rip+0x18ad99]
001b5e97add rdi, 408
001b5e9emov rbx, rsp
001b5ea1mov rsp, [r14+64]
001b5ea5call caml_initialize
001b5eaamov rsp, rbx
001b5eadlea rsi, [rip+0x18a9bc]
001b5eb4lea rdi, [rip+0x18ad75]
001b5ebbadd rdi, 416
001b5ec2mov rbx, rsp
001b5ec5mov rsp, [r14+64]
001b5ec9call caml_initialize
001b5ecemov rsp, rbx
001b5ed1lea rsi, [rip+0x18a9b8]
001b5ed8lea rdi, [rip+0x18ad51]
001b5edfadd rdi, 424
001b5ee6mov rbx, rsp
001b5ee9mov rsp, [r14+64]
001b5eedcall caml_initialize
001b5ef2mov rsp, rbx
001b5ef5lea rsi, [rip+0x18a9b4]
001b5efclea rdi, [rip+0x18ad2d]
001b5f03add rdi, 432
001b5f0amov rbx, rsp
001b5f0dmov rsp, [r14+64]
001b5f11call caml_initialize
001b5f16mov rsp, rbx
001b5f19lea rsi, [rip+0x18a9b0]
001b5f20lea rdi, [rip+0x18ad09]
001b5f27add rdi, 440
001b5f2emov rbx, rsp
001b5f31mov rsp, [r14+64]
001b5f35call caml_initialize
001b5f3amov rsp, rbx
001b5f3dlea rsi, [rip+0x18a9ac]
001b5f44lea rdi, [rip+0x18ace5]
001b5f4badd rdi, 448
001b5f52mov rbx, rsp
001b5f55mov rsp, [r14+64]
001b5f59call caml_initialize
001b5f5emov rsp, rbx
001b5f61lea rsi, [rip+0x18a9a8]
001b5f68lea rdi, [rip+0x18acc1]
001b5f6fadd rdi, 456
001b5f76mov rbx, rsp
001b5f79mov rsp, [r14+64]
001b5f7dcall caml_initialize
001b5f82mov rsp, rbx
001b5f85lea rsi, [rip+0x18a9a4]
001b5f8clea rdi, [rip+0x18ac9d]
001b5f93add rdi, 464
001b5f9amov rbx, rsp
001b5f9dmov rsp, [r14+64]
001b5fa1call caml_initialize
001b5fa6mov rsp, rbx
001b5fa9lea rsi, [rip+0x18a9a0]
001b5fb0lea rdi, [rip+0x18ac79]
001b5fb7add rdi, 472
001b5fbemov rbx, rsp
001b5fc1mov rsp, [r14+64]
001b5fc5call caml_initialize
001b5fcamov rsp, rbx
001b5fcdlea rsi, [rip+0x18a99c]
001b5fd4lea rdi, [rip+0x18ac55]
001b5fdbadd rdi, 480
001b5fe2mov rbx, rsp
001b5fe5mov rsp, [r14+64]
001b5fe9call caml_initialize
001b5feemov rsp, rbx
001b5ff1lea rsi, [rip+0x18a998]
001b5ff8lea rdi, [rip+0x18ac31]
001b5fffadd rdi, 488
001b6006mov rbx, rsp
001b6009mov rsp, [r14+64]
001b600dcall caml_initialize
001b6012mov rsp, rbx
001b6015lea rsi, [rip+0x18a994]
001b601clea rdi, [rip+0x18ac0d]
001b6023add rdi, 496
001b602amov rbx, rsp
001b602dmov rsp, [r14+64]
001b6031call caml_initialize
001b6036mov rsp, rbx
001b6039lea rsi, [rip+0x18a990]
001b6040lea rdi, [rip+0x18abe9]
001b6047add rdi, 504
001b604emov rbx, rsp
001b6051mov rsp, [r14+64]
001b6055call caml_initialize
001b605amov rsp, rbx
001b605dlea rsi, [rip+0x18a98c]
001b6064lea rdi, [rip+0x18abc5]
001b606badd rdi, 512
001b6072mov rbx, rsp
001b6075mov rsp, [r14+64]
001b6079call caml_initialize
001b607emov rsp, rbx
001b6081mov edi, 1
001b6086mov rbx, rsp
001b6089mov rsp, [r14+64]
001b608dcall caml_fresh_oo_id
001b6092mov rsp, rbx
001b6095call caml_alloc2
001b609alea rsi, [r15+8]
001b609emov [rsi-8], 2296
001b60a6lea rbx, [rip+0x18aef3]
001b60admov [rsi], rbx
001b60b0mov [rsi+8], rax
001b60b4lea rdi, [rip+0x18ab75]
001b60bbadd rdi, 520
001b60c2mov rbx, rsp
001b60c5mov rsp, [r14+64]
001b60c9call caml_initialize
001b60cemov rsp, rbx
001b60d1lea rsi, [rip+0x18a938]
001b60d8lea rdi, [rip+0x18ab51]
001b60dfadd rdi, 528
001b60e6mov rbx, rsp
001b60e9mov rsp, [r14+64]
001b60edcall caml_initialize
001b60f2mov rsp, rbx
001b60f5mov esi, 11
001b60falea rdi, [rip+0x18ab2f]
001b6101add rdi, 536
001b6108mov rbx, rsp
001b610bmov rsp, [r14+64]
001b610fcall caml_initialize
001b6114mov rsp, rbx
001b6117lea rsi, [rip+0x18a912]
001b611elea rdi, [rip+0x18ab0b]
001b6125add rdi, 544
001b612cmov rbx, rsp
001b612fmov rsp, [r14+64]
001b6133call caml_initialize
001b6138mov rsp, rbx
001b613blea rdi, [rip+0x18aaee]
001b6142mov rsi, [rdi+544]
001b6149add rdi, 552
001b6150mov rbx, rsp
001b6153mov rsp, [r14+64]
001b6157call caml_initialize
001b615cmov rsp, rbx
001b615flea rsi, [rip+0x18a8ea]
001b6166lea rdi, [rip+0x18aac3]
001b616dadd rdi, 560
001b6174mov rbx, rsp
001b6177mov rsp, [r14+64]
001b617bcall caml_initialize
001b6180mov rsp, rbx
001b6183lea rsi, [rip+0x18a8e6]
001b618alea rdi, [rip+0x18aa9f]
001b6191add rdi, 568
001b6198mov rbx, rsp
001b619bmov rsp, [r14+64]
001b619fcall caml_initialize
001b61a4mov rsp, rbx
001b61a7lea rsi, [rip+0x18a8da]
001b61aelea rdi, [rip+0x18aa7b]
001b61b5add rdi, 576
001b61bcmov rbx, rsp
001b61bfmov rsp, [r14+64]
001b61c3call caml_initialize
001b61c8mov rsp, rbx
001b61cblea rsi, [rip+0x18a8ce]
001b61d2lea rdi, [rip+0x18aa57]
001b61d9add rdi, 584
001b61e0mov rbx, rsp
001b61e3mov rsp, [r14+64]
001b61e7call caml_initialize
001b61ecmov rsp, rbx
001b61eflea rsi, [rip+0x18a8c2]
001b61f6lea rdi, [rip+0x18aa33]
001b61fdadd rdi, 592
001b6204mov rbx, rsp
001b6207mov rsp, [r14+64]
001b620bcall caml_initialize
001b6210mov rsp, rbx
001b6213lea rsi, [rip+0x18a8b6]
001b621alea rdi, [rip+0x18aa0f]
001b6221add rdi, 600
001b6228mov rbx, rsp
001b622bmov rsp, [r14+64]
001b622fcall caml_initialize
001b6234mov rsp, rbx
001b6237lea rsi, [rip+0x18a8b2]
001b623elea rdi, [rip+0x18a9eb]
001b6245add rdi, 608
001b624cmov rbx, rsp
001b624fmov rsp, [r14+64]
001b6253call caml_initialize
001b6258mov rsp, rbx
001b625bsub r15, 720
001b6262call caml_allocN
001b6267lea r12, [r15+8]
001b626badd r12, 352
001b6272mov [r12-8], 46080
001b627blea rdi, [rip+0x18a9ae]
001b6282mov rax, [rdi+256]
001b6289mov [r12], rax
001b628dmov rax, [rdi+264]
001b6294mov [r12+8], rax
001b6299mov rax, [rdi+272]
001b62a0mov [r12+16], rax
001b62a5mov rax, [rdi+280]
001b62acmov [r12+24], rax
001b62b1mov rax, [rdi+288]
001b62b8mov [r12+32], rax
001b62bdmov rax, [rdi+296]
001b62c4mov [r12+40], rax
001b62c9mov rax, [rdi+304]
001b62d0mov [r12+48], rax
001b62d5mov rax, [rdi+312]
001b62dcmov [r12+56], rax
001b62e1mov rax, [rdi+320]
001b62e8mov [r12+64], rax
001b62edmov rax, [rdi+328]
001b62f4mov [r12+72], rax
001b62f9mov rax, [rdi+336]
001b6300mov [r12+80], rax
001b6305mov rax, [rdi+344]
001b630cmov [r12+88], rax
001b6311mov rax, [rdi+352]
001b6318mov [r12+96], rax
001b631dmov rax, [rdi+360]
001b6324mov [r12+104], rax
001b6329mov rax, [rdi+368]
001b6330mov [r12+112], rax
001b6335mov rax, [rdi+376]
001b633cmov [r12+120], rax
001b6341mov rax, [rdi+384]
001b6348mov [r12+128], rax
001b6350mov rax, [rdi+392]
001b6357mov [r12+136], rax
001b635fmov rax, [rdi+400]
001b6366mov [r12+144], rax
001b636emov rax, [rdi+408]
001b6375mov [r12+152], rax
001b637dmov rax, [rdi+416]
001b6384mov [r12+160], rax
001b638cmov rax, [rdi+424]
001b6393mov [r12+168], rax
001b639bmov rax, [rdi+432]
001b63a2mov [r12+176], rax
001b63aamov rax, [rdi+440]
001b63b1mov [r12+184], rax
001b63b9mov rax, [rdi+448]
001b63c0mov [r12+192], rax
001b63c8mov rax, [rdi+456]
001b63cfmov [r12+200], rax
001b63d7mov rax, [rdi+464]
001b63demov [r12+208], rax
001b63e6mov rax, [rdi+472]
001b63edmov [r12+216], rax
001b63f5mov rax, [rdi+480]
001b63fcmov [r12+224], rax
001b6404mov rax, [rdi+488]
001b640bmov [r12+232], rax
001b6413mov rax, [rdi+496]
001b641amov [r12+240], rax
001b6422mov rax, [rdi+504]
001b6429mov [r12+248], rax
001b6431mov rax, [rdi+512]
001b6438mov [r12+256], rax
001b6440mov rax, [rdi+520]
001b6447mov [r12+264], rax
001b644fmov rax, [rdi+528]
001b6456mov [r12+272], rax
001b645emov [r12+280], 11
001b646amov rax, [rdi+544]
001b6471mov [r12+288], rax
001b6479mov rax, [rdi+552]
001b6480mov [r12+296], rax
001b6488mov rax, [rdi+560]
001b648fmov [r12+304], rax
001b6497mov rax, [rdi+568]
001b649emov [r12+312], rax
001b64a6mov rax, [rdi+576]
001b64admov [r12+320], rax
001b64b5mov rax, [rdi+584]
001b64bcmov [r12+328], rax
001b64c4mov rax, [rdi+592]
001b64cbmov [r12+336], rax
001b64d3mov rax, [rdi+600]
001b64damov [r12+344], rax
001b64e2mov rax, [rdi+608]
001b64e9mov [r12+352], rax
001b64f1lea rsi, [r12-352]
001b64f9mov [rsi-8], 44032
001b6501lea rax, [rip+0x18a680]
001b6508mov [rsi], rax
001b650blea rax, [rip+0x18a656]
001b6512mov [rsi+8], rax
001b6516lea rax, [rip+0x18a62b]
001b651dmov [rsi+16], rax
001b6521lea rax, [rip+0x18a600]
001b6528mov [rsi+24], rax
001b652clea rax, [rip+0x18a5dd]
001b6533mov [rsi+32], rax
001b6537mov rax, [r12+16]
001b653cmov [rsi+40], rax
001b6540mov rax, [r12+24]
001b6545mov [rsi+48], rax
001b6549mov rax, [r12+32]
001b654emov [rsi+56], rax
001b6552mov rax, [r12+80]
001b6557mov [rsi+64], rax
001b655bmov rax, [r12+56]
001b6560mov [rsi+72], rax
001b6564mov rax, [r12+64]
001b6569mov [rsi+80], rax
001b656dmov rax, [r12+72]
001b6572mov [rsi+88], rax
001b6576mov rax, [r12+88]
001b657bmov [rsi+96], rax
001b657fmov rax, [r12+96]
001b6584mov [rsi+104], rax
001b6588mov rax, [r12+104]
001b658dmov [rsi+112], rax
001b6591mov rax, [r12+112]
001b6596mov [rsi+120], rax
001b659amov rax, [r12+120]
001b659fmov [rsi+128], rax
001b65a6mov rax, [r12+160]
001b65aemov [rsi+136], rax
001b65b5mov rax, [r12+136]
001b65bdmov [rsi+144], rax
001b65c4mov rax, [r12+144]
001b65ccmov [rsi+152], rax
001b65d3mov rax, [r12+168]
001b65dbmov [rsi+160], rax
001b65e2mov rax, [r12+176]
001b65eamov [rsi+168], rax
001b65f1mov rax, [r12+184]
001b65f9mov [rsi+176], rax
001b6600mov rax, [r12+192]
001b6608mov [rsi+184], rax
001b660fmov rax, [r12+128]
001b6617mov [rsi+192], rax
001b661emov rax, [r12+152]
001b6626mov [rsi+200], rax
001b662dmov rax, [r12+208]
001b6635mov [rsi+208], rax
001b663cmov rax, [r12+200]
001b6644mov [rsi+216], rax
001b664bmov rax, [r12+216]
001b6653mov [rsi+224], rax
001b665amov rax, [r12+224]
001b6662mov [rsi+232], rax
001b6669mov rax, [r12+232]
001b6671mov [rsi+240], rax
001b6678mov rax, [r12+240]
001b6680mov [rsi+248], rax
001b6687mov rax, [r12+248]
001b668fmov [rsi+256], rax
001b6696mov rax, [r12+256]
001b669emov [rsi+264], rax
001b66a5mov rax, [r12+272]
001b66admov [rsi+272], rax
001b66b4mov rax, [r12+288]
001b66bcmov [rsi+280], rax
001b66c3mov rax, [r12+296]
001b66cbmov [rsi+288], rax
001b66d2mov rax, [r12+304]
001b66damov [rsi+296], rax
001b66e1mov rax, [r12+312]
001b66e9mov [rsi+304], rax
001b66f0mov rax, [r12+320]
001b66f8mov [rsi+312], rax
001b66ffmov rax, [r12+336]
001b6707mov [rsi+320], rax
001b670emov rax, [r12+344]
001b6716mov [rsi+328], rax
001b671dmov rax, [r12+352]
001b6725mov [rsi+336], rax
001b672cadd rdi, 240
001b6733mov rbx, rsp
001b6736mov rsp, [r14+64]
001b673acall caml_initialize
001b673fmov rsp, rbx
001b6742sub r15, 352
001b6749call caml_allocN
001b674elea rsi, [r15+8]
001b6752mov [rsi-8], 44032
001b675alea rax, [rip+0x18a4b7]
001b6761mov [rsi], rax
001b6764lea rax, [rip+0x18a48d]
001b676bmov [rsi+8], rax
001b676flea rax, [rip+0x18a462]
001b6776mov [rsi+16], rax
001b677alea rax, [rip+0x18a437]
001b6781mov [rsi+24], rax
001b6785lea rax, [rip+0x18a414]
001b678cmov [rsi+32], rax
001b6790mov rax, [r12+16]
001b6795mov [rsi+40], rax
001b6799mov rax, [r12+24]
001b679emov [rsi+48], rax
001b67a2mov rax, [r12+32]
001b67a7mov [rsi+56], rax
001b67abmov rax, [r12+80]
001b67b0mov [rsi+64], rax
001b67b4mov rax, [r12+56]
001b67b9mov [rsi+72], rax
001b67bdmov rax, [r12+64]
001b67c2mov [rsi+80], rax
001b67c6mov rax, [r12+72]
001b67cbmov [rsi+88], rax
001b67cfmov rax, [r12+88]
001b67d4mov [rsi+96], rax
001b67d8mov rax, [r12+96]
001b67ddmov [rsi+104], rax
001b67e1mov rax, [r12+104]
001b67e6mov [rsi+112], rax
001b67eamov rax, [r12+112]
001b67efmov [rsi+120], rax
001b67f3mov rax, [r12+120]
001b67f8mov [rsi+128], rax
001b67ffmov rax, [r12+160]
001b6807mov [rsi+136], rax
001b680emov rax, [r12+136]
001b6816mov [rsi+144], rax
001b681dmov rax, [r12+144]
001b6825mov [rsi+152], rax
001b682cmov rax, [r12+168]
001b6834mov [rsi+160], rax
001b683bmov rax, [r12+176]
001b6843mov [rsi+168], rax
001b684amov rax, [r12+184]
001b6852mov [rsi+176], rax
001b6859mov rax, [r12+192]
001b6861mov [rsi+184], rax
001b6868mov rax, [r12+128]
001b6870mov [rsi+192], rax
001b6877mov rax, [r12+152]
001b687fmov [rsi+200], rax
001b6886mov rax, [r12+208]
001b688emov [rsi+208], rax
001b6895mov rax, [r12+200]
001b689dmov [rsi+216], rax
001b68a4mov rax, [r12+216]
001b68acmov [rsi+224], rax
001b68b3mov rax, [r12+224]
001b68bbmov [rsi+232], rax
001b68c2mov rax, [r12+232]
001b68camov [rsi+240], rax
001b68d1mov rax, [r12+240]
001b68d9mov [rsi+248], rax
001b68e0mov rax, [r12+248]
001b68e8mov [rsi+256], rax
001b68efmov rax, [r12+256]
001b68f7mov [rsi+264], rax
001b68femov rax, [r12+272]
001b6906mov [rsi+272], rax
001b690dmov rax, [r12+288]
001b6915mov [rsi+280], rax
001b691cmov rax, [r12+296]
001b6924mov [rsi+288], rax
001b692bmov rax, [r12+304]
001b6933mov [rsi+296], rax
001b693amov rax, [r12+312]
001b6942mov [rsi+304], rax
001b6949mov rax, [r12+320]
001b6951mov [rsi+312], rax
001b6958mov rax, [r12+336]
001b6960mov [rsi+320], rax
001b6967mov rax, [r12+344]
001b696fmov [rsi+328], rax
001b6976mov rax, [r12+352]
001b697emov [rsi+336], rax
001b6985lea rdi, [rip+0x18a2a4]
001b698cadd rdi, 248
001b6993mov rbx, rsp
001b6996mov rsp, [r14+64]
001b699acall caml_initialize
001b699fmov rsp, rbx
001b69a2mov eax, 1
001b69a7ret
001b5770
001b69a8
001b69a8 // align 0x10
001b69a8 // align 0x10
001b69b0
001b69b0Stdlib.Int32.succ:
001b69b0sub r15, 24
001b69b4cmp r15, [r14]
001b69b7jb 0x1b69e1
001b69b9
001b69b9loc_1b69b9:
001b69b9lea rbx, [r15+8]
001b69bdmov [rbx-8], 2303
001b69c5lea rdi, [rip+0xbeef4]
001b69ccmov [rbx], rdi
001b69cfmovsxd rax, [rax+8]
001b69d3inc rax
001b69d6movsxd rax, eax
001b69d9mov [rbx+8], rax
001b69ddmov rax, rbx
001b69e0ret
001b69e1
001b69e1loc_1b69e1:
001b69e1call caml_call_gc
001b69e6jmp 0x1b69b9
001b69b0
001b69b0Stdlib.Int32.succ:
001b69b0sub r15, 24
001b69b4cmp r15, [r14]
001b69b7jb 0x1b69e1
001b69b9
001b69b9loc_1b69b9:
001b69b9lea rbx, [r15+8]
001b69bdmov [rbx-8], 2303
001b69c5lea rdi, [rip+0xbeef4]
001b69ccmov [rbx], rdi
001b69cfmovsxd rax, [rax+8]
001b69d3inc rax
001b69d6movsxd rax, eax
001b69d9mov [rbx+8], rax
001b69ddmov rax, rbx
001b69e0ret
001b69e1
001b69e1loc_1b69e1:
001b69e1call caml_call_gc
001b69e6jmp 0x1b69b9
001b69b0
001b69e8
001b69e8 // align 0x10
001b69e8 // align 0x10
001b69f0
001b69f0Stdlib.Int32.pred:
001b69f0sub r15, 24
001b69f4cmp r15, [r14]
001b69f7jb 0x1b6a21
001b69f9
001b69f9loc_1b69f9:
001b69f9lea rbx, [r15+8]
001b69fdmov [rbx-8], 2303
001b6a05lea rdi, [rip+0xbeeb4]
001b6a0cmov [rbx], rdi
001b6a0fmovsxd rax, [rax+8]
001b6a13dec rax
001b6a16movsxd rax, eax
001b6a19mov [rbx+8], rax
001b6a1dmov rax, rbx
001b6a20ret
001b6a21
001b6a21loc_1b6a21:
001b6a21call caml_call_gc
001b6a26jmp 0x1b69f9
001b69f0
001b69f0Stdlib.Int32.pred:
001b69f0sub r15, 24
001b69f4cmp r15, [r14]
001b69f7jb 0x1b6a21
001b69f9
001b69f9loc_1b69f9:
001b69f9lea rbx, [r15+8]
001b69fdmov [rbx-8], 2303
001b6a05lea rdi, [rip+0xbeeb4]
001b6a0cmov [rbx], rdi
001b6a0fmovsxd rax, [rax+8]
001b6a13dec rax
001b6a16movsxd rax, eax
001b6a19mov [rbx+8], rax
001b6a1dmov rax, rbx
001b6a20ret
001b6a21
001b6a21loc_1b6a21:
001b6a21call caml_call_gc
001b6a26jmp 0x1b69f9
001b69f0
001b6a28
001b6a28 // align 0x10
001b6a28 // align 0x10
001b6a30
001b6a30Stdlib.Int32.abs:
001b6a30movsxd rbx, [rax+8]
001b6a34cmp rbx, 0
001b6a38jl 0x1b6a3c
001b6a3aret
001b6a3b
001b6a3b 90 .
001b6a3c
001b6a3cloc_1b6a3c:
001b6a3csub r15, 24
001b6a40cmp r15, [r14]
001b6a43jb 0x1b6a68
001b6a45
001b6a45loc_1b6a45:
001b6a45lea rax, [r15+8]
001b6a49mov [rax-8], 2303
001b6a51lea rdi, [rip+0xbee68]
001b6a58mov [rax], rdi
001b6a5bxor edi, edi
001b6a5dsub rdi, rbx
001b6a60movsxd rbx, edi
001b6a63mov [rax+8], rbx
001b6a67ret
001b6a68
001b6a68loc_1b6a68:
001b6a68call caml_call_gc
001b6a6djmp 0x1b6a45
001b6a30
001b6a30Stdlib.Int32.abs:
001b6a30movsxd rbx, [rax+8]
001b6a34cmp rbx, 0
001b6a38jl 0x1b6a3c
001b6a3aret
001b6a3b
001b6a3b 90 .
001b6a3c
001b6a3cloc_1b6a3c:
001b6a3csub r15, 24
001b6a40cmp r15, [r14]
001b6a43jb 0x1b6a68
001b6a45
001b6a45loc_1b6a45:
001b6a45lea rax, [r15+8]
001b6a49mov [rax-8], 2303
001b6a51lea rdi, [rip+0xbee68]
001b6a58mov [rax], rdi
001b6a5bxor edi, edi
001b6a5dsub rdi, rbx
001b6a60movsxd rbx, edi
001b6a63mov [rax+8], rbx
001b6a67ret
001b6a68
001b6a68loc_1b6a68:
001b6a68call caml_call_gc
001b6a6djmp 0x1b6a45
001b6a30
001b6a6f
001b6a6f // align 0x10
001b6a6f // align 0x10
001b6a70
001b6a70Stdlib.Int32.lognot:
001b6a70sub r15, 24
001b6a74cmp r15, [r14]
001b6a77jb 0x1b6aa2
001b6a79
001b6a79loc_1b6a79:
001b6a79lea rbx, [r15+8]
001b6a7dmov [rbx-8], 2303
001b6a85lea rdi, [rip+0xbee34]
001b6a8cmov [rbx], rdi
001b6a8fmovsxd rax, [rax+8]
001b6a93xor rax, -1
001b6a97movsxd rax, eax
001b6a9amov [rbx+8], rax
001b6a9emov rax, rbx
001b6aa1ret
001b6aa2
001b6aa2loc_1b6aa2:
001b6aa2call caml_call_gc
001b6aa7jmp 0x1b6a79
001b6a70
001b6a70Stdlib.Int32.lognot:
001b6a70sub r15, 24
001b6a74cmp r15, [r14]
001b6a77jb 0x1b6aa2
001b6a79
001b6a79loc_1b6a79:
001b6a79lea rbx, [r15+8]
001b6a7dmov [rbx-8], 2303
001b6a85lea rdi, [rip+0xbee34]
001b6a8cmov [rbx], rdi
001b6a8fmovsxd rax, [rax+8]
001b6a93xor rax, -1
001b6a97movsxd rax, eax
001b6a9amov [rbx+8], rax
001b6a9emov rax, rbx
001b6aa1ret
001b6aa2
001b6aa2loc_1b6aa2:
001b6aa2call caml_call_gc
001b6aa7jmp 0x1b6a79
001b6a70
001b6aa9
001b6aa9 // align 0x10
001b6aa9 // align 0x10
001b6ab0
001b6ab0Stdlib.Int32.fun:
001b6ab0sub r15, 16
001b6ab4cmp r15, [r14]
001b6ab7jb 0x1b6ae2
001b6ab9
001b6ab9loc_1b6ab9:
001b6ab9lea rbx, [r15+8]
001b6abdmov [rbx-8], 1024
001b6ac5mov rdi, 0x1ffffffff
001b6acfmovsxd rax, [rax+8]
001b6ad3lea rax, [rax+rax+1]
001b6ad8and rax, rdi
001b6adbmov [rbx], rax
001b6ademov rax, rbx
001b6ae1ret
001b6ae2
001b6ae2loc_1b6ae2:
001b6ae2call caml_call_gc
001b6ae7jmp 0x1b6ab9
001b6ab0
001b6ab0Stdlib.Int32.fun:
001b6ab0sub r15, 16
001b6ab4cmp r15, [r14]
001b6ab7jb 0x1b6ae2
001b6ab9
001b6ab9loc_1b6ab9:
001b6ab9lea rbx, [r15+8]
001b6abdmov [rbx-8], 1024
001b6ac5mov rdi, 0x1ffffffff
001b6acfmovsxd rax, [rax+8]
001b6ad3lea rax, [rax+rax+1]
001b6ad8and rax, rdi
001b6adbmov [rbx], rax
001b6ademov rax, rbx
001b6ae1ret
001b6ae2
001b6ae2loc_1b6ae2:
001b6ae2call caml_call_gc
001b6ae7jmp 0x1b6ab9
001b6ab0
001b6ae9
001b6ae9 // align 0x10
001b6ae9 // align 0x10
001b6af0
001b6af0Stdlib.Int32.to_string:
001b6af0lea rdi, [rip+0x18cd19]
001b6af7mov rsi, rax
001b6afalea rax, [rip+0x56d9f]
001b6b01call caml_c_call
001b6b06ret
001b6af0
001b6af0Stdlib.Int32.to_string:
001b6af0lea rdi, [rip+0x18cd19]
001b6af7mov rsi, rax
001b6afalea rax, [rip+0x56d9f]
001b6b01call caml_c_call
001b6b06ret
001b6af0
001b6b07
001b6b07 // align 0x10
001b6b07 // align 0x10
001b6b10
001b6b10Stdlib.Int32.of_string_opt:
001b6b10lea r11, [rip+61]
001b6b17push r11
001b6b19push [r14+48]
001b6b1dmov [r14+48], rsp
001b6b21mov rdi, rax
001b6b24lea rax, [rip+0x56dd5]
001b6b2bcall caml_c_call
001b6b30sub r15, 16
001b6b34cmp r15, [r14]
001b6b37jb 0x1b6b7c
001b6b39
001b6b39loc_1b6b39:
001b6b39lea rbx, [r15+8]
001b6b3dmov [rbx-8], 1024
001b6b45mov [rbx], rax
001b6b48pop [r14+48]
001b6b4cadd rsp, 8
001b6b50jmp 0x1b6b78
001b6b52
001b6b52 66 90 f.
001b6b54lea rbx, [rip+0x176abd]
001b6b5bmov rbx, [rbx+48]
001b6b5fmov rdi, [rax]
001b6b62cmp rdi, rbx
001b6b65jne 0x1b6b70
001b6b67mov eax, 1
001b6b6cret
001b6b6d
001b6b6d 0f 1f 00 ...
001b6b70
001b6b70loc_1b6b70:
001b6b70call caml_reraise_exn
001b6b75nop [rax]
001b6b78
001b6b78loc_1b6b78:
001b6b78mov rax, rbx
001b6b7bret
001b6b7c
001b6b7cloc_1b6b7c:
001b6b7ccall caml_call_gc
001b6b81jmp 0x1b6b39
001b6b10
001b6b10Stdlib.Int32.of_string_opt:
001b6b10lea r11, [rip+61]
001b6b17push r11
001b6b19push [r14+48]
001b6b1dmov [r14+48], rsp
001b6b21mov rdi, rax
001b6b24lea rax, [rip+0x56dd5]
001b6b2bcall caml_c_call
001b6b30sub r15, 16
001b6b34cmp r15, [r14]
001b6b37jb 0x1b6b7c
001b6b39
001b6b39loc_1b6b39:
001b6b39lea rbx, [r15+8]
001b6b3dmov [rbx-8], 1024
001b6b45mov [rbx], rax
001b6b48pop [r14+48]
001b6b4cadd rsp, 8
001b6b50jmp 0x1b6b78
001b6b52
001b6b52 66 90 f.
001b6b54lea rbx, [rip+0x176abd]
001b6b5bmov rbx, [rbx+48]
001b6b5fmov rdi, [rax]
001b6b62cmp rdi, rbx
001b6b65jne 0x1b6b70
001b6b67mov eax, 1
001b6b6cret
001b6b6d
001b6b6d 0f 1f 00 ...
001b6b70
001b6b70loc_1b6b70:
001b6b70call caml_reraise_exn
001b6b75nop [rax]
001b6b78
001b6b78loc_1b6b78:
001b6b78mov rax, rbx
001b6b7bret
001b6b7c
001b6b7cloc_1b6b7c:
001b6b7ccall caml_call_gc
001b6b81jmp 0x1b6b39
001b6b10
001b6b83
001b6b83 // align 0x10
001b6b83 // align 0x10
001b6b90
001b6b90Stdlib.Int32.compare:
001b6b90movsxd rbx, [rbx+8]
001b6b94movsxd rdi, [rax+8]
001b6b98cmp rdi, rbx
001b6b9bsetl al
001b6b9emovzx rsi, al
001b6ba2cmp rdi, rbx
001b6ba5setg al
001b6ba8movzx rax, al
001b6bacsub rax, rsi
001b6baflea rax, [rax+rax+1]
001b6bb4ret
001b6b90
001b6b90Stdlib.Int32.compare:
001b6b90movsxd rbx, [rbx+8]
001b6b94movsxd rdi, [rax+8]
001b6b98cmp rdi, rbx
001b6b9bsetl al
001b6b9emovzx rsi, al
001b6ba2cmp rdi, rbx
001b6ba5setg al
001b6ba8movzx rax, al
001b6bacsub rax, rsi
001b6baflea rax, [rax+rax+1]
001b6bb4ret
001b6b90
001b6bb5
001b6bb5 // align 0x10
001b6bb5 // align 0x10
001b6bc0
001b6bc0Stdlib.Int32.equal:
001b6bc0movsxd rbx, [rbx+8]
001b6bc4movsxd rax, [rax+8]
001b6bc8cmp rax, rbx
001b6bcbsete al
001b6bcemovzx rax, al
001b6bd2lea rax, [rax+rax+1]
001b6bd7ret
001b6bc0
001b6bc0Stdlib.Int32.equal:
001b6bc0movsxd rbx, [rbx+8]
001b6bc4movsxd rax, [rax+8]
001b6bc8cmp rax, rbx
001b6bcbsete al
001b6bcemovzx rax, al
001b6bd2lea rax, [rax+rax+1]
001b6bd7ret
001b6bc0
001b6bd8
001b6bd8 // align 0x10
001b6bd8 // align 0x10
001b6be0
001b6be0Stdlib.Int32.unsigned_compare:
001b6be0mov edi, 0xffffffff80000000
001b6be5movsxd rbx, [rbx+8]
001b6be9add rbx, rdi
001b6becmov edi, 0xffffffff80000000
001b6bf1movsxd rax, [rax+8]
001b6bf5add rax, rdi
001b6bf8movsxd rbx, ebx
001b6bfbmovsxd rdi, eax
001b6bfecmp rdi, rbx
001b6c01setl al
001b6c04movzx rsi, al
001b6c08cmp rdi, rbx
001b6c0bsetg al
001b6c0emovzx rax, al
001b6c12sub rax, rsi
001b6c15lea rax, [rax+rax+1]
001b6c1aret
001b6be0
001b6be0Stdlib.Int32.unsigned_compare:
001b6be0mov edi, 0xffffffff80000000
001b6be5movsxd rbx, [rbx+8]
001b6be9add rbx, rdi
001b6becmov edi, 0xffffffff80000000
001b6bf1movsxd rax, [rax+8]
001b6bf5add rax, rdi
001b6bf8movsxd rbx, ebx
001b6bfbmovsxd rdi, eax
001b6bfecmp rdi, rbx
001b6c01setl al
001b6c04movzx rsi, al
001b6c08cmp rdi, rbx
001b6c0bsetg al
001b6c0emovzx rax, al
001b6c12sub rax, rsi
001b6c15lea rax, [rax+rax+1]
001b6c1aret
001b6be0
001b6c1b
001b6c1b // align 0x10
001b6c1b // align 0x10
001b6c20
001b6c20Stdlib.Int32.unsigned_lt:
001b6c20mov edi, 0xffffffff80000000
001b6c25movsxd rbx, [rbx+8]
001b6c29add rbx, rdi
001b6c2cmovsxd rbx, ebx
001b6c2fmov edi, 0xffffffff80000000
001b6c34movsxd rax, [rax+8]
001b6c38add rax, rdi
001b6c3bmovsxd rax, eax
001b6c3ecmp rax, rbx
001b6c41setl al
001b6c44movzx rax, al
001b6c48lea rax, [rax+rax+1]
001b6c4dret
001b6c20
001b6c20Stdlib.Int32.unsigned_lt:
001b6c20mov edi, 0xffffffff80000000
001b6c25movsxd rbx, [rbx+8]
001b6c29add rbx, rdi
001b6c2cmovsxd rbx, ebx
001b6c2fmov edi, 0xffffffff80000000
001b6c34movsxd rax, [rax+8]
001b6c38add rax, rdi
001b6c3bmovsxd rax, eax
001b6c3ecmp rax, rbx
001b6c41setl al
001b6c44movzx rax, al
001b6c48lea rax, [rax+rax+1]
001b6c4dret
001b6c20
001b6c4e
001b6c4e // align 0x10
001b6c4e // align 0x10
001b6c50
001b6c50Stdlib.Int32.min:
001b6c50movsxd rdi, [rbx+8]
001b6c54movsxd rsi, [rax+8]
001b6c58cmp rsi, rdi
001b6c5bjg 0x1b6c60
001b6c5dret
001b6c5e
001b6c5e 66 90 f.
001b6c60
001b6c60loc_1b6c60:
001b6c60mov rax, rbx
001b6c63ret
001b6c50
001b6c50Stdlib.Int32.min:
001b6c50movsxd rdi, [rbx+8]
001b6c54movsxd rsi, [rax+8]
001b6c58cmp rsi, rdi
001b6c5bjg 0x1b6c60
001b6c5dret
001b6c5e
001b6c5e 66 90 f.
001b6c60
001b6c60loc_1b6c60:
001b6c60mov rax, rbx
001b6c63ret
001b6c50
001b6c64
001b6c64 // align 0x10
001b6c64 // align 0x10
001b6c70
001b6c70Stdlib.Int32.max:
001b6c70movsxd rdi, [rbx+8]
001b6c74movsxd rsi, [rax+8]
001b6c78cmp rsi, rdi
001b6c7bjl 0x1b6c80
001b6c7dret
001b6c7e
001b6c7e 66 90 f.
001b6c80
001b6c80loc_1b6c80:
001b6c80mov rax, rbx
001b6c83ret
001b6c70
001b6c70Stdlib.Int32.max:
001b6c70movsxd rdi, [rbx+8]
001b6c74movsxd rsi, [rax+8]
001b6c78cmp rsi, rdi
001b6c7bjl 0x1b6c80
001b6c7dret
001b6c7e
001b6c7e 66 90 f.
001b6c80
001b6c80loc_1b6c80:
001b6c80mov rax, rbx
001b6c83ret
001b6c70
001b6c84
001b6c84 // align 0x10
001b6c84 // align 0x10
001b6c90
001b6c90Stdlib.Int32.unsigned_div:
001b6c90mov rsi, rax
001b6c93movsxd rcx, [rbx+8]
001b6c97cmp rcx, 0
001b6c9bjge 0x1b6ccc
001b6c9dmov eax, 0xffffffff80000000
001b6ca2add rcx, rax
001b6ca5movsxd rax, ecx
001b6ca8mov ebx, 0xffffffff80000000
001b6cadmovsxd rdi, [rsi+8]
001b6cb1add rdi, rbx
001b6cb4movsxd rbx, edi
001b6cb7cmp rbx, rax
001b6cbajge 0x1b6cc4
001b6cbclea rax, [rip+0x18cbbd]
001b6cc3ret
001b6cc4
001b6cc4loc_1b6cc4:
001b6cc4lea rax, [rip+0x18cb9d]
001b6ccbret
001b6ccc
001b6cccloc_1b6ccc:
001b6cccmovsxd rax, [rsi+8]
001b6cd0mov eax, eax
001b6cd2shr rax, 1
001b6cd5movsxd rax, eax
001b6cd8test rcx, rcx
001b6cdbje 0x1b6ce4
001b6cddcqo
001b6cdfidiv rcx
001b6ce2jmp 0x1b6cf0
001b6ce4
001b6ce4loc_1b6ce4:
001b6ce4lea rax, [rip+0xbf425]
001b6cebcall caml_raise_exn
001b6cf0
001b6cf0loc_1b6cf0:
001b6cf0mov rdi, rax
001b6cf3shl rdi, 1
001b6cf6movsxd rax, [rbx+8]
001b6cfamov rbx, rdi
001b6cfdimul rbx, rax
001b6d01movsxd rsi, [rsi+8]
001b6d05sub rsi, rbx
001b6d08mov ebx, 0xffffffff80000000
001b6d0dadd rax, rbx
001b6d10movsxd rax, eax
001b6d13mov ebx, 0xffffffff80000000
001b6d18add rsi, rbx
001b6d1bmovsxd rbx, esi
001b6d1ecmp rbx, rax
001b6d21jge 0x1b6d4c
001b6d23sub r15, 24
001b6d27cmp r15, [r14]
001b6d2ajb 0x1b6d7d
001b6d2c
001b6d2cloc_1b6d2c:
001b6d2clea rax, [r15+8]
001b6d30mov [rax-8], 2303
001b6d38lea rbx, [rip+0xbeb81]
001b6d3fmov [rax], rbx
001b6d42movsxd rbx, edi
001b6d45mov [rax+8], rbx
001b6d49ret
001b6d4a
001b6d4a 66 90 f.
001b6d4c
001b6d4cloc_1b6d4c:
001b6d4csub r15, 24
001b6d50cmp r15, [r14]
001b6d53jb 0x1b6d76
001b6d55
001b6d55loc_1b6d55:
001b6d55lea rax, [r15+8]
001b6d59mov [rax-8], 2303
001b6d61lea rbx, [rip+0xbeb58]
001b6d68mov [rax], rbx
001b6d6binc rdi
001b6d6emovsxd rbx, edi
001b6d71mov [rax+8], rbx
001b6d75ret
001b6d76
001b6d76loc_1b6d76:
001b6d76call caml_call_gc
001b6d7bjmp 0x1b6d55
001b6d7d
001b6d7dloc_1b6d7d:
001b6d7dcall caml_call_gc
001b6d82jmp 0x1b6d2c
001b6c90
001b6c90Stdlib.Int32.unsigned_div:
001b6c90mov rsi, rax
001b6c93movsxd rcx, [rbx+8]
001b6c97cmp rcx, 0
001b6c9bjge 0x1b6ccc
001b6c9dmov eax, 0xffffffff80000000
001b6ca2add rcx, rax
001b6ca5movsxd rax, ecx
001b6ca8mov ebx, 0xffffffff80000000
001b6cadmovsxd rdi, [rsi+8]
001b6cb1add rdi, rbx
001b6cb4movsxd rbx, edi
001b6cb7cmp rbx, rax
001b6cbajge 0x1b6cc4
001b6cbclea rax, [rip+0x18cbbd]
001b6cc3ret
001b6cc4
001b6cc4loc_1b6cc4:
001b6cc4lea rax, [rip+0x18cb9d]
001b6ccbret
001b6ccc
001b6cccloc_1b6ccc:
001b6cccmovsxd rax, [rsi+8]
001b6cd0mov eax, eax
001b6cd2shr rax, 1
001b6cd5movsxd rax, eax
001b6cd8test rcx, rcx
001b6cdbje 0x1b6ce4
001b6cddcqo
001b6cdfidiv rcx
001b6ce2jmp 0x1b6cf0
001b6ce4
001b6ce4loc_1b6ce4:
001b6ce4lea rax, [rip+0xbf425]
001b6cebcall caml_raise_exn
001b6cf0
001b6cf0loc_1b6cf0:
001b6cf0mov rdi, rax
001b6cf3shl rdi, 1
001b6cf6movsxd rax, [rbx+8]
001b6cfamov rbx, rdi
001b6cfdimul rbx, rax
001b6d01movsxd rsi, [rsi+8]
001b6d05sub rsi, rbx
001b6d08mov ebx, 0xffffffff80000000
001b6d0dadd rax, rbx
001b6d10movsxd rax, eax
001b6d13mov ebx, 0xffffffff80000000
001b6d18add rsi, rbx
001b6d1bmovsxd rbx, esi
001b6d1ecmp rbx, rax
001b6d21jge 0x1b6d4c
001b6d23sub r15, 24
001b6d27cmp r15, [r14]
001b6d2ajb 0x1b6d7d
001b6d2c
001b6d2cloc_1b6d2c:
001b6d2clea rax, [r15+8]
001b6d30mov [rax-8], 2303
001b6d38lea rbx, [rip+0xbeb81]
001b6d3fmov [rax], rbx
001b6d42movsxd rbx, edi
001b6d45mov [rax+8], rbx
001b6d49ret
001b6d4a
001b6d4a 66 90 f.
001b6d4c
001b6d4cloc_1b6d4c:
001b6d4csub r15, 24
001b6d50cmp r15, [r14]
001b6d53jb 0x1b6d76
001b6d55
001b6d55loc_1b6d55:
001b6d55lea rax, [r15+8]
001b6d59mov [rax-8], 2303
001b6d61lea rbx, [rip+0xbeb58]
001b6d68mov [rax], rbx
001b6d6binc rdi
001b6d6emovsxd rbx, edi
001b6d71mov [rax+8], rbx
001b6d75ret
001b6d76
001b6d76loc_1b6d76:
001b6d76call caml_call_gc
001b6d7bjmp 0x1b6d55
001b6d7d
001b6d7dloc_1b6d7d:
001b6d7dcall caml_call_gc
001b6d82jmp 0x1b6d2c
001b6c90
001b6d84
001b6d84 // align 0x10
001b6d84 // align 0x10
001b6d90
001b6d90Stdlib.Int32.unsigned_rem:
001b6d90lea r10, [rsp-336]
001b6d98cmp r10, [r14+40]
001b6d9cjb 0x1b6e06
001b6d9e
001b6d9eloc_1b6d9e:
001b6d9esub rsp, 16
001b6da2mov [rsp+8], rax
001b6da7mov [rsp], rbx
001b6dabcall Stdlib.Int32.unsigned_div
001b6db0add rax, 8
001b6db4movsxd rax, [rax]
001b6db7mov rbx, [rsp]
001b6dbbmovsxd rbx, [rbx+8]
001b6dbfimul rax, rbx
001b6dc3mov rbx, [rsp+8]
001b6dc8movsxd rbx, [rbx+8]
001b6dccsub rbx, rax
001b6dcfshl rbx, 32
001b6dd3sar rbx, 32
001b6dd7sub r15, 24
001b6ddbcmp r15, [r14]
001b6ddejb 0x1b6dff
001b6de0
001b6de0loc_1b6de0:
001b6de0lea rax, [r15+8]
001b6de4mov [rax-8], 2303
001b6declea rdi, [rip+0xbeacd]
001b6df3mov [rax], rdi
001b6df6mov [rax+8], rbx
001b6dfaadd rsp, 16
001b6dferet
001b6dff
001b6dffloc_1b6dff:
001b6dffcall caml_call_gc
001b6e04jmp 0x1b6de0
001b6e06
001b6e06loc_1b6e06:
001b6e06push 35
001b6e08call caml_call_realloc_stack
001b6e0dpop r10
001b6e0fjmp 0x1b6d9e
001b6d90
001b6d90Stdlib.Int32.unsigned_rem:
001b6d90lea r10, [rsp-336]
001b6d98cmp r10, [r14+40]
001b6d9cjb 0x1b6e06
001b6d9e
001b6d9eloc_1b6d9e:
001b6d9esub rsp, 16
001b6da2mov [rsp+8], rax
001b6da7mov [rsp], rbx
001b6dabcall Stdlib.Int32.unsigned_div
001b6db0add rax, 8
001b6db4movsxd rax, [rax]
001b6db7mov rbx, [rsp]
001b6dbbmovsxd rbx, [rbx+8]
001b6dbfimul rax, rbx
001b6dc3mov rbx, [rsp+8]
001b6dc8movsxd rbx, [rbx+8]
001b6dccsub rbx, rax
001b6dcfshl rbx, 32
001b6dd3sar rbx, 32
001b6dd7sub r15, 24
001b6ddbcmp r15, [r14]
001b6ddejb 0x1b6dff
001b6de0
001b6de0loc_1b6de0:
001b6de0lea rax, [r15+8]
001b6de4mov [rax-8], 2303
001b6declea rdi, [rip+0xbeacd]
001b6df3mov [rax], rdi
001b6df6mov [rax+8], rbx
001b6dfaadd rsp, 16
001b6dferet
001b6dff
001b6dffloc_1b6dff:
001b6dffcall caml_call_gc
001b6e04jmp 0x1b6de0
001b6e06
001b6e06loc_1b6e06:
001b6e06push 35
001b6e08call caml_call_realloc_stack
001b6e0dpop r10
001b6e0fjmp 0x1b6d9e
001b6d90
001b6e11
001b6e11 // align 0x10
001b6e11 // align 0x10
001b6e20
001b6e20Stdlib.Int32.seeded_hash:
001b6e20mov esi, 201
001b6e25mov edi, 21
001b6e2amov rdx, rax
001b6e2dmov rcx, rbx
001b6e30mov rbx, rsp
001b6e33mov rsp, [r14+64]
001b6e37call caml_hash
001b6e3cmov rsp, rbx
001b6e3fret
001b6e20
001b6e20Stdlib.Int32.seeded_hash:
001b6e20mov esi, 201
001b6e25mov edi, 21
001b6e2amov rdx, rax
001b6e2dmov rcx, rbx
001b6e30mov rbx, rsp
001b6e33mov rsp, [r14+64]
001b6e37call caml_hash
001b6e3cmov rsp, rbx
001b6e3fret
001b6e20
001b6e40
001b6e40Stdlib.Int32.hash:
001b6e40mov edx, 1
001b6e45mov esi, 201
001b6e4amov edi, 21
001b6e4fmov rcx, rax
001b6e52mov rbx, rsp
001b6e55mov rsp, [r14+64]
001b6e59call caml_hash
001b6e5emov rsp, rbx
001b6e61ret
001b6e40
001b6e40Stdlib.Int32.hash:
001b6e40mov edx, 1
001b6e45mov esi, 201
001b6e4amov edi, 21
001b6e4fmov rcx, rax
001b6e52mov rbx, rsp
001b6e55mov rsp, [r14+64]
001b6e59call caml_hash
001b6e5emov rsp, rbx
001b6e61ret
001b6e40
001b6e62
001b6e62 // align 0x10
001b6e62 // align 0x10
001b6e70
001b6e70Stdlib.Int32.entry:
001b6e70lea rsi, [rip+0x18ca09]
001b6e77lea rdi, [rip+0x18c8ca]
001b6e7emov rbx, rsp
001b6e81mov rsp, [r14+64]
001b6e85call caml_initialize
001b6e8amov rsp, rbx
001b6e8dlea rsi, [rip+0x18c9d4]
001b6e94lea rdi, [rip+0x18c8ad]
001b6e9badd rdi, 8
001b6e9fmov rbx, rsp
001b6ea2mov rsp, [r14+64]
001b6ea6call caml_initialize
001b6eabmov rsp, rbx
001b6eaelea rsi, [rip+0x18c99b]
001b6eb5lea rdi, [rip+0x18c88c]
001b6ebcadd rdi, 16
001b6ec0mov rbx, rsp
001b6ec3mov rsp, [r14+64]
001b6ec7call caml_initialize
001b6eccmov rsp, rbx
001b6ecflea rsi, [rip+0x18c6ea]
001b6ed6lea rdi, [rip+0x18c86b]
001b6eddadd rdi, 40
001b6ee1mov rbx, rsp
001b6ee4mov rsp, [r14+64]
001b6ee8call caml_initialize
001b6eedmov rsp, rbx
001b6ef0lea rsi, [rip+0x18c6e1]
001b6ef7lea rdi, [rip+0x18c84a]
001b6efeadd rdi, 48
001b6f02mov rbx, rsp
001b6f05mov rsp, [r14+64]
001b6f09call caml_initialize
001b6f0emov rsp, rbx
001b6f11lea rsi, [rip+0x18c6d8]
001b6f18lea rdi, [rip+0x18c829]
001b6f1fadd rdi, 56
001b6f23mov rbx, rsp
001b6f26mov rsp, [r14+64]
001b6f2acall caml_initialize
001b6f2fmov rsp, rbx
001b6f32lea rsi, [rip+0x18c8ff]
001b6f39lea rdi, [rip+0x18c808]
001b6f40add rdi, 72
001b6f44mov rbx, rsp
001b6f47mov rsp, [r14+64]
001b6f4bcall caml_initialize
001b6f50mov rsp, rbx
001b6f53lea rsi, [rip+0x18c8c6]
001b6f5alea rdi, [rip+0x18c7e7]
001b6f61add rdi, 64
001b6f65mov rbx, rsp
001b6f68mov rsp, [r14+64]
001b6f6ccall caml_initialize
001b6f71mov rsp, rbx
001b6f74lea rsi, [rip+0x18c68d]
001b6f7blea rdi, [rip+0x18c7c6]
001b6f82add rdi, 80
001b6f86mov rbx, rsp
001b6f89mov rsp, [r14+64]
001b6f8dcall caml_initialize
001b6f92mov rsp, rbx
001b6f95lea rsi, [rip+0x18c684]
001b6f9clea rdi, [rip+0x18c7a5]
001b6fa3add rdi, 88
001b6fa7mov rbx, rsp
001b6faamov rsp, [r14+64]
001b6faecall caml_initialize
001b6fb3mov rsp, rbx
001b6fb6lea rsi, [rip+0x18c67b]
001b6fbdlea rdi, [rip+0x18c784]
001b6fc4add rdi, 104
001b6fc8mov rbx, rsp
001b6fcbmov rsp, [r14+64]
001b6fcfcall caml_initialize
001b6fd4mov rsp, rbx
001b6fd7lea rsi, [rip+0x18c672]
001b6fdelea rdi, [rip+0x18c763]
001b6fe5add rdi, 96
001b6fe9mov rbx, rsp
001b6fecmov rsp, [r14+64]
001b6ff0call caml_initialize
001b6ff5mov rsp, rbx
001b6ff8lea rsi, [rip+0x18c669]
001b6ffflea rdi, [rip+0x18c742]
001b7006add rdi, 112
001b700amov rbx, rsp
001b700dmov rsp, [r14+64]
001b7011call caml_initialize
001b7016mov rsp, rbx
001b7019lea rsi, [rip+0x18c668]
001b7020lea rdi, [rip+0x18c721]
001b7027add rdi, 128
001b702emov rbx, rsp
001b7031mov rsp, [r14+64]
001b7035call caml_initialize
001b703amov rsp, rbx
001b703dlea rsi, [rip+0x18c664]
001b7044lea rdi, [rip+0x18c6fd]
001b704badd rdi, 120
001b704fmov rbx, rsp
001b7052mov rsp, [r14+64]
001b7056call caml_initialize
001b705bmov rsp, rbx
001b705elea rsi, [rip+0x18c663]
001b7065lea rdi, [rip+0x18c6dc]
001b706cadd rdi, 168
001b7073mov rbx, rsp
001b7076mov rsp, [r14+64]
001b707acall caml_initialize
001b707fmov rsp, rbx
001b7082lea rsi, [rip+0x18c65f]
001b7089lea rdi, [rip+0x18c6b8]
001b7090add rdi, 136
001b7097mov rbx, rsp
001b709amov rsp, [r14+64]
001b709ecall caml_initialize
001b70a3mov rsp, rbx
001b70a6lea rsi, [rip+0x18c65b]
001b70adlea rdi, [rip+0x18c694]
001b70b4add rdi, 144
001b70bbmov rbx, rsp
001b70bemov rsp, [r14+64]
001b70c2call caml_initialize
001b70c7mov rsp, rbx
001b70calea rsi, [rip+0x18c657]
001b70d1lea rdi, [rip+0x18c670]
001b70d8add rdi, 24
001b70dcmov rbx, rsp
001b70dfmov rsp, [r14+64]
001b70e3call caml_initialize
001b70e8mov rsp, rbx
001b70eblea rsi, [rip+0x18c476]
001b70f2lea rdi, [rip+0x18c64f]
001b70f9add rdi, 32
001b70fdmov rbx, rsp
001b7100mov rsp, [r14+64]
001b7104call caml_initialize
001b7109mov rsp, rbx
001b710clea rsi, [rip+0x18c475]
001b7113lea rdi, [rip+0x18c62e]
001b711aadd rdi, 152
001b7121mov rbx, rsp
001b7124mov rsp, [r14+64]
001b7128call caml_initialize
001b712dmov rsp, rbx
001b7130lea rsi, [rip+0x18c471]
001b7137lea rdi, [rip+0x18c60a]
001b713eadd rdi, 160
001b7145mov rbx, rsp
001b7148mov rsp, [r14+64]
001b714ccall caml_initialize
001b7151mov rsp, rbx
001b7154mov eax, 1
001b7159ret
001b6e70
001b6e70Stdlib.Int32.entry:
001b6e70lea rsi, [rip+0x18ca09]
001b6e77lea rdi, [rip+0x18c8ca]
001b6e7emov rbx, rsp
001b6e81mov rsp, [r14+64]
001b6e85call caml_initialize
001b6e8amov rsp, rbx
001b6e8dlea rsi, [rip+0x18c9d4]
001b6e94lea rdi, [rip+0x18c8ad]
001b6e9badd rdi, 8
001b6e9fmov rbx, rsp
001b6ea2mov rsp, [r14+64]
001b6ea6call caml_initialize
001b6eabmov rsp, rbx
001b6eaelea rsi, [rip+0x18c99b]
001b6eb5lea rdi, [rip+0x18c88c]
001b6ebcadd rdi, 16
001b6ec0mov rbx, rsp
001b6ec3mov rsp, [r14+64]
001b6ec7call caml_initialize
001b6eccmov rsp, rbx
001b6ecflea rsi, [rip+0x18c6ea]
001b6ed6lea rdi, [rip+0x18c86b]
001b6eddadd rdi, 40
001b6ee1mov rbx, rsp
001b6ee4mov rsp, [r14+64]
001b6ee8call caml_initialize
001b6eedmov rsp, rbx
001b6ef0lea rsi, [rip+0x18c6e1]
001b6ef7lea rdi, [rip+0x18c84a]
001b6efeadd rdi, 48
001b6f02mov rbx, rsp
001b6f05mov rsp, [r14+64]
001b6f09call caml_initialize
001b6f0emov rsp, rbx
001b6f11lea rsi, [rip+0x18c6d8]
001b6f18lea rdi, [rip+0x18c829]
001b6f1fadd rdi, 56
001b6f23mov rbx, rsp
001b6f26mov rsp, [r14+64]
001b6f2acall caml_initialize
001b6f2fmov rsp, rbx
001b6f32lea rsi, [rip+0x18c8ff]
001b6f39lea rdi, [rip+0x18c808]
001b6f40add rdi, 72
001b6f44mov rbx, rsp
001b6f47mov rsp, [r14+64]
001b6f4bcall caml_initialize
001b6f50mov rsp, rbx
001b6f53lea rsi, [rip+0x18c8c6]
001b6f5alea rdi, [rip+0x18c7e7]
001b6f61add rdi, 64
001b6f65mov rbx, rsp
001b6f68mov rsp, [r14+64]
001b6f6ccall caml_initialize
001b6f71mov rsp, rbx
001b6f74lea rsi, [rip+0x18c68d]
001b6f7blea rdi, [rip+0x18c7c6]
001b6f82add rdi, 80
001b6f86mov rbx, rsp
001b6f89mov rsp, [r14+64]
001b6f8dcall caml_initialize
001b6f92mov rsp, rbx
001b6f95lea rsi, [rip+0x18c684]
001b6f9clea rdi, [rip+0x18c7a5]
001b6fa3add rdi, 88
001b6fa7mov rbx, rsp
001b6faamov rsp, [r14+64]
001b6faecall caml_initialize
001b6fb3mov rsp, rbx
001b6fb6lea rsi, [rip+0x18c67b]
001b6fbdlea rdi, [rip+0x18c784]
001b6fc4add rdi, 104
001b6fc8mov rbx, rsp
001b6fcbmov rsp, [r14+64]
001b6fcfcall caml_initialize
001b6fd4mov rsp, rbx
001b6fd7lea rsi, [rip+0x18c672]
001b6fdelea rdi, [rip+0x18c763]
001b6fe5add rdi, 96
001b6fe9mov rbx, rsp
001b6fecmov rsp, [r14+64]
001b6ff0call caml_initialize
001b6ff5mov rsp, rbx
001b6ff8lea rsi, [rip+0x18c669]
001b6ffflea rdi, [rip+0x18c742]
001b7006add rdi, 112
001b700amov rbx, rsp
001b700dmov rsp, [r14+64]
001b7011call caml_initialize
001b7016mov rsp, rbx
001b7019lea rsi, [rip+0x18c668]
001b7020lea rdi, [rip+0x18c721]
001b7027add rdi, 128
001b702emov rbx, rsp
001b7031mov rsp, [r14+64]
001b7035call caml_initialize
001b703amov rsp, rbx
001b703dlea rsi, [rip+0x18c664]
001b7044lea rdi, [rip+0x18c6fd]
001b704badd rdi, 120
001b704fmov rbx, rsp
001b7052mov rsp, [r14+64]
001b7056call caml_initialize
001b705bmov rsp, rbx
001b705elea rsi, [rip+0x18c663]
001b7065lea rdi, [rip+0x18c6dc]
001b706cadd rdi, 168
001b7073mov rbx, rsp
001b7076mov rsp, [r14+64]
001b707acall caml_initialize
001b707fmov rsp, rbx
001b7082lea rsi, [rip+0x18c65f]
001b7089lea rdi, [rip+0x18c6b8]
001b7090add rdi, 136
001b7097mov rbx, rsp
001b709amov rsp, [r14+64]
001b709ecall caml_initialize
001b70a3mov rsp, rbx
001b70a6lea rsi, [rip+0x18c65b]
001b70adlea rdi, [rip+0x18c694]
001b70b4add rdi, 144
001b70bbmov rbx, rsp
001b70bemov rsp, [r14+64]
001b70c2call caml_initialize
001b70c7mov rsp, rbx
001b70calea rsi, [rip+0x18c657]
001b70d1lea rdi, [rip+0x18c670]
001b70d8add rdi, 24
001b70dcmov rbx, rsp
001b70dfmov rsp, [r14+64]
001b70e3call caml_initialize
001b70e8mov rsp, rbx
001b70eblea rsi, [rip+0x18c476]
001b70f2lea rdi, [rip+0x18c64f]
001b70f9add rdi, 32
001b70fdmov rbx, rsp
001b7100mov rsp, [r14+64]
001b7104call caml_initialize
001b7109mov rsp, rbx
001b710clea rsi, [rip+0x18c475]
001b7113lea rdi, [rip+0x18c62e]
001b711aadd rdi, 152
001b7121mov rbx, rsp
001b7124mov rsp, [r14+64]
001b7128call caml_initialize
001b712dmov rsp, rbx
001b7130lea rsi, [rip+0x18c471]
001b7137lea rdi, [rip+0x18c60a]
001b713eadd rdi, 160
001b7145mov rbx, rsp
001b7148mov rsp, [r14+64]
001b714ccall caml_initialize
001b7151mov rsp, rbx
001b7154mov eax, 1
001b7159ret
001b6e70
001b715a
001b715a // align 0x10
001b715a // align 0x10
001b7160
001b7160Stdlib.Int64.succ:
001b7160sub r15, 24
001b7164cmp r15, [r14]
001b7167jb 0x1b718e
001b7169
001b7169loc_1b7169:
001b7169lea rbx, [r15+8]
001b716dmov [rbx-8], 2303
001b7175lea rdi, [rip+0xbe704]
001b717cmov [rbx], rdi
001b717fmov rax, [rax+8]
001b7183inc rax
001b7186mov [rbx+8], rax
001b718amov rax, rbx
001b718dret
001b718e
001b718eloc_1b718e:
001b718ecall caml_call_gc
001b7193jmp 0x1b7169
001b7160
001b7160Stdlib.Int64.succ:
001b7160sub r15, 24
001b7164cmp r15, [r14]
001b7167jb 0x1b718e
001b7169
001b7169loc_1b7169:
001b7169lea rbx, [r15+8]
001b716dmov [rbx-8], 2303
001b7175lea rdi, [rip+0xbe704]
001b717cmov [rbx], rdi
001b717fmov rax, [rax+8]
001b7183inc rax
001b7186mov [rbx+8], rax
001b718amov rax, rbx
001b718dret
001b718e
001b718eloc_1b718e:
001b718ecall caml_call_gc
001b7193jmp 0x1b7169
001b7160
001b7195
001b7195 // align 0x10
001b7195 // align 0x10
001b71a0
001b71a0Stdlib.Int64.pred:
001b71a0sub r15, 24
001b71a4cmp r15, [r14]
001b71a7jb 0x1b71ce
001b71a9
001b71a9loc_1b71a9:
001b71a9lea rbx, [r15+8]
001b71admov [rbx-8], 2303
001b71b5lea rdi, [rip+0xbe6c4]
001b71bcmov [rbx], rdi
001b71bfmov rax, [rax+8]
001b71c3dec rax
001b71c6mov [rbx+8], rax
001b71camov rax, rbx
001b71cdret
001b71ce
001b71celoc_1b71ce:
001b71cecall caml_call_gc
001b71d3jmp 0x1b71a9
001b71a0
001b71a0Stdlib.Int64.pred:
001b71a0sub r15, 24
001b71a4cmp r15, [r14]
001b71a7jb 0x1b71ce
001b71a9
001b71a9loc_1b71a9:
001b71a9lea rbx, [r15+8]
001b71admov [rbx-8], 2303
001b71b5lea rdi, [rip+0xbe6c4]
001b71bcmov [rbx], rdi
001b71bfmov rax, [rax+8]
001b71c3dec rax
001b71c6mov [rbx+8], rax
001b71camov rax, rbx
001b71cdret
001b71ce
001b71celoc_1b71ce:
001b71cecall caml_call_gc
001b71d3jmp 0x1b71a9
001b71a0
001b71d5
001b71d5 // align 0x10
001b71d5 // align 0x10
001b71e0
001b71e0Stdlib.Int64.abs:
001b71e0mov rbx, [rax+8]
001b71e4cmp rbx, 0
001b71e8jl 0x1b71ec
001b71earet
001b71eb
001b71eb 90 .
001b71ec
001b71ecloc_1b71ec:
001b71ecsub r15, 24
001b71f0cmp r15, [r14]
001b71f3jb 0x1b7215
001b71f5
001b71f5loc_1b71f5:
001b71f5lea rax, [r15+8]
001b71f9mov [rax-8], 2303
001b7201lea rdi, [rip+0xbe678]
001b7208mov [rax], rdi
001b720bxor edi, edi
001b720dsub rdi, rbx
001b7210mov [rax+8], rdi
001b7214ret
001b7215
001b7215loc_1b7215:
001b7215call caml_call_gc
001b721ajmp 0x1b71f5
001b71e0
001b71e0Stdlib.Int64.abs:
001b71e0mov rbx, [rax+8]
001b71e4cmp rbx, 0
001b71e8jl 0x1b71ec
001b71earet
001b71eb
001b71eb 90 .
001b71ec
001b71ecloc_1b71ec:
001b71ecsub r15, 24
001b71f0cmp r15, [r14]
001b71f3jb 0x1b7215
001b71f5
001b71f5loc_1b71f5:
001b71f5lea rax, [r15+8]
001b71f9mov [rax-8], 2303
001b7201lea rdi, [rip+0xbe678]
001b7208mov [rax], rdi
001b720bxor edi, edi
001b720dsub rdi, rbx
001b7210mov [rax+8], rdi
001b7214ret
001b7215
001b7215loc_1b7215:
001b7215call caml_call_gc
001b721ajmp 0x1b71f5
001b71e0
001b721c
001b721c // align 0x10
001b721c // align 0x10
001b7220
001b7220Stdlib.Int64.lognot:
001b7220sub r15, 24
001b7224cmp r15, [r14]
001b7227jb 0x1b724f
001b7229
001b7229loc_1b7229:
001b7229lea rbx, [r15+8]
001b722dmov [rbx-8], 2303
001b7235lea rdi, [rip+0xbe644]
001b723cmov [rbx], rdi
001b723fmov rax, [rax+8]
001b7243xor rax, -1
001b7247mov [rbx+8], rax
001b724bmov rax, rbx
001b724eret
001b724f
001b724floc_1b724f:
001b724fcall caml_call_gc
001b7254jmp 0x1b7229
001b7220
001b7220Stdlib.Int64.lognot:
001b7220sub r15, 24
001b7224cmp r15, [r14]
001b7227jb 0x1b724f
001b7229
001b7229loc_1b7229:
001b7229lea rbx, [r15+8]
001b722dmov [rbx-8], 2303
001b7235lea rdi, [rip+0xbe644]
001b723cmov [rbx], rdi
001b723fmov rax, [rax+8]
001b7243xor rax, -1
001b7247mov [rbx+8], rax
001b724bmov rax, rbx
001b724eret
001b724f
001b724floc_1b724f:
001b724fcall caml_call_gc
001b7254jmp 0x1b7229
001b7220
001b7256
001b7256 // align 0x10
001b7256 // align 0x10
001b7260
001b7260Stdlib.Int64.fun:
001b7260mov rax, [rax+8]
001b7264cmp rax, 0
001b7268jl 0x1b729c
001b726amov rbx, 0x3fffffffffffffff
001b7274cmp rax, rbx
001b7277jg 0x1b729c
001b7279sub r15, 16
001b727dcmp r15, [r14]
001b7280jb 0x1b72a2
001b7282
001b7282loc_1b7282:
001b7282lea rbx, [r15+8]
001b7286mov [rbx-8], 1024
001b728elea rax, [rax+rax+1]
001b7293mov [rbx], rax
001b7296mov rax, rbx
001b7299ret
001b729a
001b729a 66 90 f.
001b729c
001b729cloc_1b729c:
001b729cmov eax, 1
001b72a1ret
001b72a2
001b72a2loc_1b72a2:
001b72a2call caml_call_gc
001b72a7jmp 0x1b7282
001b7260
001b7260Stdlib.Int64.fun:
001b7260mov rax, [rax+8]
001b7264cmp rax, 0
001b7268jl 0x1b729c
001b726amov rbx, 0x3fffffffffffffff
001b7274cmp rax, rbx
001b7277jg 0x1b729c
001b7279sub r15, 16
001b727dcmp r15, [r14]
001b7280jb 0x1b72a2
001b7282
001b7282loc_1b7282:
001b7282lea rbx, [r15+8]
001b7286mov [rbx-8], 1024
001b728elea rax, [rax+rax+1]
001b7293mov [rbx], rax
001b7296mov rax, rbx
001b7299ret
001b729a
001b729a 66 90 f.
001b729c
001b729cloc_1b729c:
001b729cmov eax, 1
001b72a1ret
001b72a2
001b72a2loc_1b72a2:
001b72a2call caml_call_gc
001b72a7jmp 0x1b7282
001b7260
001b72a9
001b72a9 // align 0x10
001b72a9 // align 0x10
001b72b0
001b72b0Stdlib.Int64.to_string:
001b72b0lea rdi, [rip+0x18cb91]
001b72b7mov rsi, rax
001b72balea rax, [rip+0x56c0f]
001b72c1call caml_c_call
001b72c6ret
001b72b0
001b72b0Stdlib.Int64.to_string:
001b72b0lea rdi, [rip+0x18cb91]
001b72b7mov rsi, rax
001b72balea rax, [rip+0x56c0f]
001b72c1call caml_c_call
001b72c6ret
001b72b0
001b72c7
001b72c7 // align 0x10
001b72c7 // align 0x10
001b72d0
001b72d0Stdlib.Int64.of_string_opt:
001b72d0lea r11, [rip+61]
001b72d7push r11
001b72d9push [r14+48]
001b72ddmov [r14+48], rsp
001b72e1mov rdi, rax
001b72e4lea rax, [rip+0x56c45]
001b72ebcall caml_c_call
001b72f0sub r15, 16
001b72f4cmp r15, [r14]
001b72f7jb 0x1b733c
001b72f9
001b72f9loc_1b72f9:
001b72f9lea rbx, [r15+8]
001b72fdmov [rbx-8], 1024
001b7305mov [rbx], rax
001b7308pop [r14+48]
001b730cadd rsp, 8
001b7310jmp 0x1b7338
001b7312
001b7312 66 90 f.
001b7314lea rbx, [rip+0x1762fd]
001b731bmov rbx, [rbx+48]
001b731fmov rdi, [rax]
001b7322cmp rdi, rbx
001b7325jne 0x1b7330
001b7327mov eax, 1
001b732cret
001b732d
001b732d 0f 1f 00 ...
001b7330
001b7330loc_1b7330:
001b7330call caml_reraise_exn
001b7335nop [rax]
001b7338
001b7338loc_1b7338:
001b7338mov rax, rbx
001b733bret
001b733c
001b733cloc_1b733c:
001b733ccall caml_call_gc
001b7341jmp 0x1b72f9
001b72d0
001b72d0Stdlib.Int64.of_string_opt:
001b72d0lea r11, [rip+61]
001b72d7push r11
001b72d9push [r14+48]
001b72ddmov [r14+48], rsp
001b72e1mov rdi, rax
001b72e4lea rax, [rip+0x56c45]
001b72ebcall caml_c_call
001b72f0sub r15, 16
001b72f4cmp r15, [r14]
001b72f7jb 0x1b733c
001b72f9
001b72f9loc_1b72f9:
001b72f9lea rbx, [r15+8]
001b72fdmov [rbx-8], 1024
001b7305mov [rbx], rax
001b7308pop [r14+48]
001b730cadd rsp, 8
001b7310jmp 0x1b7338
001b7312
001b7312 66 90 f.
001b7314lea rbx, [rip+0x1762fd]
001b731bmov rbx, [rbx+48]
001b731fmov rdi, [rax]
001b7322cmp rdi, rbx
001b7325jne 0x1b7330
001b7327mov eax, 1
001b732cret
001b732d
001b732d 0f 1f 00 ...
001b7330
001b7330loc_1b7330:
001b7330call caml_reraise_exn
001b7335nop [rax]
001b7338
001b7338loc_1b7338:
001b7338mov rax, rbx
001b733bret
001b733c
001b733cloc_1b733c:
001b733ccall caml_call_gc
001b7341jmp 0x1b72f9
001b72d0
001b7343
001b7343 // align 0x10
001b7343 // align 0x10
001b7350
001b7350Stdlib.Int64.compare:
001b7350mov rbx, [rbx+8]
001b7354mov rdi, [rax+8]
001b7358cmp rdi, rbx
001b735bsetl al
001b735emovzx rsi, al
001b7362cmp rdi, rbx
001b7365setg al
001b7368movzx rax, al
001b736csub rax, rsi
001b736flea rax, [rax+rax+1]
001b7374ret
001b7350
001b7350Stdlib.Int64.compare:
001b7350mov rbx, [rbx+8]
001b7354mov rdi, [rax+8]
001b7358cmp rdi, rbx
001b735bsetl al
001b735emovzx rsi, al
001b7362cmp rdi, rbx
001b7365setg al
001b7368movzx rax, al
001b736csub rax, rsi
001b736flea rax, [rax+rax+1]
001b7374ret
001b7350
001b7375
001b7375 // align 0x10
001b7375 // align 0x10
001b7380
001b7380Stdlib.Int64.equal:
001b7380mov rbx, [rbx+8]
001b7384mov rax, [rax+8]
001b7388cmp rax, rbx
001b738bsete al
001b738emovzx rax, al
001b7392lea rax, [rax+rax+1]
001b7397ret
001b7380
001b7380Stdlib.Int64.equal:
001b7380mov rbx, [rbx+8]
001b7384mov rax, [rax+8]
001b7388cmp rax, rbx
001b738bsete al
001b738emovzx rax, al
001b7392lea rax, [rax+rax+1]
001b7397ret
001b7380
001b7398
001b7398 // align 0x10
001b7398 // align 0x10
001b73a0
001b73a0Stdlib.Int64.unsigned_compare:
001b73a0mov rdi, 0x8000000000000000
001b73aamov rbx, [rbx+8]
001b73aesub rbx, rdi
001b73b1mov rdi, 0x8000000000000000
001b73bbmov rsi, [rax+8]
001b73bfsub rsi, rdi
001b73c2cmp rsi, rbx
001b73c5setl al
001b73c8movzx rdi, al
001b73cccmp rsi, rbx
001b73cfsetg al
001b73d2movzx rax, al
001b73d6sub rax, rdi
001b73d9lea rax, [rax+rax+1]
001b73deret
001b73a0
001b73a0Stdlib.Int64.unsigned_compare:
001b73a0mov rdi, 0x8000000000000000
001b73aamov rbx, [rbx+8]
001b73aesub rbx, rdi
001b73b1mov rdi, 0x8000000000000000
001b73bbmov rsi, [rax+8]
001b73bfsub rsi, rdi
001b73c2cmp rsi, rbx
001b73c5setl al
001b73c8movzx rdi, al
001b73cccmp rsi, rbx
001b73cfsetg al
001b73d2movzx rax, al
001b73d6sub rax, rdi
001b73d9lea rax, [rax+rax+1]
001b73deret
001b73a0
001b73df
001b73df // align 0x10
001b73df // align 0x10
001b73e0
001b73e0Stdlib.Int64.unsigned_lt:
001b73e0mov rdi, 0x8000000000000000
001b73eamov rbx, [rbx+8]
001b73eesub rbx, rdi
001b73f1mov rdi, 0x8000000000000000
001b73fbmov rax, [rax+8]
001b73ffsub rax, rdi
001b7402cmp rax, rbx
001b7405setl al
001b7408movzx rax, al
001b740clea rax, [rax+rax+1]
001b7411ret
001b73e0
001b73e0Stdlib.Int64.unsigned_lt:
001b73e0mov rdi, 0x8000000000000000
001b73eamov rbx, [rbx+8]
001b73eesub rbx, rdi
001b73f1mov rdi, 0x8000000000000000
001b73fbmov rax, [rax+8]
001b73ffsub rax, rdi
001b7402cmp rax, rbx
001b7405setl al
001b7408movzx rax, al
001b740clea rax, [rax+rax+1]
001b7411ret
001b73e0
001b7412
001b7412 // align 0x10
001b7412 // align 0x10
001b7420
001b7420Stdlib.Int64.min:
001b7420mov rdi, [rbx+8]
001b7424mov rsi, [rax+8]
001b7428cmp rsi, rdi
001b742bjg 0x1b7430
001b742dret
001b742e
001b742e 66 90 f.
001b7430
001b7430loc_1b7430:
001b7430mov rax, rbx
001b7433ret
001b7420
001b7420Stdlib.Int64.min:
001b7420mov rdi, [rbx+8]
001b7424mov rsi, [rax+8]
001b7428cmp rsi, rdi
001b742bjg 0x1b7430
001b742dret
001b742e
001b742e 66 90 f.
001b7430
001b7430loc_1b7430:
001b7430mov rax, rbx
001b7433ret
001b7420
001b7434
001b7434 // align 0x10
001b7434 // align 0x10
001b7440
001b7440Stdlib.Int64.max:
001b7440mov rdi, [rbx+8]
001b7444mov rsi, [rax+8]
001b7448cmp rsi, rdi
001b744bjl 0x1b7450
001b744dret
001b744e
001b744e 66 90 f.
001b7450
001b7450loc_1b7450:
001b7450mov rax, rbx
001b7453ret
001b7440
001b7440Stdlib.Int64.max:
001b7440mov rdi, [rbx+8]
001b7444mov rsi, [rax+8]
001b7448cmp rsi, rdi
001b744bjl 0x1b7450
001b744dret
001b744e
001b744e 66 90 f.
001b7450
001b7450loc_1b7450:
001b7450mov rax, rbx
001b7453ret
001b7440
001b7454
001b7454 // align 0x10
001b7454 // align 0x10
001b7460
001b7460Stdlib.Int64.unsigned_div:
001b7460mov rsi, rax
001b7463mov rcx, [rbx+8]
001b7467cmp rcx, 0
001b746bjge 0x1b74a0
001b746dmov rax, 0x8000000000000000
001b7477sub rcx, rax
001b747amov rax, 0x8000000000000000
001b7484mov rbx, [rsi+8]
001b7488sub rbx, rax
001b748bcmp rbx, rcx
001b748ejge 0x1b7498
001b7490lea rax, [rip+0x18ca39]
001b7497ret
001b7498
001b7498loc_1b7498:
001b7498lea rax, [rip+0x18ca19]
001b749fret
001b74a0
001b74a0loc_1b74a0:
001b74a0mov rax, [rsi+8]
001b74a4shr rax, 1
001b74a7cmp rcx, -1
001b74abje 0x1b74c8
001b74adtest rcx, rcx
001b74b0je 0x1b74bc
001b74b2cqo
001b74b4idiv rcx
001b74b7mov rdi, rax
001b74bajmp 0x1b74cd
001b74bc
001b74bcloc_1b74bc:
001b74bclea rax, [rip+0xbec4d]
001b74c3call caml_raise_exn
001b74c8
001b74c8loc_1b74c8:
001b74c8xor edi, edi
001b74casub rdi, rax
001b74cd
001b74cdloc_1b74cd:
001b74cdshl rdi, 1
001b74d0mov rax, [rbx+8]
001b74d4mov rbx, rdi
001b74d7imul rbx, rax
001b74dbmov rsi, [rsi+8]
001b74dfsub rsi, rbx
001b74e2mov rbx, 0x8000000000000000
001b74ecsub rax, rbx
001b74efmov rbx, 0x8000000000000000
001b74f9sub rsi, rbx
001b74fccmp rsi, rax
001b74ffjge 0x1b7528
001b7501sub r15, 24
001b7505cmp r15, [r14]
001b7508jb 0x1b7556
001b750a
001b750aloc_1b750a:
001b750alea rax, [r15+8]
001b750emov [rax-8], 2303
001b7516lea rbx, [rip+0xbe363]
001b751dmov [rax], rbx
001b7520mov [rax+8], rdi
001b7524ret
001b7525
001b7525 0f 1f 00 ...
001b7528
001b7528loc_1b7528:
001b7528sub r15, 24
001b752ccmp r15, [r14]
001b752fjb 0x1b754f
001b7531
001b7531loc_1b7531:
001b7531lea rax, [r15+8]
001b7535mov [rax-8], 2303
001b753dlea rbx, [rip+0xbe33c]
001b7544mov [rax], rbx
001b7547inc rdi
001b754amov [rax+8], rdi
001b754eret
001b754f
001b754floc_1b754f:
001b754fcall caml_call_gc
001b7554jmp 0x1b7531
001b7556
001b7556loc_1b7556:
001b7556call caml_call_gc
001b755bjmp 0x1b750a
001b7460
001b7460Stdlib.Int64.unsigned_div:
001b7460mov rsi, rax
001b7463mov rcx, [rbx+8]
001b7467cmp rcx, 0
001b746bjge 0x1b74a0
001b746dmov rax, 0x8000000000000000
001b7477sub rcx, rax
001b747amov rax, 0x8000000000000000
001b7484mov rbx, [rsi+8]
001b7488sub rbx, rax
001b748bcmp rbx, rcx
001b748ejge 0x1b7498
001b7490lea rax, [rip+0x18ca39]
001b7497ret
001b7498
001b7498loc_1b7498:
001b7498lea rax, [rip+0x18ca19]
001b749fret
001b74a0
001b74a0loc_1b74a0:
001b74a0mov rax, [rsi+8]
001b74a4shr rax, 1
001b74a7cmp rcx, -1
001b74abje 0x1b74c8
001b74adtest rcx, rcx
001b74b0je 0x1b74bc
001b74b2cqo
001b74b4idiv rcx
001b74b7mov rdi, rax
001b74bajmp 0x1b74cd
001b74bc
001b74bcloc_1b74bc:
001b74bclea rax, [rip+0xbec4d]
001b74c3call caml_raise_exn
001b74c8
001b74c8loc_1b74c8:
001b74c8xor edi, edi
001b74casub rdi, rax
001b74cd
001b74cdloc_1b74cd:
001b74cdshl rdi, 1
001b74d0mov rax, [rbx+8]
001b74d4mov rbx, rdi
001b74d7imul rbx, rax
001b74dbmov rsi, [rsi+8]
001b74dfsub rsi, rbx
001b74e2mov rbx, 0x8000000000000000
001b74ecsub rax, rbx
001b74efmov rbx, 0x8000000000000000
001b74f9sub rsi, rbx
001b74fccmp rsi, rax
001b74ffjge 0x1b7528
001b7501sub r15, 24
001b7505cmp r15, [r14]
001b7508jb 0x1b7556
001b750a
001b750aloc_1b750a:
001b750alea rax, [r15+8]
001b750emov [rax-8], 2303
001b7516lea rbx, [rip+0xbe363]
001b751dmov [rax], rbx
001b7520mov [rax+8], rdi
001b7524ret
001b7525
001b7525 0f 1f 00 ...
001b7528
001b7528loc_1b7528:
001b7528sub r15, 24
001b752ccmp r15, [r14]
001b752fjb 0x1b754f
001b7531
001b7531loc_1b7531:
001b7531lea rax, [r15+8]
001b7535mov [rax-8], 2303
001b753dlea rbx, [rip+0xbe33c]
001b7544mov [rax], rbx
001b7547inc rdi
001b754amov [rax+8], rdi
001b754eret
001b754f
001b754floc_1b754f:
001b754fcall caml_call_gc
001b7554jmp 0x1b7531
001b7556
001b7556loc_1b7556:
001b7556call caml_call_gc
001b755bjmp 0x1b750a
001b7460
001b755d
001b755d // align 0x10
001b755d // align 0x10
001b7560
001b7560Stdlib.Int64.unsigned_rem:
001b7560lea r10, [rsp-336]
001b7568cmp r10, [r14+40]
001b756cjb 0x1b75ce
001b756e
001b756eloc_1b756e:
001b756esub rsp, 16
001b7572mov [rsp+8], rax
001b7577mov [rsp], rbx
001b757bcall Stdlib.Int64.unsigned_div
001b7580add rax, 8
001b7584mov rax, [rax]
001b7587mov rbx, [rsp]
001b758bmov rbx, [rbx+8]
001b758fimul rax, rbx
001b7593mov rbx, [rsp+8]
001b7598mov rbx, [rbx+8]
001b759csub rbx, rax
001b759fsub r15, 24
001b75a3cmp r15, [r14]
001b75a6jb 0x1b75c7
001b75a8
001b75a8loc_1b75a8:
001b75a8lea rax, [r15+8]
001b75acmov [rax-8], 2303
001b75b4lea rdi, [rip+0xbe2c5]
001b75bbmov [rax], rdi
001b75bemov [rax+8], rbx
001b75c2add rsp, 16
001b75c6ret
001b75c7
001b75c7loc_1b75c7:
001b75c7call caml_call_gc
001b75ccjmp 0x1b75a8
001b75ce
001b75celoc_1b75ce:
001b75cepush 35
001b75d0call caml_call_realloc_stack
001b75d5pop r10
001b75d7jmp 0x1b756e
001b7560
001b7560Stdlib.Int64.unsigned_rem:
001b7560lea r10, [rsp-336]
001b7568cmp r10, [r14+40]
001b756cjb 0x1b75ce
001b756e
001b756eloc_1b756e:
001b756esub rsp, 16
001b7572mov [rsp+8], rax
001b7577mov [rsp], rbx
001b757bcall Stdlib.Int64.unsigned_div
001b7580add rax, 8
001b7584mov rax, [rax]
001b7587mov rbx, [rsp]
001b758bmov rbx, [rbx+8]
001b758fimul rax, rbx
001b7593mov rbx, [rsp+8]
001b7598mov rbx, [rbx+8]
001b759csub rbx, rax
001b759fsub r15, 24
001b75a3cmp r15, [r14]
001b75a6jb 0x1b75c7
001b75a8
001b75a8loc_1b75a8:
001b75a8lea rax, [r15+8]
001b75acmov [rax-8], 2303
001b75b4lea rdi, [rip+0xbe2c5]
001b75bbmov [rax], rdi
001b75bemov [rax+8], rbx
001b75c2add rsp, 16
001b75c6ret
001b75c7
001b75c7loc_1b75c7:
001b75c7call caml_call_gc
001b75ccjmp 0x1b75a8
001b75ce
001b75celoc_1b75ce:
001b75cepush 35
001b75d0call caml_call_realloc_stack
001b75d5pop r10
001b75d7jmp 0x1b756e
001b7560
001b75d9
001b75d9 // align 0x10
001b75d9 // align 0x10
001b75e0
001b75e0Stdlib.Int64.seeded_hash:
001b75e0mov esi, 201
001b75e5mov edi, 21
001b75eamov rdx, rax
001b75edmov rcx, rbx
001b75f0mov rbx, rsp
001b75f3mov rsp, [r14+64]
001b75f7call caml_hash
001b75fcmov rsp, rbx
001b75ffret
001b75e0
001b75e0Stdlib.Int64.seeded_hash:
001b75e0mov esi, 201
001b75e5mov edi, 21
001b75eamov rdx, rax
001b75edmov rcx, rbx
001b75f0mov rbx, rsp
001b75f3mov rsp, [r14+64]
001b75f7call caml_hash
001b75fcmov rsp, rbx
001b75ffret
001b75e0
001b7600
001b7600Stdlib.Int64.hash:
001b7600mov edx, 1
001b7605mov esi, 201
001b760amov edi, 21
001b760fmov rcx, rax
001b7612mov rbx, rsp
001b7615mov rsp, [r14+64]
001b7619call caml_hash
001b761emov rsp, rbx
001b7621ret
001b7600
001b7600Stdlib.Int64.hash:
001b7600mov edx, 1
001b7605mov esi, 201
001b760amov edi, 21
001b760fmov rcx, rax
001b7612mov rbx, rsp
001b7615mov rsp, [r14+64]
001b7619call caml_hash
001b761emov rsp, rbx
001b7621ret
001b7600
001b7622
001b7622 // align 0x10
001b7622 // align 0x10
001b7630
001b7630Stdlib.Int64.entry:
001b7630lea rsi, [rip+0x18c899]
001b7637lea rdi, [rip+0x18c742]
001b763emov rbx, rsp
001b7641mov rsp, [r14+64]
001b7645call caml_initialize
001b764amov rsp, rbx
001b764dlea rsi, [rip+0x18c864]
001b7654lea rdi, [rip+0x18c725]
001b765badd rdi, 8
001b765fmov rbx, rsp
001b7662mov rsp, [r14+64]
001b7666call caml_initialize
001b766bmov rsp, rbx
001b766elea rsi, [rip+0x18c82b]
001b7675lea rdi, [rip+0x18c704]
001b767cadd rdi, 16
001b7680mov rbx, rsp
001b7683mov rsp, [r14+64]
001b7687call caml_initialize
001b768cmov rsp, rbx
001b768flea rsi, [rip+0x18c542]
001b7696lea rdi, [rip+0x18c6e3]
001b769dadd rdi, 40
001b76a1mov rbx, rsp
001b76a4mov rsp, [r14+64]
001b76a8call caml_initialize
001b76admov rsp, rbx
001b76b0lea rsi, [rip+0x18c539]
001b76b7lea rdi, [rip+0x18c6c2]
001b76beadd rdi, 48
001b76c2mov rbx, rsp
001b76c5mov rsp, [r14+64]
001b76c9call caml_initialize
001b76cemov rsp, rbx
001b76d1lea rsi, [rip+0x18c530]
001b76d8lea rdi, [rip+0x18c6a1]
001b76dfadd rdi, 56
001b76e3mov rbx, rsp
001b76e6mov rsp, [r14+64]
001b76eacall caml_initialize
001b76efmov rsp, rbx
001b76f2lea rsi, [rip+0x18c78f]
001b76f9lea rdi, [rip+0x18c680]
001b7700add rdi, 72
001b7704mov rbx, rsp
001b7707mov rsp, [r14+64]
001b770bcall caml_initialize
001b7710mov rsp, rbx
001b7713lea rsi, [rip+0x18c756]
001b771alea rdi, [rip+0x18c65f]
001b7721add rdi, 64
001b7725mov rbx, rsp
001b7728mov rsp, [r14+64]
001b772ccall caml_initialize
001b7731mov rsp, rbx
001b7734lea rsi, [rip+0x18c4e5]
001b773blea rdi, [rip+0x18c63e]
001b7742add rdi, 80
001b7746mov rbx, rsp
001b7749mov rsp, [r14+64]
001b774dcall caml_initialize
001b7752mov rsp, rbx
001b7755lea rsi, [rip+0x18c4dc]
001b775clea rdi, [rip+0x18c61d]
001b7763add rdi, 88
001b7767mov rbx, rsp
001b776amov rsp, [r14+64]
001b776ecall caml_initialize
001b7773mov rsp, rbx
001b7776lea rsi, [rip+0x18c4d3]
001b777dlea rdi, [rip+0x18c5fc]
001b7784add rdi, 104
001b7788mov rbx, rsp
001b778bmov rsp, [r14+64]
001b778fcall caml_initialize
001b7794mov rsp, rbx
001b7797lea rsi, [rip+0x18c4ca]
001b779elea rdi, [rip+0x18c5db]
001b77a5add rdi, 96
001b77a9mov rbx, rsp
001b77acmov rsp, [r14+64]
001b77b0call caml_initialize
001b77b5mov rsp, rbx
001b77b8lea rsi, [rip+0x18c4c1]
001b77bflea rdi, [rip+0x18c5ba]
001b77c6add rdi, 112
001b77camov rbx, rsp
001b77cdmov rsp, [r14+64]
001b77d1call caml_initialize
001b77d6mov rsp, rbx
001b77d9lea rsi, [rip+0x18c4c0]
001b77e0lea rdi, [rip+0x18c599]
001b77e7add rdi, 128
001b77eemov rbx, rsp
001b77f1mov rsp, [r14+64]
001b77f5call caml_initialize
001b77famov rsp, rbx
001b77fdlea rsi, [rip+0x18c4bc]
001b7804lea rdi, [rip+0x18c575]
001b780badd rdi, 120
001b780fmov rbx, rsp
001b7812mov rsp, [r14+64]
001b7816call caml_initialize
001b781bmov rsp, rbx
001b781elea rsi, [rip+0x18c4bb]
001b7825lea rdi, [rip+0x18c554]
001b782cadd rdi, 168
001b7833mov rbx, rsp
001b7836mov rsp, [r14+64]
001b783acall caml_initialize
001b783fmov rsp, rbx
001b7842lea rsi, [rip+0x18c4b7]
001b7849lea rdi, [rip+0x18c530]
001b7850add rdi, 136
001b7857mov rbx, rsp
001b785amov rsp, [r14+64]
001b785ecall caml_initialize
001b7863mov rsp, rbx
001b7866lea rsi, [rip+0x18c4b3]
001b786dlea rdi, [rip+0x18c50c]
001b7874add rdi, 144
001b787bmov rbx, rsp
001b787emov rsp, [r14+64]
001b7882call caml_initialize
001b7887mov rsp, rbx
001b788alea rsi, [rip+0x18c4af]
001b7891lea rdi, [rip+0x18c4e8]
001b7898add rdi, 24
001b789cmov rbx, rsp
001b789fmov rsp, [r14+64]
001b78a3call caml_initialize
001b78a8mov rsp, rbx
001b78ablea rsi, [rip+0x18c4ae]
001b78b2lea rdi, [rip+0x18c4c7]
001b78b9add rdi, 32
001b78bdmov rbx, rsp
001b78c0mov rsp, [r14+64]
001b78c4call caml_initialize
001b78c9mov rsp, rbx
001b78cclea rsi, [rip+0x18c2cd]
001b78d3lea rdi, [rip+0x18c4a6]
001b78daadd rdi, 152
001b78e1mov rbx, rsp
001b78e4mov rsp, [r14+64]
001b78e8call caml_initialize
001b78edmov rsp, rbx
001b78f0lea rsi, [rip+0x18c2c9]
001b78f7lea rdi, [rip+0x18c482]
001b78feadd rdi, 160
001b7905mov rbx, rsp
001b7908mov rsp, [r14+64]
001b790ccall caml_initialize
001b7911mov rsp, rbx
001b7914mov eax, 1
001b7919ret
001b7630
001b7630Stdlib.Int64.entry:
001b7630lea rsi, [rip+0x18c899]
001b7637lea rdi, [rip+0x18c742]
001b763emov rbx, rsp
001b7641mov rsp, [r14+64]
001b7645call caml_initialize
001b764amov rsp, rbx
001b764dlea rsi, [rip+0x18c864]
001b7654lea rdi, [rip+0x18c725]
001b765badd rdi, 8
001b765fmov rbx, rsp
001b7662mov rsp, [r14+64]
001b7666call caml_initialize
001b766bmov rsp, rbx
001b766elea rsi, [rip+0x18c82b]
001b7675lea rdi, [rip+0x18c704]
001b767cadd rdi, 16
001b7680mov rbx, rsp
001b7683mov rsp, [r14+64]
001b7687call caml_initialize
001b768cmov rsp, rbx
001b768flea rsi, [rip+0x18c542]
001b7696lea rdi, [rip+0x18c6e3]
001b769dadd rdi, 40
001b76a1mov rbx, rsp
001b76a4mov rsp, [r14+64]
001b76a8call caml_initialize
001b76admov rsp, rbx
001b76b0lea rsi, [rip+0x18c539]
001b76b7lea rdi, [rip+0x18c6c2]
001b76beadd rdi, 48
001b76c2mov rbx, rsp
001b76c5mov rsp, [r14+64]
001b76c9call caml_initialize
001b76cemov rsp, rbx
001b76d1lea rsi, [rip+0x18c530]
001b76d8lea rdi, [rip+0x18c6a1]
001b76dfadd rdi, 56
001b76e3mov rbx, rsp
001b76e6mov rsp, [r14+64]
001b76eacall caml_initialize
001b76efmov rsp, rbx
001b76f2lea rsi, [rip+0x18c78f]
001b76f9lea rdi, [rip+0x18c680]
001b7700add rdi, 72
001b7704mov rbx, rsp
001b7707mov rsp, [r14+64]
001b770bcall caml_initialize
001b7710mov rsp, rbx
001b7713lea rsi, [rip+0x18c756]
001b771alea rdi, [rip+0x18c65f]
001b7721add rdi, 64
001b7725mov rbx, rsp
001b7728mov rsp, [r14+64]
001b772ccall caml_initialize
001b7731mov rsp, rbx
001b7734lea rsi, [rip+0x18c4e5]
001b773blea rdi, [rip+0x18c63e]
001b7742add rdi, 80
001b7746mov rbx, rsp
001b7749mov rsp, [r14+64]
001b774dcall caml_initialize
001b7752mov rsp, rbx
001b7755lea rsi, [rip+0x18c4dc]
001b775clea rdi, [rip+0x18c61d]
001b7763add rdi, 88
001b7767mov rbx, rsp
001b776amov rsp, [r14+64]
001b776ecall caml_initialize
001b7773mov rsp, rbx
001b7776lea rsi, [rip+0x18c4d3]
001b777dlea rdi, [rip+0x18c5fc]
001b7784add rdi, 104
001b7788mov rbx, rsp
001b778bmov rsp, [r14+64]
001b778fcall caml_initialize
001b7794mov rsp, rbx
001b7797lea rsi, [rip+0x18c4ca]
001b779elea rdi, [rip+0x18c5db]
001b77a5add rdi, 96
001b77a9mov rbx, rsp
001b77acmov rsp, [r14+64]
001b77b0call caml_initialize
001b77b5mov rsp, rbx
001b77b8lea rsi, [rip+0x18c4c1]
001b77bflea rdi, [rip+0x18c5ba]
001b77c6add rdi, 112
001b77camov rbx, rsp
001b77cdmov rsp, [r14+64]
001b77d1call caml_initialize
001b77d6mov rsp, rbx
001b77d9lea rsi, [rip+0x18c4c0]
001b77e0lea rdi, [rip+0x18c599]
001b77e7add rdi, 128
001b77eemov rbx, rsp
001b77f1mov rsp, [r14+64]
001b77f5call caml_initialize
001b77famov rsp, rbx
001b77fdlea rsi, [rip+0x18c4bc]
001b7804lea rdi, [rip+0x18c575]
001b780badd rdi, 120
001b780fmov rbx, rsp
001b7812mov rsp, [r14+64]
001b7816call caml_initialize
001b781bmov rsp, rbx
001b781elea rsi, [rip+0x18c4bb]
001b7825lea rdi, [rip+0x18c554]
001b782cadd rdi, 168
001b7833mov rbx, rsp
001b7836mov rsp, [r14+64]
001b783acall caml_initialize
001b783fmov rsp, rbx
001b7842lea rsi, [rip+0x18c4b7]
001b7849lea rdi, [rip+0x18c530]
001b7850add rdi, 136
001b7857mov rbx, rsp
001b785amov rsp, [r14+64]
001b785ecall caml_initialize
001b7863mov rsp, rbx
001b7866lea rsi, [rip+0x18c4b3]
001b786dlea rdi, [rip+0x18c50c]
001b7874add rdi, 144
001b787bmov rbx, rsp
001b787emov rsp, [r14+64]
001b7882call caml_initialize
001b7887mov rsp, rbx
001b788alea rsi, [rip+0x18c4af]
001b7891lea rdi, [rip+0x18c4e8]
001b7898add rdi, 24
001b789cmov rbx, rsp
001b789fmov rsp, [r14+64]
001b78a3call caml_initialize
001b78a8mov rsp, rbx
001b78ablea rsi, [rip+0x18c4ae]
001b78b2lea rdi, [rip+0x18c4c7]
001b78b9add rdi, 32
001b78bdmov rbx, rsp
001b78c0mov rsp, [r14+64]
001b78c4call caml_initialize
001b78c9mov rsp, rbx
001b78cclea rsi, [rip+0x18c2cd]
001b78d3lea rdi, [rip+0x18c4a6]
001b78daadd rdi, 152
001b78e1mov rbx, rsp
001b78e4mov rsp, [r14+64]
001b78e8call caml_initialize
001b78edmov rsp, rbx
001b78f0lea rsi, [rip+0x18c2c9]
001b78f7lea rdi, [rip+0x18c482]
001b78feadd rdi, 160
001b7905mov rbx, rsp
001b7908mov rsp, [r14+64]
001b790ccall caml_initialize
001b7911mov rsp, rbx
001b7914mov eax, 1
001b7919ret
001b7630
001b791a
001b791a // align 0x10
001b791a // align 0x10
001b7920
001b7920Stdlib.Nativeint.succ:
001b7920sub r15, 24
001b7924cmp r15, [r14]
001b7927jb 0x1b794e
001b7929
001b7929loc_1b7929:
001b7929lea rbx, [r15+8]
001b792dmov [rbx-8], 2303
001b7935lea rdi, [rip+0xbdf04]
001b793cmov [rbx], rdi
001b793fmov rax, [rax+8]
001b7943inc rax
001b7946mov [rbx+8], rax
001b794amov rax, rbx
001b794dret
001b794e
001b794eloc_1b794e:
001b794ecall caml_call_gc
001b7953jmp 0x1b7929
001b7920
001b7920Stdlib.Nativeint.succ:
001b7920sub r15, 24
001b7924cmp r15, [r14]
001b7927jb 0x1b794e
001b7929
001b7929loc_1b7929:
001b7929lea rbx, [r15+8]
001b792dmov [rbx-8], 2303
001b7935lea rdi, [rip+0xbdf04]
001b793cmov [rbx], rdi
001b793fmov rax, [rax+8]
001b7943inc rax
001b7946mov [rbx+8], rax
001b794amov rax, rbx
001b794dret
001b794e
001b794eloc_1b794e:
001b794ecall caml_call_gc
001b7953jmp 0x1b7929
001b7920
001b7955
001b7955 // align 0x10
001b7955 // align 0x10
001b7960
001b7960Stdlib.Nativeint.pred:
001b7960sub r15, 24
001b7964cmp r15, [r14]
001b7967jb 0x1b798e
001b7969
001b7969loc_1b7969:
001b7969lea rbx, [r15+8]
001b796dmov [rbx-8], 2303
001b7975lea rdi, [rip+0xbdec4]
001b797cmov [rbx], rdi
001b797fmov rax, [rax+8]
001b7983dec rax
001b7986mov [rbx+8], rax
001b798amov rax, rbx
001b798dret
001b798e
001b798eloc_1b798e:
001b798ecall caml_call_gc
001b7993jmp 0x1b7969
001b7960
001b7960Stdlib.Nativeint.pred:
001b7960sub r15, 24
001b7964cmp r15, [r14]
001b7967jb 0x1b798e
001b7969
001b7969loc_1b7969:
001b7969lea rbx, [r15+8]
001b796dmov [rbx-8], 2303
001b7975lea rdi, [rip+0xbdec4]
001b797cmov [rbx], rdi
001b797fmov rax, [rax+8]
001b7983dec rax
001b7986mov [rbx+8], rax
001b798amov rax, rbx
001b798dret
001b798e
001b798eloc_1b798e:
001b798ecall caml_call_gc
001b7993jmp 0x1b7969
001b7960
001b7995
001b7995 // align 0x10
001b7995 // align 0x10
001b79a0
001b79a0Stdlib.Nativeint.abs:
001b79a0mov rbx, [rax+8]
001b79a4cmp rbx, 0
001b79a8jl 0x1b79ac
001b79aaret
001b79ab
001b79ab 90 .
001b79ac
001b79acloc_1b79ac:
001b79acsub r15, 24
001b79b0cmp r15, [r14]
001b79b3jb 0x1b79d5
001b79b5
001b79b5loc_1b79b5:
001b79b5lea rax, [r15+8]
001b79b9mov [rax-8], 2303
001b79c1lea rdi, [rip+0xbde78]
001b79c8mov [rax], rdi
001b79cbxor edi, edi
001b79cdsub rdi, rbx
001b79d0mov [rax+8], rdi
001b79d4ret
001b79d5
001b79d5loc_1b79d5:
001b79d5call caml_call_gc
001b79dajmp 0x1b79b5
001b79a0
001b79a0Stdlib.Nativeint.abs:
001b79a0mov rbx, [rax+8]
001b79a4cmp rbx, 0
001b79a8jl 0x1b79ac
001b79aaret
001b79ab
001b79ab 90 .
001b79ac
001b79acloc_1b79ac:
001b79acsub r15, 24
001b79b0cmp r15, [r14]
001b79b3jb 0x1b79d5
001b79b5
001b79b5loc_1b79b5:
001b79b5lea rax, [r15+8]
001b79b9mov [rax-8], 2303
001b79c1lea rdi, [rip+0xbde78]
001b79c8mov [rax], rdi
001b79cbxor edi, edi
001b79cdsub rdi, rbx
001b79d0mov [rax+8], rdi
001b79d4ret
001b79d5
001b79d5loc_1b79d5:
001b79d5call caml_call_gc
001b79dajmp 0x1b79b5
001b79a0
001b79dc
001b79dc // align 0x10
001b79dc // align 0x10
001b79e0
001b79e0Stdlib.Nativeint.lognot:
001b79e0sub r15, 24
001b79e4cmp r15, [r14]
001b79e7jb 0x1b7a0f
001b79e9
001b79e9loc_1b79e9:
001b79e9lea rbx, [r15+8]
001b79edmov [rbx-8], 2303
001b79f5lea rdi, [rip+0xbde44]
001b79fcmov [rbx], rdi
001b79ffmov rax, [rax+8]
001b7a03xor rax, -1
001b7a07mov [rbx+8], rax
001b7a0bmov rax, rbx
001b7a0eret
001b7a0f
001b7a0floc_1b7a0f:
001b7a0fcall caml_call_gc
001b7a14jmp 0x1b79e9
001b79e0
001b79e0Stdlib.Nativeint.lognot:
001b79e0sub r15, 24
001b79e4cmp r15, [r14]
001b79e7jb 0x1b7a0f
001b79e9
001b79e9loc_1b79e9:
001b79e9lea rbx, [r15+8]
001b79edmov [rbx-8], 2303
001b79f5lea rdi, [rip+0xbde44]
001b79fcmov [rbx], rdi
001b79ffmov rax, [rax+8]
001b7a03xor rax, -1
001b7a07mov [rbx+8], rax
001b7a0bmov rax, rbx
001b7a0eret
001b7a0f
001b7a0floc_1b7a0f:
001b7a0fcall caml_call_gc
001b7a14jmp 0x1b79e9
001b79e0
001b7a16
001b7a16 // align 0x10
001b7a16 // align 0x10
001b7a20
001b7a20Stdlib.Nativeint.fun:
001b7a20mov rax, [rax+8]
001b7a24cmp rax, 0
001b7a28jl 0x1b7a5c
001b7a2amov rbx, 0x3fffffffffffffff
001b7a34cmp rax, rbx
001b7a37jg 0x1b7a5c
001b7a39sub r15, 16
001b7a3dcmp r15, [r14]
001b7a40jb 0x1b7a62
001b7a42
001b7a42loc_1b7a42:
001b7a42lea rbx, [r15+8]
001b7a46mov [rbx-8], 1024
001b7a4elea rax, [rax+rax+1]
001b7a53mov [rbx], rax
001b7a56mov rax, rbx
001b7a59ret
001b7a5a
001b7a5a 66 90 f.
001b7a5c
001b7a5cloc_1b7a5c:
001b7a5cmov eax, 1
001b7a61ret
001b7a62
001b7a62loc_1b7a62:
001b7a62call caml_call_gc
001b7a67jmp 0x1b7a42
001b7a20
001b7a20Stdlib.Nativeint.fun:
001b7a20mov rax, [rax+8]
001b7a24cmp rax, 0
001b7a28jl 0x1b7a5c
001b7a2amov rbx, 0x3fffffffffffffff
001b7a34cmp rax, rbx
001b7a37jg 0x1b7a5c
001b7a39sub r15, 16
001b7a3dcmp r15, [r14]
001b7a40jb 0x1b7a62
001b7a42
001b7a42loc_1b7a42:
001b7a42lea rbx, [r15+8]
001b7a46mov [rbx-8], 1024
001b7a4elea rax, [rax+rax+1]
001b7a53mov [rbx], rax
001b7a56mov rax, rbx
001b7a59ret
001b7a5a
001b7a5a 66 90 f.
001b7a5c
001b7a5cloc_1b7a5c:
001b7a5cmov eax, 1
001b7a61ret
001b7a62
001b7a62loc_1b7a62:
001b7a62call caml_call_gc
001b7a67jmp 0x1b7a42
001b7a20
001b7a69
001b7a69 // align 0x10
001b7a69 // align 0x10
001b7a70
001b7a70Stdlib.Nativeint.to_string:
001b7a70lea rdi, [rip+0x18ca29]
001b7a77mov rsi, rax
001b7a7alea rax, [rip+0x56b1f]
001b7a81call caml_c_call
001b7a86ret
001b7a70
001b7a70Stdlib.Nativeint.to_string:
001b7a70lea rdi, [rip+0x18ca29]
001b7a77mov rsi, rax
001b7a7alea rax, [rip+0x56b1f]
001b7a81call caml_c_call
001b7a86ret
001b7a70
001b7a87
001b7a87 // align 0x10
001b7a87 // align 0x10
001b7a90
001b7a90Stdlib.Nativeint.of_string_opt:
001b7a90lea r11, [rip+61]
001b7a97push r11
001b7a99push [r14+48]
001b7a9dmov [r14+48], rsp
001b7aa1mov rdi, rax
001b7aa4lea rax, [rip+0x56b55]
001b7aabcall caml_c_call
001b7ab0sub r15, 16
001b7ab4cmp r15, [r14]
001b7ab7jb 0x1b7afc
001b7ab9
001b7ab9loc_1b7ab9:
001b7ab9lea rbx, [r15+8]
001b7abdmov [rbx-8], 1024
001b7ac5mov [rbx], rax
001b7ac8pop [r14+48]
001b7accadd rsp, 8
001b7ad0jmp 0x1b7af8
001b7ad2
001b7ad2 66 90 f.
001b7ad4lea rbx, [rip+0x175b3d]
001b7adbmov rbx, [rbx+48]
001b7adfmov rdi, [rax]
001b7ae2cmp rdi, rbx
001b7ae5jne 0x1b7af0
001b7ae7mov eax, 1
001b7aecret
001b7aed
001b7aed 0f 1f 00 ...
001b7af0
001b7af0loc_1b7af0:
001b7af0call caml_reraise_exn
001b7af5nop [rax]
001b7af8
001b7af8loc_1b7af8:
001b7af8mov rax, rbx
001b7afbret
001b7afc
001b7afcloc_1b7afc:
001b7afccall caml_call_gc
001b7b01jmp 0x1b7ab9
001b7a90
001b7a90Stdlib.Nativeint.of_string_opt:
001b7a90lea r11, [rip+61]
001b7a97push r11
001b7a99push [r14+48]
001b7a9dmov [r14+48], rsp
001b7aa1mov rdi, rax
001b7aa4lea rax, [rip+0x56b55]
001b7aabcall caml_c_call
001b7ab0sub r15, 16
001b7ab4cmp r15, [r14]
001b7ab7jb 0x1b7afc
001b7ab9
001b7ab9loc_1b7ab9:
001b7ab9lea rbx, [r15+8]
001b7abdmov [rbx-8], 1024
001b7ac5mov [rbx], rax
001b7ac8pop [r14+48]
001b7accadd rsp, 8
001b7ad0jmp 0x1b7af8
001b7ad2
001b7ad2 66 90 f.
001b7ad4lea rbx, [rip+0x175b3d]
001b7adbmov rbx, [rbx+48]
001b7adfmov rdi, [rax]
001b7ae2cmp rdi, rbx
001b7ae5jne 0x1b7af0
001b7ae7mov eax, 1
001b7aecret
001b7aed
001b7aed 0f 1f 00 ...
001b7af0
001b7af0loc_1b7af0:
001b7af0call caml_reraise_exn
001b7af5nop [rax]
001b7af8
001b7af8loc_1b7af8:
001b7af8mov rax, rbx
001b7afbret
001b7afc
001b7afcloc_1b7afc:
001b7afccall caml_call_gc
001b7b01jmp 0x1b7ab9
001b7a90
001b7b03
001b7b03 // align 0x10
001b7b03 // align 0x10
001b7b10
001b7b10Stdlib.Nativeint.compare:
001b7b10mov rbx, [rbx+8]
001b7b14mov rdi, [rax+8]
001b7b18cmp rdi, rbx
001b7b1bsetl al
001b7b1emovzx rsi, al
001b7b22cmp rdi, rbx
001b7b25setg al
001b7b28movzx rax, al
001b7b2csub rax, rsi
001b7b2flea rax, [rax+rax+1]
001b7b34ret
001b7b10
001b7b10Stdlib.Nativeint.compare:
001b7b10mov rbx, [rbx+8]
001b7b14mov rdi, [rax+8]
001b7b18cmp rdi, rbx
001b7b1bsetl al
001b7b1emovzx rsi, al
001b7b22cmp rdi, rbx
001b7b25setg al
001b7b28movzx rax, al
001b7b2csub rax, rsi
001b7b2flea rax, [rax+rax+1]
001b7b34ret
001b7b10
001b7b35
001b7b35 // align 0x10
001b7b35 // align 0x10
001b7b40
001b7b40Stdlib.Nativeint.equal:
001b7b40mov rbx, [rbx+8]
001b7b44mov rax, [rax+8]
001b7b48cmp rax, rbx
001b7b4bsete al
001b7b4emovzx rax, al
001b7b52lea rax, [rax+rax+1]
001b7b57ret
001b7b40
001b7b40Stdlib.Nativeint.equal:
001b7b40mov rbx, [rbx+8]
001b7b44mov rax, [rax+8]
001b7b48cmp rax, rbx
001b7b4bsete al
001b7b4emovzx rax, al
001b7b52lea rax, [rax+rax+1]
001b7b57ret
001b7b40
001b7b58
001b7b58 // align 0x10
001b7b58 // align 0x10
001b7b60
001b7b60Stdlib.Nativeint.unsigned_compare:
001b7b60mov rdi, 0x8000000000000000
001b7b6amov rbx, [rbx+8]
001b7b6esub rbx, rdi
001b7b71mov rdi, 0x8000000000000000
001b7b7bmov rsi, [rax+8]
001b7b7fsub rsi, rdi
001b7b82cmp rsi, rbx
001b7b85setl al
001b7b88movzx rdi, al
001b7b8ccmp rsi, rbx
001b7b8fsetg al
001b7b92movzx rax, al
001b7b96sub rax, rdi
001b7b99lea rax, [rax+rax+1]
001b7b9eret
001b7b60
001b7b60Stdlib.Nativeint.unsigned_compare:
001b7b60mov rdi, 0x8000000000000000
001b7b6amov rbx, [rbx+8]
001b7b6esub rbx, rdi
001b7b71mov rdi, 0x8000000000000000
001b7b7bmov rsi, [rax+8]
001b7b7fsub rsi, rdi
001b7b82cmp rsi, rbx
001b7b85setl al
001b7b88movzx rdi, al
001b7b8ccmp rsi, rbx
001b7b8fsetg al
001b7b92movzx rax, al
001b7b96sub rax, rdi
001b7b99lea rax, [rax+rax+1]
001b7b9eret
001b7b60
001b7b9f
001b7b9f // align 0x10
001b7b9f // align 0x10
001b7ba0
001b7ba0Stdlib.Nativeint.unsigned_lt:
001b7ba0mov rdi, 0x8000000000000000
001b7baamov rbx, [rbx+8]
001b7baesub rbx, rdi
001b7bb1mov rdi, 0x8000000000000000
001b7bbbmov rax, [rax+8]
001b7bbfsub rax, rdi
001b7bc2cmp rax, rbx
001b7bc5setl al
001b7bc8movzx rax, al
001b7bcclea rax, [rax+rax+1]
001b7bd1ret
001b7ba0
001b7ba0Stdlib.Nativeint.unsigned_lt:
001b7ba0mov rdi, 0x8000000000000000
001b7baamov rbx, [rbx+8]
001b7baesub rbx, rdi
001b7bb1mov rdi, 0x8000000000000000
001b7bbbmov rax, [rax+8]
001b7bbfsub rax, rdi
001b7bc2cmp rax, rbx
001b7bc5setl al
001b7bc8movzx rax, al
001b7bcclea rax, [rax+rax+1]
001b7bd1ret
001b7ba0
001b7bd2
001b7bd2 // align 0x10
001b7bd2 // align 0x10
001b7be0
001b7be0Stdlib.Nativeint.min:
001b7be0mov rdi, [rbx+8]
001b7be4mov rsi, [rax+8]
001b7be8cmp rsi, rdi
001b7bebjg 0x1b7bf0
001b7bedret
001b7bee
001b7bee 66 90 f.
001b7bf0
001b7bf0loc_1b7bf0:
001b7bf0mov rax, rbx
001b7bf3ret
001b7be0
001b7be0Stdlib.Nativeint.min:
001b7be0mov rdi, [rbx+8]
001b7be4mov rsi, [rax+8]
001b7be8cmp rsi, rdi
001b7bebjg 0x1b7bf0
001b7bedret
001b7bee
001b7bee 66 90 f.
001b7bf0
001b7bf0loc_1b7bf0:
001b7bf0mov rax, rbx
001b7bf3ret
001b7be0
001b7bf4
001b7bf4 // align 0x10
001b7bf4 // align 0x10
001b7c00
001b7c00Stdlib.Nativeint.max:
001b7c00mov rdi, [rbx+8]
001b7c04mov rsi, [rax+8]
001b7c08cmp rsi, rdi
001b7c0bjl 0x1b7c10
001b7c0dret
001b7c0e
001b7c0e 66 90 f.
001b7c10
001b7c10loc_1b7c10:
001b7c10mov rax, rbx
001b7c13ret
001b7c00
001b7c00Stdlib.Nativeint.max:
001b7c00mov rdi, [rbx+8]
001b7c04mov rsi, [rax+8]
001b7c08cmp rsi, rdi
001b7c0bjl 0x1b7c10
001b7c0dret
001b7c0e
001b7c0e 66 90 f.
001b7c10
001b7c10loc_1b7c10:
001b7c10mov rax, rbx
001b7c13ret
001b7c00
001b7c14
001b7c14 // align 0x10
001b7c14 // align 0x10
001b7c20
001b7c20Stdlib.Nativeint.unsigned_div:
001b7c20mov rsi, rax
001b7c23mov rcx, [rbx+8]
001b7c27cmp rcx, 0
001b7c2bjge 0x1b7c60
001b7c2dmov rax, 0x8000000000000000
001b7c37sub rcx, rax
001b7c3amov rax, 0x8000000000000000
001b7c44mov rbx, [rsi+8]
001b7c48sub rbx, rax
001b7c4bcmp rbx, rcx
001b7c4ejge 0x1b7c58
001b7c50lea rax, [rip+0x18c8d1]
001b7c57ret
001b7c58
001b7c58loc_1b7c58:
001b7c58lea rax, [rip+0x18c8b1]
001b7c5fret
001b7c60
001b7c60loc_1b7c60:
001b7c60mov rax, [rsi+8]
001b7c64shr rax, 1
001b7c67cmp rcx, -1
001b7c6bje 0x1b7c88
001b7c6dtest rcx, rcx
001b7c70je 0x1b7c7c
001b7c72cqo
001b7c74idiv rcx
001b7c77mov rdi, rax
001b7c7ajmp 0x1b7c8d
001b7c7c
001b7c7cloc_1b7c7c:
001b7c7clea rax, [rip+0xbe48d]
001b7c83call caml_raise_exn
001b7c88
001b7c88loc_1b7c88:
001b7c88xor edi, edi
001b7c8asub rdi, rax
001b7c8d
001b7c8dloc_1b7c8d:
001b7c8dshl rdi, 1
001b7c90mov rax, [rbx+8]
001b7c94mov rbx, rdi
001b7c97imul rbx, rax
001b7c9bmov rsi, [rsi+8]
001b7c9fsub rsi, rbx
001b7ca2mov rbx, 0x8000000000000000
001b7cacsub rax, rbx
001b7cafmov rbx, 0x8000000000000000
001b7cb9sub rsi, rbx
001b7cbccmp rsi, rax
001b7cbfjge 0x1b7ce8
001b7cc1sub r15, 24
001b7cc5cmp r15, [r14]
001b7cc8jb 0x1b7d16
001b7cca
001b7ccaloc_1b7cca:
001b7ccalea rax, [r15+8]
001b7ccemov [rax-8], 2303
001b7cd6lea rbx, [rip+0xbdb63]
001b7cddmov [rax], rbx
001b7ce0mov [rax+8], rdi
001b7ce4ret
001b7ce5
001b7ce5 0f 1f 00 ...
001b7ce8
001b7ce8loc_1b7ce8:
001b7ce8sub r15, 24
001b7ceccmp r15, [r14]
001b7cefjb 0x1b7d0f
001b7cf1
001b7cf1loc_1b7cf1:
001b7cf1lea rax, [r15+8]
001b7cf5mov [rax-8], 2303
001b7cfdlea rbx, [rip+0xbdb3c]
001b7d04mov [rax], rbx
001b7d07inc rdi
001b7d0amov [rax+8], rdi
001b7d0eret
001b7d0f
001b7d0floc_1b7d0f:
001b7d0fcall caml_call_gc
001b7d14jmp 0x1b7cf1
001b7d16
001b7d16loc_1b7d16:
001b7d16call caml_call_gc
001b7d1bjmp 0x1b7cca
001b7c20
001b7c20Stdlib.Nativeint.unsigned_div:
001b7c20mov rsi, rax
001b7c23mov rcx, [rbx+8]
001b7c27cmp rcx, 0
001b7c2bjge 0x1b7c60
001b7c2dmov rax, 0x8000000000000000
001b7c37sub rcx, rax
001b7c3amov rax, 0x8000000000000000
001b7c44mov rbx, [rsi+8]
001b7c48sub rbx, rax
001b7c4bcmp rbx, rcx
001b7c4ejge 0x1b7c58
001b7c50lea rax, [rip+0x18c8d1]
001b7c57ret
001b7c58
001b7c58loc_1b7c58:
001b7c58lea rax, [rip+0x18c8b1]
001b7c5fret
001b7c60
001b7c60loc_1b7c60:
001b7c60mov rax, [rsi+8]
001b7c64shr rax, 1
001b7c67cmp rcx, -1
001b7c6bje 0x1b7c88
001b7c6dtest rcx, rcx
001b7c70je 0x1b7c7c
001b7c72cqo
001b7c74idiv rcx
001b7c77mov rdi, rax
001b7c7ajmp 0x1b7c8d
001b7c7c
001b7c7cloc_1b7c7c:
001b7c7clea rax, [rip+0xbe48d]
001b7c83call caml_raise_exn
001b7c88
001b7c88loc_1b7c88:
001b7c88xor edi, edi
001b7c8asub rdi, rax
001b7c8d
001b7c8dloc_1b7c8d:
001b7c8dshl rdi, 1
001b7c90mov rax, [rbx+8]
001b7c94mov rbx, rdi
001b7c97imul rbx, rax
001b7c9bmov rsi, [rsi+8]
001b7c9fsub rsi, rbx
001b7ca2mov rbx, 0x8000000000000000
001b7cacsub rax, rbx
001b7cafmov rbx, 0x8000000000000000
001b7cb9sub rsi, rbx
001b7cbccmp rsi, rax
001b7cbfjge 0x1b7ce8
001b7cc1sub r15, 24
001b7cc5cmp r15, [r14]
001b7cc8jb 0x1b7d16
001b7cca
001b7ccaloc_1b7cca:
001b7ccalea rax, [r15+8]
001b7ccemov [rax-8], 2303
001b7cd6lea rbx, [rip+0xbdb63]
001b7cddmov [rax], rbx
001b7ce0mov [rax+8], rdi
001b7ce4ret
001b7ce5
001b7ce5 0f 1f 00 ...
001b7ce8
001b7ce8loc_1b7ce8:
001b7ce8sub r15, 24
001b7ceccmp r15, [r14]
001b7cefjb 0x1b7d0f
001b7cf1
001b7cf1loc_1b7cf1:
001b7cf1lea rax, [r15+8]
001b7cf5mov [rax-8], 2303
001b7cfdlea rbx, [rip+0xbdb3c]
001b7d04mov [rax], rbx
001b7d07inc rdi
001b7d0amov [rax+8], rdi
001b7d0eret
001b7d0f
001b7d0floc_1b7d0f:
001b7d0fcall caml_call_gc
001b7d14jmp 0x1b7cf1
001b7d16
001b7d16loc_1b7d16:
001b7d16call caml_call_gc
001b7d1bjmp 0x1b7cca
001b7c20
001b7d1d
001b7d1d // align 0x10
001b7d1d // align 0x10
001b7d20
001b7d20Stdlib.Nativeint.unsigned_rem:
001b7d20lea r10, [rsp-336]
001b7d28cmp r10, [r14+40]
001b7d2cjb 0x1b7d8e
001b7d2e
001b7d2eloc_1b7d2e:
001b7d2esub rsp, 16
001b7d32mov [rsp+8], rax
001b7d37mov [rsp], rbx
001b7d3bcall Stdlib.Nativeint.unsigned_div
001b7d40add rax, 8
001b7d44mov rax, [rax]
001b7d47mov rbx, [rsp]
001b7d4bmov rbx, [rbx+8]
001b7d4fimul rax, rbx
001b7d53mov rbx, [rsp+8]
001b7d58mov rbx, [rbx+8]
001b7d5csub rbx, rax
001b7d5fsub r15, 24
001b7d63cmp r15, [r14]
001b7d66jb 0x1b7d87
001b7d68
001b7d68loc_1b7d68:
001b7d68lea rax, [r15+8]
001b7d6cmov [rax-8], 2303
001b7d74lea rdi, [rip+0xbdac5]
001b7d7bmov [rax], rdi
001b7d7emov [rax+8], rbx
001b7d82add rsp, 16
001b7d86ret
001b7d87
001b7d87loc_1b7d87:
001b7d87call caml_call_gc
001b7d8cjmp 0x1b7d68
001b7d8e
001b7d8eloc_1b7d8e:
001b7d8epush 35
001b7d90call caml_call_realloc_stack
001b7d95pop r10
001b7d97jmp 0x1b7d2e
001b7d20
001b7d20Stdlib.Nativeint.unsigned_rem:
001b7d20lea r10, [rsp-336]
001b7d28cmp r10, [r14+40]
001b7d2cjb 0x1b7d8e
001b7d2e
001b7d2eloc_1b7d2e:
001b7d2esub rsp, 16
001b7d32mov [rsp+8], rax
001b7d37mov [rsp], rbx
001b7d3bcall Stdlib.Nativeint.unsigned_div
001b7d40add rax, 8
001b7d44mov rax, [rax]
001b7d47mov rbx, [rsp]
001b7d4bmov rbx, [rbx+8]
001b7d4fimul rax, rbx
001b7d53mov rbx, [rsp+8]
001b7d58mov rbx, [rbx+8]
001b7d5csub rbx, rax
001b7d5fsub r15, 24
001b7d63cmp r15, [r14]
001b7d66jb 0x1b7d87
001b7d68
001b7d68loc_1b7d68:
001b7d68lea rax, [r15+8]
001b7d6cmov [rax-8], 2303
001b7d74lea rdi, [rip+0xbdac5]
001b7d7bmov [rax], rdi
001b7d7emov [rax+8], rbx
001b7d82add rsp, 16
001b7d86ret
001b7d87
001b7d87loc_1b7d87:
001b7d87call caml_call_gc
001b7d8cjmp 0x1b7d68
001b7d8e
001b7d8eloc_1b7d8e:
001b7d8epush 35
001b7d90call caml_call_realloc_stack
001b7d95pop r10
001b7d97jmp 0x1b7d2e
001b7d20
001b7d99
001b7d99 // align 0x10
001b7d99 // align 0x10
001b7da0
001b7da0Stdlib.Nativeint.seeded_hash:
001b7da0mov esi, 201
001b7da5mov edi, 21
001b7daamov rdx, rax
001b7dadmov rcx, rbx
001b7db0mov rbx, rsp
001b7db3mov rsp, [r14+64]
001b7db7call caml_hash
001b7dbcmov rsp, rbx
001b7dbfret
001b7da0
001b7da0Stdlib.Nativeint.seeded_hash:
001b7da0mov esi, 201
001b7da5mov edi, 21
001b7daamov rdx, rax
001b7dadmov rcx, rbx
001b7db0mov rbx, rsp
001b7db3mov rsp, [r14+64]
001b7db7call caml_hash
001b7dbcmov rsp, rbx
001b7dbfret
001b7da0
001b7dc0
001b7dc0Stdlib.Nativeint.hash:
001b7dc0mov edx, 1
001b7dc5mov esi, 201
001b7dcamov edi, 21
001b7dcfmov rcx, rax
001b7dd2mov rbx, rsp
001b7dd5mov rsp, [r14+64]
001b7dd9call caml_hash
001b7ddemov rsp, rbx
001b7de1ret
001b7dc0
001b7dc0Stdlib.Nativeint.hash:
001b7dc0mov edx, 1
001b7dc5mov esi, 201
001b7dcamov edi, 21
001b7dcfmov rcx, rax
001b7dd2mov rbx, rsp
001b7dd5mov rsp, [r14+64]
001b7dd9call caml_hash
001b7ddemov rsp, rbx
001b7de1ret
001b7dc0
001b7de2
001b7de2 // align 0x10
001b7de2 // align 0x10
001b7df0
001b7df0Stdlib.Nativeint.entry:
001b7df0lea rsi, [rip+0x18c731]
001b7df7lea rdi, [rip+0x18c5d2]
001b7dfemov rbx, rsp
001b7e01mov rsp, [r14+64]
001b7e05call caml_initialize
001b7e0amov rsp, rbx
001b7e0dlea rsi, [rip+0x18c6fc]
001b7e14lea rdi, [rip+0x18c5b5]
001b7e1badd rdi, 8
001b7e1fmov rbx, rsp
001b7e22mov rsp, [r14+64]
001b7e26call caml_initialize
001b7e2bmov rsp, rbx
001b7e2elea rsi, [rip+0x18c6c3]
001b7e35lea rdi, [rip+0x18c594]
001b7e3cadd rdi, 16
001b7e40mov rbx, rsp
001b7e43mov rsp, [r14+64]
001b7e47call caml_initialize
001b7e4cmov rsp, rbx
001b7e4flea rsi, [rip+0x18c3d2]
001b7e56lea rdi, [rip+0x18c573]
001b7e5dadd rdi, 40
001b7e61mov rbx, rsp
001b7e64mov rsp, [r14+64]
001b7e68call caml_initialize
001b7e6dmov rsp, rbx
001b7e70lea rsi, [rip+0x18c3c9]
001b7e77lea rdi, [rip+0x18c552]
001b7e7eadd rdi, 48
001b7e82mov rbx, rsp
001b7e85mov rsp, [r14+64]
001b7e89call caml_initialize
001b7e8emov rsp, rbx
001b7e91lea rsi, [rip+0x18c3c0]
001b7e98lea rdi, [rip+0x18c531]
001b7e9fadd rdi, 56
001b7ea3mov rbx, rsp
001b7ea6mov rsp, [r14+64]
001b7eaacall caml_initialize
001b7eafmov rsp, rbx
001b7eb2mov esi, 129
001b7eb7lea rdi, [rip+0x18c512]
001b7ebeadd rdi, 64
001b7ec2mov rbx, rsp
001b7ec5mov rsp, [r14+64]
001b7ec9call caml_initialize
001b7ecemov rsp, rbx
001b7ed1lea rsi, [rip+0x18c608]
001b7ed8lea rdi, [rip+0x18c4f1]
001b7edfadd rdi, 80
001b7ee3mov rbx, rsp
001b7ee6mov rsp, [r14+64]
001b7eeacall caml_initialize
001b7eefmov rsp, rbx
001b7ef2lea rsi, [rip+0x18c5cf]
001b7ef9lea rdi, [rip+0x18c4d0]
001b7f00add rdi, 72
001b7f04mov rbx, rsp
001b7f07mov rsp, [r14+64]
001b7f0bcall caml_initialize
001b7f10mov rsp, rbx
001b7f13lea rsi, [rip+0x18c356]
001b7f1alea rdi, [rip+0x18c4af]
001b7f21add rdi, 88
001b7f25mov rbx, rsp
001b7f28mov rsp, [r14+64]
001b7f2ccall caml_initialize
001b7f31mov rsp, rbx
001b7f34lea rsi, [rip+0x18c34d]
001b7f3blea rdi, [rip+0x18c48e]
001b7f42add rdi, 96
001b7f46mov rbx, rsp
001b7f49mov rsp, [r14+64]
001b7f4dcall caml_initialize
001b7f52mov rsp, rbx
001b7f55lea rsi, [rip+0x18c344]
001b7f5clea rdi, [rip+0x18c46d]
001b7f63add rdi, 112
001b7f67mov rbx, rsp
001b7f6amov rsp, [r14+64]
001b7f6ecall caml_initialize
001b7f73mov rsp, rbx
001b7f76lea rsi, [rip+0x18c33b]
001b7f7dlea rdi, [rip+0x18c44c]
001b7f84add rdi, 104
001b7f88mov rbx, rsp
001b7f8bmov rsp, [r14+64]
001b7f8fcall caml_initialize
001b7f94mov rsp, rbx
001b7f97lea rsi, [rip+0x18c332]
001b7f9elea rdi, [rip+0x18c42b]
001b7fa5add rdi, 120
001b7fa9mov rbx, rsp
001b7facmov rsp, [r14+64]
001b7fb0call caml_initialize
001b7fb5mov rsp, rbx
001b7fb8lea rsi, [rip+0x18c331]
001b7fbflea rdi, [rip+0x18c40a]
001b7fc6add rdi, 136
001b7fcdmov rbx, rsp
001b7fd0mov rsp, [r14+64]
001b7fd4call caml_initialize
001b7fd9mov rsp, rbx
001b7fdclea rsi, [rip+0x18c32d]
001b7fe3lea rdi, [rip+0x18c3e6]
001b7feaadd rdi, 128
001b7ff1mov rbx, rsp
001b7ff4mov rsp, [r14+64]
001b7ff8call caml_initialize
001b7ffdmov rsp, rbx
001b8000lea rsi, [rip+0x18c329]
001b8007lea rdi, [rip+0x18c3c2]
001b800eadd rdi, 176
001b8015mov rbx, rsp
001b8018mov rsp, [r14+64]
001b801ccall caml_initialize
001b8021mov rsp, rbx
001b8024lea rsi, [rip+0x18c325]
001b802blea rdi, [rip+0x18c39e]
001b8032add rdi, 144
001b8039mov rbx, rsp
001b803cmov rsp, [r14+64]
001b8040call caml_initialize
001b8045mov rsp, rbx
001b8048lea rsi, [rip+0x18c321]
001b804flea rdi, [rip+0x18c37a]
001b8056add rdi, 152
001b805dmov rbx, rsp
001b8060mov rsp, [r14+64]
001b8064call caml_initialize
001b8069mov rsp, rbx
001b806clea rsi, [rip+0x18c31d]
001b8073lea rdi, [rip+0x18c356]
001b807aadd rdi, 24
001b807emov rbx, rsp
001b8081mov rsp, [r14+64]
001b8085call caml_initialize
001b808amov rsp, rbx
001b808dlea rsi, [rip+0x18c31c]
001b8094lea rdi, [rip+0x18c335]
001b809badd rdi, 32
001b809fmov rbx, rsp
001b80a2mov rsp, [r14+64]
001b80a6call caml_initialize
001b80abmov rsp, rbx
001b80aelea rsi, [rip+0x18c13b]
001b80b5lea rdi, [rip+0x18c314]
001b80bcadd rdi, 160
001b80c3mov rbx, rsp
001b80c6mov rsp, [r14+64]
001b80cacall caml_initialize
001b80cfmov rsp, rbx
001b80d2lea rsi, [rip+0x18c137]
001b80d9lea rdi, [rip+0x18c2f0]
001b80e0add rdi, 168
001b80e7mov rbx, rsp
001b80eamov rsp, [r14+64]
001b80eecall caml_initialize
001b80f3mov rsp, rbx
001b80f6mov eax, 1
001b80fbret
001b7df0
001b7df0Stdlib.Nativeint.entry:
001b7df0lea rsi, [rip+0x18c731]
001b7df7lea rdi, [rip+0x18c5d2]
001b7dfemov rbx, rsp
001b7e01mov rsp, [r14+64]
001b7e05call caml_initialize
001b7e0amov rsp, rbx
001b7e0dlea rsi, [rip+0x18c6fc]
001b7e14lea rdi, [rip+0x18c5b5]
001b7e1badd rdi, 8
001b7e1fmov rbx, rsp
001b7e22mov rsp, [r14+64]
001b7e26call caml_initialize
001b7e2bmov rsp, rbx
001b7e2elea rsi, [rip+0x18c6c3]
001b7e35lea rdi, [rip+0x18c594]
001b7e3cadd rdi, 16
001b7e40mov rbx, rsp
001b7e43mov rsp, [r14+64]
001b7e47call caml_initialize
001b7e4cmov rsp, rbx
001b7e4flea rsi, [rip+0x18c3d2]
001b7e56lea rdi, [rip+0x18c573]
001b7e5dadd rdi, 40
001b7e61mov rbx, rsp
001b7e64mov rsp, [r14+64]
001b7e68call caml_initialize
001b7e6dmov rsp, rbx
001b7e70lea rsi, [rip+0x18c3c9]
001b7e77lea rdi, [rip+0x18c552]
001b7e7eadd rdi, 48
001b7e82mov rbx, rsp
001b7e85mov rsp, [r14+64]
001b7e89call caml_initialize
001b7e8emov rsp, rbx
001b7e91lea rsi, [rip+0x18c3c0]
001b7e98lea rdi, [rip+0x18c531]
001b7e9fadd rdi, 56
001b7ea3mov rbx, rsp
001b7ea6mov rsp, [r14+64]
001b7eaacall caml_initialize
001b7eafmov rsp, rbx
001b7eb2mov esi, 129
001b7eb7lea rdi, [rip+0x18c512]
001b7ebeadd rdi, 64
001b7ec2mov rbx, rsp
001b7ec5mov rsp, [r14+64]
001b7ec9call caml_initialize
001b7ecemov rsp, rbx
001b7ed1lea rsi, [rip+0x18c608]
001b7ed8lea rdi, [rip+0x18c4f1]
001b7edfadd rdi, 80
001b7ee3mov rbx, rsp
001b7ee6mov rsp, [r14+64]
001b7eeacall caml_initialize
001b7eefmov rsp, rbx
001b7ef2lea rsi, [rip+0x18c5cf]
001b7ef9lea rdi, [rip+0x18c4d0]
001b7f00add rdi, 72
001b7f04mov rbx, rsp
001b7f07mov rsp, [r14+64]
001b7f0bcall caml_initialize
001b7f10mov rsp, rbx
001b7f13lea rsi, [rip+0x18c356]
001b7f1alea rdi, [rip+0x18c4af]
001b7f21add rdi, 88
001b7f25mov rbx, rsp
001b7f28mov rsp, [r14+64]
001b7f2ccall caml_initialize
001b7f31mov rsp, rbx
001b7f34lea rsi, [rip+0x18c34d]
001b7f3blea rdi, [rip+0x18c48e]
001b7f42add rdi, 96
001b7f46mov rbx, rsp
001b7f49mov rsp, [r14+64]
001b7f4dcall caml_initialize
001b7f52mov rsp, rbx
001b7f55lea rsi, [rip+0x18c344]
001b7f5clea rdi, [rip+0x18c46d]
001b7f63add rdi, 112
001b7f67mov rbx, rsp
001b7f6amov rsp, [r14+64]
001b7f6ecall caml_initialize
001b7f73mov rsp, rbx
001b7f76lea rsi, [rip+0x18c33b]
001b7f7dlea rdi, [rip+0x18c44c]
001b7f84add rdi, 104
001b7f88mov rbx, rsp
001b7f8bmov rsp, [r14+64]
001b7f8fcall caml_initialize
001b7f94mov rsp, rbx
001b7f97lea rsi, [rip+0x18c332]
001b7f9elea rdi, [rip+0x18c42b]
001b7fa5add rdi, 120
001b7fa9mov rbx, rsp
001b7facmov rsp, [r14+64]
001b7fb0call caml_initialize
001b7fb5mov rsp, rbx
001b7fb8lea rsi, [rip+0x18c331]
001b7fbflea rdi, [rip+0x18c40a]
001b7fc6add rdi, 136
001b7fcdmov rbx, rsp
001b7fd0mov rsp, [r14+64]
001b7fd4call caml_initialize
001b7fd9mov rsp, rbx
001b7fdclea rsi, [rip+0x18c32d]
001b7fe3lea rdi, [rip+0x18c3e6]
001b7feaadd rdi, 128
001b7ff1mov rbx, rsp
001b7ff4mov rsp, [r14+64]
001b7ff8call caml_initialize
001b7ffdmov rsp, rbx
001b8000lea rsi, [rip+0x18c329]
001b8007lea rdi, [rip+0x18c3c2]
001b800eadd rdi, 176
001b8015mov rbx, rsp
001b8018mov rsp, [r14+64]
001b801ccall caml_initialize
001b8021mov rsp, rbx
001b8024lea rsi, [rip+0x18c325]
001b802blea rdi, [rip+0x18c39e]
001b8032add rdi, 144
001b8039mov rbx, rsp
001b803cmov rsp, [r14+64]
001b8040call caml_initialize
001b8045mov rsp, rbx
001b8048lea rsi, [rip+0x18c321]
001b804flea rdi, [rip+0x18c37a]
001b8056add rdi, 152
001b805dmov rbx, rsp
001b8060mov rsp, [r14+64]
001b8064call caml_initialize
001b8069mov rsp, rbx
001b806clea rsi, [rip+0x18c31d]
001b8073lea rdi, [rip+0x18c356]
001b807aadd rdi, 24
001b807emov rbx, rsp
001b8081mov rsp, [r14+64]
001b8085call caml_initialize
001b808amov rsp, rbx
001b808dlea rsi, [rip+0x18c31c]
001b8094lea rdi, [rip+0x18c335]
001b809badd rdi, 32
001b809fmov rbx, rsp
001b80a2mov rsp, [r14+64]
001b80a6call caml_initialize
001b80abmov rsp, rbx
001b80aelea rsi, [rip+0x18c13b]
001b80b5lea rdi, [rip+0x18c314]
001b80bcadd rdi, 160
001b80c3mov rbx, rsp
001b80c6mov rsp, [r14+64]
001b80cacall caml_initialize
001b80cfmov rsp, rbx
001b80d2lea rsi, [rip+0x18c137]
001b80d9lea rdi, [rip+0x18c2f0]
001b80e0add rdi, 168
001b80e7mov rbx, rsp
001b80eamov rsp, [r14+64]
001b80eecall caml_initialize
001b80f3mov rsp, rbx
001b80f6mov eax, 1
001b80fbret
001b7df0
001b80fc
001b80fc // align 0x10
001b80fc // align 0x10
001b8100
001b8100Stdlib.Lexing.engine:
001b8100sub rsp, 8
001b8104mov rdx, rdi
001b8107mov [rsp], rdx
001b810bmov rdi, rax
001b810emov rsi, rbx
001b8111lea rax, [rip+0x59438]
001b8118call caml_c_call
001b811dmov r13, rax
001b8120cmp r13, 1
001b8124jl 0x1b81ae
001b812alea rax, [rip+0x18cb17]
001b8131mov r12, [rsp]
001b8135mov rsi, [r12+88]
001b813acmp rsi, rax
001b813dje 0x1b81ae
001b813fmov rdi, r12
001b8142add rdi, 80
001b8146mov rbx, rsp
001b8149mov rsp, [r14+64]
001b814dcall caml_modify
001b8152mov rsp, rbx
001b8155mov rax, [r12+88]
001b815asub r15, 40
001b815ecmp r15, [r14]
001b8161jb 0x1b81b6
001b8163
001b8163loc_1b8163:
001b8163lea rsi, [r15+8]
001b8167mov [rsi-8], 4096
001b816fmov rbx, [rax]
001b8172mov [rsi], rbx
001b8175mov rbx, [rax+8]
001b8179mov [rsi+8], rbx
001b817dmov rax, [rax+16]
001b8181mov [rsi+16], rax
001b8185mov rax, [r12+40]
001b818amov rbx, [r12+24]
001b818flea rax, [rbx+rax-1]
001b8194mov [rsi+24], rax
001b8198mov rdi, r12
001b819badd rdi, 88
001b819fmov rbx, rsp
001b81a2mov rsp, [r14+64]
001b81a6call caml_modify
001b81abmov rsp, rbx
001b81ae
001b81aeloc_1b81ae:
001b81aemov rax, r13
001b81b1add rsp, 8
001b81b5ret
001b81b6
001b81b6loc_1b81b6:
001b81b6call caml_call_gc
001b81bbjmp 0x1b8163
001b8100
001b8100Stdlib.Lexing.engine:
001b8100sub rsp, 8
001b8104mov rdx, rdi
001b8107mov [rsp], rdx
001b810bmov rdi, rax
001b810emov rsi, rbx
001b8111lea rax, [rip+0x59438]
001b8118call caml_c_call
001b811dmov r13, rax
001b8120cmp r13, 1
001b8124jl 0x1b81ae
001b812alea rax, [rip+0x18cb17]
001b8131mov r12, [rsp]
001b8135mov rsi, [r12+88]
001b813acmp rsi, rax
001b813dje 0x1b81ae
001b813fmov rdi, r12
001b8142add rdi, 80
001b8146mov rbx, rsp
001b8149mov rsp, [r14+64]
001b814dcall caml_modify
001b8152mov rsp, rbx
001b8155mov rax, [r12+88]
001b815asub r15, 40
001b815ecmp r15, [r14]
001b8161jb 0x1b81b6
001b8163
001b8163loc_1b8163:
001b8163lea rsi, [r15+8]
001b8167mov [rsi-8], 4096
001b816fmov rbx, [rax]
001b8172mov [rsi], rbx
001b8175mov rbx, [rax+8]
001b8179mov [rsi+8], rbx
001b817dmov rax, [rax+16]
001b8181mov [rsi+16], rax
001b8185mov rax, [r12+40]
001b818amov rbx, [r12+24]
001b818flea rax, [rbx+rax-1]
001b8194mov [rsi+24], rax
001b8198mov rdi, r12
001b819badd rdi, 88
001b819fmov rbx, rsp
001b81a2mov rsp, [r14+64]
001b81a6call caml_modify
001b81abmov rsp, rbx
001b81ae
001b81aeloc_1b81ae:
001b81aemov rax, r13
001b81b1add rsp, 8
001b81b5ret
001b81b6
001b81b6loc_1b81b6:
001b81b6call caml_call_gc
001b81bbjmp 0x1b8163
001b8100
001b81bd
001b81bd // align 0x10
001b81bd // align 0x10
001b81c0
001b81c0Stdlib.Lexing.new_engine:
001b81c0sub rsp, 8
001b81c4mov rdx, rdi
001b81c7mov [rsp], rdx
001b81cbmov rdi, rax
001b81cemov rsi, rbx
001b81d1lea rax, [rip+0x594e8]
001b81d8call caml_c_call
001b81ddmov r13, rax
001b81e0cmp r13, 1
001b81e4jl 0x1b826e
001b81ealea rax, [rip+0x18ca57]
001b81f1mov r12, [rsp]
001b81f5mov rsi, [r12+88]
001b81facmp rsi, rax
001b81fdje 0x1b826e
001b81ffmov rdi, r12
001b8202add rdi, 80
001b8206mov rbx, rsp
001b8209mov rsp, [r14+64]
001b820dcall caml_modify
001b8212mov rsp, rbx
001b8215mov rax, [r12+88]
001b821asub r15, 40
001b821ecmp r15, [r14]
001b8221jb 0x1b8276
001b8223
001b8223loc_1b8223:
001b8223lea rsi, [r15+8]
001b8227mov [rsi-8], 4096
001b822fmov rbx, [rax]
001b8232mov [rsi], rbx
001b8235mov rbx, [rax+8]
001b8239mov [rsi+8], rbx
001b823dmov rax, [rax+16]
001b8241mov [rsi+16], rax
001b8245mov rax, [r12+40]
001b824amov rbx, [r12+24]
001b824flea rax, [rbx+rax-1]
001b8254mov [rsi+24], rax
001b8258mov rdi, r12
001b825badd rdi, 88
001b825fmov rbx, rsp
001b8262mov rsp, [r14+64]
001b8266call caml_modify
001b826bmov rsp, rbx
001b826e
001b826eloc_1b826e:
001b826emov rax, r13
001b8271add rsp, 8
001b8275ret
001b8276
001b8276loc_1b8276:
001b8276call caml_call_gc
001b827bjmp 0x1b8223
001b81c0
001b81c0Stdlib.Lexing.new_engine:
001b81c0sub rsp, 8
001b81c4mov rdx, rdi
001b81c7mov [rsp], rdx
001b81cbmov rdi, rax
001b81cemov rsi, rbx
001b81d1lea rax, [rip+0x594e8]
001b81d8call caml_c_call
001b81ddmov r13, rax
001b81e0cmp r13, 1
001b81e4jl 0x1b826e
001b81ealea rax, [rip+0x18ca57]
001b81f1mov r12, [rsp]
001b81f5mov rsi, [r12+88]
001b81facmp rsi, rax
001b81fdje 0x1b826e
001b81ffmov rdi, r12
001b8202add rdi, 80
001b8206mov rbx, rsp
001b8209mov rsp, [r14+64]
001b820dcall caml_modify
001b8212mov rsp, rbx
001b8215mov rax, [r12+88]
001b821asub r15, 40
001b821ecmp r15, [r14]
001b8221jb 0x1b8276
001b8223
001b8223loc_1b8223:
001b8223lea rsi, [r15+8]
001b8227mov [rsi-8], 4096
001b822fmov rbx, [rax]
001b8232mov [rsi], rbx
001b8235mov rbx, [rax+8]
001b8239mov [rsi+8], rbx
001b823dmov rax, [rax+16]
001b8241mov [rsi+16], rax
001b8245mov rax, [r12+40]
001b824amov rbx, [r12+24]
001b824flea rax, [rbx+rax-1]
001b8254mov [rsi+24], rax
001b8258mov rdi, r12
001b825badd rdi, 88
001b825fmov rbx, rsp
001b8262mov rsp, [r14+64]
001b8266call caml_modify
001b826bmov rsp, rbx
001b826e
001b826eloc_1b826e:
001b826emov rax, r13
001b8271add rsp, 8
001b8275ret
001b8276
001b8276loc_1b8276:
001b8276call caml_call_gc
001b827bjmp 0x1b8223
001b81c0
001b827d
001b827d // align 0x10
001b827d // align 0x10
001b8280
001b8280Stdlib.Lexing.lex_refill:
001b8280lea r10, [rsp-352]
001b8288cmp r10, [r14+40]
001b828cjb 0x1b84e1
001b8292
001b8292loc_1b8292:
001b8292sub rsp, 32
001b8296mov rsi, rax
001b8299mov rax, rbx
001b829cmov [rsp], rax
001b82a0mov [rsp+24], rdi
001b82a5mov rbx, [rax-8]
001b82a9shr rbx, 10
001b82adlea rbx, [8*rbx-1]
001b82b5movzx rdi, [rax+rbx]
001b82basub rbx, rdi
001b82bdlea rbx, [rbx+rbx+1]
001b82c2mov rdi, rsi
001b82c5call caml_apply2
001b82cacmp rax, 1
001b82cejle 0x1b82dc
001b82d0mov rsi, rax
001b82d3mov [rsp+8], rsi
001b82d8jmp 0x1b82f3
001b82da
001b82da 66 90 f.
001b82dc
001b82dcloc_1b82dc:
001b82dcmov rax, [rsp+24]
001b82e1mov [rax+64], 3
001b82e9mov esi, 1
001b82eemov [rsp+8], rsi
001b82f3
001b82f3loc_1b82f3:
001b82f3mov rcx, [rsp+24]
001b82f8mov rdi, [rcx+8]
001b82fcmov rax, [rdi-8]
001b8300shr rax, 10
001b8304lea rax, [8*rax-1]
001b830cmovzx rbx, [rdi+rax]
001b8311sub rax, rbx
001b8314lea rbx, [rax+rax+1]
001b8319mov rdx, [rcx+16]
001b831dlea r8, [rdx+rsi-1]
001b8322cmp r8, rbx
001b8325jle 0x1b8499
001b832bmov r8, [rcx+32]
001b832fsub rdx, r8
001b8332mov r9, rdx
001b8335add r9, rsi
001b8338cmp r9, rbx
001b833bjg 0x1b8358
001b833dmov rbx, r8
001b8340inc rdx
001b8343mov esi, 1
001b8348mov rax, rdi
001b834bcall Stdlib.Bytes.blit
001b8350jmp 0x1b83fd
001b8355
001b8355 0f 1f 00 ...
001b8358
001b8358loc_1b8358:
001b8358lea rax, [4*rax+1]
001b8360mov rbx, 0x3ffffffffffffef
001b836acmp rax, rbx
001b836djg 0x1b8378
001b836fmov [rsp+16], rax
001b8374jmp 0x1b8387
001b8376
001b8376 66 90 f.
001b8378
001b8378loc_1b8378:
001b8378mov rax, 0x3ffffffffffffef
001b8382mov [rsp+16], rax
001b8387
001b8387loc_1b8387:
001b8387mov rbx, [rcx+32]
001b838bmov rdi, [rcx+16]
001b838fsub rdi, rbx
001b8392add rdi, rsi
001b8395cmp rdi, rax
001b8398jle 0x1b83a6
001b839alea rax, [rip+0x18c877]
001b83a1call camlStdlib.failwith_7
001b83a6
001b83a6loc_1b83a6:
001b83a6mov rdi, [rsp+16]
001b83ablea rax, [rip+0x68c7e]
001b83b2call caml_c_call
001b83b7mov rdi, rax
001b83bamov [rsp+16], rdi
001b83bfmov rax, [rsp+24]
001b83c4mov rbx, [rax+32]
001b83c8mov rdx, [rax+16]
001b83ccsub rdx, rbx
001b83cfinc rdx
001b83d2mov esi, 1
001b83d7mov rax, [rax+8]
001b83dbcall Stdlib.Bytes.blit
001b83e0mov rdi, [rsp+24]
001b83e5add rdi, 8
001b83e9mov rsi, [rsp+16]
001b83eemov rbx, rsp
001b83f1mov rsp, [r14+64]
001b83f5call caml_modify
001b83famov rsp, rbx
001b83fd
001b83fdloc_1b83fd:
001b83fdmov rcx, [rsp+24]
001b8402mov rsi, [rcx+32]
001b8406mov rax, [rcx+24]
001b840alea rax, [rax+rsi-1]
001b840fmov [rcx+24], rax
001b8413mov rax, [rcx+40]
001b8417sub rax, rsi
001b841ainc rax
001b841dmov [rcx+40], rax
001b8421mov [rcx+32], 1
001b8429mov rax, [rcx+48]
001b842dsub rax, rsi
001b8430inc rax
001b8433mov [rcx+48], rax
001b8437mov rax, [rcx+16]
001b843bsub rax, rsi
001b843einc rax
001b8441mov [rcx+16], rax
001b8445mov rbx, [rcx+72]
001b8449mov eax, 1
001b844emov rdi, [rbx-8]
001b8452shr rdi, 9
001b8456or rdi, 1
001b845aadd rdi, -2
001b845ecmp rax, rdi
001b8461jg 0x1b8499
001b8463
001b8463loc_1b8463:
001b8463mov rdx, [rbx-8]
001b8467shr rdx, 9
001b846bcmp rdx, rax
001b846ejbe 0x1b84dc
001b8470mov rdx, [rbx+4*rax-4]
001b8475cmp rdx, 1
001b8479jl 0x1b8486
001b847bsub rdx, rsi
001b847einc rdx
001b8481mov [rbx+4*rax-4], rdx
001b8486
001b8486loc_1b8486:
001b8486mov rdx, rax
001b8489add rax, 2
001b848dcmp rdx, rdi
001b8490je 0x1b8499
001b8492cmp r15, [r14]
001b8495ja 0x1b8463
001b8497jmp 0x1b84d5
001b8499
001b8499loc_1b8499:
001b8499mov rsi, [rcx+16]
001b849dmov rdi, [rcx+8]
001b84a1mov ebx, 1
001b84a6mov rax, [rsp]
001b84aamov rdx, [rsp+8]
001b84afcall Stdlib.Bytes.blit
001b84b4mov rbx, [rsp+24]
001b84b9mov rax, [rbx+16]
001b84bdmov rdi, [rsp+8]
001b84c2lea rax, [rax+rdi-1]
001b84c7mov [rbx+16], rax
001b84cbmov eax, 1
001b84d0add rsp, 32
001b84d4ret
001b84d5
001b84d5loc_1b84d5:
001b84d5call caml_call_gc
001b84dajmp 0x1b8463
001b84dc
001b84dcloc_1b84dc:
001b84dccall caml_ml_array_bound_error
001b84e1
001b84e1loc_1b84e1:
001b84e1push 37
001b84e3call caml_call_realloc_stack
001b84e8pop r10
001b84eajmp 0x1b8292
001b8280
001b8280Stdlib.Lexing.lex_refill:
001b8280lea r10, [rsp-352]
001b8288cmp r10, [r14+40]
001b828cjb 0x1b84e1
001b8292
001b8292loc_1b8292:
001b8292sub rsp, 32
001b8296mov rsi, rax
001b8299mov rax, rbx
001b829cmov [rsp], rax
001b82a0mov [rsp+24], rdi
001b82a5mov rbx, [rax-8]
001b82a9shr rbx, 10
001b82adlea rbx, [8*rbx-1]
001b82b5movzx rdi, [rax+rbx]
001b82basub rbx, rdi
001b82bdlea rbx, [rbx+rbx+1]
001b82c2mov rdi, rsi
001b82c5call caml_apply2
001b82cacmp rax, 1
001b82cejle 0x1b82dc
001b82d0mov rsi, rax
001b82d3mov [rsp+8], rsi
001b82d8jmp 0x1b82f3
001b82da
001b82da 66 90 f.
001b82dc
001b82dcloc_1b82dc:
001b82dcmov rax, [rsp+24]
001b82e1mov [rax+64], 3
001b82e9mov esi, 1
001b82eemov [rsp+8], rsi
001b82f3
001b82f3loc_1b82f3:
001b82f3mov rcx, [rsp+24]
001b82f8mov rdi, [rcx+8]
001b82fcmov rax, [rdi-8]
001b8300shr rax, 10
001b8304lea rax, [8*rax-1]
001b830cmovzx rbx, [rdi+rax]
001b8311sub rax, rbx
001b8314lea rbx, [rax+rax+1]
001b8319mov rdx, [rcx+16]
001b831dlea r8, [rdx+rsi-1]
001b8322cmp r8, rbx
001b8325jle 0x1b8499
001b832bmov r8, [rcx+32]
001b832fsub rdx, r8
001b8332mov r9, rdx
001b8335add r9, rsi
001b8338cmp r9, rbx
001b833bjg 0x1b8358
001b833dmov rbx, r8
001b8340inc rdx
001b8343mov esi, 1
001b8348mov rax, rdi
001b834bcall Stdlib.Bytes.blit
001b8350jmp 0x1b83fd
001b8355
001b8355 0f 1f 00 ...
001b8358
001b8358loc_1b8358:
001b8358lea rax, [4*rax+1]
001b8360mov rbx, 0x3ffffffffffffef
001b836acmp rax, rbx
001b836djg 0x1b8378
001b836fmov [rsp+16], rax
001b8374jmp 0x1b8387
001b8376
001b8376 66 90 f.
001b8378
001b8378loc_1b8378:
001b8378mov rax, 0x3ffffffffffffef
001b8382mov [rsp+16], rax
001b8387
001b8387loc_1b8387:
001b8387mov rbx, [rcx+32]
001b838bmov rdi, [rcx+16]
001b838fsub rdi, rbx
001b8392add rdi, rsi
001b8395cmp rdi, rax
001b8398jle 0x1b83a6
001b839alea rax, [rip+0x18c877]
001b83a1call camlStdlib.failwith_7
001b83a6
001b83a6loc_1b83a6:
001b83a6mov rdi, [rsp+16]
001b83ablea rax, [rip+0x68c7e]
001b83b2call caml_c_call
001b83b7mov rdi, rax
001b83bamov [rsp+16], rdi
001b83bfmov rax, [rsp+24]
001b83c4mov rbx, [rax+32]
001b83c8mov rdx, [rax+16]
001b83ccsub rdx, rbx
001b83cfinc rdx
001b83d2mov esi, 1
001b83d7mov rax, [rax+8]
001b83dbcall Stdlib.Bytes.blit
001b83e0mov rdi, [rsp+24]
001b83e5add rdi, 8
001b83e9mov rsi, [rsp+16]
001b83eemov rbx, rsp
001b83f1mov rsp, [r14+64]
001b83f5call caml_modify
001b83famov rsp, rbx
001b83fd
001b83fdloc_1b83fd:
001b83fdmov rcx, [rsp+24]
001b8402mov rsi, [rcx+32]
001b8406mov rax, [rcx+24]
001b840alea rax, [rax+rsi-1]
001b840fmov [rcx+24], rax
001b8413mov rax, [rcx+40]
001b8417sub rax, rsi
001b841ainc rax
001b841dmov [rcx+40], rax
001b8421mov [rcx+32], 1
001b8429mov rax, [rcx+48]
001b842dsub rax, rsi
001b8430inc rax
001b8433mov [rcx+48], rax
001b8437mov rax, [rcx+16]
001b843bsub rax, rsi
001b843einc rax
001b8441mov [rcx+16], rax
001b8445mov rbx, [rcx+72]
001b8449mov eax, 1
001b844emov rdi, [rbx-8]
001b8452shr rdi, 9
001b8456or rdi, 1
001b845aadd rdi, -2
001b845ecmp rax, rdi
001b8461jg 0x1b8499
001b8463
001b8463loc_1b8463:
001b8463mov rdx, [rbx-8]
001b8467shr rdx, 9
001b846bcmp rdx, rax
001b846ejbe 0x1b84dc
001b8470mov rdx, [rbx+4*rax-4]
001b8475cmp rdx, 1
001b8479jl 0x1b8486
001b847bsub rdx, rsi
001b847einc rdx
001b8481mov [rbx+4*rax-4], rdx
001b8486
001b8486loc_1b8486:
001b8486mov rdx, rax
001b8489add rax, 2
001b848dcmp rdx, rdi
001b8490je 0x1b8499
001b8492cmp r15, [r14]
001b8495ja 0x1b8463
001b8497jmp 0x1b84d5
001b8499
001b8499loc_1b8499:
001b8499mov rsi, [rcx+16]
001b849dmov rdi, [rcx+8]
001b84a1mov ebx, 1
001b84a6mov rax, [rsp]
001b84aamov rdx, [rsp+8]
001b84afcall Stdlib.Bytes.blit
001b84b4mov rbx, [rsp+24]
001b84b9mov rax, [rbx+16]
001b84bdmov rdi, [rsp+8]
001b84c2lea rax, [rax+rdi-1]
001b84c7mov [rbx+16], rax
001b84cbmov eax, 1
001b84d0add rsp, 32
001b84d4ret
001b84d5
001b84d5loc_1b84d5:
001b84d5call caml_call_gc
001b84dajmp 0x1b8463
001b84dc
001b84dcloc_1b84dc:
001b84dccall caml_ml_array_bound_error
001b84e1
001b84e1loc_1b84e1:
001b84e1push 37
001b84e3call caml_call_realloc_stack
001b84e8pop r10
001b84eajmp 0x1b8292
001b8280
001b84ef
001b84ef // align 0x10
001b84ef // align 0x10
001b84f0
001b84f0Stdlib.Lexing.from_function_inner:
001b84f0sub rsp, 32
001b84f4mov [rsp], rbx
001b84f8cmp rax, 1
001b84fcje 0x1b850c
001b84felea rbx, [rip+0x18c6eb]
001b8505mov [rsp+24], rbx
001b850ajmp 0x1b8518
001b850c
001b850cloc_1b850c:
001b850clea rbx, [rip+0x18c735]
001b8513mov [rsp+24], rbx
001b8518
001b8518loc_1b8518:
001b8518cmp rax, 1
001b851cje 0x1b852c
001b851elea rax, [rip+0x18c6cb]
001b8525mov [rsp+16], rax
001b852ajmp 0x1b8538
001b852c
001b852cloc_1b852c:
001b852clea rax, [rip+0x18c715]
001b8533mov [rsp+16], rax
001b8538
001b8538loc_1b8538:
001b8538mov edi, 2049
001b853dlea rax, [rip+0x68aec]
001b8544call caml_c_call
001b8549mov [rsp+8], rax
001b854emov edi, 1025
001b8553lea rax, [rip+0x68ad6]
001b855acall caml_c_call
001b855fmov rbx, [rsp]
001b8563lea rdi, [rip+0x18c5ae]
001b856amov rdi, [rdi+168]
001b8571sub r15, 152
001b8578cmp r15, [r14]
001b857bjb 0x1b8627
001b8581
001b8581loc_1b8581:
001b8581lea rsi, [r15+8]
001b8585add rsi, 104
001b8589mov [rsi-8], 5367
001b8591lea rdx, [rip+200]
001b8598mov [rsi], rdx
001b859bmov rdx, 0x100000000000005
001b85a5mov [rsi+8], rdx
001b85a9mov [rsi+16], rbx
001b85admov [rsi+24], rax
001b85b1mov [rsi+32], rdi
001b85b5lea rax, [rsi-104]
001b85b9mov [rax-8], 12288
001b85c1mov [rax], rsi
001b85c4mov rbx, [rsp+8]
001b85c9mov [rax+8], rbx
001b85cdmov [rax+16], 1
001b85d5mov [rax+24], 1
001b85ddmov [rax+32], 1
001b85e5mov [rax+40], 1
001b85edmov [rax+48], 1
001b85f5mov [rax+56], 1
001b85fdmov [rax+64], 1
001b8605lea rbx, [rip+0x18c5dc]
001b860cmov [rax+72], rbx
001b8610mov rbx, [rsp+16]
001b8615mov [rax+80], rbx
001b8619mov rbx, [rsp+24]
001b861emov [rax+88], rbx
001b8622add rsp, 32
001b8626ret
001b8627
001b8627loc_1b8627:
001b8627call caml_call_gc
001b862cjmp 0x1b8581
001b84f0
001b84f0Stdlib.Lexing.from_function_inner:
001b84f0sub rsp, 32
001b84f4mov [rsp], rbx
001b84f8cmp rax, 1
001b84fcje 0x1b850c
001b84felea rbx, [rip+0x18c6eb]
001b8505mov [rsp+24], rbx
001b850ajmp 0x1b8518
001b850c
001b850cloc_1b850c:
001b850clea rbx, [rip+0x18c735]
001b8513mov [rsp+24], rbx
001b8518
001b8518loc_1b8518:
001b8518cmp rax, 1
001b851cje 0x1b852c
001b851elea rax, [rip+0x18c6cb]
001b8525mov [rsp+16], rax
001b852ajmp 0x1b8538
001b852c
001b852cloc_1b852c:
001b852clea rax, [rip+0x18c715]
001b8533mov [rsp+16], rax
001b8538
001b8538loc_1b8538:
001b8538mov edi, 2049
001b853dlea rax, [rip+0x68aec]
001b8544call caml_c_call
001b8549mov [rsp+8], rax
001b854emov edi, 1025
001b8553lea rax, [rip+0x68ad6]
001b855acall caml_c_call
001b855fmov rbx, [rsp]
001b8563lea rdi, [rip+0x18c5ae]
001b856amov rdi, [rdi+168]
001b8571sub r15, 152
001b8578cmp r15, [r14]
001b857bjb 0x1b8627
001b8581
001b8581loc_1b8581:
001b8581lea rsi, [r15+8]
001b8585add rsi, 104
001b8589mov [rsi-8], 5367
001b8591lea rdx, [rip+200]
001b8598mov [rsi], rdx
001b859bmov rdx, 0x100000000000005
001b85a5mov [rsi+8], rdx
001b85a9mov [rsi+16], rbx
001b85admov [rsi+24], rax
001b85b1mov [rsi+32], rdi
001b85b5lea rax, [rsi-104]
001b85b9mov [rax-8], 12288
001b85c1mov [rax], rsi
001b85c4mov rbx, [rsp+8]
001b85c9mov [rax+8], rbx
001b85cdmov [rax+16], 1
001b85d5mov [rax+24], 1
001b85ddmov [rax+32], 1
001b85e5mov [rax+40], 1
001b85edmov [rax+48], 1
001b85f5mov [rax+56], 1
001b85fdmov [rax+64], 1
001b8605lea rbx, [rip+0x18c5dc]
001b860cmov [rax+72], rbx
001b8610mov rbx, [rsp+16]
001b8615mov [rax+80], rbx
001b8619mov rbx, [rsp+24]
001b861emov [rax+88], rbx
001b8622add rsp, 32
001b8626ret
001b8627
001b8627loc_1b8627:
001b8627call caml_call_gc
001b862cjmp 0x1b8581
001b84f0
001b8631
001b8631 // align 0x10
001b8631 // align 0x10
001b8640
001b8640Stdlib.Lexing.from_function:
001b8640test al, 1
001b8642je 0x1b864c
001b8644mov eax, 3
001b8649jmp 0x1b864f
001b864b
001b864b 90 .
001b864c
001b864cloc_1b864c:
001b864cmov rax, [rax]
001b864f
001b864floc_1b864f:
001b864fjmp 0x1b84f0
001b8640
001b8640Stdlib.Lexing.from_function:
001b8640test al, 1
001b8642je 0x1b864c
001b8644mov eax, 3
001b8649jmp 0x1b864f
001b864b
001b864b 90 .
001b864c
001b864cloc_1b864c:
001b864cmov rax, [rax]
001b864f
001b864floc_1b864f:
001b864fjmp 0x1b84f0
001b8640
001b8654
001b8654 // align 0x10
001b8654 // align 0x10
001b8660
001b8660Stdlib.Lexing.fun:
001b8660mov rdi, rax
001b8663mov rsi, [rbx+24]
001b8667mov rax, [rbx+16]
001b866bmov rbx, rsi
001b866ejmp 0x1b8280
001b8660
001b8660Stdlib.Lexing.fun:
001b8660mov rdi, rax
001b8663mov rsi, [rbx+24]
001b8667mov rax, [rbx+16]
001b866bmov rbx, rsi
001b866ejmp 0x1b8280
001b8660
Loading..