Similarity

000f79e0
000f79e0camlHevea.read_style_1579:
000f79e0lea r10, [rsp-384]
000f79e8cmp r10, [r14+40]
000f79ecjb 0xf7b34
000f79f2
000f79f2loc_f79f2:
000f79f2sub rsp, 32
000f79f6lea rbx, [rip+0x232673]
000f79fdmov rbx, [rbx+80]
000f7a01mov rdi, [rbx]
000f7a04mov [rsp], rdi
000f7a08cmp rdi, 1
000f7a0cjle 0xf7a11
000f7a0emov [rbx], rdi
000f7a11
000f7a11loc_f7a11:
000f7a11lea r11, [rip+224]
000f7a18push r11
000f7a1apush [r14+48]
000f7a1emov [r14+48], rsp
000f7a22call camlMyfiles.open_tex_528
000f7a27mov rbx, [rax+8]
000f7a2bmov [rsp+32], rbx
000f7a30mov rbx, [rax]
000f7a33mov [rsp+24], rbx
000f7a38lea rax, [rip+0x232631]
000f7a3fmov rax, [rax+80]
000f7a43mov rax, [rax]
000f7a46cmp rax, 1
000f7a4ajle 0xf7a5d
000f7a4clea rax, [rip+0x18263d]
000f7a53call camlStdlib.$5e_139
000f7a58call camlStdlib.prerr_endline_390
000f7a5d
000f7a5dloc_f7a5d:
000f7a5dmov eax, 1
000f7a62mov rbx, [rsp+32]
000f7a67call Stdlib.Lexing.from_channel
000f7a6cmov rbx, rax
000f7a6fmov [rsp+40], rbx
000f7a74mov rax, [rsp+24]
000f7a79call camlLocation.set_382
000f7a7elea r11, [rip+43]
000f7a85push r11
000f7a87push [r14+48]
000f7a8bmov [r14+48], rsp
000f7a8flea rax, [rip+0x18255a]
000f7a96mov rbx, [rax+16]
000f7a9amov rdi, [rbx]
000f7a9dmov rax, [rsp+56]
000f7aa2call rdi
000f7aa4pop [r14+48]
000f7aa8add rsp, 8
000f7aacjmp 0xf7ad0
000f7aaenop
000f7ab0lea rbx, [rip+0x2325b9]
000f7ab7mov rbx, [rbx+48]
000f7abbcmp rax, rbx
000f7abeje 0xf7ad0
000f7ac0mov rsp, [r14+48]
000f7ac4pop [r14+48]
000f7ac8pop r11
000f7acajmp r11
000f7acdnop [rax]
000f7ad0
000f7ad0loc_f7ad0:
000f7ad0mov rdi, [rsp+32]
000f7ad5lea rax, [rip+0x117f74]
000f7adccall caml_c_call
000f7ae1mov eax, 1
000f7ae6call camlLocation.restore_386
000f7aebpop [r14+48]
000f7aefadd rsp, 8
000f7af3jmp 0xf7b18
000f7af5nop [rax]
000f7af8lea rbx, [rip+0x22a161]
000f7affmov rbx, [rbx+8]
000f7b03cmp rax, rbx
000f7b06je 0xf7b18
000f7b08mov rsp, [r14+48]
000f7b0cpop [r14+48]
000f7b10pop r11
000f7b12jmp r11
000f7b15nop [rax]
000f7b18
000f7b18loc_f7b18:
000f7b18lea rax, [rip+0x232551]
000f7b1fmov rax, [rax+80]
000f7b23mov rbx, [rsp]
000f7b27mov [rax], rbx
000f7b2amov eax, 1
000f7b2fadd rsp, 32
000f7b33ret
000f7b34
000f7b34loc_f7b34:
000f7b34push 41
000f7b36call caml_call_realloc_stack
000f7b3bpop r10
000f7b3djmp 0xf79f2
000f79e0

000f7b42
000f7b42 // align 0x10

000f7b50
000f7b50camlHevea.read_prog_1640:
000f7b50lea r10, [rsp-360]
000f7b58cmp r10, [r14+40]
000f7b5cjb 0xf7c69
000f7b62
000f7b62loc_f7b62:
000f7b62sub rsp, 24
000f7b66mov [rsp], rax
000f7b6alea r11, [rip+183]
000f7b71push r11
000f7b73push [r14+48]
000f7b77mov [r14+48], rsp
000f7b7bcall camlMyfiles.find_619
000f7b80mov [rsp+32], rax
000f7b85lea rax, [rip+0x2547bc]
000f7b8cmov rax, [rax+80]
000f7b90mov rbx, [rax+8]
000f7b94lea rax, [rip+0x27e1d5]
000f7b9bmov rax, [rax+272]
000f7ba2mov rdi, [rbx]
000f7ba5call rdi
000f7ba7lea rdi, [rip+0x1829ba]
000f7baelea rbx, [rip+0x1824cb]
000f7bb5call Stdlib.Filename.temp_file_inner
000f7bbamov rbx, rax
000f7bbdmov [rsp+24], rbx
000f7bc2lea rax, [rip+0x18298f]
000f7bc9call camlStdlib.$5e_139
000f7bcemov rbx, rax
000f7bd1mov rax, [rsp+32]
000f7bd6call camlStdlib.$5e_139
000f7bdbmov rdi, rax
000f7bdelea rax, [rip+0x12b21b]
000f7be5call caml_c_call
000f7beacmp rax, 1
000f7beeje 0xf7c08
000f7bf0lea rax, [rip+0x182939]
000f7bf7mov rbx, [rsp+32]
000f7bfccall camlStdlib.$5e_139
000f7c01call camlMisc.warning_287
000f7c06jmp 0xf7c12
000f7c08
000f7c08loc_f7c08:
000f7c08mov rax, [rsp+24]
000f7c0dcall camlHevea.read_style_1579
000f7c12
000f7c12loc_f7c12:
000f7c12mov rax, [rsp+24]
000f7c17call camlMysys.remove_492
000f7c1cpop [r14+48]
000f7c20add rsp, 8
000f7c24jmp 0xf7c64
000f7c26nop
000f7c28lea rbx, [rip+0x2359e9]
000f7c2fmov rbx, [rbx+56]
000f7c33cmp rax, rbx
000f7c36jne 0xf7c54
000f7c38lea rax, [rip+0x1828c9]
000f7c3fmov rbx, [rsp]
000f7c43call camlStdlib.$5e_139
000f7c48add rsp, 24
000f7c4cjmp 0x1919c0
000f7c51nop [rax]
000f7c54
000f7c54loc_f7c54:
000f7c54mov rsp, [r14+48]
000f7c58pop [r14+48]
000f7c5cpop r11
000f7c5ejmp r11
000f7c61nop [rax]
000f7c64
000f7c64loc_f7c64:
000f7c64add rsp, 24
000f7c68ret
000f7c69
000f7c69loc_f7c69:
000f7c69push 38
000f7c6bcall caml_call_realloc_stack
000f7c70pop r10
000f7c72jmp 0xf7b62
000f7b50

000f7c77
000f7c77 // align 0x10

000f7c80
000f7c80camlHevea.read_tex_1748:
000f7c80lea r10, [rsp-336]
000f7c88cmp r10, [r14+40]
000f7c8cjb 0xf7db9
000f7c92
000f7c92loc_f7c92:
000f7c92mov rdi, rax
000f7c95lea rbx, [rip+0x2323d4]
000f7c9cmov rax, [rbx+80]
000f7ca0mov rsi, [rax]
000f7ca3mov rbx, [rbx+104]
000f7ca7mov rbx, [rbx]
000f7caalea rdx, [rip+0x22988f]
000f7cb1mov rcx, [rdx+8]
000f7cb5mov [rcx], rbx
000f7cb8mov rbx, [rdx]
000f7cbbmov [rbx], rsi
000f7cbelea r11, [rip+203]
000f7cc5push r11
000f7cc7push [r14+48]
000f7ccbmov [r14+48], rsp
000f7ccfmov rbx, [rdi-8]
000f7cd3shr rbx, 10
000f7cd7cmp rbx, 2
000f7cdbjge 0xf7d1c
000f7cddmov rbx, [rdi]
000f7ce0mov rsi, 0x700000000000000
000f7ceacmp rbx, rsi
000f7cedjne 0xf7d1c
000f7ceflea rbx, [rip+0x235922]
000f7cf6mov rsi, [rbx+296]
000f7cfdlea rdi, [rip+0x18278c]
000f7d04lea rbx, [rip+0x1822e5]
000f7d0bmov rbx, [rbx+16]
000f7d0fmov rax, [rax]
000f7d12call camlLexstate.real_input_file_1235
000f7d17jmp 0xf7d84
000f7d19nop [rax]
000f7d1c
000f7d1cloc_f7d1c:
000f7d1clea rax, [rip+0x1822cd]
000f7d23mov rbx, [rax+16]
000f7d27lea rax, [rip+0x232342]
000f7d2emov rax, [rax+80]
000f7d32mov rax, [rax]
000f7d35call camlLexstate.input_file_1245
000f7d3alea rax, [rip+0x1822af]
000f7d41mov rbx, [rax+8]
000f7d45lea rax, [rip+0x18279c]
000f7d4cmov rdi, [rbx]
000f7d4fcall rdi
000f7d51mov rbx, [rax-8]
000f7d55shr rbx, 10
000f7d59cmp rbx, 2
000f7d5djge 0xf7d78
000f7d5fmov rax, [rax]
000f7d62mov rbx, 0x500000000004b4f
000f7d6ccmp rax, rbx
000f7d6fjne 0xf7d78
000f7d71mov eax, 1
000f7d76jmp 0xf7d84
000f7d78
000f7d78loc_f7d78:
000f7d78lea rax, [rip+0x182739]
000f7d7fcall camlStdlib.prerr_endline_390
000f7d84
000f7d84loc_f7d84:
000f7d84pop [r14+48]
000f7d88add rsp, 8
000f7d8cjmp 0xf7db8
000f7d8enop
000f7d90lea rbx, [rip+0x2322d9]
000f7d97mov rbx, [rbx+56]
000f7d9bcmp rax, rbx
000f7d9ejne 0xf7da8
000f7da0mov eax, 1
000f7da5ret
000f7da6nop
000f7da8
000f7da8loc_f7da8:
000f7da8mov rsp, [r14+48]
000f7dacpop [r14+48]
000f7db0pop r11
000f7db2jmp r11
000f7db5nop [rax]
000f7db8
000f7db8loc_f7db8:
000f7db8ret
000f7db9
000f7db9loc_f7db9:
000f7db9push 35
000f7dbbcall caml_call_realloc_stack
000f7dc0pop r10
000f7dc2jmp 0xf7c92
000f7c80

000f7dc7
000f7dc7 // align 0x10

000f7dd0
000f7dd0camlHevea.main_1791:
000f7dd0lea r10, [rsp-344]
000f7dd8cmp r10, [r14+40]
000f7ddcjb 0xf8052
000f7de2
000f7de2loc_f7de2:
000f7de2sub rsp, 8
000f7de6lea rax, [rip+0x232283]
000f7dedmov rbx, [rax+80]
000f7df1mov rax, [rax+88]
000f7df5mov rax, [rax]
000f7df8mov [rbx], rax
000f7dfblea rax, [rip+0x18269e]
000f7e02call camlHevea.read_style_1579
000f7e07lea rax, [rip+0x230832]
000f7e0emov rax, [rax+96]
000f7e12call camlHevea.do_rec_1793
000f7e17lea rax, [rip+0x230822]
000f7e1emov rax, [rax+88]
000f7e22cmp rax, 1
000f7e26je 0xf7e3d
000f7e28lea rax, [rip+0x1821c1]
000f7e2fmov rbx, [rax+24]
000f7e33mov eax, 1
000f7e38mov rdi, [rbx]
000f7e3bcall rdi
000f7e3d
000f7e3dloc_f7e3d:
000f7e3dlea rax, [rip+0x2307fc]
000f7e44mov rbx, [rax+40]
000f7e48mov rbx, [rbx]
000f7e4bcmp rbx, 1
000f7e4fje 0xf7ec8
000f7e51sub r15, 16
000f7e55cmp r15, [r14]
000f7e58jb 0xf8048
000f7e5e
000f7e5eloc_f7e5e:
000f7e5elea rax, [r15+8]
000f7e62mov [rsp], rax
000f7e66mov [rax-8], 1024
000f7e6emov [rax], 1
000f7e75mov eax, 1
000f7e7acall camlHot.checkpoint_462
000f7e7fsub r15, 40
000f7e83cmp r15, [r14]
000f7e86jb 0xf803e
000f7e8c
000f7e8cloc_f7e8c:
000f7e8clea rbx, [r15+8]
000f7e90mov [rbx-8], 4343
000f7e98lea rdi, [rip+561]
000f7e9fmov [rbx], rdi
000f7ea2mov rdi, 0x100000000000005
000f7eacmov [rbx+8], rdi
000f7eb0mov rdi, [rsp]
000f7eb4mov [rbx+16], rdi
000f7eb8mov [rbx+24], rax
000f7ebcmov eax, 3
000f7ec1call camlHevea.do_rec_1805
000f7ec6jmp 0xf7edb
000f7ec8
000f7ec8loc_f7ec8:
000f7ec8mov rax, [rax+112]
000f7ecccall camlHevea.read_tex_1748
000f7ed1mov eax, 3
000f7ed6call camlHevea.finalize_1516
000f7edb
000f7edbloc_f7edb:
000f7edblea rax, [rip+0x23075e]
000f7ee2mov rbx, [rax+48]
000f7ee6mov rbx, [rbx]
000f7ee9cmp rbx, 1
000f7eedje 0xf8020
000f7ef3mov rbx, [rax+8]
000f7ef7mov rbx, [rbx]
000f7efacmp rbx, 1
000f7efeje 0xf7f0c
000f7f00mov eax, 1
000f7f05add rsp, 8
000f7f09ret
000f7f0anop
000f7f0c
000f7f0cloc_f7f0c:
000f7f0clea rsi, [rip+0x18257d]
000f7f13mov rdi, [rax+112]
000f7f17mov rbx, rsp
000f7f1amov rsp, [r14+64]
000f7f1ecall caml_string_notequal
000f7f23mov rsp, rbx
000f7f26cmp rax, 1
000f7f2aje 0xf8014
000f7f30lea rax, [rip+0x21b589]
000f7f37mov rax, [rax]
000f7f3alea rbx, [rip+0x23212f]
000f7f41mov rbx, [rbx+80]
000f7f45mov rbx, [rbx]
000f7f48mov [rax], rbx
000f7f4blea rax, [rip+0x2306ee]
000f7f52mov rax, [rax+80]
000f7f56mov rbx, [rax]
000f7f59sub r15, 32
000f7f5dcmp r15, [r14]
000f7f60jb 0xf8034
000f7f66
000f7f66loc_f7f66:
000f7f66lea rax, [r15+8]
000f7f6amov [rax-8], 3072
000f7f72mov [rax], 1
000f7f79mov [rax+8], 3
000f7f81mov [rax+16], rbx
000f7f85call camlEsp.Make_731
000f7f8asub r15, 16
000f7f8ecmp r15, [r14]
000f7f91jb 0xf802a
000f7f97
000f7f97loc_f7f97:
000f7f97lea rbx, [r15+8]
000f7f9bmov [rbx-8], 1024
000f7fa3mov rax, [rax+120]
000f7fa7mov [rbx], rax
000f7faalea r11, [rip+43]
000f7fb1push r11
000f7fb3push [r14+48]
000f7fb7mov [r14+48], rsp
000f7fbblea rax, [rip+0x23067e]
000f7fc2mov rax, [rax+128]
000f7fc9mov rbx, [rbx]
000f7fcccall camlEsp.file_727
000f7fd1pop [r14+48]
000f7fd5add rsp, 8
000f7fd9jmp 0xf800c
000f7fdbnop
000f7fdclea rbx, [rip+0x202c35]
000f7fe3mov rbx, [rbx]
000f7fe6cmp rax, rbx
000f7fe9jne 0xf7ffc
000f7feblea rax, [rip+0x1823be]
000f7ff2add rsp, 8
000f7ff6jmp 0x1919c0
000f7ffbnop
000f7ffc
000f7ffcloc_f7ffc:
000f7ffcmov rsp, [r14+48]
000f8000pop [r14+48]
000f8004pop r11
000f8006jmp r11
000f8009nop [rax]
000f800c
000f800cloc_f800c:
000f800cadd rsp, 8
000f8010ret
000f8011nop [rax]
000f8014
000f8014loc_f8014:
000f8014mov eax, 1
000f8019add rsp, 8
000f801dret
000f801enop
000f8020
000f8020loc_f8020:
000f8020mov eax, 1
000f8025add rsp, 8
000f8029ret
000f802a
000f802aloc_f802a:
000f802acall caml_call_gc
000f802fjmp 0xf7f97
000f8034
000f8034loc_f8034:
000f8034call caml_call_gc
000f8039jmp 0xf7f66
000f803e
000f803eloc_f803e:
000f803ecall caml_call_gc
000f8043jmp 0xf7e8c
000f8048
000f8048loc_f8048:
000f8048call caml_call_gc
000f804djmp 0xf7e5e
000f8052
000f8052loc_f8052:
000f8052push 36
000f8054call caml_call_realloc_stack
000f8059pop r10
000f805bjmp 0xf7de2
000f7dd0

000f8060
000f8060camlHevea.do_rec_1793:
000f8060lea r10, [rsp-328]
000f8068cmp r10, [r14+40]
000f806cjb 0xf80c5
000f806e
000f806eloc_f806e:
000f806esub rsp, 8
000f8072test al, 1
000f8074je 0xf8080
000f8076mov eax, 1
000f807badd rsp, 8
000f807fret
000f8080
000f8080loc_f8080:
000f8080mov rbx, [rax]
000f8083mov [rsp], rbx
000f8087movzx rbx, [rbx-8]
000f808ctest rbx, rbx
000f808fje 0xf80ac
000f8091mov rax, [rax+8]
000f8095call camlHevea.do_rec_1793
000f809amov rax, [rsp]
000f809emov rax, [rax]
000f80a1add rsp, 8
000f80a5jmp 0xf7b50
000f80aa
000f80aa 66 90 f.
000f80ac
000f80acloc_f80ac:
000f80acmov rax, [rax+8]
000f80b0call camlHevea.do_rec_1793
000f80b5mov rax, [rsp]
000f80b9mov rax, [rax]
000f80bcadd rsp, 8
000f80c0jmp 0xf79e0
000f80c5
000f80c5loc_f80c5:
000f80c5push 34
000f80c7call caml_call_realloc_stack
000f80ccpop r10
000f80cejmp 0xf806e
000f8060

000f80d0
000f80d0camlHevea.do_rec_1805:
000f80d0lea r10, [rsp-336]
000f80d8cmp r10, [r14+40]
000f80dcjb 0xf826c
000f80e2
000f80e2loc_f80e2:
000f80e2sub rsp, 16
000f80e6
000f80e6loc_f80e6:
000f80e6mov [rsp], rax
000f80eamov [rsp+8], rbx
000f80efcmp r15, [r14]
000f80f2jbe 0xf8262
000f80f8
000f80f8loc_f80f8:
000f80f8lea rax, [rip+0x230541]
000f80ffmov rax, [rax+112]
000f8103call camlHevea.read_tex_1748
000f8108mov eax, 3
000f810dcall camlHevea.finalize_1516
000f8112mov rsi, [rsp+8]
000f8117mov rbx, [rsi+16]
000f811bmov rbx, [rbx]
000f811ecmp rbx, 1
000f8122jne 0xf812c
000f8124mov rbx, [rax+8]
000f8128jmp 0xf8131
000f812a
000f812a 66 90 f.
000f812c
000f812cloc_f812c:
000f812cmov ebx, 3
000f8131
000f8131loc_f8131:
000f8131mov rdi, [rsi+16]
000f8135mov [rdi], rbx
000f8138mov rax, [rax]
000f813bcmp rax, 1
000f813fje 0xf8180
000f8141lea rax, [rip+0x1ea8d0]
000f8148mov rbx, [rax+8]
000f814cmov rax, [rsi+24]
000f8150mov rdi, [rbx]
000f8153call rdi
000f8155mov eax, 1
000f815acall camlAuxx.hot_start_587
000f815flea rax, [rip+0x18230a]
000f8166call camlMisc.message_307
000f816bmov rax, [rsp]
000f816fadd rax, 2
000f8173mov rbx, [rsp+8]
000f8178jmp 0xf80e6
000f817d
000f817d 0f 1f 00 ...
000f8180
000f8180loc_f8180:
000f8180mov rax, [rsp]
000f8184call camlStdlib.string_of_int_175
000f8189lea rbx, [rip+0x1822a8]
000f8190call camlStdlib.$5e_139
000f8195mov rbx, rax
000f8198lea rax, [rip+0x1822b1]
000f819fcall camlStdlib.$5e_139
000f81a4call camlMisc.message_307
000f81a9mov rax, [rsp+8]
000f81aemov rax, [rax+16]
000f81b2mov rax, [rax]
000f81b5cmp rax, 1
000f81b9je 0xf8258
000f81bflea rax, [rip+0x182242]
000f81c6call camlMisc.message_307
000f81cblea rax, [rip+0x23046e]
000f81d2mov rbx, [rax+120]
000f81d6lea rax, [rip+0x18220b]
000f81ddcall camlStdlib.$5e_139
000f81e2mov rbx, rax
000f81e5lea rax, [rip+0x231e84]
000f81ecmov rax, [rax+272]
000f81f3mov rax, [rax]
000f81f6test al, 1
000f81f8je 0xf8204
000f81falea rax, [rip+0x23209f]
000f8201jmp 0xf8207
000f8203
000f8203 90 .
000f8204
000f8204loc_f8204:
000f8204mov rax, [rax]
000f8207
000f8207loc_f8207:
000f8207call camlStdlib.$5e_139
000f820cmov rbx, rax
000f820flea rax, [rip+0x1821d2]
000f8216call camlStdlib.$5e_139
000f821bmov [rsp], rax
000f821flea rbx, [rip+0x1821d2]
000f8226lea rax, [rip+0x231b43]
000f822dmov rax, [rax+8]
000f8231call Stdlib.Filename.concat
000f8236mov rbx, [rsp]
000f823acall camlStdlib.$5e_139
000f823fmov rdi, rax
000f8242lea rax, [rip+0x12abb7]
000f8249call caml_c_call
000f824emov eax, 1
000f8253add rsp, 16
000f8257ret
000f8258
000f8258loc_f8258:
000f8258mov eax, 1
000f825dadd rsp, 16
000f8261ret
000f8262
000f8262loc_f8262:
000f8262call caml_call_gc
000f8267jmp 0xf80f8
000f826c
000f826cloc_f826c:
000f826cpush 35
000f826ecall caml_call_realloc_stack
000f8273pop r10
000f8275jmp 0xf80e2
000f80d0

000f827a
000f827a // align 0x10

000f8280
000f8280camlHevea.entry:
000f8280lea r10, [rsp-352]
000f8288cmp r10, [r14+40]
000f828cjb 0xf8fc4
000f8292
000f8292loc_f8292:
000f8292sub rsp, 16
000f8296lea rsi, [rip+0x1822db]
000f829dlea rdi, [rip+0x181d4c]
000f82a4mov rbx, rsp
000f82a7mov rsp, [r14+64]
000f82abcall caml_initialize
000f82b0mov rsp, rbx
000f82b3lea rbx, [rip+0x230386]
000f82bamov rax, [rbx+8]
000f82bemov rax, [rax]
000f82c1sar rax, 1
000f82c4cmp rax, 1
000f82c8je 0xf8713
000f82ceja 0xf88e4
000f82d4lea rsi, [rip+0x1821b5]
000f82dbmov rdi, [rbx+112]
000f82dfmov rbx, rsp
000f82e2mov rsp, [r14+64]
000f82e6call caml_string_notequal
000f82ebmov rsp, rbx
000f82eecmp rax, 1
000f82f2je 0xf84a5
000f82f8lea rbx, [rip+0x1d86b1]
000f82fflea rax, [rip+0x1d95aa]
000f8306lea rdi, [rip+0x19f763]
000f830dmov rdi, [rdi]
000f8310sub r15, 40
000f8314call caml_allocN
000f8319lea rsi, [r15+8]
000f831dmov [rsi-8], 4343
000f8325lea rdx, [rip-3772]
000f832cmov [rsi], rdx
000f832fmov rdx, 0x100000000000005
000f8339mov [rsi+8], rdx
000f833dmov [rsi+16], rax
000f8341mov [rsi+24], rdi
000f8345mov rax, [rsi+16]
000f8349call camlLatexscan.fun_9473
000f834emov [rsp+8], rax
000f8353lea rbx, [rip+0x1d8656]
000f835alea rdi, [rip+0x1d954f]
000f8361lea rsi, [rip+0x1832c0]
000f8368mov rsi, [rsi]
000f836bsub r15, 136
000f8372call caml_allocN
000f8377lea rdx, [r15+8]
000f837badd rdx, 88
000f837fmov [rdx-8], 5367
000f8387lea rcx, [rip-5214]
000f838emov [rdx], rcx
000f8391mov rcx, 0x300000000000007
000f839bmov [rdx+8], rcx
000f839flea rcx, [rip-3878]
000f83a6mov [rdx+16], rcx
000f83aamov [rdx+24], rdi
000f83aemov [rdx+32], rsi
000f83b2lea rdi, [rdx-48]
000f83b6mov [rdi-8], 5367
000f83belea rsi, [rip-5029]
000f83c5mov [rdi], rsi
000f83c8mov rsi, 0x200000000000007
000f83d2mov [rdi+8], rsi
000f83d6lea rsi, [rip-3821]
000f83ddmov [rdi+16], rsi
000f83e1mov [rdi+24], rbx
000f83e5mov [rdi+32], rdx
000f83e9lea rsi, [rdi-40]
000f83edmov [rsp], rsi
000f83f1mov [rsi-8], 4343
000f83f9lea rbx, [rip-3744]
000f8400mov [rsi], rbx
000f8403mov rbx, 0x100000000000005
000f840dmov [rsi+8], rbx
000f8411mov [rsi+16], rax
000f8415mov [rsi+24], rdi
000f8419lea rax, [rip+0x183368]
000f8420mov rbx, [rax]
000f8423mov rax, [rsi+16]
000f8427mov rdi, [rsi+24]
000f842bcall camlHevea.fun_2051
000f8430lea rax, [rip+0x192e29]
000f8437mov rbx, [rax]
000f843amov rdi, [rsp]
000f843emov rax, [rdi+16]
000f8442mov rdi, [rdi+24]
000f8446call camlHevea.fun_2051
000f844blea rax, [rip+0x1867b6]
000f8452mov rbx, [rax+8]
000f8456mov rdi, [rsp]
000f845amov rax, [rdi+16]
000f845emov rdi, [rdi+24]
000f8462call camlHevea.fun_2051
000f8467lea rax, [rip+0x1d8542]
000f846emov r12, [rax+56]
000f8472lea rax, [rip+0x1d9437]
000f8479mov r13, [rax+440]
000f8480mov rdi, [rsp+8]
000f8485mov rbp, [rdi+48]
000f8489mov rbx, [rdi]
000f848cmov rax, [rdi+24]
000f8490mov rsi, [rdi+216]
000f8497mov [rsp], rax
000f849bmov [rsp+8], rbx
000f84a0jmp 0xf8ab0
000f84a5
000f84a5loc_f84a5:
000f84a5lea rbx, [rip+0x19ee7c]
000f84aclea rax, [rip+0x1d93fd]
000f84b3lea rdi, [rip+0x19f5b6]
000f84bamov rdi, [rdi]
000f84bdsub r15, 40
000f84c1call caml_allocN
000f84c6lea rsi, [r15+8]
000f84camov [rsi-8], 4343
000f84d2lea rdx, [rip-3929]
000f84d9mov [rsi], rdx
000f84dcmov rdx, 0x100000000000005
000f84e6mov [rsi+8], rdx
000f84eamov [rsi+16], rax
000f84eemov [rsi+24], rdi
000f84f2mov rax, [rsi+16]
000f84f6call camlLatexscan.fun_9473
000f84fbmov rdi, rax
000f84femov [rsp], rdi
000f8502lea rax, [rip+0x19ee1f]
000f8509lea rbx, [rip+0x1d93a0]
000f8510lea rsi, [rip+0x183271]
000f8517mov rsi, [rsi]
000f851asub r15, 88
000f851ecall caml_allocN
000f8523lea rdx, [r15+8]
000f8527add rdx, 40
000f852bmov [rdx-8], 5367
000f8533lea rcx, [rip-5402]
000f853amov [rdx], rcx
000f853dmov rcx, 0x200000000000007
000f8547mov [rdx+8], rcx
000f854blea rcx, [rip-4034]
000f8552mov [rdx+16], rcx
000f8556mov [rdx+24], rbx
000f855amov [rdx+32], rsi
000f855elea rsi, [rdx-40]
000f8562mov [rsi-8], 4343
000f856alea rbx, [rip-4033]
000f8571mov [rsi], rbx
000f8574mov rbx, 0x100000000000005
000f857emov [rsi+8], rbx
000f8582mov [rsi+16], rax
000f8586mov [rsi+24], rdx
000f858amov rbx, [rsi+16]
000f858emov rax, [rsi+24]
000f8592mov rax, [rax+24]
000f8596call camlVideoc.Make_1011
000f859blea rax, [rip+0x19ed86]
000f85a2lea rbx, [rip+0x1d9307]
000f85a9lea rdi, [rip+0x186658]
000f85b0mov rdi, [rdi+8]
000f85b4sub r15, 88
000f85b8call caml_allocN
000f85bdlea rsi, [r15+8]
000f85c1add rsi, 40
000f85c5mov [rsi-8], 5367
000f85cdlea rdx, [rip-5556]
000f85d4mov [rsi], rdx
000f85d7mov rdx, 0x200000000000007
000f85e1mov [rsi+8], rdx
000f85e5lea rdx, [rip-4124]
000f85ecmov [rsi+16], rdx
000f85f0mov [rsi+24], rbx
000f85f4mov [rsi+32], rdi
000f85f8lea rdi, [rsi-40]
000f85fcmov [rdi-8], 4343
000f8604lea rbx, [rip-4123]
000f860bmov [rdi], rbx
000f860emov rbx, 0x100000000000005
000f8618mov [rdi+8], rbx
000f861cmov [rdi+16], rax
000f8620mov [rdi+24], rsi
000f8624mov rbx, [rdi+16]
000f8628mov rax, [rdi+24]
000f862cmov rax, [rax+24]
000f8630mov rdi, [rsp]
000f8634call camlVerb.Make_1962
000f8639lea rax, [rip+0x1d8370]
000f8640lea rbx, [rip+0x1d9269]
000f8647lea rdi, [rip+0x192c12]
000f864emov rdi, [rdi]
000f8651sub r15, 88
000f8655call caml_allocN
000f865alea rsi, [r15+8]
000f865eadd rsi, 40
000f8662mov [rsi-8], 5367
000f866alea rdx, [rip-5713]
000f8671mov [rsi], rdx
000f8674mov rdx, 0x200000000000007
000f867emov [rsi+8], rdx
000f8682lea rdx, [rip-4217]
000f8689mov [rsi+16], rdx
000f868dmov [rsi+24], rbx
000f8691mov [rsi+32], rdi
000f8695lea rdi, [rsi-40]
000f8699mov [rdi-8], 4343
000f86a1lea rbx, [rip-4216]
000f86a8mov [rdi], rbx
000f86abmov rbx, 0x100000000000005
000f86b5mov [rdi+8], rbx
000f86b9mov [rdi+16], rax
000f86bdmov [rdi+24], rsi
000f86c1mov rbx, [rdi+16]
000f86c5mov rax, [rdi+24]
000f86c9mov rax, [rax+24]
000f86cdmov rdi, [rsp]
000f86d1call camlPackage.Make_1936
000f86d6lea rax, [rip+0x19ec4b]
000f86ddmov r12, [rax+56]
000f86e1lea rax, [rip+0x1d91c8]
000f86e8mov r13, [rax+440]
000f86efmov rdi, [rsp]
000f86f3mov rbp, [rdi+48]
000f86f7mov rbx, [rdi]
000f86famov rax, [rdi+24]
000f86femov rsi, [rdi+216]
000f8705mov [rsp], rax
000f8709mov [rsp+8], rbx
000f870ejmp 0xf8ab0
000f8713
000f8713loc_f8713:
000f8713lea rbx, [rip+0x19ec0e]
000f871alea rax, [rip+0x1ee397]
000f8721lea rdi, [rip+0x19f348]
000f8728mov rdi, [rdi]
000f872bsub r15, 40
000f872fcall caml_allocN
000f8734lea rsi, [r15+8]
000f8738mov [rsi-8], 4343
000f8740lea rdx, [rip-4343]
000f8747mov [rsi], rdx
000f874amov rdx, 0x100000000000005
000f8754mov [rsi+8], rdx
000f8758mov [rsi+16], rax
000f875cmov [rsi+24], rdi
000f8760mov rax, [rsi+16]
000f8764call camlLatexscan.fun_9473
000f8769mov rdi, rax
000f876cmov [rsp], rdi
000f8770lea rax, [rip+0x19ebb1]
000f8777lea rbx, [rip+0x1ee33a]
000f877elea rsi, [rip+0x186483]
000f8785mov rsi, [rsi+8]
000f8789sub r15, 88
000f878dcall caml_allocN
000f8792lea rdx, [r15+8]
000f8796add rdx, 40
000f879amov [rdx-8], 5367
000f87a2lea rcx, [rip-6025]
000f87a9mov [rdx], rcx
000f87acmov rcx, 0x200000000000007
000f87b6mov [rdx+8], rcx
000f87balea rcx, [rip-4449]
000f87c1mov [rdx+16], rcx
000f87c5mov [rdx+24], rbx
000f87c9mov [rdx+32], rsi
000f87cdlea rsi, [rdx-40]
000f87d1mov [rsi-8], 4343
000f87d9lea rbx, [rip-4448]
000f87e0mov [rsi], rbx
000f87e3mov rbx, 0x100000000000005
000f87edmov [rsi+8], rbx
000f87f1mov [rsi+16], rax
000f87f5mov [rsi+24], rdx
000f87f9mov rbx, [rsi+16]
000f87fdmov rax, [rsi+24]
000f8801mov rax, [rax+24]
000f8805call camlVerb.Make_1962
000f880alea rax, [rip+0x1d819f]
000f8811lea rbx, [rip+0x1ee2a0]
000f8818lea rdi, [rip+0x192a41]
000f881fmov rdi, [rdi]
000f8822sub r15, 88
000f8826call caml_allocN
000f882blea rsi, [r15+8]
000f882fadd rsi, 40
000f8833mov [rsi-8], 5367
000f883blea rdx, [rip-6178]
000f8842mov [rsi], rdx
000f8845mov rdx, 0x200000000000007
000f884fmov [rsi+8], rdx
000f8853lea rdx, [rip-4538]
000f885amov [rsi+16], rdx
000f885emov [rsi+24], rbx
000f8862mov [rsi+32], rdi
000f8866lea rdi, [rsi-40]
000f886amov [rdi-8], 4343
000f8872lea rbx, [rip-4537]
000f8879mov [rdi], rbx
000f887cmov rbx, 0x100000000000005
000f8886mov [rdi+8], rbx
000f888amov [rdi+16], rax
000f888emov [rdi+24], rsi
000f8892mov rbx, [rdi+16]
000f8896mov rax, [rdi+24]
000f889amov rax, [rax+24]
000f889emov rdi, [rsp]
000f88a2call camlPackage.Make_1936
000f88a7lea rax, [rip+0x19ea7a]
000f88aemov r12, [rax+56]
000f88b2lea rax, [rip+0x1ee1ff]
000f88b9mov r13, [rax+440]
000f88c0mov rdi, [rsp]
000f88c4mov rbp, [rdi+48]
000f88c8mov rbx, [rdi]
000f88cbmov rax, [rdi+24]
000f88cfmov rsi, [rdi+216]
000f88d6mov [rsp], rax
000f88damov [rsp+8], rbx
000f88dfjmp 0xf8ab0
000f88e4
000f88e4loc_f88e4:
000f88e4lea rbx, [rip+0x19ea3d]
000f88eblea rax, [rip+0x1d57ce]
000f88f2lea rdi, [rip+0x19f177]
000f88f9mov rdi, [rdi]
000f88fcsub r15, 40
000f8900call caml_allocN
000f8905lea rsi, [r15+8]
000f8909mov [rsi-8], 4343
000f8911lea rdx, [rip-4664]
000f8918mov [rsi], rdx
000f891bmov rdx, 0x100000000000005
000f8925mov [rsi+8], rdx
000f8929mov [rsi+16], rax
000f892dmov [rsi+24], rdi
000f8931mov rax, [rsi+16]
000f8935call camlLatexscan.fun_9473
000f893amov rdi, rax
000f893dmov [rsp], rdi
000f8941lea rax, [rip+0x19e9e0]
000f8948lea rbx, [rip+0x1d5771]
000f894flea rsi, [rip+0x1862b2]
000f8956mov rsi, [rsi+8]
000f895asub r15, 88
000f895ecall caml_allocN
000f8963lea rdx, [r15+8]
000f8967add rdx, 40
000f896bmov [rdx-8], 5367
000f8973lea rcx, [rip-6490]
000f897amov [rdx], rcx
000f897dmov rcx, 0x200000000000007
000f8987mov [rdx+8], rcx
000f898blea rcx, [rip-4770]
000f8992mov [rdx+16], rcx
000f8996mov [rdx+24], rbx
000f899amov [rdx+32], rsi
000f899elea rsi, [rdx-40]
000f89a2mov [rsi-8], 4343
000f89aalea rbx, [rip-4769]
000f89b1mov [rsi], rbx
000f89b4mov rbx, 0x100000000000005
000f89bemov [rsi+8], rbx
000f89c2mov [rsi+16], rax
000f89c6mov [rsi+24], rdx
000f89camov rbx, [rsi+16]
000f89cemov rax, [rsi+24]
000f89d2mov rax, [rax+24]
000f89d6call camlVerb.Make_1962
000f89dblea rax, [rip+0x1d7fce]
000f89e2lea rbx, [rip+0x1d56d7]
000f89e9lea rdi, [rip+0x192870]
000f89f0mov rdi, [rdi]
000f89f3sub r15, 88
000f89f7call caml_allocN
000f89fclea rsi, [r15+8]
000f8a00add rsi, 40
000f8a04mov [rsi-8], 5367
000f8a0clea rdx, [rip-6643]
000f8a13mov [rsi], rdx
000f8a16mov rdx, 0x200000000000007
000f8a20mov [rsi+8], rdx
000f8a24lea rdx, [rip-4859]
000f8a2bmov [rsi+16], rdx
000f8a2fmov [rsi+24], rbx
000f8a33mov [rsi+32], rdi
000f8a37lea rdi, [rsi-40]
000f8a3bmov [rdi-8], 4343
000f8a43lea rbx, [rip-4858]
000f8a4amov [rdi], rbx
000f8a4dmov rbx, 0x100000000000005
000f8a57mov [rdi+8], rbx
000f8a5bmov [rdi+16], rax
000f8a5fmov [rdi+24], rsi
000f8a63mov rbx, [rdi+16]
000f8a67mov rax, [rdi+24]
000f8a6bmov rax, [rax+24]
000f8a6fmov rdi, [rsp]
000f8a73call camlPackage.Make_1936
000f8a78lea rax, [rip+0x19e8a9]
000f8a7fmov r12, [rax+56]
000f8a83lea rax, [rip+0x1d5636]
000f8a8amov r13, [rax+440]
000f8a91mov rdi, [rsp]
000f8a95mov rbp, [rdi+48]
000f8a99mov rbx, [rdi]
000f8a9cmov rax, [rdi+24]
000f8aa0mov rsi, [rdi+216]
000f8aa7mov [rsp], rax
000f8aabmov [rsp+8], rbx
000f8ab0
000f8ab0loc_f8ab0:
000f8ab0lea rdi, [rip+0x181539]
000f8ab7add rdi, 8
000f8abbmov rbx, rsp
000f8abemov rsp, [r14+64]
000f8ac2call caml_initialize
000f8ac7mov rsp, rbx
000f8acalea rdi, [rip+0x18151f]
000f8ad1add rdi, 16
000f8ad5mov rsi, [rsp]
000f8ad9mov rbx, rsp
000f8adcmov rsp, [r14+64]
000f8ae0call caml_initialize
000f8ae5mov rsp, rbx
000f8ae8lea rdi, [rip+0x181501]
000f8aefadd rdi, 24
000f8af3mov rsi, [rsp+8]
000f8af8mov rbx, rsp
000f8afbmov rsp, [r14+64]
000f8affcall caml_initialize
000f8b04mov rsp, rbx
000f8b07lea rdi, [rip+0x1814e2]
000f8b0eadd rdi, 32
000f8b12mov rsi, rbp
000f8b15mov rbx, rsp
000f8b18mov rsp, [r14+64]
000f8b1ccall caml_initialize
000f8b21mov rsp, rbx
000f8b24lea rdi, [rip+0x1814c5]
000f8b2badd rdi, 40
000f8b2fmov rsi, r13
000f8b32mov rbx, rsp
000f8b35mov rsp, [r14+64]
000f8b39call caml_initialize
000f8b3emov rsp, rbx
000f8b41lea rdi, [rip+0x1814a8]
000f8b48add rdi, 48
000f8b4cmov rsi, r12
000f8b4fmov rbx, rsp
000f8b52mov rsp, [r14+64]
000f8b56call caml_initialize
000f8b5bmov rsp, rbx
000f8b5elea rsi, [rip+0x1813cb]
000f8b65lea rdi, [rip+0x181484]
000f8b6cadd rdi, 56
000f8b70mov rbx, rsp
000f8b73mov rsp, [r14+64]
000f8b77call caml_initialize
000f8b7cmov rsp, rbx
000f8b7flea rsi, [rip+0x1813da]
000f8b86lea r12, [rip+0x1813bb]
000f8b8dlea rdi, [rip+0x18145c]
000f8b94add rdi, 64
000f8b98mov rbx, rsp
000f8b9bmov rsp, [r14+64]
000f8b9fcall caml_initialize
000f8ba4mov rsp, rbx
000f8ba7lea rdi, [rip+0x181442]
000f8baeadd rdi, 72
000f8bb2mov rsi, r12
000f8bb5mov rbx, rsp
000f8bb8mov rsp, [r14+64]
000f8bbccall caml_initialize
000f8bc1mov rsp, rbx
000f8bc4lea rsi, [rip+0x1813ad]
000f8bcblea rdi, [rip+0x18141e]
000f8bd2add rdi, 80
000f8bd6mov rbx, rsp
000f8bd9mov rsp, [r14+64]
000f8bddcall caml_initialize
000f8be2mov rsp, rbx
000f8be5lea rsi, [rip+0x1813a4]
000f8beclea rdi, [rip+0x1813fd]
000f8bf3add rdi, 88
000f8bf7mov rbx, rsp
000f8bfamov rsp, [r14+64]
000f8bfecall caml_initialize
000f8c03mov rsp, rbx
000f8c06lea rsi, [rip+0x18139b]
000f8c0dlea rdi, [rip+0x1813dc]
000f8c14add rdi, 96
000f8c18mov rbx, rsp
000f8c1bmov rsp, [r14+64]
000f8c1fcall caml_initialize
000f8c24mov rsp, rbx
000f8c27lea rsi, [rip+0x181392]
000f8c2elea rdi, [rip+0x1813bb]
000f8c35add rdi, 104
000f8c39mov rbx, rsp
000f8c3cmov rsp, [r14+64]
000f8c40call caml_initialize
000f8c45mov rsp, rbx
000f8c48lea rsi, [rip+0x181389]
000f8c4flea rdi, [rip+0x18139a]
000f8c56add rdi, 112
000f8c5amov rbx, rsp
000f8c5dmov rsp, [r14+64]
000f8c61call caml_initialize
000f8c66mov rsp, rbx
000f8c69lea r11, [rip+43]
000f8c70push r11
000f8c72push [r14+48]
000f8c76mov [r14+48], rsp
000f8c7amov eax, 1
000f8c7fcall camlHevea.main_1791
000f8c84mov eax, 1
000f8c89call camlStdlib.exit_478
000f8c8epop [r14+48]
000f8c92add rsp, 8
000f8c96jmp 0xf8f73
000f8c9blea rbx, [rip+0x2313ce]
000f8ca2mov rdi, [rbx+40]
000f8ca6mov rsi, [rax]
000f8ca9cmp rsi, rdi
000f8cacjne 0xf8cdd
000f8caemov rbx, [rax+8]
000f8cb2lea rax, [rip+0x18167f]
000f8cb9call camlStdlib.$5e_139
000f8cbecall camlHevea.prerr_error_1494
000f8cc3lea rax, [rip+0x181326]
000f8ccamov rbx, [rax+32]
000f8ccemov eax, 1
000f8cd3mov rdi, [rbx]
000f8cd6call rdi
000f8cd8jmp 0xf8f73
000f8cdd
000f8cddloc_f8cdd:
000f8cddlea rdi, [rip+0x1d8bcc]
000f8ce4mov rdi, [rdi]
000f8ce7cmp rsi, rdi
000f8ceajne 0xf8d06
000f8cecmov rbx, [rax+8]
000f8cf0lea rax, [rip+0x181619]
000f8cf7call camlStdlib.$5e_139
000f8cfccall camlHevea.prerr_error_1494
000f8d01jmp 0xf8f73
000f8d06
000f8d06loc_f8d06:
000f8d06lea rdi, [rip+0x1eddab]
000f8d0dmov rdi, [rdi]
000f8d10cmp rsi, rdi
000f8d13jne 0xf8d2f
000f8d15mov rbx, [rax+8]
000f8d19lea rax, [rip+0x1815c8]
000f8d20call camlStdlib.$5e_139
000f8d25call camlHevea.prerr_error_1494
000f8d2ajmp 0xf8f73
000f8d2f
000f8d2floc_f8d2f:
000f8d2flea rdi, [rip+0x1d538a]
000f8d36mov rdi, [rdi]
000f8d39cmp rsi, rdi
000f8d3cjne 0xf8d58
000f8d3emov rbx, [rax+8]
000f8d42lea rax, [rip+0x181577]
000f8d49call camlStdlib.$5e_139
000f8d4ecall camlHevea.prerr_error_1494
000f8d53jmp 0xf8f73
000f8d58
000f8d58loc_f8d58:
000f8d58lea rdi, [rip+0x1ea3c1]
000f8d5fmov rdi, [rdi+8]
000f8d63cmp rsi, rdi
000f8d66jne 0xf8d82
000f8d68mov rbx, [rax+8]
000f8d6clea rax, [rip+0x18154d]
000f8d73call camlStdlib.$5e_139
000f8d78call camlHevea.prerr_error_1494
000f8d7djmp 0xf8f73
000f8d82
000f8d82loc_f8d82:
000f8d82mov rdi, [rbx+24]
000f8d86cmp rsi, rdi
000f8d89jne 0xf8da5
000f8d8bmov rbx, [rax+8]
000f8d8flea rax, [rip+0x181502]
000f8d96call camlStdlib.$5e_139
000f8d9bcall camlHevea.prerr_error_1494
000f8da0jmp 0xf8f73
000f8da5
000f8da5loc_f8da5:
000f8da5lea rdi, [rip+0x21dbf4]
000f8dacmov rdi, [rdi+104]
000f8db0cmp rsi, rdi
000f8db3jne 0xf8dcf
000f8db5mov rbx, [rax+8]
000f8db9lea rax, [rip+0x1814d8]
000f8dc0call camlStdlib.$5e_139
000f8dc5call camlHevea.prerr_error_1494
000f8dcajmp 0xf8f73
000f8dcf
000f8dcfloc_f8dcf:
000f8dcflea rdi, [rip+0x185e32]
000f8dd6mov rdi, [rdi]
000f8dd9cmp rsi, rdi
000f8ddcjne 0xf8df8
000f8ddemov rbx, [rax+8]
000f8de2lea rax, [rip+0x18147f]
000f8de9call camlStdlib.$5e_139
000f8deecall camlHevea.prerr_error_1494
000f8df3jmp 0xf8f73
000f8df8
000f8df8loc_f8df8:
000f8df8lea rdi, [rip+0x22d8b1]
000f8dffmov rdi, [rdi]
000f8e02cmp rsi, rdi
000f8e05jne 0xf8e21
000f8e07mov rbx, [rax+8]
000f8e0blea rax, [rip+0x18141e]
000f8e12call camlStdlib.$5e_139
000f8e17call camlHevea.prerr_error_1494
000f8e1cjmp 0xf8f73
000f8e21
000f8e21loc_f8e21:
000f8e21lea rdi, [rip+0x222328]
000f8e28mov rdi, [rdi+24]
000f8e2ccmp rsi, rdi
000f8e2fjne 0xf8e4b
000f8e31mov rbx, [rax+8]
000f8e35lea rax, [rip+0x1813bc]
000f8e3ccall camlStdlib.$5e_139
000f8e41call camlHevea.prerr_error_1494
000f8e46jmp 0xf8f73
000f8e4b
000f8e4bloc_f8e4b:
000f8e4blea rdi, [rip+0x1f60ae]
000f8e52mov rdi, [rdi]
000f8e55cmp rsi, rdi
000f8e58jne 0xf8e74
000f8e5amov rbx, [rax+8]
000f8e5elea rax, [rip+0x181363]
000f8e65call camlStdlib.$5e_139
000f8e6acall camlHevea.prerr_error_1494
000f8e6fjmp 0xf8f73
000f8e74
000f8e74loc_f8e74:
000f8e74lea rdi, [rip+0x1fc9e5]
000f8e7bmov rdi, [rdi]
000f8e7ecmp rsi, rdi
000f8e81jne 0xf8e9d
000f8e83mov rbx, [rax+8]
000f8e87lea rax, [rip+0x181312]
000f8e8ecall camlStdlib.$5e_139
000f8e93call camlHevea.prerr_error_1494
000f8e98jmp 0xf8f73
000f8e9d
000f8e9dloc_f8e9d:
000f8e9dmov rdi, [rbx+32]
000f8ea1cmp rsi, rdi
000f8ea4jne 0xf8ec0
000f8ea6mov rbx, [rax+8]
000f8eaalea rax, [rip+0x1812a7]
000f8eb1call camlStdlib.$5e_139
000f8eb6call camlHevea.prerr_error_1494
000f8ebbjmp 0xf8f73
000f8ec0
000f8ec0loc_f8ec0:
000f8ec0lea rdi, [rip+0x228d99]
000f8ec7mov rdi, [rdi]
000f8ecacmp rsi, rdi
000f8ecdjne 0xf8ee9
000f8ecfmov rbx, [rax+8]
000f8ed3lea rax, [rip+0x181266]
000f8edacall camlStdlib.$5e_139
000f8edfcall camlHevea.prerr_error_1494
000f8ee4jmp 0xf8f73
000f8ee9
000f8ee9loc_f8ee9:
000f8ee9mov rdi, [rbx+8]
000f8eedcmp rsi, rdi
000f8ef0jne 0xf8f09
000f8ef2mov rax, [rax+8]
000f8ef6call camlHevea.prerr_error_1494
000f8efblea rax, [rip+0x18126e]
000f8f02call camlStdlib.prerr_endline_390
000f8f07jmp 0xf8f73
000f8f09
000f8f09loc_f8f09:
000f8f09mov rbx, [rbx]
000f8f0ccmp rsi, rbx
000f8f0fjne 0xf8f34
000f8f11mov rbx, [rax+8]
000f8f15lea rax, [rip+0x18120c]
000f8f1ccall camlStdlib.$5e_139
000f8f21call camlHevea.prerr_error_1494
000f8f26lea rax, [rip+0x181433]
000f8f2dcall camlStdlib.prerr_endline_390
000f8f32jmp 0xf8f73
000f8f34
000f8f34loc_f8f34:
000f8f34lea rbx, [rip+0x232555]
000f8f3bmov rbx, [rbx]
000f8f3ecmp rsi, rbx
000f8f41jne 0xf8f66
000f8f43mov rbx, [rax+8]
000f8f47lea rax, [rip+0x1811ba]
000f8f4ecall camlStdlib.$5e_139
000f8f53call camlHevea.prerr_error_1494
000f8f58lea rax, [rip+0x181401]
000f8f5fcall camlStdlib.prerr_endline_390
000f8f64jmp 0xf8f73
000f8f66
000f8f66loc_f8f66:
000f8f66mov rsp, [r14+48]
000f8f6apop [r14+48]
000f8f6epop r11
000f8f70jmp r11
000f8f73
000f8f73loc_f8f73:
000f8f73mov eax, 1
000f8f78call camlHevea.finalize_1516
000f8f7dlea rax, [rip+0x2310ec]
000f8f84mov rax, [rax+80]
000f8f88mov rax, [rax]
000f8f8bcmp rax, 1
000f8f8fjne 0xf8fa4
000f8f91lea rax, [rip+0x22f6a8]
000f8f98mov rax, [rax+128]
000f8f9fcall camlMysys.remove_492
000f8fa4
000f8fa4loc_f8fa4:
000f8fa4lea rax, [rip+0x1810fd]
000f8fabcall camlStdlib.prerr_endline_390
000f8fb0mov eax, 5
000f8fb5call camlStdlib.exit_478
000f8fbamov eax, 1
000f8fbfadd rsp, 16
000f8fc3ret
000f8fc4
000f8fc4loc_f8fc4:
000f8fc4push 37
000f8fc6call caml_call_realloc_stack
000f8fcbpop r10
000f8fcdjmp 0xf8292
000f8280

000f8fd2
000f8fd2 // align 0x10

000f8fe0
000f8fe0camlZyva.fun_591:
000f8fe0lea r10, [rsp-320]
000f8fe8cmp r10, [r14+40]
000f8fecjb 0xf9025
000f8fee
000f8feeloc_f8fee:
000f8feecall camlZyva.Make_559
000f8ff3sub r15, 24
000f8ff7cmp r15, [r14]
000f8ffajb 0xf901e
000f8ffc
000f8ffcloc_f8ffc:
000f8ffclea rbx, [r15+8]
000f9000mov [rbx-8], 2048
000f9008lea rdi, [rip+0x182639]
000f900fmov [rbx], rdi
000f9012mov rax, [rax+8]
000f9016mov [rbx+8], rax
000f901amov rax, rbx
000f901dret
000f901e
000f901eloc_f901e:
000f901ecall caml_call_gc
000f9023jmp 0xf8ffc
000f9025
000f9025loc_f9025:
000f9025push 33
000f9027call caml_call_realloc_stack
000f902cpop r10
000f902ejmp 0xf8fee
000f8fe0

000f9030
000f9030camlZyva.Make_559:
000f9030lea r10, [rsp-336]
000f9038cmp r10, [r14+40]
000f903cjb 0xf909a
000f903e
000f903eloc_f903e:
000f903esub rsp, 16
000f9042mov [rsp], rbx
000f9046mov [rsp+8], rdi
000f904bmov rbx, rsi
000f904emov rdi, [rbx]
000f9051call rdi
000f9053mov rbx, rax
000f9056mov rdi, [rbx]
000f9059mov rax, [rsp]
000f905dcall rdi
000f905fmov rbx, rax
000f9062mov rdi, [rbx]
000f9065mov rax, [rsp+8]
000f906acall rdi
000f906cmov rbx, [rax]
000f906fsub r15, 24
000f9073cmp r15, [r14]
000f9076jb 0xf9093
000f9078
000f9078loc_f9078:
000f9078lea rdi, [r15+8]
000f907cmov [rdi-8], 2048
000f9084mov [rdi], rax
000f9087mov [rdi+8], rbx
000f908bmov rax, rdi
000f908eadd rsp, 16
000f9092ret
000f9093
000f9093loc_f9093:
000f9093call caml_call_gc
000f9098jmp 0xf9078
000f909a
000f909aloc_f909a:
000f909apush 35
000f909ccall caml_call_realloc_stack
000f90a1pop r10
000f90a3jmp 0xf903e
000f9030

000f90a5
000f90a5 // align 0x10

000f90b0
000f90b0camlZyva.entry:
000f90b0lea rsi, [rip+0x182531]
000f90b7lea rdi, [rip+0x18256a]
000f90bemov rbx, rsp
000f90c1mov rsp, [r14+64]
000f90c5call caml_initialize
000f90camov rsp, rbx
000f90cdmov eax, 1
000f90d2ret
000f90b0

000f90d3
000f90d3 // align 0x10

000f90e0
000f90e0camlVideoc.snippetenv_726:
000f90e0mov rdi, rbx
000f90e3cmp r15, [r14]
000f90e6jbe 0xf90f6
000f90e8
000f90e8loc_f90e8:
000f90e8add rdi, 24
000f90ecmov ebx, 1
000f90f1jmp 0xf9100
000f90f6
000f90f6loc_f90f6:
000f90f6call caml_call_gc
000f90fbjmp 0xf90e8
000f90e0

000f90fd
000f90fd // align 0x10

000f9100
000f9100Videoc..ocaml_lex_snippetenv_rec:
000f9100lea r10, [rsp-384]
000f9108cmp r10, [r14+40]
000f910cjb 0xf97ea
000f9112
000f9112loc_f9112:
000f9112sub rsp, 48
000f9116
000f9116loc_f9116:
000f9116mov rsi, rax
000f9119mov [rsp+32], rsi
000f911emov [rsp+40], rdi
000f9123cmp r15, [r14]
000f9126jbe 0xf97db
000f912c
000f912cloc_f912c:
000f912clea rax, [rip+0x182a75]
000f9133mov rdi, rsi
000f9136call Stdlib.Lexing.engine
000f913bcmp rax, 13
000f913fjbe 0xf9164
000f9141mov [rsp], rax
000f9145mov rax, [rsp+32]
000f914amov rbx, [rax]
000f914dmov rdi, [rbx]
000f9150call rdi
000f9152mov rax, [rsp+32]
000f9157mov rbx, [rsp]
000f915bmov rdi, [rsp+40]
000f9160jmp 0xf9116
000f9162nop
000f9164
000f9164loc_f9164:
000f9164sar rax, 1
000f9167lea rdx, [rip+0x131052]
000f916emovsxd rax, [rdx+4*rax]
000f9172add rdx, rax
000f9175jmp rdx
000f9177nop
000f9178mov eax, 1
000f917dadd rsp, 48
000f9181ret
000f9182nop
000f9184mov rax, [rsp+32]
000f9189mov rbx, [rax+32]
000f918dmov rdi, [rax+40]
000f9191sub rdi, rbx
000f9194inc rdi
000f9197mov rax, [rax+8]
000f919bcall Stdlib.Bytes.sub
000f91a0mov [rsp], rax
000f91a4call camlLatexmacros.find_941
000f91a9mov [rsp+8], rax
000f91aemov rbx, [rax]
000f91b1mov rax, [rbx]
000f91b4test al, 1
000f91b6je 0xf9248
000f91bcmov rax, [rbx+8]
000f91c0test al, 1
000f91c2je 0xf9248
000f91c8mov rax, [rsp]
000f91ccmov rdi, [rsp+32]
000f91d1call camlLexstate.make_stack_1175
000f91d6mov rdi, rax
000f91d9lea rax, [rip+0x21d7c0]
000f91e0mov rax, [rax+728]
000f91e7mov rbx, [rax]
000f91easub r15, 48
000f91eecmp r15, [r14]
000f91f1jb 0xf97d1
000f91f7
000f91f7loc_f91f7:
000f91f7lea rax, [r15+8]
000f91fbmov [rax-8], 5367
000f9203lea rsi, [rip+5654]
000f920amov [rax], rsi
000f920dmov rsi, 0x100000000000005
000f9217mov [rax+8], rsi
000f921bmov rsi, [rsp+32]
000f9220mov [rax+16], rsi
000f9224mov [rax+24], rbx
000f9228mov rbx, [rsp+40]
000f922dmov rbx, [rbx+296]
000f9234mov [rax+32], rbx
000f9238mov rbx, [rsp+8]
000f923dmov rbx, [rbx+8]
000f9241call camlLexstate.scan_body_856
000f9246jmp 0xf9288
000f9248
000f9248loc_f9248:
000f9248sub r15, 24
000f924ccmp r15, [r14]
000f924fjb 0xf97c7
000f9255
000f9255loc_f9255:
000f9255lea rax, [r15+8]
000f9259mov [rax-8], 2048
000f9261lea rbx, [rip+0x230e08]
000f9268mov rbx, [rbx+24]
000f926cmov [rax], rbx
000f926flea rbx, [rip+0x1827ca]
000f9276mov [rax+8], rbx
000f927amov rsp, [r14+48]
000f927epop [r14+48]
000f9282pop r11
000f9284jmp r11
000f9287nop
000f9288
000f9288loc_f9288:
000f9288mov rdi, [rsp+40]
000f928dadd rdi, -24
000f9291add rdi, 24
000f9295mov ebx, 1
000f929amov rax, [rsp+32]
000f929fjmp 0xf9116
000f92a4mov rax, [rsp+40]
000f92a9mov rax, [rax+304]
000f92b0mov rbx, [rax+472]
000f92b7lea rax, [rip+0x182772]
000f92bemov rdi, [rbx]
000f92c1call rdi
000f92c3mov rax, [rsp+40]
000f92c8mov rax, [rax+304]
000f92cfmov rbx, [rax+360]
000f92d6mov eax, 21
000f92dbmov rdi, [rbx]
000f92decall rdi
000f92e0mov rdi, [rsp+40]
000f92e5mov rax, [rdi+296]
000f92ecmov rbx, [rax+24]
000f92f0mov rax, [rdi+280]
000f92f7mov rsi, [rax+24]
000f92fblea rdi, [rip+0x182716]
000f9302lea rax, [rip+0x18343f]
000f9309call camlVideoc.runHook_628
000f930emov rdi, [rsp+40]
000f9313mov rax, [rdi+296]
000f931amov rbx, [rax+24]
000f931emov rax, [rdi+280]
000f9325mov rsi, [rax+24]
000f9329lea rdi, [rip+0x1826d0]
000f9330lea rax, [rip+0x183411]
000f9337call camlVideoc.runHook_628
000f933cmov rdi, [rsp+40]
000f9341add rdi, -24
000f9345add rdi, 24
000f9349mov ebx, 1
000f934emov rax, [rsp+32]
000f9353jmp 0xf9116
000f9358mov rax, [rsp+40]
000f935dmov rax, [rax+304]
000f9364mov rdi, [rax+480]
000f936blea rbx, [rip+0x18267e]
000f9372mov eax, 1
000f9377call caml_apply2
000f937cmov rdi, [rsp+40]
000f9381add rdi, -24
000f9385add rdi, 24
000f9389mov ebx, 1
000f938emov rax, [rsp+32]
000f9393jmp 0xf9116
000f9398mov rax, [rsp+40]
000f939dmov rax, [rax+304]
000f93a4mov rax, [rax+352]
000f93abmov [rsp], rax
000f93afmov rax, [rsp+32]
000f93b4mov rbx, [rax+32]
000f93b8mov rdi, [rax+40]
000f93bcsub rdi, rbx
000f93bfinc rdi
000f93c2mov rax, [rax+8]
000f93c6call Stdlib.Bytes.sub
000f93cbmov rbx, [rsp]
000f93cfmov rdi, [rbx]
000f93d2call rdi
000f93d4mov rax, [rsp+40]
000f93d9mov rax, [rax+304]
000f93e0mov rbx, [rax+360]
000f93e7mov eax, 65
000f93ecmov rdi, [rbx]
000f93efcall rdi
000f93f1mov rax, [rsp+40]
000f93f6mov rax, [rax+264]
000f93fdmov rax, [rax]
000f9400cmp rax, 1
000f9404je 0xf9678
000f940alea rax, [rip+0x230c5f]
000f9411mov rax, [rax+80]
000f9415mov rax, [rax]
000f9418cmp rax, 3
000f941cjle 0xf942a
000f941elea rax, [rip+0x18259b]
000f9425call camlStdlib.prerr_endline_390
000f942a
000f942aloc_f942a:
000f942alea rax, [rip+0x21d56f]
000f9431mov rax, [rax+264]
000f9438mov [rax], 3
000f943flea rbx, [rip+0x182542]
000f9446mov rax, [rsp+40]
000f944bmov rax, [rax+256]
000f9452mov rax, [rax]
000f9455call camlStdlib.$5e_139
000f945amov rbx, rax
000f945dlea rax, [rip+0x18253c]
000f9464call camlStdlib.$5e_139
000f9469mov rbx, rax
000f946cmov rax, [rsp+40]
000f9471mov rax, [rax+296]
000f9478mov rdi, [rax+112]
000f947clea rax, [rip+0x18252d]
000f9483call caml_apply2
000f9488mov rdi, [rsp+40]
000f948dmov rax, [rdi+296]
000f9494mov rbx, [rax+24]
000f9498mov rax, [rdi+280]
000f949fmov rsi, [rax+24]
000f94a3lea rdi, [rip+0x1824c6]
000f94aalea rax, [rip+0x183297]
000f94b1call camlVideoc.runHook_628
000f94b6lea r11, [rip+51]
000f94bdpush r11
000f94bfpush [r14+48]
000f94c3mov [r14+48], rsp
000f94c7mov rax, [rsp+56]
000f94ccmov rax, [rax+296]
000f94d3mov rbx, [rax+24]
000f94d7mov rdi, [rbx]
000f94damov rax, [rsp+48]
000f94dfcall rdi
000f94e1pop [r14+48]
000f94e5add rsp, 8
000f94e9jmp 0xf9678
000f94eenop
000f94f0mov [rsp], rax
000f94f4mov rdi, [rsp+40]
000f94f9mov rax, [rdi+296]
000f9500mov rbx, [rax+24]
000f9504mov rax, [rdi+280]
000f950bmov rsi, [rax+24]
000f950flea rdi, [rip+0x182442]
000f9516lea rax, [rip+0x18322b]
000f951dcall camlVideoc.runHook_628
000f9522mov rax, [rsp+40]
000f9527mov rax, [rax+296]
000f952emov rbx, [rax+120]
000f9532lea rax, [rip+0x182477]
000f9539mov rdi, [rbx]
000f953ccall rdi
000f953elea rax, [rip+0x21d45b]
000f9545mov rax, [rax+264]
000f954cmov [rax], 1
000f9553lea r11, [rip+28]
000f955apush r11
000f955cpush [r14+48]
000f9560mov [r14+48], rsp
000f9564mov rax, [rsp+16]
000f9569mov rsp, [r14+48]
000f956dpop [r14+48]
000f9571pop r11
000f9573jmp r11
000f9576lea rbx, [rip+0x230af3]
000f957dmov rbx, [rbx+64]
000f9581mov rdi, [rax]
000f9584cmp rdi, rbx
000f9587jne 0xf9668
000f958dmov rax, [rax+8]
000f9591mov [rsp+8], rax
000f9596mov rdi, [rsp+40]
000f959bmov rax, [rdi+248]
000f95a2mov rax, [rax]
000f95a5cmp rax, 1
000f95a9je 0xf95b8
000f95ablea rbx, [rip+0x18238e]
000f95b2mov [rsp], rbx
000f95b6jmp 0xf95c3
000f95b8
000f95b8loc_f95b8:
000f95b8lea rbx, [rip+0x182569]
000f95bfmov [rsp], rbx
000f95c3
000f95c3loc_f95c3:
000f95c3lea rax, [rip+0x230aa6]
000f95camov rax, [rax+80]
000f95cemov rax, [rax]
000f95d1cmp rax, 3
000f95d5jle 0xf9637
000f95d7mov rax, [rdi+248]
000f95demov rax, [rax]
000f95e1cmp rax, 1
000f95e5je 0xf95f0
000f95e7lea rax, [rip+0x182272]
000f95eejmp 0xf95f7
000f95f0
000f95f0loc_f95f0:
000f95f0lea rax, [rip+0x182531]
000f95f7
000f95f7loc_f95f7:
000f95f7call camlStdlib.$5e_139
000f95fcmov [rsp+24], rax
000f9601mov rax, [rsp+8]
000f9606mov [rsp+16], rax
000f960blea rbx, [rip+0x18225e]
000f9612lea rax, [rip+0x233fff]
000f9619mov rax, [rax+312]
000f9620call Stdlib.Printf.fprintf
000f9625mov rdi, rax
000f9628mov rax, [rsp+16]
000f962dmov rbx, [rsp+24]
000f9632call caml_apply2
000f9637
000f9637loc_f9637:
000f9637mov rax, [rsp+8]
000f963cadd rax, 2
000f9640mov ebx, 21
000f9645call Stdlib.Bytes.make
000f964amov rbx, [rsp]
000f964ecall camlStdlib.$5e_139
000f9653mov rbx, rax
000f9656mov rax, [rsp+40]
000f965badd rax, -24
000f965fcall camlLexstate.scan_this_1185
000f9664jmp 0xf9678
000f9666nop
000f9668
000f9668loc_f9668:
000f9668mov rsp, [r14+48]
000f966cpop [r14+48]
000f9670pop r11
000f9672jmp r11
000f9675nop [rax]
000f9678
000f9678loc_f9678:
000f9678mov rdi, [rsp+40]
000f967dadd rdi, -24
000f9681add rdi, 24
000f9685mov ebx, 1
000f968amov rax, [rsp+32]
000f968fjmp 0xf9116
000f9694mov rax, [rsp+40]
000f9699mov rax, [rax+304]
000f96a0mov rbx, [rax+360]
000f96a7mov eax, 71
000f96acmov rdi, [rbx]
000f96afcall rdi
000f96b1mov rax, [rsp+40]
000f96b6mov rax, [rax+272]
000f96bdmov rax, [rax]
000f96c0cmp rax, 1
000f96c4je 0xf96f9
000f96c6lea rax, [rip+0x2309a3]
000f96cdmov rax, [rax+80]
000f96d1mov rax, [rax]
000f96d4cmp rax, 3
000f96d8jle 0xf96e6
000f96dalea rax, [rip+0x182147]
000f96e1call camlStdlib.prerr_endline_390
000f96e6
000f96e6loc_f96e6:
000f96e6mov rbx, [rsp+40]
000f96ebadd rbx, 88
000f96efmov rax, [rsp+32]
000f96f4call camlVideoc.schemecharacterenv_730
000f96f9
000f96f9loc_f96f9:
000f96f9mov rdi, [rsp+40]
000f96feadd rdi, -24
000f9702add rdi, 24
000f9706mov ebx, 1
000f970bmov rax, [rsp+32]
000f9710jmp 0xf9116
000f9715nop [rax]
000f9718mov rdi, [rsp+32]
000f971dmov rax, [rdi+32]
000f9721sar rax, 1
000f9724mov rbx, [rdi+8]
000f9728mov rsi, [rbx-8]
000f972cshr rsi, 10
000f9730lea rsi, [8*rsi-1]
000f9738movzx rdx, [rbx+rsi]
000f973dsub rsi, rdx
000f9740cmp rsi, rax
000f9743jbe 0xf97e5
000f9749movzx rax, [rbx+rax]
000f974elea rax, [rax+rax+1]
000f9753sub r15, 40
000f9757cmp r15, [r14]
000f975ajb 0xf97c0
000f975c
000f975cloc_f975c:
000f975clea rbx, [r15+8]
000f9760mov [rbx-8], 4343
000f9768lea rsi, [rip+4689]
000f976fmov [rbx], rsi
000f9772mov rsi, 0x100000000000005
000f977cmov [rbx+8], rsi
000f9780mov rdx, [rsp+40]
000f9785mov rsi, rdx
000f9788add rsi, 32
000f978cmov [rbx+16], rsi
000f9790mov [rbx+24], rdi
000f9794mov rdi, [rdx+296]
000f979bmov rdi, [rdi+8]
000f979fcall caml_apply2
000f97a4mov rdi, [rsp+40]
000f97a9add rdi, -24
000f97adadd rdi, 24
000f97b1mov ebx, 1
000f97b6mov rax, [rsp+32]
000f97bbjmp 0xf9116
000f97c0
000f97c0loc_f97c0:
000f97c0call caml_call_gc
000f97c5jmp 0xf975c
000f97c7
000f97c7loc_f97c7:
000f97c7call caml_call_gc
000f97ccjmp 0xf9255
000f97d1
000f97d1loc_f97d1:
000f97d1call caml_call_gc
000f97d6jmp 0xf91f7
000f97db
000f97dbloc_f97db:
000f97dbcall caml_call_gc
000f97e0jmp 0xf912c
000f97e5
000f97e5loc_f97e5:
000f97e5call caml_ml_array_bound_error
000f97ea
000f97ealoc_f97ea:
000f97eapush 41
000f97eccall caml_call_realloc_stack
000f97f1pop r10
000f97f3jmp 0xf9112
000f9100

000f97f8
000f97f8 // align 0x10

000f9800
000f9800camlVideoc.read_lexbuf_728:
000f9800mov rdi, rbx
000f9803cmp r15, [r14]
000f9806jbe 0xf9816
000f9808
000f9808loc_f9808:
000f9808add rdi, 24
000f980cmov ebx, 23
000f9811jmp 0xf9820
000f9816
000f9816loc_f9816:
000f9816call caml_call_gc
000f981bjmp 0xf9808
000f9800

000f981d
000f981d // align 0x10

000f9820
000f9820Videoc..ocaml_lex_read_lexbuf_rec:
000f9820lea r10, [rsp-344]
000f9828cmp r10, [r14+40]
000f982cjb 0xf98de
000f9832
000f9832loc_f9832:
000f9832sub rsp, 24
000f9836
000f9836loc_f9836:
000f9836mov rsi, rax
000f9839mov [rsp], rsi
000f983dmov [rsp+16], rdi
000f9842cmp r15, [r14]
000f9845jbe 0xf98cf
000f984b
000f984bloc_f984b:
000f984blea rax, [rip+0x182356]
000f9852mov rdi, rsi
000f9855call Stdlib.Lexing.engine
000f985acmp rax, 1
000f985eje 0xf9894
000f9860cmp rax, 3
000f9864je 0xf9888
000f9866mov [rsp+8], rax
000f986bmov rax, [rsp]
000f986fmov rbx, [rax]
000f9872mov rdi, [rbx]
000f9875call rdi
000f9877mov rax, [rsp]
000f987bmov rbx, [rsp+8]
000f9880mov rdi, [rsp+16]
000f9885jmp 0xf9836
000f9887
000f9887 90 .
000f9888
000f9888loc_f9888:
000f9888mov rax, -1
000f988fadd rsp, 24
000f9893ret
000f9894
000f9894loc_f9894:
000f9894mov rbx, [rsp]
000f9898mov rax, [rbx+32]
000f989csar rax, 1
000f989fmov rbx, [rbx+8]
000f98a3mov rdi, [rbx-8]
000f98a7shr rdi, 10
000f98ablea rdi, [8*rdi-1]
000f98b3movzx rsi, [rbx+rdi]
000f98b8sub rdi, rsi
000f98bbcmp rdi, rax
000f98bejbe 0xf98d9
000f98c0movzx rax, [rbx+rax]
000f98c5lea rax, [rax+rax+1]
000f98caadd rsp, 24
000f98ceret
000f98cf
000f98cfloc_f98cf:
000f98cfcall caml_call_gc
000f98d4jmp 0xf984b
000f98d9
000f98d9loc_f98d9:
000f98d9call caml_ml_array_bound_error
000f98de
000f98deloc_f98de:
000f98depush 36
000f98e0call caml_call_realloc_stack
000f98e5pop r10
000f98e7jmp 0xf9832
000f9820

000f98ec
000f98ec // align 0x10

000f98f0
000f98f0camlVideoc.schemecharacterenv_730:
000f98f0mov rdi, rbx
000f98f3cmp r15, [r14]
000f98f6jbe 0xf9906
000f98f8
000f98f8loc_f98f8:
000f98f8add rdi, 24
000f98fcmov ebx, 29
000f9901jmp 0xf9910
000f9906
000f9906loc_f9906:
000f9906call caml_call_gc
000f990bjmp 0xf98f8
000f98f0

000f990d
000f990d // align 0x10

000f9910
000f9910Videoc..ocaml_lex_schemecharacterenv_rec:
000f9910lea r10, [rsp-344]
000f9918cmp r10, [r14+40]
000f991cjb 0xf99c5
000f9922
000f9922loc_f9922:
000f9922sub rsp, 24
000f9926
000f9926loc_f9926:
000f9926mov rsi, rax
000f9929mov [rsp], rsi
000f992dmov [rsp+16], rdi
000f9932cmp r15, [r14]
000f9935jbe 0xf99bb
000f993b
000f993bloc_f993b:
000f993blea rax, [rip+0x182266]
000f9942mov rdi, rsi
000f9945call Stdlib.Lexing.engine
000f994acmp rax, 1
000f994eje 0xf9984
000f9950cmp rax, 3
000f9954je 0xf9978
000f9956mov [rsp+8], rax
000f995bmov rax, [rsp]
000f995fmov rbx, [rax]
000f9962mov rdi, [rbx]
000f9965call rdi
000f9967mov rax, [rsp]
000f996bmov rbx, [rsp+8]
000f9970mov rdi, [rsp+16]
000f9975jmp 0xf9926
000f9977nop
000f9978
000f9978loc_f9978:
000f9978mov eax, 1
000f997dadd rsp, 24
000f9981ret
000f9982nop
000f9984
000f9984loc_f9984:
000f9984mov rax, [rsp]
000f9988mov rbx, [rax+32]
000f998cmov rdi, [rax+40]
000f9990sub rdi, rbx
000f9993inc rdi
000f9996mov rax, [rax+8]
000f999acall Stdlib.Bytes.sub
000f999fmov rbx, [rsp+16]
000f99a4mov rbx, [rbx+192]
000f99abmov rbx, [rbx+352]
000f99b2mov rdi, [rbx]
000f99b5add rsp, 24
000f99b9jmp rdi
000f99bb
000f99bbloc_f99bb:
000f99bbcall caml_call_gc
000f99c0jmp 0xf993b
000f99c5
000f99c5loc_f99c5:
000f99c5push 36
000f99c7call caml_call_realloc_stack
000f99ccpop r10
000f99cejmp 0xf9922
000f9910

000f99d3
000f99d3 // align 0x10

000f99e0
000f99e0camlVideoc.skip_blanks_till_eol_included_732:
000f99e0mov rdi, rbx
000f99e3cmp r15, [r14]
000f99e6jbe 0xf99f6
000f99e8
000f99e8loc_f99e8:
000f99e8add rdi, 24
000f99ecmov ebx, 39
000f99f1jmp 0xf9a00
000f99f6
000f99f6loc_f99f6:
000f99f6call caml_call_gc
000f99fbjmp 0xf99e8
000f99e0

000f99fd
000f99fd // align 0x10

000f9a00
000f9a00Videoc..ocaml_lex_skip_blanks_till_eol_included_rec:
000f9a00lea r10, [rsp-344]
000f9a08cmp r10, [r14+40]
000f9a0cjb 0xf9aa3
000f9a12
000f9a12loc_f9a12:
000f9a12sub rsp, 24
000f9a16
000f9a16loc_f9a16:
000f9a16mov rsi, rax
000f9a19mov [rsp+16], rsi
000f9a1emov [rsp+8], rdi
000f9a23cmp r15, [r14]
000f9a26jbe 0xf9a9c
000f9a28
000f9a28loc_f9a28:
000f9a28lea rax, [rip+0x182179]
000f9a2fmov rdi, rsi
000f9a32call Stdlib.Lexing.engine
000f9a37cmp rax, 1
000f9a3bjle 0xf9a58
000f9a3dcmp rax, 7
000f9a41jl 0xf9a4c
000f9a43mov [rsp], rax
000f9a47jmp 0xf9a7c
000f9a49
000f9a49 0f 1f 00 ...
000f9a4c
000f9a4cloc_f9a4c:
000f9a4cmov eax, 1
000f9a51add rsp, 24
000f9a55ret
000f9a56
000f9a56 66 90 f.
000f9a58
000f9a58loc_f9a58:
000f9a58cmp rax, 1
000f9a5cjl 0xf9a78
000f9a5emov rdi, [rsp+8]
000f9a63add rdi, -24
000f9a67add rdi, 24
000f9a6bmov ebx, 39
000f9a70mov rax, [rsp+16]
000f9a75jmp 0xf9a16
000f9a77
000f9a77 90 .
000f9a78
000f9a78loc_f9a78:
000f9a78mov [rsp], rax
000f9a7c
000f9a7cloc_f9a7c:
000f9a7cmov rax, [rsp+16]
000f9a81mov rbx, [rax]
000f9a84mov rdi, [rbx]
000f9a87call rdi
000f9a89mov rax, [rsp+16]
000f9a8emov rbx, [rsp]
000f9a92mov rdi, [rsp+8]
000f9a97jmp 0xf9a16
000f9a9c
000f9a9cloc_f9a9c:
000f9a9ccall caml_call_gc
000f9aa1jmp 0xf9a28
000f9aa3
000f9aa3loc_f9aa3:
000f9aa3push 36
000f9aa5call caml_call_realloc_stack
000f9aaapop r10
000f9aacjmp 0xf9a12
000f9a00