Similarity

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

001e4b0d
001e4b0d // align 0x10

001e4b10
001e4b10Stdlib.Hashtbl.fun:
001e4b10mov rdx, rdi
001e4b13mov rcx, rsi
001e4b16mov rdi, rax
001e4b19mov rsi, rbx
001e4b1cmov rbx, rsp
001e4b1fmov rsp, [r14+64]
001e4b23call caml_hash
001e4b28mov rsp, rbx
001e4b2bret
001e4b10

001e4b2c
001e4b2c // align 0x10

001e4b30
001e4b30Stdlib.Hashtbl.ongoing_traversal:
001e4b30mov rbx, [rax-8]
001e4b34shr rbx, 9
001e4b38or rbx, 1
001e4b3ccmp rbx, 9
001e4b40jl 0x1e4b58
001e4b42mov rax, [rax+24]
001e4b46cmp rax, 1
001e4b4asetl al
001e4b4dmovzx rax, al
001e4b51lea rax, [rax+rax+1]
001e4b56ret
001e4b57
001e4b57 90 .
001e4b58
001e4b58loc_1e4b58:
001e4b58mov eax, 3
001e4b5dret
001e4b30

001e4b5e
001e4b5e // align 0x10

001e4b60
001e4b60Stdlib.Hashtbl.flip_ongoing_traversal:
001e4b60mov rbx, [rax+24]
001e4b64mov edi, 2
001e4b69sub rdi, rbx
001e4b6cmov [rax+24], rdi
001e4b70mov eax, 1
001e4b75ret
001e4b60

001e4b76
001e4b76 // align 0x10

001e4b80
001e4b80Stdlib.Hashtbl.randomize:
001e4b80lea rax, [rip+0x185481]
001e4b87mov rdi, [rax+272]
001e4b8emov esi, 3
001e4b93mov rbx, rsp
001e4b96mov rsp, [r14+64]
001e4b9acall caml_atomic_exchange
001e4b9fmov rsp, rbx
001e4ba2mov eax, 1
001e4ba7ret
001e4b80

001e4ba8
001e4ba8 // align 0x10

001e4bb0
001e4bb0Stdlib.Hashtbl.is_randomized:
001e4bb0lea rax, [rip+0x185451]
001e4bb7mov rax, [rax+272]
001e4bbemov rax, [rax]
001e4bc1ret
001e4bb0

001e4bc2
001e4bc2 // align 0x10

001e4bd0
001e4bd0Stdlib.Hashtbl.power_2_above:
001e4bd0cmp r15, [r14]
001e4bd3jbe 0x1e4bf9
001e4bd5
001e4bd5loc_1e4bd5:
001e4bd5cmp rax, rbx
001e4bd8jl 0x1e4bdc
001e4bdaret
001e4bdb
001e4bdb 90 .
001e4bdc
001e4bdcloc_1e4bdc:
001e4bdcmov rdi, 0x7fffffffffffff
001e4be6lea rsi, [rax+rax-1]
001e4bebcmp rsi, rdi
001e4beejle 0x1e4bf4
001e4bf0ret
001e4bf1
001e4bf1 0f 1f 00 ...
001e4bf4
001e4bf4loc_1e4bf4:
001e4bf4mov rax, rsi
001e4bf7jmp 0x1e4bd0
001e4bf9
001e4bf9loc_1e4bf9:
001e4bf9call caml_call_gc
001e4bfejmp 0x1e4bd5
001e4bd0

001e4c00
001e4c00Stdlib.Hashtbl.create_inner:
001e4c00lea r10, [rsp-336]
001e4c08cmp r10, [r14+40]
001e4c0cjb 0x1e4cdb
001e4c12
001e4c12loc_1e4c12:
001e4c12sub rsp, 16
001e4c16mov [rsp], rax
001e4c1amov eax, 33
001e4c1fcall Stdlib.Hashtbl.power_2_above
001e4c24mov [rsp+8], rax
001e4c29mov rax, [rsp]
001e4c2dcmp rax, 1
001e4c31je 0x1e4c7c
001e4c33lea rax, [rip+0x16770e]
001e4c3amov rax, [rax+80]
001e4c3emov rbx, [rax+8]
001e4c42lea rax, [rip+0x1853bf]
001e4c49mov rax, [rax+280]
001e4c50mov rdi, [rbx]
001e4c53call rdi
001e4c55mov rdi, rax
001e4c58mov rbx, rsp
001e4c5bmov rsp, [r14+64]
001e4c5fcall caml_lxm_next_unboxed
001e4c64mov rsp, rbx
001e4c67shl rax, 1
001e4c6ainc rax
001e4c6dand rax, 0x7fffffff
001e4c73mov [rsp], rax
001e4c77jmp 0x1e4c85
001e4c79
001e4c79 0f 1f 00 ...
001e4c7c
001e4c7cloc_1e4c7c:
001e4c7cmov eax, 1
001e4c81mov [rsp], rax
001e4c85
001e4c85loc_1e4c85:
001e4c85mov esi, 1
001e4c8amov rdi, [rsp+8]
001e4c8flea rax, [rip+0x1500a]
001e4c96call caml_c_call
001e4c9bsub r15, 40
001e4c9fcmp r15, [r14]
001e4ca2jb 0x1e4cd4
001e4ca4
001e4ca4loc_1e4ca4:
001e4ca4lea rbx, [r15+8]
001e4ca8mov [rbx-8], 4096
001e4cb0mov [rbx], 1
001e4cb7mov [rbx+8], rax
001e4cbbmov rax, [rsp]
001e4cbfmov [rbx+16], rax
001e4cc3mov rax, [rsp+8]
001e4cc8mov [rbx+24], rax
001e4cccmov rax, rbx
001e4ccfadd rsp, 16
001e4cd3ret
001e4cd4
001e4cd4loc_1e4cd4:
001e4cd4call caml_call_gc
001e4cd9jmp 0x1e4ca4
001e4cdb
001e4cdbloc_1e4cdb:
001e4cdbpush 35
001e4cddcall caml_call_realloc_stack
001e4ce2pop r10
001e4ce4jmp 0x1e4c12
001e4c00

001e4ce9
001e4ce9 // align 0x10

001e4cf0
001e4cf0Stdlib.Hashtbl.create:
001e4cf0test al, 1
001e4cf2je 0x1e4d08
001e4cf4lea rax, [rip+0x18530d]
001e4cfbmov rax, [rax+272]
001e4d02mov rax, [rax]
001e4d05jmp 0x1e4d0b
001e4d07
001e4d07 90 .
001e4d08
001e4d08loc_1e4d08:
001e4d08mov rax, [rax]
001e4d0b
001e4d0bloc_1e4d0b:
001e4d0bjmp 0x1e4c00
001e4cf0

001e4d10
001e4d10Stdlib.Hashtbl.clear:
001e4d10mov rbx, [rax]
001e4d13cmp rbx, 1
001e4d17jle 0x1e4d40
001e4d19mov [rax], 1
001e4d20mov esi, 1
001e4d25mov rax, [rax+8]
001e4d29mov rdi, [rax-8]
001e4d2dshr rdi, 9
001e4d31or rdi, 1
001e4d35mov ebx, 1
001e4d3ajmp 0x1ad490
001e4d3f
001e4d3f 90 .
001e4d40
001e4d40loc_1e4d40:
001e4d40mov eax, 1
001e4d45ret
001e4d10

001e4d46
001e4d46 // align 0x10

001e4d50
001e4d50Stdlib.Hashtbl.reset:
001e4d50sub rsp, 8
001e4d54mov rbx, [rax+8]
001e4d58mov rbx, [rbx-8]
001e4d5cshr rbx, 9
001e4d60or rbx, 1
001e4d64mov rdi, [rax-8]
001e4d68shr rdi, 9
001e4d6cor rdi, 1
001e4d70cmp rdi, 9
001e4d74jl 0x1e4df0
001e4d76mov rdi, [rax+24]
001e4d7acmp rdi, 1
001e4d7ejl 0x1e4d84
001e4d80jmp 0x1e4d8f
001e4d82
001e4d82 66 90 f.
001e4d84
001e4d84loc_1e4d84:
001e4d84mov esi, 2
001e4d89sub rsi, rdi
001e4d8cmov rdi, rsi
001e4d8f
001e4d8floc_1e4d8f:
001e4d8fcmp rbx, rdi
001e4d92je 0x1e4df0
001e4d94mov [rsp], rax
001e4d98mov [rax], 1
001e4d9fmov rax, [rax+24]
001e4da3cmp rax, 1
001e4da7jl 0x1e4db0
001e4da9mov rdi, rax
001e4dacjmp 0x1e4db8
001e4dae
001e4dae 66 90 f.
001e4db0
001e4db0loc_1e4db0:
001e4db0mov edi, 2
001e4db5sub rdi, rax
001e4db8
001e4db8loc_1e4db8:
001e4db8mov esi, 1
001e4dbdlea rax, [rip+0x14edc]
001e4dc4call caml_c_call
001e4dc9mov rdi, [rsp]
001e4dcdadd rdi, 8
001e4dd1mov rsi, rax
001e4dd4mov rbx, rsp
001e4dd7mov rsp, [r14+64]
001e4ddbcall caml_modify
001e4de0mov rsp, rbx
001e4de3mov eax, 1
001e4de8add rsp, 8
001e4decret
001e4ded
001e4ded 0f 1f 00 ...
001e4df0
001e4df0loc_1e4df0:
001e4df0add rsp, 8
001e4df4jmp 0x1e4d10
001e4d50

001e4df9
001e4df9 // align 0x10

001e4e00
001e4e00Stdlib.Hashtbl.copy_bucketlist:
001e4e00lea r10, [rsp-328]
001e4e08cmp r10, [r14+40]
001e4e0cjb 0x1e4e64
001e4e0e
001e4e0eloc_1e4e0e:
001e4e0esub rsp, 8
001e4e12test al, 1
001e4e14je 0x1e4e20
001e4e16mov eax, 1
001e4e1badd rsp, 8
001e4e1fret
001e4e20
001e4e20loc_1e4e20:
001e4e20mov rdi, [rax]
001e4e23mov rsi, [rax+8]
001e4e27mov rbx, [rax+16]
001e4e2bsub r15, 32
001e4e2fcmp r15, [r14]
001e4e32jb 0x1e4e5d
001e4e34
001e4e34loc_1e4e34:
001e4e34lea rax, [r15+8]
001e4e38mov [rsp], rax
001e4e3cmov [rax-8], 3072
001e4e44mov [rax], rdi
001e4e47mov [rax+8], rsi
001e4e4bmov [rax+16], rbx
001e4e4fcall Stdlib.Hashtbl.loop
001e4e54mov rax, [rsp]
001e4e58add rsp, 8
001e4e5cret
001e4e5d
001e4e5dloc_1e4e5d:
001e4e5dcall caml_call_gc
001e4e62jmp 0x1e4e34
001e4e64
001e4e64loc_1e4e64:
001e4e64push 34
001e4e66call caml_call_realloc_stack
001e4e6bpop r10
001e4e6djmp 0x1e4e0e
001e4e00

001e4e6f
001e4e6f // align 0x10

001e4e70
001e4e70Stdlib.Hashtbl.loop:
001e4e70test bl, 1
001e4e73je 0x1e4e7c
001e4e75mov eax, 1
001e4e7aret
001e4e7b
001e4e7b 90 .
001e4e7c
001e4e7cloc_1e4e7c:
001e4e7cmov rdi, [rbx]
001e4e7fmov rsi, [rbx+8]
001e4e83mov r13, [rbx+16]
001e4e87sub r15, 32
001e4e8bcmp r15, [r14]
001e4e8ejb 0x1e4f0b
001e4e90
001e4e90loc_1e4e90:
001e4e90lea r12, [r15+8]
001e4e94mov [r12-8], 3072
001e4e9dmov [r12], rdi
001e4ea1mov [r12+8], rsi
001e4ea6mov [r12+16], r13
001e4eabtest al, 1
001e4eadje 0x1e4ee0
001e4eafsub r15, 24
001e4eb3cmp r15, [r14]
001e4eb6jb 0x1e4f04
001e4eb8
001e4eb8loc_1e4eb8:
001e4eb8lea rax, [r15+8]
001e4ebcmov [rax-8], 2048
001e4ec4lea rbx, [rip+0x9133d]
001e4ecbmov [rax], rbx
001e4ecelea rbx, [rip+0x18530b]
001e4ed5mov [rax+8], rbx
001e4ed9call caml_raise_exn
001e4edenop
001e4ee0
001e4ee0loc_1e4ee0:
001e4ee0add rax, 16
001e4ee4mov rdi, rax
001e4ee7mov rsi, r12
001e4eeamov rbx, rsp
001e4eedmov rsp, [r14+64]
001e4ef1call caml_modify
001e4ef6mov rsp, rbx
001e4ef9mov rax, r12
001e4efcmov rbx, r13
001e4effjmp 0x1e4e70
001e4f04
001e4f04loc_1e4f04:
001e4f04call caml_call_gc
001e4f09jmp 0x1e4eb8
001e4f0b
001e4f0bloc_1e4f0b:
001e4f0bcall caml_call_gc
001e4f10jmp 0x1e4e90
001e4e70