Similarity

001b73a0
001b73a0Stdlib.Int64.unsigned_compare:
001b73a0mov rdi, 0x8000000000000000
001b73aamov rbx, [rbx+8]
001b73aesub rbx, rdi
001b73b1mov rdi, 0x8000000000000000
001b73bbmov rsi, [rax+8]
001b73bfsub rsi, rdi
001b73c2cmp rsi, rbx
001b73c5setl al
001b73c8movzx rdi, al
001b73cccmp rsi, rbx
001b73cfsetg al
001b73d2movzx rax, al
001b73d6sub rax, rdi
001b73d9lea rax, [rax+rax+1]
001b73deret
001b73a0

001b73df
001b73df // align 0x10

001b73e0
001b73e0Stdlib.Int64.unsigned_lt:
001b73e0mov rdi, 0x8000000000000000
001b73eamov rbx, [rbx+8]
001b73eesub rbx, rdi
001b73f1mov rdi, 0x8000000000000000
001b73fbmov rax, [rax+8]
001b73ffsub rax, rdi
001b7402cmp rax, rbx
001b7405setl al
001b7408movzx rax, al
001b740clea rax, [rax+rax+1]
001b7411ret
001b73e0

001b7412
001b7412 // align 0x10

001b7420
001b7420Stdlib.Int64.min:
001b7420mov rdi, [rbx+8]
001b7424mov rsi, [rax+8]
001b7428cmp rsi, rdi
001b742bjg 0x1b7430
001b742dret
001b742e
001b742e 66 90 f.
001b7430
001b7430loc_1b7430:
001b7430mov rax, rbx
001b7433ret
001b7420

001b7434
001b7434 // align 0x10

001b7440
001b7440Stdlib.Int64.max:
001b7440mov rdi, [rbx+8]
001b7444mov rsi, [rax+8]
001b7448cmp rsi, rdi
001b744bjl 0x1b7450
001b744dret
001b744e
001b744e 66 90 f.
001b7450
001b7450loc_1b7450:
001b7450mov rax, rbx
001b7453ret
001b7440

001b7454
001b7454 // align 0x10

001b7460
001b7460Stdlib.Int64.unsigned_div:
001b7460mov rsi, rax
001b7463mov rcx, [rbx+8]
001b7467cmp rcx, 0
001b746bjge 0x1b74a0
001b746dmov rax, 0x8000000000000000
001b7477sub rcx, rax
001b747amov rax, 0x8000000000000000
001b7484mov rbx, [rsi+8]
001b7488sub rbx, rax
001b748bcmp rbx, rcx
001b748ejge 0x1b7498
001b7490lea rax, [rip+0x18ca39]
001b7497ret
001b7498
001b7498loc_1b7498:
001b7498lea rax, [rip+0x18ca19]
001b749fret
001b74a0
001b74a0loc_1b74a0:
001b74a0mov rax, [rsi+8]
001b74a4shr rax, 1
001b74a7cmp rcx, -1
001b74abje 0x1b74c8
001b74adtest rcx, rcx
001b74b0je 0x1b74bc
001b74b2cqo
001b74b4idiv rcx
001b74b7mov rdi, rax
001b74bajmp 0x1b74cd
001b74bc
001b74bcloc_1b74bc:
001b74bclea rax, [rip+0xbec4d]
001b74c3call caml_raise_exn
001b74c8
001b74c8loc_1b74c8:
001b74c8xor edi, edi
001b74casub rdi, rax
001b74cd
001b74cdloc_1b74cd:
001b74cdshl rdi, 1
001b74d0mov rax, [rbx+8]
001b74d4mov rbx, rdi
001b74d7imul rbx, rax
001b74dbmov rsi, [rsi+8]
001b74dfsub rsi, rbx
001b74e2mov rbx, 0x8000000000000000
001b74ecsub rax, rbx
001b74efmov rbx, 0x8000000000000000
001b74f9sub rsi, rbx
001b74fccmp rsi, rax
001b74ffjge 0x1b7528
001b7501sub r15, 24
001b7505cmp r15, [r14]
001b7508jb 0x1b7556
001b750a
001b750aloc_1b750a:
001b750alea rax, [r15+8]
001b750emov [rax-8], 2303
001b7516lea rbx, [rip+0xbe363]
001b751dmov [rax], rbx
001b7520mov [rax+8], rdi
001b7524ret
001b7525
001b7525 0f 1f 00 ...
001b7528
001b7528loc_1b7528:
001b7528sub r15, 24
001b752ccmp r15, [r14]
001b752fjb 0x1b754f
001b7531
001b7531loc_1b7531:
001b7531lea rax, [r15+8]
001b7535mov [rax-8], 2303
001b753dlea rbx, [rip+0xbe33c]
001b7544mov [rax], rbx
001b7547inc rdi
001b754amov [rax+8], rdi
001b754eret
001b754f
001b754floc_1b754f:
001b754fcall caml_call_gc
001b7554jmp 0x1b7531
001b7556
001b7556loc_1b7556:
001b7556call caml_call_gc
001b755bjmp 0x1b750a
001b7460

001b755d
001b755d // align 0x10

001b7560
001b7560Stdlib.Int64.unsigned_rem:
001b7560lea r10, [rsp-336]
001b7568cmp r10, [r14+40]
001b756cjb 0x1b75ce
001b756e
001b756eloc_1b756e:
001b756esub rsp, 16
001b7572mov [rsp+8], rax
001b7577mov [rsp], rbx
001b757bcall Stdlib.Int64.unsigned_div
001b7580add rax, 8
001b7584mov rax, [rax]
001b7587mov rbx, [rsp]
001b758bmov rbx, [rbx+8]
001b758fimul rax, rbx
001b7593mov rbx, [rsp+8]
001b7598mov rbx, [rbx+8]
001b759csub rbx, rax
001b759fsub r15, 24
001b75a3cmp r15, [r14]
001b75a6jb 0x1b75c7
001b75a8
001b75a8loc_1b75a8:
001b75a8lea rax, [r15+8]
001b75acmov [rax-8], 2303
001b75b4lea rdi, [rip+0xbe2c5]
001b75bbmov [rax], rdi
001b75bemov [rax+8], rbx
001b75c2add rsp, 16
001b75c6ret
001b75c7
001b75c7loc_1b75c7:
001b75c7call caml_call_gc
001b75ccjmp 0x1b75a8
001b75ce
001b75celoc_1b75ce:
001b75cepush 35
001b75d0call caml_call_realloc_stack
001b75d5pop r10
001b75d7jmp 0x1b756e
001b7560

001b75d9
001b75d9 // align 0x10

001b75e0
001b75e0Stdlib.Int64.seeded_hash:
001b75e0mov esi, 201
001b75e5mov edi, 21
001b75eamov rdx, rax
001b75edmov rcx, rbx
001b75f0mov rbx, rsp
001b75f3mov rsp, [r14+64]
001b75f7call caml_hash
001b75fcmov rsp, rbx
001b75ffret
001b75e0

001b7600
001b7600Stdlib.Int64.hash:
001b7600mov edx, 1
001b7605mov esi, 201
001b760amov edi, 21
001b760fmov rcx, rax
001b7612mov rbx, rsp
001b7615mov rsp, [r14+64]
001b7619call caml_hash
001b761emov rsp, rbx
001b7621ret
001b7600

001b7622
001b7622 // align 0x10

001b7630
001b7630Stdlib.Int64.entry:
001b7630lea rsi, [rip+0x18c899]
001b7637lea rdi, [rip+0x18c742]
001b763emov rbx, rsp
001b7641mov rsp, [r14+64]
001b7645call caml_initialize
001b764amov rsp, rbx
001b764dlea rsi, [rip+0x18c864]
001b7654lea rdi, [rip+0x18c725]
001b765badd rdi, 8
001b765fmov rbx, rsp
001b7662mov rsp, [r14+64]
001b7666call caml_initialize
001b766bmov rsp, rbx
001b766elea rsi, [rip+0x18c82b]
001b7675lea rdi, [rip+0x18c704]
001b767cadd rdi, 16
001b7680mov rbx, rsp
001b7683mov rsp, [r14+64]
001b7687call caml_initialize
001b768cmov rsp, rbx
001b768flea rsi, [rip+0x18c542]
001b7696lea rdi, [rip+0x18c6e3]
001b769dadd rdi, 40
001b76a1mov rbx, rsp
001b76a4mov rsp, [r14+64]
001b76a8call caml_initialize
001b76admov rsp, rbx
001b76b0lea rsi, [rip+0x18c539]
001b76b7lea rdi, [rip+0x18c6c2]
001b76beadd rdi, 48
001b76c2mov rbx, rsp
001b76c5mov rsp, [r14+64]
001b76c9call caml_initialize
001b76cemov rsp, rbx
001b76d1lea rsi, [rip+0x18c530]
001b76d8lea rdi, [rip+0x18c6a1]
001b76dfadd rdi, 56
001b76e3mov rbx, rsp
001b76e6mov rsp, [r14+64]
001b76eacall caml_initialize
001b76efmov rsp, rbx
001b76f2lea rsi, [rip+0x18c78f]
001b76f9lea rdi, [rip+0x18c680]
001b7700add rdi, 72
001b7704mov rbx, rsp
001b7707mov rsp, [r14+64]
001b770bcall caml_initialize
001b7710mov rsp, rbx
001b7713lea rsi, [rip+0x18c756]
001b771alea rdi, [rip+0x18c65f]
001b7721add rdi, 64
001b7725mov rbx, rsp
001b7728mov rsp, [r14+64]
001b772ccall caml_initialize
001b7731mov rsp, rbx
001b7734lea rsi, [rip+0x18c4e5]
001b773blea rdi, [rip+0x18c63e]
001b7742add rdi, 80
001b7746mov rbx, rsp
001b7749mov rsp, [r14+64]
001b774dcall caml_initialize
001b7752mov rsp, rbx
001b7755lea rsi, [rip+0x18c4dc]
001b775clea rdi, [rip+0x18c61d]
001b7763add rdi, 88
001b7767mov rbx, rsp
001b776amov rsp, [r14+64]
001b776ecall caml_initialize
001b7773mov rsp, rbx
001b7776lea rsi, [rip+0x18c4d3]
001b777dlea rdi, [rip+0x18c5fc]
001b7784add rdi, 104
001b7788mov rbx, rsp
001b778bmov rsp, [r14+64]
001b778fcall caml_initialize
001b7794mov rsp, rbx
001b7797lea rsi, [rip+0x18c4ca]
001b779elea rdi, [rip+0x18c5db]
001b77a5add rdi, 96
001b77a9mov rbx, rsp
001b77acmov rsp, [r14+64]
001b77b0call caml_initialize
001b77b5mov rsp, rbx
001b77b8lea rsi, [rip+0x18c4c1]
001b77bflea rdi, [rip+0x18c5ba]
001b77c6add rdi, 112
001b77camov rbx, rsp
001b77cdmov rsp, [r14+64]
001b77d1call caml_initialize
001b77d6mov rsp, rbx
001b77d9lea rsi, [rip+0x18c4c0]
001b77e0lea rdi, [rip+0x18c599]
001b77e7add rdi, 128
001b77eemov rbx, rsp
001b77f1mov rsp, [r14+64]
001b77f5call caml_initialize
001b77famov rsp, rbx
001b77fdlea rsi, [rip+0x18c4bc]
001b7804lea rdi, [rip+0x18c575]
001b780badd rdi, 120
001b780fmov rbx, rsp
001b7812mov rsp, [r14+64]
001b7816call caml_initialize
001b781bmov rsp, rbx
001b781elea rsi, [rip+0x18c4bb]
001b7825lea rdi, [rip+0x18c554]
001b782cadd rdi, 168
001b7833mov rbx, rsp
001b7836mov rsp, [r14+64]
001b783acall caml_initialize
001b783fmov rsp, rbx
001b7842lea rsi, [rip+0x18c4b7]
001b7849lea rdi, [rip+0x18c530]
001b7850add rdi, 136
001b7857mov rbx, rsp
001b785amov rsp, [r14+64]
001b785ecall caml_initialize
001b7863mov rsp, rbx
001b7866lea rsi, [rip+0x18c4b3]
001b786dlea rdi, [rip+0x18c50c]
001b7874add rdi, 144
001b787bmov rbx, rsp
001b787emov rsp, [r14+64]
001b7882call caml_initialize
001b7887mov rsp, rbx
001b788alea rsi, [rip+0x18c4af]
001b7891lea rdi, [rip+0x18c4e8]
001b7898add rdi, 24
001b789cmov rbx, rsp
001b789fmov rsp, [r14+64]
001b78a3call caml_initialize
001b78a8mov rsp, rbx
001b78ablea rsi, [rip+0x18c4ae]
001b78b2lea rdi, [rip+0x18c4c7]
001b78b9add rdi, 32
001b78bdmov rbx, rsp
001b78c0mov rsp, [r14+64]
001b78c4call caml_initialize
001b78c9mov rsp, rbx
001b78cclea rsi, [rip+0x18c2cd]
001b78d3lea rdi, [rip+0x18c4a6]
001b78daadd rdi, 152
001b78e1mov rbx, rsp
001b78e4mov rsp, [r14+64]
001b78e8call caml_initialize
001b78edmov rsp, rbx
001b78f0lea rsi, [rip+0x18c2c9]
001b78f7lea rdi, [rip+0x18c482]
001b78feadd rdi, 160
001b7905mov rbx, rsp
001b7908mov rsp, [r14+64]
001b790ccall caml_initialize
001b7911mov rsp, rbx
001b7914mov eax, 1
001b7919ret
001b7630

001b791a
001b791a // align 0x10

001b7920
001b7920Stdlib.Nativeint.succ:
001b7920sub r15, 24
001b7924cmp r15, [r14]
001b7927jb 0x1b794e
001b7929
001b7929loc_1b7929:
001b7929lea rbx, [r15+8]
001b792dmov [rbx-8], 2303
001b7935lea rdi, [rip+0xbdf04]
001b793cmov [rbx], rdi
001b793fmov rax, [rax+8]
001b7943inc rax
001b7946mov [rbx+8], rax
001b794amov rax, rbx
001b794dret
001b794e
001b794eloc_1b794e:
001b794ecall caml_call_gc
001b7953jmp 0x1b7929
001b7920

001b7955
001b7955 // align 0x10

001b7960
001b7960Stdlib.Nativeint.pred:
001b7960sub r15, 24
001b7964cmp r15, [r14]
001b7967jb 0x1b798e
001b7969
001b7969loc_1b7969:
001b7969lea rbx, [r15+8]
001b796dmov [rbx-8], 2303
001b7975lea rdi, [rip+0xbdec4]
001b797cmov [rbx], rdi
001b797fmov rax, [rax+8]
001b7983dec rax
001b7986mov [rbx+8], rax
001b798amov rax, rbx
001b798dret
001b798e
001b798eloc_1b798e:
001b798ecall caml_call_gc
001b7993jmp 0x1b7969
001b7960

001b7995
001b7995 // align 0x10

001b79a0
001b79a0Stdlib.Nativeint.abs:
001b79a0mov rbx, [rax+8]
001b79a4cmp rbx, 0
001b79a8jl 0x1b79ac
001b79aaret
001b79ab
001b79ab 90 .
001b79ac
001b79acloc_1b79ac:
001b79acsub r15, 24
001b79b0cmp r15, [r14]
001b79b3jb 0x1b79d5
001b79b5
001b79b5loc_1b79b5:
001b79b5lea rax, [r15+8]
001b79b9mov [rax-8], 2303
001b79c1lea rdi, [rip+0xbde78]
001b79c8mov [rax], rdi
001b79cbxor edi, edi
001b79cdsub rdi, rbx
001b79d0mov [rax+8], rdi
001b79d4ret
001b79d5
001b79d5loc_1b79d5:
001b79d5call caml_call_gc
001b79dajmp 0x1b79b5
001b79a0

001b79dc
001b79dc // align 0x10

001b79e0
001b79e0Stdlib.Nativeint.lognot:
001b79e0sub r15, 24
001b79e4cmp r15, [r14]
001b79e7jb 0x1b7a0f
001b79e9
001b79e9loc_1b79e9:
001b79e9lea rbx, [r15+8]
001b79edmov [rbx-8], 2303
001b79f5lea rdi, [rip+0xbde44]
001b79fcmov [rbx], rdi
001b79ffmov rax, [rax+8]
001b7a03xor rax, -1
001b7a07mov [rbx+8], rax
001b7a0bmov rax, rbx
001b7a0eret
001b7a0f
001b7a0floc_1b7a0f:
001b7a0fcall caml_call_gc
001b7a14jmp 0x1b79e9
001b79e0

001b7a16
001b7a16 // align 0x10

001b7a20
001b7a20Stdlib.Nativeint.fun:
001b7a20mov rax, [rax+8]
001b7a24cmp rax, 0
001b7a28jl 0x1b7a5c
001b7a2amov rbx, 0x3fffffffffffffff
001b7a34cmp rax, rbx
001b7a37jg 0x1b7a5c
001b7a39sub r15, 16
001b7a3dcmp r15, [r14]
001b7a40jb 0x1b7a62
001b7a42
001b7a42loc_1b7a42:
001b7a42lea rbx, [r15+8]
001b7a46mov [rbx-8], 1024
001b7a4elea rax, [rax+rax+1]
001b7a53mov [rbx], rax
001b7a56mov rax, rbx
001b7a59ret
001b7a5a
001b7a5a 66 90 f.
001b7a5c
001b7a5cloc_1b7a5c:
001b7a5cmov eax, 1
001b7a61ret
001b7a62
001b7a62loc_1b7a62:
001b7a62call caml_call_gc
001b7a67jmp 0x1b7a42
001b7a20

001b7a69
001b7a69 // align 0x10

001b7a70
001b7a70Stdlib.Nativeint.to_string:
001b7a70lea rdi, [rip+0x18ca29]
001b7a77mov rsi, rax
001b7a7alea rax, [rip+0x56b1f]
001b7a81call caml_c_call
001b7a86ret
001b7a70

001b7a87
001b7a87 // align 0x10

001b7a90
001b7a90Stdlib.Nativeint.of_string_opt:
001b7a90lea r11, [rip+61]
001b7a97push r11
001b7a99push [r14+48]
001b7a9dmov [r14+48], rsp
001b7aa1mov rdi, rax
001b7aa4lea rax, [rip+0x56b55]
001b7aabcall caml_c_call
001b7ab0sub r15, 16
001b7ab4cmp r15, [r14]
001b7ab7jb 0x1b7afc
001b7ab9
001b7ab9loc_1b7ab9:
001b7ab9lea rbx, [r15+8]
001b7abdmov [rbx-8], 1024
001b7ac5mov [rbx], rax
001b7ac8pop [r14+48]
001b7accadd rsp, 8
001b7ad0jmp 0x1b7af8
001b7ad2
001b7ad2 66 90 f.
001b7ad4lea rbx, [rip+0x175b3d]
001b7adbmov rbx, [rbx+48]
001b7adfmov rdi, [rax]
001b7ae2cmp rdi, rbx
001b7ae5jne 0x1b7af0
001b7ae7mov eax, 1
001b7aecret
001b7aed
001b7aed 0f 1f 00 ...
001b7af0
001b7af0loc_1b7af0:
001b7af0call caml_reraise_exn
001b7af5nop [rax]
001b7af8
001b7af8loc_1b7af8:
001b7af8mov rax, rbx
001b7afbret
001b7afc
001b7afcloc_1b7afc:
001b7afccall caml_call_gc
001b7b01jmp 0x1b7ab9
001b7a90

001b7b03
001b7b03 // align 0x10

001b7b10
001b7b10Stdlib.Nativeint.compare:
001b7b10mov rbx, [rbx+8]
001b7b14mov rdi, [rax+8]
001b7b18cmp rdi, rbx
001b7b1bsetl al
001b7b1emovzx rsi, al
001b7b22cmp rdi, rbx
001b7b25setg al
001b7b28movzx rax, al
001b7b2csub rax, rsi
001b7b2flea rax, [rax+rax+1]
001b7b34ret
001b7b10

001b7b35
001b7b35 // align 0x10

001b7b40
001b7b40Stdlib.Nativeint.equal:
001b7b40mov rbx, [rbx+8]
001b7b44mov rax, [rax+8]
001b7b48cmp rax, rbx
001b7b4bsete al
001b7b4emovzx rax, al
001b7b52lea rax, [rax+rax+1]
001b7b57ret
001b7b40

001b7b58
001b7b58 // align 0x10

001b7b60
001b7b60Stdlib.Nativeint.unsigned_compare:
001b7b60mov rdi, 0x8000000000000000
001b7b6amov rbx, [rbx+8]
001b7b6esub rbx, rdi
001b7b71mov rdi, 0x8000000000000000
001b7b7bmov rsi, [rax+8]
001b7b7fsub rsi, rdi
001b7b82cmp rsi, rbx
001b7b85setl al
001b7b88movzx rdi, al
001b7b8ccmp rsi, rbx
001b7b8fsetg al
001b7b92movzx rax, al
001b7b96sub rax, rdi
001b7b99lea rax, [rax+rax+1]
001b7b9eret
001b7b60

001b7b9f
001b7b9f // align 0x10

001b7ba0
001b7ba0Stdlib.Nativeint.unsigned_lt:
001b7ba0mov rdi, 0x8000000000000000
001b7baamov rbx, [rbx+8]
001b7baesub rbx, rdi
001b7bb1mov rdi, 0x8000000000000000
001b7bbbmov rax, [rax+8]
001b7bbfsub rax, rdi
001b7bc2cmp rax, rbx
001b7bc5setl al
001b7bc8movzx rax, al
001b7bcclea rax, [rax+rax+1]
001b7bd1ret
001b7ba0

001b7bd2
001b7bd2 // align 0x10

001b7be0
001b7be0Stdlib.Nativeint.min:
001b7be0mov rdi, [rbx+8]
001b7be4mov rsi, [rax+8]
001b7be8cmp rsi, rdi
001b7bebjg 0x1b7bf0
001b7bedret
001b7bee
001b7bee 66 90 f.
001b7bf0
001b7bf0loc_1b7bf0:
001b7bf0mov rax, rbx
001b7bf3ret
001b7be0

001b7bf4
001b7bf4 // align 0x10

001b7c00
001b7c00Stdlib.Nativeint.max:
001b7c00mov rdi, [rbx+8]
001b7c04mov rsi, [rax+8]
001b7c08cmp rsi, rdi
001b7c0bjl 0x1b7c10
001b7c0dret
001b7c0e
001b7c0e 66 90 f.
001b7c10
001b7c10loc_1b7c10:
001b7c10mov rax, rbx
001b7c13ret
001b7c00

001b7c14
001b7c14 // align 0x10

001b7c20
001b7c20Stdlib.Nativeint.unsigned_div:
001b7c20mov rsi, rax
001b7c23mov rcx, [rbx+8]
001b7c27cmp rcx, 0
001b7c2bjge 0x1b7c60
001b7c2dmov rax, 0x8000000000000000
001b7c37sub rcx, rax
001b7c3amov rax, 0x8000000000000000
001b7c44mov rbx, [rsi+8]
001b7c48sub rbx, rax
001b7c4bcmp rbx, rcx
001b7c4ejge 0x1b7c58
001b7c50lea rax, [rip+0x18c8d1]
001b7c57ret
001b7c58
001b7c58loc_1b7c58:
001b7c58lea rax, [rip+0x18c8b1]
001b7c5fret
001b7c60
001b7c60loc_1b7c60:
001b7c60mov rax, [rsi+8]
001b7c64shr rax, 1
001b7c67cmp rcx, -1
001b7c6bje 0x1b7c88
001b7c6dtest rcx, rcx
001b7c70je 0x1b7c7c
001b7c72cqo
001b7c74idiv rcx
001b7c77mov rdi, rax
001b7c7ajmp 0x1b7c8d
001b7c7c
001b7c7cloc_1b7c7c:
001b7c7clea rax, [rip+0xbe48d]
001b7c83call caml_raise_exn
001b7c88
001b7c88loc_1b7c88:
001b7c88xor edi, edi
001b7c8asub rdi, rax
001b7c8d
001b7c8dloc_1b7c8d:
001b7c8dshl rdi, 1
001b7c90mov rax, [rbx+8]
001b7c94mov rbx, rdi
001b7c97imul rbx, rax
001b7c9bmov rsi, [rsi+8]
001b7c9fsub rsi, rbx
001b7ca2mov rbx, 0x8000000000000000
001b7cacsub rax, rbx
001b7cafmov rbx, 0x8000000000000000
001b7cb9sub rsi, rbx
001b7cbccmp rsi, rax
001b7cbfjge 0x1b7ce8
001b7cc1sub r15, 24
001b7cc5cmp r15, [r14]
001b7cc8jb 0x1b7d16
001b7cca
001b7ccaloc_1b7cca:
001b7ccalea rax, [r15+8]
001b7ccemov [rax-8], 2303
001b7cd6lea rbx, [rip+0xbdb63]
001b7cddmov [rax], rbx
001b7ce0mov [rax+8], rdi
001b7ce4ret
001b7ce5
001b7ce5 0f 1f 00 ...
001b7ce8
001b7ce8loc_1b7ce8:
001b7ce8sub r15, 24
001b7ceccmp r15, [r14]
001b7cefjb 0x1b7d0f
001b7cf1
001b7cf1loc_1b7cf1:
001b7cf1lea rax, [r15+8]
001b7cf5mov [rax-8], 2303
001b7cfdlea rbx, [rip+0xbdb3c]
001b7d04mov [rax], rbx
001b7d07inc rdi
001b7d0amov [rax+8], rdi
001b7d0eret
001b7d0f
001b7d0floc_1b7d0f:
001b7d0fcall caml_call_gc
001b7d14jmp 0x1b7cf1
001b7d16
001b7d16loc_1b7d16:
001b7d16call caml_call_gc
001b7d1bjmp 0x1b7cca
001b7c20

001b7d1d
001b7d1d // align 0x10

001b7d20
001b7d20Stdlib.Nativeint.unsigned_rem:
001b7d20lea r10, [rsp-336]
001b7d28cmp r10, [r14+40]
001b7d2cjb 0x1b7d8e
001b7d2e
001b7d2eloc_1b7d2e:
001b7d2esub rsp, 16
001b7d32mov [rsp+8], rax
001b7d37mov [rsp], rbx
001b7d3bcall Stdlib.Nativeint.unsigned_div
001b7d40add rax, 8
001b7d44mov rax, [rax]
001b7d47mov rbx, [rsp]
001b7d4bmov rbx, [rbx+8]
001b7d4fimul rax, rbx
001b7d53mov rbx, [rsp+8]
001b7d58mov rbx, [rbx+8]
001b7d5csub rbx, rax
001b7d5fsub r15, 24
001b7d63cmp r15, [r14]
001b7d66jb 0x1b7d87
001b7d68
001b7d68loc_1b7d68:
001b7d68lea rax, [r15+8]
001b7d6cmov [rax-8], 2303
001b7d74lea rdi, [rip+0xbdac5]
001b7d7bmov [rax], rdi
001b7d7emov [rax+8], rbx
001b7d82add rsp, 16
001b7d86ret
001b7d87
001b7d87loc_1b7d87:
001b7d87call caml_call_gc
001b7d8cjmp 0x1b7d68
001b7d8e
001b7d8eloc_1b7d8e:
001b7d8epush 35
001b7d90call caml_call_realloc_stack
001b7d95pop r10
001b7d97jmp 0x1b7d2e
001b7d20

001b7d99
001b7d99 // align 0x10

001b7da0
001b7da0Stdlib.Nativeint.seeded_hash:
001b7da0mov esi, 201
001b7da5mov edi, 21
001b7daamov rdx, rax
001b7dadmov rcx, rbx
001b7db0mov rbx, rsp
001b7db3mov rsp, [r14+64]
001b7db7call caml_hash
001b7dbcmov rsp, rbx
001b7dbfret
001b7da0

001b7dc0
001b7dc0Stdlib.Nativeint.hash:
001b7dc0mov edx, 1
001b7dc5mov esi, 201
001b7dcamov edi, 21
001b7dcfmov rcx, rax
001b7dd2mov rbx, rsp
001b7dd5mov rsp, [r14+64]
001b7dd9call caml_hash
001b7ddemov rsp, rbx
001b7de1ret
001b7dc0

001b7de2
001b7de2 // align 0x10

001b7df0
001b7df0Stdlib.Nativeint.entry:
001b7df0lea rsi, [rip+0x18c731]
001b7df7lea rdi, [rip+0x18c5d2]
001b7dfemov rbx, rsp
001b7e01mov rsp, [r14+64]
001b7e05call caml_initialize
001b7e0amov rsp, rbx
001b7e0dlea rsi, [rip+0x18c6fc]
001b7e14lea rdi, [rip+0x18c5b5]
001b7e1badd rdi, 8
001b7e1fmov rbx, rsp
001b7e22mov rsp, [r14+64]
001b7e26call caml_initialize
001b7e2bmov rsp, rbx
001b7e2elea rsi, [rip+0x18c6c3]
001b7e35lea rdi, [rip+0x18c594]
001b7e3cadd rdi, 16
001b7e40mov rbx, rsp
001b7e43mov rsp, [r14+64]
001b7e47call caml_initialize
001b7e4cmov rsp, rbx
001b7e4flea rsi, [rip+0x18c3d2]
001b7e56lea rdi, [rip+0x18c573]
001b7e5dadd rdi, 40
001b7e61mov rbx, rsp
001b7e64mov rsp, [r14+64]
001b7e68call caml_initialize
001b7e6dmov rsp, rbx
001b7e70lea rsi, [rip+0x18c3c9]
001b7e77lea rdi, [rip+0x18c552]
001b7e7eadd rdi, 48
001b7e82mov rbx, rsp
001b7e85mov rsp, [r14+64]
001b7e89call caml_initialize
001b7e8emov rsp, rbx
001b7e91lea rsi, [rip+0x18c3c0]
001b7e98lea rdi, [rip+0x18c531]
001b7e9fadd rdi, 56
001b7ea3mov rbx, rsp
001b7ea6mov rsp, [r14+64]
001b7eaacall caml_initialize
001b7eafmov rsp, rbx
001b7eb2mov esi, 129
001b7eb7lea rdi, [rip+0x18c512]
001b7ebeadd rdi, 64
001b7ec2mov rbx, rsp
001b7ec5mov rsp, [r14+64]
001b7ec9call caml_initialize
001b7ecemov rsp, rbx
001b7ed1lea rsi, [rip+0x18c608]
001b7ed8lea rdi, [rip+0x18c4f1]
001b7edfadd rdi, 80
001b7ee3mov rbx, rsp
001b7ee6mov rsp, [r14+64]
001b7eeacall caml_initialize
001b7eefmov rsp, rbx
001b7ef2lea rsi, [rip+0x18c5cf]
001b7ef9lea rdi, [rip+0x18c4d0]
001b7f00add rdi, 72
001b7f04mov rbx, rsp
001b7f07mov rsp, [r14+64]
001b7f0bcall caml_initialize
001b7f10mov rsp, rbx
001b7f13lea rsi, [rip+0x18c356]
001b7f1alea rdi, [rip+0x18c4af]
001b7f21add rdi, 88
001b7f25mov rbx, rsp
001b7f28mov rsp, [r14+64]
001b7f2ccall caml_initialize
001b7f31mov rsp, rbx
001b7f34lea rsi, [rip+0x18c34d]
001b7f3blea rdi, [rip+0x18c48e]
001b7f42add rdi, 96
001b7f46mov rbx, rsp
001b7f49mov rsp, [r14+64]
001b7f4dcall caml_initialize
001b7f52mov rsp, rbx
001b7f55lea rsi, [rip+0x18c344]
001b7f5clea rdi, [rip+0x18c46d]
001b7f63add rdi, 112
001b7f67mov rbx, rsp
001b7f6amov rsp, [r14+64]
001b7f6ecall caml_initialize
001b7f73mov rsp, rbx
001b7f76lea rsi, [rip+0x18c33b]
001b7f7dlea rdi, [rip+0x18c44c]
001b7f84add rdi, 104
001b7f88mov rbx, rsp
001b7f8bmov rsp, [r14+64]
001b7f8fcall caml_initialize
001b7f94mov rsp, rbx
001b7f97lea rsi, [rip+0x18c332]
001b7f9elea rdi, [rip+0x18c42b]
001b7fa5add rdi, 120
001b7fa9mov rbx, rsp
001b7facmov rsp, [r14+64]
001b7fb0call caml_initialize
001b7fb5mov rsp, rbx
001b7fb8lea rsi, [rip+0x18c331]
001b7fbflea rdi, [rip+0x18c40a]
001b7fc6add rdi, 136
001b7fcdmov rbx, rsp
001b7fd0mov rsp, [r14+64]
001b7fd4call caml_initialize
001b7fd9mov rsp, rbx
001b7fdclea rsi, [rip+0x18c32d]
001b7fe3lea rdi, [rip+0x18c3e6]
001b7feaadd rdi, 128
001b7ff1mov rbx, rsp
001b7ff4mov rsp, [r14+64]
001b7ff8call caml_initialize
001b7ffdmov rsp, rbx
001b8000lea rsi, [rip+0x18c329]
001b8007lea rdi, [rip+0x18c3c2]
001b800eadd rdi, 176
001b8015mov rbx, rsp
001b8018mov rsp, [r14+64]
001b801ccall caml_initialize
001b8021mov rsp, rbx
001b8024lea rsi, [rip+0x18c325]
001b802blea rdi, [rip+0x18c39e]
001b8032add rdi, 144
001b8039mov rbx, rsp
001b803cmov rsp, [r14+64]
001b8040call caml_initialize
001b8045mov rsp, rbx
001b8048lea rsi, [rip+0x18c321]
001b804flea rdi, [rip+0x18c37a]
001b8056add rdi, 152
001b805dmov rbx, rsp
001b8060mov rsp, [r14+64]
001b8064call caml_initialize
001b8069mov rsp, rbx
001b806clea rsi, [rip+0x18c31d]
001b8073lea rdi, [rip+0x18c356]
001b807aadd rdi, 24
001b807emov rbx, rsp
001b8081mov rsp, [r14+64]
001b8085call caml_initialize
001b808amov rsp, rbx
001b808dlea rsi, [rip+0x18c31c]
001b8094lea rdi, [rip+0x18c335]
001b809badd rdi, 32
001b809fmov rbx, rsp
001b80a2mov rsp, [r14+64]
001b80a6call caml_initialize
001b80abmov rsp, rbx
001b80aelea rsi, [rip+0x18c13b]
001b80b5lea rdi, [rip+0x18c314]
001b80bcadd rdi, 160
001b80c3mov rbx, rsp
001b80c6mov rsp, [r14+64]
001b80cacall caml_initialize
001b80cfmov rsp, rbx
001b80d2lea rsi, [rip+0x18c137]
001b80d9lea rdi, [rip+0x18c2f0]
001b80e0add rdi, 168
001b80e7mov rbx, rsp
001b80eamov rsp, [r14+64]
001b80eecall caml_initialize
001b80f3mov rsp, rbx
001b80f6mov eax, 1
001b80fbret
001b7df0

001b80fc
001b80fc // align 0x10

001b8100
001b8100Stdlib.Lexing.engine:
001b8100sub rsp, 8
001b8104mov rdx, rdi
001b8107mov [rsp], rdx
001b810bmov rdi, rax
001b810emov rsi, rbx
001b8111lea rax, [rip+0x59438]
001b8118call caml_c_call
001b811dmov r13, rax
001b8120cmp r13, 1
001b8124jl 0x1b81ae
001b812alea rax, [rip+0x18cb17]
001b8131mov r12, [rsp]
001b8135mov rsi, [r12+88]
001b813acmp rsi, rax
001b813dje 0x1b81ae
001b813fmov rdi, r12
001b8142add rdi, 80
001b8146mov rbx, rsp
001b8149mov rsp, [r14+64]
001b814dcall caml_modify
001b8152mov rsp, rbx
001b8155mov rax, [r12+88]
001b815asub r15, 40
001b815ecmp r15, [r14]
001b8161jb 0x1b81b6
001b8163
001b8163loc_1b8163:
001b8163lea rsi, [r15+8]
001b8167mov [rsi-8], 4096
001b816fmov rbx, [rax]
001b8172mov [rsi], rbx
001b8175mov rbx, [rax+8]
001b8179mov [rsi+8], rbx
001b817dmov rax, [rax+16]
001b8181mov [rsi+16], rax
001b8185mov rax, [r12+40]
001b818amov rbx, [r12+24]
001b818flea rax, [rbx+rax-1]
001b8194mov [rsi+24], rax
001b8198mov rdi, r12
001b819badd rdi, 88
001b819fmov rbx, rsp
001b81a2mov rsp, [r14+64]
001b81a6call caml_modify
001b81abmov rsp, rbx
001b81ae
001b81aeloc_1b81ae:
001b81aemov rax, r13
001b81b1add rsp, 8
001b81b5ret
001b81b6
001b81b6loc_1b81b6:
001b81b6call caml_call_gc
001b81bbjmp 0x1b8163
001b8100

001b81bd
001b81bd // align 0x10

001b81c0
001b81c0Stdlib.Lexing.new_engine:
001b81c0sub rsp, 8
001b81c4mov rdx, rdi
001b81c7mov [rsp], rdx
001b81cbmov rdi, rax
001b81cemov rsi, rbx
001b81d1lea rax, [rip+0x594e8]
001b81d8call caml_c_call
001b81ddmov r13, rax
001b81e0cmp r13, 1
001b81e4jl 0x1b826e
001b81ealea rax, [rip+0x18ca57]
001b81f1mov r12, [rsp]
001b81f5mov rsi, [r12+88]
001b81facmp rsi, rax
001b81fdje 0x1b826e
001b81ffmov rdi, r12
001b8202add rdi, 80
001b8206mov rbx, rsp
001b8209mov rsp, [r14+64]
001b820dcall caml_modify
001b8212mov rsp, rbx
001b8215mov rax, [r12+88]
001b821asub r15, 40
001b821ecmp r15, [r14]
001b8221jb 0x1b8276
001b8223
001b8223loc_1b8223:
001b8223lea rsi, [r15+8]
001b8227mov [rsi-8], 4096
001b822fmov rbx, [rax]
001b8232mov [rsi], rbx
001b8235mov rbx, [rax+8]
001b8239mov [rsi+8], rbx
001b823dmov rax, [rax+16]
001b8241mov [rsi+16], rax
001b8245mov rax, [r12+40]
001b824amov rbx, [r12+24]
001b824flea rax, [rbx+rax-1]
001b8254mov [rsi+24], rax
001b8258mov rdi, r12
001b825badd rdi, 88
001b825fmov rbx, rsp
001b8262mov rsp, [r14+64]
001b8266call caml_modify
001b826bmov rsp, rbx
001b826e
001b826eloc_1b826e:
001b826emov rax, r13
001b8271add rsp, 8
001b8275ret
001b8276
001b8276loc_1b8276:
001b8276call caml_call_gc
001b827bjmp 0x1b8223
001b81c0

001b827d
001b827d // align 0x10

001b8280
001b8280Stdlib.Lexing.lex_refill:
001b8280lea r10, [rsp-352]
001b8288cmp r10, [r14+40]
001b828cjb 0x1b84e1
001b8292
001b8292loc_1b8292:
001b8292sub rsp, 32
001b8296mov rsi, rax
001b8299mov rax, rbx
001b829cmov [rsp], rax
001b82a0mov [rsp+24], rdi
001b82a5mov rbx, [rax-8]
001b82a9shr rbx, 10
001b82adlea rbx, [8*rbx-1]
001b82b5movzx rdi, [rax+rbx]
001b82basub rbx, rdi
001b82bdlea rbx, [rbx+rbx+1]
001b82c2mov rdi, rsi
001b82c5call caml_apply2
001b82cacmp rax, 1
001b82cejle 0x1b82dc
001b82d0mov rsi, rax
001b82d3mov [rsp+8], rsi
001b82d8jmp 0x1b82f3
001b82da
001b82da 66 90 f.
001b82dc
001b82dcloc_1b82dc:
001b82dcmov rax, [rsp+24]
001b82e1mov [rax+64], 3
001b82e9mov esi, 1
001b82eemov [rsp+8], rsi
001b82f3
001b82f3loc_1b82f3:
001b82f3mov rcx, [rsp+24]
001b82f8mov rdi, [rcx+8]
001b82fcmov rax, [rdi-8]
001b8300shr rax, 10
001b8304lea rax, [8*rax-1]
001b830cmovzx rbx, [rdi+rax]
001b8311sub rax, rbx
001b8314lea rbx, [rax+rax+1]
001b8319mov rdx, [rcx+16]
001b831dlea r8, [rdx+rsi-1]
001b8322cmp r8, rbx
001b8325jle 0x1b8499
001b832bmov r8, [rcx+32]
001b832fsub rdx, r8
001b8332mov r9, rdx
001b8335add r9, rsi
001b8338cmp r9, rbx
001b833bjg 0x1b8358
001b833dmov rbx, r8
001b8340inc rdx
001b8343mov esi, 1
001b8348mov rax, rdi
001b834bcall Stdlib.Bytes.blit
001b8350jmp 0x1b83fd
001b8355
001b8355 0f 1f 00 ...
001b8358
001b8358loc_1b8358:
001b8358lea rax, [4*rax+1]
001b8360mov rbx, 0x3ffffffffffffef
001b836acmp rax, rbx
001b836djg 0x1b8378
001b836fmov [rsp+16], rax
001b8374jmp 0x1b8387
001b8376
001b8376 66 90 f.
001b8378
001b8378loc_1b8378:
001b8378mov rax, 0x3ffffffffffffef
001b8382mov [rsp+16], rax
001b8387
001b8387loc_1b8387:
001b8387mov rbx, [rcx+32]
001b838bmov rdi, [rcx+16]
001b838fsub rdi, rbx
001b8392add rdi, rsi
001b8395cmp rdi, rax
001b8398jle 0x1b83a6
001b839alea rax, [rip+0x18c877]
001b83a1call camlStdlib.failwith_7
001b83a6
001b83a6loc_1b83a6:
001b83a6mov rdi, [rsp+16]
001b83ablea rax, [rip+0x68c7e]
001b83b2call caml_c_call
001b83b7mov rdi, rax
001b83bamov [rsp+16], rdi
001b83bfmov rax, [rsp+24]
001b83c4mov rbx, [rax+32]
001b83c8mov rdx, [rax+16]
001b83ccsub rdx, rbx
001b83cfinc rdx
001b83d2mov esi, 1
001b83d7mov rax, [rax+8]
001b83dbcall Stdlib.Bytes.blit
001b83e0mov rdi, [rsp+24]
001b83e5add rdi, 8
001b83e9mov rsi, [rsp+16]
001b83eemov rbx, rsp
001b83f1mov rsp, [r14+64]
001b83f5call caml_modify
001b83famov rsp, rbx
001b83fd
001b83fdloc_1b83fd:
001b83fdmov rcx, [rsp+24]
001b8402mov rsi, [rcx+32]
001b8406mov rax, [rcx+24]
001b840alea rax, [rax+rsi-1]
001b840fmov [rcx+24], rax
001b8413mov rax, [rcx+40]
001b8417sub rax, rsi
001b841ainc rax
001b841dmov [rcx+40], rax
001b8421mov [rcx+32], 1
001b8429mov rax, [rcx+48]
001b842dsub rax, rsi
001b8430inc rax
001b8433mov [rcx+48], rax
001b8437mov rax, [rcx+16]
001b843bsub rax, rsi
001b843einc rax
001b8441mov [rcx+16], rax
001b8445mov rbx, [rcx+72]
001b8449mov eax, 1
001b844emov rdi, [rbx-8]
001b8452shr rdi, 9
001b8456or rdi, 1
001b845aadd rdi, -2
001b845ecmp rax, rdi
001b8461jg 0x1b8499
001b8463
001b8463loc_1b8463:
001b8463mov rdx, [rbx-8]
001b8467shr rdx, 9
001b846bcmp rdx, rax
001b846ejbe 0x1b84dc
001b8470mov rdx, [rbx+4*rax-4]
001b8475cmp rdx, 1
001b8479jl 0x1b8486
001b847bsub rdx, rsi
001b847einc rdx
001b8481mov [rbx+4*rax-4], rdx
001b8486
001b8486loc_1b8486:
001b8486mov rdx, rax
001b8489add rax, 2
001b848dcmp rdx, rdi
001b8490je 0x1b8499
001b8492cmp r15, [r14]
001b8495ja 0x1b8463
001b8497jmp 0x1b84d5
001b8499
001b8499loc_1b8499:
001b8499mov rsi, [rcx+16]
001b849dmov rdi, [rcx+8]
001b84a1mov ebx, 1
001b84a6mov rax, [rsp]
001b84aamov rdx, [rsp+8]
001b84afcall Stdlib.Bytes.blit
001b84b4mov rbx, [rsp+24]
001b84b9mov rax, [rbx+16]
001b84bdmov rdi, [rsp+8]
001b84c2lea rax, [rax+rdi-1]
001b84c7mov [rbx+16], rax
001b84cbmov eax, 1
001b84d0add rsp, 32
001b84d4ret
001b84d5
001b84d5loc_1b84d5:
001b84d5call caml_call_gc
001b84dajmp 0x1b8463
001b84dc
001b84dcloc_1b84dc:
001b84dccall caml_ml_array_bound_error
001b84e1
001b84e1loc_1b84e1:
001b84e1push 37
001b84e3call caml_call_realloc_stack
001b84e8pop r10
001b84eajmp 0x1b8292
001b8280

001b84ef
001b84ef // align 0x10

001b84f0
001b84f0Stdlib.Lexing.from_function_inner:
001b84f0sub rsp, 32
001b84f4mov [rsp], rbx
001b84f8cmp rax, 1
001b84fcje 0x1b850c
001b84felea rbx, [rip+0x18c6eb]
001b8505mov [rsp+24], rbx
001b850ajmp 0x1b8518
001b850c
001b850cloc_1b850c:
001b850clea rbx, [rip+0x18c735]
001b8513mov [rsp+24], rbx
001b8518
001b8518loc_1b8518:
001b8518cmp rax, 1
001b851cje 0x1b852c
001b851elea rax, [rip+0x18c6cb]
001b8525mov [rsp+16], rax
001b852ajmp 0x1b8538
001b852c
001b852cloc_1b852c:
001b852clea rax, [rip+0x18c715]
001b8533mov [rsp+16], rax
001b8538
001b8538loc_1b8538:
001b8538mov edi, 2049
001b853dlea rax, [rip+0x68aec]
001b8544call caml_c_call
001b8549mov [rsp+8], rax
001b854emov edi, 1025
001b8553lea rax, [rip+0x68ad6]
001b855acall caml_c_call
001b855fmov rbx, [rsp]
001b8563lea rdi, [rip+0x18c5ae]
001b856amov rdi, [rdi+168]
001b8571sub r15, 152
001b8578cmp r15, [r14]
001b857bjb 0x1b8627
001b8581
001b8581loc_1b8581:
001b8581lea rsi, [r15+8]
001b8585add rsi, 104
001b8589mov [rsi-8], 5367
001b8591lea rdx, [rip+200]
001b8598mov [rsi], rdx
001b859bmov rdx, 0x100000000000005
001b85a5mov [rsi+8], rdx
001b85a9mov [rsi+16], rbx
001b85admov [rsi+24], rax
001b85b1mov [rsi+32], rdi
001b85b5lea rax, [rsi-104]
001b85b9mov [rax-8], 12288
001b85c1mov [rax], rsi
001b85c4mov rbx, [rsp+8]
001b85c9mov [rax+8], rbx
001b85cdmov [rax+16], 1
001b85d5mov [rax+24], 1
001b85ddmov [rax+32], 1
001b85e5mov [rax+40], 1
001b85edmov [rax+48], 1
001b85f5mov [rax+56], 1
001b85fdmov [rax+64], 1
001b8605lea rbx, [rip+0x18c5dc]
001b860cmov [rax+72], rbx
001b8610mov rbx, [rsp+16]
001b8615mov [rax+80], rbx
001b8619mov rbx, [rsp+24]
001b861emov [rax+88], rbx
001b8622add rsp, 32
001b8626ret
001b8627
001b8627loc_1b8627:
001b8627call caml_call_gc
001b862cjmp 0x1b8581
001b84f0

001b8631
001b8631 // align 0x10

001b8640
001b8640Stdlib.Lexing.from_function:
001b8640test al, 1
001b8642je 0x1b864c
001b8644mov eax, 3
001b8649jmp 0x1b864f
001b864b
001b864b 90 .
001b864c
001b864cloc_1b864c:
001b864cmov rax, [rax]
001b864f
001b864floc_1b864f:
001b864fjmp 0x1b84f0
001b8640

001b8654
001b8654 // align 0x10

001b8660
001b8660Stdlib.Lexing.fun:
001b8660mov rdi, rax
001b8663mov rsi, [rbx+24]
001b8667mov rax, [rbx+16]
001b866bmov rbx, rsi
001b866ejmp 0x1b8280
001b8660

001b8673
001b8673 // align 0x10

001b8680
001b8680Stdlib.Lexing.from_channel:
001b8680sub r15, 40
001b8684cmp r15, [r14]
001b8687jb 0x1b86d3
001b8689
001b8689loc_1b8689:
001b8689lea rdi, [r15+8]
001b868dmov [rdi-8], 4343
001b8695lea rsi, [rip-0xc167c]
001b869cmov [rdi], rsi
001b869fmov rsi, 0x200000000000007
001b86a9mov [rdi+8], rsi
001b86adlea rsi, [rip+44]
001b86b4mov [rdi+16], rsi
001b86b8mov [rdi+24], rbx
001b86bctest al, 1
001b86beje 0x1b86c8
001b86c0mov eax, 3
001b86c5jmp 0x1b86cb
001b86c7
001b86c7 90 .
001b86c8
001b86c8loc_1b86c8:
001b86c8mov rax, [rax]
001b86cb
001b86cbloc_1b86cb:
001b86cbmov rbx, rdi
001b86cejmp 0x1b84f0
001b86d3
001b86d3loc_1b86d3:
001b86d3call caml_call_gc
001b86d8jmp 0x1b8689
001b8680

001b86da
001b86da // align 0x10

001b86e0
001b86e0Stdlib.Lexing.fun:
001b86e0mov rdx, rax
001b86e3mov rsi, rbx
001b86e6mov ecx, 1
001b86ebmov rax, [rdi+24]
001b86efmov rbx, rdx
001b86f2mov rdi, rcx
001b86f5jmp 0x196630
001b86e0

001b86fa
001b86fa // align 0x10

001b8700
001b8700Stdlib.Lexing.from_string_inner:
001b8700lea r10, [rsp-328]
001b8708cmp r10, [r14+40]
001b870cjb 0x1b87f4
001b8712
001b8712loc_1b8712:
001b8712sub rsp, 8
001b8716mov [rsp], rax
001b871amov rax, rbx
001b871dcall Stdlib.Bytes.copy
001b8722mov rbx, [rsp]
001b8726cmp rbx, 1
001b872aje 0x1b8738
001b872clea rdi, [rip+0x18c4bd]
001b8733jmp 0x1b873f
001b8735
001b8735 0f 1f 00 ...
001b8738
001b8738loc_1b8738:
001b8738lea rdi, [rip+0x18c509]
001b873f
001b873floc_1b873f:
001b873fcmp rbx, 1
001b8743je 0x1b8750
001b8745lea rbx, [rip+0x18c4a4]
001b874cjmp 0x1b8757
001b874e
001b874e 66 90 f.
001b8750
001b8750loc_1b8750:
001b8750lea rbx, [rip+0x18c4f1]
001b8757
001b8757loc_1b8757:
001b8757sub r15, 104
001b875bcmp r15, [r14]
001b875ejb 0x1b87ea
001b8764
001b8764loc_1b8764:
001b8764lea rsi, [r15+8]
001b8768mov [rsi-8], 12288
001b8770lea rdx, [rip+0x18c149]
001b8777mov [rsi], rdx
001b877amov [rsi+8], rax
001b877emov rdx, [rax-8]
001b8782shr rdx, 10
001b8786lea rdx, [8*rdx-1]
001b878emovzx rax, [rax+rdx]
001b8793sub rdx, rax
001b8796lea rax, [rdx+rdx+1]
001b879bmov [rsi+16], rax
001b879fmov [rsi+24], 1
001b87a7mov [rsi+32], 1
001b87afmov [rsi+40], 1
001b87b7mov [rsi+48], 1
001b87bfmov [rsi+56], 1
001b87c7mov [rsi+64], 3
001b87cflea rax, [rip+0x18c412]
001b87d6mov [rsi+72], rax
001b87damov [rsi+80], rbx
001b87demov [rsi+88], rdi
001b87e2mov rax, rsi
001b87e5add rsp, 8
001b87e9ret
001b87ea
001b87ealoc_1b87ea:
001b87eacall caml_call_gc
001b87efjmp 0x1b8764
001b87f4
001b87f4loc_1b87f4:
001b87f4push 34
001b87f6call caml_call_realloc_stack
001b87fbpop r10
001b87fdjmp 0x1b8712
001b8700

001b8802
001b8802 // align 0x10

001b8810
001b8810Stdlib.Lexing.from_string:
001b8810test al, 1
001b8812je 0x1b881c
001b8814mov eax, 3
001b8819jmp 0x1b881f
001b881b
001b881b 90 .
001b881c
001b881cloc_1b881c:
001b881cmov rax, [rax]
001b881f
001b881floc_1b881f:
001b881fjmp 0x1b8700
001b8810

001b8824
001b8824 // align 0x10

001b8830
001b8830Stdlib.Lexing.fun:
001b8830mov [rax+64], 3
001b8838mov eax, 1
001b883dret
001b8830

001b883e
001b883e // align 0x10

001b8840
001b8840Stdlib.Lexing.set_position:
001b8840mov r13, rax
001b8843mov r12, rbx
001b8846sub r15, 40
001b884acmp r15, [r14]
001b884djb 0x1b88a5
001b884f
001b884floc_1b884f:
001b884flea rsi, [r15+8]
001b8853mov [rsi-8], 4096
001b885bmov rax, [r13+88]
001b885fmov rax, [rax]
001b8862mov [rsi], rax
001b8865mov rax, [r12+8]
001b886amov [rsi+8], rax
001b886emov rax, [r12+16]
001b8873mov [rsi+16], rax
001b8877mov rax, [r12+24]
001b887cmov [rsi+24], rax
001b8880mov rdi, r13
001b8883add rdi, 88
001b8887mov rbx, rsp
001b888amov rsp, [r14+64]
001b888ecall caml_modify
001b8893mov rsp, rbx
001b8896mov rax, [r12+24]
001b889bmov [r13+24], rax
001b889fmov eax, 1
001b88a4ret
001b88a5
001b88a5loc_1b88a5:
001b88a5call caml_call_gc
001b88aajmp 0x1b884f
001b8840

001b88ac
001b88ac // align 0x10

001b88b0
001b88b0Stdlib.Lexing.set_filename:
001b88b0mov rdi, [rax+88]
001b88b4sub r15, 40
001b88b8cmp r15, [r14]
001b88bbjb 0x1b8900
001b88bd
001b88bdloc_1b88bd:
001b88bdlea rsi, [r15+8]
001b88c1mov [rsi-8], 4096
001b88c9mov [rsi], rbx
001b88ccmov rbx, [rdi+8]
001b88d0mov [rsi+8], rbx
001b88d4mov rbx, [rdi+16]
001b88d8mov [rsi+16], rbx
001b88dcmov rbx, [rdi+24]
001b88e0mov [rsi+24], rbx
001b88e4add rax, 88
001b88e8mov rdi, rax
001b88ebmov rbx, rsp
001b88eemov rsp, [r14+64]
001b88f2call caml_modify
001b88f7mov rsp, rbx
001b88famov eax, 1
001b88ffret
001b8900
001b8900loc_1b8900:
001b8900call caml_call_gc
001b8905jmp 0x1b88bd
001b88b0

001b8907
001b8907 // align 0x10

001b8910
001b8910Stdlib.Lexing.with_positions:
001b8910lea rbx, [rip+0x18c331]
001b8917mov rax, [rax+88]
001b891bcmp rax, rbx
001b891esetne al
001b8921movzx rax, al
001b8925lea rax, [rax+rax+1]
001b892aret
001b8910

001b892b
001b892b // align 0x10

001b8930
001b8930Stdlib.Lexing.lexeme:
001b8930mov rbx, [rax+32]
001b8934mov rdi, [rax+40]
001b8938sub rdi, rbx
001b893binc rdi
001b893emov rax, [rax+8]
001b8942jmp 0x1a63e0
001b8930

001b8947
001b8947 // align 0x10

001b8950
001b8950Stdlib.Lexing.sub_lexeme:
001b8950sub rdi, rbx
001b8953inc rdi
001b8956mov rax, [rax+8]
001b895ajmp 0x1a63e0
001b8950

001b895f
001b895f // align 0x10

001b8960
001b8960Stdlib.Lexing.sub_lexeme_opt:
001b8960lea r10, [rsp-320]
001b8968cmp r10, [r14+40]
001b896cjb 0x1b89ad
001b896e
001b896eloc_1b896e:
001b896ecmp rbx, 1
001b8972jl 0x1b89a0
001b8974sub rdi, rbx
001b8977inc rdi
001b897amov rax, [rax+8]
001b897ecall Stdlib.Bytes.sub
001b8983sub r15, 16
001b8987cmp r15, [r14]
001b898ajb 0x1b89a6
001b898c
001b898cloc_1b898c:
001b898clea rbx, [r15+8]
001b8990mov [rbx-8], 1024
001b8998mov [rbx], rax
001b899bmov rax, rbx
001b899eret
001b899f
001b899f 90 .
001b89a0
001b89a0loc_1b89a0:
001b89a0mov eax, 1
001b89a5ret
001b89a6
001b89a6loc_1b89a6:
001b89a6call caml_call_gc
001b89abjmp 0x1b898c
001b89ad
001b89adloc_1b89ad:
001b89adpush 33
001b89afcall caml_call_realloc_stack
001b89b4pop r10
001b89b6jmp 0x1b896e
001b8960

001b89b8
001b89b8 // align 0x10

001b89c0
001b89c0Stdlib.Lexing.sub_lexeme_char:
001b89c0sar rbx, 1
001b89c3mov rax, [rax+8]
001b89c7mov rdi, [rax-8]
001b89cbshr rdi, 10
001b89cflea rdi, [8*rdi-1]
001b89d7movzx rsi, [rax+rdi]
001b89dcsub rdi, rsi
001b89dfcmp rdi, rbx
001b89e2jbe 0x1b89ef
001b89e4movzx rax, [rax+rbx]
001b89e9lea rax, [rax+rax+1]
001b89eeret
001b89ef
001b89efloc_1b89ef:
001b89efcall caml_ml_array_bound_error
001b89c0

001b89f4
001b89f4 // align 0x10

001b8a00
001b8a00Stdlib.Lexing.sub_lexeme_char_opt:
001b8a00cmp rbx, 1
001b8a04jl 0x1b8a50
001b8a06sub r15, 16
001b8a0acmp r15, [r14]
001b8a0djb 0x1b8a56
001b8a0f
001b8a0floc_1b8a0f:
001b8a0flea rdi, [r15+8]
001b8a13mov [rdi-8], 1024
001b8a1bsar rbx, 1
001b8a1emov rax, [rax+8]
001b8a22mov rsi, [rax-8]
001b8a26shr rsi, 10
001b8a2alea rsi, [8*rsi-1]
001b8a32movzx rdx, [rax+rsi]
001b8a37sub rsi, rdx
001b8a3acmp rsi, rbx
001b8a3djbe 0x1b8a5d
001b8a3fmovzx rax, [rax+rbx]
001b8a44lea rax, [rax+rax+1]
001b8a49mov [rdi], rax
001b8a4cmov rax, rdi
001b8a4fret
001b8a50
001b8a50loc_1b8a50:
001b8a50mov eax, 1
001b8a55ret
001b8a56
001b8a56loc_1b8a56:
001b8a56call caml_call_gc
001b8a5bjmp 0x1b8a0f
001b8a5d
001b8a5dloc_1b8a5d:
001b8a5dcall caml_ml_array_bound_error
001b8a00

001b8a62
001b8a62 // align 0x10

001b8a70
001b8a70Stdlib.Lexing.lexeme_char:
001b8a70mov rdi, [rax+32]
001b8a74lea rbx, [rdi+rbx-1]
001b8a79sar rbx, 1
001b8a7cmov rax, [rax+8]
001b8a80mov rdi, [rax-8]
001b8a84shr rdi, 10
001b8a88lea rdi, [8*rdi-1]
001b8a90movzx rsi, [rax+rdi]
001b8a95sub rdi, rsi
001b8a98cmp rdi, rbx
001b8a9bjbe 0x1b8aa8
001b8a9dmovzx rax, [rax+rbx]
001b8aa2lea rax, [rax+rax+1]
001b8aa7ret
001b8aa8
001b8aa8loc_1b8aa8:
001b8aa8call caml_ml_array_bound_error
001b8a70

001b8aad
001b8aad // align 0x10

001b8ab0
001b8ab0Stdlib.Lexing.lexeme_start:
001b8ab0mov rax, [rax+80]
001b8ab4mov rax, [rax+24]
001b8ab8ret
001b8ab0

001b8ab9
001b8ab9 // align 0x10

001b8ac0
001b8ac0Stdlib.Lexing.lexeme_end:
001b8ac0mov rax, [rax+88]
001b8ac4mov rax, [rax+24]
001b8ac8ret
001b8ac0

001b8ac9
001b8ac9 // align 0x10

001b8ad0
001b8ad0Stdlib.Lexing.lexeme_start_p:
001b8ad0mov rax, [rax+80]
001b8ad4ret
001b8ad0

001b8ad5
001b8ad5 // align 0x10

001b8ae0
001b8ae0Stdlib.Lexing.lexeme_end_p:
001b8ae0mov rax, [rax+88]
001b8ae4ret
001b8ae0

001b8ae5
001b8ae5 // align 0x10

001b8af0
001b8af0Stdlib.Lexing.new_line:
001b8af0mov rbx, [rax+88]
001b8af4lea rdi, [rip+0x18c14d]
001b8afbcmp rbx, rdi
001b8afeje 0x1b8b50
001b8b00sub r15, 40
001b8b04cmp r15, [r14]
001b8b07jb 0x1b8b56
001b8b09
001b8b09loc_1b8b09:
001b8b09lea rsi, [r15+8]
001b8b0dmov [rsi-8], 4096
001b8b15mov rdi, [rbx]
001b8b18mov [rsi], rdi
001b8b1bmov rdi, [rbx+8]
001b8b1fadd rdi, 2
001b8b23mov [rsi+8], rdi
001b8b27mov rbx, [rbx+24]
001b8b2bmov [rsi+16], rbx
001b8b2fmov [rsi+24], rbx
001b8b33add rax, 88
001b8b37mov rdi, rax
001b8b3amov rbx, rsp
001b8b3dmov rsp, [r14+64]
001b8b41call caml_modify
001b8b46mov rsp, rbx
001b8b49mov eax, 1
001b8b4eret
001b8b4f
001b8b4f 90 .
001b8b50
001b8b50loc_1b8b50:
001b8b50mov eax, 1
001b8b55ret
001b8b56
001b8b56loc_1b8b56:
001b8b56call caml_call_gc
001b8b5bjmp 0x1b8b09
001b8af0

001b8b5d
001b8b5d // align 0x10

001b8b60
001b8b60Stdlib.Lexing.flush_input:
001b8b60mov r12, rax
001b8b63mov [r12+40], 1
001b8b6cmov [r12+24], 1
001b8b75mov rax, [r12+88]
001b8b7alea rbx, [rip+0x18c0c7]
001b8b81cmp rax, rbx
001b8b84je 0x1b8bcf
001b8b86sub r15, 40
001b8b8acmp r15, [r14]
001b8b8djb 0x1b8bde
001b8b8f
001b8b8floc_1b8b8f:
001b8b8flea rsi, [r15+8]
001b8b93mov [rsi-8], 4096
001b8b9bmov rax, [rax]
001b8b9emov [rsi], rax
001b8ba1mov [rsi+8], 3
001b8ba9mov [rsi+16], 1
001b8bb1mov [rsi+24], 1
001b8bb9mov rdi, r12
001b8bbcadd rdi, 88
001b8bc0mov rbx, rsp
001b8bc3mov rsp, [r14+64]
001b8bc7call caml_modify
001b8bccmov rsp, rbx
001b8bcf
001b8bcfloc_1b8bcf:
001b8bcfmov [r12+16], 1
001b8bd8mov eax, 1
001b8bddret
001b8bde
001b8bdeloc_1b8bde:
001b8bdecall caml_call_gc
001b8be3jmp 0x1b8b8f
001b8b60

001b8be5
001b8be5 // align 0x10

001b8bf0
001b8bf0Stdlib.Lexing.entry:
001b8bf0lea rsi, [rip+0x18c051]
001b8bf7lea rdi, [rip+0x18bf1a]
001b8bfemov rbx, rsp
001b8c01mov rsp, [r14+64]
001b8c05call caml_initialize
001b8c0amov rsp, rbx
001b8c0dlea rsi, [rip+0x18bcc4]
001b8c14lea rdi, [rip+0x18befd]
001b8c1badd rdi, 152
001b8c22mov rbx, rsp
001b8c25mov rsp, [r14+64]
001b8c29call caml_initialize
001b8c2emov rsp, rbx
001b8c31lea rsi, [rip+0x18bcc0]
001b8c38lea rdi, [rip+0x18bed9]
001b8c3fadd rdi, 160
001b8c46mov rbx, rsp
001b8c49mov rsp, [r14+64]
001b8c4dcall caml_initialize
001b8c52mov rsp, rbx
001b8c55lea rsi, [rip+0x18bcbc]
001b8c5clea rdi, [rip+0x18beb5]
001b8c63add rdi, 168
001b8c6amov rbx, rsp
001b8c6dmov rsp, [r14+64]
001b8c71call caml_initialize
001b8c76mov rsp, rbx
001b8c79lea rsi, [rip+0x18bf70]
001b8c80lea rdi, [rip+0x18be91]
001b8c87add rdi, 176
001b8c8emov rbx, rsp
001b8c91mov rsp, [r14+64]
001b8c95call caml_initialize
001b8c9amov rsp, rbx
001b8c9dlea rsi, [rip+0x18bc94]
001b8ca4lea rdi, [rip+0x18be6d]
001b8cabadd rdi, 24
001b8cafmov rbx, rsp
001b8cb2mov rsp, [r14+64]
001b8cb6call caml_initialize
001b8cbbmov rsp, rbx
001b8cbelea rsi, [rip+0x18bcb3]
001b8cc5lea rdi, [rip+0x18be4c]
001b8cccadd rdi, 8
001b8cd0mov rbx, rsp
001b8cd3mov rsp, [r14+64]
001b8cd7call caml_initialize
001b8cdcmov rsp, rbx
001b8cdflea rsi, [rip+0x18bcb2]
001b8ce6lea rdi, [rip+0x18be2b]
001b8cedadd rdi, 16
001b8cf1mov rbx, rsp
001b8cf4mov rsp, [r14+64]
001b8cf8call caml_initialize
001b8cfdmov rsp, rbx
001b8d00lea rsi, [rip+0x18bcd1]
001b8d07lea rdi, [rip+0x18be0a]
001b8d0eadd rdi, 32
001b8d12mov rbx, rsp
001b8d15mov rsp, [r14+64]
001b8d19call caml_initialize
001b8d1emov rsp, rbx
001b8d21lea rsi, [rip+0x18bcd0]
001b8d28lea rdi, [rip+0x18bde9]
001b8d2fadd rdi, 40
001b8d33mov rbx, rsp
001b8d36mov rsp, [r14+64]
001b8d3acall caml_initialize
001b8d3fmov rsp, rbx
001b8d42lea rsi, [rip+0x18bccf]
001b8d49lea rdi, [rip+0x18bdc8]
001b8d50add rdi, 48
001b8d54mov rbx, rsp
001b8d57mov rsp, [r14+64]
001b8d5bcall caml_initialize
001b8d60mov rsp, rbx
001b8d63lea rsi, [rip+0x18bcc6]
001b8d6alea rdi, [rip+0x18bda7]
001b8d71add rdi, 56
001b8d75mov rbx, rsp
001b8d78mov rsp, [r14+64]
001b8d7ccall caml_initialize
001b8d81mov rsp, rbx
001b8d84lea rsi, [rip+0x18bcbd]
001b8d8blea rdi, [rip+0x18bd86]
001b8d92add rdi, 120
001b8d96mov rbx, rsp
001b8d99mov rsp, [r14+64]
001b8d9dcall caml_initialize
001b8da2mov rsp, rbx
001b8da5lea rsi, [rip+0x18bcbc]
001b8daclea rdi, [rip+0x18bd65]
001b8db3add rdi, 128
001b8dbamov rbx, rsp
001b8dbdmov rsp, [r14+64]
001b8dc1call caml_initialize
001b8dc6mov rsp, rbx
001b8dc9lea rsi, [rip+0x18bcb8]
001b8dd0lea rdi, [rip+0x18bd41]
001b8dd7add rdi, 136
001b8ddemov rbx, rsp
001b8de1mov rsp, [r14+64]
001b8de5call caml_initialize
001b8deamov rsp, rbx
001b8dedlea rsi, [rip+0x18bcb4]
001b8df4lea rdi, [rip+0x18bd1d]
001b8dfbadd rdi, 144
001b8e02mov rbx, rsp
001b8e05mov rsp, [r14+64]
001b8e09call caml_initialize
001b8e0emov rsp, rbx
001b8e11lea rsi, [rip+0x18bcb0]
001b8e18lea rdi, [rip+0x18bcf9]
001b8e1fadd rdi, 64
001b8e23mov rbx, rsp
001b8e26mov rsp, [r14+64]
001b8e2acall caml_initialize
001b8e2fmov rsp, rbx
001b8e32lea rsi, [rip+0x18bcaf]
001b8e39lea rdi, [rip+0x18bcd8]
001b8e40add rdi, 72
001b8e44mov rbx, rsp
001b8e47mov rsp, [r14+64]
001b8e4bcall caml_initialize
001b8e50mov rsp, rbx
001b8e53lea rsi, [rip+0x18bca6]
001b8e5alea rdi, [rip+0x18bcb7]
001b8e61add rdi, 80
001b8e65mov rbx, rsp
001b8e68mov rsp, [r14+64]
001b8e6ccall caml_initialize
001b8e71mov rsp, rbx
001b8e74lea rsi, [rip+0x18b9e5]
001b8e7blea rdi, [rip+0x18bc96]
001b8e82add rdi, 88
001b8e86mov rbx, rsp
001b8e89mov rsp, [r14+64]
001b8e8dcall caml_initialize
001b8e92mov rsp, rbx
001b8e95lea rsi, [rip+0x18b9dc]
001b8e9clea rdi, [rip+0x18bc75]
001b8ea3add rdi, 96
001b8ea7mov rbx, rsp
001b8eaamov rsp, [r14+64]
001b8eaecall caml_initialize
001b8eb3mov rsp, rbx
001b8eb6lea rsi, [rip+0x18b9d3]
001b8ebdlea rdi, [rip+0x18bc54]
001b8ec4add rdi, 104
001b8ec8mov rbx, rsp
001b8ecbmov rsp, [r14+64]
001b8ecfcall caml_initialize
001b8ed4mov rsp, rbx
001b8ed7lea rsi, [rip+0x18b9ca]
001b8edelea rdi, [rip+0x18bc33]
001b8ee5add rdi, 112
001b8ee9mov rbx, rsp
001b8eecmov rsp, [r14+64]
001b8ef0call caml_initialize
001b8ef5mov rsp, rbx
001b8ef8mov eax, 1
001b8efdret
001b8bf0

001b8efe
001b8efe // align 0x10

001b8f00
001b8f00Stdlib.Set.fun:
001b8f00lea r10, [rsp-320]
001b8f08cmp r10, [r14+40]
001b8f0cjb 0x1b9152
001b8f12
001b8f12loc_1b8f12:
001b8f12call Stdlib.Set.Make
001b8f17mov rbx, rax
001b8f1asub r15, 352
001b8f21cmp r15, [r14]
001b8f24jb 0x1b9148
001b8f2a
001b8f2aloc_1b8f2a:
001b8f2alea rax, [r15+8]
001b8f2emov [rax-8], 44032
001b8f36mov [rax], 1
001b8f3dmov rdi, [rbx+24]
001b8f41mov [rax+8], rdi
001b8f45mov rdi, [rbx+32]
001b8f49mov [rax+16], rdi
001b8f4dmov rdi, [rbx+152]
001b8f54mov [rax+24], rdi
001b8f58mov rdi, [rbx+160]
001b8f5fmov [rax+32], rdi
001b8f63mov rdi, [rbx+168]
001b8f6amov [rax+40], rdi
001b8f6emov rdi, [rbx+184]
001b8f75mov [rax+48], rdi
001b8f79mov rdi, [rbx+192]
001b8f80mov [rax+56], rdi
001b8f84mov rdi, [rbx+288]
001b8f8bmov [rax+64], rdi
001b8f8fmov rdi, [rbx+304]
001b8f96mov [rax+72], rdi
001b8f9amov rdi, [rbx+64]
001b8f9emov [rax+80], rdi
001b8fa2mov rdi, [rbx+72]
001b8fa6mov [rax+88], rdi
001b8faamov rdi, [rbx+80]
001b8faemov [rax+96], rdi
001b8fb2mov rdi, [rbx+88]
001b8fb6mov [rax+104], rdi
001b8fbamov rdi, [rbx+312]
001b8fc1mov [rax+112], rdi
001b8fc5mov rdi, [rbx+320]
001b8fccmov [rax+120], rdi
001b8fd0mov rdi, [rbx+328]
001b8fd7mov [rax+128], rdi
001b8fdemov rdi, [rbx+400]
001b8fe5mov [rax+136], rdi
001b8fecmov rdi, [rbx+344]
001b8ff3mov [rax+144], rdi
001b8ffamov rdi, [rbx+360]
001b9001mov [rax+152], rdi
001b9008mov rdi, [rbx+376]
001b900fmov [rax+160], rdi
001b9016mov rdi, [rbx+392]
001b901dmov [rax+168], rdi
001b9024mov rdi, [rbx+240]
001b902bmov [rax+176], rdi
001b9032mov rdi, [rbx+248]
001b9039mov [rax+184], rdi
001b9040mov rdi, [rbx+416]
001b9047mov [rax+192], rdi
001b904emov rdi, [rbx+272]
001b9055mov [rax+200], rdi
001b905cmov rdi, [rbx+432]
001b9063mov [rax+208], rdi
001b906amov rdi, [rbx+280]
001b9071mov [rax+216], rdi
001b9078mov rdi, [rbx+120]
001b907cmov [rax+224], rdi
001b9083mov rdi, [rbx+136]
001b908amov [rax+232], rdi
001b9091mov rdi, [rbx+144]
001b9098mov [rax+240], rdi
001b909fmov rdi, [rbx+224]
001b90a6mov [rax+248], rdi
001b90admov rdi, [rbx+216]
001b90b4mov [rax+256], rdi
001b90bbmov rdi, [rbx+232]
001b90c2mov [rax+264], rdi
001b90c9mov rdi, [rbx+256]
001b90d0mov [rax+272], rdi
001b90d7mov rdi, [rbx+264]
001b90demov [rax+280], rdi
001b90e5mov rdi, [rbx+448]
001b90ecmov [rax+288], rdi
001b90f3mov rdi, [rbx+456]
001b90famov [rax+296], rdi
001b9101mov rdi, [rbx+520]
001b9108mov [rax+304], rdi
001b910fmov rdi, [rbx+488]
001b9116mov [rax+312], rdi
001b911dmov rdi, [rbx+512]
001b9124mov [rax+320], rdi
001b912bmov rdi, [rbx+464]
001b9132mov [rax+328], rdi
001b9139mov rbx, [rbx+472]
001b9140mov [rax+336], rbx
001b9147ret
001b9148
001b9148loc_1b9148:
001b9148call caml_call_gc
001b914djmp 0x1b8f2a
001b9152
001b9152loc_1b9152:
001b9152push 33
001b9154call caml_call_realloc_stack
001b9159pop r10
001b915bjmp 0x1b8f12
001b8f00

001b9160
001b9160Stdlib.Set.Make:
001b9160lea r10, [rsp-744]
001b9168cmp r10, [r14+40]
001b916cjb 0x1b9cb3
001b9172
001b9172loc_1b9172:
001b9172sub rsp, 424
001b9179mov [rsp+8], rax
001b917elea rbx, [rip+0x18c56b]
001b9185mov [rsp+24], rbx
001b918alea rbx, [rip+0x18c53f]
001b9191mov [rsp+32], rbx
001b9196lea rdi, [rip+0x18c513]
001b919dmov [rsp+40], rdi
001b91a2sub r15, 1816
001b91a9cmp r15, [r14]
001b91acjb 0x1b9ca9
001b91b2
001b91b2loc_1b91b2:
001b91b2lea rbx, [r15+8]
001b91b6add rbx, 1768
001b91bdmov [rsp+16], rbx
001b91c2mov [rbx-8], 5367
001b91calea rsi, [rip-0xc21b1]
001b91d1mov [rsp], rsi
001b91d5mov [rbx], rsi
001b91d8mov rsi, 0x200000000000007
001b91e2mov [rbx+8], rsi
001b91e6lea rsi, [rip+3539]
001b91edmov [rbx+16], rsi
001b91f1mov [rbx+24], rdi
001b91f5mov [rbx+32], rax
001b91f9lea rax, [rip+0x18c498]
001b9200mov [rsp+48], rax
001b9205lea rax, [rip+0x18c46c]
001b920cmov [rsp+56], rax
001b9211lea rax, [rip+0x18c440]
001b9218mov [rsp+64], rax
001b921dlea rdx, [rip+0x18c414]
001b9224mov [rsp+72], rdx
001b9229lea rax, [rip+0x18c3f0]
001b9230mov [rsp+80], rax
001b9235lea rax, [rip+0x18c3cc]
001b923cmov [rsp+88], rax
001b9241lea rax, [rip+0x18c3a8]
001b9248mov [rsp+96], rax
001b924dlea rax, [rip+0x18c384]
001b9254mov [rsp+104], rax
001b9259lea rax, [rip+0x18c360]
001b9260mov [rsp+112], rax
001b9265lea rsi, [rip+0x18c334]
001b926cmov [rsp+120], rsi
001b9271lea rax, [rip+0x18c308]
001b9278mov [rsp+128], rax
001b9280lea rax, [rbx-48]
001b9284mov [rsp+136], rax
001b928cmov [rax-8], 5367
001b9294mov rdi, [rsp]
001b9298mov [rax], rdi
001b929bmov rcx, 0x200000000000007
001b92a5mov [rax+8], rcx
001b92a9lea rcx, [rip+4720]
001b92b0mov [rax+16], rcx
001b92b4mov [rax+24], rdx
001b92b8mov rcx, [rsp+8]
001b92bdmov [rax+32], rcx
001b92c1lea r8, [rip+0x18c2a0]
001b92c8mov [rsp+144], r8
001b92d0lea r8, [rax-40]
001b92d4mov [rsp+152], r8
001b92dcmov [r8-8], 4343
001b92e4mov [r8], rdi
001b92e7mov r9, 0x200000000000007
001b92f1mov [r8+8], r9
001b92f5lea r9, [rip+5060]
001b92fcmov [r8+16], r9
001b9300mov [r8+24], rcx
001b9304add r8, -56
001b9308mov [rsp+160], r8
001b9310mov [r8-8], 6391
001b9318mov [r8], rdi
001b931bmov r9, 0x200000000000007
001b9325mov [r8+8], r9
001b9329lea r9, [rip+5152]
001b9330mov [r8+16], r9
001b9334mov r9, [rsp+40]
001b9339mov [r8+24], r9
001b933dmov [r8+32], rsi
001b9341mov [r8+40], rcx
001b9345lea rsi, [r8-56]
001b9349mov [rsp+168], rsi
001b9351mov [rsi-8], 6391
001b9359mov [rsi], rdi
001b935cmov r8, 0x200000000000007
001b9366mov [rsi+8], r8
001b936alea r8, [rip+5359]
001b9371mov [rsi+16], r8
001b9375mov [rsi+24], rbx
001b9379mov [rsi+32], rdx
001b937dmov [rsi+40], rax
001b9381add rsi, -56
001b9385mov [rsp+176], rsi
001b938dmov [rsi-8], 6391
001b9395mov [rsi], rdi
001b9398mov rbx, 0x200000000000007
001b93a2mov [rsi+8], rbx
001b93a6lea rbx, [rip+5651]
001b93admov [rsi+16], rbx
001b93b1mov [rsi+24], rdx
001b93b5mov rbx, [rsp+128]
001b93bdmov [rsi+32], rbx
001b93c1mov [rsi+40], rax
001b93c5add rsi, -48
001b93c9mov [rsp+184], rsi
001b93d1mov [rsi-8], 5367
001b93d9mov [rsi], rdi
001b93dcmov r8, 0x200000000000007
001b93e6mov [rsi+8], r8
001b93ealea r8, [rip+5839]
001b93f1mov [rsi+16], r8
001b93f5mov [rsi+24], rdx
001b93f9mov [rsi+32], rcx
001b93fdlea r8, [rsi-40]
001b9401mov [rsp+192], r8
001b9409mov [r8-8], 4343
001b9411mov [r8], rdi
001b9414mov r9, 0x200000000000007
001b941emov [r8+8], r9
001b9422lea r9, [rip+6343]
001b9429mov [r8+16], r9
001b942dmov [r8+24], rsi
001b9431lea rsi, [r8-56]
001b9435mov [rsp+200], rsi
001b943dmov [rsi-8], 6391
001b9445mov [rsi], rdi
001b9448mov r8, 0x200000000000007
001b9452mov [rsi+8], r8
001b9456lea r8, [rip+6515]
001b945dmov [rsi+16], r8
001b9461mov [rsi+24], rdx
001b9465mov [rsi+32], rbx
001b9469mov [rsi+40], rax
001b946dlea rax, [rip+0x18c0d4]
001b9474mov [rsp], rax
001b9478lea rbx, [rsi-48]
001b947cmov [rsp+208], rbx
001b9484mov [rbx-8], 5367
001b948cmov [rbx], rdi
001b948fmov rsi, 0x200000000000007
001b9499mov [rbx+8], rsi
001b949dlea rsi, [rip+6748]
001b94a4mov [rbx+16], rsi
001b94a8mov [rbx+24], rax
001b94acmov [rbx+32], rcx
001b94b0lea rsi, [rbx-48]
001b94b4mov [rsp+216], rsi
001b94bcmov [rsi-8], 5367
001b94c4mov [rsi], rdi
001b94c7mov rdx, 0x200000000000007
001b94d1mov [rsi+8], rdx
001b94d5lea rdx, [rip+6900]
001b94dcmov [rsi+16], rdx
001b94e0mov [rsi+24], rax
001b94e4mov [rsi+32], rbx
001b94e8lea rax, [rsi-40]
001b94ecmov [rsp+224], rax
001b94f4mov [rax-8], 4343
001b94fcmov [rax], rdi
001b94ffmov rbx, 0x200000000000007
001b9509mov [rax+8], rbx
001b950dlea rbx, [rip+6940]
001b9514mov [rax+16], rbx
001b9518mov [rax+24], rsi
001b951cadd rax, -40
001b9520mov [rsp+232], rax
001b9528mov [rax-8], 4343
001b9530mov [rax], rdi
001b9533mov rbx, 0x200000000000007
001b953dmov [rax+8], rbx
001b9541lea rbx, [rip+6952]
001b9548mov [rax+16], rbx
001b954cmov [rax+24], rcx
001b9550lea rbx, [rip+0x18bfd1]
001b9557mov [rsp+240], rbx
001b955flea rbx, [rip+0x18bfa2]
001b9566mov [rsp+248], rbx
001b956elea rbx, [rip+0x18bf73]
001b9575mov [rsp+256], rbx
001b957dlea rbx, [rip+0x18bf44]
001b9584mov [rsp+264], rbx
001b958clea rbx, [rip+0x18bf15]
001b9593mov [rsp+272], rbx
001b959blea rbx, [rip+0x18bee6]
001b95a2mov [rsp+280], rbx
001b95aalea rbx, [rip+0x18bebf]
001b95b1mov [rsp+288], rbx
001b95b9lea rbx, [rip+0x18be90]
001b95c0mov [rsp+296], rbx
001b95c8lea rbx, [rip+0x18be69]
001b95cfmov [rsp+304], rbx
001b95d7add rax, -40
001b95dbmov [rsp+312], rax
001b95e3mov [rax-8], 4343
001b95ebmov [rax], rdi
001b95eemov rbx, 0x200000000000007
001b95f8mov [rax+8], rbx
001b95fclea rbx, [rip+8525]
001b9603mov [rax+16], rbx
001b9607mov r11, [rsp+8]
001b960cmov [rax+24], r11
001b9610lea rbx, [rip+0x18be01]
001b9617mov [rsp+8], rbx
001b961clea rbx, [rip+0x18bdd5]
001b9623mov [rsp+320], rbx
001b962blea rbx, [rip+0x18bda6]
001b9632mov [rsp+328], rbx
001b963alea rbx, [rip+0x18bd77]
001b9641mov [rsp+336], rbx
001b9649lea rbx, [rip+0x18bd48]
001b9650mov [rsp+344], rbx
001b9658lea rbx, [rip+0x18bd19]
001b965fmov [rsp+352], rbx
001b9667lea rbx, [rip+0x18bcea]
001b966emov [rsp+360], rbx
001b9676lea rbx, [rip+0x18bcbb]
001b967dmov [rsp+368], rbx
001b9685add rax, -40
001b9689mov [rsp+376], rax
001b9691mov [rax-8], 4343
001b9699mov [rax], rdi
001b969cmov rbx, 0x200000000000007
001b96a6mov [rax+8], rbx
001b96aalea rbx, [rip+9727]
001b96b1mov [rax+16], rbx
001b96b5mov [rax+24], r11
001b96b9add rax, -80
001b96bdmov [rsp+384], rax
001b96c5mov [rax-8], 9463
001b96cdlea rbx, [rip-0xc27a4]
001b96d4mov [rax], rbx
001b96d7mov rbx, 0x300000000000007
001b96e1mov [rax+8], rbx
001b96e5lea rbx, [rip+9876]
001b96ecmov [rax+16], rbx
001b96f0mov rbx, [rsp+16]
001b96f5mov [rax+24], rbx
001b96f9mov rbx, [rsp+72]
001b96femov [rax+32], rbx
001b9702mov rbx, [rsp+80]
001b9707mov [rax+40], rbx
001b970bmov rsi, [rsp+96]
001b9710mov [rax+48], rsi
001b9714mov rsi, [rsp+168]
001b971cmov [rax+56], rsi
001b9720mov [rax+64], r11
001b9724lea rsi, [rax-40]
001b9728mov [rsp+392], rsi
001b9730mov [rsi-8], 4343
001b9738mov [rsi], rdi
001b973bmov rdx, 0x200000000000007
001b9745mov [rsi+8], rdx
001b9749lea rdx, [rip+10000]
001b9750mov [rsi+16], rdx
001b9754mov [rsi+24], rax
001b9758add rsi, -56
001b975cmov [rsp+400], rsi
001b9764mov [rsi-8], 6391
001b976cmov [rsi], rdi
001b976fmov rdx, 0x200000000000007
001b9779mov [rsi+8], rdx
001b977dlea rdx, [rip+10188]
001b9784mov [rsi+16], rdx
001b9788mov [rsi+24], rbx
001b978cmov rbx, [rsp+112]
001b9791mov [rsi+32], rbx
001b9795mov [rsi+40], rax
001b9799lea rbx, [rsi-48]
001b979dmov [rsp+408], rbx
001b97a5mov [rbx-8], 5367
001b97admov [rbx], rdi
001b97b0mov rdx, 0x200000000000007
001b97bamov [rbx+8], rdx
001b97belea rdx, [rip+10251]
001b97c5mov [rbx+16], rdx
001b97c9mov [rbx+24], rax
001b97cdmov [rbx+32], rsi
001b97d1lea rax, [rip+0x18bb48]
001b97d8mov [rsp+416], rax
001b97e0lea rdx, [rbx-64]
001b97e4mov [rdx-8], 7415
001b97eclea rbx, [rip+11373]
001b97f3mov [rdx], rbx
001b97f6mov rbx, 0x100000000000005
001b9800mov [rdx+8], rbx
001b9804mov r13, [rsp+16]
001b9809mov [rdx+16], r13
001b980dmov rbx, [rsp+48]
001b9812mov [rdx+24], rbx
001b9816mov [rdx+32], 1
001b981emov [rdx+40], rax
001b9822mov [rdx+48], r11
001b9826lea r9, [rdx-40]
001b982amov [r9-8], 4343
001b9832mov [r9], rdi
001b9835mov rax, 0x200000000000007
001b983fmov [r9+8], rax
001b9843lea rax, [rip+11782]
001b984amov [r9+16], rax
001b984emov [r9+24], r13
001b9852lea r10, [r9-40]
001b9856mov [r10-8], 4343
001b985elea rax, [rip+11883]
001b9865mov [r10], rax
001b9868mov rax, 0x100000000000005
001b9872mov [r10+8], rax
001b9876mov [r10+16], 1
001b987emov [r10+24], r9
001b9882lea rsi, [r10-40]
001b9886mov [rsi-8], 4343
001b988emov [rsi], rdi
001b9891mov rax, 0x200000000000007
001b989bmov [rsi+8], rax
001b989flea rax, [rip+11834]
001b98a6mov [rsi+16], rax
001b98aamov rbp, [rsp]
001b98aemov [rsi+24], rbp
001b98b2lea r12, [rsi-40]
001b98b6mov [r12-8], 4343
001b98bflea rax, [rip+12010]
001b98c6mov [r12], rax
001b98camov rax, 0x100000000000005
001b98d4mov [r12+8], rax
001b98d9mov [r12+16], rbp
001b98demov [r12+24], rsi
001b98e3lea rax, [rip+0x18ba16]
001b98eamov [rsp], rax
001b98eelea rcx, [r12-40]
001b98f3mov [rcx-8], 4343
001b98fbmov [rcx], rdi
001b98femov rax, 0x200000000000007
001b9908mov [rcx+8], rax
001b990clea rax, [rip+12157]
001b9913mov [rcx+16], rax
001b9917mov rax, [rsp]
001b991bmov [rcx+24], rax
001b991flea r8, [rcx-40]
001b9923mov [r8-8], 4343
001b992blea rax, [rip+12334]
001b9932mov [r8], rax
001b9935mov rax, 0x100000000000005
001b993fmov [r8+8], rax
001b9943mov rax, [rsp]
001b9947mov [r8+16], rax
001b994bmov [r8+24], rcx
001b994flea rbx, [r8-48]
001b9953mov [rbx-8], 5367
001b995bmov [rbx], rdi
001b995emov rax, 0x200000000000007
001b9968mov [rbx+8], rax
001b996clea rax, [rip+12429]
001b9973mov [rbx+16], rax
001b9977mov [rbx+24], rsi
001b997bmov [rbx+32], r11
001b997flea rax, [rbx-536]
001b9986mov [rax-8], 0x10800
001b998emov rdi, [rsp+24]
001b9993mov [rax], rdi
001b9996mov rdi, [rsp+32]
001b999bmov [rax+8], rdi
001b999fmov rdi, [rsp+40]
001b99a4mov [rax+16], rdi
001b99a8mov [rax+24], r13
001b99acmov rdi, [rsp+48]
001b99b1mov [rax+32], rdi
001b99b5mov rdi, [rsp+56]
001b99bamov [rax+40], rdi
001b99bemov rdi, [rsp+64]
001b99c3mov [rax+48], rdi
001b99c7mov rdi, [rsp+72]
001b99ccmov [rax+56], rdi
001b99d0mov r13, [rsp+80]
001b99d5mov [rax+64], r13
001b99d9mov r11, [rsp+88]
001b99demov [rax+72], r11
001b99e2mov rdi, [rsp+96]
001b99e7mov [rax+80], rdi
001b99ebmov rdi, [rsp+104]
001b99f0mov [rax+88], rdi
001b99f4mov rdi, [rsp+112]
001b99f9mov [rax+96], rdi
001b99fdmov rdi, [rsp+120]
001b9a02mov [rax+104], rdi
001b9a06mov rdi, [rsp+128]
001b9a0emov [rax+112], rdi
001b9a12mov rdi, [rsp+136]
001b9a1amov [rax+120], rdi
001b9a1emov [rax+128], 1
001b9a29mov rdi, [rsp+144]
001b9a31mov [rax+136], rdi
001b9a38mov rdi, [rsp+152]
001b9a40mov [rax+144], rdi
001b9a47mov rdi, [rsp+160]
001b9a4fmov [rax+152], rdi
001b9a56mov rdi, [rsp+168]
001b9a5emov [rax+160], rdi
001b9a65mov rdi, [rsp+176]
001b9a6dmov [rax+168], rdi
001b9a74mov rdi, [rsp+184]
001b9a7cmov [rax+176], rdi
001b9a83mov rdi, [rsp+192]
001b9a8bmov [rax+184], rdi
001b9a92mov rdi, [rsp+200]
001b9a9amov [rax+192], rdi
001b9aa1mov [rax+200], rbp
001b9aa8mov rdi, [rsp+208]
001b9ab0mov [rax+208], rdi
001b9ab7mov rdi, [rsp+216]
001b9abfmov [rax+216], rdi
001b9ac6mov rdi, [rsp+224]
001b9acemov [rax+224], rdi
001b9ad5mov rdi, [rsp+232]
001b9addmov [rax+232], rdi
001b9ae4mov rdi, [rsp+240]
001b9aecmov [rax+240], rdi
001b9af3mov rdi, [rsp+248]
001b9afbmov [rax+248], rdi
001b9b02mov rdi, [rsp+256]
001b9b0amov [rax+256], rdi
001b9b11mov rdi, [rsp+264]
001b9b19mov [rax+264], rdi
001b9b20mov rdi, [rsp+272]
001b9b28mov [rax+272], rdi
001b9b2fmov rdi, [rsp+280]
001b9b37mov [rax+280], rdi
001b9b3emov rdi, [rsp+288]
001b9b46mov [rax+288], rdi
001b9b4dmov rdi, [rsp+296]
001b9b55mov [rax+296], rdi
001b9b5cmov rdi, [rsp+304]
001b9b64mov [rax+304], rdi
001b9b6bmov [rax+312], r13
001b9b72mov [rax+320], r11
001b9b79mov r13, [rsp+312]
001b9b81mov [rax+328], r13
001b9b88mov r13, [rsp+8]
001b9b8dmov [rax+336], r13
001b9b94mov r13, [rsp+320]
001b9b9cmov [rax+344], r13
001b9ba3mov r13, [rsp+328]
001b9babmov [rax+352], r13
001b9bb2mov r13, [rsp+336]
001b9bbamov [rax+360], r13
001b9bc1mov r13, [rsp+344]
001b9bc9mov [rax+368], r13
001b9bd0mov r13, [rsp+352]
001b9bd8mov [rax+376], r13
001b9bdfmov r13, [rsp+360]
001b9be7mov [rax+384], r13
001b9beemov r13, [rsp+368]
001b9bf6mov [rax+392], r13
001b9bfdmov r13, [rsp+376]
001b9c05mov [rax+400], r13
001b9c0cmov r13, [rsp+384]
001b9c14mov [rax+408], r13
001b9c1bmov r13, [rsp+392]
001b9c23mov [rax+416], r13
001b9c2amov r13, [rsp+400]
001b9c32mov [rax+424], r13
001b9c39mov r13, [rsp+408]
001b9c41mov [rax+432], r13
001b9c48mov r13, [rsp+416]
001b9c50mov [rax+440], r13
001b9c57mov [rax+448], rdi
001b9c5emov [rax+456], rdx
001b9c65mov [rax+464], r9
001b9c6cmov [rax+472], r10
001b9c73mov [rax+480], rsi
001b9c7amov [rax+488], r12
001b9c81mov rdi, [rsp]
001b9c85mov [rax+496], rdi
001b9c8cmov [rax+504], rcx
001b9c93mov [rax+512], r8
001b9c9amov [rax+520], rbx
001b9ca1add rsp, 424
001b9ca8ret
001b9ca9
001b9ca9loc_1b9ca9:
001b9ca9call caml_call_gc
001b9caejmp 0x1b91b2
001b9cb3
001b9cb3loc_1b9cb3:
001b9cb3push 86
001b9cb5call caml_call_realloc_stack
001b9cbapop r10
001b9cbcjmp 0x1b9172
001b9160