Similarity

001e14a0
001e14a0Stdlib.Bigarray.array3_of_genarray:
001e14a0sub rsp, 8
001e14a4mov [rsp], rax
001e14a8mov rdi, rax
001e14ablea rax, [rip+0x1bf2e]
001e14b2call caml_c_call
001e14b7cmp rax, 7
001e14bbjne 0x1e14c8
001e14bdmov rax, [rsp]
001e14c1add rsp, 8
001e14c5ret
001e14c6
001e14c6 66 90 f.
001e14c8
001e14c8loc_1e14c8:
001e14c8lea rax, [rip+0x1849a1]
001e14cfadd rsp, 8
001e14d3jmp 0x195ab0
001e14a0

001e14d8
001e14d8 // align 0x10

001e14e0
001e14e0Stdlib.Bigarray.reshape_0:
001e14e0lea rsi, [rip+0x184a99]
001e14e7mov rdi, rax
001e14ealea rax, [rip+0x1d1ef]
001e14f1call caml_c_call
001e14f6ret
001e14e0

001e14f7
001e14f7 // align 0x10

001e1500
001e1500Stdlib.Bigarray.reshape_1:
001e1500sub r15, 16
001e1504cmp r15, [r14]
001e1507jb 0x1e1528
001e1509
001e1509loc_1e1509:
001e1509lea rsi, [r15+8]
001e150dmov [rsi-8], 1024
001e1515mov [rsi], rbx
001e1518mov rdi, rax
001e151blea rax, [rip+0x1d1be]
001e1522call caml_c_call
001e1527ret
001e1528
001e1528loc_1e1528:
001e1528call caml_call_gc
001e152djmp 0x1e1509
001e1500

001e152f
001e152f // align 0x10

001e1530
001e1530Stdlib.Bigarray.reshape_2:
001e1530sub r15, 24
001e1534cmp r15, [r14]
001e1537jb 0x1e155c
001e1539
001e1539loc_1e1539:
001e1539lea rsi, [r15+8]
001e153dmov [rsi-8], 2048
001e1545mov [rsi], rbx
001e1548mov [rsi+8], rdi
001e154cmov rdi, rax
001e154flea rax, [rip+0x1d18a]
001e1556call caml_c_call
001e155bret
001e155c
001e155cloc_1e155c:
001e155ccall caml_call_gc
001e1561jmp 0x1e1539
001e1530

001e1563
001e1563 // align 0x10

001e1570
001e1570Stdlib.Bigarray.reshape_3:
001e1570sub r15, 32
001e1574cmp r15, [r14]
001e1577jb 0x1e15a3
001e1579
001e1579loc_1e1579:
001e1579lea rdx, [r15+8]
001e157dmov [rdx-8], 3072
001e1585mov [rdx], rbx
001e1588mov [rdx+8], rdi
001e158cmov [rdx+16], rsi
001e1590mov rdi, rax
001e1593mov rsi, rdx
001e1596lea rax, [rip+0x1d143]
001e159dcall caml_c_call
001e15a2ret
001e15a3
001e15a3loc_1e15a3:
001e15a3call caml_call_gc
001e15a8jmp 0x1e1579
001e1570

001e15aa
001e15aa // align 0x10

001e15b0
001e15b0Stdlib.Bigarray.fun:
001e15b0mov rdi, rax
001e15b3mov rsi, rbx
001e15b6lea rax, [rip+0x1ba93]
001e15bdcall caml_c_call
001e15c2ret
001e15b0

001e15c3
001e15c3 // align 0x10

001e15d0
001e15d0Stdlib.Bigarray.fun:
001e15d0mov rdi, rax
001e15d3mov rsi, rbx
001e15d6lea rax, [rip+0x1b9a3]
001e15ddcall caml_c_call
001e15e2ret
001e15d0

001e15e3
001e15e3 // align 0x10

001e15f0
001e15f0Stdlib.Bigarray.fun:
001e15f0mov rdx, rdi
001e15f3mov rdi, rax
001e15f6mov rsi, rbx
001e15f9lea rax, [rip+0x1b9b0]
001e1600call caml_c_call
001e1605ret
001e15f0

001e1606
001e1606 // align 0x10

001e1610
001e1610Stdlib.Bigarray.fun:
001e1610mov rdx, rdi
001e1613mov rcx, rsi
001e1616mov rdi, rax
001e1619mov rsi, rbx
001e161clea rax, [rip+0x1b9dd]
001e1623call caml_c_call
001e1628ret
001e1610

001e1629
001e1629 // align 0x10

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