File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
0017fbb0
0017fbb0camlLexstate.checkpoint_1262:
0017fbb0lea r10, [rsp-320]
0017fbb8cmp r10, [r14+40]
0017fbbcjb 0x17fc13
0017fbbe
0017fbbeloc_17fbbe:
0017fbbelea rax, [rip+0x196ddb]
0017fbc5mov rax, [rax+952]
0017fbccmov rbx, [rax]
0017fbcflea rax, [rip+0x19648a]
0017fbd6call Stdlib.List.map
0017fbdbsub r15, 24
0017fbdfcmp r15, [r14]
0017fbe2jb 0x17fc0c
0017fbe4
0017fbe4loc_17fbe4:
0017fbe4lea rbx, [r15+8]
0017fbe8mov [rbx-8], 2048
0017fbf0lea rdi, [rip+0x196da9]
0017fbf7mov rdi, [rdi+952]
0017fbfemov rdi, [rdi]
0017fc01mov [rbx], rdi
0017fc04mov [rbx+8], rax
0017fc08mov rax, rbx
0017fc0bret
0017fc0c
0017fc0cloc_17fc0c:
0017fc0ccall caml_call_gc
0017fc11jmp 0x17fbe4
0017fc13
0017fc13loc_17fc13:
0017fc13push 33
0017fc15call caml_call_realloc_stack
0017fc1apop r10
0017fc1cjmp 0x17fbbe
0017fbb0
0017fbb0camlLexstate.checkpoint_1262:
0017fbb0lea r10, [rsp-320]
0017fbb8cmp r10, [r14+40]
0017fbbcjb 0x17fc13
0017fbbe
0017fbbeloc_17fbbe:
0017fbbelea rax, [rip+0x196ddb]
0017fbc5mov rax, [rax+952]
0017fbccmov rbx, [rax]
0017fbcflea rax, [rip+0x19648a]
0017fbd6call Stdlib.List.map
0017fbdbsub r15, 24
0017fbdfcmp r15, [r14]
0017fbe2jb 0x17fc0c
0017fbe4
0017fbe4loc_17fbe4:
0017fbe4lea rbx, [r15+8]
0017fbe8mov [rbx-8], 2048
0017fbf0lea rdi, [rip+0x196da9]
0017fbf7mov rdi, [rdi+952]
0017fbfemov rdi, [rdi]
0017fc01mov [rbx], rdi
0017fc04mov [rbx+8], rax
0017fc08mov rax, rbx
0017fc0bret
0017fc0c
0017fc0cloc_17fc0c:
0017fc0ccall caml_call_gc
0017fc11jmp 0x17fbe4
0017fc13
0017fc13loc_17fc13:
0017fc13push 33
0017fc15call caml_call_realloc_stack
0017fc1apop r10
0017fc1cjmp 0x17fbbe
0017fbb0
0017fc1e
0017fc1e // align 0x10
0017fc1e // align 0x10
0017fc24
0017fc24 // align 0x10
0017fc24 // align 0x10
0017fc30
0017fc30camlLexstate.hot_start_1263:
0017fc30lea r10, [rsp-328]
0017fc38cmp r10, [r14+40]
0017fc3cjb 0x17fc76
0017fc3e
0017fc3eloc_17fc3e:
0017fc3esub rsp, 8
0017fc42mov [rsp], rax
0017fc46call camlLexstate.start_rec_1269
0017fc4blea rax, [rip+0x196d4e]
0017fc52mov rdi, [rax+952]
0017fc59mov rsi, [rsp]
0017fc5dmov rbx, rsp
0017fc60mov rsp, [r14+64]
0017fc64call caml_modify
0017fc69mov rsp, rbx
0017fc6cmov eax, 1
0017fc71add rsp, 8
0017fc75ret
0017fc76
0017fc76loc_17fc76:
0017fc76push 34
0017fc78call caml_call_realloc_stack
0017fc7dpop r10
0017fc7fjmp 0x17fc3e
0017fc30
0017fc30camlLexstate.hot_start_1263:
0017fc30lea r10, [rsp-328]
0017fc38cmp r10, [r14+40]
0017fc3cjb 0x17fc76
0017fc3e
0017fc3eloc_17fc3e:
0017fc3esub rsp, 8
0017fc42mov [rsp], rax
0017fc46call camlLexstate.start_rec_1269
0017fc4blea rax, [rip+0x196d4e]
0017fc52mov rdi, [rax+952]
0017fc59mov rsi, [rsp]
0017fc5dmov rbx, rsp
0017fc60mov rsp, [r14+64]
0017fc64call caml_modify
0017fc69mov rsp, rbx
0017fc6cmov eax, 1
0017fc71add rsp, 8
0017fc75ret
0017fc76
0017fc76loc_17fc76:
0017fc76push 34
0017fc78call caml_call_realloc_stack
0017fc7dpop r10
0017fc7fjmp 0x17fc3e
0017fc30
0017fc81
0017fc81 // align 0x10
0017fc81 // align 0x10
0017fc90
0017fc90camlLexstate.start_rec_1269:
0017fc90lea r10, [rsp-352]
0017fc98cmp r10, [r14+40]
0017fc9cjb 0x17fd8a
0017fca2
0017fca2loc_17fca2:
0017fca2sub rsp, 32
0017fca6
0017fca6loc_17fca6:
0017fca6cmp r15, [r14]
0017fca9jbe 0x17fd80
0017fcaf
0017fcafloc_17fcaf:
0017fcaftest al, 1
0017fcb1je 0x17fcc8
0017fcb3test bl, 1
0017fcb6je 0x17fd70
0017fcbcmov eax, 1
0017fcc1add rsp, 32
0017fcc5ret
0017fcc6
0017fcc6 66 90 f.
0017fcc8
0017fcc8loc_17fcc8:
0017fcc8test bl, 1
0017fccbjne 0x17fd70
0017fcd1mov [rsp+8], rbx
0017fcd6mov [rsp+16], rax
0017fcdbmov rbx, [rbx]
0017fcdemov [rsp], rbx
0017fce2mov rax, [rax]
0017fce5mov [rsp+24], rax
0017fcealea rax, [rip+0x1aa37f]
0017fcf1mov rax, [rax+80]
0017fcf5mov rax, [rax]
0017fcf8cmp rax, 3
0017fcfcjle 0x17fd47
0017fcfecmp rbx, 1
0017fd02je 0x17fd10
0017fd04lea rbx, [rip+0x197925]
0017fd0bjmp 0x17fd17
0017fd0d
0017fd0d 0f 1f 00 ...
0017fd10
0017fd10loc_17fd10:
0017fd10lea rbx, [rip+0x197909]
0017fd17
0017fd17loc_17fd17:
0017fd17lea rax, [rip+0x197922]
0017fd1ecall camlStdlib.$5e_139
0017fd23mov rbx, rax
0017fd26mov rax, [rsp+24]
0017fd2bmov rax, [rax]
0017fd2ecall camlStdlib.$5e_139
0017fd33mov rbx, rax
0017fd36lea rax, [rip+0x197913]
0017fd3dcall camlStdlib.$5e_139
0017fd42call camlStdlib.prerr_endline_390
0017fd47
0017fd47loc_17fd47:
0017fd47mov rax, [rsp+24]
0017fd4cmov rax, [rax+8]
0017fd50mov rbx, [rsp]
0017fd54mov [rax], rbx
0017fd57mov rax, [rsp+8]
0017fd5cmov rbx, [rax+8]
0017fd60mov rax, [rsp+16]
0017fd65mov rax, [rax+8]
0017fd69jmp 0x17fca6
0017fd6e
0017fd6e 66 90 f.
0017fd70
0017fd70loc_17fd70:
0017fd70lea rax, [rip+0x197881]
0017fd77add rsp, 32
0017fd7bjmp 0x191ae0
0017fd80
0017fd80loc_17fd80:
0017fd80call caml_call_gc
0017fd85jmp 0x17fcaf
0017fd8a
0017fd8aloc_17fd8a:
0017fd8apush 37
0017fd8ccall caml_call_realloc_stack
0017fd91pop r10
0017fd93jmp 0x17fca2
0017fc90
0017fc90camlLexstate.start_rec_1269:
0017fc90lea r10, [rsp-352]
0017fc98cmp r10, [r14+40]
0017fc9cjb 0x17fd8a
0017fca2
0017fca2loc_17fca2:
0017fca2sub rsp, 32
0017fca6
0017fca6loc_17fca6:
0017fca6cmp r15, [r14]
0017fca9jbe 0x17fd80
0017fcaf
0017fcafloc_17fcaf:
0017fcaftest al, 1
0017fcb1je 0x17fcc8
0017fcb3test bl, 1
0017fcb6je 0x17fd70
0017fcbcmov eax, 1
0017fcc1add rsp, 32
0017fcc5ret
0017fcc6
0017fcc6 66 90 f.
0017fcc8
0017fcc8loc_17fcc8:
0017fcc8test bl, 1
0017fccbjne 0x17fd70
0017fcd1mov [rsp+8], rbx
0017fcd6mov [rsp+16], rax
0017fcdbmov rbx, [rbx]
0017fcdemov [rsp], rbx
0017fce2mov rax, [rax]
0017fce5mov [rsp+24], rax
0017fcealea rax, [rip+0x1aa37f]
0017fcf1mov rax, [rax+80]
0017fcf5mov rax, [rax]
0017fcf8cmp rax, 3
0017fcfcjle 0x17fd47
0017fcfecmp rbx, 1
0017fd02je 0x17fd10
0017fd04lea rbx, [rip+0x197925]
0017fd0bjmp 0x17fd17
0017fd0d
0017fd0d 0f 1f 00 ...
0017fd10
0017fd10loc_17fd10:
0017fd10lea rbx, [rip+0x197909]
0017fd17
0017fd17loc_17fd17:
0017fd17lea rax, [rip+0x197922]
0017fd1ecall camlStdlib.$5e_139
0017fd23mov rbx, rax
0017fd26mov rax, [rsp+24]
0017fd2bmov rax, [rax]
0017fd2ecall camlStdlib.$5e_139
0017fd33mov rbx, rax
0017fd36lea rax, [rip+0x197913]
0017fd3dcall camlStdlib.$5e_139
0017fd42call camlStdlib.prerr_endline_390
0017fd47
0017fd47loc_17fd47:
0017fd47mov rax, [rsp+24]
0017fd4cmov rax, [rax+8]
0017fd50mov rbx, [rsp]
0017fd54mov [rax], rbx
0017fd57mov rax, [rsp+8]
0017fd5cmov rbx, [rax+8]
0017fd60mov rax, [rsp+16]
0017fd65mov rax, [rax+8]
0017fd69jmp 0x17fca6
0017fd6e
0017fd6e 66 90 f.
0017fd70
0017fd70loc_17fd70:
0017fd70lea rax, [rip+0x197881]
0017fd77add rsp, 32
0017fd7bjmp 0x191ae0
0017fd80
0017fd80loc_17fd80:
0017fd80call caml_call_gc
0017fd85jmp 0x17fcaf
0017fd8a
0017fd8aloc_17fd8a:
0017fd8apush 37
0017fd8ccall caml_call_realloc_stack
0017fd91pop r10
0017fd93jmp 0x17fca2
0017fc90
0017fd98
0017fd98 // align 0x10
0017fd98 // align 0x10
0017fda0
0017fda0camlLexstate.register_cell_1278:
0017fda0sub r15, 48
0017fda4cmp r15, [r14]
0017fda7jb 0x17fdf9
0017fda9
0017fda9loc_17fda9:
0017fda9lea rdi, [r15+8]
0017fdadadd rdi, 24
0017fdb1mov [rdi-8], 2048
0017fdb9mov [rdi], rax
0017fdbcmov [rdi+8], rbx
0017fdc0lea rsi, [rdi-24]
0017fdc4mov [rsi-8], 2048
0017fdccmov [rsi], rdi
0017fdcflea rax, [rip+0x196bca]
0017fdd6mov rdi, [rax+952]
0017fdddmov rax, [rdi]
0017fde0mov [rsi+8], rax
0017fde4mov rbx, rsp
0017fde7mov rsp, [r14+64]
0017fdebcall caml_modify
0017fdf0mov rsp, rbx
0017fdf3mov eax, 1
0017fdf8ret
0017fdf9
0017fdf9loc_17fdf9:
0017fdf9call caml_call_gc
0017fdfejmp 0x17fda9
0017fda0
0017fda0camlLexstate.register_cell_1278:
0017fda0sub r15, 48
0017fda4cmp r15, [r14]
0017fda7jb 0x17fdf9
0017fda9
0017fda9loc_17fda9:
0017fda9lea rdi, [r15+8]
0017fdadadd rdi, 24
0017fdb1mov [rdi-8], 2048
0017fdb9mov [rdi], rax
0017fdbcmov [rdi+8], rbx
0017fdc0lea rsi, [rdi-24]
0017fdc4mov [rsi-8], 2048
0017fdccmov [rsi], rdi
0017fdcflea rax, [rip+0x196bca]
0017fdd6mov rdi, [rax+952]
0017fdddmov rax, [rdi]
0017fde0mov [rsi+8], rax
0017fde4mov rbx, rsp
0017fde7mov rsp, [r14+64]
0017fdebcall caml_modify
0017fdf0mov rsp, rbx
0017fdf3mov eax, 1
0017fdf8ret
0017fdf9
0017fdf9loc_17fdf9:
0017fdf9call caml_call_gc
0017fdfejmp 0x17fda9
0017fda0
0017fe00
0017fe00camlLexstate.unregister_cell_1279:
0017fe00lea r10, [rsp-320]
0017fe08cmp r10, [r14+40]
0017fe0cjb 0x17fe82
0017fe0e
0017fe0eloc_17fe0e:
0017fe0esub r15, 32
0017fe12cmp r15, [r14]
0017fe15jb 0x17fe7b
0017fe17
0017fe17loc_17fe17:
0017fe17lea rbx, [r15+8]
0017fe1bmov [rbx-8], 3319
0017fe23lea rdi, [rip+102]
0017fe2amov [rbx], rdi
0017fe2dmov rdi, 0x100000000000005
0017fe37mov [rbx+8], rdi
0017fe3bmov [rbx+16], rax
0017fe3flea rax, [rip+0x196b5a]
0017fe46mov rax, [rax+952]
0017fe4dmov rax, [rax]
0017fe50call camlLexstate.un_rec_1285
0017fe55lea rbx, [rip+0x196b44]
0017fe5cmov rdi, [rbx+952]
0017fe63mov rsi, rax
0017fe66mov rbx, rsp
0017fe69mov rsp, [r14+64]
0017fe6dcall caml_modify
0017fe72mov rsp, rbx
0017fe75mov eax, 1
0017fe7aret
0017fe7b
0017fe7bloc_17fe7b:
0017fe7bcall caml_call_gc
0017fe80jmp 0x17fe17
0017fe82
0017fe82loc_17fe82:
0017fe82push 33
0017fe84call caml_call_realloc_stack
0017fe89pop r10
0017fe8bjmp 0x17fe0e
0017fe00
0017fe00camlLexstate.unregister_cell_1279:
0017fe00lea r10, [rsp-320]
0017fe08cmp r10, [r14+40]
0017fe0cjb 0x17fe82
0017fe0e
0017fe0eloc_17fe0e:
0017fe0esub r15, 32
0017fe12cmp r15, [r14]
0017fe15jb 0x17fe7b
0017fe17
0017fe17loc_17fe17:
0017fe17lea rbx, [r15+8]
0017fe1bmov [rbx-8], 3319
0017fe23lea rdi, [rip+102]
0017fe2amov [rbx], rdi
0017fe2dmov rdi, 0x100000000000005
0017fe37mov [rbx+8], rdi
0017fe3bmov [rbx+16], rax
0017fe3flea rax, [rip+0x196b5a]
0017fe46mov rax, [rax+952]
0017fe4dmov rax, [rax]
0017fe50call camlLexstate.un_rec_1285
0017fe55lea rbx, [rip+0x196b44]
0017fe5cmov rdi, [rbx+952]
0017fe63mov rsi, rax
0017fe66mov rbx, rsp
0017fe69mov rsp, [r14+64]
0017fe6dcall caml_modify
0017fe72mov rsp, rbx
0017fe75mov eax, 1
0017fe7aret
0017fe7b
0017fe7bloc_17fe7b:
0017fe7bcall caml_call_gc
0017fe80jmp 0x17fe17
0017fe82
0017fe82loc_17fe82:
0017fe82push 33
0017fe84call caml_call_realloc_stack
0017fe89pop r10
0017fe8bjmp 0x17fe0e
0017fe00
0017fe8d
0017fe8d // align 0x10
0017fe8d // align 0x10
0017fe90
0017fe90camlLexstate.un_rec_1285:
0017fe90lea r10, [rsp-344]
0017fe98cmp r10, [r14+40]
0017fe9cjb 0x17ff6d
0017fea2
0017fea2loc_17fea2:
0017fea2sub rsp, 24
0017fea6mov r12, rbx
0017fea9test al, 1
0017feabje 0x17fed0
0017feadmov rbx, [r12+16]
0017feb2lea rax, [rip+0x197717]
0017feb9call camlStdlib.$5e_139
0017febecall camlMisc.warning_287
0017fec3mov eax, 1
0017fec8add rsp, 24
0017feccret
0017fecd
0017fecd 0f 1f 00 ...
0017fed0
0017fed0loc_17fed0:
0017fed0mov rbx, [rax+8]
0017fed4mov [rsp+16], rbx
0017fed9mov r13, [rax]
0017fedcmov rbp, [r13]
0017fee0mov rsi, [r12+16]
0017fee5mov rdi, rbp
0017fee8mov rbx, rsp
0017feebmov rsp, [r14+64]
0017feefcall caml_string_equal
0017fef4mov rsp, rbx
0017fef7cmp rax, 1
0017fefbje 0x17ff08
0017fefdmov rax, [rsp+16]
0017ff02add rsp, 24
0017ff06ret
0017ff07
0017ff07 90 .
0017ff08
0017ff08loc_17ff08:
0017ff08mov [rsp], rbp
0017ff0cmov [rsp+8], r13
0017ff11mov rax, [rsp+16]
0017ff16mov rbx, r12
0017ff19call camlLexstate.un_rec_1285
0017ff1esub r15, 48
0017ff22cmp r15, [r14]
0017ff25jb 0x17ff66
0017ff27
0017ff27loc_17ff27:
0017ff27lea rbx, [r15+8]
0017ff2badd rbx, 24
0017ff2fmov [rbx-8], 2048
0017ff37mov rdi, [rsp]
0017ff3bmov [rbx], rdi
0017ff3emov rdi, [rsp+8]
0017ff43mov rdi, [rdi+8]
0017ff47mov [rbx+8], rdi
0017ff4blea rdi, [rbx-24]
0017ff4fmov [rdi-8], 2048
0017ff57mov [rdi], rbx
0017ff5amov [rdi+8], rax
0017ff5emov rax, rdi
0017ff61add rsp, 24
0017ff65ret
0017ff66
0017ff66loc_17ff66:
0017ff66call caml_call_gc
0017ff6bjmp 0x17ff27
0017ff6d
0017ff6dloc_17ff6d:
0017ff6dpush 36
0017ff6fcall caml_call_realloc_stack
0017ff74pop r10
0017ff76jmp 0x17fea2
0017fe90
0017fe90camlLexstate.un_rec_1285:
0017fe90lea r10, [rsp-344]
0017fe98cmp r10, [r14+40]
0017fe9cjb 0x17ff6d
0017fea2
0017fea2loc_17fea2:
0017fea2sub rsp, 24
0017fea6mov r12, rbx
0017fea9test al, 1
0017feabje 0x17fed0
0017feadmov rbx, [r12+16]
0017feb2lea rax, [rip+0x197717]
0017feb9call camlStdlib.$5e_139
0017febecall camlMisc.warning_287
0017fec3mov eax, 1
0017fec8add rsp, 24
0017feccret
0017fecd
0017fecd 0f 1f 00 ...
0017fed0
0017fed0loc_17fed0:
0017fed0mov rbx, [rax+8]
0017fed4mov [rsp+16], rbx
0017fed9mov r13, [rax]
0017fedcmov rbp, [r13]
0017fee0mov rsi, [r12+16]
0017fee5mov rdi, rbp
0017fee8mov rbx, rsp
0017feebmov rsp, [r14+64]
0017feefcall caml_string_equal
0017fef4mov rsp, rbx
0017fef7cmp rax, 1
0017fefbje 0x17ff08
0017fefdmov rax, [rsp+16]
0017ff02add rsp, 24
0017ff06ret
0017ff07
0017ff07 90 .
0017ff08
0017ff08loc_17ff08:
0017ff08mov [rsp], rbp
0017ff0cmov [rsp+8], r13
0017ff11mov rax, [rsp+16]
0017ff16mov rbx, r12
0017ff19call camlLexstate.un_rec_1285
0017ff1esub r15, 48
0017ff22cmp r15, [r14]
0017ff25jb 0x17ff66
0017ff27
0017ff27loc_17ff27:
0017ff27lea rbx, [r15+8]
0017ff2badd rbx, 24
0017ff2fmov [rbx-8], 2048
0017ff37mov rdi, [rsp]
0017ff3bmov [rbx], rdi
0017ff3emov rdi, [rsp+8]
0017ff43mov rdi, [rdi+8]
0017ff47mov [rbx+8], rdi
0017ff4blea rdi, [rbx-24]
0017ff4fmov [rdi-8], 2048
0017ff57mov [rdi], rbx
0017ff5amov [rdi+8], rax
0017ff5emov rax, rdi
0017ff61add rsp, 24
0017ff65ret
0017ff66
0017ff66loc_17ff66:
0017ff66call caml_call_gc
0017ff6bjmp 0x17ff27
0017ff6d
0017ff6dloc_17ff6d:
0017ff6dpush 36
0017ff6fcall caml_call_realloc_stack
0017ff74pop r10
0017ff76jmp 0x17fea2
0017fe90
0017ff7b
0017ff7b // align 0x10
0017ff7b // align 0x10
0017ff80
0017ff80camlLexstate.entry:
0017ff80lea r10, [rsp-408]
0017ff88cmp r10, [r14+40]
0017ff8cjb 0x181440
0017ff92
0017ff92loc_17ff92:
0017ff92sub rsp, 88
0017ff96lea rax, [rip+0x197ce3]
0017ff9dlea rbx, [rip+0x1bc25c]
0017ffa4mov rbx, [rbx+48]
0017ffa8sub r15, 40
0017ffaccall caml_allocN
0017ffb1lea rsi, [r15+8]
0017ffb5mov [rsi-8], 4343
0017ffbdlea rdi, [rip-16068]
0017ffc4mov [rsi], rdi
0017ffc7mov rdi, 0x100000000000005
0017ffd1mov [rsi+8], rdi
0017ffd5mov [rsi+16], rax
0017ffd9mov [rsi+24], rbx
0017ffddlea rdi, [rip+0x1969bc]
0017ffe4add rdi, 8
0017ffe8mov rbx, rsp
0017ffebmov rsp, [r14+64]
0017ffefcall caml_initialize
0017fff4mov rsp, rbx
0017fff7lea rsi, [rip+0x196082]
0017fffelea rdi, [rip+0x19699b]
00180005mov rbx, rsp
00180008mov rsp, [r14+64]
0018000ccall caml_initialize
00180011mov rsp, rbx
00180014lea rsi, [rip+0x19607d]
0018001blea rdi, [rip+0x19697e]
00180022add rdi, 16
00180026mov rbx, rsp
00180029mov rsp, [r14+64]
0018002dcall caml_initialize
00180032mov rsp, rbx
00180035lea rsi, [rip+0x196074]
0018003clea rdi, [rip+0x19695d]
00180043add rdi, 24
00180047mov rbx, rsp
0018004amov rsp, [r14+64]
0018004ecall caml_initialize
00180053mov rsp, rbx
00180056lea rsi, [rip+0x19606b]
0018005dlea rdi, [rip+0x19693c]
00180064add rdi, 32
00180068mov rbx, rsp
0018006bmov rsp, [r14+64]
0018006fcall caml_initialize
00180074mov rsp, rbx
00180077lea rsi, [rip+0x19606a]
0018007elea rdi, [rip+0x19691b]
00180085add rdi, 40
00180089mov rbx, rsp
0018008cmov rsp, [r14+64]
00180090call caml_initialize
00180095mov rsp, rbx
00180098lea rsi, [rip+0x196061]
0018009flea rdi, [rip+0x1968fa]
001800a6add rdi, 48
001800aamov rbx, rsp
001800admov rsp, [r14+64]
001800b1call caml_initialize
001800b6mov rsp, rbx
001800b9mov ebx, 1
001800bemov eax, 1
001800c3call camlLexstate.latex_pat_577
001800c8mov [rsp], rax
001800ccmov ebx, 3
001800d1mov eax, 1
001800d6call camlLexstate.latex_pat_577
001800dbmov r12, rax
001800delea rdi, [rip+0x1968bb]
001800e5add rdi, 56
001800e9mov rsi, [rsp]
001800edmov rbx, rsp
001800f0mov rsp, [r14+64]
001800f4call caml_initialize
001800f9mov rsp, rbx
001800fclea rdi, [rip+0x19689d]
00180103add rdi, 64
00180107mov rsi, r12
0018010amov rbx, rsp
0018010dmov rsp, [r14+64]
00180111call caml_initialize
00180116mov rsp, rbx
00180119lea rsi, [rip+0x196000]
00180120lea rdi, [rip+0x196879]
00180127add rdi, 72
0018012bmov rbx, rsp
0018012emov rsp, [r14+64]
00180132call caml_initialize
00180137mov rsp, rbx
0018013alea rsi, [rip+0x195fff]
00180141lea rdi, [rip+0x196858]
00180148add rdi, 120
0018014cmov rbx, rsp
0018014fmov rsp, [r14+64]
00180153call caml_initialize
00180158mov rsp, rbx
0018015bcall caml_alloc3
00180160lea rsi, [r15+8]
00180164add rsi, 16
00180168mov [rsi-8], 1024
00180170mov [rsi], 1
00180177lea r12, [rsi-16]
0018017bmov [r12-8], 1024
00180184mov [r12], 1
0018018clea rdi, [rip+0x19680d]
00180193add rdi, 728
0018019amov rbx, rsp
0018019dmov rsp, [r14+64]
001801a1call caml_initialize
001801a6mov rsp, rbx
001801a9lea rdi, [rip+0x1967f0]
001801b0add rdi, 168
001801b7mov rsi, r12
001801bamov rbx, rsp
001801bdmov rsp, [r14+64]
001801c1call caml_initialize
001801c6mov rsp, rbx
001801c9call caml_alloc3
001801celea rax, [r15+8]
001801d2mov [rsp], rax
001801d6mov [rax-8], 3072
001801demov [rax], 1
001801e5lea rbx, [rip+0x197314]
001801ecmov [rax+8], rbx
001801f0mov [rax+16], 1
001801f8mov ebx, 1
001801fdlea rax, [rip+0x1972e4]
00180204call camlMyStack.create_init_278
00180209mov r12, rax
0018020clea rdi, [rip+0x19678d]
00180213add rdi, 736
0018021amov rsi, [rsp]
0018021emov rbx, rsp
00180221mov rsp, [r14+64]
00180225call caml_initialize
0018022amov rsp, rbx
0018022dlea rdi, [rip+0x19676c]
00180234add rdi, 456
0018023bmov rsi, r12
0018023emov rbx, rsp
00180241mov rsp, [r14+64]
00180245call caml_initialize
0018024amov rsp, rbx
0018024dlea rsi, [rip+0x195f04]
00180254lea rdi, [rip+0x196745]
0018025badd rdi, 96
0018025fmov rbx, rsp
00180262mov rsp, [r14+64]
00180266call caml_initialize
0018026bmov rsp, rbx
0018026emov esi, 1
00180273lea rdi, [rip+0x196726]
0018027aadd rdi, 88
0018027emov rbx, rsp
00180281mov rsp, [r14+64]
00180285call caml_initialize
0018028amov rsp, rbx
0018028dlea rsi, [rip+0x195edc]
00180294lea rdi, [rip+0x196705]
0018029badd rdi, 744
001802a2mov rbx, rsp
001802a5mov rsp, [r14+64]
001802a9call caml_initialize
001802aemov rsp, rbx
001802b1lea rsi, [rip+0x195ed0]
001802b8lea rdi, [rip+0x1966e1]
001802bfadd rdi, 752
001802c6mov rbx, rsp
001802c9mov rsp, [r14+64]
001802cdcall caml_initialize
001802d2mov rsp, rbx
001802d5lea rsi, [rip+0x195ecc]
001802dclea rdi, [rip+0x1966bd]
001802e3add rdi, 312
001802eamov rbx, rsp
001802edmov rsp, [r14+64]
001802f1call caml_initialize
001802f6mov rsp, rbx
001802f9mov edi, 1
001802femov rbx, rsp
00180301mov rsp, [r14+64]
00180305call caml_fresh_oo_id
0018030amov rsp, rbx
0018030dcall caml_alloc2
00180312lea rsi, [r15+8]
00180316mov [rsi-8], 2296
0018031elea rbx, [rip+0x1970db]
00180325mov [rsi], rbx
00180328mov [rsi+8], rax
0018032clea rdi, [rip+0x19666d]
00180333add rdi, 104
00180337mov rbx, rsp
0018033amov rsp, [r14+64]
0018033ecall caml_initialize
00180343mov rsp, rbx
00180346mov edi, 1
0018034bmov rbx, rsp
0018034emov rsp, [r14+64]
00180352call caml_fresh_oo_id
00180357mov rsp, rbx
0018035acall caml_alloc2
0018035flea rsi, [r15+8]
00180363mov [rsi-8], 2296
0018036blea rbx, [rip+0x19706e]
00180372mov [rsi], rbx
00180375mov [rsi+8], rax
00180379lea rdi, [rip+0x196620]
00180380add rdi, 112
00180384mov rbx, rsp
00180387mov rsp, [r14+64]
0018038bcall caml_initialize
00180390mov rsp, rbx
00180393sub r15, 224
0018039acall caml_allocN
0018039flea rax, [r15+8]
001803a3add rax, 208
001803a9mov [rsp], rax
001803admov [rax-8], 1024
001803b5mov [rax], 1
001803bcadd rax, -16
001803c0mov [rsp+8], rax
001803c5mov [rax-8], 1024
001803cdmov [rax], 1
001803d4add rax, -16
001803d8mov [rsp+16], rax
001803ddmov [rax-8], 1024
001803e5mov [rax], 1
001803ecadd rax, -16
001803f0mov [rsp+24], rax
001803f5mov [rax-8], 1024
001803fdmov [rax], 1
00180404add rax, -16
00180408mov [rsp+32], rax
0018040dmov [rax-8], 1024
00180415mov [rax], 1
0018041cadd rax, -16
00180420mov [rsp+40], rax
00180425mov [rax-8], 1024
0018042dmov [rax], 1
00180434add rax, -16
00180438mov [rsp+48], rax
0018043dmov [rax-8], 1024
00180445mov [rax], 1
0018044cadd rax, -16
00180450mov [rsp+56], rax
00180455mov [rax-8], 1024
0018045dmov [rax], 1
00180464add rax, -16
00180468mov [rsp+64], rax
0018046dmov [rax-8], 1024
00180475mov [rax], 3
0018047clea rbx, [rax-16]
00180480mov [rsp+72], rbx
00180485mov [rbx-8], 1024
0018048dlea rax, [rip+0x1a81ac]
00180494mov rax, [rax+8]
00180498mov rdi, [rax]
0018049bcmp rdi, 1
0018049fsete al
001804a2movzx rax, al
001804a6lea rax, [rax+rax+1]
001804abmov [rbx], rax
001804aelea r13, [rbx-16]
001804b2mov [r13-8], 1024
001804bacmp rdi, 1
001804besetne al
001804c1movzx rax, al
001804c5lea rax, [rax+rax+1]
001804camov [r13], rax
001804celea r12, [r13-16]
001804d2mov [r12-8], 1024
001804dbmov [r12], 1
001804e3lea rbp, [r12-16]
001804e8mov [rbp-8], 1024
001804f0mov [rbp], 1
001804f8lea rax, [rbp-16]
001804fcmov [rsp+80], rax
00180501mov rax, [rsp+80]
00180506mov [rax-8], 1024
0018050emov rax, [rsp+80]
00180513mov [rax], 1
0018051alea rdi, [rip+0x19647f]
00180521add rdi, 136
00180528mov rsi, [rsp]
0018052cmov rbx, rsp
0018052fmov rsp, [r14+64]
00180533call caml_initialize
00180538mov rsp, rbx
0018053blea rdi, [rip+0x19645e]
00180542add rdi, 128
00180549mov rsi, [rsp+8]
0018054emov rbx, rsp
00180551mov rsp, [r14+64]
00180555call caml_initialize
0018055amov rsp, rbx
0018055dlea rdi, [rip+0x19643c]
00180564add rdi, 144
0018056bmov rsi, [rsp+16]
00180570mov rbx, rsp
00180573mov rsp, [r14+64]
00180577call caml_initialize
0018057cmov rsp, rbx
0018057flea rdi, [rip+0x19641a]
00180586add rdi, 152
0018058dmov rsi, [rsp+24]
00180592mov rbx, rsp
00180595mov rsp, [r14+64]
00180599call caml_initialize
0018059emov rsp, rbx
001805a1lea rdi, [rip+0x1963f8]
001805a8add rdi, 160
001805afmov rsi, [rsp+32]
001805b4mov rbx, rsp
001805b7mov rsp, [r14+64]
001805bbcall caml_initialize
001805c0mov rsp, rbx
001805c3lea rdi, [rip+0x1963d6]
001805caadd rdi, 176
001805d1mov rsi, [rsp+40]
001805d6mov rbx, rsp
001805d9mov rsp, [r14+64]
001805ddcall caml_initialize
001805e2mov rsp, rbx
001805e5lea rdi, [rip+0x1963b4]
001805ecadd rdi, 184
001805f3mov rsi, [rsp+48]
001805f8mov rbx, rsp
001805fbmov rsp, [r14+64]
001805ffcall caml_initialize
00180604mov rsp, rbx
00180607lea rdi, [rip+0x196392]
0018060eadd rdi, 192
00180615mov rsi, [rsp+56]
0018061amov rbx, rsp
0018061dmov rsp, [r14+64]
00180621call caml_initialize
00180626mov rsp, rbx
00180629lea rdi, [rip+0x196370]
00180630add rdi, 200
00180637mov rsi, [rsp+64]
0018063cmov rbx, rsp
0018063fmov rsp, [r14+64]
00180643call caml_initialize
00180648mov rsp, rbx
0018064blea rdi, [rip+0x19634e]
00180652add rdi, 208
00180659mov rsi, [rsp+72]
0018065emov rbx, rsp
00180661mov rsp, [r14+64]
00180665call caml_initialize
0018066amov rsp, rbx
0018066dlea rdi, [rip+0x19632c]
00180674add rdi, 216
0018067bmov rsi, r13
0018067emov rbx, rsp
00180681mov rsp, [r14+64]
00180685call caml_initialize
0018068amov rsp, rbx
0018068dlea rdi, [rip+0x19630c]
00180694add rdi, 224
0018069bmov rsi, r12
0018069emov rbx, rsp
001806a1mov rsp, [r14+64]
001806a5call caml_initialize
001806aamov rsp, rbx
001806adlea rdi, [rip+0x1962ec]
001806b4add rdi, 264
001806bbmov rsi, rbp
001806bemov rbx, rsp
001806c1mov rsp, [r14+64]
001806c5call caml_initialize
001806camov rsp, rbx
001806cdlea rdi, [rip+0x1962cc]
001806d4add rdi, 272
001806dbmov rsi, [rsp+80]
001806e0mov rbx, rsp
001806e3mov rsp, [r14+64]
001806e7call caml_initialize
001806ecmov rsp, rbx
001806efcall caml_alloc1
001806f4lea rsi, [r15+8]
001806f8mov [rsi-8], 1024
00180700mov [rsi], 5
00180707lea rdi, [rip+0x196292]
0018070eadd rdi, 280
00180715mov rbx, rsp
00180718mov rsp, [r14+64]
0018071ccall caml_initialize
00180721mov rsp, rbx
00180724lea rsi, [rip+0x195a95]
0018072blea rdi, [rip+0x19626e]
00180732add rdi, 80
00180736mov rbx, rsp
00180739mov rsp, [r14+64]
0018073dcall caml_initialize
00180742mov rsp, rbx
00180745sub r15, 64
00180749call caml_allocN
0018074elea rsi, [r15+8]
00180752add rsi, 32
00180756mov [rsi-8], 3072
0018075emov [rsi], 1
00180765lea rax, [rip+0x196c44]
0018076cmov [rsi+8], rax
00180770mov [rsi+16], 1
00180778lea r12, [rsi-32]
0018077cmov [r12-8], 3072
00180785mov [r12], 1
0018078dlea rax, [rip+0x196c04]
00180794mov [r12+8], rax
00180799mov [r12+16], 1
001807a2lea rdi, [rip+0x1961f7]
001807a9add rdi, 440
001807b0mov rbx, rsp
001807b3mov rsp, [r14+64]
001807b7call caml_initialize
001807bcmov rsp, rbx
001807bflea rdi, [rip+0x1961da]
001807c6add rdi, 448
001807cdmov rsi, r12
001807d0mov rbx, rsp
001807d3mov rsp, [r14+64]
001807d7call caml_initialize
001807dcmov rsp, rbx
001807dfcall caml_alloc3
001807e4lea rsi, [r15+8]
001807e8mov [rsi-8], 3072
001807f0mov [rsi], 1
001807f7lea rax, [rip+0x196b82]
001807femov [rsi+8], rax
00180802mov [rsi+16], 1
0018080alea rdi, [rip+0x19618f]
00180811add rdi, 344
00180818mov rbx, rsp
0018081bmov rsp, [r14+64]
0018081fcall caml_initialize
00180824mov rsp, rbx
00180827lea rsi, [rip+0x1959aa]
0018082elea rdi, [rip+0x19616b]
00180835add rdi, 320
0018083cmov rbx, rsp
0018083fmov rsp, [r14+64]
00180843call caml_initialize
00180848mov rsp, rbx
0018084blea rax, [rip+0x19599e]
00180852mov [rsp], rax
00180856mov esi, 3
0018085bmov edi, 29
00180860lea rax, [rip+0x79439]
00180867call caml_c_call
0018086cmov r12, rax
0018086flea rdi, [rip+0x19612a]
00180876add rdi, 760
0018087dmov rsi, [rsp]
00180881mov rbx, rsp
00180884mov rsp, [r14+64]
00180888call caml_initialize
0018088dmov rsp, rbx
00180890lea rdi, [rip+0x196109]
00180897add rdi, 768
0018089emov rsi, r12
001808a1mov rbx, rsp
001808a4mov rsp, [r14+64]
001808a8call caml_initialize
001808admov rsp, rbx
001808b0lea rsi, [rip+0x1959a1]
001808b7lea r12, [rip+0x195982]
001808belea r13, [rip+0x195963]
001808c5lea rbp, [rip+0x19593c]
001808cclea rdi, [rip+0x1960cd]
001808d3add rdi, 232
001808damov rbx, rsp
001808ddmov rsp, [r14+64]
001808e1call caml_initialize
001808e6mov rsp, rbx
001808e9lea rdi, [rip+0x1960b0]
001808f0add rdi, 240
001808f7mov rsi, r12
001808famov rbx, rsp
001808fdmov rsp, [r14+64]
00180901call caml_initialize
00180906mov rsp, rbx
00180909lea rdi, [rip+0x196090]
00180910add rdi, 248
00180917mov rsi, r13
0018091amov rbx, rsp
0018091dmov rsp, [r14+64]
00180921call caml_initialize
00180926mov rsp, rbx
00180929lea rdi, [rip+0x196070]
00180930add rdi, 256
00180937mov rsi, rbp
0018093amov rbx, rsp
0018093dmov rsp, [r14+64]
00180941call caml_initialize
00180946mov rsp, rbx
00180949lea rsi, [rip+0x195938]
00180950lea r12, [rip+0x195919]
00180957lea rdi, [rip+0x196042]
0018095eadd rdi, 288
00180965mov rbx, rsp
00180968mov rsp, [r14+64]
0018096ccall caml_initialize
00180971mov rsp, rbx
00180974lea rdi, [rip+0x196025]
0018097badd rdi, 296
00180982mov rsi, r12
00180985mov rbx, rsp
00180988mov rsp, [r14+64]
0018098ccall caml_initialize
00180991mov rsp, rbx
00180994lea rsi, [rip+0x195905]
0018099blea rdi, [rip+0x195ffe]
001809a2add rdi, 304
001809a9mov rbx, rsp
001809acmov rsp, [r14+64]
001809b0call caml_initialize
001809b5mov rsp, rbx
001809b8lea rsi, [rip+0x195919]
001809bflea r12, [rip+0x1958f2]
001809c6lea rdi, [rip+0x195fd3]
001809cdadd rdi, 328
001809d4mov rbx, rsp
001809d7mov rsp, [r14+64]
001809dbcall caml_initialize
001809e0mov rsp, rbx
001809e3lea rdi, [rip+0x195fb6]
001809eaadd rdi, 336
001809f1mov rsi, r12
001809f4mov rbx, rsp
001809f7mov rsp, [r14+64]
001809fbcall caml_initialize
00180a00mov rsp, rbx
00180a03lea rsi, [rip+0x195906]
00180a0alea r12, [rip+0x1958e7]
00180a11lea rdi, [rip+0x195f88]
00180a18add rdi, 360
00180a1fmov rbx, rsp
00180a22mov rsp, [r14+64]
00180a26call caml_initialize
00180a2bmov rsp, rbx
00180a2elea rdi, [rip+0x195f6b]
00180a35add rdi, 352
00180a3cmov rsi, r12
00180a3fmov rbx, rsp
00180a42mov rsp, [r14+64]
00180a46call caml_initialize
00180a4bmov rsp, rbx
00180a4ecall caml_alloc3
00180a53lea rsi, [r15+8]
00180a57mov [rsi-8], 3072
00180a5fmov [rsi], 1
00180a66lea rax, [rip+0x196703]
00180a6dmov [rsi+8], rax
00180a71mov [rsi+16], 1
00180a79lea rdi, [rip+0x195f20]
00180a80add rdi, 776
00180a87mov rbx, rsp
00180a8amov rsp, [r14+64]
00180a8ecall caml_initialize
00180a93mov rsp, rbx
00180a96lea rsi, [rip+0x195893]
00180a9dlea rdi, [rip+0x195efc]
00180aa4add rdi, 368
00180aabmov rbx, rsp
00180aaemov rsp, [r14+64]
00180ab2call caml_initialize
00180ab7mov rsp, rbx
00180abalea rsi, [rip+0x19589f]
00180ac1lea r12, [rip+0x195880]
00180ac8lea rdi, [rip+0x195ed1]
00180acfadd rdi, 384
00180ad6mov rbx, rsp
00180ad9mov rsp, [r14+64]
00180addcall caml_initialize
00180ae2mov rsp, rbx
00180ae5lea rdi, [rip+0x195eb4]
00180aecadd rdi, 392
00180af3mov rsi, r12
00180af6mov rbx, rsp
00180af9mov rsp, [r14+64]
00180afdcall caml_initialize
00180b02mov rsp, rbx
00180b05lea rsi, [rip+0x195884]
00180b0clea r12, [rip+0x195865]
00180b13lea rdi, [rip+0x195e86]
00180b1aadd rdi, 784
00180b21mov rbx, rsp
00180b24mov rsp, [r14+64]
00180b28call caml_initialize
00180b2dmov rsp, rbx
00180b30lea rdi, [rip+0x195e69]
00180b37add rdi, 792
00180b3emov rsi, r12
00180b41mov rbx, rsp
00180b44mov rsp, [r14+64]
00180b48call caml_initialize
00180b4dmov rsp, rbx
00180b50lea rsi, [rip+0x195871]
00180b57lea r12, [rip+0x19584a]
00180b5elea rdi, [rip+0x195e3b]
00180b65add rdi, 416
00180b6cmov rbx, rsp
00180b6fmov rsp, [r14+64]
00180b73call caml_initialize
00180b78mov rsp, rbx
00180b7blea rdi, [rip+0x195e1e]
00180b82add rdi, 424
00180b89mov rsi, r12
00180b8cmov rbx, rsp
00180b8fmov rsp, [r14+64]
00180b93call caml_initialize
00180b98mov rsp, rbx
00180b9blea rsi, [rip+0x19583e]
00180ba2lea rdi, [rip+0x195df7]
00180ba9add rdi, 400
00180bb0mov rbx, rsp
00180bb3mov rsp, [r14+64]
00180bb7call caml_initialize
00180bbcmov rsp, rbx
00180bbflea rsi, [rip+0x195832]
00180bc6lea rdi, [rip+0x195dd3]
00180bcdadd rdi, 408
00180bd4mov rbx, rsp
00180bd7mov rsp, [r14+64]
00180bdbcall caml_initialize
00180be0mov rsp, rbx
00180be3call caml_alloc1
00180be8lea rsi, [r15+8]
00180becmov [rsi-8], 1024
00180bf4mov [rsi], 1
00180bfblea rdi, [rip+0x195d9e]
00180c02add rdi, 432
00180c09mov rbx, rsp
00180c0cmov rsp, [r14+64]
00180c10call caml_initialize
00180c15mov rsp, rbx
00180c18lea rsi, [rip+0x195809]
00180c1flea r12, [rip+0x1957ea]
00180c26lea rdi, [rip+0x195d73]
00180c2dadd rdi, 464
00180c34mov rbx, rsp
00180c37mov rsp, [r14+64]
00180c3bcall caml_initialize
00180c40mov rsp, rbx
00180c43lea rdi, [rip+0x195d56]
00180c4aadd rdi, 472
00180c51mov rsi, r12
00180c54mov rbx, rsp
00180c57mov rsp, [r14+64]
00180c5bcall caml_initialize
00180c60mov rsp, rbx
00180c63lea rsi, [rip+0x1957d6]
00180c6alea rdi, [rip+0x195d2f]
00180c71add rdi, 512
00180c78mov rbx, rsp
00180c7bmov rsp, [r14+64]
00180c7fcall caml_initialize
00180c84mov rsp, rbx
00180c87lea rsi, [rip+0x1957ca]
00180c8elea rdi, [rip+0x195d0b]
00180c95add rdi, 800
00180c9cmov rbx, rsp
00180c9fmov rsp, [r14+64]
00180ca3call caml_initialize
00180ca8mov rsp, rbx
00180cablea rsi, [rip+0x1957c6]
00180cb2lea rdi, [rip+0x195ce7]
00180cb9add rdi, 808
00180cc0mov rbx, rsp
00180cc3mov rsp, [r14+64]
00180cc7call caml_initialize
00180cccmov rsp, rbx
00180ccflea rsi, [rip+0x19580a]
00180cd6lea r12, [rip+0x1957eb]
00180cddlea r13, [rip+0x1957cc]
00180ce4lea rbp, [rip+0x1957ad]
00180ceblea rdi, [rip+0x195cae]
00180cf2add rdi, 816
00180cf9mov rbx, rsp
00180cfcmov rsp, [r14+64]
00180d00call caml_initialize
00180d05mov rsp, rbx
00180d08lea rdi, [rip+0x195c91]
00180d0fadd rdi, 824
00180d16mov rsi, r12
00180d19mov rbx, rsp
00180d1cmov rsp, [r14+64]
00180d20call caml_initialize
00180d25mov rsp, rbx
00180d28lea rdi, [rip+0x195c71]
00180d2fadd rdi, 832
00180d36mov rsi, r13
00180d39mov rbx, rsp
00180d3cmov rsp, [r14+64]
00180d40call caml_initialize
00180d45mov rsp, rbx
00180d48lea rdi, [rip+0x195c51]
00180d4fadd rdi, 840
00180d56mov rsi, rbp
00180d59mov rbx, rsp
00180d5cmov rsp, [r14+64]
00180d60call caml_initialize
00180d65mov rsp, rbx
00180d68lea rsi, [rip+0x195789]
00180d6flea rdi, [rip+0x195c2a]
00180d76add rdi, 848
00180d7dmov rbx, rsp
00180d80mov rsp, [r14+64]
00180d84call caml_initialize
00180d89mov rsp, rbx
00180d8clea rsi, [rip+0x195815]
00180d93lea rax, [rip+0x1957f6]
00180d9amov [rsp], rax
00180d9elea rax, [rip+0x1957cb]
00180da5mov [rsp+8], rax
00180daalea r12, [rip+0x1957a7]
00180db1lea r13, [rip+0x195788]
00180db8lea rbp, [rip+0x195769]
00180dbflea rax, [rip+0x19574a]
00180dc6mov [rsp+16], rax
00180dcblea rdi, [rip+0x195bce]
00180dd2add rdi, 528
00180dd9mov rbx, rsp
00180ddcmov rsp, [r14+64]
00180de0call caml_initialize
00180de5mov rsp, rbx
00180de8lea rdi, [rip+0x195bb1]
00180defadd rdi, 536
00180df6mov rsi, [rsp]
00180dfamov rbx, rsp
00180dfdmov rsp, [r14+64]
00180e01call caml_initialize
00180e06mov rsp, rbx
00180e09lea rdi, [rip+0x195b90]
00180e10add rdi, 576
00180e17mov rsi, [rsp+8]
00180e1cmov rbx, rsp
00180e1fmov rsp, [r14+64]
00180e23call caml_initialize
00180e28mov rsp, rbx
00180e2blea rdi, [rip+0x195b6e]
00180e32add rdi, 544
00180e39mov rsi, r12
00180e3cmov rbx, rsp
00180e3fmov rsp, [r14+64]
00180e43call caml_initialize
00180e48mov rsp, rbx
00180e4blea rdi, [rip+0x195b4e]
00180e52add rdi, 552
00180e59mov rsi, r13
00180e5cmov rbx, rsp
00180e5fmov rsp, [r14+64]
00180e63call caml_initialize
00180e68mov rsp, rbx
00180e6blea rdi, [rip+0x195b2e]
00180e72add rdi, 584
00180e79mov rsi, rbp
00180e7cmov rbx, rsp
00180e7fmov rsp, [r14+64]
00180e83call caml_initialize
00180e88mov rsp, rbx
00180e8blea rdi, [rip+0x195b0e]
00180e92add rdi, 592
00180e99mov rsi, [rsp+16]
00180e9emov rbx, rsp
00180ea1mov rsp, [r14+64]
00180ea5call caml_initialize
00180eaamov rsp, rbx
00180eadlea rsi, [rip+0x19570c]
00180eb4lea rdi, [rip+0x195ae5]
00180ebbadd rdi, 856
00180ec2mov rbx, rsp
00180ec5mov rsp, [r14+64]
00180ec9call caml_initialize
00180ecemov rsp, rbx
00180ed1mov edi, 1
00180ed6mov rbx, rsp
00180ed9mov rsp, [r14+64]
00180eddcall caml_fresh_oo_id
00180ee2mov rsp, rbx
00180ee5call caml_alloc2
00180eealea rsi, [r15+8]
00180eeemov [rsi-8], 2296
00180ef6lea rbx, [rip+0x1960db]
00180efdmov [rsi], rbx
00180f00mov [rsi+8], rax
00180f04lea rdi, [rip+0x195a95]
00180f0badd rdi, 864
00180f12mov rbx, rsp
00180f15mov rsp, [r14+64]
00180f19call caml_initialize
00180f1emov rsp, rbx
00180f21lea rsi, [rip+0x1956b0]
00180f28lea rdi, [rip+0x195a71]
00180f2fadd rdi, 872
00180f36mov rbx, rsp
00180f39mov rsp, [r14+64]
00180f3dcall caml_initialize
00180f42mov rsp, rbx
00180f45lea rsi, [rip+0x1956a4]
00180f4clea rdi, [rip+0x195a4d]
00180f53add rdi, 880
00180f5amov rbx, rsp
00180f5dmov rsp, [r14+64]
00180f61call caml_initialize
00180f66mov rsp, rbx
00180f69lea rsi, [rip+0x1956b0]
00180f70lea r12, [rip+0x195691]
00180f77lea rdi, [rip+0x195a22]
00180f7eadd rdi, 888
00180f85mov rbx, rsp
00180f88mov rsp, [r14+64]
00180f8ccall caml_initialize
00180f91mov rsp, rbx
00180f94lea rdi, [rip+0x195a05]
00180f9badd rdi, 896
00180fa2mov rsi, r12
00180fa5mov rbx, rsp
00180fa8mov rsp, [r14+64]
00180faccall caml_initialize
00180fb1mov rsp, rbx
00180fb4lea rsi, [rip+0x19569d]
00180fbblea r12, [rip+0x19567e]
00180fc2lea rdi, [rip+0x1959d7]
00180fc9add rdi, 496
00180fd0mov rbx, rsp
00180fd3mov rsp, [r14+64]
00180fd7call caml_initialize
00180fdcmov rsp, rbx
00180fdflea rdi, [rip+0x1959ba]
00180fe6add rdi, 504
00180fedmov rsi, r12
00180ff0mov rbx, rsp
00180ff3mov rsp, [r14+64]
00180ff7call caml_initialize
00180ffcmov rsp, rbx
00180ffflea rsi, [rip+0x19566a]
00181006lea rdi, [rip+0x195993]
0018100dadd rdi, 480
00181014mov rbx, rsp
00181017mov rsp, [r14+64]
0018101bcall caml_initialize
00181020mov rsp, rbx
00181023lea rsi, [rip+0x19565e]
0018102alea rdi, [rip+0x19596f]
00181031add rdi, 488
00181038mov rbx, rsp
0018103bmov rsp, [r14+64]
0018103fcall caml_initialize
00181044mov rsp, rbx
00181047lea rsi, [rip+0x195652]
0018104elea rdi, [rip+0x19594b]
00181055add rdi, 376
0018105cmov rbx, rsp
0018105fmov rsp, [r14+64]
00181063call caml_initialize
00181068mov rsp, rbx
0018106blea rsi, [rip+0x19564e]
00181072lea rdi, [rip+0x195927]
00181079add rdi, 904
00181080mov rbx, rsp
00181083mov rsp, [r14+64]
00181087call caml_initialize
0018108cmov rsp, rbx
0018108flea rsi, [rip+0x19564a]
00181096lea rdi, [rip+0x195903]
0018109dadd rdi, 912
001810a4mov rbx, rsp
001810a7mov rsp, [r14+64]
001810abcall caml_initialize
001810b0mov rsp, rbx
001810b3lea rsi, [rip+0x195646]
001810balea rdi, [rip+0x1958df]
001810c1add rdi, 520
001810c8mov rbx, rsp
001810cbmov rsp, [r14+64]
001810cfcall caml_initialize
001810d4mov rsp, rbx
001810d7lea rsi, [rip+0x19563a]
001810delea rdi, [rip+0x1958bb]
001810e5add rdi, 600
001810ecmov rbx, rsp
001810efmov rsp, [r14+64]
001810f3call caml_initialize
001810f8mov rsp, rbx
001810fblea rsi, [rip+0x19562e]
00181102lea rdi, [rip+0x195897]
00181109add rdi, 920
00181110mov rbx, rsp
00181113mov rsp, [r14+64]
00181117call caml_initialize
0018111cmov rsp, rbx
0018111flea rsi, [rip+0x195622]
00181126lea rdi, [rip+0x195873]
0018112dadd rdi, 928
00181134mov rbx, rsp
00181137mov rsp, [r14+64]
0018113bcall caml_initialize
00181140mov rsp, rbx
00181143lea rsi, [rip+0x195616]
0018114alea rdi, [rip+0x19584f]
00181151add rdi, 936
00181158mov rbx, rsp
0018115bmov rsp, [r14+64]
0018115fcall caml_initialize
00181164mov rsp, rbx
00181167lea rsi, [rip+0x195612]
0018116elea rdi, [rip+0x19582b]
00181175add rdi, 616
0018117cmov rbx, rsp
0018117fmov rsp, [r14+64]
00181183call caml_initialize
00181188mov rsp, rbx
0018118blea rsi, [rip+0x195626]
00181192lea r12, [rip+0x1955ff]
00181199lea rdi, [rip+0x195800]
001811a0add rdi, 608
001811a7mov rbx, rsp
001811aamov rsp, [r14+64]
001811aecall caml_initialize
001811b3mov rsp, rbx
001811b6lea rdi, [rip+0x1957e3]
001811bdadd rdi, 560
001811c4mov rsi, r12
001811c7mov rbx, rsp
001811camov rsp, [r14+64]
001811cecall caml_initialize
001811d3mov rsp, rbx
001811d6lea rsi, [rip+0x1955f3]
001811ddlea rdi, [rip+0x1957bc]
001811e4add rdi, 568
001811ebmov rbx, rsp
001811eemov rsp, [r14+64]
001811f2call caml_initialize
001811f7mov rsp, rbx
001811falea rsi, [rip+0x1955ef]
00181201lea rdi, [rip+0x195798]
00181208add rdi, 944
0018120fmov rbx, rsp
00181212mov rsp, [r14+64]
00181216call caml_initialize
0018121bmov rsp, rbx
0018121elea rsi, [rip+0x1955eb]
00181225lea rdi, [rip+0x195774]
0018122cadd rdi, 624
00181233mov rbx, rsp
00181236mov rsp, [r14+64]
0018123acall caml_initialize
0018123fmov rsp, rbx
00181242lea rsi, [rip+0x195647]
00181249lea r12, [rip+0x195620]
00181250lea r13, [rip+0x1955f9]
00181257lea rbp, [rip+0x1955d2]
0018125elea rdi, [rip+0x19573b]
00181265add rdi, 632
0018126cmov rbx, rsp
0018126fmov rsp, [r14+64]
00181273call caml_initialize
00181278mov rsp, rbx
0018127blea rdi, [rip+0x19571e]
00181282add rdi, 640
00181289mov rsi, r12
0018128cmov rbx, rsp
0018128fmov rsp, [r14+64]
00181293call caml_initialize
00181298mov rsp, rbx
0018129blea rdi, [rip+0x1956fe]
001812a2add rdi, 648
001812a9mov rsi, r13
001812acmov rbx, rsp
001812afmov rsp, [r14+64]
001812b3call caml_initialize
001812b8mov rsp, rbx
001812bblea rdi, [rip+0x1956de]
001812c2add rdi, 656
001812c9mov rsi, rbp
001812ccmov rbx, rsp
001812cfmov rsp, [r14+64]
001812d3call caml_initialize
001812d8mov rsp, rbx
001812dblea rsi, [rip+0x1955ce]
001812e2lea rdi, [rip+0x1956b7]
001812e9add rdi, 664
001812f0mov rbx, rsp
001812f3mov rsp, [r14+64]
001812f7call caml_initialize
001812fcmov rsp, rbx
001812fflea rsi, [rip+0x1955ca]
00181306lea rdi, [rip+0x195693]
0018130dadd rdi, 672
00181314mov rbx, rsp
00181317mov rsp, [r14+64]
0018131bcall caml_initialize
00181320mov rsp, rbx
00181323lea rsi, [rip+0x1955c6]
0018132alea rdi, [rip+0x19566f]
00181331add rdi, 680
00181338mov rbx, rsp
0018133bmov rsp, [r14+64]
0018133fcall caml_initialize
00181344mov rsp, rbx
00181347lea rsi, [rip+0x1955c2]
0018134elea rdi, [rip+0x19564b]
00181355add rdi, 688
0018135cmov rbx, rsp
0018135fmov rsp, [r14+64]
00181363call caml_initialize
00181368mov rsp, rbx
0018136bcall caml_alloc1
00181370lea rsi, [r15+8]
00181374mov [rsi-8], 1024
0018137cmov [rsi], 1
00181383lea rdi, [rip+0x195616]
0018138aadd rdi, 952
00181391mov rbx, rsp
00181394mov rsp, [r14+64]
00181398call caml_initialize
0018139dmov rsp, rbx
001813a0lea rsi, [rip+0x1955a9]
001813a7lea r12, [rip+0x195582]
001813aelea rdi, [rip+0x1955eb]
001813b5add rdi, 712
001813bcmov rbx, rsp
001813bfmov rsp, [r14+64]
001813c3call caml_initialize
001813c8mov rsp, rbx
001813cblea rdi, [rip+0x1955ce]
001813d2add rdi, 720
001813d9mov rsi, r12
001813dcmov rbx, rsp
001813dfmov rsp, [r14+64]
001813e3call caml_initialize
001813e8mov rsp, rbx
001813eblea rsi, [rip+0x19558e]
001813f2lea r12, [rip+0x19556f]
001813f9lea rdi, [rip+0x1955a0]
00181400add rdi, 696
00181407mov rbx, rsp
0018140amov rsp, [r14+64]
0018140ecall caml_initialize
00181413mov rsp, rbx
00181416lea rdi, [rip+0x195583]
0018141dadd rdi, 704
00181424mov rsi, r12
00181427mov rbx, rsp
0018142amov rsp, [r14+64]
0018142ecall caml_initialize
00181433mov rsp, rbx
00181436mov eax, 1
0018143badd rsp, 88
0018143fret
00181440
00181440loc_181440:
00181440push 44
00181442call caml_call_realloc_stack
00181447pop r10
00181449jmp 0x17ff92
0017ff80
0017ff80camlLexstate.entry:
0017ff80lea r10, [rsp-408]
0017ff88cmp r10, [r14+40]
0017ff8cjb 0x181440
0017ff92
0017ff92loc_17ff92:
0017ff92sub rsp, 88
0017ff96lea rax, [rip+0x197ce3]
0017ff9dlea rbx, [rip+0x1bc25c]
0017ffa4mov rbx, [rbx+48]
0017ffa8sub r15, 40
0017ffaccall caml_allocN
0017ffb1lea rsi, [r15+8]
0017ffb5mov [rsi-8], 4343
0017ffbdlea rdi, [rip-16068]
0017ffc4mov [rsi], rdi
0017ffc7mov rdi, 0x100000000000005
0017ffd1mov [rsi+8], rdi
0017ffd5mov [rsi+16], rax
0017ffd9mov [rsi+24], rbx
0017ffddlea rdi, [rip+0x1969bc]
0017ffe4add rdi, 8
0017ffe8mov rbx, rsp
0017ffebmov rsp, [r14+64]
0017ffefcall caml_initialize
0017fff4mov rsp, rbx
0017fff7lea rsi, [rip+0x196082]
0017fffelea rdi, [rip+0x19699b]
00180005mov rbx, rsp
00180008mov rsp, [r14+64]
0018000ccall caml_initialize
00180011mov rsp, rbx
00180014lea rsi, [rip+0x19607d]
0018001blea rdi, [rip+0x19697e]
00180022add rdi, 16
00180026mov rbx, rsp
00180029mov rsp, [r14+64]
0018002dcall caml_initialize
00180032mov rsp, rbx
00180035lea rsi, [rip+0x196074]
0018003clea rdi, [rip+0x19695d]
00180043add rdi, 24
00180047mov rbx, rsp
0018004amov rsp, [r14+64]
0018004ecall caml_initialize
00180053mov rsp, rbx
00180056lea rsi, [rip+0x19606b]
0018005dlea rdi, [rip+0x19693c]
00180064add rdi, 32
00180068mov rbx, rsp
0018006bmov rsp, [r14+64]
0018006fcall caml_initialize
00180074mov rsp, rbx
00180077lea rsi, [rip+0x19606a]
0018007elea rdi, [rip+0x19691b]
00180085add rdi, 40
00180089mov rbx, rsp
0018008cmov rsp, [r14+64]
00180090call caml_initialize
00180095mov rsp, rbx
00180098lea rsi, [rip+0x196061]
0018009flea rdi, [rip+0x1968fa]
001800a6add rdi, 48
001800aamov rbx, rsp
001800admov rsp, [r14+64]
001800b1call caml_initialize
001800b6mov rsp, rbx
001800b9mov ebx, 1
001800bemov eax, 1
001800c3call camlLexstate.latex_pat_577
001800c8mov [rsp], rax
001800ccmov ebx, 3
001800d1mov eax, 1
001800d6call camlLexstate.latex_pat_577
001800dbmov r12, rax
001800delea rdi, [rip+0x1968bb]
001800e5add rdi, 56
001800e9mov rsi, [rsp]
001800edmov rbx, rsp
001800f0mov rsp, [r14+64]
001800f4call caml_initialize
001800f9mov rsp, rbx
001800fclea rdi, [rip+0x19689d]
00180103add rdi, 64
00180107mov rsi, r12
0018010amov rbx, rsp
0018010dmov rsp, [r14+64]
00180111call caml_initialize
00180116mov rsp, rbx
00180119lea rsi, [rip+0x196000]
00180120lea rdi, [rip+0x196879]
00180127add rdi, 72
0018012bmov rbx, rsp
0018012emov rsp, [r14+64]
00180132call caml_initialize
00180137mov rsp, rbx
0018013alea rsi, [rip+0x195fff]
00180141lea rdi, [rip+0x196858]
00180148add rdi, 120
0018014cmov rbx, rsp
0018014fmov rsp, [r14+64]
00180153call caml_initialize
00180158mov rsp, rbx
0018015bcall caml_alloc3
00180160lea rsi, [r15+8]
00180164add rsi, 16
00180168mov [rsi-8], 1024
00180170mov [rsi], 1
00180177lea r12, [rsi-16]
0018017bmov [r12-8], 1024
00180184mov [r12], 1
0018018clea rdi, [rip+0x19680d]
00180193add rdi, 728
0018019amov rbx, rsp
0018019dmov rsp, [r14+64]
001801a1call caml_initialize
001801a6mov rsp, rbx
001801a9lea rdi, [rip+0x1967f0]
001801b0add rdi, 168
001801b7mov rsi, r12
001801bamov rbx, rsp
001801bdmov rsp, [r14+64]
001801c1call caml_initialize
001801c6mov rsp, rbx
001801c9call caml_alloc3
001801celea rax, [r15+8]
001801d2mov [rsp], rax
001801d6mov [rax-8], 3072
001801demov [rax], 1
001801e5lea rbx, [rip+0x197314]
001801ecmov [rax+8], rbx
001801f0mov [rax+16], 1
001801f8mov ebx, 1
001801fdlea rax, [rip+0x1972e4]
00180204call camlMyStack.create_init_278
00180209mov r12, rax
0018020clea rdi, [rip+0x19678d]
00180213add rdi, 736
0018021amov rsi, [rsp]
0018021emov rbx, rsp
00180221mov rsp, [r14+64]
00180225call caml_initialize
0018022amov rsp, rbx
0018022dlea rdi, [rip+0x19676c]
00180234add rdi, 456
0018023bmov rsi, r12
0018023emov rbx, rsp
00180241mov rsp, [r14+64]
00180245call caml_initialize
0018024amov rsp, rbx
0018024dlea rsi, [rip+0x195f04]
00180254lea rdi, [rip+0x196745]
0018025badd rdi, 96
0018025fmov rbx, rsp
00180262mov rsp, [r14+64]
00180266call caml_initialize
0018026bmov rsp, rbx
0018026emov esi, 1
00180273lea rdi, [rip+0x196726]
0018027aadd rdi, 88
0018027emov rbx, rsp
00180281mov rsp, [r14+64]
00180285call caml_initialize
0018028amov rsp, rbx
0018028dlea rsi, [rip+0x195edc]
00180294lea rdi, [rip+0x196705]
0018029badd rdi, 744
001802a2mov rbx, rsp
001802a5mov rsp, [r14+64]
001802a9call caml_initialize
001802aemov rsp, rbx
001802b1lea rsi, [rip+0x195ed0]
001802b8lea rdi, [rip+0x1966e1]
001802bfadd rdi, 752
001802c6mov rbx, rsp
001802c9mov rsp, [r14+64]
001802cdcall caml_initialize
001802d2mov rsp, rbx
001802d5lea rsi, [rip+0x195ecc]
001802dclea rdi, [rip+0x1966bd]
001802e3add rdi, 312
001802eamov rbx, rsp
001802edmov rsp, [r14+64]
001802f1call caml_initialize
001802f6mov rsp, rbx
001802f9mov edi, 1
001802femov rbx, rsp
00180301mov rsp, [r14+64]
00180305call caml_fresh_oo_id
0018030amov rsp, rbx
0018030dcall caml_alloc2
00180312lea rsi, [r15+8]
00180316mov [rsi-8], 2296
0018031elea rbx, [rip+0x1970db]
00180325mov [rsi], rbx
00180328mov [rsi+8], rax
0018032clea rdi, [rip+0x19666d]
00180333add rdi, 104
00180337mov rbx, rsp
0018033amov rsp, [r14+64]
0018033ecall caml_initialize
00180343mov rsp, rbx
00180346mov edi, 1
0018034bmov rbx, rsp
0018034emov rsp, [r14+64]
00180352call caml_fresh_oo_id
00180357mov rsp, rbx
0018035acall caml_alloc2
0018035flea rsi, [r15+8]
00180363mov [rsi-8], 2296
0018036blea rbx, [rip+0x19706e]
00180372mov [rsi], rbx
00180375mov [rsi+8], rax
00180379lea rdi, [rip+0x196620]
00180380add rdi, 112
00180384mov rbx, rsp
00180387mov rsp, [r14+64]
0018038bcall caml_initialize
00180390mov rsp, rbx
00180393sub r15, 224
0018039acall caml_allocN
0018039flea rax, [r15+8]
001803a3add rax, 208
001803a9mov [rsp], rax
001803admov [rax-8], 1024
001803b5mov [rax], 1
001803bcadd rax, -16
001803c0mov [rsp+8], rax
001803c5mov [rax-8], 1024
001803cdmov [rax], 1
001803d4add rax, -16
001803d8mov [rsp+16], rax
001803ddmov [rax-8], 1024
001803e5mov [rax], 1
001803ecadd rax, -16
001803f0mov [rsp+24], rax
001803f5mov [rax-8], 1024
001803fdmov [rax], 1
00180404add rax, -16
00180408mov [rsp+32], rax
0018040dmov [rax-8], 1024
00180415mov [rax], 1
0018041cadd rax, -16
00180420mov [rsp+40], rax
00180425mov [rax-8], 1024
0018042dmov [rax], 1
00180434add rax, -16
00180438mov [rsp+48], rax
0018043dmov [rax-8], 1024
00180445mov [rax], 1
0018044cadd rax, -16
00180450mov [rsp+56], rax
00180455mov [rax-8], 1024
0018045dmov [rax], 1
00180464add rax, -16
00180468mov [rsp+64], rax
0018046dmov [rax-8], 1024
00180475mov [rax], 3
0018047clea rbx, [rax-16]
00180480mov [rsp+72], rbx
00180485mov [rbx-8], 1024
0018048dlea rax, [rip+0x1a81ac]
00180494mov rax, [rax+8]
00180498mov rdi, [rax]
0018049bcmp rdi, 1
0018049fsete al
001804a2movzx rax, al
001804a6lea rax, [rax+rax+1]
001804abmov [rbx], rax
001804aelea r13, [rbx-16]
001804b2mov [r13-8], 1024
001804bacmp rdi, 1
001804besetne al
001804c1movzx rax, al
001804c5lea rax, [rax+rax+1]
001804camov [r13], rax
001804celea r12, [r13-16]
001804d2mov [r12-8], 1024
001804dbmov [r12], 1
001804e3lea rbp, [r12-16]
001804e8mov [rbp-8], 1024
001804f0mov [rbp], 1
001804f8lea rax, [rbp-16]
001804fcmov [rsp+80], rax
00180501mov rax, [rsp+80]
00180506mov [rax-8], 1024
0018050emov rax, [rsp+80]
00180513mov [rax], 1
0018051alea rdi, [rip+0x19647f]
00180521add rdi, 136
00180528mov rsi, [rsp]
0018052cmov rbx, rsp
0018052fmov rsp, [r14+64]
00180533call caml_initialize
00180538mov rsp, rbx
0018053blea rdi, [rip+0x19645e]
00180542add rdi, 128
00180549mov rsi, [rsp+8]
0018054emov rbx, rsp
00180551mov rsp, [r14+64]
00180555call caml_initialize
0018055amov rsp, rbx
0018055dlea rdi, [rip+0x19643c]
00180564add rdi, 144
0018056bmov rsi, [rsp+16]
00180570mov rbx, rsp
00180573mov rsp, [r14+64]
00180577call caml_initialize
0018057cmov rsp, rbx
0018057flea rdi, [rip+0x19641a]
00180586add rdi, 152
0018058dmov rsi, [rsp+24]
00180592mov rbx, rsp
00180595mov rsp, [r14+64]
00180599call caml_initialize
0018059emov rsp, rbx
001805a1lea rdi, [rip+0x1963f8]
001805a8add rdi, 160
001805afmov rsi, [rsp+32]
001805b4mov rbx, rsp
001805b7mov rsp, [r14+64]
001805bbcall caml_initialize
001805c0mov rsp, rbx
001805c3lea rdi, [rip+0x1963d6]
001805caadd rdi, 176
001805d1mov rsi, [rsp+40]
001805d6mov rbx, rsp
001805d9mov rsp, [r14+64]
001805ddcall caml_initialize
001805e2mov rsp, rbx
001805e5lea rdi, [rip+0x1963b4]
001805ecadd rdi, 184
001805f3mov rsi, [rsp+48]
001805f8mov rbx, rsp
001805fbmov rsp, [r14+64]
001805ffcall caml_initialize
00180604mov rsp, rbx
00180607lea rdi, [rip+0x196392]
0018060eadd rdi, 192
00180615mov rsi, [rsp+56]
0018061amov rbx, rsp
0018061dmov rsp, [r14+64]
00180621call caml_initialize
00180626mov rsp, rbx
00180629lea rdi, [rip+0x196370]
00180630add rdi, 200
00180637mov rsi, [rsp+64]
0018063cmov rbx, rsp
0018063fmov rsp, [r14+64]
00180643call caml_initialize
00180648mov rsp, rbx
0018064blea rdi, [rip+0x19634e]
00180652add rdi, 208
00180659mov rsi, [rsp+72]
0018065emov rbx, rsp
00180661mov rsp, [r14+64]
00180665call caml_initialize
0018066amov rsp, rbx
0018066dlea rdi, [rip+0x19632c]
00180674add rdi, 216
0018067bmov rsi, r13
0018067emov rbx, rsp
00180681mov rsp, [r14+64]
00180685call caml_initialize
0018068amov rsp, rbx
0018068dlea rdi, [rip+0x19630c]
00180694add rdi, 224
0018069bmov rsi, r12
0018069emov rbx, rsp
001806a1mov rsp, [r14+64]
001806a5call caml_initialize
001806aamov rsp, rbx
001806adlea rdi, [rip+0x1962ec]
001806b4add rdi, 264
001806bbmov rsi, rbp
001806bemov rbx, rsp
001806c1mov rsp, [r14+64]
001806c5call caml_initialize
001806camov rsp, rbx
001806cdlea rdi, [rip+0x1962cc]
001806d4add rdi, 272
001806dbmov rsi, [rsp+80]
001806e0mov rbx, rsp
001806e3mov rsp, [r14+64]
001806e7call caml_initialize
001806ecmov rsp, rbx
001806efcall caml_alloc1
001806f4lea rsi, [r15+8]
001806f8mov [rsi-8], 1024
00180700mov [rsi], 5
00180707lea rdi, [rip+0x196292]
0018070eadd rdi, 280
00180715mov rbx, rsp
00180718mov rsp, [r14+64]
0018071ccall caml_initialize
00180721mov rsp, rbx
00180724lea rsi, [rip+0x195a95]
0018072blea rdi, [rip+0x19626e]
00180732add rdi, 80
00180736mov rbx, rsp
00180739mov rsp, [r14+64]
0018073dcall caml_initialize
00180742mov rsp, rbx
00180745sub r15, 64
00180749call caml_allocN
0018074elea rsi, [r15+8]
00180752add rsi, 32
00180756mov [rsi-8], 3072
0018075emov [rsi], 1
00180765lea rax, [rip+0x196c44]
0018076cmov [rsi+8], rax
00180770mov [rsi+16], 1
00180778lea r12, [rsi-32]
0018077cmov [r12-8], 3072
00180785mov [r12], 1
0018078dlea rax, [rip+0x196c04]
00180794mov [r12+8], rax
00180799mov [r12+16], 1
001807a2lea rdi, [rip+0x1961f7]
001807a9add rdi, 440
001807b0mov rbx, rsp
001807b3mov rsp, [r14+64]
001807b7call caml_initialize
001807bcmov rsp, rbx
001807bflea rdi, [rip+0x1961da]
001807c6add rdi, 448
001807cdmov rsi, r12
001807d0mov rbx, rsp
001807d3mov rsp, [r14+64]
001807d7call caml_initialize
001807dcmov rsp, rbx
001807dfcall caml_alloc3
001807e4lea rsi, [r15+8]
001807e8mov [rsi-8], 3072
001807f0mov [rsi], 1
001807f7lea rax, [rip+0x196b82]
001807femov [rsi+8], rax
00180802mov [rsi+16], 1
0018080alea rdi, [rip+0x19618f]
00180811add rdi, 344
00180818mov rbx, rsp
0018081bmov rsp, [r14+64]
0018081fcall caml_initialize
00180824mov rsp, rbx
00180827lea rsi, [rip+0x1959aa]
0018082elea rdi, [rip+0x19616b]
00180835add rdi, 320
0018083cmov rbx, rsp
0018083fmov rsp, [r14+64]
00180843call caml_initialize
00180848mov rsp, rbx
0018084blea rax, [rip+0x19599e]
00180852mov [rsp], rax
00180856mov esi, 3
0018085bmov edi, 29
00180860lea rax, [rip+0x79439]
00180867call caml_c_call
0018086cmov r12, rax
0018086flea rdi, [rip+0x19612a]
00180876add rdi, 760
0018087dmov rsi, [rsp]
00180881mov rbx, rsp
00180884mov rsp, [r14+64]
00180888call caml_initialize
0018088dmov rsp, rbx
00180890lea rdi, [rip+0x196109]
00180897add rdi, 768
0018089emov rsi, r12
001808a1mov rbx, rsp
001808a4mov rsp, [r14+64]
001808a8call caml_initialize
001808admov rsp, rbx
001808b0lea rsi, [rip+0x1959a1]
001808b7lea r12, [rip+0x195982]
001808belea r13, [rip+0x195963]
001808c5lea rbp, [rip+0x19593c]
001808cclea rdi, [rip+0x1960cd]
001808d3add rdi, 232
001808damov rbx, rsp
001808ddmov rsp, [r14+64]
001808e1call caml_initialize
001808e6mov rsp, rbx
001808e9lea rdi, [rip+0x1960b0]
001808f0add rdi, 240
001808f7mov rsi, r12
001808famov rbx, rsp
001808fdmov rsp, [r14+64]
00180901call caml_initialize
00180906mov rsp, rbx
00180909lea rdi, [rip+0x196090]
00180910add rdi, 248
00180917mov rsi, r13
0018091amov rbx, rsp
0018091dmov rsp, [r14+64]
00180921call caml_initialize
00180926mov rsp, rbx
00180929lea rdi, [rip+0x196070]
00180930add rdi, 256
00180937mov rsi, rbp
0018093amov rbx, rsp
0018093dmov rsp, [r14+64]
00180941call caml_initialize
00180946mov rsp, rbx
00180949lea rsi, [rip+0x195938]
00180950lea r12, [rip+0x195919]
00180957lea rdi, [rip+0x196042]
0018095eadd rdi, 288
00180965mov rbx, rsp
00180968mov rsp, [r14+64]
0018096ccall caml_initialize
00180971mov rsp, rbx
00180974lea rdi, [rip+0x196025]
0018097badd rdi, 296
00180982mov rsi, r12
00180985mov rbx, rsp
00180988mov rsp, [r14+64]
0018098ccall caml_initialize
00180991mov rsp, rbx
00180994lea rsi, [rip+0x195905]
0018099blea rdi, [rip+0x195ffe]
001809a2add rdi, 304
001809a9mov rbx, rsp
001809acmov rsp, [r14+64]
001809b0call caml_initialize
001809b5mov rsp, rbx
001809b8lea rsi, [rip+0x195919]
001809bflea r12, [rip+0x1958f2]
001809c6lea rdi, [rip+0x195fd3]
001809cdadd rdi, 328
001809d4mov rbx, rsp
001809d7mov rsp, [r14+64]
001809dbcall caml_initialize
001809e0mov rsp, rbx
001809e3lea rdi, [rip+0x195fb6]
001809eaadd rdi, 336
001809f1mov rsi, r12
001809f4mov rbx, rsp
001809f7mov rsp, [r14+64]
001809fbcall caml_initialize
00180a00mov rsp, rbx
00180a03lea rsi, [rip+0x195906]
00180a0alea r12, [rip+0x1958e7]
00180a11lea rdi, [rip+0x195f88]
00180a18add rdi, 360
00180a1fmov rbx, rsp
00180a22mov rsp, [r14+64]
00180a26call caml_initialize
00180a2bmov rsp, rbx
00180a2elea rdi, [rip+0x195f6b]
00180a35add rdi, 352
00180a3cmov rsi, r12
00180a3fmov rbx, rsp
00180a42mov rsp, [r14+64]
00180a46call caml_initialize
00180a4bmov rsp, rbx
00180a4ecall caml_alloc3
00180a53lea rsi, [r15+8]
00180a57mov [rsi-8], 3072
00180a5fmov [rsi], 1
00180a66lea rax, [rip+0x196703]
00180a6dmov [rsi+8], rax
00180a71mov [rsi+16], 1
00180a79lea rdi, [rip+0x195f20]
00180a80add rdi, 776
00180a87mov rbx, rsp
00180a8amov rsp, [r14+64]
00180a8ecall caml_initialize
00180a93mov rsp, rbx
00180a96lea rsi, [rip+0x195893]
00180a9dlea rdi, [rip+0x195efc]
00180aa4add rdi, 368
00180aabmov rbx, rsp
00180aaemov rsp, [r14+64]
00180ab2call caml_initialize
00180ab7mov rsp, rbx
00180abalea rsi, [rip+0x19589f]
00180ac1lea r12, [rip+0x195880]
00180ac8lea rdi, [rip+0x195ed1]
00180acfadd rdi, 384
00180ad6mov rbx, rsp
00180ad9mov rsp, [r14+64]
00180addcall caml_initialize
00180ae2mov rsp, rbx
00180ae5lea rdi, [rip+0x195eb4]
00180aecadd rdi, 392
00180af3mov rsi, r12
00180af6mov rbx, rsp
00180af9mov rsp, [r14+64]
00180afdcall caml_initialize
00180b02mov rsp, rbx
00180b05lea rsi, [rip+0x195884]
00180b0clea r12, [rip+0x195865]
00180b13lea rdi, [rip+0x195e86]
00180b1aadd rdi, 784
00180b21mov rbx, rsp
00180b24mov rsp, [r14+64]
00180b28call caml_initialize
00180b2dmov rsp, rbx
00180b30lea rdi, [rip+0x195e69]
00180b37add rdi, 792
00180b3emov rsi, r12
00180b41mov rbx, rsp
00180b44mov rsp, [r14+64]
00180b48call caml_initialize
00180b4dmov rsp, rbx
00180b50lea rsi, [rip+0x195871]
00180b57lea r12, [rip+0x19584a]
00180b5elea rdi, [rip+0x195e3b]
00180b65add rdi, 416
00180b6cmov rbx, rsp
00180b6fmov rsp, [r14+64]
00180b73call caml_initialize
00180b78mov rsp, rbx
00180b7blea rdi, [rip+0x195e1e]
00180b82add rdi, 424
00180b89mov rsi, r12
00180b8cmov rbx, rsp
00180b8fmov rsp, [r14+64]
00180b93call caml_initialize
00180b98mov rsp, rbx
00180b9blea rsi, [rip+0x19583e]
00180ba2lea rdi, [rip+0x195df7]
00180ba9add rdi, 400
00180bb0mov rbx, rsp
00180bb3mov rsp, [r14+64]
00180bb7call caml_initialize
00180bbcmov rsp, rbx
00180bbflea rsi, [rip+0x195832]
00180bc6lea rdi, [rip+0x195dd3]
00180bcdadd rdi, 408
00180bd4mov rbx, rsp
00180bd7mov rsp, [r14+64]
00180bdbcall caml_initialize
00180be0mov rsp, rbx
00180be3call caml_alloc1
00180be8lea rsi, [r15+8]
00180becmov [rsi-8], 1024
00180bf4mov [rsi], 1
00180bfblea rdi, [rip+0x195d9e]
00180c02add rdi, 432
00180c09mov rbx, rsp
00180c0cmov rsp, [r14+64]
00180c10call caml_initialize
00180c15mov rsp, rbx
00180c18lea rsi, [rip+0x195809]
00180c1flea r12, [rip+0x1957ea]
00180c26lea rdi, [rip+0x195d73]
00180c2dadd rdi, 464
00180c34mov rbx, rsp
00180c37mov rsp, [r14+64]
00180c3bcall caml_initialize
00180c40mov rsp, rbx
00180c43lea rdi, [rip+0x195d56]
00180c4aadd rdi, 472
00180c51mov rsi, r12
00180c54mov rbx, rsp
00180c57mov rsp, [r14+64]
00180c5bcall caml_initialize
00180c60mov rsp, rbx
00180c63lea rsi, [rip+0x1957d6]
00180c6alea rdi, [rip+0x195d2f]
00180c71add rdi, 512
00180c78mov rbx, rsp
00180c7bmov rsp, [r14+64]
00180c7fcall caml_initialize
00180c84mov rsp, rbx
00180c87lea rsi, [rip+0x1957ca]
00180c8elea rdi, [rip+0x195d0b]
00180c95add rdi, 800
00180c9cmov rbx, rsp
00180c9fmov rsp, [r14+64]
00180ca3call caml_initialize
00180ca8mov rsp, rbx
00180cablea rsi, [rip+0x1957c6]
00180cb2lea rdi, [rip+0x195ce7]
00180cb9add rdi, 808
00180cc0mov rbx, rsp
00180cc3mov rsp, [r14+64]
00180cc7call caml_initialize
00180cccmov rsp, rbx
00180ccflea rsi, [rip+0x19580a]
00180cd6lea r12, [rip+0x1957eb]
00180cddlea r13, [rip+0x1957cc]
00180ce4lea rbp, [rip+0x1957ad]
00180ceblea rdi, [rip+0x195cae]
00180cf2add rdi, 816
00180cf9mov rbx, rsp
00180cfcmov rsp, [r14+64]
00180d00call caml_initialize
00180d05mov rsp, rbx
00180d08lea rdi, [rip+0x195c91]
00180d0fadd rdi, 824
00180d16mov rsi, r12
00180d19mov rbx, rsp
00180d1cmov rsp, [r14+64]
00180d20call caml_initialize
00180d25mov rsp, rbx
00180d28lea rdi, [rip+0x195c71]
00180d2fadd rdi, 832
00180d36mov rsi, r13
00180d39mov rbx, rsp
00180d3cmov rsp, [r14+64]
00180d40call caml_initialize
00180d45mov rsp, rbx
00180d48lea rdi, [rip+0x195c51]
00180d4fadd rdi, 840
00180d56mov rsi, rbp
00180d59mov rbx, rsp
00180d5cmov rsp, [r14+64]
00180d60call caml_initialize
00180d65mov rsp, rbx
00180d68lea rsi, [rip+0x195789]
00180d6flea rdi, [rip+0x195c2a]
00180d76add rdi, 848
00180d7dmov rbx, rsp
00180d80mov rsp, [r14+64]
00180d84call caml_initialize
00180d89mov rsp, rbx
00180d8clea rsi, [rip+0x195815]
00180d93lea rax, [rip+0x1957f6]
00180d9amov [rsp], rax
00180d9elea rax, [rip+0x1957cb]
00180da5mov [rsp+8], rax
00180daalea r12, [rip+0x1957a7]
00180db1lea r13, [rip+0x195788]
00180db8lea rbp, [rip+0x195769]
00180dbflea rax, [rip+0x19574a]
00180dc6mov [rsp+16], rax
00180dcblea rdi, [rip+0x195bce]
00180dd2add rdi, 528
00180dd9mov rbx, rsp
00180ddcmov rsp, [r14+64]
00180de0call caml_initialize
00180de5mov rsp, rbx
00180de8lea rdi, [rip+0x195bb1]
00180defadd rdi, 536
00180df6mov rsi, [rsp]
00180dfamov rbx, rsp
00180dfdmov rsp, [r14+64]
00180e01call caml_initialize
00180e06mov rsp, rbx
00180e09lea rdi, [rip+0x195b90]
00180e10add rdi, 576
00180e17mov rsi, [rsp+8]
00180e1cmov rbx, rsp
00180e1fmov rsp, [r14+64]
00180e23call caml_initialize
00180e28mov rsp, rbx
00180e2blea rdi, [rip+0x195b6e]
00180e32add rdi, 544
00180e39mov rsi, r12
00180e3cmov rbx, rsp
00180e3fmov rsp, [r14+64]
00180e43call caml_initialize
00180e48mov rsp, rbx
00180e4blea rdi, [rip+0x195b4e]
00180e52add rdi, 552
00180e59mov rsi, r13
00180e5cmov rbx, rsp
00180e5fmov rsp, [r14+64]
00180e63call caml_initialize
00180e68mov rsp, rbx
00180e6blea rdi, [rip+0x195b2e]
00180e72add rdi, 584
00180e79mov rsi, rbp
00180e7cmov rbx, rsp
00180e7fmov rsp, [r14+64]
00180e83call caml_initialize
00180e88mov rsp, rbx
00180e8blea rdi, [rip+0x195b0e]
00180e92add rdi, 592
00180e99mov rsi, [rsp+16]
00180e9emov rbx, rsp
00180ea1mov rsp, [r14+64]
00180ea5call caml_initialize
00180eaamov rsp, rbx
00180eadlea rsi, [rip+0x19570c]
00180eb4lea rdi, [rip+0x195ae5]
00180ebbadd rdi, 856
00180ec2mov rbx, rsp
00180ec5mov rsp, [r14+64]
00180ec9call caml_initialize
00180ecemov rsp, rbx
00180ed1mov edi, 1
00180ed6mov rbx, rsp
00180ed9mov rsp, [r14+64]
00180eddcall caml_fresh_oo_id
00180ee2mov rsp, rbx
00180ee5call caml_alloc2
00180eealea rsi, [r15+8]
00180eeemov [rsi-8], 2296
00180ef6lea rbx, [rip+0x1960db]
00180efdmov [rsi], rbx
00180f00mov [rsi+8], rax
00180f04lea rdi, [rip+0x195a95]
00180f0badd rdi, 864
00180f12mov rbx, rsp
00180f15mov rsp, [r14+64]
00180f19call caml_initialize
00180f1emov rsp, rbx
00180f21lea rsi, [rip+0x1956b0]
00180f28lea rdi, [rip+0x195a71]
00180f2fadd rdi, 872
00180f36mov rbx, rsp
00180f39mov rsp, [r14+64]
00180f3dcall caml_initialize
00180f42mov rsp, rbx
00180f45lea rsi, [rip+0x1956a4]
00180f4clea rdi, [rip+0x195a4d]
00180f53add rdi, 880
00180f5amov rbx, rsp
00180f5dmov rsp, [r14+64]
00180f61call caml_initialize
00180f66mov rsp, rbx
00180f69lea rsi, [rip+0x1956b0]
00180f70lea r12, [rip+0x195691]
00180f77lea rdi, [rip+0x195a22]
00180f7eadd rdi, 888
00180f85mov rbx, rsp
00180f88mov rsp, [r14+64]
00180f8ccall caml_initialize
00180f91mov rsp, rbx
00180f94lea rdi, [rip+0x195a05]
00180f9badd rdi, 896
00180fa2mov rsi, r12
00180fa5mov rbx, rsp
00180fa8mov rsp, [r14+64]
00180faccall caml_initialize
00180fb1mov rsp, rbx
00180fb4lea rsi, [rip+0x19569d]
00180fbblea r12, [rip+0x19567e]
00180fc2lea rdi, [rip+0x1959d7]
00180fc9add rdi, 496
00180fd0mov rbx, rsp
00180fd3mov rsp, [r14+64]
00180fd7call caml_initialize
00180fdcmov rsp, rbx
00180fdflea rdi, [rip+0x1959ba]
00180fe6add rdi, 504
00180fedmov rsi, r12
00180ff0mov rbx, rsp
00180ff3mov rsp, [r14+64]
00180ff7call caml_initialize
00180ffcmov rsp, rbx
00180ffflea rsi, [rip+0x19566a]
00181006lea rdi, [rip+0x195993]
0018100dadd rdi, 480
00181014mov rbx, rsp
00181017mov rsp, [r14+64]
0018101bcall caml_initialize
00181020mov rsp, rbx
00181023lea rsi, [rip+0x19565e]
0018102alea rdi, [rip+0x19596f]
00181031add rdi, 488
00181038mov rbx, rsp
0018103bmov rsp, [r14+64]
0018103fcall caml_initialize
00181044mov rsp, rbx
00181047lea rsi, [rip+0x195652]
0018104elea rdi, [rip+0x19594b]
00181055add rdi, 376
0018105cmov rbx, rsp
0018105fmov rsp, [r14+64]
00181063call caml_initialize
00181068mov rsp, rbx
0018106blea rsi, [rip+0x19564e]
00181072lea rdi, [rip+0x195927]
00181079add rdi, 904
00181080mov rbx, rsp
00181083mov rsp, [r14+64]
00181087call caml_initialize
0018108cmov rsp, rbx
0018108flea rsi, [rip+0x19564a]
00181096lea rdi, [rip+0x195903]
0018109dadd rdi, 912
001810a4mov rbx, rsp
001810a7mov rsp, [r14+64]
001810abcall caml_initialize
001810b0mov rsp, rbx
001810b3lea rsi, [rip+0x195646]
001810balea rdi, [rip+0x1958df]
001810c1add rdi, 520
001810c8mov rbx, rsp
001810cbmov rsp, [r14+64]
001810cfcall caml_initialize
001810d4mov rsp, rbx
001810d7lea rsi, [rip+0x19563a]
001810delea rdi, [rip+0x1958bb]
001810e5add rdi, 600
001810ecmov rbx, rsp
001810efmov rsp, [r14+64]
001810f3call caml_initialize
001810f8mov rsp, rbx
001810fblea rsi, [rip+0x19562e]
00181102lea rdi, [rip+0x195897]
00181109add rdi, 920
00181110mov rbx, rsp
00181113mov rsp, [r14+64]
00181117call caml_initialize
0018111cmov rsp, rbx
0018111flea rsi, [rip+0x195622]
00181126lea rdi, [rip+0x195873]
0018112dadd rdi, 928
00181134mov rbx, rsp
00181137mov rsp, [r14+64]
0018113bcall caml_initialize
00181140mov rsp, rbx
00181143lea rsi, [rip+0x195616]
0018114alea rdi, [rip+0x19584f]
00181151add rdi, 936
00181158mov rbx, rsp
0018115bmov rsp, [r14+64]
0018115fcall caml_initialize
00181164mov rsp, rbx
00181167lea rsi, [rip+0x195612]
0018116elea rdi, [rip+0x19582b]
00181175add rdi, 616
0018117cmov rbx, rsp
0018117fmov rsp, [r14+64]
00181183call caml_initialize
00181188mov rsp, rbx
0018118blea rsi, [rip+0x195626]
00181192lea r12, [rip+0x1955ff]
00181199lea rdi, [rip+0x195800]
001811a0add rdi, 608
001811a7mov rbx, rsp
001811aamov rsp, [r14+64]
001811aecall caml_initialize
001811b3mov rsp, rbx
001811b6lea rdi, [rip+0x1957e3]
001811bdadd rdi, 560
001811c4mov rsi, r12
001811c7mov rbx, rsp
001811camov rsp, [r14+64]
001811cecall caml_initialize
001811d3mov rsp, rbx
001811d6lea rsi, [rip+0x1955f3]
001811ddlea rdi, [rip+0x1957bc]
001811e4add rdi, 568
001811ebmov rbx, rsp
001811eemov rsp, [r14+64]
001811f2call caml_initialize
001811f7mov rsp, rbx
001811falea rsi, [rip+0x1955ef]
00181201lea rdi, [rip+0x195798]
00181208add rdi, 944
0018120fmov rbx, rsp
00181212mov rsp, [r14+64]
00181216call caml_initialize
0018121bmov rsp, rbx
0018121elea rsi, [rip+0x1955eb]
00181225lea rdi, [rip+0x195774]
0018122cadd rdi, 624
00181233mov rbx, rsp
00181236mov rsp, [r14+64]
0018123acall caml_initialize
0018123fmov rsp, rbx
00181242lea rsi, [rip+0x195647]
00181249lea r12, [rip+0x195620]
00181250lea r13, [rip+0x1955f9]
00181257lea rbp, [rip+0x1955d2]
0018125elea rdi, [rip+0x19573b]
00181265add rdi, 632
0018126cmov rbx, rsp
0018126fmov rsp, [r14+64]
00181273call caml_initialize
00181278mov rsp, rbx
0018127blea rdi, [rip+0x19571e]
00181282add rdi, 640
00181289mov rsi, r12
0018128cmov rbx, rsp
0018128fmov rsp, [r14+64]
00181293call caml_initialize
00181298mov rsp, rbx
0018129blea rdi, [rip+0x1956fe]
001812a2add rdi, 648
001812a9mov rsi, r13
001812acmov rbx, rsp
001812afmov rsp, [r14+64]
001812b3call caml_initialize
001812b8mov rsp, rbx
001812bblea rdi, [rip+0x1956de]
001812c2add rdi, 656
001812c9mov rsi, rbp
001812ccmov rbx, rsp
001812cfmov rsp, [r14+64]
001812d3call caml_initialize
001812d8mov rsp, rbx
001812dblea rsi, [rip+0x1955ce]
001812e2lea rdi, [rip+0x1956b7]
001812e9add rdi, 664
001812f0mov rbx, rsp
001812f3mov rsp, [r14+64]
001812f7call caml_initialize
001812fcmov rsp, rbx
001812fflea rsi, [rip+0x1955ca]
00181306lea rdi, [rip+0x195693]
0018130dadd rdi, 672
00181314mov rbx, rsp
00181317mov rsp, [r14+64]
0018131bcall caml_initialize
00181320mov rsp, rbx
00181323lea rsi, [rip+0x1955c6]
0018132alea rdi, [rip+0x19566f]
00181331add rdi, 680
00181338mov rbx, rsp
0018133bmov rsp, [r14+64]
0018133fcall caml_initialize
00181344mov rsp, rbx
00181347lea rsi, [rip+0x1955c2]
0018134elea rdi, [rip+0x19564b]
00181355add rdi, 688
0018135cmov rbx, rsp
0018135fmov rsp, [r14+64]
00181363call caml_initialize
00181368mov rsp, rbx
0018136bcall caml_alloc1
00181370lea rsi, [r15+8]
00181374mov [rsi-8], 1024
0018137cmov [rsi], 1
00181383lea rdi, [rip+0x195616]
0018138aadd rdi, 952
00181391mov rbx, rsp
00181394mov rsp, [r14+64]
00181398call caml_initialize
0018139dmov rsp, rbx
001813a0lea rsi, [rip+0x1955a9]
001813a7lea r12, [rip+0x195582]
001813aelea rdi, [rip+0x1955eb]
001813b5add rdi, 712
001813bcmov rbx, rsp
001813bfmov rsp, [r14+64]
001813c3call caml_initialize
001813c8mov rsp, rbx
001813cblea rdi, [rip+0x1955ce]
001813d2add rdi, 720
001813d9mov rsi, r12
001813dcmov rbx, rsp
001813dfmov rsp, [r14+64]
001813e3call caml_initialize
001813e8mov rsp, rbx
001813eblea rsi, [rip+0x19558e]
001813f2lea r12, [rip+0x19556f]
001813f9lea rdi, [rip+0x1955a0]
00181400add rdi, 696
00181407mov rbx, rsp
0018140amov rsp, [r14+64]
0018140ecall caml_initialize
00181413mov rsp, rbx
00181416lea rdi, [rip+0x195583]
0018141dadd rdi, 704
00181424mov rsi, r12
00181427mov rbx, rsp
0018142amov rsp, [r14+64]
0018142ecall caml_initialize
00181433mov rsp, rbx
00181436mov eax, 1
0018143badd rsp, 88
0018143fret
00181440
00181440loc_181440:
00181440push 44
00181442call caml_call_realloc_stack
00181447pop r10
00181449jmp 0x17ff92
0017ff80
0018144e
0018144e // align 0x10
0018144e // align 0x10
00181450
00181450camlSave.skip_comment_645:
00181450mov rdi, rbx
00181453cmp r15, [r14]
00181456jbe 0x181466
00181458
00181458loc_181458:
00181458add rdi, 24
0018145cmov ebx, 1
00181461jmp 0x181470
00181466
00181466loc_181466:
00181466call caml_call_gc
0018146bjmp 0x181458
00181450
00181450camlSave.skip_comment_645:
00181450mov rdi, rbx
00181453cmp r15, [r14]
00181456jbe 0x181466
00181458
00181458loc_181458:
00181458add rdi, 24
0018145cmov ebx, 1
00181461jmp 0x181470
00181466
00181466loc_181466:
00181466call caml_call_gc
0018146bjmp 0x181458
00181450
0018146d
0018146d // align 0x10
0018146d // align 0x10
00181470
00181470Save..ocaml_lex_skip_comment_rec:
00181470lea r10, [rsp-344]
00181478cmp r10, [r14+40]
0018147cjb 0x181529
00181482
00181482loc_181482:
00181482sub rsp, 24
00181486
00181486loc_181486:
00181486mov rsi, rax
00181489mov [rsp], rsi
0018148dmov [rsp+16], rdi
00181492cmp r15, [r14]
00181495jbe 0x18151f
0018149b
0018149bloc_18149b:
0018149blea rax, [rip+0x199fae]
001814a2mov rdi, rsi
001814a5call Stdlib.Lexing.engine
001814aacmp rax, 5
001814aejbe 0x1814d4
001814b0mov [rsp+8], rax
001814b5mov rax, [rsp]
001814b9mov rbx, [rax]
001814bcmov rdi, [rbx]
001814bfcall rdi
001814c1mov rax, [rsp]
001814c5mov rbx, [rsp+8]
001814camov rdi, [rsp+16]
001814cfjmp 0x181486
001814d1
001814d1 0f 1f 00 ...
001814d4
001814d4loc_1814d4:
001814d4sar rax, 1
001814d7cmp rax, 1
001814dbje 0x1814ec
001814ddja 0x181504
001814dfmov eax, 1
001814e4add rsp, 24
001814e8ret
001814e9
001814e9 0f 1f 00 ...
001814ec
001814ecloc_1814ec:
001814ecmov rbx, [rsp+16]
001814f1add rbx, 32
001814f5mov rax, [rsp]
001814f9add rsp, 24
001814fdjmp 0x181540
00181502
00181502 66 90 f.
00181504
00181504loc_181504:
00181504mov rdi, [rsp+16]
00181509add rdi, -24
0018150dadd rdi, 24
00181511mov ebx, 1
00181516mov rax, [rsp]
0018151ajmp 0x181486
0018151f
0018151floc_18151f:
0018151fcall caml_call_gc
00181524jmp 0x18149b
00181529
00181529loc_181529:
00181529push 36
0018152bcall caml_call_realloc_stack
00181530pop r10
00181532jmp 0x181482
00181470
00181470Save..ocaml_lex_skip_comment_rec:
00181470lea r10, [rsp-344]
00181478cmp r10, [r14+40]
0018147cjb 0x181529
00181482
00181482loc_181482:
00181482sub rsp, 24
00181486
00181486loc_181486:
00181486mov rsi, rax
00181489mov [rsp], rsi
0018148dmov [rsp+16], rdi
00181492cmp r15, [r14]
00181495jbe 0x18151f
0018149b
0018149bloc_18149b:
0018149blea rax, [rip+0x199fae]
001814a2mov rdi, rsi
001814a5call Stdlib.Lexing.engine
001814aacmp rax, 5
001814aejbe 0x1814d4
001814b0mov [rsp+8], rax
001814b5mov rax, [rsp]
001814b9mov rbx, [rax]
001814bcmov rdi, [rbx]
001814bfcall rdi
001814c1mov rax, [rsp]
001814c5mov rbx, [rsp+8]
001814camov rdi, [rsp+16]
001814cfjmp 0x181486
001814d1
001814d1 0f 1f 00 ...
001814d4
001814d4loc_1814d4:
001814d4sar rax, 1
001814d7cmp rax, 1
001814dbje 0x1814ec
001814ddja 0x181504
001814dfmov eax, 1
001814e4add rsp, 24
001814e8ret
001814e9
001814e9 0f 1f 00 ...
001814ec
001814ecloc_1814ec:
001814ecmov rbx, [rsp+16]
001814f1add rbx, 32
001814f5mov rax, [rsp]
001814f9add rsp, 24
001814fdjmp 0x181540
00181502
00181502 66 90 f.
00181504
00181504loc_181504:
00181504mov rdi, [rsp+16]
00181509add rdi, -24
0018150dadd rdi, 24
00181511mov ebx, 1
00181516mov rax, [rsp]
0018151ajmp 0x181486
0018151f
0018151floc_18151f:
0018151fcall caml_call_gc
00181524jmp 0x18149b
00181529
00181529loc_181529:
00181529push 36
0018152bcall caml_call_realloc_stack
00181530pop r10
00181532jmp 0x181482
00181470
00181537
00181537 // align 0x10
00181537 // align 0x10
00181540
00181540camlSave.check_comment_647:
00181540mov rdi, rbx
00181543cmp r15, [r14]
00181546jbe 0x181556
00181548
00181548loc_181548:
00181548add rdi, 24
0018154cmov ebx, 9
00181551jmp 0x181560
00181556
00181556loc_181556:
00181556call caml_call_gc
0018155bjmp 0x181548
00181540
00181540camlSave.check_comment_647:
00181540mov rdi, rbx
00181543cmp r15, [r14]
00181546jbe 0x181556
00181548
00181548loc_181548:
00181548add rdi, 24
0018154cmov ebx, 9
00181551jmp 0x181560
00181556
00181556loc_181556:
00181556call caml_call_gc
0018155bjmp 0x181548
00181540
0018155d
0018155d // align 0x10
0018155d // align 0x10
00181560
00181560Save..ocaml_lex_check_comment_rec:
00181560lea r10, [rsp-344]
00181568cmp r10, [r14+40]
0018156cjb 0x1815f6
00181572
00181572loc_181572:
00181572sub rsp, 24
00181576
00181576loc_181576:
00181576mov rsi, rax
00181579mov [rsp], rsi
0018157dmov [rsp+16], rdi
00181582cmp r15, [r14]
00181585jbe 0x1815ef
00181587
00181587loc_181587:
00181587lea rax, [rip+0x199ec2]
0018158emov rdi, rsi
00181591call Stdlib.Lexing.engine
00181596cmp rax, 1
0018159aje 0x1815d0
0018159ccmp rax, 3
001815a0je 0x1815c4
001815a2mov [rsp+8], rax
001815a7mov rax, [rsp]
001815abmov rbx, [rax]
001815aemov rdi, [rbx]
001815b1call rdi
001815b3mov rax, [rsp]
001815b7mov rbx, [rsp+8]
001815bcmov rdi, [rsp+16]
001815c1jmp 0x181576
001815c3
001815c3 90 .
001815c4
001815c4loc_1815c4:
001815c4mov eax, 1
001815c9add rsp, 24
001815cdret
001815ce
001815ce 66 90 f.
001815d0
001815d0loc_1815d0:
001815d0mov rdi, [rsp+16]
001815d5add rdi, -80
001815d9add rdi, 24
001815ddmov ebx, 1
001815e2mov rax, [rsp]
001815e6add rsp, 24
001815eajmp 0x181470
001815ef
001815efloc_1815ef:
001815efcall caml_call_gc
001815f4jmp 0x181587
001815f6
001815f6loc_1815f6:
001815f6push 36
001815f8call caml_call_realloc_stack
001815fdpop r10
001815ffjmp 0x181572
00181560
00181560Save..ocaml_lex_check_comment_rec:
00181560lea r10, [rsp-344]
00181568cmp r10, [r14+40]
0018156cjb 0x1815f6
00181572
00181572loc_181572:
00181572sub rsp, 24
00181576
00181576loc_181576:
00181576mov rsi, rax
00181579mov [rsp], rsi
0018157dmov [rsp+16], rdi
00181582cmp r15, [r14]
00181585jbe 0x1815ef
00181587
00181587loc_181587:
00181587lea rax, [rip+0x199ec2]
0018158emov rdi, rsi
00181591call Stdlib.Lexing.engine
00181596cmp rax, 1
0018159aje 0x1815d0
0018159ccmp rax, 3
001815a0je 0x1815c4
001815a2mov [rsp+8], rax
001815a7mov rax, [rsp]
001815abmov rbx, [rax]
001815aemov rdi, [rbx]
001815b1call rdi
001815b3mov rax, [rsp]
001815b7mov rbx, [rsp+8]
001815bcmov rdi, [rsp+16]
001815c1jmp 0x181576
001815c3
001815c3 90 .
001815c4
001815c4loc_1815c4:
001815c4mov eax, 1
001815c9add rsp, 24
001815cdret
001815ce
001815ce 66 90 f.
001815d0
001815d0loc_1815d0:
001815d0mov rdi, [rsp+16]
001815d5add rdi, -80
001815d9add rdi, 24
001815ddmov ebx, 1
001815e2mov rax, [rsp]
001815e6add rsp, 24
001815eajmp 0x181470
001815ef
001815efloc_1815ef:
001815efcall caml_call_gc
001815f4jmp 0x181587
001815f6
001815f6loc_1815f6:
001815f6push 36
001815f8call caml_call_realloc_stack
001815fdpop r10
001815ffjmp 0x181572
00181560
00181604
00181604 // align 0x10
00181604 // align 0x10
00181610
00181610camlSave.first_char_649:
00181610mov rdi, rbx
00181613cmp r15, [r14]
00181616jbe 0x181626
00181618
00181618loc_181618:
00181618add rdi, 24
0018161cmov ebx, 13
00181621jmp 0x181630
00181626
00181626loc_181626:
00181626call caml_call_gc
0018162bjmp 0x181618
00181610
00181610camlSave.first_char_649:
00181610mov rdi, rbx
00181613cmp r15, [r14]
00181616jbe 0x181626
00181618
00181618loc_181618:
00181618add rdi, 24
0018161cmov ebx, 13
00181621jmp 0x181630
00181626
00181626loc_181626:
00181626call caml_call_gc
0018162bjmp 0x181618
00181610
0018162d
0018162d // align 0x10
0018162d // align 0x10
00181630
00181630Save..ocaml_lex_first_char_rec:
00181630lea r10, [rsp-344]
00181638cmp r10, [r14+40]
0018163cjb 0x18170b
00181642
00181642loc_181642:
00181642sub rsp, 24
00181646
00181646loc_181646:
00181646mov rsi, rax
00181649mov [rsp], rsi
0018164dmov [rsp+16], rdi
00181652cmp r15, [r14]
00181655jbe 0x1816fc
0018165b
0018165bloc_18165b:
0018165blea rax, [rip+0x199dee]
00181662mov rdi, rsi
00181665call Stdlib.Lexing.engine
0018166acmp rax, 1
0018166eje 0x1816b4
00181670cmp rax, 3
00181674je 0x181698
00181676mov [rsp+8], rax
0018167bmov rax, [rsp]
0018167fmov rbx, [rax]
00181682mov rdi, [rbx]
00181685call rdi
00181687mov rax, [rsp]
0018168bmov rbx, [rsp+8]
00181690mov rdi, [rsp+16]
00181695jmp 0x181646
00181697nop
00181698
00181698loc_181698:
00181698lea rax, [rip+0x19fea1]
0018169fmov rax, [rax+128]
001816a6mov rsp, [r14+48]
001816aapop [r14+48]
001816aepop r11
001816b0jmp r11
001816b3nop
001816b4
001816b4loc_1816b4:
001816b4mov rbx, [rsp]
001816b8mov rax, [rbx+32]
001816bcsar rax, 1
001816bfmov rbx, [rbx+8]
001816c3mov rdi, [rbx-8]
001816c7shr rdi, 10
001816cblea rdi, [8*rdi-1]
001816d3movzx rsi, [rbx+rdi]
001816d8sub rdi, rsi
001816dbcmp rdi, rax
001816dejbe 0x181706
001816e0movzx rax, [rbx+rax]
001816e5lea rax, [rax+rax+1]
001816eamov [rsp], rax
001816eecall camlSaveUtils.put_echo_char_363
001816f3mov rax, [rsp]
001816f7add rsp, 24
001816fbret
001816fc
001816fcloc_1816fc:
001816fccall caml_call_gc
00181701jmp 0x18165b
00181706
00181706loc_181706:
00181706call caml_ml_array_bound_error
0018170b
0018170bloc_18170b:
0018170bpush 36
0018170dcall caml_call_realloc_stack
00181712pop r10
00181714jmp 0x181642
00181630
00181630Save..ocaml_lex_first_char_rec:
00181630lea r10, [rsp-344]
00181638cmp r10, [r14+40]
0018163cjb 0x18170b
00181642
00181642loc_181642:
00181642sub rsp, 24
00181646
00181646loc_181646:
00181646mov rsi, rax
00181649mov [rsp], rsi
0018164dmov [rsp+16], rdi
00181652cmp r15, [r14]
00181655jbe 0x1816fc
0018165b
0018165bloc_18165b:
0018165blea rax, [rip+0x199dee]
00181662mov rdi, rsi
00181665call Stdlib.Lexing.engine
0018166acmp rax, 1
0018166eje 0x1816b4
00181670cmp rax, 3
00181674je 0x181698
00181676mov [rsp+8], rax
0018167bmov rax, [rsp]
0018167fmov rbx, [rax]
00181682mov rdi, [rbx]
00181685call rdi
00181687mov rax, [rsp]
0018168bmov rbx, [rsp+8]
00181690mov rdi, [rsp+16]
00181695jmp 0x181646
00181697nop
00181698
00181698loc_181698:
00181698lea rax, [rip+0x19fea1]
0018169fmov rax, [rax+128]
001816a6mov rsp, [r14+48]
001816aapop [r14+48]
001816aepop r11
001816b0jmp r11
001816b3nop
001816b4
001816b4loc_1816b4:
001816b4mov rbx, [rsp]
001816b8mov rax, [rbx+32]
001816bcsar rax, 1
001816bfmov rbx, [rbx+8]
001816c3mov rdi, [rbx-8]
001816c7shr rdi, 10
001816cblea rdi, [8*rdi-1]
001816d3movzx rsi, [rbx+rdi]
001816d8sub rdi, rsi
001816dbcmp rdi, rax
001816dejbe 0x181706
001816e0movzx rax, [rbx+rax]
001816e5lea rax, [rax+rax+1]
001816eamov [rsp], rax
001816eecall camlSaveUtils.put_echo_char_363
001816f3mov rax, [rsp]
001816f7add rsp, 24
001816fbret
001816fc
001816fcloc_1816fc:
001816fccall caml_call_gc
00181701jmp 0x18165b
00181706
00181706loc_181706:
00181706call caml_ml_array_bound_error
0018170b
0018170bloc_18170b:
0018170bpush 36
0018170dcall caml_call_realloc_stack
00181712pop r10
00181714jmp 0x181642
00181630
00181719
00181719 // align 0x10
00181719 // align 0x10
00181720
00181720camlSave.rest_651:
00181720mov rdi, rbx
00181723cmp r15, [r14]
00181726jbe 0x181736
00181728
00181728loc_181728:
00181728add rdi, 24
0018172cmov ebx, 19
00181731jmp 0x181740
00181736
00181736loc_181736:
00181736call caml_call_gc
0018173bjmp 0x181728
00181720
00181720camlSave.rest_651:
00181720mov rdi, rbx
00181723cmp r15, [r14]
00181726jbe 0x181736
00181728
00181728loc_181728:
00181728add rdi, 24
0018172cmov ebx, 19
00181731jmp 0x181740
00181736
00181736loc_181736:
00181736call caml_call_gc
0018173bjmp 0x181728
00181720
0018173d
0018173d // align 0x10
0018173d // align 0x10
00181740
00181740Save..ocaml_lex_rest_rec:
00181740lea r10, [rsp-344]
00181748cmp r10, [r14+40]
0018174cjb 0x1817d4
00181752
00181752loc_181752:
00181752sub rsp, 24
00181756
00181756loc_181756:
00181756mov rsi, rax
00181759mov [rsp], rsi
0018175dmov [rsp+16], rdi
00181762cmp r15, [r14]
00181765jbe 0x1817cd
00181767
00181767loc_181767:
00181767lea rax, [rip+0x199ce2]
0018176emov rdi, rsi
00181771call Stdlib.Lexing.engine
00181776cmp rax, 1
0018177aje 0x1817a0
0018177cmov [rsp+8], rax
00181781mov rax, [rsp]
00181785mov rbx, [rax]
00181788mov rdi, [rbx]
0018178bcall rdi
0018178dmov rax, [rsp]
00181791mov rbx, [rsp+8]
00181796mov rdi, [rsp+16]
0018179bjmp 0x181756
0018179d
0018179d 0f 1f 00 ...
001817a0
001817a0loc_1817a0:
001817a0mov rax, [rsp]
001817a4mov rbx, [rax+32]
001817a8mov rdi, [rax+40]
001817acsub rdi, rbx
001817afinc rdi
001817b2mov rax, [rax+8]
001817b6call Stdlib.Bytes.sub
001817bbmov [rsp], rax
001817bfcall camlSaveUtils.put_echo_362
001817c4mov rax, [rsp]
001817c8add rsp, 24
001817ccret
001817cd
001817cdloc_1817cd:
001817cdcall caml_call_gc
001817d2jmp 0x181767
001817d4
001817d4loc_1817d4:
001817d4push 36
001817d6call caml_call_realloc_stack
001817dbpop r10
001817ddjmp 0x181752
00181740
00181740Save..ocaml_lex_rest_rec:
00181740lea r10, [rsp-344]
00181748cmp r10, [r14+40]
0018174cjb 0x1817d4
00181752
00181752loc_181752:
00181752sub rsp, 24
00181756
00181756loc_181756:
00181756mov rsi, rax
00181759mov [rsp], rsi
0018175dmov [rsp+16], rdi
00181762cmp r15, [r14]
00181765jbe 0x1817cd
00181767
00181767loc_181767:
00181767lea rax, [rip+0x199ce2]
0018176emov rdi, rsi
00181771call Stdlib.Lexing.engine
00181776cmp rax, 1
0018177aje 0x1817a0
0018177cmov [rsp+8], rax
00181781mov rax, [rsp]
00181785mov rbx, [rax]
00181788mov rdi, [rbx]
0018178bcall rdi
0018178dmov rax, [rsp]
00181791mov rbx, [rsp+8]
00181796mov rdi, [rsp+16]
0018179bjmp 0x181756
0018179d
0018179d 0f 1f 00 ...
001817a0
001817a0loc_1817a0:
001817a0mov rax, [rsp]
001817a4mov rbx, [rax+32]
001817a8mov rdi, [rax+40]
001817acsub rdi, rbx
001817afinc rdi
001817b2mov rax, [rax+8]
001817b6call Stdlib.Bytes.sub
001817bbmov [rsp], rax
001817bfcall camlSaveUtils.put_echo_362
001817c4mov rax, [rsp]
001817c8add rsp, 24
001817ccret
001817cd
001817cdloc_1817cd:
001817cdcall caml_call_gc
001817d2jmp 0x181767
001817d4
001817d4loc_1817d4:
001817d4push 36
001817d6call caml_call_realloc_stack
001817dbpop r10
001817ddjmp 0x181752
00181740
001817e2
001817e2 // align 0x10
001817e2 // align 0x10
001817f0
001817f0camlSave.skip_blanks_653:
001817f0mov rdi, rbx
001817f3cmp r15, [r14]
001817f6jbe 0x181806
001817f8
001817f8loc_1817f8:
001817f8add rdi, 24
001817fcmov ebx, 23
00181801jmp 0x181810
00181806
00181806loc_181806:
00181806call caml_call_gc
0018180bjmp 0x1817f8
001817f0
001817f0camlSave.skip_blanks_653:
001817f0mov rdi, rbx
001817f3cmp r15, [r14]
001817f6jbe 0x181806
001817f8
001817f8loc_1817f8:
001817f8add rdi, 24
001817fcmov ebx, 23
00181801jmp 0x181810
00181806
00181806loc_181806:
00181806call caml_call_gc
0018180bjmp 0x1817f8
001817f0
0018180d
0018180d // align 0x10
0018180d // align 0x10
00181810
00181810Save..ocaml_lex_skip_blanks_rec:
00181810lea r10, [rsp-344]
00181818cmp r10, [r14+40]
0018181cjb 0x1818fe
00181822
00181822loc_181822:
00181822sub rsp, 24
00181826
00181826loc_181826:
00181826mov rsi, rax
00181829mov [rsp], rsi
0018182dmov [rsp+16], rdi
00181832cmp r15, [r14]
00181835jbe 0x1818f4
0018183b
0018183bloc_18183b:
0018183blea rax, [rip+0x199c0e]
00181842mov rdi, rsi
00181845call Stdlib.Lexing.engine
0018184acmp rax, 1
0018184eje 0x1818ac
00181850cmp rax, 3
00181854je 0x181878
00181856mov [rsp+8], rax
0018185bmov rax, [rsp]
0018185fmov rbx, [rax]
00181862mov rdi, [rbx]
00181865call rdi
00181867mov rax, [rsp]
0018186bmov rbx, [rsp+8]
00181870mov rdi, [rsp+16]
00181875jmp 0x181826
00181877
00181877 90 .
00181878
00181878loc_181878:
00181878mov rax, [rsp]
0018187cmov rdi, [rax+40]
00181880mov rbx, [rax+32]
00181884sub rdi, rbx
00181887inc rdi
0018188amov rax, [rax+8]
0018188ecall Stdlib.Bytes.sub
00181893call camlSaveUtils.put_echo_362
00181898lea rax, [rip+0x19fca1]
0018189fmov rax, [rax+56]
001818a3add rsp, 24
001818a7jmp 0x18a4c0
001818ac
001818acloc_1818ac:
001818acmov rax, [rsp]
001818b0mov rdi, [rax+40]
001818b4mov rbx, [rax+32]
001818b8sub rdi, rbx
001818bbinc rdi
001818bemov rax, [rax+8]
001818c2call Stdlib.Bytes.sub
001818c7lea rbx, [rip+0x19fc72]
001818cemov rbx, [rbx+40]
001818d2mov [rbx], 1
001818d9call camlSaveUtils.put_echo_362
001818demov rbx, [rsp+16]
001818e3add rbx, 32
001818e7mov rax, [rsp]
001818ebadd rsp, 24
001818efjmp 0x181910
001818f4
001818f4loc_1818f4:
001818f4call caml_call_gc
001818f9jmp 0x18183b
001818fe
001818feloc_1818fe:
001818fepush 36
00181900call caml_call_realloc_stack
00181905pop r10
00181907jmp 0x181822
00181810
00181810Save..ocaml_lex_skip_blanks_rec:
00181810lea r10, [rsp-344]
00181818cmp r10, [r14+40]
0018181cjb 0x1818fe
00181822
00181822loc_181822:
00181822sub rsp, 24
00181826
00181826loc_181826:
00181826mov rsi, rax
00181829mov [rsp], rsi
0018182dmov [rsp+16], rdi
00181832cmp r15, [r14]
00181835jbe 0x1818f4
0018183b
0018183bloc_18183b:
0018183blea rax, [rip+0x199c0e]
00181842mov rdi, rsi
00181845call Stdlib.Lexing.engine
0018184acmp rax, 1
0018184eje 0x1818ac
00181850cmp rax, 3
00181854je 0x181878
00181856mov [rsp+8], rax
0018185bmov rax, [rsp]
0018185fmov rbx, [rax]
00181862mov rdi, [rbx]
00181865call rdi
00181867mov rax, [rsp]
0018186bmov rbx, [rsp+8]
00181870mov rdi, [rsp+16]
00181875jmp 0x181826
00181877
00181877 90 .
00181878
00181878loc_181878:
00181878mov rax, [rsp]
0018187cmov rdi, [rax+40]
00181880mov rbx, [rax+32]
00181884sub rdi, rbx
00181887inc rdi
0018188amov rax, [rax+8]
0018188ecall Stdlib.Bytes.sub
00181893call camlSaveUtils.put_echo_362
00181898lea rax, [rip+0x19fca1]
0018189fmov rax, [rax+56]
001818a3add rsp, 24
001818a7jmp 0x18a4c0
001818ac
001818acloc_1818ac:
001818acmov rax, [rsp]
001818b0mov rdi, [rax+40]
001818b4mov rbx, [rax+32]
001818b8sub rdi, rbx
001818bbinc rdi
001818bemov rax, [rax+8]
001818c2call Stdlib.Bytes.sub
001818c7lea rbx, [rip+0x19fc72]
001818cemov rbx, [rbx+40]
001818d2mov [rbx], 1
001818d9call camlSaveUtils.put_echo_362
001818demov rbx, [rsp+16]
001818e3add rbx, 32
001818e7mov rax, [rsp]
001818ebadd rsp, 24
001818efjmp 0x181910
001818f4
001818f4loc_1818f4:
001818f4call caml_call_gc
001818f9jmp 0x18183b
001818fe
001818feloc_1818fe:
001818fepush 36
00181900call caml_call_realloc_stack
00181905pop r10
00181907jmp 0x181822
00181810
0018190c
0018190c // align 0x10
0018190c // align 0x10
00181910
00181910camlSave.more_skip_655:
00181910mov rdi, rbx
00181913cmp r15, [r14]
00181916jbe 0x181926
00181918
00181918loc_181918:
00181918add rdi, 24
0018191cmov ebx, 27
00181921jmp 0x181930
00181926
00181926loc_181926:
00181926call caml_call_gc
0018192bjmp 0x181918
00181910
00181910camlSave.more_skip_655:
00181910mov rdi, rbx
00181913cmp r15, [r14]
00181916jbe 0x181926
00181918
00181918loc_181918:
00181918add rdi, 24
0018191cmov ebx, 27
00181921jmp 0x181930
00181926
00181926loc_181926:
00181926call caml_call_gc
0018192bjmp 0x181918
00181910
0018192d
0018192d // align 0x10
0018192d // align 0x10
00181930
00181930Save..ocaml_lex_more_skip_rec:
00181930lea r10, [rsp-344]
00181938cmp r10, [r14+40]
0018193cjb 0x181a23
00181942
00181942loc_181942:
00181942sub rsp, 24
00181946
00181946loc_181946:
00181946mov rsi, rax
00181949mov [rsp], rsi
0018194dmov [rsp+16], rdi
00181952cmp r15, [r14]
00181955jbe 0x181a19
0018195b
0018195bloc_18195b:
0018195blea rax, [rip+0x199aee]
00181962mov rdi, rsi
00181965call Stdlib.Lexing.engine
0018196acmp rax, 1
0018196eje 0x1819cc
00181970cmp rax, 3
00181974je 0x181998
00181976mov [rsp+8], rax
0018197bmov rax, [rsp]
0018197fmov rbx, [rax]
00181982mov rdi, [rbx]
00181985call rdi
00181987mov rax, [rsp]
0018198bmov rbx, [rsp+8]
00181990mov rdi, [rsp+16]
00181995jmp 0x181946
00181997
00181997 90 .
00181998
00181998loc_181998:
00181998mov rax, [rsp]
0018199cmov rdi, [rax+40]
001819a0mov rbx, [rax+32]
001819a4sub rdi, rbx
001819a7inc rdi
001819aamov rax, [rax+8]
001819aecall Stdlib.Bytes.sub
001819b3call camlSaveUtils.put_echo_362
001819b8lea rax, [rip+0x19fb81]
001819bfmov rax, [rax+56]
001819c3add rsp, 24
001819c7jmp 0x18a4c0
001819cc
001819ccloc_1819cc:
001819ccmov rax, [rsp]
001819d0mov rdi, [rax+40]
001819d4mov rbx, [rax+32]
001819d8sub rdi, rbx
001819dbinc rdi
001819demov rax, [rax+8]
001819e2call Stdlib.Bytes.sub
001819e7lea rbx, [rip+0x19fb52]
001819eemov rbx, [rbx+40]
001819f2mov [rbx], 3
001819f9call camlSaveUtils.put_echo_362
001819femov rdi, [rsp+16]
00181a03add rdi, -24
00181a07add rdi, 24
00181a0bmov ebx, 27
00181a10mov rax, [rsp]
00181a14jmp 0x181946
00181a19
00181a19loc_181a19:
00181a19call caml_call_gc
00181a1ejmp 0x18195b
00181a23
00181a23loc_181a23:
00181a23push 36
00181a25call caml_call_realloc_stack
00181a2apop r10
00181a2cjmp 0x181942
00181930
00181930Save..ocaml_lex_more_skip_rec:
00181930lea r10, [rsp-344]
00181938cmp r10, [r14+40]
0018193cjb 0x181a23
00181942
00181942loc_181942:
00181942sub rsp, 24
00181946
00181946loc_181946:
00181946mov rsi, rax
00181949mov [rsp], rsi
0018194dmov [rsp+16], rdi
00181952cmp r15, [r14]
00181955jbe 0x181a19
0018195b
0018195bloc_18195b:
0018195blea rax, [rip+0x199aee]
00181962mov rdi, rsi
00181965call Stdlib.Lexing.engine
0018196acmp rax, 1
0018196eje 0x1819cc
00181970cmp rax, 3
00181974je 0x181998
00181976mov [rsp+8], rax
0018197bmov rax, [rsp]
0018197fmov rbx, [rax]
00181982mov rdi, [rbx]
00181985call rdi
00181987mov rax, [rsp]
0018198bmov rbx, [rsp+8]
00181990mov rdi, [rsp+16]
00181995jmp 0x181946
00181997
00181997 90 .
00181998
00181998loc_181998:
00181998mov rax, [rsp]
0018199cmov rdi, [rax+40]
001819a0mov rbx, [rax+32]
001819a4sub rdi, rbx
001819a7inc rdi
001819aamov rax, [rax+8]
001819aecall Stdlib.Bytes.sub
001819b3call camlSaveUtils.put_echo_362
001819b8lea rax, [rip+0x19fb81]
001819bfmov rax, [rax+56]
001819c3add rsp, 24
001819c7jmp 0x18a4c0
001819cc
001819ccloc_1819cc:
001819ccmov rax, [rsp]
001819d0mov rdi, [rax+40]
001819d4mov rbx, [rax+32]
001819d8sub rdi, rbx
001819dbinc rdi
001819demov rax, [rax+8]
001819e2call Stdlib.Bytes.sub
001819e7lea rbx, [rip+0x19fb52]
001819eemov rbx, [rbx+40]
001819f2mov [rbx], 3
001819f9call camlSaveUtils.put_echo_362
001819femov rdi, [rsp+16]
00181a03add rdi, -24
00181a07add rdi, 24
00181a0bmov ebx, 27
00181a10mov rax, [rsp]
00181a14jmp 0x181946
00181a19
00181a19loc_181a19:
00181a19call caml_call_gc
00181a1ejmp 0x18195b
00181a23
00181a23loc_181a23:
00181a23push 36
00181a25call caml_call_realloc_stack
00181a2apop r10
00181a2cjmp 0x181942
00181930
00181a31
00181a31 // align 0x10
00181a31 // align 0x10
00181a40
00181a40camlSave.skip_equal_657:
00181a40mov rdi, rbx
00181a43cmp r15, [r14]
00181a46jbe 0x181a56
00181a48
00181a48loc_181a48:
00181a48add rdi, 24
00181a4cmov ebx, 31
00181a51jmp 0x181a60
00181a56
00181a56loc_181a56:
00181a56call caml_call_gc
00181a5bjmp 0x181a48
00181a40
00181a40camlSave.skip_equal_657:
00181a40mov rdi, rbx
00181a43cmp r15, [r14]
00181a46jbe 0x181a56
00181a48
00181a48loc_181a48:
00181a48add rdi, 24
00181a4cmov ebx, 31
00181a51jmp 0x181a60
00181a56
00181a56loc_181a56:
00181a56call caml_call_gc
00181a5bjmp 0x181a48
00181a40
00181a5d
00181a5d // align 0x10
00181a5d // align 0x10
00181a60
00181a60Save..ocaml_lex_skip_equal_rec:
00181a60lea r10, [rsp-344]
00181a68cmp r10, [r14+40]
00181a6cjb 0x181acd
00181a6e
00181a6eloc_181a6e:
00181a6esub rsp, 24
00181a72
00181a72loc_181a72:
00181a72mov rsi, rax
00181a75mov [rsp], rsi
00181a79mov [rsp+16], rdi
00181a7ecmp r15, [r14]
00181a81jbe 0x181ac6
00181a83
00181a83loc_181a83:
00181a83lea rax, [rip+0x1999c6]
00181a8amov rdi, rsi
00181a8dcall Stdlib.Lexing.engine
00181a92cmp rax, 1
00181a96je 0x181abc
00181a98mov [rsp+8], rax
00181a9dmov rax, [rsp]
00181aa1mov rbx, [rax]
00181aa4mov rdi, [rbx]
00181aa7call rdi
00181aa9mov rax, [rsp]
00181aadmov rbx, [rsp+8]
00181ab2mov rdi, [rsp+16]
00181ab7jmp 0x181a72
00181ab9
00181ab9 0f 1f 00 ...
00181abc
00181abcloc_181abc:
00181abcmov eax, 1
00181ac1add rsp, 24
00181ac5ret
00181ac6
00181ac6loc_181ac6:
00181ac6call caml_call_gc
00181acbjmp 0x181a83
00181acd
00181acdloc_181acd:
00181acdpush 36
00181acfcall caml_call_realloc_stack
00181ad4pop r10
00181ad6jmp 0x181a6e
00181a60
00181a60Save..ocaml_lex_skip_equal_rec:
00181a60lea r10, [rsp-344]
00181a68cmp r10, [r14+40]
00181a6cjb 0x181acd
00181a6e
00181a6eloc_181a6e:
00181a6esub rsp, 24
00181a72
00181a72loc_181a72:
00181a72mov rsi, rax
00181a75mov [rsp], rsi
00181a79mov [rsp+16], rdi
00181a7ecmp r15, [r14]
00181a81jbe 0x181ac6
00181a83
00181a83loc_181a83:
00181a83lea rax, [rip+0x1999c6]
00181a8amov rdi, rsi
00181a8dcall Stdlib.Lexing.engine
00181a92cmp rax, 1
00181a96je 0x181abc
00181a98mov [rsp+8], rax
00181a9dmov rax, [rsp]
00181aa1mov rbx, [rax]
00181aa4mov rdi, [rbx]
00181aa7call rdi
00181aa9mov rax, [rsp]
00181aadmov rbx, [rsp+8]
00181ab2mov rdi, [rsp+16]
00181ab7jmp 0x181a72
00181ab9
00181ab9 0f 1f 00 ...
00181abc
00181abcloc_181abc:
00181abcmov eax, 1
00181ac1add rsp, 24
00181ac5ret
00181ac6
00181ac6loc_181ac6:
00181ac6call caml_call_gc
00181acbjmp 0x181a83
00181acd
00181acdloc_181acd:
00181acdpush 36
00181acfcall caml_call_realloc_stack
00181ad4pop r10
00181ad6jmp 0x181a6e
00181a60
00181ad8
00181ad8 // align 0x10
00181ad8 // align 0x10
00181ae0
00181ae0camlSave.arg2_659:
00181ae0mov rdi, rbx
00181ae3cmp r15, [r14]
00181ae6jbe 0x181af6
00181ae8
00181ae8loc_181ae8:
00181ae8add rdi, 24
00181aecmov ebx, 35
00181af1jmp 0x181b00
00181af6
00181af6loc_181af6:
00181af6call caml_call_gc
00181afbjmp 0x181ae8
00181ae0
00181ae0camlSave.arg2_659:
00181ae0mov rdi, rbx
00181ae3cmp r15, [r14]
00181ae6jbe 0x181af6
00181ae8
00181ae8loc_181ae8:
00181ae8add rdi, 24
00181aecmov ebx, 35
00181af1jmp 0x181b00
00181af6
00181af6loc_181af6:
00181af6call caml_call_gc
00181afbjmp 0x181ae8
00181ae0
00181afd
00181afd // align 0x10
00181afd // align 0x10
00181b00
00181b00Save..ocaml_lex_arg2_rec:
00181b00lea r10, [rsp-344]
00181b08cmp r10, [r14+40]
00181b0cjb 0x181ca7
00181b12
00181b12loc_181b12:
00181b12sub rsp, 24
00181b16
00181b16loc_181b16:
00181b16mov rsi, rax
00181b19mov [rsp], rsi
00181b1dmov [rsp+16], rdi
00181b22cmp r15, [r14]
00181b25jbe 0x181c98
00181b2b
00181b2bloc_181b2b:
00181b2blea rax, [rip+0x19991e]
00181b32mov rdi, rsi
00181b35call Stdlib.Lexing.engine
00181b3acmp rax, 11
00181b3ejbe 0x181b64
00181b40mov [rsp+8], rax
00181b45mov rax, [rsp]
00181b49mov rbx, [rax]
00181b4cmov rdi, [rbx]
00181b4fcall rdi
00181b51mov rax, [rsp]
00181b55mov rbx, [rsp+8]
00181b5amov rdi, [rsp+16]
00181b5fjmp 0x181b16
00181b61nop [rax]
00181b64
00181b64loc_181b64:
00181b64sar rax, 1
00181b67lea rdx, [rip+0xaaac6]
00181b6emovsxd rax, [rdx+4*rax]
00181b72add rdx, rax
00181b75jmp rdx
00181b77nop
00181b78lea rax, [rip+0x19f9c1]
00181b7fmov rax, [rax+48]
00181b83add [rax], 2
00181b87mov eax, 247
00181b8ccall camlSaveUtils.put_both_char_425
00181b91mov rdi, [rsp+16]
00181b96add rdi, -24
00181b9aadd rdi, 24
00181b9emov ebx, 35
00181ba3mov rax, [rsp]
00181ba7jmp 0x181b16
00181baclea rax, [rip+0x19f98d]
00181bb3mov rax, [rax+48]
00181bb7add [rax], -2
00181bbbmov rax, [rax]
00181bbecmp rax, 1
00181bc2jle 0x181bec
00181bc4mov eax, 251
00181bc9call camlSaveUtils.put_both_char_425
00181bcemov rdi, [rsp+16]
00181bd3add rdi, -24
00181bd7add rdi, 24
00181bdbmov ebx, 35
00181be0mov rax, [rsp]
00181be4jmp 0x181b16
00181be9nop [rax]
00181bec
00181becloc_181bec:
00181becmov eax, 251
00181bf1call camlSaveUtils.put_echo_char_363
00181bf6lea rax, [rip+0x19f943]
00181bfdmov rax, [rax+56]
00181c01add rsp, 24
00181c05jmp 0x18a4c0
00181c0anop
00181c0clea rax, [rip+0x19b1ed]
00181c13add rsp, 24
00181c17jmp 0x186c70
00181c1cmov rbx, [rsp]
00181c20mov rax, [rbx+32]
00181c24sar rax, 1
00181c27mov rbx, [rbx+8]
00181c2bmov rdi, [rbx-8]
00181c2fshr rdi, 10
00181c33lea rdi, [8*rdi-1]
00181c3bmovzx rsi, [rbx+rdi]
00181c40sub rdi, rsi
00181c43cmp rdi, rax
00181c46jbe 0x181ca2
00181c48movzx rax, [rbx+rax]
00181c4dlea rax, [rax+rax+1]
00181c52call camlSaveUtils.put_both_char_425
00181c57mov rdi, [rsp+16]
00181c5cadd rdi, -24
00181c60add rdi, 24
00181c64mov ebx, 35
00181c69mov rax, [rsp]
00181c6djmp 0x181b16
00181c72nop
00181c74mov rax, [rsp]
00181c78call camlSaveUtils.blit_both_422
00181c7dmov rdi, [rsp+16]
00181c82add rdi, -24
00181c86add rdi, 24
00181c8amov ebx, 35
00181c8fmov rax, [rsp]
00181c93jmp 0x181b16
00181c98
00181c98loc_181c98:
00181c98call caml_call_gc
00181c9djmp 0x181b2b
00181ca2
00181ca2loc_181ca2:
00181ca2call caml_ml_array_bound_error
00181ca7
00181ca7loc_181ca7:
00181ca7push 36
00181ca9call caml_call_realloc_stack
00181caepop r10
00181cb0jmp 0x181b12
00181b00
00181b00Save..ocaml_lex_arg2_rec:
00181b00lea r10, [rsp-344]
00181b08cmp r10, [r14+40]
00181b0cjb 0x181ca7
00181b12
00181b12loc_181b12:
00181b12sub rsp, 24
00181b16
00181b16loc_181b16:
00181b16mov rsi, rax
00181b19mov [rsp], rsi
00181b1dmov [rsp+16], rdi
00181b22cmp r15, [r14]
00181b25jbe 0x181c98
00181b2b
00181b2bloc_181b2b:
00181b2blea rax, [rip+0x19991e]
00181b32mov rdi, rsi
00181b35call Stdlib.Lexing.engine
00181b3acmp rax, 11
00181b3ejbe 0x181b64
00181b40mov [rsp+8], rax
00181b45mov rax, [rsp]
00181b49mov rbx, [rax]
00181b4cmov rdi, [rbx]
00181b4fcall rdi
00181b51mov rax, [rsp]
00181b55mov rbx, [rsp+8]
00181b5amov rdi, [rsp+16]
00181b5fjmp 0x181b16
00181b61nop [rax]
00181b64
00181b64loc_181b64:
00181b64sar rax, 1
00181b67lea rdx, [rip+0xaaac6]
00181b6emovsxd rax, [rdx+4*rax]
00181b72add rdx, rax
00181b75jmp rdx
00181b77nop
00181b78lea rax, [rip+0x19f9c1]
00181b7fmov rax, [rax+48]
00181b83add [rax], 2
00181b87mov eax, 247
00181b8ccall camlSaveUtils.put_both_char_425
00181b91mov rdi, [rsp+16]
00181b96add rdi, -24
00181b9aadd rdi, 24
00181b9emov ebx, 35
00181ba3mov rax, [rsp]
00181ba7jmp 0x181b16
00181baclea rax, [rip+0x19f98d]
00181bb3mov rax, [rax+48]
00181bb7add [rax], -2
00181bbbmov rax, [rax]
00181bbecmp rax, 1
00181bc2jle 0x181bec
00181bc4mov eax, 251
00181bc9call camlSaveUtils.put_both_char_425
00181bcemov rdi, [rsp+16]
00181bd3add rdi, -24
00181bd7add rdi, 24
00181bdbmov ebx, 35
00181be0mov rax, [rsp]
00181be4jmp 0x181b16
00181be9nop [rax]
00181bec
00181becloc_181bec:
00181becmov eax, 251
00181bf1call camlSaveUtils.put_echo_char_363
00181bf6lea rax, [rip+0x19f943]
00181bfdmov rax, [rax+56]
00181c01add rsp, 24
00181c05jmp 0x18a4c0
00181c0anop
00181c0clea rax, [rip+0x19b1ed]
00181c13add rsp, 24
00181c17jmp 0x186c70
00181c1cmov rbx, [rsp]
00181c20mov rax, [rbx+32]
00181c24sar rax, 1
00181c27mov rbx, [rbx+8]
00181c2bmov rdi, [rbx-8]
00181c2fshr rdi, 10
00181c33lea rdi, [8*rdi-1]
00181c3bmovzx rsi, [rbx+rdi]
00181c40sub rdi, rsi
00181c43cmp rdi, rax
00181c46jbe 0x181ca2
00181c48movzx rax, [rbx+rax]
00181c4dlea rax, [rax+rax+1]
00181c52call camlSaveUtils.put_both_char_425
00181c57mov rdi, [rsp+16]
00181c5cadd rdi, -24
00181c60add rdi, 24
00181c64mov ebx, 35
00181c69mov rax, [rsp]
00181c6djmp 0x181b16
00181c72nop
00181c74mov rax, [rsp]
00181c78call camlSaveUtils.blit_both_422
00181c7dmov rdi, [rsp+16]
00181c82add rdi, -24
00181c86add rdi, 24
00181c8amov ebx, 35
00181c8fmov rax, [rsp]
00181c93jmp 0x181b16
00181c98
00181c98loc_181c98:
00181c98call caml_call_gc
00181c9djmp 0x181b2b
00181ca2
00181ca2loc_181ca2:
00181ca2call caml_ml_array_bound_error
00181ca7
00181ca7loc_181ca7:
00181ca7push 36
00181ca9call caml_call_realloc_stack
00181caepop r10
00181cb0jmp 0x181b12
00181b00
Loading..