Similarity

001b6d84
001b6d84 // align 0x10

001b6d90
001b6d90Stdlib.Int32.unsigned_rem:
001b6d90lea r10, [rsp-336]
001b6d98cmp r10, [r14+40]
001b6d9cjb 0x1b6e06
001b6d9e
001b6d9eloc_1b6d9e:
001b6d9esub rsp, 16
001b6da2mov [rsp+8], rax
001b6da7mov [rsp], rbx
001b6dabcall Stdlib.Int32.unsigned_div
001b6db0add rax, 8
001b6db4movsxd rax, [rax]
001b6db7mov rbx, [rsp]
001b6dbbmovsxd rbx, [rbx+8]
001b6dbfimul rax, rbx
001b6dc3mov rbx, [rsp+8]
001b6dc8movsxd rbx, [rbx+8]
001b6dccsub rbx, rax
001b6dcfshl rbx, 32
001b6dd3sar rbx, 32
001b6dd7sub r15, 24
001b6ddbcmp r15, [r14]
001b6ddejb 0x1b6dff
001b6de0
001b6de0loc_1b6de0:
001b6de0lea rax, [r15+8]
001b6de4mov [rax-8], 2303
001b6declea rdi, [rip+0xbeacd]
001b6df3mov [rax], rdi
001b6df6mov [rax+8], rbx
001b6dfaadd rsp, 16
001b6dferet
001b6dff
001b6dffloc_1b6dff:
001b6dffcall caml_call_gc
001b6e04jmp 0x1b6de0
001b6e06
001b6e06loc_1b6e06:
001b6e06push 35
001b6e08call caml_call_realloc_stack
001b6e0dpop r10
001b6e0fjmp 0x1b6d9e
001b6d90

001b6e11
001b6e11 // align 0x10

001b6e20
001b6e20Stdlib.Int32.seeded_hash:
001b6e20mov esi, 201
001b6e25mov edi, 21
001b6e2amov rdx, rax
001b6e2dmov rcx, rbx
001b6e30mov rbx, rsp
001b6e33mov rsp, [r14+64]
001b6e37call caml_hash
001b6e3cmov rsp, rbx
001b6e3fret
001b6e20

001b6e40
001b6e40Stdlib.Int32.hash:
001b6e40mov edx, 1
001b6e45mov esi, 201
001b6e4amov edi, 21
001b6e4fmov rcx, rax
001b6e52mov rbx, rsp
001b6e55mov rsp, [r14+64]
001b6e59call caml_hash
001b6e5emov rsp, rbx
001b6e61ret
001b6e40

001b6e62
001b6e62 // align 0x10

001b6e70
001b6e70Stdlib.Int32.entry:
001b6e70lea rsi, [rip+0x18ca09]
001b6e77lea rdi, [rip+0x18c8ca]
001b6e7emov rbx, rsp
001b6e81mov rsp, [r14+64]
001b6e85call caml_initialize
001b6e8amov rsp, rbx
001b6e8dlea rsi, [rip+0x18c9d4]
001b6e94lea rdi, [rip+0x18c8ad]
001b6e9badd rdi, 8
001b6e9fmov rbx, rsp
001b6ea2mov rsp, [r14+64]
001b6ea6call caml_initialize
001b6eabmov rsp, rbx
001b6eaelea rsi, [rip+0x18c99b]
001b6eb5lea rdi, [rip+0x18c88c]
001b6ebcadd rdi, 16
001b6ec0mov rbx, rsp
001b6ec3mov rsp, [r14+64]
001b6ec7call caml_initialize
001b6eccmov rsp, rbx
001b6ecflea rsi, [rip+0x18c6ea]
001b6ed6lea rdi, [rip+0x18c86b]
001b6eddadd rdi, 40
001b6ee1mov rbx, rsp
001b6ee4mov rsp, [r14+64]
001b6ee8call caml_initialize
001b6eedmov rsp, rbx
001b6ef0lea rsi, [rip+0x18c6e1]
001b6ef7lea rdi, [rip+0x18c84a]
001b6efeadd rdi, 48
001b6f02mov rbx, rsp
001b6f05mov rsp, [r14+64]
001b6f09call caml_initialize
001b6f0emov rsp, rbx
001b6f11lea rsi, [rip+0x18c6d8]
001b6f18lea rdi, [rip+0x18c829]
001b6f1fadd rdi, 56
001b6f23mov rbx, rsp
001b6f26mov rsp, [r14+64]
001b6f2acall caml_initialize
001b6f2fmov rsp, rbx
001b6f32lea rsi, [rip+0x18c8ff]
001b6f39lea rdi, [rip+0x18c808]
001b6f40add rdi, 72
001b6f44mov rbx, rsp
001b6f47mov rsp, [r14+64]
001b6f4bcall caml_initialize
001b6f50mov rsp, rbx
001b6f53lea rsi, [rip+0x18c8c6]
001b6f5alea rdi, [rip+0x18c7e7]
001b6f61add rdi, 64
001b6f65mov rbx, rsp
001b6f68mov rsp, [r14+64]
001b6f6ccall caml_initialize
001b6f71mov rsp, rbx
001b6f74lea rsi, [rip+0x18c68d]
001b6f7blea rdi, [rip+0x18c7c6]
001b6f82add rdi, 80
001b6f86mov rbx, rsp
001b6f89mov rsp, [r14+64]
001b6f8dcall caml_initialize
001b6f92mov rsp, rbx
001b6f95lea rsi, [rip+0x18c684]
001b6f9clea rdi, [rip+0x18c7a5]
001b6fa3add rdi, 88
001b6fa7mov rbx, rsp
001b6faamov rsp, [r14+64]
001b6faecall caml_initialize
001b6fb3mov rsp, rbx
001b6fb6lea rsi, [rip+0x18c67b]
001b6fbdlea rdi, [rip+0x18c784]
001b6fc4add rdi, 104
001b6fc8mov rbx, rsp
001b6fcbmov rsp, [r14+64]
001b6fcfcall caml_initialize
001b6fd4mov rsp, rbx
001b6fd7lea rsi, [rip+0x18c672]
001b6fdelea rdi, [rip+0x18c763]
001b6fe5add rdi, 96
001b6fe9mov rbx, rsp
001b6fecmov rsp, [r14+64]
001b6ff0call caml_initialize
001b6ff5mov rsp, rbx
001b6ff8lea rsi, [rip+0x18c669]
001b6ffflea rdi, [rip+0x18c742]
001b7006add rdi, 112
001b700amov rbx, rsp
001b700dmov rsp, [r14+64]
001b7011call caml_initialize
001b7016mov rsp, rbx
001b7019lea rsi, [rip+0x18c668]
001b7020lea rdi, [rip+0x18c721]
001b7027add rdi, 128
001b702emov rbx, rsp
001b7031mov rsp, [r14+64]
001b7035call caml_initialize
001b703amov rsp, rbx
001b703dlea rsi, [rip+0x18c664]
001b7044lea rdi, [rip+0x18c6fd]
001b704badd rdi, 120
001b704fmov rbx, rsp
001b7052mov rsp, [r14+64]
001b7056call caml_initialize
001b705bmov rsp, rbx
001b705elea rsi, [rip+0x18c663]
001b7065lea rdi, [rip+0x18c6dc]
001b706cadd rdi, 168
001b7073mov rbx, rsp
001b7076mov rsp, [r14+64]
001b707acall caml_initialize
001b707fmov rsp, rbx
001b7082lea rsi, [rip+0x18c65f]
001b7089lea rdi, [rip+0x18c6b8]
001b7090add rdi, 136
001b7097mov rbx, rsp
001b709amov rsp, [r14+64]
001b709ecall caml_initialize
001b70a3mov rsp, rbx
001b70a6lea rsi, [rip+0x18c65b]
001b70adlea rdi, [rip+0x18c694]
001b70b4add rdi, 144
001b70bbmov rbx, rsp
001b70bemov rsp, [r14+64]
001b70c2call caml_initialize
001b70c7mov rsp, rbx
001b70calea rsi, [rip+0x18c657]
001b70d1lea rdi, [rip+0x18c670]
001b70d8add rdi, 24
001b70dcmov rbx, rsp
001b70dfmov rsp, [r14+64]
001b70e3call caml_initialize
001b70e8mov rsp, rbx
001b70eblea rsi, [rip+0x18c476]
001b70f2lea rdi, [rip+0x18c64f]
001b70f9add rdi, 32
001b70fdmov rbx, rsp
001b7100mov rsp, [r14+64]
001b7104call caml_initialize
001b7109mov rsp, rbx
001b710clea rsi, [rip+0x18c475]
001b7113lea rdi, [rip+0x18c62e]
001b711aadd rdi, 152
001b7121mov rbx, rsp
001b7124mov rsp, [r14+64]
001b7128call caml_initialize
001b712dmov rsp, rbx
001b7130lea rsi, [rip+0x18c471]
001b7137lea rdi, [rip+0x18c60a]
001b713eadd rdi, 160
001b7145mov rbx, rsp
001b7148mov rsp, [r14+64]
001b714ccall caml_initialize
001b7151mov rsp, rbx
001b7154mov eax, 1
001b7159ret
001b6e70

001b715a
001b715a // align 0x10

001b7160
001b7160Stdlib.Int64.succ:
001b7160sub r15, 24
001b7164cmp r15, [r14]
001b7167jb 0x1b718e
001b7169
001b7169loc_1b7169:
001b7169lea rbx, [r15+8]
001b716dmov [rbx-8], 2303
001b7175lea rdi, [rip+0xbe704]
001b717cmov [rbx], rdi
001b717fmov rax, [rax+8]
001b7183inc rax
001b7186mov [rbx+8], rax
001b718amov rax, rbx
001b718dret
001b718e
001b718eloc_1b718e:
001b718ecall caml_call_gc
001b7193jmp 0x1b7169
001b7160

001b7195
001b7195 // align 0x10

001b71a0
001b71a0Stdlib.Int64.pred:
001b71a0sub r15, 24
001b71a4cmp r15, [r14]
001b71a7jb 0x1b71ce
001b71a9
001b71a9loc_1b71a9:
001b71a9lea rbx, [r15+8]
001b71admov [rbx-8], 2303
001b71b5lea rdi, [rip+0xbe6c4]
001b71bcmov [rbx], rdi
001b71bfmov rax, [rax+8]
001b71c3dec rax
001b71c6mov [rbx+8], rax
001b71camov rax, rbx
001b71cdret
001b71ce
001b71celoc_1b71ce:
001b71cecall caml_call_gc
001b71d3jmp 0x1b71a9
001b71a0

001b71d5
001b71d5 // align 0x10

001b71e0
001b71e0Stdlib.Int64.abs:
001b71e0mov rbx, [rax+8]
001b71e4cmp rbx, 0
001b71e8jl 0x1b71ec
001b71earet
001b71eb
001b71eb 90 .
001b71ec
001b71ecloc_1b71ec:
001b71ecsub r15, 24
001b71f0cmp r15, [r14]
001b71f3jb 0x1b7215
001b71f5
001b71f5loc_1b71f5:
001b71f5lea rax, [r15+8]
001b71f9mov [rax-8], 2303
001b7201lea rdi, [rip+0xbe678]
001b7208mov [rax], rdi
001b720bxor edi, edi
001b720dsub rdi, rbx
001b7210mov [rax+8], rdi
001b7214ret
001b7215
001b7215loc_1b7215:
001b7215call caml_call_gc
001b721ajmp 0x1b71f5
001b71e0

001b721c
001b721c // align 0x10

001b7220
001b7220Stdlib.Int64.lognot:
001b7220sub r15, 24
001b7224cmp r15, [r14]
001b7227jb 0x1b724f
001b7229
001b7229loc_1b7229:
001b7229lea rbx, [r15+8]
001b722dmov [rbx-8], 2303
001b7235lea rdi, [rip+0xbe644]
001b723cmov [rbx], rdi
001b723fmov rax, [rax+8]
001b7243xor rax, -1
001b7247mov [rbx+8], rax
001b724bmov rax, rbx
001b724eret
001b724f
001b724floc_1b724f:
001b724fcall caml_call_gc
001b7254jmp 0x1b7229
001b7220

001b7256
001b7256 // align 0x10

001b7260
001b7260Stdlib.Int64.fun:
001b7260mov rax, [rax+8]
001b7264cmp rax, 0
001b7268jl 0x1b729c
001b726amov rbx, 0x3fffffffffffffff
001b7274cmp rax, rbx
001b7277jg 0x1b729c
001b7279sub r15, 16
001b727dcmp r15, [r14]
001b7280jb 0x1b72a2
001b7282
001b7282loc_1b7282:
001b7282lea rbx, [r15+8]
001b7286mov [rbx-8], 1024
001b728elea rax, [rax+rax+1]
001b7293mov [rbx], rax
001b7296mov rax, rbx
001b7299ret
001b729a
001b729a 66 90 f.
001b729c
001b729cloc_1b729c:
001b729cmov eax, 1
001b72a1ret
001b72a2
001b72a2loc_1b72a2:
001b72a2call caml_call_gc
001b72a7jmp 0x1b7282
001b7260

001b72a9
001b72a9 // align 0x10

001b72b0
001b72b0Stdlib.Int64.to_string:
001b72b0lea rdi, [rip+0x18cb91]
001b72b7mov rsi, rax
001b72balea rax, [rip+0x56c0f]
001b72c1call caml_c_call
001b72c6ret
001b72b0

001b72c7
001b72c7 // align 0x10

001b72d0
001b72d0Stdlib.Int64.of_string_opt:
001b72d0lea r11, [rip+61]
001b72d7push r11
001b72d9push [r14+48]
001b72ddmov [r14+48], rsp
001b72e1mov rdi, rax
001b72e4lea rax, [rip+0x56c45]
001b72ebcall caml_c_call
001b72f0sub r15, 16
001b72f4cmp r15, [r14]
001b72f7jb 0x1b733c
001b72f9
001b72f9loc_1b72f9:
001b72f9lea rbx, [r15+8]
001b72fdmov [rbx-8], 1024
001b7305mov [rbx], rax
001b7308pop [r14+48]
001b730cadd rsp, 8
001b7310jmp 0x1b7338
001b7312
001b7312 66 90 f.
001b7314lea rbx, [rip+0x1762fd]
001b731bmov rbx, [rbx+48]
001b731fmov rdi, [rax]
001b7322cmp rdi, rbx
001b7325jne 0x1b7330
001b7327mov eax, 1
001b732cret
001b732d
001b732d 0f 1f 00 ...
001b7330
001b7330loc_1b7330:
001b7330call caml_reraise_exn
001b7335nop [rax]
001b7338
001b7338loc_1b7338:
001b7338mov rax, rbx
001b733bret
001b733c
001b733cloc_1b733c:
001b733ccall caml_call_gc
001b7341jmp 0x1b72f9
001b72d0

001b7343
001b7343 // align 0x10

001b7350
001b7350Stdlib.Int64.compare:
001b7350mov rbx, [rbx+8]
001b7354mov rdi, [rax+8]
001b7358cmp rdi, rbx
001b735bsetl al
001b735emovzx rsi, al
001b7362cmp rdi, rbx
001b7365setg al
001b7368movzx rax, al
001b736csub rax, rsi
001b736flea rax, [rax+rax+1]
001b7374ret
001b7350

001b7375
001b7375 // align 0x10

001b7380
001b7380Stdlib.Int64.equal:
001b7380mov rbx, [rbx+8]
001b7384mov rax, [rax+8]
001b7388cmp rax, rbx
001b738bsete al
001b738emovzx rax, al
001b7392lea rax, [rax+rax+1]
001b7397ret
001b7380

001b7398
001b7398 // align 0x10

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