Similarity

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

001e3e10
001e3e10Stdlib.Random.get_state:
001e3e10lea r10, [rsp-320]
001e3e18cmp r10, [r14+40]
001e3e1cjb 0x1e3e45
001e3e1e
001e3e1eloc_1e3e1e:
001e3e1elea rax, [rip+0x168523]
001e3e25mov rax, [rax+80]
001e3e29mov rbx, [rax+8]
001e3e2dlea rax, [rip+0x1840cc]
001e3e34mov rax, [rax+184]
001e3e3bmov rdi, [rbx]
001e3e3ecall rdi
001e3e40jmp 0x1e26c0
001e3e45
001e3e45loc_1e3e45:
001e3e45push 33
001e3e47call caml_call_realloc_stack
001e3e4cpop r10
001e3e4ejmp 0x1e3e1e
001e3e10

001e3e50
001e3e50Stdlib.Random.set_state:
001e3e50lea r10, [rsp-328]
001e3e58cmp r10, [r14+40]
001e3e5cjb 0x1e3ea0
001e3e5e
001e3e5eloc_1e3e5e:
001e3e5esub rsp, 8
001e3e62mov [rsp], rax
001e3e66lea rax, [rip+0x1684db]
001e3e6dmov rax, [rax+80]
001e3e71mov rbx, [rax+8]
001e3e75lea rax, [rip+0x184084]
001e3e7cmov rax, [rax+184]
001e3e83mov rdi, [rbx]
001e3e86call rdi
001e3e88mov rdi, [rsp]
001e3e8cmov rsi, rax
001e3e8flea rax, [rip+0x19d0a]
001e3e96call caml_c_call
001e3e9badd rsp, 8
001e3e9fret
001e3ea0
001e3ea0loc_1e3ea0:
001e3ea0push 34
001e3ea2call caml_call_realloc_stack
001e3ea7pop r10
001e3ea9jmp 0x1e3e5e
001e3e50

001e3eab
001e3eab // align 0x10

001e3eb0
001e3eb0Stdlib.Random.entry:
001e3eb0lea r10, [rsp-320]
001e3eb8cmp r10, [r14+40]
001e3ebcjb 0x1e4aff
001e3ec2
001e3ec2loc_1e3ec2:
001e3ec2lea rsi, [rip+0x183a2f]
001e3ec9lea rdi, [rip+0x184030]
001e3ed0add rdi, 192
001e3ed7mov rbx, rsp
001e3edamov rsp, [r14+64]
001e3edecall caml_initialize
001e3ee3mov rsp, rbx
001e3ee6lea rsi, [rip+0x183a23]
001e3eedlea rdi, [rip+0x18400c]
001e3ef4add rdi, 200
001e3efbmov rbx, rsp
001e3efemov rsp, [r14+64]
001e3f02call caml_initialize
001e3f07mov rsp, rbx
001e3f0alea rsi, [rip+0x183a1f]
001e3f11lea rdi, [rip+0x183fe8]
001e3f18add rdi, 208
001e3f1fmov rbx, rsp
001e3f22mov rsp, [r14+64]
001e3f26call caml_initialize
001e3f2bmov rsp, rbx
001e3f2elea rsi, [rip+0x18429b]
001e3f35lea rdi, [rip+0x183fc4]
001e3f3cadd rdi, 216
001e3f43mov rbx, rsp
001e3f46mov rsp, [r14+64]
001e3f4acall caml_initialize
001e3f4fmov rsp, rbx
001e3f52mov esi, 11
001e3f57lea rdi, [rip+0x183fa2]
001e3f5eadd rdi, 224
001e3f65mov rbx, rsp
001e3f68mov rsp, [r14+64]
001e3f6ccall caml_initialize
001e3f71mov rsp, rbx
001e3f74lea rsi, [rip+0x1839d5]
001e3f7blea rdi, [rip+0x183f7e]
001e3f82add rdi, 232
001e3f89mov rbx, rsp
001e3f8cmov rsp, [r14+64]
001e3f90call caml_initialize
001e3f95mov rsp, rbx
001e3f98lea rsi, [rip+0x1839c9]
001e3f9flea rdi, [rip+0x183f5a]
001e3fa6add rdi, 240
001e3fadmov rbx, rsp
001e3fb0mov rsp, [r14+64]
001e3fb4call caml_initialize
001e3fb9mov rsp, rbx
001e3fbclea rsi, [rip+0x1839bd]
001e3fc3lea rdi, [rip+0x183f36]
001e3fcaadd rdi, 248
001e3fd1mov rbx, rsp
001e3fd4mov rsp, [r14+64]
001e3fd8call caml_initialize
001e3fddmov rsp, rbx
001e3fe0lea rsi, [rip+0x1839b9]
001e3fe7lea rdi, [rip+0x183f12]
001e3feeadd rdi, 256
001e3ff5mov rbx, rsp
001e3ff8mov rsp, [r14+64]
001e3ffccall caml_initialize
001e4001mov rsp, rbx
001e4004lea rsi, [rip+0x1839ad]
001e400blea rdi, [rip+0x183eee]
001e4012add rdi, 264
001e4019mov rbx, rsp
001e401cmov rsp, [r14+64]
001e4020call caml_initialize
001e4025mov rsp, rbx
001e4028lea rsi, [rip+0x1839a9]
001e402flea rdi, [rip+0x183eca]
001e4036add rdi, 272
001e403dmov rbx, rsp
001e4040mov rsp, [r14+64]
001e4044call caml_initialize
001e4049mov rsp, rbx
001e404clea rsi, [rip+0x18399d]
001e4053lea rdi, [rip+0x183ea6]
001e405aadd rdi, 280
001e4061mov rbx, rsp
001e4064mov rsp, [r14+64]
001e4068call caml_initialize
001e406dmov rsp, rbx
001e4070mov rsi, 0xffffffff80000001
001e4077lea rdi, [rip+0x183e82]
001e407eadd rdi, 288
001e4085mov rbx, rsp
001e4088mov rsp, [r14+64]
001e408ccall caml_initialize
001e4091mov rsp, rbx
001e4094mov esi, 0x7fffffff
001e4099lea rdi, [rip+0x183e60]
001e40a0add rdi, 296
001e40a7mov rbx, rsp
001e40aamov rsp, [r14+64]
001e40aecall caml_initialize
001e40b3mov rsp, rbx
001e40b6mov rsi, 0xffffffff00000001
001e40c0lea rdi, [rip+0x183e39]
001e40c7add rdi, 304
001e40cemov rbx, rsp
001e40d1mov rsp, [r14+64]
001e40d5call caml_initialize
001e40damov rsp, rbx
001e40ddmov esi, -1
001e40e2lea rdi, [rip+0x183e17]
001e40e9add rdi, 312
001e40f0mov rbx, rsp
001e40f3mov rsp, [r14+64]
001e40f7call caml_initialize
001e40fcmov rsp, rbx
001e40fflea rsi, [rip+0x183902]
001e4106lea rdi, [rip+0x183df3]
001e410dadd rdi, 320
001e4114mov rbx, rsp
001e4117mov rsp, [r14+64]
001e411bcall caml_initialize
001e4120mov rsp, rbx
001e4123lea rsi, [rip+0x1838f6]
001e412alea rdi, [rip+0x183dcf]
001e4131add rdi, 328
001e4138mov rbx, rsp
001e413bmov rsp, [r14+64]
001e413fcall caml_initialize
001e4144mov rsp, rbx
001e4147lea rsi, [rip+0x1838f2]
001e414elea rdi, [rip+0x183dab]
001e4155add rdi, 336
001e415cmov rbx, rsp
001e415fmov rsp, [r14+64]
001e4163call caml_initialize
001e4168mov rsp, rbx
001e416blea rsi, [rip+0x1838ee]
001e4172lea rdi, [rip+0x183d87]
001e4179add rdi, 344
001e4180mov rbx, rsp
001e4183mov rsp, [r14+64]
001e4187call caml_initialize
001e418cmov rsp, rbx
001e418flea rsi, [rip+0x1838ea]
001e4196lea rdi, [rip+0x183d63]
001e419dadd rdi, 352
001e41a4mov rbx, rsp
001e41a7mov rsp, [r14+64]
001e41abcall caml_initialize
001e41b0mov rsp, rbx
001e41b3lea rsi, [rip+0x1838e6]
001e41balea rdi, [rip+0x183d3f]
001e41c1add rdi, 360
001e41c8mov rbx, rsp
001e41cbmov rsp, [r14+64]
001e41cfcall caml_initialize
001e41d4mov rsp, rbx
001e41d7lea rsi, [rip+0x1838e2]
001e41delea rdi, [rip+0x183d1b]
001e41e5add rdi, 368
001e41ecmov rbx, rsp
001e41efmov rsp, [r14+64]
001e41f3call caml_initialize
001e41f8mov rsp, rbx
001e41fblea rsi, [rip+0x1838de]
001e4202lea rdi, [rip+0x183cf7]
001e4209add rdi, 376
001e4210mov rbx, rsp
001e4213mov rsp, [r14+64]
001e4217call caml_initialize
001e421cmov rsp, rbx
001e421flea rsi, [rip+0x1838d2]
001e4226lea rdi, [rip+0x183cd3]
001e422dadd rdi, 384
001e4234mov rbx, rsp
001e4237mov rsp, [r14+64]
001e423bcall caml_initialize
001e4240mov rsp, rbx
001e4243lea rsi, [rip+0x1838ce]
001e424alea rdi, [rip+0x183caf]
001e4251add rdi, 392
001e4258mov rbx, rsp
001e425bmov rsp, [r14+64]
001e425fcall caml_initialize
001e4264mov rsp, rbx
001e4267lea rsi, [rip+0x1838ca]
001e426elea rdi, [rip+0x183c8b]
001e4275add rdi, 400
001e427cmov rbx, rsp
001e427fmov rsp, [r14+64]
001e4283call caml_initialize
001e4288mov rsp, rbx
001e428blea rsi, [rip+0x1838c6]
001e4292lea rdi, [rip+0x183c67]
001e4299add rdi, 408
001e42a0mov rbx, rsp
001e42a3mov rsp, [r14+64]
001e42a7call caml_initialize
001e42acmov rsp, rbx
001e42aflea rsi, [rip+0x1838c2]
001e42b6lea rdi, [rip+0x183c43]
001e42bdadd rdi, 416
001e42c4mov rbx, rsp
001e42c7mov rsp, [r14+64]
001e42cbcall caml_initialize
001e42d0mov rsp, rbx
001e42d3lea rsi, [rip+0x1838b6]
001e42dalea rdi, [rip+0x183c1f]
001e42e1add rdi, 424
001e42e8mov rbx, rsp
001e42ebmov rsp, [r14+64]
001e42efcall caml_initialize
001e42f4mov rsp, rbx
001e42f7lea rsi, [rip+0x1838b2]
001e42felea rdi, [rip+0x183bfb]
001e4305add rdi, 432
001e430cmov rbx, rsp
001e430fmov rsp, [r14+64]
001e4313call caml_initialize
001e4318mov rsp, rbx
001e431blea rsi, [rip+0x1838ae]
001e4322lea rdi, [rip+0x183bd7]
001e4329add rdi, 440
001e4330mov rbx, rsp
001e4333mov rsp, [r14+64]
001e4337call caml_initialize
001e433cmov rsp, rbx
001e433flea rsi, [rip+0x1838aa]
001e4346lea rdi, [rip+0x183bb3]
001e434dadd rdi, 448
001e4354mov rbx, rsp
001e4357mov rsp, [r14+64]
001e435bcall caml_initialize
001e4360mov rsp, rbx
001e4363lea rsi, [rip+0x1838a6]
001e436alea rdi, [rip+0x183b8f]
001e4371add rdi, 456
001e4378mov rbx, rsp
001e437bmov rsp, [r14+64]
001e437fcall caml_initialize
001e4384mov rsp, rbx
001e4387lea rsi, [rip+0x18389a]
001e438elea rdi, [rip+0x183b6b]
001e4395add rdi, 464
001e439cmov rbx, rsp
001e439fmov rsp, [r14+64]
001e43a3call caml_initialize
001e43a8mov rsp, rbx
001e43ablea rsi, [rip+0x183896]
001e43b2lea rdi, [rip+0x183b47]
001e43b9add rdi, 472
001e43c0mov rbx, rsp
001e43c3mov rsp, [r14+64]
001e43c7call caml_initialize
001e43ccmov rsp, rbx
001e43cflea rsi, [rip+0x183892]
001e43d6lea rdi, [rip+0x183b23]
001e43ddadd rdi, 480
001e43e4mov rbx, rsp
001e43e7mov rsp, [r14+64]
001e43ebcall caml_initialize
001e43f0mov rsp, rbx
001e43f3lea rsi, [rip+0x183886]
001e43falea rdi, [rip+0x183aff]
001e4401add rdi, 488
001e4408mov rbx, rsp
001e440bmov rsp, [r14+64]
001e440fcall caml_initialize
001e4414mov rsp, rbx
001e4417lea rsi, [rip+0x183882]
001e441elea rdi, [rip+0x183adb]
001e4425add rdi, 496
001e442cmov rbx, rsp
001e442fmov rsp, [r14+64]
001e4433call caml_initialize
001e4438mov rsp, rbx
001e443blea rsi, [rip+0x183876]
001e4442lea rdi, [rip+0x183ab7]
001e4449add rdi, 504
001e4450mov rbx, rsp
001e4453mov rsp, [r14+64]
001e4457call caml_initialize
001e445cmov rsp, rbx
001e445fsub r15, 504
001e4466call caml_allocN
001e446blea r12, [r15+8]
001e446fadd r12, 176
001e4476mov [r12-8], 40960
001e447flea rdi, [rip+0x183a7a]
001e4486mov rax, [rdi+192]
001e448dmov [r12], rax
001e4491mov rax, [rdi+200]
001e4498mov [r12+8], rax
001e449dmov rax, [rdi+208]
001e44a4mov [r12+16], rax
001e44a9lea rax, [rip+0x183d20]
001e44b0mov [r12+24], rax
001e44b5mov [r12+32], 11
001e44bemov rax, [rdi+232]
001e44c5mov [r12+40], rax
001e44camov rax, [rdi+240]
001e44d1mov [r12+48], rax
001e44d6mov rax, [rdi+248]
001e44ddmov [r12+56], rax
001e44e2mov rax, [rdi+256]
001e44e9mov [r12+64], rax
001e44eemov rax, [rdi+264]
001e44f5mov [r12+72], rax
001e44famov rax, [rdi+272]
001e4501mov [r12+80], rax
001e4506mov rax, [rdi+280]
001e450dmov [r12+88], rax
001e4512mov [r12+96], 0xffffffff80000001
001e451bmov [r12+104], 0x7fffffff
001e4524mov rax, 0xffffffff00000001
001e452emov [r12+112], rax
001e4533mov eax, -1
001e4538mov [r12+120], rax
001e453dmov rax, [rdi+320]
001e4544mov [r12+128], rax
001e454cmov rax, [rdi+328]
001e4553mov [r12+136], rax
001e455bmov rax, [rdi+336]
001e4562mov [r12+144], rax
001e456amov rax, [rdi+344]
001e4571mov [r12+152], rax
001e4579mov rax, [rdi+352]
001e4580mov [r12+160], rax
001e4588mov rax, [rdi+360]
001e458fmov [r12+168], rax
001e4597mov rax, [rdi+368]
001e459emov [r12+176], rax
001e45a6mov rax, [rdi+376]
001e45admov [r12+184], rax
001e45b5mov rax, [rdi+384]
001e45bcmov [r12+192], rax
001e45c4mov rax, [rdi+392]
001e45cbmov [r12+200], rax
001e45d3mov rax, [rdi+400]
001e45damov [r12+208], rax
001e45e2mov rax, [rdi+408]
001e45e9mov [r12+216], rax
001e45f1mov rax, [rdi+416]
001e45f8mov [r12+224], rax
001e4600mov rax, [rdi+424]
001e4607mov [r12+232], rax
001e460fmov rax, [rdi+432]
001e4616mov [r12+240], rax
001e461emov rax, [rdi+440]
001e4625mov [r12+248], rax
001e462dmov rax, [rdi+448]
001e4634mov [r12+256], rax
001e463cmov rax, [rdi+456]
001e4643mov [r12+264], rax
001e464bmov rax, [rdi+464]
001e4652mov [r12+272], rax
001e465amov rax, [rdi+472]
001e4661mov [r12+280], rax
001e4669mov rax, [rdi+480]
001e4670mov [r12+288], rax
001e4678mov rax, [rdi+488]
001e467fmov [r12+296], rax
001e4687mov rax, [rdi+496]
001e468emov [r12+304], rax
001e4696mov rax, [rdi+504]
001e469dmov [r12+312], rax
001e46a5lea rsi, [r12-176]
001e46admov [rsi-8], 21504
001e46b5mov rax, [r12+80]
001e46bamov [rsi], rax
001e46bdmov rax, [r12+88]
001e46c2mov [rsi+8], rax
001e46c6mov rax, [r12+64]
001e46cbmov [rsi+16], rax
001e46cfmov rax, [r12+128]
001e46d7mov [rsi+24], rax
001e46dbmov rax, [r12+144]
001e46e3mov [rsi+32], rax
001e46e7mov rax, [r12+152]
001e46efmov [rsi+40], rax
001e46f3mov rax, [r12+176]
001e46fbmov [rsi+48], rax
001e46ffmov rax, [r12+200]
001e4707mov [rsi+56], rax
001e470bmov rax, [r12+216]
001e4713mov [rsi+64], rax
001e4717mov rax, [r12+272]
001e471fmov [rsi+72], rax
001e4723mov rax, [r12+280]
001e472bmov [rsi+80], rax
001e472fmov rax, [r12+240]
001e4737mov [rsi+88], rax
001e473bmov rax, [r12+256]
001e4743mov [rsi+96], rax
001e4747mov rax, [r12+296]
001e474fmov [rsi+104], rax
001e4753mov rax, [r12+304]
001e475bmov [rsi+112], rax
001e475fmov rax, [r12+184]
001e4767mov [rsi+120], rax
001e476bmov rax, [r12+224]
001e4773mov [rsi+128], rax
001e477amov rax, [r12+264]
001e4782mov [rsi+136], rax
001e4789mov rax, [r12+312]
001e4791mov [rsi+144], rax
001e4798mov rax, [r12+40]
001e479dmov [rsi+152], rax
001e47a4mov rax, [r12+48]
001e47a9mov [rsi+160], rax
001e47b0add rdi, 144
001e47b7mov rbx, rsp
001e47bamov rsp, [r14+64]
001e47becall caml_initialize
001e47c3mov rsp, rbx
001e47c6lea rsi, [rip+0x183503]
001e47cdlea rdi, [rip+0x18372c]
001e47d4add rdi, 176
001e47dbmov rbx, rsp
001e47demov rsp, [r14+64]
001e47e2call caml_initialize
001e47e7mov rsp, rbx
001e47eacall caml_alloc1
001e47eflea rax, [r15+8]
001e47f3mov [rax-8], 1024
001e47fbmov rbx, [r12+312]
001e4803mov [rax], rbx
001e4806lea rbx, [rip+0x1836f3]
001e480dmov rbx, [rbx+176]
001e4814call Stdlib.Domain.new_key
001e4819lea rdi, [rip+0x1836e0]
001e4820add rdi, 184
001e4827mov rsi, rax
001e482amov rbx, rsp
001e482dmov rsp, [r14+64]
001e4831call caml_initialize
001e4836mov rsp, rbx
001e4839lea rsi, [rip+0x1834a8]
001e4840lea rdi, [rip+0x1836b9]
001e4847add rdi, 24
001e484bmov rbx, rsp
001e484emov rsp, [r14+64]
001e4852call caml_initialize
001e4857mov rsp, rbx
001e485alea rsi, [rip+0x18349f]
001e4861lea rdi, [rip+0x183698]
001e4868add rdi, 32
001e486cmov rbx, rsp
001e486fmov rsp, [r14+64]
001e4873call caml_initialize
001e4878mov rsp, rbx
001e487blea rsi, [rip+0x183496]
001e4882lea rdi, [rip+0x183677]
001e4889add rdi, 40
001e488dmov rbx, rsp
001e4890mov rsp, [r14+64]
001e4894call caml_initialize
001e4899mov rsp, rbx
001e489clea rsi, [rip+0x18348d]
001e48a3lea rdi, [rip+0x183656]
001e48aaadd rdi, 48
001e48aemov rbx, rsp
001e48b1mov rsp, [r14+64]
001e48b5call caml_initialize
001e48bamov rsp, rbx
001e48bdlea rsi, [rip+0x18348c]
001e48c4lea rdi, [rip+0x183635]
001e48cbadd rdi, 56
001e48cfmov rbx, rsp
001e48d2mov rsp, [r14+64]
001e48d6call caml_initialize
001e48dbmov rsp, rbx
001e48delea rsi, [rip+0x183483]
001e48e5lea rdi, [rip+0x183614]
001e48ecadd rdi, 64
001e48f0mov rbx, rsp
001e48f3mov rsp, [r14+64]
001e48f7call caml_initialize
001e48fcmov rsp, rbx
001e48fflea rsi, [rip+0x183482]
001e4906lea rdi, [rip+0x1835f3]
001e490dadd rdi, 72
001e4911mov rbx, rsp
001e4914mov rsp, [r14+64]
001e4918call caml_initialize
001e491dmov rsp, rbx
001e4920lea rsi, [rip+0x183479]
001e4927lea rdi, [rip+0x1835d2]
001e492eadd rdi, 80
001e4932mov rbx, rsp
001e4935mov rsp, [r14+64]
001e4939call caml_initialize
001e493emov rsp, rbx
001e4941lea rsi, [rip+0x183478]
001e4948lea rdi, [rip+0x1835b1]
001e494fadd rdi, 88
001e4953mov rbx, rsp
001e4956mov rsp, [r14+64]
001e495acall caml_initialize
001e495fmov rsp, rbx
001e4962lea rsi, [rip+0x18346f]
001e4969lea rdi, [rip+0x183590]
001e4970add rdi, 96
001e4974mov rbx, rsp
001e4977mov rsp, [r14+64]
001e497bcall caml_initialize
001e4980mov rsp, rbx
001e4983lea rsi, [rip+0x18346e]
001e498alea rdi, [rip+0x18356f]
001e4991add rdi, 104
001e4995mov rbx, rsp
001e4998mov rsp, [r14+64]
001e499ccall caml_initialize
001e49a1mov rsp, rbx
001e49a4lea rsi, [rip+0x183465]
001e49ablea rdi, [rip+0x18354e]
001e49b2add rdi, 112
001e49b6mov rbx, rsp
001e49b9mov rsp, [r14+64]
001e49bdcall caml_initialize
001e49c2mov rsp, rbx
001e49c5lea rsi, [rip+0x18345c]
001e49cclea rdi, [rip+0x18352d]
001e49d3add rdi, 120
001e49d7mov rbx, rsp
001e49damov rsp, [r14+64]
001e49decall caml_initialize
001e49e3mov rsp, rbx
001e49e6lea rsi, [rip+0x183453]
001e49edlea rdi, [rip+0x18350c]
001e49f4add rdi, 128
001e49fbmov rbx, rsp
001e49femov rsp, [r14+64]
001e4a02call caml_initialize
001e4a07mov rsp, rbx
001e4a0alea rsi, [rip+0x183447]
001e4a11lea rdi, [rip+0x1834e8]
001e4a18add rdi, 136
001e4a1fmov rbx, rsp
001e4a22mov rsp, [r14+64]
001e4a26call caml_initialize
001e4a2bmov rsp, rbx
001e4a2elea rsi, [rip+0x18343b]
001e4a35lea rdi, [rip+0x1834c4]
001e4a3cadd rdi, 8
001e4a40mov rbx, rsp
001e4a43mov rsp, [r14+64]
001e4a47call caml_initialize
001e4a4cmov rsp, rbx
001e4a4flea rsi, [rip+0x183432]
001e4a56lea rdi, [rip+0x1834a3]
001e4a5dmov rbx, rsp
001e4a60mov rsp, [r14+64]
001e4a64call caml_initialize
001e4a69mov rsp, rbx
001e4a6clea rsi, [rip+0x18342d]
001e4a73lea rdi, [rip+0x183486]
001e4a7aadd rdi, 16
001e4a7emov rbx, rsp
001e4a81mov rsp, [r14+64]
001e4a85call caml_initialize
001e4a8amov rsp, rbx
001e4a8dlea rsi, [rip+0x183424]
001e4a94lea rdi, [rip+0x183465]
001e4a9badd rdi, 168
001e4aa2mov rbx, rsp
001e4aa5mov rsp, [r14+64]
001e4aa9call caml_initialize
001e4aaemov rsp, rbx
001e4ab1lea rsi, [rip+0x183418]
001e4ab8lea rdi, [rip+0x183441]
001e4abfadd rdi, 152
001e4ac6mov rbx, rsp
001e4ac9mov rsp, [r14+64]
001e4acdcall caml_initialize
001e4ad2mov rsp, rbx
001e4ad5lea rsi, [rip+0x18340c]
001e4adclea rdi, [rip+0x18341d]
001e4ae3add rdi, 160
001e4aeamov rbx, rsp
001e4aedmov rsp, [r14+64]
001e4af1call caml_initialize
001e4af6mov rsp, rbx
001e4af9mov eax, 1
001e4aferet
001e4aff
001e4affloc_1e4aff:
001e4affpush 33
001e4b01call caml_call_realloc_stack
001e4b06pop r10
001e4b08jmp 0x1e3ec2
001e3eb0