Similarity

001e1630
001e1630Stdlib.Bigarray.entry:
001e1630lea rsi, [rip+0x184019]
001e1637lea rdi, [rip+0x184602]
001e163eadd rdi, 208
001e1645mov rbx, rsp
001e1648mov rsp, [r14+64]
001e164ccall caml_initialize
001e1651mov rsp, rbx
001e1654mov esi, 27
001e1659lea rdi, [rip+0x1845e0]
001e1660mov rbx, rsp
001e1663mov rsp, [r14+64]
001e1667call caml_initialize
001e166cmov rsp, rbx
001e166fmov esi, 1
001e1674lea rdi, [rip+0x1845c5]
001e167badd rdi, 8
001e167fmov rbx, rsp
001e1682mov rsp, [r14+64]
001e1686call caml_initialize
001e168bmov rsp, rbx
001e168emov esi, 3
001e1693lea rdi, [rip+0x1845a6]
001e169aadd rdi, 16
001e169emov rbx, rsp
001e16a1mov rsp, [r14+64]
001e16a5call caml_initialize
001e16aamov rsp, rbx
001e16admov esi, 5
001e16b2lea rdi, [rip+0x184587]
001e16b9add rdi, 40
001e16bdmov rbx, rsp
001e16c0mov rsp, [r14+64]
001e16c4call caml_initialize
001e16c9mov rsp, rbx
001e16ccmov esi, 7
001e16d1lea rdi, [rip+0x184568]
001e16d8add rdi, 48
001e16dcmov rbx, rsp
001e16dfmov rsp, [r14+64]
001e16e3call caml_initialize
001e16e8mov rsp, rbx
001e16ebmov esi, 9
001e16f0lea rdi, [rip+0x184549]
001e16f7add rdi, 56
001e16fbmov rbx, rsp
001e16femov rsp, [r14+64]
001e1702call caml_initialize
001e1707mov rsp, rbx
001e170amov esi, 11
001e170flea rdi, [rip+0x18452a]
001e1716add rdi, 64
001e171amov rbx, rsp
001e171dmov rsp, [r14+64]
001e1721call caml_initialize
001e1726mov rsp, rbx
001e1729mov esi, 13
001e172elea rdi, [rip+0x18450b]
001e1735add rdi, 80
001e1739mov rbx, rsp
001e173cmov rsp, [r14+64]
001e1740call caml_initialize
001e1745mov rsp, rbx
001e1748mov esi, 15
001e174dlea rdi, [rip+0x1844ec]
001e1754add rdi, 88
001e1758mov rbx, rsp
001e175bmov rsp, [r14+64]
001e175fcall caml_initialize
001e1764mov rsp, rbx
001e1767mov esi, 17
001e176clea rdi, [rip+0x1844cd]
001e1773add rdi, 72
001e1777mov rbx, rsp
001e177amov rsp, [r14+64]
001e177ecall caml_initialize
001e1783mov rsp, rbx
001e1786mov esi, 19
001e178blea rdi, [rip+0x1844ae]
001e1792add rdi, 96
001e1796mov rbx, rsp
001e1799mov rsp, [r14+64]
001e179dcall caml_initialize
001e17a2mov rsp, rbx
001e17a5mov esi, 21
001e17aalea rdi, [rip+0x18448f]
001e17b1add rdi, 24
001e17b5mov rbx, rsp
001e17b8mov rsp, [r14+64]
001e17bccall caml_initialize
001e17c1mov rsp, rbx
001e17c4mov esi, 23
001e17c9lea rdi, [rip+0x184470]
001e17d0add rdi, 32
001e17d4mov rbx, rsp
001e17d7mov rsp, [r14+64]
001e17dbcall caml_initialize
001e17e0mov rsp, rbx
001e17e3mov esi, 25
001e17e8lea rdi, [rip+0x184451]
001e17efadd rdi, 104
001e17f3mov rbx, rsp
001e17f6mov rsp, [r14+64]
001e17facall caml_initialize
001e17ffmov rsp, rbx
001e1802lea rsi, [rip+0x183e67]
001e1809lea rdi, [rip+0x184430]
001e1810add rdi, 112
001e1814mov rbx, rsp
001e1817mov rsp, [r14+64]
001e181bcall caml_initialize
001e1820mov rsp, rbx
001e1823mov esi, 1
001e1828lea rdi, [rip+0x184411]
001e182fadd rdi, 120
001e1833mov rbx, rsp
001e1836mov rsp, [r14+64]
001e183acall caml_initialize
001e183fmov rsp, rbx
001e1842mov esi, 3
001e1847lea rdi, [rip+0x1843f2]
001e184eadd rdi, 128
001e1855mov rbx, rsp
001e1858mov rsp, [r14+64]
001e185ccall caml_initialize
001e1861mov rsp, rbx
001e1864lea rsi, [rip+0x183e1d]
001e186blea rdi, [rip+0x1843ce]
001e1872add rdi, 248
001e1879mov rbx, rsp
001e187cmov rsp, [r14+64]
001e1880call caml_initialize
001e1885mov rsp, rbx
001e1888lea rsi, [rip+0x183e19]
001e188flea rdi, [rip+0x1843aa]
001e1896add rdi, 256
001e189dmov rbx, rsp
001e18a0mov rsp, [r14+64]
001e18a4call caml_initialize
001e18a9mov rsp, rbx
001e18aclea rsi, [rip+0x183e15]
001e18b3lea rdi, [rip+0x184386]
001e18baadd rdi, 264
001e18c1mov rbx, rsp
001e18c4mov rsp, [r14+64]
001e18c8call caml_initialize
001e18cdmov rsp, rbx
001e18d0lea rsi, [rip+0x183e11]
001e18d7lea rdi, [rip+0x184362]
001e18deadd rdi, 272
001e18e5mov rbx, rsp
001e18e8mov rsp, [r14+64]
001e18eccall caml_initialize
001e18f1mov rsp, rbx
001e18f4lea rsi, [rip+0x183e05]
001e18fblea rdi, [rip+0x18433e]
001e1902add rdi, 280
001e1909mov rbx, rsp
001e190cmov rsp, [r14+64]
001e1910call caml_initialize
001e1915mov rsp, rbx
001e1918sub r15, 80
001e191ccall caml_allocN
001e1921lea rax, [r15+8]
001e1925add rax, 32
001e1929mov [rax-8], 5120
001e1931lea rdi, [rip+0x184308]
001e1938mov rbx, [rdi+248]
001e193fmov [rax], rbx
001e1942mov rbx, [rdi+256]
001e1949mov [rax+8], rbx
001e194dmov rbx, [rdi+264]
001e1954mov [rax+16], rbx
001e1958mov rbx, [rdi+272]
001e195fmov [rax+24], rbx
001e1963mov rbx, [rdi+280]
001e196amov [rax+32], rbx
001e196elea rsi, [rax-32]
001e1972mov [rsi-8], 3072
001e197amov rbx, [rax+16]
001e197emov [rsi], rbx
001e1981mov rbx, [rax+24]
001e1985mov [rsi+8], rbx
001e1989mov rax, [rax+32]
001e198dmov [rsi+16], rax
001e1991add rdi, 136
001e1998mov rbx, rsp
001e199bmov rsp, [r14+64]
001e199fcall caml_initialize
001e19a4mov rsp, rbx
001e19a7lea rsi, [rip+0x183d6a]
001e19aelea rdi, [rip+0x18428b]
001e19b5add rdi, 288
001e19bcmov rbx, rsp
001e19bfmov rsp, [r14+64]
001e19c3call caml_initialize
001e19c8mov rsp, rbx
001e19cblea rsi, [rip+0x183d66]
001e19d2lea rdi, [rip+0x184267]
001e19d9add rdi, 296
001e19e0mov rbx, rsp
001e19e3mov rsp, [r14+64]
001e19e7call caml_initialize
001e19ecmov rsp, rbx
001e19eflea rsi, [rip+0x183d5a]
001e19f6lea rdi, [rip+0x184243]
001e19fdadd rdi, 304
001e1a04mov rbx, rsp
001e1a07mov rsp, [r14+64]
001e1a0bcall caml_initialize
001e1a10mov rsp, rbx
001e1a13lea rsi, [rip+0x183d4e]
001e1a1alea rdi, [rip+0x18421f]
001e1a21add rdi, 312
001e1a28mov rbx, rsp
001e1a2bmov rsp, [r14+64]
001e1a2fcall caml_initialize
001e1a34mov rsp, rbx
001e1a37lea rsi, [rip+0x183d42]
001e1a3elea rdi, [rip+0x1841fb]
001e1a45add rdi, 320
001e1a4cmov rbx, rsp
001e1a4fmov rsp, [r14+64]
001e1a53call caml_initialize
001e1a58mov rsp, rbx
001e1a5blea rdi, [rip+0x1841de]
001e1a62mov rsi, [rdi+320]
001e1a69add rdi, 328
001e1a70mov rbx, rsp
001e1a73mov rsp, [r14+64]
001e1a77call caml_initialize
001e1a7cmov rsp, rbx
001e1a7fsub r15, 120
001e1a83call caml_allocN
001e1a88lea rax, [r15+8]
001e1a8cadd rax, 64
001e1a90mov [rax-8], 6144
001e1a98lea rdi, [rip+0x1841a1]
001e1a9fmov rbx, [rdi+288]
001e1aa6mov [rax], rbx
001e1aa9mov rbx, [rdi+296]
001e1ab0mov [rax+8], rbx
001e1ab4mov rbx, [rdi+304]
001e1abbmov [rax+16], rbx
001e1abfmov rbx, [rdi+312]
001e1ac6mov [rax+24], rbx
001e1acamov rbx, [rdi+320]
001e1ad1mov [rax+32], rbx
001e1ad5mov rbx, [rdi+328]
001e1adcmov [rax+40], rbx
001e1ae0lea rsi, [rax-64]
001e1ae4mov [rsi-8], 7168
001e1aecmov rbx, [rax]
001e1aefmov [rsi], rbx
001e1af2mov rbx, [rax+40]
001e1af6mov [rsi+8], rbx
001e1afalea rbx, [rip+0x183c9f]
001e1b01mov [rsi+16], rbx
001e1b05mov rbx, [rax+24]
001e1b09mov [rsi+24], rbx
001e1b0dmov rbx, [rax+8]
001e1b11mov [rsi+32], rbx
001e1b15mov rbx, [rax+16]
001e1b19mov [rsi+40], rbx
001e1b1dmov rax, [rax+32]
001e1b21mov [rsi+48], rax
001e1b25add rdi, 144
001e1b2cmov rbx, rsp
001e1b2fmov rsp, [r14+64]
001e1b33call caml_initialize
001e1b38mov rsp, rbx
001e1b3blea rsi, [rip+0x183c7e]
001e1b42lea rdi, [rip+0x1840f7]
001e1b49add rdi, 336
001e1b50mov rbx, rsp
001e1b53mov rsp, [r14+64]
001e1b57call caml_initialize
001e1b5cmov rsp, rbx
001e1b5flea rsi, [rip+0x183c7a]
001e1b66lea rdi, [rip+0x1840d3]
001e1b6dadd rdi, 344
001e1b74mov rbx, rsp
001e1b77mov rsp, [r14+64]
001e1b7bcall caml_initialize
001e1b80mov rsp, rbx
001e1b83lea rsi, [rip+0x183c6e]
001e1b8alea rdi, [rip+0x1840af]
001e1b91add rdi, 352
001e1b98mov rbx, rsp
001e1b9bmov rsp, [r14+64]
001e1b9fcall caml_initialize
001e1ba4mov rsp, rbx
001e1ba7lea rsi, [rip+0x183c6a]
001e1baelea rdi, [rip+0x18408b]
001e1bb5add rdi, 360
001e1bbcmov rbx, rsp
001e1bbfmov rsp, [r14+64]
001e1bc3call caml_initialize
001e1bc8mov rsp, rbx
001e1bcblea rsi, [rip+0x183c66]
001e1bd2lea rdi, [rip+0x184067]
001e1bd9add rdi, 368
001e1be0mov rbx, rsp
001e1be3mov rsp, [r14+64]
001e1be7call caml_initialize
001e1becmov rsp, rbx
001e1beflea rsi, [rip+0x183c62]
001e1bf6lea rdi, [rip+0x184043]
001e1bfdadd rdi, 376
001e1c04mov rbx, rsp
001e1c07mov rsp, [r14+64]
001e1c0bcall caml_initialize
001e1c10mov rsp, rbx
001e1c13lea rsi, [rip+0x183c5e]
001e1c1alea rdi, [rip+0x18401f]
001e1c21add rdi, 384
001e1c28mov rbx, rsp
001e1c2bmov rsp, [r14+64]
001e1c2fcall caml_initialize
001e1c34mov rsp, rbx
001e1c37sub r15, 120
001e1c3bcall caml_allocN
001e1c40lea rax, [r15+8]
001e1c44add rax, 56
001e1c48mov [rax-8], 7168
001e1c50lea rdi, [rip+0x183fe9]
001e1c57mov rbx, [rdi+336]
001e1c5emov [rax], rbx
001e1c61mov rbx, [rdi+344]
001e1c68mov [rax+8], rbx
001e1c6cmov rbx, [rdi+352]
001e1c73mov [rax+16], rbx
001e1c77mov rbx, [rdi+360]
001e1c7emov [rax+24], rbx
001e1c82mov rbx, [rdi+368]
001e1c89mov [rax+32], rbx
001e1c8dmov rbx, [rdi+376]
001e1c94mov [rax+40], rbx
001e1c98mov rbx, [rdi+384]
001e1c9fmov [rax+48], rbx
001e1ca3lea rsi, [rax-56]
001e1ca7mov [rsi-8], 6144
001e1cafmov rbx, [rax]
001e1cb2mov [rsi], rbx
001e1cb5mov rbx, [rax+40]
001e1cb9mov [rsi+8], rbx
001e1cbdlea rbx, [rip+0x183bd4]
001e1cc4mov [rsi+16], rbx
001e1cc8mov rbx, [rax+8]
001e1cccmov [rsi+24], rbx
001e1cd0mov rbx, [rax+16]
001e1cd4mov [rsi+32], rbx
001e1cd8mov rax, [rax+48]
001e1cdcmov [rsi+40], rax
001e1ce0add rdi, 152
001e1ce7mov rbx, rsp
001e1ceamov rsp, [r14+64]
001e1ceecall caml_initialize
001e1cf3mov rsp, rbx
001e1cf6lea rsi, [rip+0x183bbb]
001e1cfdlea rdi, [rip+0x183f3c]
001e1d04add rdi, 392
001e1d0bmov rbx, rsp
001e1d0emov rsp, [r14+64]
001e1d12call caml_initialize
001e1d17mov rsp, rbx
001e1d1alea rsi, [rip+0x183bb7]
001e1d21lea rdi, [rip+0x183f18]
001e1d28add rdi, 400
001e1d2fmov rbx, rsp
001e1d32mov rsp, [r14+64]
001e1d36call caml_initialize
001e1d3bmov rsp, rbx
001e1d3elea rsi, [rip+0x183bab]
001e1d45lea rdi, [rip+0x183ef4]
001e1d4cadd rdi, 408
001e1d53mov rbx, rsp
001e1d56mov rsp, [r14+64]
001e1d5acall caml_initialize
001e1d5fmov rsp, rbx
001e1d62lea rsi, [rip+0x183ba7]
001e1d69lea rdi, [rip+0x183ed0]
001e1d70add rdi, 416
001e1d77mov rbx, rsp
001e1d7amov rsp, [r14+64]
001e1d7ecall caml_initialize
001e1d83mov rsp, rbx
001e1d86lea rsi, [rip+0x183ba3]
001e1d8dlea rdi, [rip+0x183eac]
001e1d94add rdi, 424
001e1d9bmov rbx, rsp
001e1d9emov rsp, [r14+64]
001e1da2call caml_initialize
001e1da7mov rsp, rbx
001e1daalea rsi, [rip+0x183b9f]
001e1db1lea rdi, [rip+0x183e88]
001e1db8add rdi, 432
001e1dbfmov rbx, rsp
001e1dc2mov rsp, [r14+64]
001e1dc6call caml_initialize
001e1dcbmov rsp, rbx
001e1dcelea rsi, [rip+0x183b9b]
001e1dd5lea rdi, [rip+0x183e64]
001e1ddcadd rdi, 440
001e1de3mov rbx, rsp
001e1de6mov rsp, [r14+64]
001e1deacall caml_initialize
001e1defmov rsp, rbx
001e1df2lea rsi, [rip+0x183b97]
001e1df9lea rdi, [rip+0x183e40]
001e1e00add rdi, 448
001e1e07mov rbx, rsp
001e1e0amov rsp, [r14+64]
001e1e0ecall caml_initialize
001e1e13mov rsp, rbx
001e1e16sub r15, 136
001e1e1dcall caml_allocN
001e1e22lea rax, [r15+8]
001e1e26add rax, 64
001e1e2amov [rax-8], 8192
001e1e32lea rdi, [rip+0x183e07]
001e1e39mov rbx, [rdi+392]
001e1e40mov [rax], rbx
001e1e43mov rbx, [rdi+400]
001e1e4amov [rax+8], rbx
001e1e4emov rbx, [rdi+408]
001e1e55mov [rax+16], rbx
001e1e59mov rbx, [rdi+416]
001e1e60mov [rax+24], rbx
001e1e64mov rbx, [rdi+424]
001e1e6bmov [rax+32], rbx
001e1e6fmov rbx, [rdi+432]
001e1e76mov [rax+40], rbx
001e1e7amov rbx, [rdi+440]
001e1e81mov [rax+48], rbx
001e1e85mov rbx, [rdi+448]
001e1e8cmov [rax+56], rbx
001e1e90lea rsi, [rax-64]
001e1e94mov [rsi-8], 7168
001e1e9cmov rbx, [rax]
001e1e9fmov [rsi], rbx
001e1ea2mov rbx, [rax+48]
001e1ea6mov [rsi+8], rbx
001e1eaalea rbx, [rip+0x183aff]
001e1eb1mov [rsi+16], rbx
001e1eb5mov rbx, [rax+8]
001e1eb9mov [rsi+24], rbx
001e1ebdmov rbx, [rax+16]
001e1ec1mov [rsi+32], rbx
001e1ec5mov rbx, [rax+24]
001e1ec9mov [rsi+40], rbx
001e1ecdmov rax, [rax+56]
001e1ed1mov [rsi+48], rax
001e1ed5add rdi, 160
001e1edcmov rbx, rsp
001e1edfmov rsp, [r14+64]
001e1ee3call caml_initialize
001e1ee8mov rsp, rbx
001e1eeblea rsi, [rip+0x183ade]
001e1ef2lea rdi, [rip+0x183d47]
001e1ef9add rdi, 456
001e1f00mov rbx, rsp
001e1f03mov rsp, [r14+64]
001e1f07call caml_initialize
001e1f0cmov rsp, rbx
001e1f0flea rsi, [rip+0x183ada]
001e1f16lea rdi, [rip+0x183d23]
001e1f1dadd rdi, 464
001e1f24mov rbx, rsp
001e1f27mov rsp, [r14+64]
001e1f2bcall caml_initialize
001e1f30mov rsp, rbx
001e1f33lea rsi, [rip+0x183ace]
001e1f3alea rdi, [rip+0x183cff]
001e1f41add rdi, 472
001e1f48mov rbx, rsp
001e1f4bmov rsp, [r14+64]
001e1f4fcall caml_initialize
001e1f54mov rsp, rbx
001e1f57lea rsi, [rip+0x183aca]
001e1f5elea rdi, [rip+0x183cdb]
001e1f65add rdi, 480
001e1f6cmov rbx, rsp
001e1f6fmov rsp, [r14+64]
001e1f73call caml_initialize
001e1f78mov rsp, rbx
001e1f7blea rsi, [rip+0x183ac6]
001e1f82lea rdi, [rip+0x183cb7]
001e1f89add rdi, 488
001e1f90mov rbx, rsp
001e1f93mov rsp, [r14+64]
001e1f97call caml_initialize
001e1f9cmov rsp, rbx
001e1f9flea rsi, [rip+0x183ac2]
001e1fa6lea rdi, [rip+0x183c93]
001e1fadadd rdi, 496
001e1fb4mov rbx, rsp
001e1fb7mov rsp, [r14+64]
001e1fbbcall caml_initialize
001e1fc0mov rsp, rbx
001e1fc3lea rsi, [rip+0x183abe]
001e1fcalea rdi, [rip+0x183c6f]
001e1fd1add rdi, 504
001e1fd8mov rbx, rsp
001e1fdbmov rsp, [r14+64]
001e1fdfcall caml_initialize
001e1fe4mov rsp, rbx
001e1fe7lea rsi, [rip+0x183aba]
001e1feelea rdi, [rip+0x183c4b]
001e1ff5add rdi, 512
001e1ffcmov rbx, rsp
001e1fffmov rsp, [r14+64]
001e2003call caml_initialize
001e2008mov rsp, rbx
001e200blea rsi, [rip+0x183ab6]
001e2012lea rdi, [rip+0x183c27]
001e2019add rdi, 520
001e2020mov rbx, rsp
001e2023mov rsp, [r14+64]
001e2027call caml_initialize
001e202cmov rsp, rbx
001e202flea rsi, [rip+0x183ab2]
001e2036lea rdi, [rip+0x183c03]
001e203dadd rdi, 528
001e2044mov rbx, rsp
001e2047mov rsp, [r14+64]
001e204bcall caml_initialize
001e2050mov rsp, rbx
001e2053sub r15, 168
001e205acall caml_allocN
001e205flea rax, [r15+8]
001e2063add rax, 80
001e2067mov [rax-8], 10240
001e206flea rdi, [rip+0x183bca]
001e2076mov rbx, [rdi+456]
001e207dmov [rax], rbx
001e2080mov rbx, [rdi+464]
001e2087mov [rax+8], rbx
001e208bmov rbx, [rdi+472]
001e2092mov [rax+16], rbx
001e2096mov rbx, [rdi+480]
001e209dmov [rax+24], rbx
001e20a1mov rbx, [rdi+488]
001e20a8mov [rax+32], rbx
001e20acmov rbx, [rdi+496]
001e20b3mov [rax+40], rbx
001e20b7mov rbx, [rdi+504]
001e20bemov [rax+48], rbx
001e20c2mov rbx, [rdi+512]
001e20c9mov [rax+56], rbx
001e20cdmov rbx, [rdi+520]
001e20d4mov [rax+64], rbx
001e20d8mov rbx, [rdi+528]
001e20dfmov [rax+72], rbx
001e20e3lea rsi, [rax-80]
001e20e7mov [rsi-8], 9216
001e20efmov rbx, [rax]
001e20f2mov [rsi], rbx
001e20f5mov rbx, [rax+64]
001e20f9mov [rsi+8], rbx
001e20fdlea rbx, [rip+0x183a04]
001e2104mov [rsi+16], rbx
001e2108mov rbx, [rax+8]
001e210cmov [rsi+24], rbx
001e2110mov rbx, [rax+16]
001e2114mov [rsi+32], rbx
001e2118mov rbx, [rax+24]
001e211cmov [rsi+40], rbx
001e2120mov rbx, [rax+32]
001e2124mov [rsi+48], rbx
001e2128mov rbx, [rax+40]
001e212cmov [rsi+56], rbx
001e2130mov rax, [rax+72]
001e2134mov [rsi+64], rax
001e2138add rdi, 168
001e213fmov rbx, rsp
001e2142mov rsp, [r14+64]
001e2146call caml_initialize
001e214bmov rsp, rbx
001e214elea rsi, [rip+0x1839d3]
001e2155lea rdi, [rip+0x183ae4]
001e215cadd rdi, 176
001e2163mov rbx, rsp
001e2166mov rsp, [r14+64]
001e216acall caml_initialize
001e216fmov rsp, rbx
001e2172lea rsi, [rip+0x1839c7]
001e2179lea rdi, [rip+0x183ac0]
001e2180add rdi, 184
001e2187mov rbx, rsp
001e218amov rsp, [r14+64]
001e218ecall caml_initialize
001e2193mov rsp, rbx
001e2196lea rsi, [rip+0x1839bb]
001e219dlea rdi, [rip+0x183a9c]
001e21a4add rdi, 192
001e21abmov rbx, rsp
001e21aemov rsp, [r14+64]
001e21b2call caml_initialize
001e21b7mov rsp, rbx
001e21balea rsi, [rip+0x1839af]
001e21c1lea rdi, [rip+0x183a78]
001e21c8add rdi, 200
001e21cfmov rbx, rsp
001e21d2mov rsp, [r14+64]
001e21d6call caml_initialize
001e21dbmov rsp, rbx
001e21delea rsi, [rip+0x1839a3]
001e21e5lea rdi, [rip+0x183a54]
001e21ecadd rdi, 216
001e21f3mov rbx, rsp
001e21f6mov rsp, [r14+64]
001e21facall caml_initialize
001e21ffmov rsp, rbx
001e2202lea rsi, [rip+0x183997]
001e2209lea rdi, [rip+0x183a30]
001e2210add rdi, 224
001e2217mov rbx, rsp
001e221amov rsp, [r14+64]
001e221ecall caml_initialize
001e2223mov rsp, rbx
001e2226lea rsi, [rip+0x183993]
001e222dlea rdi, [rip+0x183a0c]
001e2234add rdi, 232
001e223bmov rbx, rsp
001e223emov rsp, [r14+64]
001e2242call caml_initialize
001e2247mov rsp, rbx
001e224alea rsi, [rip+0x18398f]
001e2251lea rdi, [rip+0x1839e8]
001e2258add rdi, 240
001e225fmov rbx, rsp
001e2262mov rsp, [r14+64]
001e2266call caml_initialize
001e226bmov rsp, rbx
001e226emov eax, 1
001e2273ret
001e1630

001e2274
001e2274 // align 0x10

001e2280
001e2280Stdlib.Random.create:
001e2280mov edi, 9
001e2285mov ebx, 1
001e228amov eax, 15
001e228fjmp 0x1e01e0
001e2280

001e2294
001e2294 // align 0x10

001e22a0
001e22a0Stdlib.Random.set:
001e22a0sub rsp, 32
001e22a4mov [rsp+24], rax
001e22a9mov [rsp], rdi
001e22admov [rsp+8], rsi
001e22b2mov [rsp+16], rdx
001e22b7sub r15, 24
001e22bbcmp r15, [r14]
001e22bejb 0x1e2376
001e22c4
001e22c4loc_1e22c4:
001e22c4lea rdx, [r15+8]
001e22c8mov [rdx-8], 2303
001e22d0lea rdi, [rip+0x935a9]
001e22d7mov [rdx], rdi
001e22damov rbx, [rbx+8]
001e22deor rbx, 1
001e22e2mov [rdx+8], rbx
001e22e6mov esi, 1
001e22ebmov rdi, rax
001e22eelea rax, [rip+0x1ae8b]
001e22f5call caml_c_call
001e22famov esi, 3
001e22ffmov rdi, [rsp+24]
001e2304mov rdx, [rsp]
001e2308lea rax, [rip+0x1ae71]
001e230fcall caml_c_call
001e2314mov rdx, [rsp+8]
001e2319mov rax, [rdx+8]
001e231dtest rax, rax
001e2320je 0x1e2324
001e2322jmp 0x1e232b
001e2324
001e2324loc_1e2324:
001e2324lea rdx, [rip+0x185fdd]
001e232b
001e232bloc_1e232b:
001e232bmov esi, 5
001e2330mov rdi, [rsp+24]
001e2335lea rax, [rip+0x1ae44]
001e233ccall caml_c_call
001e2341mov rdx, [rsp+16]
001e2346mov rax, [rdx+8]
001e234atest rax, rax
001e234dje 0x1e2354
001e234fjmp 0x1e235b
001e2351
001e2351 0f 1f 00 ...
001e2354
001e2354loc_1e2354:
001e2354lea rdx, [rip+0x185e85]
001e235b
001e235bloc_1e235b:
001e235bmov esi, 7
001e2360mov rdi, [rsp+24]
001e2365lea rax, [rip+0x1ae14]
001e236ccall caml_c_call
001e2371add rsp, 32
001e2375ret
001e2376
001e2376loc_1e2376:
001e2376call caml_call_gc
001e237bjmp 0x1e22c4
001e22a0

001e2380
001e2380Stdlib.Random.mk:
001e2380lea r10, [rsp-360]
001e2388cmp r10, [r14+40]
001e238cjb 0x1e23e0
001e238e
001e238eloc_1e238e:
001e238esub rsp, 40
001e2392mov [rsp], rax
001e2396mov [rsp+8], rbx
001e239bmov [rsp+16], rdi
001e23a0mov [rsp+24], rsi
001e23a5mov edi, 9
001e23aamov ebx, 1
001e23afmov eax, 15
001e23b4call Stdlib.Bigarray.create
001e23b9mov [rsp+32], rax
001e23bemov rbx, [rsp]
001e23c2mov rdi, [rsp+8]
001e23c7mov rsi, [rsp+16]
001e23ccmov rdx, [rsp+24]
001e23d1call Stdlib.Random.set
001e23d6mov rax, [rsp+32]
001e23dbadd rsp, 40
001e23dfret
001e23e0
001e23e0loc_1e23e0:
001e23e0push 38
001e23e2call caml_call_realloc_stack
001e23e7pop r10
001e23e9jmp 0x1e238e
001e2380

001e23eb
001e23eb // align 0x10

001e23f0
001e23f0Stdlib.Random.to_binary_string:
001e23f0lea r10, [rsp-344]
001e23f8cmp r10, [r14+40]
001e23fcjb 0x1e24dc
001e2402
001e2402loc_1e2402:
001e2402sub rsp, 24
001e2406mov [rsp], rax
001e240amov edi, 75
001e240flea rax, [rip+0x3ec1a]
001e2416call caml_c_call
001e241bmov rdi, rax
001e241emov [rsp+16], rdi
001e2423mov edx, 11
001e2428mov esi, 1
001e242dmov ebx, 1
001e2432lea rax, [rip+0x185d97]
001e2439call Stdlib.Bytes.blit_string
001e243emov esi, 1
001e2443cmp rsi, 7
001e2447jg 0x1e24c3
001e2449mov [rsp+8], rsi
001e244e
001e244eloc_1e244e:
001e244emov rdi, [rsp]
001e2452lea rax, [rip+0x1ab27]
001e2459call caml_c_call
001e245emov rsi, [rsp+8]
001e2463lea rbx, [8*rsi+3]
001e246bmov rax, [rax+8]
001e246fsar rbx, 1
001e2472mov rcx, [rsp+16]
001e2477mov rdi, [rcx-8]
001e247bshr rdi, 10
001e247flea rdi, [8*rdi-1]
001e2487movzx rdx, [rcx+rdi]
001e248csub rdi, rdx
001e248fadd rdi, -7
001e2493mov rdx, rdi
001e2496sar rdx, 63
001e249axor rdx, -1
001e249eand rdx, rdi
001e24a1cmp rdx, rbx
001e24a4jbe 0x1e24d7
001e24a6mov [rcx+rbx], rax
001e24aamov rax, rsi
001e24adadd rsi, 2
001e24b1mov [rsp+8], rsi
001e24b6cmp rax, 7
001e24baje 0x1e24c3
001e24bccmp r15, [r14]
001e24bfja 0x1e244e
001e24c1jmp 0x1e24cd
001e24c3
001e24c3loc_1e24c3:
001e24c3mov rax, [rsp+16]
001e24c8add rsp, 24
001e24ccret
001e24cd
001e24cdloc_1e24cd:
001e24cdcall caml_call_gc
001e24d2jmp 0x1e244e
001e24d7
001e24d7loc_1e24d7:
001e24d7call caml_ml_array_bound_error
001e24dc
001e24dcloc_1e24dc:
001e24dcpush 36
001e24decall caml_call_realloc_stack
001e24e3pop r10
001e24e5jmp 0x1e2402
001e23f0

001e24ea
001e24ea // align 0x10

001e24f0
001e24f0Stdlib.Random.of_binary_string:
001e24f0lea r10, [rsp-360]
001e24f8cmp r10, [r14+40]
001e24fcjb 0x1e268f
001e2502
001e2502loc_1e2502:
001e2502sub rsp, 40
001e2506mov rbx, rax
001e2509mov [rsp], rbx
001e250dmov rax, [rbx-8]
001e2511shr rax, 10
001e2515lea rax, [8*rax-1]
001e251dmovzx rdi, [rbx+rax]
001e2522sub rax, rdi
001e2525lea rax, [rax+rax+1]
001e252acmp rax, 75
001e252ejne 0x1e2542
001e2530lea rax, [rip+0x185c99]
001e2537call Stdlib.String.starts_with
001e253ccmp rax, 1
001e2540jne 0x1e255a
001e2542
001e2542loc_1e2542:
001e2542lea rbx, [rip+0x14d07f]
001e2549lea rax, [rip+0x185c30]
001e2550call camlStdlib.$5e_139
001e2555call camlStdlib.failwith_7
001e255a
001e255aloc_1e255a:
001e255amov rax, [rsp]
001e255emov rbx, [rax-8]
001e2562shr rbx, 10
001e2566lea rbx, [8*rbx-1]
001e256emovzx rdi, [rax+rbx]
001e2573sub rbx, rdi
001e2576add rbx, -7
001e257amov rdi, rbx
001e257dsar rdi, 63
001e2581xor rdi, -1
001e2585and rdi, rbx
001e2588cmp rdi, 5
001e258cjbe 0x1e268a
001e2592mov rbx, [rax+5]
001e2596mov [rsp+24], rbx
001e259bcmp rdi, 13
001e259fjbe 0x1e2685
001e25a5mov rbx, [rax+13]
001e25a9mov [rsp+16], rbx
001e25aecmp rdi, 21
001e25b2jbe 0x1e2680
001e25b8mov rbx, [rax+21]
001e25bcmov [rsp+8], rbx
001e25c1cmp rdi, 29
001e25c5jbe 0x1e267b
001e25cbmov rax, [rax+29]
001e25cfmov [rsp], rax
001e25d3mov edi, 9
001e25d8mov ebx, 1
001e25ddmov eax, 15
001e25e2call Stdlib.Bigarray.create
001e25e7mov [rsp+32], rax
001e25ecsub r15, 96
001e25f0cmp r15, [r14]
001e25f3jb 0x1e2671
001e25f5
001e25f5loc_1e25f5:
001e25f5lea rdx, [r15+8]
001e25f9add rdx, 72
001e25fdmov [rdx-8], 2303
001e2605lea rbx, [rip+0x93274]
001e260cmov [rdx], rbx
001e260fmov rdi, [rsp]
001e2613mov [rdx+8], rdi
001e2617lea rsi, [rdx-24]
001e261bmov [rsi-8], 2303
001e2623mov [rsi], rbx
001e2626mov rdi, [rsp+8]
001e262bmov [rsi+8], rdi
001e262flea rdi, [rsi-24]
001e2633mov [rdi-8], 2303
001e263bmov [rdi], rbx
001e263emov rcx, [rsp+16]
001e2643mov [rdi+8], rcx
001e2647lea rcx, [rdi-24]
001e264bmov [rcx-8], 2303
001e2653mov [rcx], rbx
001e2656mov rbx, [rsp+24]
001e265bmov [rcx+8], rbx
001e265fmov rbx, rcx
001e2662call Stdlib.Random.set
001e2667mov rax, [rsp+32]
001e266cadd rsp, 40
001e2670ret
001e2671
001e2671loc_1e2671:
001e2671call caml_call_gc
001e2676jmp 0x1e25f5
001e267b
001e267bloc_1e267b:
001e267bcall caml_ml_array_bound_error
001e2680
001e2680loc_1e2680:
001e2680call caml_ml_array_bound_error
001e2685
001e2685loc_1e2685:
001e2685call caml_ml_array_bound_error
001e268a
001e268aloc_1e268a:
001e268acall caml_ml_array_bound_error
001e268f
001e268floc_1e268f:
001e268fpush 38
001e2691call caml_call_realloc_stack
001e2696pop r10
001e2698jmp 0x1e2502
001e24f0

001e269d
001e269d // align 0x10

001e26a0
001e26a0Stdlib.Random.assign:
001e26a0mov rdi, rbx
001e26a3mov rsi, rax
001e26a6lea rax, [rip+0x1b4f3]
001e26adcall caml_c_call
001e26b2ret
001e26a0

001e26b3
001e26b3 // align 0x10

001e26c0
001e26c0Stdlib.Random.copy:
001e26c0lea r10, [rsp-336]
001e26c8cmp r10, [r14+40]
001e26ccjb 0x1e270c
001e26ce
001e26celoc_1e26ce:
001e26cesub rsp, 16
001e26d2mov [rsp], rax
001e26d6mov edi, 9
001e26dbmov ebx, 1
001e26e0mov eax, 15
001e26e5call Stdlib.Bigarray.create
001e26eamov [rsp+8], rax
001e26efmov rdi, [rsp]
001e26f3mov rsi, rax
001e26f6lea rax, [rip+0x1b4a3]
001e26fdcall caml_c_call
001e2702mov rax, [rsp+8]
001e2707add rsp, 16
001e270bret
001e270c
001e270cloc_1e270c:
001e270cpush 35
001e270ecall caml_call_realloc_stack
001e2713pop r10
001e2715jmp 0x1e26ce
001e26c0

001e2717
001e2717 // align 0x10

001e2720
001e2720Stdlib.Random.reinit:
001e2720lea r10, [rsp-352]
001e2728cmp r10, [r14+40]
001e272cjb 0x1e29b0
001e2732
001e2732loc_1e2732:
001e2732sub rsp, 32
001e2736mov [rsp+24], rax
001e273bmov [rsp+16], rbx
001e2740mov rax, [rbx-8]
001e2744shr rax, 9
001e2748or rax, 1
001e274cmov [rsp], rax
001e2750lea rdi, [8*rax-5]
001e2758lea rax, [rip+0x3e8d1]
001e275fcall caml_c_call
001e2764mov [rsp+8], rax
001e2769mov edi, 1
001e276emov rcx, [rsp]
001e2772mov rdx, rcx
001e2775add rdx, -2
001e2779cmp rdi, rdx
001e277cjg 0x1e27f4
001e277e
001e277eloc_1e277e:
001e277emov rsi, [rsp+16]
001e2783mov rbx, [rsi-8]
001e2787shr rbx, 9
001e278bcmp rbx, rdi
001e278ejbe 0x1e29ab
001e2794mov rsi, [rsi+4*rdi-4]
001e2799sar rsi, 1
001e279clea rbx, [8*rdi-7]
001e27a4sar rbx, 1
001e27a7mov r8, [rax-8]
001e27abshr r8, 10
001e27aflea r8, [8*r8-1]
001e27b7movzx r9, [rax+r8]
001e27bcsub r8, r9
001e27bfadd r8, -7
001e27c3mov r9, r8
001e27c6sar r9, 63
001e27caxor r9, -1
001e27ceand r9, r8
001e27d1cmp r9, rbx
001e27d4jbe 0x1e29a6
001e27damov [rax+rbx], rsi
001e27demov rbx, rdi
001e27e1add rdi, 2
001e27e5cmp rbx, rdx
001e27e8je 0x1e27f4
001e27eacmp r15, [r14]
001e27edja 0x1e277e
001e27efjmp 0x1e297e
001e27f4
001e27f4loc_1e27f4:
001e27f4lea rbx, [8*rcx-7]
001e27fcsar rbx, 1
001e27ffmov rdi, [rax-8]
001e2803shr rdi, 10
001e2807lea rdi, [8*rdi-1]
001e280fmovzx rsi, [rax+rdi]
001e2814sub rdi, rsi
001e2817cmp rdi, rbx
001e281ajbe 0x1e29a1
001e2820mov edi, 1
001e2825mov [rax+rbx], dil
001e2829call Stdlib.Digest.bytes
001e282emov [rsp+16], rax
001e2833mov rax, [rsp]
001e2837lea rax, [8*rax-7]
001e283fsar rax, 1
001e2842mov rsi, [rsp+8]
001e2847mov rbx, [rsi-8]
001e284bshr rbx, 10
001e284flea rbx, [8*rbx-1]
001e2857movzx rdi, [rsi+rbx]
001e285csub rbx, rdi
001e285fcmp rbx, rax
001e2862jbe 0x1e299c
001e2868mov ebx, 2
001e286dmov [rsi+rax], bl
001e2870mov rax, rsi
001e2873call Stdlib.Digest.bytes
001e2878sub r15, 96
001e287ccmp r15, [r14]
001e287fjb 0x1e2974
001e2885
001e2885loc_1e2885:
001e2885lea rdx, [r15+8]
001e2889add rdx, 72
001e288dmov [rdx-8], 2303
001e2895lea rbx, [rip+0x92fe4]
001e289cmov [rdx], rbx
001e289fmov rdi, [rax-8]
001e28a3shr rdi, 10
001e28a7lea rdi, [8*rdi-1]
001e28afmovzx rsi, [rax+rdi]
001e28b4sub rdi, rsi
001e28b7add rdi, -7
001e28bbmov rcx, rdi
001e28besar rcx, 63
001e28c2xor rcx, -1
001e28c6and rcx, rdi
001e28c9cmp rcx, 8
001e28cdjbe 0x1e2997
001e28d3mov rdi, [rax+8]
001e28d7mov [rdx+8], rdi
001e28dblea rsi, [rdx-24]
001e28dfmov [rsi-8], 2303
001e28e7mov [rsi], rbx
001e28eacmp rcx, 0
001e28eejbe 0x1e2992
001e28f4mov rax, [rax]
001e28f7mov [rsi+8], rax
001e28fblea rdi, [rsi-24]
001e28ffmov [rdi-8], 2303
001e2907mov [rdi], rbx
001e290amov rax, [rsp+16]
001e290fmov rcx, [rax-8]
001e2913shr rcx, 10
001e2917lea rcx, [8*rcx-1]
001e291fmovzx r8, [rax+rcx]
001e2924sub rcx, r8
001e2927add rcx, -7
001e292bmov r8, rcx
001e292esar r8, 63
001e2932xor r8, -1
001e2936and r8, rcx
001e2939cmp r8, 8
001e293djbe 0x1e298d
001e293fmov rcx, [rax+8]
001e2943mov [rdi+8], rcx
001e2947lea rcx, [rdi-24]
001e294bmov [rcx-8], 2303
001e2953mov [rcx], rbx
001e2956cmp r8, 0
001e295ajbe 0x1e2988
001e295cmov rax, [rax]
001e295fmov [rcx+8], rax
001e2963mov rax, [rsp+24]
001e2968mov rbx, rcx
001e296badd rsp, 32
001e296fjmp 0x1e22a0
001e2974
001e2974loc_1e2974:
001e2974call caml_call_gc
001e2979jmp 0x1e2885
001e297e
001e297eloc_1e297e:
001e297ecall caml_call_gc
001e2983jmp 0x1e277e
001e2988
001e2988loc_1e2988:
001e2988call caml_ml_array_bound_error
001e298d
001e298dloc_1e298d:
001e298dcall caml_ml_array_bound_error
001e2992
001e2992loc_1e2992:
001e2992call caml_ml_array_bound_error
001e2997
001e2997loc_1e2997:
001e2997call caml_ml_array_bound_error
001e299c
001e299cloc_1e299c:
001e299ccall caml_ml_array_bound_error
001e29a1
001e29a1loc_1e29a1:
001e29a1call caml_ml_array_bound_error
001e29a6
001e29a6loc_1e29a6:
001e29a6call caml_ml_array_bound_error
001e29ab
001e29abloc_1e29ab:
001e29abcall caml_ml_array_bound_error
001e29b0
001e29b0loc_1e29b0:
001e29b0push 37
001e29b2call caml_call_realloc_stack
001e29b7pop r10
001e29b9jmp 0x1e2732
001e2720

001e29be
001e29be // align 0x10

001e29c0
001e29c0Stdlib.Random.make:
001e29c0lea r10, [rsp-336]
001e29c8cmp r10, [r14+40]
001e29ccjb 0x1e2a02
001e29ce
001e29celoc_1e29ce:
001e29cesub rsp, 16
001e29d2mov [rsp], rax
001e29d6mov edi, 9
001e29dbmov ebx, 1
001e29e0mov eax, 15
001e29e5call Stdlib.Bigarray.create
001e29eamov [rsp+8], rax
001e29efmov rbx, [rsp]
001e29f3call Stdlib.Random.reinit
001e29f8mov rax, [rsp+8]
001e29fdadd rsp, 16
001e2a01ret
001e2a02
001e2a02loc_1e2a02:
001e2a02push 35
001e2a04call caml_call_realloc_stack
001e2a09pop r10
001e2a0bjmp 0x1e29ce
001e29c0

001e2a0d
001e2a0d // align 0x10

001e2a10
001e2a10Stdlib.Random.make_self_init:
001e2a10lea r10, [rsp-336]
001e2a18cmp r10, [r14+40]
001e2a1cjb 0x1e2a63
001e2a1e
001e2a1eloc_1e2a1e:
001e2a1esub rsp, 16
001e2a22mov edi, 1
001e2a27lea rax, [rip+0x408d2]
001e2a2ecall caml_c_call
001e2a33mov [rsp], rax
001e2a37mov edi, 9
001e2a3cmov ebx, 1
001e2a41mov eax, 15
001e2a46call Stdlib.Bigarray.create
001e2a4bmov [rsp+8], rax
001e2a50mov rbx, [rsp]
001e2a54call Stdlib.Random.reinit
001e2a59mov rax, [rsp+8]
001e2a5eadd rsp, 16
001e2a62ret
001e2a63
001e2a63loc_1e2a63:
001e2a63push 35
001e2a65call caml_call_realloc_stack
001e2a6apop r10
001e2a6cjmp 0x1e2a1e
001e2a10

001e2a6e
001e2a6e // align 0x10

001e2a70
001e2a70Stdlib.Random.bits:
001e2a70mov rdi, rax
001e2a73mov rbx, rsp
001e2a76mov rsp, [r14+64]
001e2a7acall caml_lxm_next_unboxed
001e2a7fmov rsp, rbx
001e2a82shl rax, 1
001e2a85inc rax
001e2a88and rax, 0x7fffffff
001e2a8eret
001e2a70

001e2a8f
001e2a8f // align 0x10

001e2a90
001e2a90Stdlib.Random.int_aux:
001e2a90mov rbp, rax
001e2a93mov r12, rbx
001e2a96mov r13, rdi
001e2a99cmp r15, [r14]
001e2a9cjbe 0x1e2b0d
001e2a9e
001e2a9eloc_1e2a9e:
001e2a9emov rdi, rbp
001e2aa1mov rbx, rsp
001e2aa4mov rsp, [r14+64]
001e2aa8call caml_lxm_next_unboxed
001e2aadmov rsp, rbx
001e2ab0shl rax, 1
001e2ab3inc rax
001e2ab6mov rbx, rax
001e2ab9and rbx, r13
001e2abcmov rcx, r12
001e2abfsar rcx, 1
001e2ac2mov rax, rbx
001e2ac5sar rax, 1
001e2ac8test rcx, rcx
001e2acbje 0x1e2ad8
001e2acdcqo
001e2acfidiv rcx
001e2ad2mov rax, rdx
001e2ad5jmp 0x1e2ae4
001e2ad7
001e2ad7 90 .
001e2ad8
001e2ad8loc_1e2ad8:
001e2ad8lea rax, [rip+0x93631]
001e2adfcall caml_raise_exn
001e2ae4
001e2ae4loc_1e2ae4:
001e2ae4shl rax, 1
001e2ae7inc rax
001e2aeamov rdi, r13
001e2aedsub rdi, r12
001e2af0add rdi, 3
001e2af4sub rbx, rax
001e2af7inc rbx
001e2afacmp rbx, rdi
001e2afdjle 0x1e2b0c
001e2affmov rax, rbp
001e2b02mov rbx, r12
001e2b05mov rdi, r13
001e2b08jmp 0x1e2a90
001e2b0a
001e2b0a 66 90 f.
001e2b0c
001e2b0cloc_1e2b0c:
001e2b0cret
001e2b0d
001e2b0dloc_1e2b0d:
001e2b0dcall caml_call_gc
001e2b12jmp 0x1e2a9e
001e2a90

001e2b14
001e2b14 // align 0x10

001e2b20
001e2b20Stdlib.Random.int:
001e2b20cmp rbx, 0x7fffffff
001e2b27jg 0x1e2b3c
001e2b29cmp rbx, 1
001e2b2djle 0x1e2b3c
001e2b2fmov edi, 0x7fffffff
001e2b34jmp 0x1e2a90
001e2b39
001e2b39 0f 1f 00 ...
001e2b3c
001e2b3cloc_1e2b3c:
001e2b3clea rax, [rip+0x185625]
001e2b43jmp 0x195ab0
001e2b20

001e2b48
001e2b48 // align 0x10

001e2b50
001e2b50Stdlib.Random.full_int:
001e2b50cmp rbx, 1
001e2b54jg 0x1e2b64
001e2b56lea rax, [rip+0x1855f3]
001e2b5djmp 0x195ab0
001e2b62
001e2b62 66 90 f.
001e2b64
001e2b64loc_1e2b64:
001e2b64cmp rbx, 0x7fffffff
001e2b6bjg 0x1e2b74
001e2b6dmov edi, 0x7fffffff
001e2b72jmp 0x1e2b92
001e2b74
001e2b74loc_1e2b74:
001e2b74mov edi, -1
001e2b79cmp rbx, rdi
001e2b7cjg 0x1e2b88
001e2b7emov edi, -1
001e2b83jmp 0x1e2b92
001e2b85
001e2b85 0f 1f 00 ...
001e2b88
001e2b88loc_1e2b88:
001e2b88mov rdi, 0x7fffffffffffffff
001e2b92
001e2b92loc_1e2b92:
001e2b92jmp 0x1e2a90
001e2b50

001e2b97
001e2b97 // align 0x10

001e2ba0
001e2ba0Stdlib.Random.int_in_large_range:
001e2ba0sub rsp, 16
001e2ba4
001e2ba4loc_1e2ba4:
001e2ba4mov rbp, rax
001e2ba7mov [rsp], rbx
001e2babmov [rsp+8], rdi
001e2bb0mov r13, rsi
001e2bb3cmp r15, [r14]
001e2bb6jbe 0x1e2c19
001e2bb8
001e2bb8loc_1e2bb8:
001e2bb8mov r12l, 128
001e2bbesub r12, r13
001e2bc1mov rdi, rbp
001e2bc4mov rbx, rsp
001e2bc7mov rsp, [r14+64]
001e2bcbcall caml_lxm_next_unboxed
001e2bd0mov rsp, rbx
001e2bd3shl rax, 1
001e2bd6mov rcx, r12
001e2bd9sar rcx, 1
001e2bdcshl rax, cl
001e2bdfinc rax
001e2be2sar rax, cl
001e2be5or rax, 1
001e2be9mov rbx, [rsp]
001e2bedcmp rax, rbx
001e2bf0jl 0x1e2c0c
001e2bf2mov rdi, [rsp+8]
001e2bf7cmp rax, rdi
001e2bfajle 0x1e2c04
001e2bfcmov [rsp+8], rdi
001e2c01jmp 0x1e2c0c
001e2c03
001e2c03 90 .
001e2c04
001e2c04loc_1e2c04:
001e2c04add rsp, 16
001e2c08ret
001e2c09
001e2c09 0f 1f 00 ...
001e2c0c
001e2c0cloc_1e2c0c:
001e2c0cmov rax, rbp
001e2c0fmov rdi, [rsp+8]
001e2c14mov rsi, r13
001e2c17jmp 0x1e2ba4
001e2c19
001e2c19loc_1e2c19:
001e2c19call caml_call_gc
001e2c1ejmp 0x1e2bb8
001e2ba0

001e2c20
001e2c20Stdlib.Random.int_in_range_aux:
001e2c20lea r10, [rsp-328]
001e2c28cmp r10, [r14+40]
001e2c2cjb 0x1e2c77
001e2c2e
001e2c2eloc_1e2c2e:
001e2c2esub rsp, 8
001e2c32mov rcx, rbx
001e2c35mov rbx, rdi
001e2c38sub rbx, rcx
001e2c3badd rbx, 3
001e2c3fcmp rbx, rsi
001e2c42jg 0x1e2c68
001e2c44cmp rbx, 1
001e2c48jle 0x1e2c68
001e2c4amov [rsp], rcx
001e2c4emov rdi, rsi
001e2c51call Stdlib.Random.int_aux
001e2c56mov rbx, rax
001e2c59mov rax, [rsp]
001e2c5dadd rax, rbx
001e2c60dec rax
001e2c63add rsp, 8
001e2c67ret
001e2c68
001e2c68loc_1e2c68:
001e2c68mov rbx, rcx
001e2c6bmov rsi, rdx
001e2c6eadd rsp, 8
001e2c72jmp 0x1e2ba0
001e2c77
001e2c77loc_1e2c77:
001e2c77push 34
001e2c79call caml_call_realloc_stack
001e2c7epop r10
001e2c80jmp 0x1e2c2e
001e2c20

001e2c82
001e2c82 // align 0x10

001e2c90
001e2c90Stdlib.Random.int_in_range:
001e2c90lea r10, [rsp-344]
001e2c98cmp r10, [r14+40]
001e2c9cjb 0x1e2d56
001e2ca2
001e2ca2loc_1e2ca2:
001e2ca2sub rsp, 24
001e2ca6mov [rsp+16], rax
001e2cabmov [rsp], rbx
001e2cafmov [rsp+8], rdi
001e2cb4cmp rbx, rdi
001e2cb7jle 0x1e2cc5
001e2cb9lea rax, [rip+0x185470]
001e2cc0call camlStdlib.invalid_arg_10
001e2cc5
001e2cc5loc_1e2cc5:
001e2cc5mov rbx, [rsp]
001e2cc9cmp rbx, 0xffffffff80000001
001e2cd0jl 0x1e2cfd
001e2cd2mov rdi, [rsp+8]
001e2cd7cmp rdi, 0x7fffffff
001e2cdejg 0x1e2cf8
001e2ce0mov edx, 63
001e2ce5mov esi, 0x7fffffff
001e2ceamov rax, [rsp+16]
001e2cefadd rsp, 24
001e2cf3jmp 0x1e2c20
001e2cf8
001e2cf8loc_1e2cf8:
001e2cf8mov [rsp+8], rdi
001e2cfd
001e2cfdloc_1e2cfd:
001e2cfdmov rax, 0xffffffff00000001
001e2d07cmp rbx, rax
001e2d0ajl 0x1e2d34
001e2d0cmov eax, -1
001e2d11mov rdi, [rsp+8]
001e2d16cmp rdi, rax
001e2d19jg 0x1e2d34
001e2d1bmov edx, 65
001e2d20mov esi, -1
001e2d25mov rax, [rsp+16]
001e2d2aadd rsp, 24
001e2d2ejmp 0x1e2c20
001e2d33
001e2d33 90 .
001e2d34
001e2d34loc_1e2d34:
001e2d34mov edx, 127
001e2d39mov rsi, 0x7fffffffffffffff
001e2d43mov rax, [rsp+16]
001e2d48mov rdi, [rsp+8]
001e2d4dadd rsp, 24
001e2d51jmp 0x1e2c20
001e2d56
001e2d56loc_1e2d56:
001e2d56push 36
001e2d58call caml_call_realloc_stack
001e2d5dpop r10
001e2d5fjmp 0x1e2ca2
001e2c90

001e2d64
001e2d64 // align 0x10

001e2d70
001e2d70Stdlib.Random.bits32:
001e2d70mov rdi, rax
001e2d73mov rbx, rsp
001e2d76mov rsp, [r14+64]
001e2d7acall caml_lxm_next_unboxed
001e2d7fmov rsp, rbx
001e2d82shl rax, 32
001e2d86sar rax, 32
001e2d8asub r15, 24
001e2d8ecmp r15, [r14]
001e2d91jb 0x1e2db1
001e2d93
001e2d93loc_1e2d93:
001e2d93lea rbx, [r15+8]
001e2d97mov [rbx-8], 2303
001e2d9flea rdi, [rip+0x92b1a]
001e2da6mov [rbx], rdi
001e2da9mov [rbx+8], rax
001e2dadmov rax, rbx
001e2db0ret
001e2db1
001e2db1loc_1e2db1:
001e2db1call caml_call_gc
001e2db6jmp 0x1e2d93
001e2d70

001e2db8
001e2db8 // align 0x10

001e2dc0
001e2dc0Stdlib.Random.int32aux:
001e2dc0mov r13, rax
001e2dc3mov r12, rbx
001e2dc6cmp r15, [r14]
001e2dc9jbe 0x1e2e5a
001e2dcf
001e2dcfloc_1e2dcf:
001e2dcfmov rdi, r13
001e2dd2mov rbx, rsp
001e2dd5mov rsp, [r14+64]
001e2dd9call caml_lxm_next_unboxed
001e2ddemov rsp, rbx
001e2de1mov ebx, eax
001e2de3shr rbx, 1
001e2de6movsxd rcx, [r12+8]
001e2debmovsxd rax, ebx
001e2deetest rcx, rcx
001e2df1je 0x1e2dfc
001e2df3cqo
001e2df5idiv rcx
001e2df8jmp 0x1e2e08
001e2dfa
001e2dfa 66 90 f.
001e2dfc
001e2dfcloc_1e2dfc:
001e2dfclea rax, [rip+0x9330d]
001e2e03call caml_raise_exn
001e2e08
001e2e08loc_1e2e08:
001e2e08movsxd rax, [r12+8]
001e2e0dmov edi, 0xffffffff80000000
001e2e12sub rdi, rax
001e2e15movsxd rax, edi
001e2e18sub rbx, rdx
001e2e1bmovsxd rbx, ebx
001e2e1ecmp rbx, rax
001e2e21jle 0x1e2e2c
001e2e23mov rax, r13
001e2e26mov rbx, r12
001e2e29jmp 0x1e2dc0
001e2e2b
001e2e2b 90 .
001e2e2c
001e2e2cloc_1e2e2c:
001e2e2csub r15, 24
001e2e30cmp r15, [r14]
001e2e33jb 0x1e2e53
001e2e35
001e2e35loc_1e2e35:
001e2e35lea rax, [r15+8]
001e2e39mov [rax-8], 2303
001e2e41lea rbx, [rip+0x92a78]
001e2e48mov [rax], rbx
001e2e4bmovsxd rbx, edx
001e2e4emov [rax+8], rbx
001e2e52ret
001e2e53
001e2e53loc_1e2e53:
001e2e53call caml_call_gc
001e2e58jmp 0x1e2e35
001e2e5a
001e2e5aloc_1e2e5a:
001e2e5acall caml_call_gc
001e2e5fjmp 0x1e2dcf
001e2dc0

001e2e64
001e2e64 // align 0x10

001e2e70
001e2e70Stdlib.Random.int32:
001e2e70movsxd rdi, [rbx+8]
001e2e74cmp rdi, 0
001e2e78jg 0x1e2e88
001e2e7alea rax, [rip+0x185457]
001e2e81jmp 0x195ab0
001e2e86
001e2e86 66 90 f.
001e2e88
001e2e88loc_1e2e88:
001e2e88jmp 0x1e2dc0
001e2e70

001e2e8d
001e2e8d // align 0x10

001e2e90
001e2e90Stdlib.Random.int32_in_range_aux:
001e2e90mov r12, rax
001e2e93mov r13, rbx
001e2e96mov rbp, rdi
001e2e99cmp r15, [r14]
001e2e9cjbe 0x1e2efe
001e2e9e
001e2e9eloc_1e2e9e:
001e2e9emov rdi, r12
001e2ea1mov rbx, rsp
001e2ea4mov rsp, [r14+64]
001e2ea8call caml_lxm_next_unboxed
001e2eadmov rsp, rbx
001e2eb0movsxd rbx, [r13+8]
001e2eb4movsxd rax, eax
001e2eb7cmp rax, rbx
001e2ebajl 0x1e2eec
001e2ebcmovsxd rbx, [rbp+8]
001e2ec0cmp rax, rbx
001e2ec3jg 0x1e2eec
001e2ec5sub r15, 24
001e2ec9cmp r15, [r14]
001e2eccjb 0x1e2ef7
001e2ece
001e2eceloc_1e2ece:
001e2ecelea rbx, [r15+8]
001e2ed2mov [rbx-8], 2303
001e2edalea rdi, [rip+0x929df]
001e2ee1mov [rbx], rdi
001e2ee4mov [rbx+8], rax
001e2ee8mov rax, rbx
001e2eebret
001e2eec
001e2eecloc_1e2eec:
001e2eecmov rax, r12
001e2eefmov rbx, r13
001e2ef2mov rdi, rbp
001e2ef5jmp 0x1e2e90
001e2ef7
001e2ef7loc_1e2ef7:
001e2ef7call caml_call_gc
001e2efcjmp 0x1e2ece
001e2efe
001e2efeloc_1e2efe:
001e2efecall caml_call_gc
001e2f03jmp 0x1e2e9e
001e2e90

001e2f05
001e2f05 // align 0x10

001e2f10
001e2f10Stdlib.Random.int32_in_range:
001e2f10lea r10, [rsp-328]
001e2f18cmp r10, [r14+40]
001e2f1cjb 0x1e2fd8
001e2f22
001e2f22loc_1e2f22:
001e2f22sub rsp, 8
001e2f26movsxd rsi, [rdi+8]
001e2f2amovsxd rdx, [rbx+8]
001e2f2ecmp rdx, rsi
001e2f31jle 0x1e2f44
001e2f33lea rax, [rip+0x18537e]
001e2f3aadd rsp, 8
001e2f3ejmp 0x195ab0
001e2f43
001e2f43 90 .
001e2f44
001e2f44loc_1e2f44:
001e2f44sub rsi, rdx
001e2f47inc rsi
001e2f4amovsxd rsi, esi
001e2f4dcmp rsi, 0
001e2f51jg 0x1e2f5c
001e2f53add rsp, 8
001e2f57jmp 0x1e2e90
001e2f5c
001e2f5cloc_1e2f5c:
001e2f5cmov [rsp], rbx
001e2f60sub r15, 24
001e2f64cmp r15, [r14]
001e2f67jb 0x1e2fd1
001e2f69
001e2f69loc_1e2f69:
001e2f69lea rbx, [r15+8]
001e2f6dmov [rbx-8], 2303
001e2f75lea rdi, [rip+0x92944]
001e2f7cmov [rbx], rdi
001e2f7fmov [rbx+8], rsi
001e2f83call Stdlib.Random.int32aux
001e2f88add rax, 8
001e2f8cmovsxd rax, [rax]
001e2f8fmov rbx, [rsp]
001e2f93movsxd rbx, [rbx+8]
001e2f97add rbx, rax
001e2f9ashl rbx, 32
001e2f9esar rbx, 32
001e2fa2sub r15, 24
001e2fa6cmp r15, [r14]
001e2fa9jb 0x1e2fca
001e2fab
001e2fabloc_1e2fab:
001e2fablea rax, [r15+8]
001e2fafmov [rax-8], 2303
001e2fb7lea rdi, [rip+0x92902]
001e2fbemov [rax], rdi
001e2fc1mov [rax+8], rbx
001e2fc5add rsp, 8
001e2fc9ret
001e2fca
001e2fcaloc_1e2fca:
001e2fcacall caml_call_gc
001e2fcfjmp 0x1e2fab
001e2fd1
001e2fd1loc_1e2fd1:
001e2fd1call caml_call_gc
001e2fd6jmp 0x1e2f69
001e2fd8
001e2fd8loc_1e2fd8:
001e2fd8push 34
001e2fdacall caml_call_realloc_stack
001e2fdfpop r10
001e2fe1jmp 0x1e2f22
001e2f10

001e2fe6
001e2fe6 // align 0x10

001e2ff0
001e2ff0Stdlib.Random.bits64:
001e2ff0mov rdi, rax
001e2ff3mov rbx, rsp
001e2ff6mov rsp, [r14+64]
001e2ffacall caml_lxm_next_unboxed
001e2fffmov rsp, rbx
001e3002sub r15, 24
001e3006cmp r15, [r14]
001e3009jb 0x1e3029
001e300b
001e300bloc_1e300b:
001e300blea rbx, [r15+8]
001e300fmov [rbx-8], 2303
001e3017lea rdi, [rip+0x92862]
001e301emov [rbx], rdi
001e3021mov [rbx+8], rax
001e3025mov rax, rbx
001e3028ret
001e3029
001e3029loc_1e3029:
001e3029call caml_call_gc
001e302ejmp 0x1e300b
001e2ff0

001e3030
001e3030Stdlib.Random.int64aux:
001e3030mov r13, rax
001e3033mov r12, rbx
001e3036cmp r15, [r14]
001e3039jbe 0x1e30d3
001e303f
001e303floc_1e303f:
001e303fmov rdi, r13
001e3042mov rbx, rsp
001e3045mov rsp, [r14+64]
001e3049call caml_lxm_next_unboxed
001e304emov rsp, rbx
001e3051mov rbx, rax
001e3054shr rbx, 1
001e3057mov rcx, [r12+8]
001e305ccmp rcx, -1
001e3060je 0x1e3080
001e3062test rcx, rcx
001e3065je 0x1e3074
001e3067mov rax, rbx
001e306acqo
001e306cidiv rcx
001e306fjmp 0x1e3082
001e3071
001e3071 0f 1f 00 ...
001e3074
001e3074loc_1e3074:
001e3074lea rax, [rip+0x93095]
001e307bcall caml_raise_exn
001e3080
001e3080loc_1e3080:
001e3080xor edx, edx
001e3082
001e3082loc_1e3082:
001e3082mov rax, [r12+8]
001e3087mov rdi, 0x7fffffffffffffff
001e3091sub rdi, rax
001e3094inc rdi
001e3097sub rbx, rdx
001e309acmp rbx, rdi
001e309djle 0x1e30a8
001e309fmov rax, r13
001e30a2mov rbx, r12
001e30a5jmp 0x1e3030
001e30a7
001e30a7 90 .
001e30a8
001e30a8loc_1e30a8:
001e30a8sub r15, 24
001e30accmp r15, [r14]
001e30afjb 0x1e30cc
001e30b1
001e30b1loc_1e30b1:
001e30b1lea rax, [r15+8]
001e30b5mov [rax-8], 2303
001e30bdlea rbx, [rip+0x927bc]
001e30c4mov [rax], rbx
001e30c7mov [rax+8], rdx
001e30cbret
001e30cc
001e30ccloc_1e30cc:
001e30cccall caml_call_gc
001e30d1jmp 0x1e30b1
001e30d3
001e30d3loc_1e30d3:
001e30d3call caml_call_gc
001e30d8jmp 0x1e303f
001e3030

001e30dd
001e30dd // align 0x10

001e30e0
001e30e0Stdlib.Random.int64:
001e30e0mov rdi, [rbx+8]
001e30e4cmp rdi, 0
001e30e8jg 0x1e30f8
001e30ealea rax, [rip+0x1851af]
001e30f1jmp 0x195ab0
001e30f6
001e30f6 66 90 f.
001e30f8
001e30f8loc_1e30f8:
001e30f8jmp 0x1e3030
001e30e0

001e30fd
001e30fd // align 0x10

001e3100
001e3100Stdlib.Random.int64_in_range_aux:
001e3100mov r12, rax
001e3103mov r13, rbx
001e3106mov rbp, rdi
001e3109cmp r15, [r14]
001e310cjbe 0x1e316e
001e310e
001e310eloc_1e310e:
001e310emov rdi, r12
001e3111mov rbx, rsp
001e3114mov rsp, [r14+64]
001e3118call caml_lxm_next_unboxed
001e311dmov rsp, rbx
001e3120mov rbx, [r13+8]
001e3124cmp rax, rbx
001e3127jl 0x1e315c
001e3129mov rbx, [rbp+8]
001e312dcmp rax, rbx
001e3130jg 0x1e315c
001e3132sub r15, 24
001e3136cmp r15, [r14]
001e3139jb 0x1e3167
001e313b
001e313bloc_1e313b:
001e313blea rbx, [r15+8]
001e313fmov [rbx-8], 2303
001e3147lea rdi, [rip+0x92732]
001e314emov [rbx], rdi
001e3151mov [rbx+8], rax
001e3155mov rax, rbx
001e3158ret
001e3159
001e3159 0f 1f 00 ...
001e315c
001e315cloc_1e315c:
001e315cmov rax, r12
001e315fmov rbx, r13
001e3162mov rdi, rbp
001e3165jmp 0x1e3100
001e3167
001e3167loc_1e3167:
001e3167call caml_call_gc
001e316cjmp 0x1e313b
001e316e
001e316eloc_1e316e:
001e316ecall caml_call_gc
001e3173jmp 0x1e310e
001e3100

001e3175
001e3175 // align 0x10

001e3180
001e3180Stdlib.Random.int64_in_range:
001e3180lea r10, [rsp-328]
001e3188cmp r10, [r14+40]
001e318cjb 0x1e3240
001e3192
001e3192loc_1e3192:
001e3192sub rsp, 8
001e3196mov rsi, [rdi+8]
001e319amov rdx, [rbx+8]
001e319ecmp rdx, rsi
001e31a1jle 0x1e31b4
001e31a3lea rax, [rip+0x1850d6]
001e31aaadd rsp, 8
001e31aejmp 0x195ab0
001e31b3
001e31b3 90 .
001e31b4
001e31b4loc_1e31b4:
001e31b4sub rsi, rdx
001e31b7inc rsi
001e31bacmp rsi, 0
001e31bejg 0x1e31cc
001e31c0add rsp, 8
001e31c4jmp 0x1e3100
001e31c9
001e31c9 0f 1f 00 ...
001e31cc
001e31ccloc_1e31cc:
001e31ccmov [rsp], rbx
001e31d0sub r15, 24
001e31d4cmp r15, [r14]
001e31d7jb 0x1e3239
001e31d9
001e31d9loc_1e31d9:
001e31d9lea rbx, [r15+8]
001e31ddmov [rbx-8], 2303
001e31e5lea rdi, [rip+0x92694]
001e31ecmov [rbx], rdi
001e31efmov [rbx+8], rsi
001e31f3call Stdlib.Random.int64aux
001e31f8add rax, 8
001e31fcmov rax, [rax]
001e31ffmov rbx, [rsp]
001e3203mov rbx, [rbx+8]
001e3207add rbx, rax
001e320asub r15, 24
001e320ecmp r15, [r14]
001e3211jb 0x1e3232
001e3213
001e3213loc_1e3213:
001e3213lea rax, [r15+8]
001e3217mov [rax-8], 2303
001e321flea rdi, [rip+0x9265a]
001e3226mov [rax], rdi
001e3229mov [rax+8], rbx
001e322dadd rsp, 8
001e3231ret
001e3232
001e3232loc_1e3232:
001e3232call caml_call_gc
001e3237jmp 0x1e3213
001e3239
001e3239loc_1e3239:
001e3239call caml_call_gc
001e323ejmp 0x1e31d9
001e3240
001e3240loc_1e3240:
001e3240push 34
001e3242call caml_call_realloc_stack
001e3247pop r10
001e3249jmp 0x1e3192
001e3180

001e324e
001e324e // align 0x10

001e3250
001e3250Stdlib.Random.fun:
001e3250mov rdi, rax
001e3253mov rbx, rsp
001e3256mov rsp, [r14+64]
001e325acall caml_lxm_next_unboxed
001e325fmov rsp, rbx
001e3262sub r15, 24
001e3266cmp r15, [r14]
001e3269jb 0x1e3289
001e326b
001e326bloc_1e326b:
001e326blea rbx, [r15+8]
001e326fmov [rbx-8], 2303
001e3277lea rdi, [rip+0x925c2]
001e327emov [rbx], rdi
001e3281mov [rbx+8], rax
001e3285mov rax, rbx
001e3288ret
001e3289
001e3289loc_1e3289:
001e3289call caml_call_gc
001e328ejmp 0x1e326b
001e3250

001e3290
001e3290Stdlib.Random.fun:
001e3290lea r10, [rsp-320]
001e3298cmp r10, [r14+40]
001e329cjb 0x1e3306
001e329e
001e329eloc_1e329e:
001e329esub r15, 24
001e32a2cmp r15, [r14]
001e32a5jb 0x1e32ff
001e32a7
001e32a7loc_1e32a7:
001e32a7lea rdi, [r15+8]
001e32abmov [rdi-8], 2303
001e32b3lea rsi, [rip+0x925c6]
001e32bamov [rdi], rsi
001e32bdmov rbx, [rbx+8]
001e32c1mov [rdi+8], rbx
001e32c5mov rbx, rdi
001e32c8call Stdlib.Random.int64
001e32cdadd rax, 8
001e32d1mov rbx, [rax]
001e32d4sub r15, 24
001e32d8cmp r15, [r14]
001e32dbjb 0x1e32f8
001e32dd
001e32ddloc_1e32dd:
001e32ddlea rax, [r15+8]
001e32e1mov [rax-8], 2303
001e32e9lea rdi, [rip+0x92550]
001e32f0mov [rax], rdi
001e32f3mov [rax+8], rbx
001e32f7ret
001e32f8
001e32f8loc_1e32f8:
001e32f8call caml_call_gc
001e32fdjmp 0x1e32dd
001e32ff
001e32ffloc_1e32ff:
001e32ffcall caml_call_gc
001e3304jmp 0x1e32a7
001e3306
001e3306loc_1e3306:
001e3306push 33
001e3308call caml_call_realloc_stack
001e330dpop r10
001e330fjmp 0x1e329e
001e3290

001e3311
001e3311 // align 0x10

001e3320
001e3320Stdlib.Random.fun:
001e3320lea r10, [rsp-320]
001e3328cmp r10, [r14+40]
001e332cjb 0x1e33b8
001e3332
001e3332loc_1e3332:
001e3332sub r15, 48
001e3336cmp r15, [r14]
001e3339jb 0x1e33b1
001e333b
001e333bloc_1e333b:
001e333blea rsi, [r15+8]
001e333fadd rsi, 24
001e3343mov [rsi-8], 2303
001e334blea rdx, [rip+0x9252e]
001e3352mov [rsi], rdx
001e3355mov rdi, [rdi+8]
001e3359mov [rsi+8], rdi
001e335dlea rdi, [rsi-24]
001e3361mov [rdi-8], 2303
001e3369mov [rdi], rdx
001e336cmov rbx, [rbx+8]
001e3370mov [rdi+8], rbx
001e3374mov rbx, rdi
001e3377mov rdi, rsi
001e337acall Stdlib.Random.int64_in_range
001e337fadd rax, 8
001e3383mov rbx, [rax]
001e3386sub r15, 24
001e338acmp r15, [r14]
001e338djb 0x1e33aa
001e338f
001e338floc_1e338f:
001e338flea rax, [r15+8]
001e3393mov [rax-8], 2303
001e339blea rdi, [rip+0x9249e]
001e33a2mov [rax], rdi
001e33a5mov [rax+8], rbx
001e33a9ret
001e33aa
001e33aaloc_1e33aa:
001e33aacall caml_call_gc
001e33afjmp 0x1e338f
001e33b1
001e33b1loc_1e33b1:
001e33b1call caml_call_gc
001e33b6jmp 0x1e333b
001e33b8
001e33b8loc_1e33b8:
001e33b8push 33
001e33bacall caml_call_realloc_stack
001e33bfpop r10
001e33c1jmp 0x1e3332
001e3320

001e33c6
001e33c6 // align 0x10

001e33d0
001e33d0Stdlib.Random.rawfloat:
001e33d0mov r12, rax
001e33d3cmp r15, [r14]
001e33d6jbe 0x1e3438
001e33d8
001e33d8loc_1e33d8:
001e33d8mov rdi, r12
001e33dbmov rbx, rsp
001e33demov rsp, [r14+64]
001e33e2call caml_lxm_next_unboxed
001e33e7mov rsp, rbx
001e33eashr rax, 11
001e33eetest rax, rax
001e33f1je 0x1e342c
001e33f3mov rdi, rax
001e33f6mov rbx, rsp
001e33f9mov rsp, [r14+64]
001e33fdcall caml_int64_to_float_unboxed
001e3402mov rsp, rbx
001e3405movsd_xmm x1, [rip+0x4740b]
001e340dmulsd x0, x1
001e3411sub r15, 16
001e3415cmp r15, [r14]
001e3418jb 0x1e3431
001e341a
001e341aloc_1e341a:
001e341alea rax, [r15+8]
001e341emov [rax-8], 1277
001e3426movsd_xmm [rax], x0
001e342aret
001e342b
001e342b 90 .
001e342c
001e342cloc_1e342c:
001e342cmov rax, r12
001e342fjmp 0x1e33d0
001e3431
001e3431loc_1e3431:
001e3431call caml_call_gc
001e3436jmp 0x1e341a
001e3438
001e3438loc_1e3438:
001e3438call caml_call_gc
001e343djmp 0x1e33d8
001e33d0

001e343f
001e343f // align 0x10

001e3440
001e3440Stdlib.Random.float:
001e3440lea r10, [rsp-328]
001e3448cmp r10, [r14+40]
001e344cjb 0x1e348c
001e344e
001e344eloc_1e344e:
001e344esub rsp, 8
001e3452mov [rsp], rbx
001e3456call Stdlib.Random.rawfloat
001e345bmovsd_xmm x0, [rax]
001e345fmov rax, [rsp]
001e3463mulsd x0, [rax]
001e3467sub r15, 16
001e346bcmp r15, [r14]
001e346ejb 0x1e3485
001e3470
001e3470loc_1e3470:
001e3470lea rax, [r15+8]
001e3474mov [rax-8], 1277
001e347cmovsd_xmm [rax], x0
001e3480add rsp, 8
001e3484ret
001e3485
001e3485loc_1e3485:
001e3485call caml_call_gc
001e348ajmp 0x1e3470
001e348c
001e348cloc_1e348c:
001e348cpush 34
001e348ecall caml_call_realloc_stack
001e3493pop r10
001e3495jmp 0x1e344e
001e3440

001e3497
001e3497 // align 0x10

001e34a0
001e34a0Stdlib.Random.bool:
001e34a0mov rdi, rax
001e34a3mov rbx, rsp
001e34a6mov rsp, [r14+64]
001e34aacall caml_lxm_next_unboxed
001e34afmov rsp, rbx
001e34b2cmp rax, 0
001e34b6setl al
001e34b9movzx rax, al
001e34bdshl rax, 1
001e34c0inc rax
001e34c3ret
001e34a0

001e34c4
001e34c4 // align 0x10

001e34d0
001e34d0Stdlib.Random.split:
001e34d0lea r10, [rsp-360]
001e34d8cmp r10, [r14+40]
001e34dcjb 0x1e35ec
001e34e2
001e34e2loc_1e34e2:
001e34e2sub rsp, 40
001e34e6mov r12, rax
001e34e9mov rdi, r12
001e34ecmov rbx, rsp
001e34efmov rsp, [r14+64]
001e34f3call caml_lxm_next_unboxed
001e34f8mov rsp, rbx
001e34fbmov [rsp+24], rax
001e3500mov rdi, r12
001e3503mov rbx, rsp
001e3506mov rsp, [r14+64]
001e350acall caml_lxm_next_unboxed
001e350fmov rsp, rbx
001e3512mov [rsp+16], rax
001e3517mov rdi, r12
001e351amov rbx, rsp
001e351dmov rsp, [r14+64]
001e3521call caml_lxm_next_unboxed
001e3526mov rsp, rbx
001e3529mov [rsp+8], rax
001e352emov rdi, r12
001e3531mov rbx, rsp
001e3534mov rsp, [r14+64]
001e3538call caml_lxm_next_unboxed
001e353dmov rsp, rbx
001e3540mov [rsp], rax
001e3544mov edi, 9
001e3549mov ebx, 1
001e354emov eax, 15
001e3553call Stdlib.Bigarray.create
001e3558mov [rsp+32], rax
001e355dsub r15, 96
001e3561cmp r15, [r14]
001e3564jb 0x1e35e2
001e3566
001e3566loc_1e3566:
001e3566lea rdx, [r15+8]
001e356aadd rdx, 72
001e356emov [rdx-8], 2303
001e3576lea rbx, [rip+0x92303]
001e357dmov [rdx], rbx
001e3580mov rdi, [rsp]
001e3584mov [rdx+8], rdi
001e3588lea rsi, [rdx-24]
001e358cmov [rsi-8], 2303
001e3594mov [rsi], rbx
001e3597mov rdi, [rsp+8]
001e359cmov [rsi+8], rdi
001e35a0lea rdi, [rsi-24]
001e35a4mov [rdi-8], 2303
001e35acmov [rdi], rbx
001e35afmov rcx, [rsp+16]
001e35b4mov [rdi+8], rcx
001e35b8lea rcx, [rdi-24]
001e35bcmov [rcx-8], 2303
001e35c4mov [rcx], rbx
001e35c7mov rbx, [rsp+24]
001e35ccmov [rcx+8], rbx
001e35d0mov rbx, rcx
001e35d3call Stdlib.Random.set
001e35d8mov rax, [rsp+32]
001e35ddadd rsp, 40
001e35e1ret
001e35e2
001e35e2loc_1e35e2:
001e35e2call caml_call_gc
001e35e7jmp 0x1e3566
001e35ec
001e35ecloc_1e35ec:
001e35ecpush 38
001e35eecall caml_call_realloc_stack
001e35f3pop r10
001e35f5jmp 0x1e34e2
001e34d0

001e35fa
001e35fa // align 0x10

001e3600
001e3600Stdlib.Random.mk_default:
001e3600lea r10, [rsp-328]
001e3608cmp r10, [r14+40]
001e360cjb 0x1e3654
001e360e
001e360eloc_1e360e:
001e360esub rsp, 8
001e3612mov edi, 9
001e3617mov ebx, 1
001e361cmov eax, 15
001e3621call Stdlib.Bigarray.create
001e3626mov [rsp], rax
001e362alea rdx, [rip+0x184bdf]
001e3631lea rsi, [rip+0x184bf0]
001e3638lea rdi, [rip+0x184c01]
001e363flea rbx, [rip+0x184c12]
001e3646call Stdlib.Random.set
001e364bmov rax, [rsp]
001e364fadd rsp, 8
001e3653ret
001e3654
001e3654loc_1e3654:
001e3654push 34
001e3656call caml_call_realloc_stack
001e365bpop r10
001e365djmp 0x1e360e
001e3600

001e365f
001e365f // align 0x10

001e3660
001e3660Stdlib.Random.bits:
001e3660lea r10, [rsp-320]
001e3668cmp r10, [r14+40]
001e366cjb 0x1e36af
001e366e
001e366eloc_1e366e:
001e366elea rax, [rip+0x168cd3]
001e3675mov rax, [rax+80]
001e3679mov rbx, [rax+8]
001e367dlea rax, [rip+0x18487c]
001e3684mov rax, [rax+184]
001e368bmov rdi, [rbx]
001e368ecall rdi
001e3690mov rdi, rax
001e3693mov rbx, rsp
001e3696mov rsp, [r14+64]
001e369acall caml_lxm_next_unboxed
001e369fmov rsp, rbx
001e36a2shl rax, 1
001e36a5inc rax
001e36a8and rax, 0x7fffffff
001e36aeret
001e36af
001e36afloc_1e36af:
001e36afpush 33
001e36b1call caml_call_realloc_stack
001e36b6pop r10
001e36b8jmp 0x1e366e
001e3660

001e36ba
001e36ba // align 0x10

001e36c0
001e36c0Stdlib.Random.int:
001e36c0lea r10, [rsp-328]
001e36c8cmp r10, [r14+40]
001e36ccjb 0x1e3705
001e36ce
001e36celoc_1e36ce:
001e36cesub rsp, 8
001e36d2mov [rsp], rax
001e36d6lea rax, [rip+0x168c6b]
001e36ddmov rax, [rax+80]
001e36e1mov rbx, [rax+8]
001e36e5lea rax, [rip+0x184814]
001e36ecmov rax, [rax+184]
001e36f3mov rdi, [rbx]
001e36f6call rdi
001e36f8mov rbx, [rsp]
001e36fcadd rsp, 8
001e3700jmp 0x1e2b20
001e3705
001e3705loc_1e3705:
001e3705push 34
001e3707call caml_call_realloc_stack
001e370cpop r10
001e370ejmp 0x1e36ce
001e36c0

001e3710
001e3710Stdlib.Random.full_int:
001e3710lea r10, [rsp-328]
001e3718cmp r10, [r14+40]
001e371cjb 0x1e3755
001e371e
001e371eloc_1e371e:
001e371esub rsp, 8
001e3722mov [rsp], rax
001e3726lea rax, [rip+0x168c1b]
001e372dmov rax, [rax+80]
001e3731mov rbx, [rax+8]
001e3735lea rax, [rip+0x1847c4]
001e373cmov rax, [rax+184]
001e3743mov rdi, [rbx]
001e3746call rdi
001e3748mov rbx, [rsp]
001e374cadd rsp, 8
001e3750jmp 0x1e2b50
001e3755
001e3755loc_1e3755:
001e3755push 34
001e3757call caml_call_realloc_stack
001e375cpop r10
001e375ejmp 0x1e371e
001e3710

001e3760
001e3760Stdlib.Random.int_in_range:
001e3760lea r10, [rsp-336]
001e3768cmp r10, [r14+40]
001e376cjb 0x1e37af
001e376e
001e376eloc_1e376e:
001e376esub rsp, 16
001e3772mov [rsp], rax
001e3776mov [rsp+8], rbx
001e377blea rax, [rip+0x168bc6]
001e3782mov rax, [rax+80]
001e3786mov rbx, [rax+8]
001e378alea rax, [rip+0x18476f]
001e3791mov rax, [rax+184]
001e3798mov rdi, [rbx]
001e379bcall rdi
001e379dmov rbx, [rsp]
001e37a1mov rdi, [rsp+8]
001e37a6add rsp, 16
001e37aajmp 0x1e2c90
001e37af
001e37afloc_1e37af:
001e37afpush 35
001e37b1call caml_call_realloc_stack
001e37b6pop r10
001e37b8jmp 0x1e376e
001e3760

001e37ba
001e37ba // align 0x10

001e37c0
001e37c0Stdlib.Random.int32:
001e37c0lea r10, [rsp-328]
001e37c8cmp r10, [r14+40]
001e37ccjb 0x1e3805
001e37ce
001e37celoc_1e37ce:
001e37cesub rsp, 8
001e37d2mov [rsp], rax
001e37d6lea rax, [rip+0x168b6b]
001e37ddmov rax, [rax+80]
001e37e1mov rbx, [rax+8]
001e37e5lea rax, [rip+0x184714]
001e37ecmov rax, [rax+184]
001e37f3mov rdi, [rbx]
001e37f6call rdi
001e37f8mov rbx, [rsp]
001e37fcadd rsp, 8
001e3800jmp 0x1e2e70
001e3805
001e3805loc_1e3805:
001e3805push 34
001e3807call caml_call_realloc_stack
001e380cpop r10
001e380ejmp 0x1e37ce
001e37c0

001e3810
001e3810Stdlib.Random.int32_in_range:
001e3810lea r10, [rsp-336]
001e3818cmp r10, [r14+40]
001e381cjb 0x1e385f
001e381e
001e381eloc_1e381e:
001e381esub rsp, 16
001e3822mov [rsp], rax
001e3826mov [rsp+8], rbx
001e382blea rax, [rip+0x168b16]
001e3832mov rax, [rax+80]
001e3836mov rbx, [rax+8]
001e383alea rax, [rip+0x1846bf]
001e3841mov rax, [rax+184]
001e3848mov rdi, [rbx]
001e384bcall rdi
001e384dmov rbx, [rsp]
001e3851mov rdi, [rsp+8]
001e3856add rsp, 16
001e385ajmp 0x1e2f10
001e385f
001e385floc_1e385f:
001e385fpush 35
001e3861call caml_call_realloc_stack
001e3866pop r10
001e3868jmp 0x1e381e
001e3810

001e386a
001e386a // align 0x10

001e3870
001e3870Stdlib.Random.nativeint:
001e3870lea r10, [rsp-328]
001e3878cmp r10, [r14+40]
001e387cjb 0x1e3919
001e3882
001e3882loc_1e3882:
001e3882sub rsp, 8
001e3886mov [rsp], rax
001e388alea rax, [rip+0x168ab7]
001e3891mov rax, [rax+80]
001e3895mov rbx, [rax+8]
001e3899lea rax, [rip+0x184660]
001e38a0mov rax, [rax+184]
001e38a7mov rdi, [rbx]
001e38aacall rdi
001e38acsub r15, 24
001e38b0cmp r15, [r14]
001e38b3jb 0x1e3912
001e38b5
001e38b5loc_1e38b5:
001e38b5lea rbx, [r15+8]
001e38b9mov [rbx-8], 2303
001e38c1lea rdi, [rip+0x91fb8]
001e38c8mov [rbx], rdi
001e38cbmov rdi, [rsp]
001e38cfmov rdi, [rdi+8]
001e38d3mov [rbx+8], rdi
001e38d7call Stdlib.Random.int64
001e38dcadd rax, 8
001e38e0mov rbx, [rax]
001e38e3sub r15, 24
001e38e7cmp r15, [r14]
001e38eajb 0x1e390b
001e38ec
001e38ecloc_1e38ec:
001e38eclea rax, [r15+8]
001e38f0mov [rax-8], 2303
001e38f8lea rdi, [rip+0x91f41]
001e38ffmov [rax], rdi
001e3902mov [rax+8], rbx
001e3906add rsp, 8
001e390aret
001e390b
001e390bloc_1e390b:
001e390bcall caml_call_gc
001e3910jmp 0x1e38ec
001e3912
001e3912loc_1e3912:
001e3912call caml_call_gc
001e3917jmp 0x1e38b5
001e3919
001e3919loc_1e3919:
001e3919push 34
001e391bcall caml_call_realloc_stack
001e3920pop r10
001e3922jmp 0x1e3882
001e3870

001e3927
001e3927 // align 0x10

001e3930
001e3930Stdlib.Random.nativeint_in_range:
001e3930lea r10, [rsp-336]
001e3938cmp r10, [r14+40]
001e393cjb 0x1e3a01
001e3942
001e3942loc_1e3942:
001e3942sub rsp, 16
001e3946mov [rsp+8], rax
001e394bmov [rsp], rbx
001e394flea rax, [rip+0x1689f2]
001e3956mov rax, [rax+80]
001e395amov rbx, [rax+8]
001e395elea rax, [rip+0x18459b]
001e3965mov rax, [rax+184]
001e396cmov rdi, [rbx]
001e396fcall rdi
001e3971sub r15, 48
001e3975cmp r15, [r14]
001e3978jb 0x1e39f7
001e397a
001e397aloc_1e397a:
001e397alea rdi, [r15+8]
001e397eadd rdi, 24
001e3982mov [rdi-8], 2303
001e398alea rsi, [rip+0x91eef]
001e3991mov [rdi], rsi
001e3994mov rbx, [rsp]
001e3998mov rbx, [rbx+8]
001e399cmov [rdi+8], rbx
001e39a0lea rbx, [rdi-24]
001e39a4mov [rbx-8], 2303
001e39acmov [rbx], rsi
001e39afmov rsi, [rsp+8]
001e39b4mov rsi, [rsi+8]
001e39b8mov [rbx+8], rsi
001e39bccall Stdlib.Random.int64_in_range
001e39c1add rax, 8
001e39c5mov rbx, [rax]
001e39c8sub r15, 24
001e39cccmp r15, [r14]
001e39cfjb 0x1e39f0
001e39d1
001e39d1loc_1e39d1:
001e39d1lea rax, [r15+8]
001e39d5mov [rax-8], 2303
001e39ddlea rdi, [rip+0x91e5c]
001e39e4mov [rax], rdi
001e39e7mov [rax+8], rbx
001e39ebadd rsp, 16
001e39efret
001e39f0
001e39f0loc_1e39f0:
001e39f0call caml_call_gc
001e39f5jmp 0x1e39d1
001e39f7
001e39f7loc_1e39f7:
001e39f7call caml_call_gc
001e39fcjmp 0x1e397a
001e3a01
001e3a01loc_1e3a01:
001e3a01push 35
001e3a03call caml_call_realloc_stack
001e3a08pop r10
001e3a0ajmp 0x1e3942
001e3930

001e3a0f
001e3a0f // align 0x10

001e3a10
001e3a10Stdlib.Random.int64:
001e3a10lea r10, [rsp-328]
001e3a18cmp r10, [r14+40]
001e3a1cjb 0x1e3a55
001e3a1e
001e3a1eloc_1e3a1e:
001e3a1esub rsp, 8
001e3a22mov [rsp], rax
001e3a26lea rax, [rip+0x16891b]
001e3a2dmov rax, [rax+80]
001e3a31mov rbx, [rax+8]
001e3a35lea rax, [rip+0x1844c4]
001e3a3cmov rax, [rax+184]
001e3a43mov rdi, [rbx]
001e3a46call rdi
001e3a48mov rbx, [rsp]
001e3a4cadd rsp, 8
001e3a50jmp 0x1e30e0
001e3a55
001e3a55loc_1e3a55:
001e3a55push 34
001e3a57call caml_call_realloc_stack
001e3a5cpop r10
001e3a5ejmp 0x1e3a1e
001e3a10

001e3a60
001e3a60Stdlib.Random.int64_in_range:
001e3a60lea r10, [rsp-336]
001e3a68cmp r10, [r14+40]
001e3a6cjb 0x1e3aaf
001e3a6e
001e3a6eloc_1e3a6e:
001e3a6esub rsp, 16
001e3a72mov [rsp], rax
001e3a76mov [rsp+8], rbx
001e3a7blea rax, [rip+0x1688c6]
001e3a82mov rax, [rax+80]
001e3a86mov rbx, [rax+8]
001e3a8alea rax, [rip+0x18446f]
001e3a91mov rax, [rax+184]
001e3a98mov rdi, [rbx]
001e3a9bcall rdi
001e3a9dmov rbx, [rsp]
001e3aa1mov rdi, [rsp+8]
001e3aa6add rsp, 16
001e3aaajmp 0x1e3180
001e3aaf
001e3aafloc_1e3aaf:
001e3aafpush 35
001e3ab1call caml_call_realloc_stack
001e3ab6pop r10
001e3ab8jmp 0x1e3a6e
001e3a60

001e3aba
001e3aba // align 0x10

001e3ac0
001e3ac0Stdlib.Random.float:
001e3ac0lea r10, [rsp-328]
001e3ac8cmp r10, [r14+40]
001e3accjb 0x1e3b2e
001e3ace
001e3aceloc_1e3ace:
001e3acesub rsp, 8
001e3ad2mov [rsp], rax
001e3ad6lea rax, [rip+0x16886b]
001e3addmov rax, [rax+80]
001e3ae1mov rbx, [rax+8]
001e3ae5lea rax, [rip+0x184414]
001e3aecmov rax, [rax+184]
001e3af3mov rdi, [rbx]
001e3af6call rdi
001e3af8call Stdlib.Random.rawfloat
001e3afdmovsd_xmm x0, [rax]
001e3b01mov rax, [rsp]
001e3b05mulsd x0, [rax]
001e3b09sub r15, 16
001e3b0dcmp r15, [r14]
001e3b10jb 0x1e3b27
001e3b12
001e3b12loc_1e3b12:
001e3b12lea rax, [r15+8]
001e3b16mov [rax-8], 1277
001e3b1emovsd_xmm [rax], x0
001e3b22add rsp, 8
001e3b26ret
001e3b27
001e3b27loc_1e3b27:
001e3b27call caml_call_gc
001e3b2cjmp 0x1e3b12
001e3b2e
001e3b2eloc_1e3b2e:
001e3b2epush 34
001e3b30call caml_call_realloc_stack
001e3b35pop r10
001e3b37jmp 0x1e3ace
001e3ac0

001e3b39
001e3b39 // align 0x10

001e3b40
001e3b40Stdlib.Random.bool:
001e3b40lea r10, [rsp-320]
001e3b48cmp r10, [r14+40]
001e3b4cjb 0x1e3b94
001e3b4e
001e3b4eloc_1e3b4e:
001e3b4elea rax, [rip+0x1687f3]
001e3b55mov rax, [rax+80]
001e3b59mov rbx, [rax+8]
001e3b5dlea rax, [rip+0x18439c]
001e3b64mov rax, [rax+184]
001e3b6bmov rdi, [rbx]
001e3b6ecall rdi
001e3b70mov rdi, rax
001e3b73mov rbx, rsp
001e3b76mov rsp, [r14+64]
001e3b7acall caml_lxm_next_unboxed
001e3b7fmov rsp, rbx
001e3b82cmp rax, 0
001e3b86setl al
001e3b89movzx rax, al
001e3b8dshl rax, 1
001e3b90inc rax
001e3b93ret
001e3b94
001e3b94loc_1e3b94:
001e3b94push 33
001e3b96call caml_call_realloc_stack
001e3b9bpop r10
001e3b9djmp 0x1e3b4e
001e3b40

001e3b9f
001e3b9f // align 0x10

001e3ba0
001e3ba0Stdlib.Random.bits32:
001e3ba0lea r10, [rsp-320]
001e3ba8cmp r10, [r14+40]
001e3bacjb 0x1e3c18
001e3bae
001e3baeloc_1e3bae:
001e3baelea rax, [rip+0x168793]
001e3bb5mov rax, [rax+80]
001e3bb9mov rbx, [rax+8]
001e3bbdlea rax, [rip+0x18433c]
001e3bc4mov rax, [rax+184]
001e3bcbmov rdi, [rbx]
001e3bcecall rdi
001e3bd0mov rdi, rax
001e3bd3mov rbx, rsp
001e3bd6mov rsp, [r14+64]
001e3bdacall caml_lxm_next_unboxed
001e3bdfmov rsp, rbx
001e3be2shl rax, 32
001e3be6sar rax, 32
001e3beasub r15, 24
001e3beecmp r15, [r14]
001e3bf1jb 0x1e3c11
001e3bf3
001e3bf3loc_1e3bf3:
001e3bf3lea rbx, [r15+8]
001e3bf7mov [rbx-8], 2303
001e3bfflea rdi, [rip+0x91cba]
001e3c06mov [rbx], rdi
001e3c09mov [rbx+8], rax
001e3c0dmov rax, rbx
001e3c10ret
001e3c11
001e3c11loc_1e3c11:
001e3c11call caml_call_gc
001e3c16jmp 0x1e3bf3
001e3c18
001e3c18loc_1e3c18:
001e3c18push 33
001e3c1acall caml_call_realloc_stack
001e3c1fpop r10
001e3c21jmp 0x1e3bae
001e3ba0

001e3c23
001e3c23 // align 0x10

001e3c30
001e3c30Stdlib.Random.bits64:
001e3c30lea r10, [rsp-320]
001e3c38cmp r10, [r14+40]
001e3c3cjb 0x1e3ca0
001e3c3e
001e3c3eloc_1e3c3e:
001e3c3elea rax, [rip+0x168703]
001e3c45mov rax, [rax+80]
001e3c49mov rbx, [rax+8]
001e3c4dlea rax, [rip+0x1842ac]
001e3c54mov rax, [rax+184]
001e3c5bmov rdi, [rbx]
001e3c5ecall rdi
001e3c60mov rdi, rax
001e3c63mov rbx, rsp
001e3c66mov rsp, [r14+64]
001e3c6acall caml_lxm_next_unboxed
001e3c6fmov rsp, rbx
001e3c72sub r15, 24
001e3c76cmp r15, [r14]
001e3c79jb 0x1e3c99
001e3c7b
001e3c7bloc_1e3c7b:
001e3c7blea rbx, [r15+8]
001e3c7fmov [rbx-8], 2303
001e3c87lea rdi, [rip+0x91bf2]
001e3c8emov [rbx], rdi
001e3c91mov [rbx+8], rax
001e3c95mov rax, rbx
001e3c98ret
001e3c99
001e3c99loc_1e3c99:
001e3c99call caml_call_gc
001e3c9ejmp 0x1e3c7b
001e3ca0
001e3ca0loc_1e3ca0:
001e3ca0push 33
001e3ca2call caml_call_realloc_stack
001e3ca7pop r10
001e3ca9jmp 0x1e3c3e
001e3c30

001e3cab
001e3cab // align 0x10

001e3cb0
001e3cb0Stdlib.Random.nativebits:
001e3cb0lea r10, [rsp-320]
001e3cb8cmp r10, [r14+40]
001e3cbcjb 0x1e3d20
001e3cbe
001e3cbeloc_1e3cbe:
001e3cbelea rax, [rip+0x168683]
001e3cc5mov rax, [rax+80]
001e3cc9mov rbx, [rax+8]
001e3ccdlea rax, [rip+0x18422c]
001e3cd4mov rax, [rax+184]
001e3cdbmov rdi, [rbx]
001e3cdecall rdi
001e3ce0mov rdi, rax
001e3ce3mov rbx, rsp
001e3ce6mov rsp, [r14+64]
001e3ceacall caml_lxm_next_unboxed
001e3cefmov rsp, rbx
001e3cf2sub r15, 24
001e3cf6cmp r15, [r14]
001e3cf9jb 0x1e3d19
001e3cfb
001e3cfbloc_1e3cfb:
001e3cfblea rbx, [r15+8]
001e3cffmov [rbx-8], 2303
001e3d07lea rdi, [rip+0x91b32]
001e3d0emov [rbx], rdi
001e3d11mov [rbx+8], rax
001e3d15mov rax, rbx
001e3d18ret
001e3d19
001e3d19loc_1e3d19:
001e3d19call caml_call_gc
001e3d1ejmp 0x1e3cfb
001e3d20
001e3d20loc_1e3d20:
001e3d20push 33
001e3d22call caml_call_realloc_stack
001e3d27pop r10
001e3d29jmp 0x1e3cbe
001e3cb0

001e3d2b
001e3d2b // align 0x10

001e3d30
001e3d30Stdlib.Random.full_init:
001e3d30lea r10, [rsp-328]
001e3d38cmp r10, [r14+40]
001e3d3cjb 0x1e3d75
001e3d3e
001e3d3eloc_1e3d3e:
001e3d3esub rsp, 8
001e3d42mov [rsp], rax
001e3d46lea rax, [rip+0x1685fb]
001e3d4dmov rax, [rax+80]
001e3d51mov rbx, [rax+8]
001e3d55lea rax, [rip+0x1841a4]
001e3d5cmov rax, [rax+184]
001e3d63mov rdi, [rbx]
001e3d66call rdi
001e3d68mov rbx, [rsp]
001e3d6cadd rsp, 8
001e3d70jmp 0x1e2720
001e3d75
001e3d75loc_1e3d75:
001e3d75push 34
001e3d77call caml_call_realloc_stack
001e3d7cpop r10
001e3d7ejmp 0x1e3d3e
001e3d30

001e3d80
001e3d80Stdlib.Random.init:
001e3d80sub r15, 16
001e3d84cmp r15, [r14]
001e3d87jb 0x1e3da0
001e3d89
001e3d89loc_1e3d89:
001e3d89lea rbx, [r15+8]
001e3d8dmov [rbx-8], 1024
001e3d95mov [rbx], rax
001e3d98mov rax, rbx
001e3d9bjmp 0x1e3d30
001e3da0
001e3da0loc_1e3da0:
001e3da0call caml_call_gc
001e3da5jmp 0x1e3d89
001e3d80

001e3da7
001e3da7 // align 0x10

001e3db0
001e3db0Stdlib.Random.self_init:
001e3db0mov edi, 1
001e3db5lea rax, [rip+0x3f544]
001e3dbccall caml_c_call
001e3dc1jmp 0x1e3d30
001e3db0

001e3dc6
001e3dc6 // align 0x10

001e3dd0
001e3dd0Stdlib.Random.split:
001e3dd0lea r10, [rsp-320]
001e3dd8cmp r10, [r14+40]
001e3ddcjb 0x1e3e05
001e3dde
001e3ddeloc_1e3dde:
001e3ddelea rax, [rip+0x168563]
001e3de5mov rax, [rax+80]
001e3de9mov rbx, [rax+8]
001e3dedlea rax, [rip+0x18410c]
001e3df4mov rax, [rax+184]
001e3dfbmov rdi, [rbx]
001e3dfecall rdi
001e3e00jmp 0x1e34d0
001e3e05
001e3e05loc_1e3e05:
001e3e05push 33
001e3e07call caml_call_realloc_stack
001e3e0cpop r10
001e3e0ejmp 0x1e3dde
001e3dd0