File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
00129720
00129720camlLatexscan.do_documentclass_1973:
00129720lea r10, [rsp-384]
00129728cmp r10, [r14+40]
0012972cjb 0x129b37
00129732
00129732loc_129732:
00129732sub rsp, 48
00129736mov [rsp+40], rax
0012973bmov [rsp+32], rbx
00129740mov [rsp+24], rdi
00129745cmp r15, [r14]
00129748jbe 0x129b2d
0012974e
0012974eloc_12974e:
0012974elea rax, [rip+0x170763]
00129755call camlLatexmacros.exists_938
0012975acmp rax, 1
0012975eje 0x1297bc
00129760mov rax, [rsp+40]
00129765mov [rsp], rax
00129769lea rax, [rip+0x170650]
00129770call Stdlib.Printf.sprintf
00129775mov rbx, rax
00129778mov rdi, [rbx]
0012977bmov rax, [rsp]
0012977fcall rdi
00129781sub r15, 24
00129785cmp r15, [r14]
00129788jb 0x129b23
0012978e
0012978eloc_12978e:
0012978elea rbx, [r15+8]
00129792mov [rbx-8], 2048
0012979alea rdi, [rip+0x2008cf]
001297a1mov rdi, [rdi+24]
001297a5mov [rbx], rdi
001297a8mov [rbx+8], rax
001297acmov rax, rbx
001297afmov rsp, [r14+48]
001297b3pop [r14+48]
001297b7pop r11
001297b9jmp r11
001297bc
001297bcloc_1297bc:
001297bclea rdi, [rip+0x1746e5]
001297c3lea rax, [rip+0x1ed1d6]
001297camov rbx, [rax+56]
001297celea rax, [rip+0x1706e3]
001297d5call camlLatexmacros.global_def_953
001297dalea rax, [rip+0x1f7d5f]
001297e1mov rbx, [rax+80]
001297e5mov [rbx], 3
001297ecmov rax, [rax+64]
001297f0call camlDoOut.reset_705
001297f5lea rax, [rip+0x174e6c]
001297fcmov rbx, [rsp+32]
00129801call camlLexstate.save_arg_opt_1107
00129806call camlLexstate.from_ok_1113
0012980bmov rax, [rax]
0012980emov [rsp+8], rax
00129813mov rax, [rsp+32]
00129818call camlLexstate.save_arg_1030
0012981dmov [rsp+16], rax
00129822lea rax, [rip+0x1f7d17]
00129829mov rbx, [rax+80]
0012982dmov [rbx], 1
00129834mov rax, [rax+64]
00129838call camlDoOut.to_string_830
0012983dmov [rsp], rax
00129841lea r11, [rip+120]
00129848push r11
0012984apush [r14+48]
0012984emov [r14+48], rsp
00129852lea rax, [rip+0x1ed147]
00129859mov rax, [rax+192]
00129860mov rax, [rax]
00129863cmp rax, 1
00129867jne 0x1298b5
00129869lea rbx, [rip+0x170540]
00129870mov rax, [rsp+32]
00129875mov rax, [rax]
00129878call camlStdlib.$5e_139
0012987dmov rdi, rax
00129880mov rsi, [rsp+40]
00129885mov rbx, [rsi+32]
00129889lea rax, [rip+0x2007e0]
00129890mov rax, [rax+80]
00129894mov rax, [rax]
00129897cmp rax, 1
0012989bsetg al
0012989emovzx rax, al
001298a2lea rax, [rax+rax+1]
001298a7mov rdx, [rsi+40]
001298abmov rsi, [rsp+48]
001298b0call camlLatexscan.input_file_1965
001298b5
001298b5loc_1298b5:
001298b5pop [r14+48]
001298b9add rsp, 8
001298bdjmp 0x129928
001298bfnop
001298c0lea rbx, [rip+0x1f8399]
001298c7mov rdi, [rbx+8]
001298cbcmp rax, rdi
001298ceje 0x1298e8
001298d0mov rbx, [rbx]
001298d3mov rdi, [rax]
001298d6cmp rdi, rbx
001298d9je 0x1298e8
001298dbmov rsp, [r14+48]
001298dfpop [r14+48]
001298e3pop r11
001298e5jmp r11
001298e8
001298e8loc_1298e8:
001298e8sub r15, 24
001298eccmp r15, [r14]
001298efjb 0x129b19
001298f5
001298f5loc_1298f5:
001298f5lea rax, [r15+8]
001298f9mov [rax-8], 2048
00129901lea rbx, [rip+0x200768]
00129908mov rbx, [rbx+24]
0012990cmov [rax], rbx
0012990flea rbx, [rip+0x170482]
00129916mov [rax+8], rbx
0012991amov rsp, [r14+48]
0012991epop [r14+48]
00129922pop r11
00129924jmp r11
00129927nop
00129928
00129928loc_129928:
00129928lea rsi, [rip+0x170451]
0012992fmov r12, [rsp+40]
00129934mov rdi, r12
00129937mov rbx, rsp
0012993amov rsp, [r14+64]
0012993ecall caml_string_equal
00129943mov rsp, rbx
00129946cmp rax, 1
0012994aje 0x1299f4
00129950sub r15, 24
00129954cmp r15, [r14]
00129957jb 0x129b0f
0012995d
0012995dloc_12995d:
0012995dlea rax, [r15+8]
00129961mov [rax-8], 2048
00129969lea rbx, [rip+0x174518]
00129970mov [rax], rbx
00129973mov rbx, [rsp+8]
00129978mov [rax+8], rbx
0012997clea rbx, [rip+0x1703cd]
00129983call camlStdlib.$40_196
00129988call camlMyLexing.from_list_562
0012998dlea rbx, [rip+0x1f17bc]
00129994mov rdi, [rbx+168]
0012999badd rdi, 24
0012999fmov ebx, 121
001299a4call Save..ocaml_lex_cite_arg_rec
001299a9mov rbx, rax
001299acsub r15, 32
001299b0cmp r15, [r14]
001299b3jb 0x129b05
001299b9
001299b9loc_1299b9:
001299b9lea rax, [r15+8]
001299bdmov [rax-8], 3319
001299c5lea rdi, [rip+388]
001299ccmov [rax], rdi
001299cfmov rdi, 0x100000000000005
001299d9mov [rax+8], rdi
001299ddmov rdi, [rsp+24]
001299e2mov rdi, [rdi+32]
001299e6mov [rax+16], rdi
001299eacall Stdlib.List.iter
001299efjmp 0x129a53
001299f1nop [rax]
001299f4
001299f4loc_1299f4:
001299f4lea rsi, [rip+0x170325]
001299fbmov rdi, r12
001299femov rbx, rsp
00129a01mov rsp, [r14+64]
00129a05call caml_string_equal
00129a0amov rsp, rbx
00129a0dcmp rax, 1
00129a11je 0x129a53
00129a13lea rax, [rip+0x174c4e]
00129a1amov rbx, [rsp+8]
00129a1fcall Stdlib.String.concat
00129a24mov [rsp+8], rax
00129a29lea rax, [rip+0x170198]
00129a30call Stdlib.Printf.sprintf
00129a35mov rbx, rax
00129a38mov rdi, [rbx]
00129a3bmov rax, [rsp+8]
00129a40call rdi
00129a42mov rbx, rax
00129a45mov rax, [rsp+24]
00129a4amov rax, [rax+32]
00129a4ecall camlLexstate.scan_this_1185
00129a53
00129a53loc_129a53:
00129a53mov rax, [rsp+24]
00129a58mov rax, [rax+56]
00129a5cmov rbx, [rax]
00129a5fmov eax, 1
00129a64mov rdi, [rbx]
00129a67call rdi
00129a69mov rax, [rsp+24]
00129a6emov rax, [rax+56]
00129a72mov rbx, [rax+32]
00129a76lea rax, [rip+0x170123]
00129a7dmov rdi, [rbx]
00129a80call rdi
00129a82mov rax, [rsp+24]
00129a87mov rax, [rax+56]
00129a8bmov rbx, [rax+32]
00129a8fmov rdi, [rbx]
00129a92mov rax, [rsp+40]
00129a97call rdi
00129a99mov rax, [rsp+24]
00129a9emov rax, [rax+56]
00129aa2mov rbx, [rax+32]
00129aa6mov rdi, [rbx]
00129aa9mov rax, [rsp]
00129aadcall rdi
00129aafmov rax, [rsp+24]
00129ab4mov rax, [rax+56]
00129ab8mov rbx, [rax+24]
00129abcmov eax, 21
00129ac1mov rdi, [rbx]
00129ac4call rdi
00129ac6mov rax, [rsp+24]
00129acbmov rax, [rax+64]
00129acfmov rax, [rax+8]
00129ad3mov [rsp], rax
00129ad7mov eax, 1
00129adccall camlLatexscan.mk_out_file_1459
00129ae1mov rbx, [rsp]
00129ae5mov rdi, [rbx]
00129ae8call rdi
00129aeamov rax, [rsp+24]
00129aefmov rax, [rax+64]
00129af3mov rbx, [rax+16]
00129af7mov eax, 1
00129afcmov rdi, [rbx]
00129affadd rsp, 48
00129b03jmp rdi
00129b05
00129b05loc_129b05:
00129b05call caml_call_gc
00129b0ajmp 0x1299b9
00129b0f
00129b0floc_129b0f:
00129b0fcall caml_call_gc
00129b14jmp 0x12995d
00129b19
00129b19loc_129b19:
00129b19call caml_call_gc
00129b1ejmp 0x1298f5
00129b23
00129b23loc_129b23:
00129b23call caml_call_gc
00129b28jmp 0x12978e
00129b2d
00129b2dloc_129b2d:
00129b2dcall caml_call_gc
00129b32jmp 0x12974e
00129b37
00129b37loc_129b37:
00129b37push 41
00129b39call caml_call_realloc_stack
00129b3epop r10
00129b40jmp 0x129732
00129720
00129720camlLatexscan.do_documentclass_1973:
00129720lea r10, [rsp-384]
00129728cmp r10, [r14+40]
0012972cjb 0x129b37
00129732
00129732loc_129732:
00129732sub rsp, 48
00129736mov [rsp+40], rax
0012973bmov [rsp+32], rbx
00129740mov [rsp+24], rdi
00129745cmp r15, [r14]
00129748jbe 0x129b2d
0012974e
0012974eloc_12974e:
0012974elea rax, [rip+0x170763]
00129755call camlLatexmacros.exists_938
0012975acmp rax, 1
0012975eje 0x1297bc
00129760mov rax, [rsp+40]
00129765mov [rsp], rax
00129769lea rax, [rip+0x170650]
00129770call Stdlib.Printf.sprintf
00129775mov rbx, rax
00129778mov rdi, [rbx]
0012977bmov rax, [rsp]
0012977fcall rdi
00129781sub r15, 24
00129785cmp r15, [r14]
00129788jb 0x129b23
0012978e
0012978eloc_12978e:
0012978elea rbx, [r15+8]
00129792mov [rbx-8], 2048
0012979alea rdi, [rip+0x2008cf]
001297a1mov rdi, [rdi+24]
001297a5mov [rbx], rdi
001297a8mov [rbx+8], rax
001297acmov rax, rbx
001297afmov rsp, [r14+48]
001297b3pop [r14+48]
001297b7pop r11
001297b9jmp r11
001297bc
001297bcloc_1297bc:
001297bclea rdi, [rip+0x1746e5]
001297c3lea rax, [rip+0x1ed1d6]
001297camov rbx, [rax+56]
001297celea rax, [rip+0x1706e3]
001297d5call camlLatexmacros.global_def_953
001297dalea rax, [rip+0x1f7d5f]
001297e1mov rbx, [rax+80]
001297e5mov [rbx], 3
001297ecmov rax, [rax+64]
001297f0call camlDoOut.reset_705
001297f5lea rax, [rip+0x174e6c]
001297fcmov rbx, [rsp+32]
00129801call camlLexstate.save_arg_opt_1107
00129806call camlLexstate.from_ok_1113
0012980bmov rax, [rax]
0012980emov [rsp+8], rax
00129813mov rax, [rsp+32]
00129818call camlLexstate.save_arg_1030
0012981dmov [rsp+16], rax
00129822lea rax, [rip+0x1f7d17]
00129829mov rbx, [rax+80]
0012982dmov [rbx], 1
00129834mov rax, [rax+64]
00129838call camlDoOut.to_string_830
0012983dmov [rsp], rax
00129841lea r11, [rip+120]
00129848push r11
0012984apush [r14+48]
0012984emov [r14+48], rsp
00129852lea rax, [rip+0x1ed147]
00129859mov rax, [rax+192]
00129860mov rax, [rax]
00129863cmp rax, 1
00129867jne 0x1298b5
00129869lea rbx, [rip+0x170540]
00129870mov rax, [rsp+32]
00129875mov rax, [rax]
00129878call camlStdlib.$5e_139
0012987dmov rdi, rax
00129880mov rsi, [rsp+40]
00129885mov rbx, [rsi+32]
00129889lea rax, [rip+0x2007e0]
00129890mov rax, [rax+80]
00129894mov rax, [rax]
00129897cmp rax, 1
0012989bsetg al
0012989emovzx rax, al
001298a2lea rax, [rax+rax+1]
001298a7mov rdx, [rsi+40]
001298abmov rsi, [rsp+48]
001298b0call camlLatexscan.input_file_1965
001298b5
001298b5loc_1298b5:
001298b5pop [r14+48]
001298b9add rsp, 8
001298bdjmp 0x129928
001298bfnop
001298c0lea rbx, [rip+0x1f8399]
001298c7mov rdi, [rbx+8]
001298cbcmp rax, rdi
001298ceje 0x1298e8
001298d0mov rbx, [rbx]
001298d3mov rdi, [rax]
001298d6cmp rdi, rbx
001298d9je 0x1298e8
001298dbmov rsp, [r14+48]
001298dfpop [r14+48]
001298e3pop r11
001298e5jmp r11
001298e8
001298e8loc_1298e8:
001298e8sub r15, 24
001298eccmp r15, [r14]
001298efjb 0x129b19
001298f5
001298f5loc_1298f5:
001298f5lea rax, [r15+8]
001298f9mov [rax-8], 2048
00129901lea rbx, [rip+0x200768]
00129908mov rbx, [rbx+24]
0012990cmov [rax], rbx
0012990flea rbx, [rip+0x170482]
00129916mov [rax+8], rbx
0012991amov rsp, [r14+48]
0012991epop [r14+48]
00129922pop r11
00129924jmp r11
00129927nop
00129928
00129928loc_129928:
00129928lea rsi, [rip+0x170451]
0012992fmov r12, [rsp+40]
00129934mov rdi, r12
00129937mov rbx, rsp
0012993amov rsp, [r14+64]
0012993ecall caml_string_equal
00129943mov rsp, rbx
00129946cmp rax, 1
0012994aje 0x1299f4
00129950sub r15, 24
00129954cmp r15, [r14]
00129957jb 0x129b0f
0012995d
0012995dloc_12995d:
0012995dlea rax, [r15+8]
00129961mov [rax-8], 2048
00129969lea rbx, [rip+0x174518]
00129970mov [rax], rbx
00129973mov rbx, [rsp+8]
00129978mov [rax+8], rbx
0012997clea rbx, [rip+0x1703cd]
00129983call camlStdlib.$40_196
00129988call camlMyLexing.from_list_562
0012998dlea rbx, [rip+0x1f17bc]
00129994mov rdi, [rbx+168]
0012999badd rdi, 24
0012999fmov ebx, 121
001299a4call Save..ocaml_lex_cite_arg_rec
001299a9mov rbx, rax
001299acsub r15, 32
001299b0cmp r15, [r14]
001299b3jb 0x129b05
001299b9
001299b9loc_1299b9:
001299b9lea rax, [r15+8]
001299bdmov [rax-8], 3319
001299c5lea rdi, [rip+388]
001299ccmov [rax], rdi
001299cfmov rdi, 0x100000000000005
001299d9mov [rax+8], rdi
001299ddmov rdi, [rsp+24]
001299e2mov rdi, [rdi+32]
001299e6mov [rax+16], rdi
001299eacall Stdlib.List.iter
001299efjmp 0x129a53
001299f1nop [rax]
001299f4
001299f4loc_1299f4:
001299f4lea rsi, [rip+0x170325]
001299fbmov rdi, r12
001299femov rbx, rsp
00129a01mov rsp, [r14+64]
00129a05call caml_string_equal
00129a0amov rsp, rbx
00129a0dcmp rax, 1
00129a11je 0x129a53
00129a13lea rax, [rip+0x174c4e]
00129a1amov rbx, [rsp+8]
00129a1fcall Stdlib.String.concat
00129a24mov [rsp+8], rax
00129a29lea rax, [rip+0x170198]
00129a30call Stdlib.Printf.sprintf
00129a35mov rbx, rax
00129a38mov rdi, [rbx]
00129a3bmov rax, [rsp+8]
00129a40call rdi
00129a42mov rbx, rax
00129a45mov rax, [rsp+24]
00129a4amov rax, [rax+32]
00129a4ecall camlLexstate.scan_this_1185
00129a53
00129a53loc_129a53:
00129a53mov rax, [rsp+24]
00129a58mov rax, [rax+56]
00129a5cmov rbx, [rax]
00129a5fmov eax, 1
00129a64mov rdi, [rbx]
00129a67call rdi
00129a69mov rax, [rsp+24]
00129a6emov rax, [rax+56]
00129a72mov rbx, [rax+32]
00129a76lea rax, [rip+0x170123]
00129a7dmov rdi, [rbx]
00129a80call rdi
00129a82mov rax, [rsp+24]
00129a87mov rax, [rax+56]
00129a8bmov rbx, [rax+32]
00129a8fmov rdi, [rbx]
00129a92mov rax, [rsp+40]
00129a97call rdi
00129a99mov rax, [rsp+24]
00129a9emov rax, [rax+56]
00129aa2mov rbx, [rax+32]
00129aa6mov rdi, [rbx]
00129aa9mov rax, [rsp]
00129aadcall rdi
00129aafmov rax, [rsp+24]
00129ab4mov rax, [rax+56]
00129ab8mov rbx, [rax+24]
00129abcmov eax, 21
00129ac1mov rdi, [rbx]
00129ac4call rdi
00129ac6mov rax, [rsp+24]
00129acbmov rax, [rax+64]
00129acfmov rax, [rax+8]
00129ad3mov [rsp], rax
00129ad7mov eax, 1
00129adccall camlLatexscan.mk_out_file_1459
00129ae1mov rbx, [rsp]
00129ae5mov rdi, [rbx]
00129ae8call rdi
00129aeamov rax, [rsp+24]
00129aefmov rax, [rax+64]
00129af3mov rbx, [rax+16]
00129af7mov eax, 1
00129afcmov rdi, [rbx]
00129affadd rsp, 48
00129b03jmp rdi
00129b05
00129b05loc_129b05:
00129b05call caml_call_gc
00129b0ajmp 0x1299b9
00129b0f
00129b0floc_129b0f:
00129b0fcall caml_call_gc
00129b14jmp 0x12995d
00129b19
00129b19loc_129b19:
00129b19call caml_call_gc
00129b1ejmp 0x1298f5
00129b23
00129b23loc_129b23:
00129b23call caml_call_gc
00129b28jmp 0x12978e
00129b2d
00129b2dloc_129b2d:
00129b2dcall caml_call_gc
00129b32jmp 0x12974e
00129b37
00129b37loc_129b37:
00129b37push 41
00129b39call caml_call_realloc_stack
00129b3epop r10
00129b40jmp 0x129732
00129720
00129b45
00129b45 // align 0x10
00129b45 // align 0x10
00129b50
00129b50camlLatexscan.fun_4561:
00129b50lea r10, [rsp-328]
00129b58cmp r10, [r14+40]
00129b5cjb 0x129b95
00129b5e
00129b5eloc_129b5e:
00129b5esub rsp, 8
00129b62mov [rsp], rbx
00129b66lea rbx, [rip+0x17430b]
00129b6dcall camlStdlib.$5e_139
00129b72mov rbx, rax
00129b75lea rax, [rip+0x1701ec]
00129b7ccall camlStdlib.$5e_139
00129b81mov rbx, rax
00129b84mov rax, [rsp]
00129b88mov rax, [rax+16]
00129b8cadd rsp, 8
00129b90jmp 0x17f150
00129b95
00129b95loc_129b95:
00129b95push 34
00129b97call caml_call_realloc_stack
00129b9cpop r10
00129b9ejmp 0x129b5e
00129b50
00129b50camlLatexscan.fun_4561:
00129b50lea r10, [rsp-328]
00129b58cmp r10, [r14+40]
00129b5cjb 0x129b95
00129b5e
00129b5eloc_129b5e:
00129b5esub rsp, 8
00129b62mov [rsp], rbx
00129b66lea rbx, [rip+0x17430b]
00129b6dcall camlStdlib.$5e_139
00129b72mov rbx, rax
00129b75lea rax, [rip+0x1701ec]
00129b7ccall camlStdlib.$5e_139
00129b81mov rbx, rax
00129b84mov rax, [rsp]
00129b88mov rax, [rax+16]
00129b8cadd rsp, 8
00129b90jmp 0x17f150
00129b95
00129b95loc_129b95:
00129b95push 34
00129b97call caml_call_realloc_stack
00129b9cpop r10
00129b9ejmp 0x129b5e
00129b50
00129ba0
00129ba0camlLatexscan.do_input_1988:
00129ba0lea r10, [rsp-376]
00129ba8cmp r10, [r14+40]
00129bacjb 0x129d5b
00129bb2
00129bb2loc_129bb2:
00129bb2sub rsp, 40
00129bb6mov [rsp+16], rax
00129bbbmov [rsp+8], rbx
00129bc0mov [rsp+24], rdi
00129bc5cmp r15, [r14]
00129bc8jbe 0x129d51
00129bce
00129bceloc_129bce:
00129bcelea rax, [rip+0x1f796b]
00129bd5mov rbx, [rax+80]
00129bd9mov [rbx], 3
00129be0mov rax, [rax+64]
00129be4call camlDoOut.reset_705
00129be9mov rax, [rsp+24]
00129beemov rax, [rax+40]
00129bf2mov [rsp], rax
00129bf6mov rax, [rsp+8]
00129bfbcall camlLexstate.save_arg_1030
00129c00mov rbx, rax
00129c03mov rax, [rsp]
00129c07mov rdi, [rax+16]
00129c0bmov rax, [rdi+16]
00129c0fmov rdi, [rdi+24]
00129c13call camlLatexscan.do_get_prim_onarg_1872
00129c18mov [rsp+32], rax
00129c1dlea rax, [rip+0x1f791c]
00129c24mov rbx, [rax+80]
00129c28mov [rbx], 1
00129c2fmov rax, [rax+64]
00129c33call camlDoOut.to_string_830
00129c38mov [rsp], rax
00129c3clea rsi, [rip+0x16ff45]
00129c43mov rdi, [rsp+16]
00129c48mov rbx, rsp
00129c4bmov rsp, [r14+64]
00129c4fcall caml_string_notequal
00129c54mov rsp, rbx
00129c57cmp rax, 1
00129c5bjne 0x129c80
00129c5dmov rax, [rsp+24]
00129c62mov rbx, [rax+24]
00129c66mov rax, [rsp+32]
00129c6bcall camlLatexscan.check_include_1456
00129c70cmp rax, 1
00129c74jne 0x129c80
00129c76mov eax, 1
00129c7badd rsp, 40
00129c7fret
00129c80
00129c80loc_129c80:
00129c80lea r11, [rip+65]
00129c87push r11
00129c89push [r14+48]
00129c8dmov [r14+48], rsp
00129c91mov rdi, [rsp+40]
00129c96mov rbx, [rdi+32]
00129c9alea rax, [rip+0x2003cf]
00129ca1mov rax, [rax+80]
00129ca5mov rax, [rax]
00129ca8mov rdx, [rdi+48]
00129cacmov rdi, [rsp+48]
00129cb1mov rsi, [rsp+24]
00129cb6call camlLatexscan.input_file_1965
00129cbbpop [r14+48]
00129cbfadd rsp, 8
00129cc3jmp 0x129d4c
00129cc8lea rbx, [rip+0x1f7f91]
00129ccfmov rdi, [rbx+8]
00129cd3cmp rax, rdi
00129cd6jne 0x129d24
00129cd8mov rax, [rsp+24]
00129cddmov rax, [rax+56]
00129ce1mov rbx, [rax+32]
00129ce5mov rdi, [rbx]
00129ce8mov rax, [rsp+16]
00129cedcall rdi
00129cefmov rax, [rsp+24]
00129cf4mov rax, [rax+56]
00129cf8mov rbx, [rax+32]
00129cfcmov rdi, [rbx]
00129cffmov rax, [rsp]
00129d03call rdi
00129d05mov rax, [rsp+24]
00129d0amov rax, [rax+56]
00129d0emov rbx, [rax+32]
00129d12lea rax, [rip+0x16fe5f]
00129d19mov rdi, [rbx]
00129d1cadd rsp, 40
00129d20jmp rdi
00129d22nop
00129d24
00129d24loc_129d24:
00129d24mov rbx, [rbx]
00129d27mov rdi, [rax]
00129d2acmp rdi, rbx
00129d2djne 0x129d3c
00129d2fmov eax, 1
00129d34add rsp, 40
00129d38ret
00129d39nop [rax]
00129d3c
00129d3cloc_129d3c:
00129d3cmov rsp, [r14+48]
00129d40pop [r14+48]
00129d44pop r11
00129d46jmp r11
00129d49nop [rax]
00129d4c
00129d4cloc_129d4c:
00129d4cadd rsp, 40
00129d50ret
00129d51
00129d51loc_129d51:
00129d51call caml_call_gc
00129d56jmp 0x129bce
00129d5b
00129d5bloc_129d5b:
00129d5bpush 40
00129d5dcall caml_call_realloc_stack
00129d62pop r10
00129d64jmp 0x129bb2
00129ba0
00129ba0camlLatexscan.do_input_1988:
00129ba0lea r10, [rsp-376]
00129ba8cmp r10, [r14+40]
00129bacjb 0x129d5b
00129bb2
00129bb2loc_129bb2:
00129bb2sub rsp, 40
00129bb6mov [rsp+16], rax
00129bbbmov [rsp+8], rbx
00129bc0mov [rsp+24], rdi
00129bc5cmp r15, [r14]
00129bc8jbe 0x129d51
00129bce
00129bceloc_129bce:
00129bcelea rax, [rip+0x1f796b]
00129bd5mov rbx, [rax+80]
00129bd9mov [rbx], 3
00129be0mov rax, [rax+64]
00129be4call camlDoOut.reset_705
00129be9mov rax, [rsp+24]
00129beemov rax, [rax+40]
00129bf2mov [rsp], rax
00129bf6mov rax, [rsp+8]
00129bfbcall camlLexstate.save_arg_1030
00129c00mov rbx, rax
00129c03mov rax, [rsp]
00129c07mov rdi, [rax+16]
00129c0bmov rax, [rdi+16]
00129c0fmov rdi, [rdi+24]
00129c13call camlLatexscan.do_get_prim_onarg_1872
00129c18mov [rsp+32], rax
00129c1dlea rax, [rip+0x1f791c]
00129c24mov rbx, [rax+80]
00129c28mov [rbx], 1
00129c2fmov rax, [rax+64]
00129c33call camlDoOut.to_string_830
00129c38mov [rsp], rax
00129c3clea rsi, [rip+0x16ff45]
00129c43mov rdi, [rsp+16]
00129c48mov rbx, rsp
00129c4bmov rsp, [r14+64]
00129c4fcall caml_string_notequal
00129c54mov rsp, rbx
00129c57cmp rax, 1
00129c5bjne 0x129c80
00129c5dmov rax, [rsp+24]
00129c62mov rbx, [rax+24]
00129c66mov rax, [rsp+32]
00129c6bcall camlLatexscan.check_include_1456
00129c70cmp rax, 1
00129c74jne 0x129c80
00129c76mov eax, 1
00129c7badd rsp, 40
00129c7fret
00129c80
00129c80loc_129c80:
00129c80lea r11, [rip+65]
00129c87push r11
00129c89push [r14+48]
00129c8dmov [r14+48], rsp
00129c91mov rdi, [rsp+40]
00129c96mov rbx, [rdi+32]
00129c9alea rax, [rip+0x2003cf]
00129ca1mov rax, [rax+80]
00129ca5mov rax, [rax]
00129ca8mov rdx, [rdi+48]
00129cacmov rdi, [rsp+48]
00129cb1mov rsi, [rsp+24]
00129cb6call camlLatexscan.input_file_1965
00129cbbpop [r14+48]
00129cbfadd rsp, 8
00129cc3jmp 0x129d4c
00129cc8lea rbx, [rip+0x1f7f91]
00129ccfmov rdi, [rbx+8]
00129cd3cmp rax, rdi
00129cd6jne 0x129d24
00129cd8mov rax, [rsp+24]
00129cddmov rax, [rax+56]
00129ce1mov rbx, [rax+32]
00129ce5mov rdi, [rbx]
00129ce8mov rax, [rsp+16]
00129cedcall rdi
00129cefmov rax, [rsp+24]
00129cf4mov rax, [rax+56]
00129cf8mov rbx, [rax+32]
00129cfcmov rdi, [rbx]
00129cffmov rax, [rsp]
00129d03call rdi
00129d05mov rax, [rsp+24]
00129d0amov rax, [rax+56]
00129d0emov rbx, [rax+32]
00129d12lea rax, [rip+0x16fe5f]
00129d19mov rdi, [rbx]
00129d1cadd rsp, 40
00129d20jmp rdi
00129d22nop
00129d24
00129d24loc_129d24:
00129d24mov rbx, [rbx]
00129d27mov rdi, [rax]
00129d2acmp rdi, rbx
00129d2djne 0x129d3c
00129d2fmov eax, 1
00129d34add rsp, 40
00129d38ret
00129d39nop [rax]
00129d3c
00129d3cloc_129d3c:
00129d3cmov rsp, [r14+48]
00129d40pop [r14+48]
00129d44pop r11
00129d46jmp r11
00129d49nop [rax]
00129d4c
00129d4cloc_129d4c:
00129d4cadd rsp, 40
00129d50ret
00129d51
00129d51loc_129d51:
00129d51call caml_call_gc
00129d56jmp 0x129bce
00129d5b
00129d5bloc_129d5b:
00129d5bpush 40
00129d5dcall caml_call_realloc_stack
00129d62pop r10
00129d64jmp 0x129bb2
00129ba0
00129d69
00129d69 // align 0x10
00129d69 // align 0x10
00129d70
00129d70camlLatexscan.fun_4591:
00129d70mov rsi, rax
00129d73mov rax, [rbx+16]
00129d77mov rdi, [rbx+24]
00129d7bmov rbx, rsi
00129d7ejmp 0x129ba0
00129d70
00129d70camlLatexscan.fun_4591:
00129d70mov rsi, rax
00129d73mov rax, [rbx+16]
00129d77mov rdi, [rbx+24]
00129d7bmov rbx, rsi
00129d7ejmp 0x129ba0
00129d70
00129d83
00129d83 // align 0x10
00129d83 // align 0x10
00129d90
00129d90camlLatexscan.fun_4602:
00129d90mov rsi, rax
00129d93mov rax, [rbx+16]
00129d97mov rdi, [rbx+24]
00129d9bmov rbx, rsi
00129d9ejmp 0x129ba0
00129d90
00129d90camlLatexscan.fun_4602:
00129d90mov rsi, rax
00129d93mov rax, [rbx+16]
00129d97mov rdi, [rbx+24]
00129d9bmov rbx, rsi
00129d9ejmp 0x129ba0
00129d90
00129da3
00129da3 // align 0x10
00129da3 // align 0x10
00129db0
00129db0camlLatexscan.do_newcommand_1994:
00129db0lea r10, [rsp-368]
00129db8cmp r10, [r14+40]
00129dbcjb 0x12a2c7
00129dc2
00129dc2loc_129dc2:
00129dc2sub rsp, 48
00129dc6mov [rsp+24], rax
00129dcbmov [rsp], rbx
00129dcfmov [rsp+8], rdi
00129dd4lea rax, [rip+0x1f7765]
00129ddbmov rbx, [rax+80]
00129ddfmov [rbx], 3
00129de6mov rax, [rax+64]
00129deacall camlDoOut.reset_705
00129defmov rax, [rsp+8]
00129df4mov rbx, [rax+32]
00129df8mov rax, [rsp]
00129dfccall camlLatexscan.get_csname_1908
00129e01mov [rsp+40], rax
00129e06lea rax, [rip+0x170543]
00129e0dmov rbx, [rsp]
00129e11call camlLexstate.save_opts_1158
00129e16mov [rsp+16], rax
00129e1bmov rax, [rsp]
00129e1fcall camlLexstate.save_body_1031
00129e24mov rbx, rax
00129e27mov eax, 1
00129e2ccall camlSubst.do_do_subst_this_list_777
00129e31sub r15, 48
00129e35cmp r15, [r14]
00129e38jb 0x12a2bd
00129e3e
00129e3eloc_129e3e:
00129e3elea rdi, [r15+8]
00129e42mov [rdi-8], 5367
00129e4alea rbx, [rip+1167]
00129e51mov [rdi], rbx
00129e54mov rbx, 0x100000000000005
00129e5emov [rdi+8], rbx
00129e62mov rsi, [rsp+8]
00129e67mov rbx, [rsi+24]
00129e6bmov [rdi+16], rbx
00129e6fmov rcx, [rsp+24]
00129e74mov [rdi+24], rcx
00129e78mov rbx, [rsi+40]
00129e7cmov [rdi+32], rbx
00129e80mov rbx, [rsp+16]
00129e85test bl, 1
00129e88jne 0x12a23c
00129e8emov rsi, [rbx+8]
00129e92test sil, 1
00129e96jne 0x12a23c
00129e9cmov rdx, [rsi+8]
00129ea0test dl, 1
00129ea3je 0x12a23c
00129ea9mov [rsp+16], rdi
00129eaemov [rsp+32], rax
00129eb3mov [rsp+24], rcx
00129eb8mov rax, [rsi]
00129ebbmov rdi, [rax]
00129ebemovzx rsi, [rdi-8]
00129ec3test rsi, rsi
00129ec6je 0x129f10
00129ec8mov rax, [rax+8]
00129eccmov rdi, [rdi]
00129ecfsub r15, 48
00129ed3cmp r15, [r14]
00129ed6jb 0x12a2b3
00129edc
00129edcloc_129edc:
00129edclea rsi, [r15+8]
00129ee0add rsi, 24
00129ee4mov [rsi-8], 2048
00129eecmov [rsi], rdi
00129eefmov [rsi+8], rax
00129ef3lea rax, [rsi-24]
00129ef7mov [rsp], rax
00129efbmov [rax-8], 2048
00129f03mov [rax], 3
00129f0amov [rax+8], rsi
00129f0ejmp 0x129f6d
00129f10
00129f10loc_129f10:
00129f10mov rax, [rax+8]
00129f14sub r15, 72
00129f18cmp r15, [r14]
00129f1bjb 0x12a2a9
00129f21
00129f21loc_129f21:
00129f21lea rsi, [r15+8]
00129f25add rsi, 48
00129f29mov [rsi-8], 2048
00129f31mov rdi, [rdi]
00129f34mov [rsi], rdi
00129f37mov [rsi+8], 1
00129f3flea rdi, [rsi-24]
00129f43mov [rdi-8], 2048
00129f4bmov [rdi], rsi
00129f4emov [rdi+8], rax
00129f52lea rax, [rdi-24]
00129f56mov [rax-8], 2048
00129f5emov [rax], 1
00129f65mov [rax+8], rdi
00129f69mov [rsp], rax
00129f6d
00129f6dloc_129f6d:
00129f6dmov rax, [rbx]
00129f70call camlLexstate.from_ok_1113
00129f75mov rbx, rax
00129f78lea rax, [rip+0x1cb8e1]
00129f7fmov rax, [rax+280]
00129f86call camlGet.do_get_int_873
00129f8bmov [rsp+8], rax
00129f90mov rbx, [rsp]
00129f94mov rax, [rbx]
00129f97cmp rax, 1
00129f9bje 0x129fe0
00129f9dmov rbx, [rbx+8]
00129fa1mov eax, 1
00129fa6call camlSubst.do_do_subst_this_list_777
00129fabmov rbx, rax
00129faelea rax, [rip+0x1c6edb]
00129fb5call Stdlib.String.concat
00129fbasub r15, 24
00129fbecmp r15, [r14]
00129fc1jb 0x12a29f
00129fc7
00129fc7loc_129fc7:
00129fc7lea rbx, [r15+8]
00129fcbmov [rbx-8], 2048
00129fd3mov [rbx], rax
00129fd6mov [rbx+8], 1
00129fdejmp 0x129fe5
00129fe0
00129fe0loc_129fe0:
00129fe0mov ebx, 1
00129fe5
00129fe5loc_129fe5:
00129fe5mov rax, rbx
00129fe8mov rbx, [rsp+8]
00129fedcall camlLexstate.latex_pat_577
00129ff2mov rbx, rax
00129ff5mov rsi, [rsp+24]
00129ffamov rax, [rsi-8]
00129ffeshr rax, 10
0012a002cmp rax, 2
0012a006je 0x12a014
0012a008mov [rsp], rbx
0012a00cjmp 0x12a0e9
0012a011nop [rax]
0012a014
0012a014loc_12a014:
0012a014mov rax, [rsi]
0012a017mov rdi, 0x636563726f66405c
0012a021cmp rax, rdi
0012a024jne 0x12a070
0012a026mov rax, [rsi+8]
0012a02amov rdi, 0x100646e616d6d6f
0012a034cmp rax, rdi
0012a037jne 0x12a068
0012a039sub r15, 16
0012a03dcmp r15, [r14]
0012a040jb 0x12a295
0012a046
0012a046loc_12a046:
0012a046lea rdi, [r15+8]
0012a04amov [rdi-8], 1024
0012a052mov rax, [rsp+32]
0012a057mov [rdi], rax
0012a05amov rax, [rsp+40]
0012a05fadd rsp, 48
0012a063jmp 0x17af20
0012a068
0012a068loc_12a068:
0012a068mov [rsp], rbx
0012a06cjmp 0x12a0e9
0012a06enop
0012a070
0012a070loc_12a070:
0012a070mov [rsp], rbx
0012a074mov rbx, 0x6d6d6f6377656e5c
0012a07ecmp rax, rbx
0012a081jne 0x12a0b0
0012a083mov rax, [rsi+8]
0012a087mov rbx, 0x30000002a646e61
0012a091cmp rax, rbx
0012a094je 0x12a148
0012a09amov rbx, 0x400000000646e61
0012a0a4cmp rax, rbx
0012a0a7je 0x12a148
0012a0adjmp 0x12a0e9
0012a0afnop
0012a0b0
0012a0b0loc_12a0b0:
0012a0b0mov rbx, 0x6f6377656e65725c
0012a0bacmp rax, rbx
0012a0bdjne 0x12a0e9
0012a0bfmov rax, [rsi+8]
0012a0c3mov rbx, 0x1002a646e616d6d
0012a0cdcmp rax, rbx
0012a0d0je 0x12a1c4
0012a0d6mov rbx, 0x20000646e616d6d
0012a0e0cmp rax, rbx
0012a0e3je 0x12a1c4
0012a0e9
0012a0e9loc_12a0e9:
0012a0e9mov eax, 1
0012a0eemov rbx, [rsp+16]
0012a0f3call camlLatexscan.echo_2001
0012a0f8mov rax, [rsp+40]
0012a0fdcall camlLatexmacros.exists_938
0012a102cmp rax, 1
0012a106je 0x12a114
0012a108mov eax, 1
0012a10dadd rsp, 48
0012a111ret
0012a112nop
0012a114
0012a114loc_12a114:
0012a114sub r15, 16
0012a118cmp r15, [r14]
0012a11bjb 0x12a28b
0012a121
0012a121loc_12a121:
0012a121lea rdi, [r15+8]
0012a125mov [rdi-8], 1024
0012a12dmov rax, [rsp+32]
0012a132mov [rdi], rax
0012a135mov rax, [rsp+40]
0012a13amov rbx, [rsp]
0012a13eadd rsp, 48
0012a142jmp 0x17af20
0012a147nop
0012a148
0012a148loc_12a148:
0012a148mov eax, 1
0012a14dmov rbx, [rsp+16]
0012a152call camlLatexscan.echo_2001
0012a157mov rax, [rsp+40]
0012a15ccall camlLatexmacros.exists_938
0012a161cmp rax, 1
0012a165je 0x12a190
0012a167lea rbx, [rip+0x16f972]
0012a16emov rax, [rsp+40]
0012a173call camlStdlib.$5e_139
0012a178mov rbx, rax
0012a17blea rax, [rip+0x16f97e]
0012a182call camlStdlib.$5e_139
0012a187add rsp, 48
0012a18bjmp 0x1919c0
0012a190
0012a190loc_12a190:
0012a190sub r15, 16
0012a194cmp r15, [r14]
0012a197jb 0x12a281
0012a19d
0012a19dloc_12a19d:
0012a19dlea rdi, [r15+8]
0012a1a1mov [rdi-8], 1024
0012a1a9mov rax, [rsp+32]
0012a1aemov [rdi], rax
0012a1b1mov rax, [rsp+40]
0012a1b6mov rbx, [rsp]
0012a1baadd rsp, 48
0012a1bejmp 0x17af20
0012a1c3nop
0012a1c4
0012a1c4loc_12a1c4:
0012a1c4mov rax, [rsp+40]
0012a1c9call camlLatexmacros.exists_938
0012a1cecmp rax, 1
0012a1d2je 0x12a1e8
0012a1d4mov eax, 1
0012a1d9mov rbx, [rsp+16]
0012a1decall camlLatexscan.echo_2001
0012a1e3jmp 0x12a20d
0012a1e5nop [rax]
0012a1e8
0012a1e8loc_12a1e8:
0012a1e8lea rbx, [rip+0x16f8b9]
0012a1efmov rax, [rsp+40]
0012a1f4call camlStdlib.$5e_139
0012a1f9mov rbx, rax
0012a1fclea rax, [rip+0x16f8c5]
0012a203call camlStdlib.$5e_139
0012a208call camlMisc.warning_287
0012a20d
0012a20dloc_12a20d:
0012a20dsub r15, 16
0012a211cmp r15, [r14]
0012a214jb 0x12a27a
0012a216
0012a216loc_12a216:
0012a216lea rdi, [r15+8]
0012a21amov [rdi-8], 1024
0012a222mov rax, [rsp+32]
0012a227mov [rdi], rax
0012a22amov rax, [rsp+40]
0012a22fmov rbx, [rsp]
0012a233add rsp, 48
0012a237jmp 0x17af20
0012a23c
0012a23cloc_12a23c:
0012a23csub r15, 24
0012a240cmp r15, [r14]
0012a243jb 0x12a273
0012a245
0012a245loc_12a245:
0012a245lea rax, [r15+8]
0012a249mov [rax-8], 2048
0012a251lea rbx, [rip+0x14bfb0]
0012a258mov [rax], rbx
0012a25blea rbx, [rip+0x16f826]
0012a262mov [rax+8], rbx
0012a266mov rsp, [r14+48]
0012a26apop [r14+48]
0012a26epop r11
0012a270jmp r11
0012a273
0012a273loc_12a273:
0012a273call caml_call_gc
0012a278jmp 0x12a245
0012a27a
0012a27aloc_12a27a:
0012a27acall caml_call_gc
0012a27fjmp 0x12a216
0012a281
0012a281loc_12a281:
0012a281call caml_call_gc
0012a286jmp 0x12a19d
0012a28b
0012a28bloc_12a28b:
0012a28bcall caml_call_gc
0012a290jmp 0x12a121
0012a295
0012a295loc_12a295:
0012a295call caml_call_gc
0012a29ajmp 0x12a046
0012a29f
0012a29floc_12a29f:
0012a29fcall caml_call_gc
0012a2a4jmp 0x129fc7
0012a2a9
0012a2a9loc_12a2a9:
0012a2a9call caml_call_gc
0012a2aejmp 0x129f21
0012a2b3
0012a2b3loc_12a2b3:
0012a2b3call caml_call_gc
0012a2b8jmp 0x129edc
0012a2bd
0012a2bdloc_12a2bd:
0012a2bdcall caml_call_gc
0012a2c2jmp 0x129e3e
0012a2c7
0012a2c7loc_12a2c7:
0012a2c7push 39
0012a2c9call caml_call_realloc_stack
0012a2cepop r10
0012a2d0jmp 0x129dc2
00129db0
00129db0camlLatexscan.do_newcommand_1994:
00129db0lea r10, [rsp-368]
00129db8cmp r10, [r14+40]
00129dbcjb 0x12a2c7
00129dc2
00129dc2loc_129dc2:
00129dc2sub rsp, 48
00129dc6mov [rsp+24], rax
00129dcbmov [rsp], rbx
00129dcfmov [rsp+8], rdi
00129dd4lea rax, [rip+0x1f7765]
00129ddbmov rbx, [rax+80]
00129ddfmov [rbx], 3
00129de6mov rax, [rax+64]
00129deacall camlDoOut.reset_705
00129defmov rax, [rsp+8]
00129df4mov rbx, [rax+32]
00129df8mov rax, [rsp]
00129dfccall camlLatexscan.get_csname_1908
00129e01mov [rsp+40], rax
00129e06lea rax, [rip+0x170543]
00129e0dmov rbx, [rsp]
00129e11call camlLexstate.save_opts_1158
00129e16mov [rsp+16], rax
00129e1bmov rax, [rsp]
00129e1fcall camlLexstate.save_body_1031
00129e24mov rbx, rax
00129e27mov eax, 1
00129e2ccall camlSubst.do_do_subst_this_list_777
00129e31sub r15, 48
00129e35cmp r15, [r14]
00129e38jb 0x12a2bd
00129e3e
00129e3eloc_129e3e:
00129e3elea rdi, [r15+8]
00129e42mov [rdi-8], 5367
00129e4alea rbx, [rip+1167]
00129e51mov [rdi], rbx
00129e54mov rbx, 0x100000000000005
00129e5emov [rdi+8], rbx
00129e62mov rsi, [rsp+8]
00129e67mov rbx, [rsi+24]
00129e6bmov [rdi+16], rbx
00129e6fmov rcx, [rsp+24]
00129e74mov [rdi+24], rcx
00129e78mov rbx, [rsi+40]
00129e7cmov [rdi+32], rbx
00129e80mov rbx, [rsp+16]
00129e85test bl, 1
00129e88jne 0x12a23c
00129e8emov rsi, [rbx+8]
00129e92test sil, 1
00129e96jne 0x12a23c
00129e9cmov rdx, [rsi+8]
00129ea0test dl, 1
00129ea3je 0x12a23c
00129ea9mov [rsp+16], rdi
00129eaemov [rsp+32], rax
00129eb3mov [rsp+24], rcx
00129eb8mov rax, [rsi]
00129ebbmov rdi, [rax]
00129ebemovzx rsi, [rdi-8]
00129ec3test rsi, rsi
00129ec6je 0x129f10
00129ec8mov rax, [rax+8]
00129eccmov rdi, [rdi]
00129ecfsub r15, 48
00129ed3cmp r15, [r14]
00129ed6jb 0x12a2b3
00129edc
00129edcloc_129edc:
00129edclea rsi, [r15+8]
00129ee0add rsi, 24
00129ee4mov [rsi-8], 2048
00129eecmov [rsi], rdi
00129eefmov [rsi+8], rax
00129ef3lea rax, [rsi-24]
00129ef7mov [rsp], rax
00129efbmov [rax-8], 2048
00129f03mov [rax], 3
00129f0amov [rax+8], rsi
00129f0ejmp 0x129f6d
00129f10
00129f10loc_129f10:
00129f10mov rax, [rax+8]
00129f14sub r15, 72
00129f18cmp r15, [r14]
00129f1bjb 0x12a2a9
00129f21
00129f21loc_129f21:
00129f21lea rsi, [r15+8]
00129f25add rsi, 48
00129f29mov [rsi-8], 2048
00129f31mov rdi, [rdi]
00129f34mov [rsi], rdi
00129f37mov [rsi+8], 1
00129f3flea rdi, [rsi-24]
00129f43mov [rdi-8], 2048
00129f4bmov [rdi], rsi
00129f4emov [rdi+8], rax
00129f52lea rax, [rdi-24]
00129f56mov [rax-8], 2048
00129f5emov [rax], 1
00129f65mov [rax+8], rdi
00129f69mov [rsp], rax
00129f6d
00129f6dloc_129f6d:
00129f6dmov rax, [rbx]
00129f70call camlLexstate.from_ok_1113
00129f75mov rbx, rax
00129f78lea rax, [rip+0x1cb8e1]
00129f7fmov rax, [rax+280]
00129f86call camlGet.do_get_int_873
00129f8bmov [rsp+8], rax
00129f90mov rbx, [rsp]
00129f94mov rax, [rbx]
00129f97cmp rax, 1
00129f9bje 0x129fe0
00129f9dmov rbx, [rbx+8]
00129fa1mov eax, 1
00129fa6call camlSubst.do_do_subst_this_list_777
00129fabmov rbx, rax
00129faelea rax, [rip+0x1c6edb]
00129fb5call Stdlib.String.concat
00129fbasub r15, 24
00129fbecmp r15, [r14]
00129fc1jb 0x12a29f
00129fc7
00129fc7loc_129fc7:
00129fc7lea rbx, [r15+8]
00129fcbmov [rbx-8], 2048
00129fd3mov [rbx], rax
00129fd6mov [rbx+8], 1
00129fdejmp 0x129fe5
00129fe0
00129fe0loc_129fe0:
00129fe0mov ebx, 1
00129fe5
00129fe5loc_129fe5:
00129fe5mov rax, rbx
00129fe8mov rbx, [rsp+8]
00129fedcall camlLexstate.latex_pat_577
00129ff2mov rbx, rax
00129ff5mov rsi, [rsp+24]
00129ffamov rax, [rsi-8]
00129ffeshr rax, 10
0012a002cmp rax, 2
0012a006je 0x12a014
0012a008mov [rsp], rbx
0012a00cjmp 0x12a0e9
0012a011nop [rax]
0012a014
0012a014loc_12a014:
0012a014mov rax, [rsi]
0012a017mov rdi, 0x636563726f66405c
0012a021cmp rax, rdi
0012a024jne 0x12a070
0012a026mov rax, [rsi+8]
0012a02amov rdi, 0x100646e616d6d6f
0012a034cmp rax, rdi
0012a037jne 0x12a068
0012a039sub r15, 16
0012a03dcmp r15, [r14]
0012a040jb 0x12a295
0012a046
0012a046loc_12a046:
0012a046lea rdi, [r15+8]
0012a04amov [rdi-8], 1024
0012a052mov rax, [rsp+32]
0012a057mov [rdi], rax
0012a05amov rax, [rsp+40]
0012a05fadd rsp, 48
0012a063jmp 0x17af20
0012a068
0012a068loc_12a068:
0012a068mov [rsp], rbx
0012a06cjmp 0x12a0e9
0012a06enop
0012a070
0012a070loc_12a070:
0012a070mov [rsp], rbx
0012a074mov rbx, 0x6d6d6f6377656e5c
0012a07ecmp rax, rbx
0012a081jne 0x12a0b0
0012a083mov rax, [rsi+8]
0012a087mov rbx, 0x30000002a646e61
0012a091cmp rax, rbx
0012a094je 0x12a148
0012a09amov rbx, 0x400000000646e61
0012a0a4cmp rax, rbx
0012a0a7je 0x12a148
0012a0adjmp 0x12a0e9
0012a0afnop
0012a0b0
0012a0b0loc_12a0b0:
0012a0b0mov rbx, 0x6f6377656e65725c
0012a0bacmp rax, rbx
0012a0bdjne 0x12a0e9
0012a0bfmov rax, [rsi+8]
0012a0c3mov rbx, 0x1002a646e616d6d
0012a0cdcmp rax, rbx
0012a0d0je 0x12a1c4
0012a0d6mov rbx, 0x20000646e616d6d
0012a0e0cmp rax, rbx
0012a0e3je 0x12a1c4
0012a0e9
0012a0e9loc_12a0e9:
0012a0e9mov eax, 1
0012a0eemov rbx, [rsp+16]
0012a0f3call camlLatexscan.echo_2001
0012a0f8mov rax, [rsp+40]
0012a0fdcall camlLatexmacros.exists_938
0012a102cmp rax, 1
0012a106je 0x12a114
0012a108mov eax, 1
0012a10dadd rsp, 48
0012a111ret
0012a112nop
0012a114
0012a114loc_12a114:
0012a114sub r15, 16
0012a118cmp r15, [r14]
0012a11bjb 0x12a28b
0012a121
0012a121loc_12a121:
0012a121lea rdi, [r15+8]
0012a125mov [rdi-8], 1024
0012a12dmov rax, [rsp+32]
0012a132mov [rdi], rax
0012a135mov rax, [rsp+40]
0012a13amov rbx, [rsp]
0012a13eadd rsp, 48
0012a142jmp 0x17af20
0012a147nop
0012a148
0012a148loc_12a148:
0012a148mov eax, 1
0012a14dmov rbx, [rsp+16]
0012a152call camlLatexscan.echo_2001
0012a157mov rax, [rsp+40]
0012a15ccall camlLatexmacros.exists_938
0012a161cmp rax, 1
0012a165je 0x12a190
0012a167lea rbx, [rip+0x16f972]
0012a16emov rax, [rsp+40]
0012a173call camlStdlib.$5e_139
0012a178mov rbx, rax
0012a17blea rax, [rip+0x16f97e]
0012a182call camlStdlib.$5e_139
0012a187add rsp, 48
0012a18bjmp 0x1919c0
0012a190
0012a190loc_12a190:
0012a190sub r15, 16
0012a194cmp r15, [r14]
0012a197jb 0x12a281
0012a19d
0012a19dloc_12a19d:
0012a19dlea rdi, [r15+8]
0012a1a1mov [rdi-8], 1024
0012a1a9mov rax, [rsp+32]
0012a1aemov [rdi], rax
0012a1b1mov rax, [rsp+40]
0012a1b6mov rbx, [rsp]
0012a1baadd rsp, 48
0012a1bejmp 0x17af20
0012a1c3nop
0012a1c4
0012a1c4loc_12a1c4:
0012a1c4mov rax, [rsp+40]
0012a1c9call camlLatexmacros.exists_938
0012a1cecmp rax, 1
0012a1d2je 0x12a1e8
0012a1d4mov eax, 1
0012a1d9mov rbx, [rsp+16]
0012a1decall camlLatexscan.echo_2001
0012a1e3jmp 0x12a20d
0012a1e5nop [rax]
0012a1e8
0012a1e8loc_12a1e8:
0012a1e8lea rbx, [rip+0x16f8b9]
0012a1efmov rax, [rsp+40]
0012a1f4call camlStdlib.$5e_139
0012a1f9mov rbx, rax
0012a1fclea rax, [rip+0x16f8c5]
0012a203call camlStdlib.$5e_139
0012a208call camlMisc.warning_287
0012a20d
0012a20dloc_12a20d:
0012a20dsub r15, 16
0012a211cmp r15, [r14]
0012a214jb 0x12a27a
0012a216
0012a216loc_12a216:
0012a216lea rdi, [r15+8]
0012a21amov [rdi-8], 1024
0012a222mov rax, [rsp+32]
0012a227mov [rdi], rax
0012a22amov rax, [rsp+40]
0012a22fmov rbx, [rsp]
0012a233add rsp, 48
0012a237jmp 0x17af20
0012a23c
0012a23cloc_12a23c:
0012a23csub r15, 24
0012a240cmp r15, [r14]
0012a243jb 0x12a273
0012a245
0012a245loc_12a245:
0012a245lea rax, [r15+8]
0012a249mov [rax-8], 2048
0012a251lea rbx, [rip+0x14bfb0]
0012a258mov [rax], rbx
0012a25blea rbx, [rip+0x16f826]
0012a262mov [rax+8], rbx
0012a266mov rsp, [r14+48]
0012a26apop [r14+48]
0012a26epop r11
0012a270jmp r11
0012a273
0012a273loc_12a273:
0012a273call caml_call_gc
0012a278jmp 0x12a245
0012a27a
0012a27aloc_12a27a:
0012a27acall caml_call_gc
0012a27fjmp 0x12a216
0012a281
0012a281loc_12a281:
0012a281call caml_call_gc
0012a286jmp 0x12a19d
0012a28b
0012a28bloc_12a28b:
0012a28bcall caml_call_gc
0012a290jmp 0x12a121
0012a295
0012a295loc_12a295:
0012a295call caml_call_gc
0012a29ajmp 0x12a046
0012a29f
0012a29floc_12a29f:
0012a29fcall caml_call_gc
0012a2a4jmp 0x129fc7
0012a2a9
0012a2a9loc_12a2a9:
0012a2a9call caml_call_gc
0012a2aejmp 0x129f21
0012a2b3
0012a2b3loc_12a2b3:
0012a2b3call caml_call_gc
0012a2b8jmp 0x129edc
0012a2bd
0012a2bdloc_12a2bd:
0012a2bdcall caml_call_gc
0012a2c2jmp 0x129e3e
0012a2c7
0012a2c7loc_12a2c7:
0012a2c7push 39
0012a2c9call caml_call_realloc_stack
0012a2cepop r10
0012a2d0jmp 0x129dc2
00129db0
0012a2d5
0012a2d5 // align 0x10
0012a2d5 // align 0x10
0012a2e0
0012a2e0camlLatexscan.echo_2001:
0012a2e0lea r10, [rsp-336]
0012a2e8cmp r10, [r14+40]
0012a2ecjb 0x12a3bc
0012a2f2
0012a2f2loc_12a2f2:
0012a2f2sub rsp, 16
0012a2f6mov [rsp+8], rbx
0012a2fbcmp r15, [r14]
0012a2fejbe 0x12a3b2
0012a304
0012a304loc_12a304:
0012a304mov eax, 1
0012a309call camlLatexscan.echo_toimage_802
0012a30ecmp rax, 1
0012a312je 0x12a3a8
0012a318lea rsi, [rip+0x16f819]
0012a31fmov r12, [rsp+8]
0012a324mov rdi, [r12+24]
0012a329mov rbx, rsp
0012a32cmov rsp, [r14+64]
0012a330call caml_string_notequal
0012a335mov rsp, rbx
0012a338cmp rax, 1
0012a33cje 0x12a3a8
0012a33emov [rsp+8], r12
0012a343mov rax, [r12+32]
0012a348mov rbx, [rax+32]
0012a34cmov rax, [r12+24]
0012a351mov rdi, [rbx]
0012a354call rdi
0012a356mov rax, [rsp+8]
0012a35bmov rax, [rax+32]
0012a35fmov rax, [rax+32]
0012a363mov [rsp], rax
0012a367lea rax, [rip+0x1f71d2]
0012a36emov rbx, [rax+80]
0012a372mov [rbx], 1
0012a379mov rax, [rax+64]
0012a37dcall camlDoOut.to_string_830
0012a382mov rbx, [rsp]
0012a386mov rdi, [rbx]
0012a389call rdi
0012a38bmov rax, [rsp+8]
0012a390mov rax, [rax+32]
0012a394mov rbx, [rax+24]
0012a398mov eax, 21
0012a39dmov rdi, [rbx]
0012a3a0add rsp, 16
0012a3a4jmp rdi
0012a3a6nop
0012a3a8
0012a3a8loc_12a3a8:
0012a3a8mov eax, 1
0012a3adadd rsp, 16
0012a3b1ret
0012a3b2
0012a3b2loc_12a3b2:
0012a3b2call caml_call_gc
0012a3b7jmp 0x12a304
0012a3bc
0012a3bcloc_12a3bc:
0012a3bcpush 35
0012a3becall caml_call_realloc_stack
0012a3c3pop r10
0012a3c5jmp 0x12a2f2
0012a2e0
0012a2e0camlLatexscan.echo_2001:
0012a2e0lea r10, [rsp-336]
0012a2e8cmp r10, [r14+40]
0012a2ecjb 0x12a3bc
0012a2f2
0012a2f2loc_12a2f2:
0012a2f2sub rsp, 16
0012a2f6mov [rsp+8], rbx
0012a2fbcmp r15, [r14]
0012a2fejbe 0x12a3b2
0012a304
0012a304loc_12a304:
0012a304mov eax, 1
0012a309call camlLatexscan.echo_toimage_802
0012a30ecmp rax, 1
0012a312je 0x12a3a8
0012a318lea rsi, [rip+0x16f819]
0012a31fmov r12, [rsp+8]
0012a324mov rdi, [r12+24]
0012a329mov rbx, rsp
0012a32cmov rsp, [r14+64]
0012a330call caml_string_notequal
0012a335mov rsp, rbx
0012a338cmp rax, 1
0012a33cje 0x12a3a8
0012a33emov [rsp+8], r12
0012a343mov rax, [r12+32]
0012a348mov rbx, [rax+32]
0012a34cmov rax, [r12+24]
0012a351mov rdi, [rbx]
0012a354call rdi
0012a356mov rax, [rsp+8]
0012a35bmov rax, [rax+32]
0012a35fmov rax, [rax+32]
0012a363mov [rsp], rax
0012a367lea rax, [rip+0x1f71d2]
0012a36emov rbx, [rax+80]
0012a372mov [rbx], 1
0012a379mov rax, [rax+64]
0012a37dcall camlDoOut.to_string_830
0012a382mov rbx, [rsp]
0012a386mov rdi, [rbx]
0012a389call rdi
0012a38bmov rax, [rsp+8]
0012a390mov rax, [rax+32]
0012a394mov rbx, [rax+24]
0012a398mov eax, 21
0012a39dmov rdi, [rbx]
0012a3a0add rsp, 16
0012a3a4jmp rdi
0012a3a6nop
0012a3a8
0012a3a8loc_12a3a8:
0012a3a8mov eax, 1
0012a3adadd rsp, 16
0012a3b1ret
0012a3b2
0012a3b2loc_12a3b2:
0012a3b2call caml_call_gc
0012a3b7jmp 0x12a304
0012a3bc
0012a3bcloc_12a3bc:
0012a3bcpush 35
0012a3becall caml_call_realloc_stack
0012a3c3pop r10
0012a3c5jmp 0x12a2f2
0012a2e0
0012a3ca
0012a3ca // align 0x10
0012a3ca // align 0x10
0012a3d0
0012a3d0camlLatexscan.fun_4630:
0012a3d0lea r10, [rsp-368]
0012a3d8cmp r10, [r14+40]
0012a3dcjb 0x12a5d3
0012a3e2
0012a3e2loc_12a3e2:
0012a3e2sub rsp, 48
0012a3e6mov [rsp+40], rax
0012a3ebmov [rsp+16], rbx
0012a3f0mov [rsp+32], rdi
0012a3f5lea rax, [rip+0x1f7144]
0012a3fcmov rbx, [rax+80]
0012a400mov [rbx], 3
0012a407mov rax, [rax+64]
0012a40bcall camlDoOut.reset_705
0012a410lea rax, [rip+0x1ec589]
0012a417mov rax, [rax+128]
0012a41emov rbx, [rax]
0012a421mov [rsp+8], rbx
0012a426mov [rax], 3
0012a42dmov rax, [rsp+32]
0012a432mov rax, [rax+32]
0012a436mov [rsp], rax
0012a43amov rax, [rsp+16]
0012a43fcall camlLexstate.save_arg_1030
0012a444mov rbx, rax
0012a447mov rax, [rsp]
0012a44bmov rdi, [rax+16]
0012a44fmov rax, [rdi+16]
0012a453mov rdi, [rdi+24]
0012a457call camlLatexscan.do_get_prim_onarg_1872
0012a45cmov [rsp+24], rax
0012a461lea rax, [rip+0x1ec538]
0012a468mov rax, [rax+128]
0012a46fmov rbx, [rsp+8]
0012a474mov [rax], rbx
0012a477lea rax, [rip+0x16ff02]
0012a47emov rbx, [rsp+16]
0012a483call camlLexstate.save_arg_opt_1107
0012a488call camlLexstate.from_ok_1113
0012a48dmov [rsp+8], rax
0012a492mov rax, [rsp+16]
0012a497call camlLexstate.save_body_1031
0012a49cmov rbx, rax
0012a49fmov eax, 1
0012a4a4call camlSubst.do_do_subst_this_list_777
0012a4a9mov [rsp], rax
0012a4adlea rax, [rip+0x1f708c]
0012a4b4mov rbx, [rax+80]
0012a4b8mov [rbx], 1
0012a4bfmov rax, [rax+64]
0012a4c3call camlDoOut.to_string_830
0012a4c8mov [rsp+16], rax
0012a4cdmov eax, 1
0012a4d2call camlLatexscan.echo_toimage_802
0012a4d7cmp rax, 1
0012a4dbje 0x12a517
0012a4ddmov rax, [rsp+32]
0012a4e2mov rax, [rax+40]
0012a4e6mov rax, [rax+32]
0012a4eamov [rsp+32], rax
0012a4eflea rbx, [rip+0x16f682]
0012a4f6mov rax, [rsp+16]
0012a4fbcall camlStdlib.$5e_139
0012a500mov rbx, rax
0012a503mov rax, [rsp+40]
0012a508call camlStdlib.$5e_139
0012a50dmov rbx, [rsp+32]
0012a512mov rdi, [rbx]
0012a515call rdi
0012a517
0012a517loc_12a517:
0012a517lea rbx, [rip+0x1ffdca]
0012a51emov rax, [rsp+24]
0012a523call camlStdlib.$5e_139
0012a528mov rbx, rax
0012a52blea rax, [rip+0x1ffdc6]
0012a532call camlStdlib.$5e_139
0012a537mov [rsp+16], rax
0012a53ccall camlLatexmacros.exists_938
0012a541cmp rax, 1
0012a545je 0x12a570
0012a547lea rbx, [rip+0x16f442]
0012a54emov rax, [rsp+24]
0012a553call camlStdlib.$5e_139
0012a558mov rbx, rax
0012a55blea rax, [rip+0x16f44e]
0012a562call camlStdlib.$5e_139
0012a567add rsp, 48
0012a56bjmp 0x1919c0
0012a570
0012a570loc_12a570:
0012a570sub r15, 16
0012a574cmp r15, [r14]
0012a577jb 0x12a5cc
0012a579
0012a579loc_12a579:
0012a579lea rax, [r15+8]
0012a57dmov [rsp+24], rax
0012a582mov [rax-8], 1024
0012a58amov rbx, [rsp]
0012a58emov [rax], rbx
0012a591lea rax, [rip+0x1cb2c8]
0012a598mov rax, [rax+280]
0012a59fmov rbx, [rsp+8]
0012a5a4call camlGet.do_get_int_873
0012a5a9mov rbx, rax
0012a5acmov eax, 1
0012a5b1call camlLexstate.latex_pat_577
0012a5b6mov rbx, rax
0012a5b9mov rax, [rsp+16]
0012a5bemov rdi, [rsp+24]
0012a5c3add rsp, 48
0012a5c7jmp 0x17af20
0012a5cc
0012a5ccloc_12a5cc:
0012a5cccall caml_call_gc
0012a5d1jmp 0x12a579
0012a5d3
0012a5d3loc_12a5d3:
0012a5d3push 39
0012a5d5call caml_call_realloc_stack
0012a5dapop r10
0012a5dcjmp 0x12a3e2
0012a3d0
0012a3d0camlLatexscan.fun_4630:
0012a3d0lea r10, [rsp-368]
0012a3d8cmp r10, [r14+40]
0012a3dcjb 0x12a5d3
0012a3e2
0012a3e2loc_12a3e2:
0012a3e2sub rsp, 48
0012a3e6mov [rsp+40], rax
0012a3ebmov [rsp+16], rbx
0012a3f0mov [rsp+32], rdi
0012a3f5lea rax, [rip+0x1f7144]
0012a3fcmov rbx, [rax+80]
0012a400mov [rbx], 3
0012a407mov rax, [rax+64]
0012a40bcall camlDoOut.reset_705
0012a410lea rax, [rip+0x1ec589]
0012a417mov rax, [rax+128]
0012a41emov rbx, [rax]
0012a421mov [rsp+8], rbx
0012a426mov [rax], 3
0012a42dmov rax, [rsp+32]
0012a432mov rax, [rax+32]
0012a436mov [rsp], rax
0012a43amov rax, [rsp+16]
0012a43fcall camlLexstate.save_arg_1030
0012a444mov rbx, rax
0012a447mov rax, [rsp]
0012a44bmov rdi, [rax+16]
0012a44fmov rax, [rdi+16]
0012a453mov rdi, [rdi+24]
0012a457call camlLatexscan.do_get_prim_onarg_1872
0012a45cmov [rsp+24], rax
0012a461lea rax, [rip+0x1ec538]
0012a468mov rax, [rax+128]
0012a46fmov rbx, [rsp+8]
0012a474mov [rax], rbx
0012a477lea rax, [rip+0x16ff02]
0012a47emov rbx, [rsp+16]
0012a483call camlLexstate.save_arg_opt_1107
0012a488call camlLexstate.from_ok_1113
0012a48dmov [rsp+8], rax
0012a492mov rax, [rsp+16]
0012a497call camlLexstate.save_body_1031
0012a49cmov rbx, rax
0012a49fmov eax, 1
0012a4a4call camlSubst.do_do_subst_this_list_777
0012a4a9mov [rsp], rax
0012a4adlea rax, [rip+0x1f708c]
0012a4b4mov rbx, [rax+80]
0012a4b8mov [rbx], 1
0012a4bfmov rax, [rax+64]
0012a4c3call camlDoOut.to_string_830
0012a4c8mov [rsp+16], rax
0012a4cdmov eax, 1
0012a4d2call camlLatexscan.echo_toimage_802
0012a4d7cmp rax, 1
0012a4dbje 0x12a517
0012a4ddmov rax, [rsp+32]
0012a4e2mov rax, [rax+40]
0012a4e6mov rax, [rax+32]
0012a4eamov [rsp+32], rax
0012a4eflea rbx, [rip+0x16f682]
0012a4f6mov rax, [rsp+16]
0012a4fbcall camlStdlib.$5e_139
0012a500mov rbx, rax
0012a503mov rax, [rsp+40]
0012a508call camlStdlib.$5e_139
0012a50dmov rbx, [rsp+32]
0012a512mov rdi, [rbx]
0012a515call rdi
0012a517
0012a517loc_12a517:
0012a517lea rbx, [rip+0x1ffdca]
0012a51emov rax, [rsp+24]
0012a523call camlStdlib.$5e_139
0012a528mov rbx, rax
0012a52blea rax, [rip+0x1ffdc6]
0012a532call camlStdlib.$5e_139
0012a537mov [rsp+16], rax
0012a53ccall camlLatexmacros.exists_938
0012a541cmp rax, 1
0012a545je 0x12a570
0012a547lea rbx, [rip+0x16f442]
0012a54emov rax, [rsp+24]
0012a553call camlStdlib.$5e_139
0012a558mov rbx, rax
0012a55blea rax, [rip+0x16f44e]
0012a562call camlStdlib.$5e_139
0012a567add rsp, 48
0012a56bjmp 0x1919c0
0012a570
0012a570loc_12a570:
0012a570sub r15, 16
0012a574cmp r15, [r14]
0012a577jb 0x12a5cc
0012a579
0012a579loc_12a579:
0012a579lea rax, [r15+8]
0012a57dmov [rsp+24], rax
0012a582mov [rax-8], 1024
0012a58amov rbx, [rsp]
0012a58emov [rax], rbx
0012a591lea rax, [rip+0x1cb2c8]
0012a598mov rax, [rax+280]
0012a59fmov rbx, [rsp+8]
0012a5a4call camlGet.do_get_int_873
0012a5a9mov rbx, rax
0012a5acmov eax, 1
0012a5b1call camlLexstate.latex_pat_577
0012a5b6mov rbx, rax
0012a5b9mov rax, [rsp+16]
0012a5bemov rdi, [rsp+24]
0012a5c3add rsp, 48
0012a5c7jmp 0x17af20
0012a5cc
0012a5ccloc_12a5cc:
0012a5cccall caml_call_gc
0012a5d1jmp 0x12a579
0012a5d3
0012a5d3loc_12a5d3:
0012a5d3push 39
0012a5d5call caml_call_realloc_stack
0012a5dapop r10
0012a5dcjmp 0x12a3e2
0012a3d0
0012a5e1
0012a5e1 // align 0x10
0012a5e1 // align 0x10
0012a5f0
0012a5f0camlLatexscan.do_newenvironment_2022:
0012a5f0lea r10, [rsp-384]
0012a5f8cmp r10, [r14+40]
0012a5fcjb 0x12aa58
0012a602
0012a602loc_12a602:
0012a602sub rsp, 64
0012a606mov [rsp+56], rax
0012a60bmov [rsp+8], rbx
0012a610mov [rsp+48], rdi
0012a615lea rax, [rip+0x1f6f24]
0012a61cmov rbx, [rax+80]
0012a620mov [rbx], 3
0012a627mov rax, [rax+64]
0012a62bcall camlDoOut.reset_705
0012a630mov rax, [rsp+48]
0012a635mov rax, [rax+32]
0012a639mov [rsp], rax
0012a63dmov rax, [rsp+8]
0012a642call camlLexstate.save_arg_1030
0012a647mov rbx, rax
0012a64amov rax, [rsp]
0012a64emov rdi, [rax+16]
0012a652mov rax, [rdi+16]
0012a656mov rdi, [rdi+24]
0012a65acall camlLatexscan.do_get_prim_onarg_1872
0012a65fmov [rsp+40], rax
0012a664lea rax, [rip+0x16fce5]
0012a66bmov rbx, [rsp+8]
0012a670call camlLexstate.save_opts_1158
0012a675test al, 1
0012a677jne 0x12a9e8
0012a67dmov rbx, [rax+8]
0012a681test bl, 1
0012a684jne 0x12a9e8
0012a68amov rdi, [rbx+8]
0012a68etest dil, 1
0012a692je 0x12a9e8
0012a698mov rbx, [rbx]
0012a69bmov [rsp+24], rbx
0012a6a0mov rax, [rax]
0012a6a3mov [rsp+16], rax
0012a6a8mov rax, [rsp+8]
0012a6adcall camlLexstate.save_body_1031
0012a6b2mov rbx, rax
0012a6b5mov eax, 1
0012a6bacall camlSubst.do_do_subst_this_list_777
0012a6bfmov [rsp], rax
0012a6c3mov rax, [rsp+8]
0012a6c8call camlLexstate.save_body_1031
0012a6cdmov rbx, rax
0012a6d0mov eax, 1
0012a6d5call camlSubst.do_do_subst_this_list_777
0012a6damov [rsp+32], rax
0012a6dfmov eax, 1
0012a6e4call camlLatexscan.echo_toimage_802
0012a6e9cmp rax, 1
0012a6edje 0x12a73f
0012a6efmov rax, [rsp+48]
0012a6f4mov rax, [rax+40]
0012a6f8mov rax, [rax+32]
0012a6fcmov [rsp+8], rax
0012a701lea rax, [rip+0x1f6e38]
0012a708mov rbx, [rax+80]
0012a70cmov [rbx], 1
0012a713mov rax, [rax+64]
0012a717call camlDoOut.to_string_830
0012a71clea rbx, [rip+0x16f455]
0012a723call camlStdlib.$5e_139
0012a728mov rbx, rax
0012a72bmov rax, [rsp+56]
0012a730call camlStdlib.$5e_139
0012a735mov rbx, [rsp+8]
0012a73amov rdi, [rbx]
0012a73dcall rdi
0012a73f
0012a73floc_12a73f:
0012a73flea rsi, [rip+0x16f232]
0012a746mov r12, [rsp+56]
0012a74bmov rdi, r12
0012a74emov rbx, rsp
0012a751mov rsp, [r14+64]
0012a755call caml_string_equal
0012a75amov rsp, rbx
0012a75dcmp rax, 1
0012a761jne 0x12a7f8
0012a767lea rsi, [rip+0x16f1ea]
0012a76emov rdi, r12
0012a771mov rbx, rsp
0012a774mov rsp, [r14+64]
0012a778call caml_string_equal
0012a77dmov rsp, rbx
0012a780cmp rax, 1
0012a784jne 0x12a7f8
0012a786lea rax, [rip+0x1ffb33]
0012a78dmov rbx, [rsp+40]
0012a792call camlStdlib.$5e_139
0012a797call camlLatexmacros.exists_938
0012a79ccmp rax, 1
0012a7a0je 0x12a7c2
0012a7a2lea rax, [rip+0x1ffb07]
0012a7a9mov rbx, [rsp+40]
0012a7aecall camlStdlib.$5e_139
0012a7b3call camlLatexmacros.exists_938
0012a7b8cmp rax, 1
0012a7bcjne 0x12a868
0012a7c2
0012a7c2loc_12a7c2:
0012a7c2lea rax, [rip+0x16f157]
0012a7c9mov rbx, [rsp+56]
0012a7cecall camlStdlib.$5e_139
0012a7d3mov rbx, rax
0012a7d6mov rax, [rsp+40]
0012a7dbcall camlStdlib.$5e_139
0012a7e0mov rbx, rax
0012a7e3lea rax, [rip+0x16f116]
0012a7eacall camlStdlib.$5e_139
0012a7efcall camlMisc.warning_287
0012a7f4jmp 0x12a868
0012a7f6nop
0012a7f8
0012a7f8loc_12a7f8:
0012a7f8lea rax, [rip+0x1ffac1]
0012a7ffmov rbx, [rsp+40]
0012a804call camlStdlib.$5e_139
0012a809call camlLatexmacros.exists_938
0012a80ecmp rax, 1
0012a812jne 0x12a830
0012a814lea rax, [rip+0x1ffa95]
0012a81bmov rbx, [rsp+40]
0012a820call camlStdlib.$5e_139
0012a825call camlLatexmacros.exists_938
0012a82acmp rax, 1
0012a82eje 0x12a868
0012a830
0012a830loc_12a830:
0012a830lea rax, [rip+0x16f0e9]
0012a837mov rbx, [rsp+56]
0012a83ccall camlStdlib.$5e_139
0012a841mov rbx, rax
0012a844mov rax, [rsp+40]
0012a849call camlStdlib.$5e_139
0012a84emov rbx, rax
0012a851lea rax, [rip+0x16f0d8]
0012a858call camlStdlib.$5e_139
0012a85dadd rsp, 64
0012a861jmp 0x1919c0
0012a866nop
0012a868
0012a868loc_12a868:
0012a868sub r15, 16
0012a86ccmp r15, [r14]
0012a86fjb 0x12aa4e
0012a875
0012a875loc_12a875:
0012a875lea rax, [r15+8]
0012a879mov [rsp+8], rax
0012a87emov [rax-8], 1024
0012a886mov rbx, [rsp]
0012a88amov [rax], rbx
0012a88dmov rdi, [rsp+16]
0012a892mov rax, [rdi]
0012a895movzx rbx, [rax-8]
0012a89atest rbx, rbx
0012a89dje 0x12a8e0
0012a89fmov rdi, [rdi+8]
0012a8a3mov rax, [rax]
0012a8a6sub r15, 24
0012a8aacmp r15, [r14]
0012a8adjb 0x12aa44
0012a8b3
0012a8b3loc_12a8b3:
0012a8b3lea rbx, [r15+8]
0012a8b7mov [rbx-8], 2048
0012a8bfmov [rbx], rax
0012a8c2mov [rbx+8], rdi
0012a8c6lea rax, [rip+0x1caf93]
0012a8cdmov rax, [rax+280]
0012a8d4call camlGet.do_get_int_873
0012a8d9mov [rsp], rax
0012a8ddjmp 0x12a8e9
0012a8dfnop
0012a8e0
0012a8e0loc_12a8e0:
0012a8e0mov eax, 1
0012a8e5mov [rsp], rax
0012a8e9
0012a8e9loc_12a8e9:
0012a8e9mov rdi, [rsp+24]
0012a8eemov rax, [rdi]
0012a8f1movzx rbx, [rax-8]
0012a8f6test rbx, rbx
0012a8f9je 0x12a964
0012a8fbmov rdi, [rdi+8]
0012a8ffmov rax, [rax]
0012a902sub r15, 24
0012a906cmp r15, [r14]
0012a909jb 0x12aa3a
0012a90f
0012a90floc_12a90f:
0012a90flea rbx, [r15+8]
0012a913mov [rbx-8], 2048
0012a91bmov [rbx], rax
0012a91emov [rbx+8], rdi
0012a922mov eax, 1
0012a927call camlSubst.do_do_subst_this_list_777
0012a92cmov rbx, rax
0012a92flea rax, [rip+0x1c655a]
0012a936call Stdlib.String.concat
0012a93bsub r15, 24
0012a93fcmp r15, [r14]
0012a942jb 0x12aa30
0012a948
0012a948loc_12a948:
0012a948lea rbx, [r15+8]
0012a94cmov [rbx-8], 2048
0012a954mov [rbx], rax
0012a957mov [rbx+8], 1
0012a95fjmp 0x12a969
0012a961nop [rax]
0012a964
0012a964loc_12a964:
0012a964mov ebx, 1
0012a969
0012a969loc_12a969:
0012a969mov rax, rbx
0012a96cmov rbx, [rsp]
0012a970call camlLexstate.latex_pat_577
0012a975mov [rsp], rax
0012a979lea rax, [rip+0x1ff940]
0012a980mov rbx, [rsp+40]
0012a985call camlStdlib.$5e_139
0012a98amov rbx, [rsp]
0012a98emov rdi, [rsp+8]
0012a993call camlLatexmacros.def_952
0012a998sub r15, 16
0012a99ccmp r15, [r14]
0012a99fjb 0x12aa26
0012a9a5
0012a9a5loc_12a9a5:
0012a9a5lea rax, [r15+8]
0012a9a9mov [rsp], rax
0012a9admov [rax-8], 1024
0012a9b5mov rbx, [rsp+32]
0012a9bamov [rax], rbx
0012a9bdlea rax, [rip+0x1ff8ec]
0012a9c4mov rbx, [rsp+40]
0012a9c9call camlStdlib.$5e_139
0012a9celea rbx, [rip+0x1ebfcb]
0012a9d5mov rbx, [rbx+56]
0012a9d9mov rdi, [rsp]
0012a9ddadd rsp, 64
0012a9e1jmp 0x17af20
0012a9e6nop
0012a9e8
0012a9e8loc_12a9e8:
0012a9e8sub r15, 24
0012a9eccmp r15, [r14]
0012a9efjb 0x12aa1f
0012a9f1
0012a9f1loc_12a9f1:
0012a9f1lea rax, [r15+8]
0012a9f5mov [rax-8], 2048
0012a9fdlea rbx, [rip+0x14b804]
0012aa04mov [rax], rbx
0012aa07lea rbx, [rip+0x16eed2]
0012aa0emov [rax+8], rbx
0012aa12mov rsp, [r14+48]
0012aa16pop [r14+48]
0012aa1apop r11
0012aa1cjmp r11
0012aa1f
0012aa1floc_12aa1f:
0012aa1fcall caml_call_gc
0012aa24jmp 0x12a9f1
0012aa26
0012aa26loc_12aa26:
0012aa26call caml_call_gc
0012aa2bjmp 0x12a9a5
0012aa30
0012aa30loc_12aa30:
0012aa30call caml_call_gc
0012aa35jmp 0x12a948
0012aa3a
0012aa3aloc_12aa3a:
0012aa3acall caml_call_gc
0012aa3fjmp 0x12a90f
0012aa44
0012aa44loc_12aa44:
0012aa44call caml_call_gc
0012aa49jmp 0x12a8b3
0012aa4e
0012aa4eloc_12aa4e:
0012aa4ecall caml_call_gc
0012aa53jmp 0x12a875
0012aa58
0012aa58loc_12aa58:
0012aa58push 41
0012aa5acall caml_call_realloc_stack
0012aa5fpop r10
0012aa61jmp 0x12a602
0012a5f0
0012a5f0camlLatexscan.do_newenvironment_2022:
0012a5f0lea r10, [rsp-384]
0012a5f8cmp r10, [r14+40]
0012a5fcjb 0x12aa58
0012a602
0012a602loc_12a602:
0012a602sub rsp, 64
0012a606mov [rsp+56], rax
0012a60bmov [rsp+8], rbx
0012a610mov [rsp+48], rdi
0012a615lea rax, [rip+0x1f6f24]
0012a61cmov rbx, [rax+80]
0012a620mov [rbx], 3
0012a627mov rax, [rax+64]
0012a62bcall camlDoOut.reset_705
0012a630mov rax, [rsp+48]
0012a635mov rax, [rax+32]
0012a639mov [rsp], rax
0012a63dmov rax, [rsp+8]
0012a642call camlLexstate.save_arg_1030
0012a647mov rbx, rax
0012a64amov rax, [rsp]
0012a64emov rdi, [rax+16]
0012a652mov rax, [rdi+16]
0012a656mov rdi, [rdi+24]
0012a65acall camlLatexscan.do_get_prim_onarg_1872
0012a65fmov [rsp+40], rax
0012a664lea rax, [rip+0x16fce5]
0012a66bmov rbx, [rsp+8]
0012a670call camlLexstate.save_opts_1158
0012a675test al, 1
0012a677jne 0x12a9e8
0012a67dmov rbx, [rax+8]
0012a681test bl, 1
0012a684jne 0x12a9e8
0012a68amov rdi, [rbx+8]
0012a68etest dil, 1
0012a692je 0x12a9e8
0012a698mov rbx, [rbx]
0012a69bmov [rsp+24], rbx
0012a6a0mov rax, [rax]
0012a6a3mov [rsp+16], rax
0012a6a8mov rax, [rsp+8]
0012a6adcall camlLexstate.save_body_1031
0012a6b2mov rbx, rax
0012a6b5mov eax, 1
0012a6bacall camlSubst.do_do_subst_this_list_777
0012a6bfmov [rsp], rax
0012a6c3mov rax, [rsp+8]
0012a6c8call camlLexstate.save_body_1031
0012a6cdmov rbx, rax
0012a6d0mov eax, 1
0012a6d5call camlSubst.do_do_subst_this_list_777
0012a6damov [rsp+32], rax
0012a6dfmov eax, 1
0012a6e4call camlLatexscan.echo_toimage_802
0012a6e9cmp rax, 1
0012a6edje 0x12a73f
0012a6efmov rax, [rsp+48]
0012a6f4mov rax, [rax+40]
0012a6f8mov rax, [rax+32]
0012a6fcmov [rsp+8], rax
0012a701lea rax, [rip+0x1f6e38]
0012a708mov rbx, [rax+80]
0012a70cmov [rbx], 1
0012a713mov rax, [rax+64]
0012a717call camlDoOut.to_string_830
0012a71clea rbx, [rip+0x16f455]
0012a723call camlStdlib.$5e_139
0012a728mov rbx, rax
0012a72bmov rax, [rsp+56]
0012a730call camlStdlib.$5e_139
0012a735mov rbx, [rsp+8]
0012a73amov rdi, [rbx]
0012a73dcall rdi
0012a73f
0012a73floc_12a73f:
0012a73flea rsi, [rip+0x16f232]
0012a746mov r12, [rsp+56]
0012a74bmov rdi, r12
0012a74emov rbx, rsp
0012a751mov rsp, [r14+64]
0012a755call caml_string_equal
0012a75amov rsp, rbx
0012a75dcmp rax, 1
0012a761jne 0x12a7f8
0012a767lea rsi, [rip+0x16f1ea]
0012a76emov rdi, r12
0012a771mov rbx, rsp
0012a774mov rsp, [r14+64]
0012a778call caml_string_equal
0012a77dmov rsp, rbx
0012a780cmp rax, 1
0012a784jne 0x12a7f8
0012a786lea rax, [rip+0x1ffb33]
0012a78dmov rbx, [rsp+40]
0012a792call camlStdlib.$5e_139
0012a797call camlLatexmacros.exists_938
0012a79ccmp rax, 1
0012a7a0je 0x12a7c2
0012a7a2lea rax, [rip+0x1ffb07]
0012a7a9mov rbx, [rsp+40]
0012a7aecall camlStdlib.$5e_139
0012a7b3call camlLatexmacros.exists_938
0012a7b8cmp rax, 1
0012a7bcjne 0x12a868
0012a7c2
0012a7c2loc_12a7c2:
0012a7c2lea rax, [rip+0x16f157]
0012a7c9mov rbx, [rsp+56]
0012a7cecall camlStdlib.$5e_139
0012a7d3mov rbx, rax
0012a7d6mov rax, [rsp+40]
0012a7dbcall camlStdlib.$5e_139
0012a7e0mov rbx, rax
0012a7e3lea rax, [rip+0x16f116]
0012a7eacall camlStdlib.$5e_139
0012a7efcall camlMisc.warning_287
0012a7f4jmp 0x12a868
0012a7f6nop
0012a7f8
0012a7f8loc_12a7f8:
0012a7f8lea rax, [rip+0x1ffac1]
0012a7ffmov rbx, [rsp+40]
0012a804call camlStdlib.$5e_139
0012a809call camlLatexmacros.exists_938
0012a80ecmp rax, 1
0012a812jne 0x12a830
0012a814lea rax, [rip+0x1ffa95]
0012a81bmov rbx, [rsp+40]
0012a820call camlStdlib.$5e_139
0012a825call camlLatexmacros.exists_938
0012a82acmp rax, 1
0012a82eje 0x12a868
0012a830
0012a830loc_12a830:
0012a830lea rax, [rip+0x16f0e9]
0012a837mov rbx, [rsp+56]
0012a83ccall camlStdlib.$5e_139
0012a841mov rbx, rax
0012a844mov rax, [rsp+40]
0012a849call camlStdlib.$5e_139
0012a84emov rbx, rax
0012a851lea rax, [rip+0x16f0d8]
0012a858call camlStdlib.$5e_139
0012a85dadd rsp, 64
0012a861jmp 0x1919c0
0012a866nop
0012a868
0012a868loc_12a868:
0012a868sub r15, 16
0012a86ccmp r15, [r14]
0012a86fjb 0x12aa4e
0012a875
0012a875loc_12a875:
0012a875lea rax, [r15+8]
0012a879mov [rsp+8], rax
0012a87emov [rax-8], 1024
0012a886mov rbx, [rsp]
0012a88amov [rax], rbx
0012a88dmov rdi, [rsp+16]
0012a892mov rax, [rdi]
0012a895movzx rbx, [rax-8]
0012a89atest rbx, rbx
0012a89dje 0x12a8e0
0012a89fmov rdi, [rdi+8]
0012a8a3mov rax, [rax]
0012a8a6sub r15, 24
0012a8aacmp r15, [r14]
0012a8adjb 0x12aa44
0012a8b3
0012a8b3loc_12a8b3:
0012a8b3lea rbx, [r15+8]
0012a8b7mov [rbx-8], 2048
0012a8bfmov [rbx], rax
0012a8c2mov [rbx+8], rdi
0012a8c6lea rax, [rip+0x1caf93]
0012a8cdmov rax, [rax+280]
0012a8d4call camlGet.do_get_int_873
0012a8d9mov [rsp], rax
0012a8ddjmp 0x12a8e9
0012a8dfnop
0012a8e0
0012a8e0loc_12a8e0:
0012a8e0mov eax, 1
0012a8e5mov [rsp], rax
0012a8e9
0012a8e9loc_12a8e9:
0012a8e9mov rdi, [rsp+24]
0012a8eemov rax, [rdi]
0012a8f1movzx rbx, [rax-8]
0012a8f6test rbx, rbx
0012a8f9je 0x12a964
0012a8fbmov rdi, [rdi+8]
0012a8ffmov rax, [rax]
0012a902sub r15, 24
0012a906cmp r15, [r14]
0012a909jb 0x12aa3a
0012a90f
0012a90floc_12a90f:
0012a90flea rbx, [r15+8]
0012a913mov [rbx-8], 2048
0012a91bmov [rbx], rax
0012a91emov [rbx+8], rdi
0012a922mov eax, 1
0012a927call camlSubst.do_do_subst_this_list_777
0012a92cmov rbx, rax
0012a92flea rax, [rip+0x1c655a]
0012a936call Stdlib.String.concat
0012a93bsub r15, 24
0012a93fcmp r15, [r14]
0012a942jb 0x12aa30
0012a948
0012a948loc_12a948:
0012a948lea rbx, [r15+8]
0012a94cmov [rbx-8], 2048
0012a954mov [rbx], rax
0012a957mov [rbx+8], 1
0012a95fjmp 0x12a969
0012a961nop [rax]
0012a964
0012a964loc_12a964:
0012a964mov ebx, 1
0012a969
0012a969loc_12a969:
0012a969mov rax, rbx
0012a96cmov rbx, [rsp]
0012a970call camlLexstate.latex_pat_577
0012a975mov [rsp], rax
0012a979lea rax, [rip+0x1ff940]
0012a980mov rbx, [rsp+40]
0012a985call camlStdlib.$5e_139
0012a98amov rbx, [rsp]
0012a98emov rdi, [rsp+8]
0012a993call camlLatexmacros.def_952
0012a998sub r15, 16
0012a99ccmp r15, [r14]
0012a99fjb 0x12aa26
0012a9a5
0012a9a5loc_12a9a5:
0012a9a5lea rax, [r15+8]
0012a9a9mov [rsp], rax
0012a9admov [rax-8], 1024
0012a9b5mov rbx, [rsp+32]
0012a9bamov [rax], rbx
0012a9bdlea rax, [rip+0x1ff8ec]
0012a9c4mov rbx, [rsp+40]
0012a9c9call camlStdlib.$5e_139
0012a9celea rbx, [rip+0x1ebfcb]
0012a9d5mov rbx, [rbx+56]
0012a9d9mov rdi, [rsp]
0012a9ddadd rsp, 64
0012a9e1jmp 0x17af20
0012a9e6nop
0012a9e8
0012a9e8loc_12a9e8:
0012a9e8sub r15, 24
0012a9eccmp r15, [r14]
0012a9efjb 0x12aa1f
0012a9f1
0012a9f1loc_12a9f1:
0012a9f1lea rax, [r15+8]
0012a9f5mov [rax-8], 2048
0012a9fdlea rbx, [rip+0x14b804]
0012aa04mov [rax], rbx
0012aa07lea rbx, [rip+0x16eed2]
0012aa0emov [rax+8], rbx
0012aa12mov rsp, [r14+48]
0012aa16pop [r14+48]
0012aa1apop r11
0012aa1cjmp r11
0012aa1f
0012aa1floc_12aa1f:
0012aa1fcall caml_call_gc
0012aa24jmp 0x12a9f1
0012aa26
0012aa26loc_12aa26:
0012aa26call caml_call_gc
0012aa2bjmp 0x12a9a5
0012aa30
0012aa30loc_12aa30:
0012aa30call caml_call_gc
0012aa35jmp 0x12a948
0012aa3a
0012aa3aloc_12aa3a:
0012aa3acall caml_call_gc
0012aa3fjmp 0x12a90f
0012aa44
0012aa44loc_12aa44:
0012aa44call caml_call_gc
0012aa49jmp 0x12a8b3
0012aa4e
0012aa4eloc_12aa4e:
0012aa4ecall caml_call_gc
0012aa53jmp 0x12a875
0012aa58
0012aa58loc_12aa58:
0012aa58push 41
0012aa5acall caml_call_realloc_stack
0012aa5fpop r10
0012aa61jmp 0x12a602
0012a5f0
0012aa66
0012aa66 // align 0x10
0012aa66 // align 0x10
0012aa70
0012aa70camlLatexscan.do_newcounter_2040:
0012aa70lea r10, [rsp-352]
0012aa78cmp r10, [r14+40]
0012aa7cjb 0x12ab67
0012aa82
0012aa82loc_12aa82:
0012aa82sub rsp, 16
0012aa86mov [rsp], rax
0012aa8alea r11, [rip+155]
0012aa91push r11
0012aa93push [r14+48]
0012aa97mov [r14+48], rsp
0012aa9bcall camlCounter.def_counter_662
0012aaa0lea rbx, [rip+0x1733d1]
0012aaa7mov rax, [rsp+16]
0012aaaccall camlStdlib.$5e_139
0012aab1mov rbx, rax
0012aab4lea rax, [rip+0x16edbd]
0012aabbcall camlStdlib.$5e_139
0012aac0sub r15, 40
0012aac4cmp r15, [r14]
0012aac7jb 0x12ab5d
0012aacd
0012aacdloc_12aacd:
0012aacdlea rbx, [r15+8]
0012aad1add rbx, 16
0012aad5mov [rbx-8], 2048
0012aaddmov [rbx], rax
0012aae0mov [rbx+8], 1
0012aae8lea rax, [rbx-16]
0012aaecmov [rsp+24], rax
0012aaf1mov [rax-8], 1024
0012aaf9mov [rax], rbx
0012aafclea rax, [rip+0x16ed8d]
0012ab03mov rbx, [rsp+16]
0012ab08call camlStdlib.$5e_139
0012ab0dlea rbx, [rip+0x1ebe8c]
0012ab14mov rbx, [rbx+56]
0012ab18mov rdi, [rsp+24]
0012ab1dcall camlLatexmacros.global_def_953
0012ab22pop [r14+48]
0012ab26add rsp, 8
0012ab2ajmp 0x12ab58
0012ab2clea rbx, [rip+0x1e9e35]
0012ab33mov rbx, [rbx]
0012ab36cmp rax, rbx
0012ab39jne 0x12ab48
0012ab3bmov eax, 1
0012ab40add rsp, 16
0012ab44ret
0012ab45nop [rax]
0012ab48
0012ab48loc_12ab48:
0012ab48mov rsp, [r14+48]
0012ab4cpop [r14+48]
0012ab50pop r11
0012ab52jmp r11
0012ab55nop [rax]
0012ab58
0012ab58loc_12ab58:
0012ab58add rsp, 16
0012ab5cret
0012ab5d
0012ab5dloc_12ab5d:
0012ab5dcall caml_call_gc
0012ab62jmp 0x12aacd
0012ab67
0012ab67loc_12ab67:
0012ab67push 37
0012ab69call caml_call_realloc_stack
0012ab6epop r10
0012ab70jmp 0x12aa82
0012aa70
0012aa70camlLatexscan.do_newcounter_2040:
0012aa70lea r10, [rsp-352]
0012aa78cmp r10, [r14+40]
0012aa7cjb 0x12ab67
0012aa82
0012aa82loc_12aa82:
0012aa82sub rsp, 16
0012aa86mov [rsp], rax
0012aa8alea r11, [rip+155]
0012aa91push r11
0012aa93push [r14+48]
0012aa97mov [r14+48], rsp
0012aa9bcall camlCounter.def_counter_662
0012aaa0lea rbx, [rip+0x1733d1]
0012aaa7mov rax, [rsp+16]
0012aaaccall camlStdlib.$5e_139
0012aab1mov rbx, rax
0012aab4lea rax, [rip+0x16edbd]
0012aabbcall camlStdlib.$5e_139
0012aac0sub r15, 40
0012aac4cmp r15, [r14]
0012aac7jb 0x12ab5d
0012aacd
0012aacdloc_12aacd:
0012aacdlea rbx, [r15+8]
0012aad1add rbx, 16
0012aad5mov [rbx-8], 2048
0012aaddmov [rbx], rax
0012aae0mov [rbx+8], 1
0012aae8lea rax, [rbx-16]
0012aaecmov [rsp+24], rax
0012aaf1mov [rax-8], 1024
0012aaf9mov [rax], rbx
0012aafclea rax, [rip+0x16ed8d]
0012ab03mov rbx, [rsp+16]
0012ab08call camlStdlib.$5e_139
0012ab0dlea rbx, [rip+0x1ebe8c]
0012ab14mov rbx, [rbx+56]
0012ab18mov rdi, [rsp+24]
0012ab1dcall camlLatexmacros.global_def_953
0012ab22pop [r14+48]
0012ab26add rsp, 8
0012ab2ajmp 0x12ab58
0012ab2clea rbx, [rip+0x1e9e35]
0012ab33mov rbx, [rbx]
0012ab36cmp rax, rbx
0012ab39jne 0x12ab48
0012ab3bmov eax, 1
0012ab40add rsp, 16
0012ab44ret
0012ab45nop [rax]
0012ab48
0012ab48loc_12ab48:
0012ab48mov rsp, [r14+48]
0012ab4cpop [r14+48]
0012ab50pop r11
0012ab52jmp r11
0012ab55nop [rax]
0012ab58
0012ab58loc_12ab58:
0012ab58add rsp, 16
0012ab5cret
0012ab5d
0012ab5dloc_12ab5d:
0012ab5dcall caml_call_gc
0012ab62jmp 0x12aacd
0012ab67
0012ab67loc_12ab67:
0012ab67push 37
0012ab69call caml_call_realloc_stack
0012ab6epop r10
0012ab70jmp 0x12aa82
0012aa70
0012ab75
0012ab75 // align 0x10
0012ab75 // align 0x10
0012ab80
0012ab80camlLatexscan.do_newtheorem_2054:
0012ab80lea r10, [rsp-376]
0012ab88cmp r10, [r14+40]
0012ab8cjb 0x12af35
0012ab92
0012ab92loc_12ab92:
0012ab92sub rsp, 56
0012ab96mov [rsp+40], rax
0012ab9bmov [rsp+8], rbx
0012aba0mov [rsp+32], rdi
0012aba5lea rax, [rip+0x1f6994]
0012abacmov rbx, [rax+80]
0012abb0mov [rbx], 3
0012abb7mov rax, [rax+64]
0012abbbcall camlDoOut.reset_705
0012abc0mov rax, [rsp+32]
0012abc5mov rax, [rax+64]
0012abc9mov [rsp], rax
0012abcdmov rax, [rsp+8]
0012abd2call camlLexstate.save_arg_1030
0012abd7mov rbx, rax
0012abdamov rax, [rsp]
0012abdemov rdi, [rax+16]
0012abe2mov rax, [rdi+16]
0012abe6mov rdi, [rdi+24]
0012abeacall camlLatexscan.do_get_prim_onarg_1872
0012abefmov [rsp+24], rax
0012abf4lea rax, [rip+0x16f76d]
0012abfbmov rbx, [rsp+8]
0012ac00call camlLexstate.save_opts_1158
0012ac05test al, 1
0012ac07jne 0x12ac1c
0012ac09mov rbx, [rax+8]
0012ac0dtest bl, 1
0012ac10je 0x12ac1c
0012ac12mov rax, [rax]
0012ac15mov [rsp+16], rax
0012ac1ajmp 0x12ac58
0012ac1c
0012ac1cloc_12ac1c:
0012ac1csub r15, 24
0012ac20cmp r15, [r14]
0012ac23jb 0x12af2b
0012ac29
0012ac29loc_12ac29:
0012ac29lea rax, [r15+8]
0012ac2dmov [rax-8], 2048
0012ac35lea rbx, [rip+0x14b5cc]
0012ac3cmov [rax], rbx
0012ac3flea rbx, [rip+0x16ec12]
0012ac46mov [rax+8], rbx
0012ac4amov rsp, [r14+48]
0012ac4epop [r14+48]
0012ac52pop r11
0012ac54jmp r11
0012ac57nop
0012ac58
0012ac58loc_12ac58:
0012ac58mov rax, [rsp+8]
0012ac5dcall camlLexstate.save_arg_1030
0012ac62mov rbx, rax
0012ac65mov eax, 1
0012ac6acall camlSubst.do_do_subst_this_697
0012ac6fmov [rsp], rax
0012ac73lea rax, [rip+0x16f6ee]
0012ac7amov rbx, [rsp+8]
0012ac7fcall camlLexstate.save_opts_1158
0012ac84test al, 1
0012ac86jne 0x12ac9c
0012ac88mov rbx, [rax+8]
0012ac8ctest bl, 1
0012ac8fje 0x12ac9c
0012ac91mov rax, [rax]
0012ac94mov [rsp+8], rax
0012ac99jmp 0x12acd8
0012ac9bnop
0012ac9c
0012ac9cloc_12ac9c:
0012ac9csub r15, 24
0012aca0cmp r15, [r14]
0012aca3jb 0x12af21
0012aca9
0012aca9loc_12aca9:
0012aca9lea rax, [r15+8]
0012acadmov [rax-8], 2048
0012acb5lea rbx, [rip+0x14b54c]
0012acbcmov [rax], rbx
0012acbflea rbx, [rip+0x16eb72]
0012acc6mov [rax+8], rbx
0012accamov rsp, [r14+48]
0012accepop [r14+48]
0012acd2pop r11
0012acd4jmp r11
0012acd7nop
0012acd8
0012acd8loc_12acd8:
0012acd8lea rax, [rip+0x1ebcc1]
0012acdfmov rax, [rax+728]
0012ace6mov rax, [rax]
0012ace9test al, 1
0012acebje 0x12ad3d
0012acedmov rax, [rsp+32]
0012acf2mov rax, [rax+80]
0012acf6mov rax, [rax+32]
0012acfamov [rsp+48], rax
0012acfflea rax, [rip+0x1f683a]
0012ad06mov rbx, [rax+80]
0012ad0amov [rbx], 1
0012ad11mov rax, [rax+64]
0012ad15call camlDoOut.to_string_830
0012ad1alea rbx, [rip+0x16ee57]
0012ad21call camlStdlib.$5e_139
0012ad26mov rbx, rax
0012ad29mov rax, [rsp+40]
0012ad2ecall camlStdlib.$5e_139
0012ad33mov rbx, [rsp+48]
0012ad38mov rdi, [rbx]
0012ad3bcall rdi
0012ad3d
0012ad3dloc_12ad3d:
0012ad3dmov rax, [rsp+16]
0012ad42mov rbx, [rax]
0012ad45movzx rbx, [rbx-8]
0012ad4atest rbx, rbx
0012ad4djne 0x12ad88
0012ad4fmov rdi, [rsp+8]
0012ad54mov rbx, [rdi]
0012ad57movzx rbx, [rbx-8]
0012ad5ctest rbx, rbx
0012ad5fje 0x12ad68
0012ad61mov [rsp+8], rdi
0012ad66jmp 0x12ad88
0012ad68
0012ad68loc_12ad68:
0012ad68lea rbx, [rip+0x1738f9]
0012ad6fmov rax, [rsp+24]
0012ad74call camlLatexscan.do_newcounter_2040
0012ad79mov rax, [rsp+24]
0012ad7emov [rsp+8], rax
0012ad83jmp 0x12adf3
0012ad85nop [rax]
0012ad88
0012ad88loc_12ad88:
0012ad88mov rdi, [rsp+8]
0012ad8dmov rbx, [rdi]
0012ad90movzx rbx, [rbx-8]
0012ad95test rbx, rbx
0012ad98je 0x12add0
0012ad9amov rax, rdi
0012ad9dcall camlLexstate.from_ok_1113
0012ada2mov rbx, rax
0012ada5mov rax, [rsp+32]
0012adaamov rdi, [rax+56]
0012adaemov rax, [rdi+16]
0012adb2mov rdi, [rdi+24]
0012adb6call camlLatexscan.do_get_prim_onarg_1872
0012adbbmov rbx, rax
0012adbemov rax, [rsp+24]
0012adc3call camlLatexscan.do_newcounter_2040
0012adc8mov rax, [rsp+24]
0012adcdjmp 0x12adee
0012adcfnop
0012add0
0012add0loc_12add0:
0012add0call camlLexstate.from_ok_1113
0012add5mov rbx, rax
0012add8mov rax, [rsp+32]
0012adddmov rdi, [rax+56]
0012ade1mov rax, [rdi+16]
0012ade5mov rdi, [rdi+24]
0012ade9call camlLatexscan.do_get_prim_onarg_1872
0012adee
0012adeeloc_12adee:
0012adeemov [rsp+8], rax
0012adf3
0012adf3loc_12adf3:
0012adf3lea rbx, [rip+0x17307e]
0012adfamov rax, [rsp+24]
0012adffcall camlStdlib.$5e_139
0012ae04mov rbx, rax
0012ae07lea rax, [rip+0x17307a]
0012ae0ecall camlStdlib.$5e_139
0012ae13call camlMyLexing.from_string_309
0012ae18mov rsi, rax
0012ae1bmov rdi, [rsp+32]
0012ae20mov rbx, [rdi+48]
0012ae24mov rax, [rdi+40]
0012ae28mov rdx, [rdi+32]
0012ae2clea rdi, [rip+0x16e9f5]
0012ae33call camlLatexscan.do_expand_command_1473
0012ae38lea rbx, [rip+0x173039]
0012ae3fmov rax, [rsp]
0012ae43call camlStdlib.$5e_139
0012ae48mov rbx, rax
0012ae4blea rax, [rip+0x16e9ae]
0012ae52call camlStdlib.$5e_139
0012ae57mov rbx, rax
0012ae5amov rax, [rsp+8]
0012ae5fcall camlStdlib.$5e_139
0012ae64mov rbx, rax
0012ae67lea rax, [rip+0x16e992]
0012ae6ecall camlStdlib.$5e_139
0012ae73mov rbx, rax
0012ae76mov rax, [rsp+24]
0012ae7bcall camlStdlib.$5e_139
0012ae80mov rbx, rax
0012ae83lea rax, [rip+0x16e986]
0012ae8acall camlStdlib.$5e_139
0012ae8fsub r15, 40
0012ae93cmp r15, [r14]
0012ae96jb 0x12af17
0012ae98
0012ae98loc_12ae98:
0012ae98lea rbx, [r15+8]
0012ae9cadd rbx, 16
0012aea0mov [rbx-8], 2048
0012aea8mov [rbx], rax
0012aeabmov [rbx+8], 1
0012aeb3lea rax, [rbx-16]
0012aeb7mov [rsp], rax
0012aebbmov [rax-8], 1024
0012aec3mov [rax], rbx
0012aec6lea rax, [rip+0x1ff3f3]
0012aecdmov rbx, [rsp+24]
0012aed2call camlStdlib.$5e_139
0012aed7lea rbx, [rip+0x1ebac2]
0012aedemov rbx, [rbx+56]
0012aee2mov rdi, [rsp]
0012aee6call camlLatexmacros.global_def_953
0012aeeblea rax, [rip+0x1ff3be]
0012aef2mov rbx, [rsp+24]
0012aef7call camlStdlib.$5e_139
0012aefclea rdi, [rip+0x16e8bd]
0012af03lea rbx, [rip+0x1eba96]
0012af0amov rbx, [rbx+56]
0012af0eadd rsp, 56
0012af12jmp 0x17aff0
0012af17
0012af17loc_12af17:
0012af17call caml_call_gc
0012af1cjmp 0x12ae98
0012af21
0012af21loc_12af21:
0012af21call caml_call_gc
0012af26jmp 0x12aca9
0012af2b
0012af2bloc_12af2b:
0012af2bcall caml_call_gc
0012af30jmp 0x12ac29
0012af35
0012af35loc_12af35:
0012af35push 40
0012af37call caml_call_realloc_stack
0012af3cpop r10
0012af3ejmp 0x12ab92
0012ab80
0012ab80camlLatexscan.do_newtheorem_2054:
0012ab80lea r10, [rsp-376]
0012ab88cmp r10, [r14+40]
0012ab8cjb 0x12af35
0012ab92
0012ab92loc_12ab92:
0012ab92sub rsp, 56
0012ab96mov [rsp+40], rax
0012ab9bmov [rsp+8], rbx
0012aba0mov [rsp+32], rdi
0012aba5lea rax, [rip+0x1f6994]
0012abacmov rbx, [rax+80]
0012abb0mov [rbx], 3
0012abb7mov rax, [rax+64]
0012abbbcall camlDoOut.reset_705
0012abc0mov rax, [rsp+32]
0012abc5mov rax, [rax+64]
0012abc9mov [rsp], rax
0012abcdmov rax, [rsp+8]
0012abd2call camlLexstate.save_arg_1030
0012abd7mov rbx, rax
0012abdamov rax, [rsp]
0012abdemov rdi, [rax+16]
0012abe2mov rax, [rdi+16]
0012abe6mov rdi, [rdi+24]
0012abeacall camlLatexscan.do_get_prim_onarg_1872
0012abefmov [rsp+24], rax
0012abf4lea rax, [rip+0x16f76d]
0012abfbmov rbx, [rsp+8]
0012ac00call camlLexstate.save_opts_1158
0012ac05test al, 1
0012ac07jne 0x12ac1c
0012ac09mov rbx, [rax+8]
0012ac0dtest bl, 1
0012ac10je 0x12ac1c
0012ac12mov rax, [rax]
0012ac15mov [rsp+16], rax
0012ac1ajmp 0x12ac58
0012ac1c
0012ac1cloc_12ac1c:
0012ac1csub r15, 24
0012ac20cmp r15, [r14]
0012ac23jb 0x12af2b
0012ac29
0012ac29loc_12ac29:
0012ac29lea rax, [r15+8]
0012ac2dmov [rax-8], 2048
0012ac35lea rbx, [rip+0x14b5cc]
0012ac3cmov [rax], rbx
0012ac3flea rbx, [rip+0x16ec12]
0012ac46mov [rax+8], rbx
0012ac4amov rsp, [r14+48]
0012ac4epop [r14+48]
0012ac52pop r11
0012ac54jmp r11
0012ac57nop
0012ac58
0012ac58loc_12ac58:
0012ac58mov rax, [rsp+8]
0012ac5dcall camlLexstate.save_arg_1030
0012ac62mov rbx, rax
0012ac65mov eax, 1
0012ac6acall camlSubst.do_do_subst_this_697
0012ac6fmov [rsp], rax
0012ac73lea rax, [rip+0x16f6ee]
0012ac7amov rbx, [rsp+8]
0012ac7fcall camlLexstate.save_opts_1158
0012ac84test al, 1
0012ac86jne 0x12ac9c
0012ac88mov rbx, [rax+8]
0012ac8ctest bl, 1
0012ac8fje 0x12ac9c
0012ac91mov rax, [rax]
0012ac94mov [rsp+8], rax
0012ac99jmp 0x12acd8
0012ac9bnop
0012ac9c
0012ac9cloc_12ac9c:
0012ac9csub r15, 24
0012aca0cmp r15, [r14]
0012aca3jb 0x12af21
0012aca9
0012aca9loc_12aca9:
0012aca9lea rax, [r15+8]
0012acadmov [rax-8], 2048
0012acb5lea rbx, [rip+0x14b54c]
0012acbcmov [rax], rbx
0012acbflea rbx, [rip+0x16eb72]
0012acc6mov [rax+8], rbx
0012accamov rsp, [r14+48]
0012accepop [r14+48]
0012acd2pop r11
0012acd4jmp r11
0012acd7nop
0012acd8
0012acd8loc_12acd8:
0012acd8lea rax, [rip+0x1ebcc1]
0012acdfmov rax, [rax+728]
0012ace6mov rax, [rax]
0012ace9test al, 1
0012acebje 0x12ad3d
0012acedmov rax, [rsp+32]
0012acf2mov rax, [rax+80]
0012acf6mov rax, [rax+32]
0012acfamov [rsp+48], rax
0012acfflea rax, [rip+0x1f683a]
0012ad06mov rbx, [rax+80]
0012ad0amov [rbx], 1
0012ad11mov rax, [rax+64]
0012ad15call camlDoOut.to_string_830
0012ad1alea rbx, [rip+0x16ee57]
0012ad21call camlStdlib.$5e_139
0012ad26mov rbx, rax
0012ad29mov rax, [rsp+40]
0012ad2ecall camlStdlib.$5e_139
0012ad33mov rbx, [rsp+48]
0012ad38mov rdi, [rbx]
0012ad3bcall rdi
0012ad3d
0012ad3dloc_12ad3d:
0012ad3dmov rax, [rsp+16]
0012ad42mov rbx, [rax]
0012ad45movzx rbx, [rbx-8]
0012ad4atest rbx, rbx
0012ad4djne 0x12ad88
0012ad4fmov rdi, [rsp+8]
0012ad54mov rbx, [rdi]
0012ad57movzx rbx, [rbx-8]
0012ad5ctest rbx, rbx
0012ad5fje 0x12ad68
0012ad61mov [rsp+8], rdi
0012ad66jmp 0x12ad88
0012ad68
0012ad68loc_12ad68:
0012ad68lea rbx, [rip+0x1738f9]
0012ad6fmov rax, [rsp+24]
0012ad74call camlLatexscan.do_newcounter_2040
0012ad79mov rax, [rsp+24]
0012ad7emov [rsp+8], rax
0012ad83jmp 0x12adf3
0012ad85nop [rax]
0012ad88
0012ad88loc_12ad88:
0012ad88mov rdi, [rsp+8]
0012ad8dmov rbx, [rdi]
0012ad90movzx rbx, [rbx-8]
0012ad95test rbx, rbx
0012ad98je 0x12add0
0012ad9amov rax, rdi
0012ad9dcall camlLexstate.from_ok_1113
0012ada2mov rbx, rax
0012ada5mov rax, [rsp+32]
0012adaamov rdi, [rax+56]
0012adaemov rax, [rdi+16]
0012adb2mov rdi, [rdi+24]
0012adb6call camlLatexscan.do_get_prim_onarg_1872
0012adbbmov rbx, rax
0012adbemov rax, [rsp+24]
0012adc3call camlLatexscan.do_newcounter_2040
0012adc8mov rax, [rsp+24]
0012adcdjmp 0x12adee
0012adcfnop
0012add0
0012add0loc_12add0:
0012add0call camlLexstate.from_ok_1113
0012add5mov rbx, rax
0012add8mov rax, [rsp+32]
0012adddmov rdi, [rax+56]
0012ade1mov rax, [rdi+16]
0012ade5mov rdi, [rdi+24]
0012ade9call camlLatexscan.do_get_prim_onarg_1872
0012adee
0012adeeloc_12adee:
0012adeemov [rsp+8], rax
0012adf3
0012adf3loc_12adf3:
0012adf3lea rbx, [rip+0x17307e]
0012adfamov rax, [rsp+24]
0012adffcall camlStdlib.$5e_139
0012ae04mov rbx, rax
0012ae07lea rax, [rip+0x17307a]
0012ae0ecall camlStdlib.$5e_139
0012ae13call camlMyLexing.from_string_309
0012ae18mov rsi, rax
0012ae1bmov rdi, [rsp+32]
0012ae20mov rbx, [rdi+48]
0012ae24mov rax, [rdi+40]
0012ae28mov rdx, [rdi+32]
0012ae2clea rdi, [rip+0x16e9f5]
0012ae33call camlLatexscan.do_expand_command_1473
0012ae38lea rbx, [rip+0x173039]
0012ae3fmov rax, [rsp]
0012ae43call camlStdlib.$5e_139
0012ae48mov rbx, rax
0012ae4blea rax, [rip+0x16e9ae]
0012ae52call camlStdlib.$5e_139
0012ae57mov rbx, rax
0012ae5amov rax, [rsp+8]
0012ae5fcall camlStdlib.$5e_139
0012ae64mov rbx, rax
0012ae67lea rax, [rip+0x16e992]
0012ae6ecall camlStdlib.$5e_139
0012ae73mov rbx, rax
0012ae76mov rax, [rsp+24]
0012ae7bcall camlStdlib.$5e_139
0012ae80mov rbx, rax
0012ae83lea rax, [rip+0x16e986]
0012ae8acall camlStdlib.$5e_139
0012ae8fsub r15, 40
0012ae93cmp r15, [r14]
0012ae96jb 0x12af17
0012ae98
0012ae98loc_12ae98:
0012ae98lea rbx, [r15+8]
0012ae9cadd rbx, 16
0012aea0mov [rbx-8], 2048
0012aea8mov [rbx], rax
0012aeabmov [rbx+8], 1
0012aeb3lea rax, [rbx-16]
0012aeb7mov [rsp], rax
0012aebbmov [rax-8], 1024
0012aec3mov [rax], rbx
0012aec6lea rax, [rip+0x1ff3f3]
0012aecdmov rbx, [rsp+24]
0012aed2call camlStdlib.$5e_139
0012aed7lea rbx, [rip+0x1ebac2]
0012aedemov rbx, [rbx+56]
0012aee2mov rdi, [rsp]
0012aee6call camlLatexmacros.global_def_953
0012aeeblea rax, [rip+0x1ff3be]
0012aef2mov rbx, [rsp+24]
0012aef7call camlStdlib.$5e_139
0012aefclea rdi, [rip+0x16e8bd]
0012af03lea rbx, [rip+0x1eba96]
0012af0amov rbx, [rbx+56]
0012af0eadd rsp, 56
0012af12jmp 0x17aff0
0012af17
0012af17loc_12af17:
0012af17call caml_call_gc
0012af1cjmp 0x12ae98
0012af21
0012af21loc_12af21:
0012af21call caml_call_gc
0012af26jmp 0x12aca9
0012af2b
0012af2bloc_12af2b:
0012af2bcall caml_call_gc
0012af30jmp 0x12ac29
0012af35
0012af35loc_12af35:
0012af35push 40
0012af37call caml_call_realloc_stack
0012af3cpop r10
0012af3ejmp 0x12ab92
0012ab80
0012af43
0012af43 // align 0x10
0012af43 // align 0x10
0012af50
0012af50camlLatexscan.do_def_2066:
0012af50lea r10, [rsp-384]
0012af58cmp r10, [r14+40]
0012af5cjb 0x12b1a4
0012af62
0012af62loc_12af62:
0012af62sub rsp, 64
0012af66mov [rsp+56], rax
0012af6bmov [rsp+24], rbx
0012af70mov [rsp+8], rdi
0012af75mov [rsp+48], rsi
0012af7alea rax, [rip+0x1f65bf]
0012af81mov rbx, [rax+80]
0012af85mov [rbx], 3
0012af8cmov rax, [rax+64]
0012af90call camlDoOut.reset_705
0012af95mov rax, [rsp+48]
0012af9amov rbx, [rax+40]
0012af9emov rax, [rsp+8]
0012afa3call camlLatexscan.get_csname_1908
0012afa8mov [rsp+16], rax
0012afadlea rax, [rip+0x1f019c]
0012afb4mov rdi, [rax+384]
0012afbbadd rdi, 24
0012afbfmov ebx, 23
0012afc4mov rax, [rsp+8]
0012afc9call Save..ocaml_lex_skip_blanks_rec
0012afcelea rax, [rip+0x1eb9cb]
0012afd5mov rax, [rax+728]
0012afdcmov rax, [rax]
0012afdftest al, 1
0012afe1je 0x12b024
0012afe3lea rax, [rip+0x1f0166]
0012afeamov rdi, [rax+248]
0012aff1add rdi, 24
0012aff5mov ebx, 249
0012affamov rax, [rsp+8]
0012afffcall Save..ocaml_lex_defargs_rec
0012b004mov [rsp], rax
0012b008mov rax, [rsp+8]
0012b00dcall camlLexstate.save_body_1031
0012b012mov rax, [rax]
0012b015mov rbx, [rsp]
0012b019mov [rsp+8], rbx
0012b01emov [rsp], rax
0012b022jmp 0x12b093
0012b024
0012b024loc_12b024:
0012b024lea rax, [rip+0x1f0125]
0012b02bmov rdi, [rax+256]
0012b032add rdi, 24
0012b036mov ebx, 267
0012b03bmov rax, [rsp+8]
0012b040call Save..ocaml_lex_get_defargs_rec
0012b045call camlSubst.subst_this_796
0012b04acall camlMyLexing.from_string_309
0012b04flea rbx, [rip+0x1f00fa]
0012b056mov rdi, [rbx+248]
0012b05dadd rdi, 24
0012b061mov ebx, 249
0012b066call Save..ocaml_lex_defargs_rec
0012b06bmov [rsp], rax
0012b06fmov rax, [rsp+8]
0012b074call camlLexstate.save_body_1031
0012b079mov rbx, rax
0012b07cmov eax, 1
0012b081call camlSubst.do_do_subst_this_list_777
0012b086mov rbx, [rsp]
0012b08amov [rsp+8], rbx
0012b08fmov [rsp], rax
0012b093
0012b093loc_12b093:
0012b093lea rax, [rip+0x1f64a6]
0012b09amov rbx, [rax+80]
0012b09emov [rbx], 1
0012b0a5mov rax, [rax+64]
0012b0a9call camlDoOut.to_string_830
0012b0aemov [rsp+32], rax
0012b0b3mov eax, 1
0012b0b8call camlLatexscan.echo_toimage_802
0012b0bdcmp rax, 1
0012b0c1jne 0x12b0e8
0012b0c3mov rax, [rsp+56]
0012b0c8cmp rax, 1
0012b0ccje 0x12b12a
0012b0celea rax, [rip+0x1eb8cb]
0012b0d5mov rax, [rax+728]
0012b0dcmov rax, [rax]
0012b0dftest al, 1
0012b0e1jne 0x12b0e8
0012b0e3jmp 0x12b12a
0012b0e5
0012b0e5 0f 1f 00 ...
0012b0e8
0012b0e8loc_12b0e8:
0012b0e8mov rax, [rsp+48]
0012b0edmov rax, [rax+48]
0012b0f1mov rax, [rax+32]
0012b0f5mov [rsp+40], rax
0012b0famov rax, [rsp+24]
0012b0ffmov rbx, [rsp+32]
0012b104call camlStdlib.$5e_139
0012b109mov rbx, [rsp+40]
0012b10emov rdi, [rbx]
0012b111call rdi
0012b113mov rax, [rsp+48]
0012b118mov rax, [rax+48]
0012b11cmov rbx, [rax+24]
0012b120mov eax, 21
0012b125mov rdi, [rbx]
0012b128call rdi
0012b12a
0012b12aloc_12b12a:
0012b12amov rax, [rsp+56]
0012b12fcmp rax, 1
0012b133je 0x12b148
0012b135lea rax, [rip+0x1e982c]
0012b13cmov rsi, [rax+128]
0012b143jmp 0x12b153
0012b145
0012b145 0f 1f 00 ...
0012b148
0012b148loc_12b148:
0012b148lea rax, [rip+0x1e9819]
0012b14fmov rsi, [rax+120]
0012b153
0012b153loc_12b153:
0012b153sub r15, 40
0012b157cmp r15, [r14]
0012b15ajb 0x12b19d
0012b15c
0012b15cloc_12b15c:
0012b15clea rdi, [r15+8]
0012b160add rdi, 24
0012b164mov [rdi-8], 1024
0012b16cmov rax, [rsp]
0012b170mov [rdi], rax
0012b173lea rbx, [rdi-24]
0012b177mov [rbx-8], 2048
0012b17fmov [rbx], 1
0012b186mov rax, [rsp+8]
0012b18bmov [rbx+8], rax
0012b18fmov rax, [rsp+16]
0012b194add rsp, 64
0012b198jmp 0xf7370
0012b19d
0012b19dloc_12b19d:
0012b19dcall caml_call_gc
0012b1a2jmp 0x12b15c
0012b1a4
0012b1a4loc_12b1a4:
0012b1a4push 41
0012b1a6call caml_call_realloc_stack
0012b1abpop r10
0012b1adjmp 0x12af62
0012af50
0012af50camlLatexscan.do_def_2066:
0012af50lea r10, [rsp-384]
0012af58cmp r10, [r14+40]
0012af5cjb 0x12b1a4
0012af62
0012af62loc_12af62:
0012af62sub rsp, 64
0012af66mov [rsp+56], rax
0012af6bmov [rsp+24], rbx
0012af70mov [rsp+8], rdi
0012af75mov [rsp+48], rsi
0012af7alea rax, [rip+0x1f65bf]
0012af81mov rbx, [rax+80]
0012af85mov [rbx], 3
0012af8cmov rax, [rax+64]
0012af90call camlDoOut.reset_705
0012af95mov rax, [rsp+48]
0012af9amov rbx, [rax+40]
0012af9emov rax, [rsp+8]
0012afa3call camlLatexscan.get_csname_1908
0012afa8mov [rsp+16], rax
0012afadlea rax, [rip+0x1f019c]
0012afb4mov rdi, [rax+384]
0012afbbadd rdi, 24
0012afbfmov ebx, 23
0012afc4mov rax, [rsp+8]
0012afc9call Save..ocaml_lex_skip_blanks_rec
0012afcelea rax, [rip+0x1eb9cb]
0012afd5mov rax, [rax+728]
0012afdcmov rax, [rax]
0012afdftest al, 1
0012afe1je 0x12b024
0012afe3lea rax, [rip+0x1f0166]
0012afeamov rdi, [rax+248]
0012aff1add rdi, 24
0012aff5mov ebx, 249
0012affamov rax, [rsp+8]
0012afffcall Save..ocaml_lex_defargs_rec
0012b004mov [rsp], rax
0012b008mov rax, [rsp+8]
0012b00dcall camlLexstate.save_body_1031
0012b012mov rax, [rax]
0012b015mov rbx, [rsp]
0012b019mov [rsp+8], rbx
0012b01emov [rsp], rax
0012b022jmp 0x12b093
0012b024
0012b024loc_12b024:
0012b024lea rax, [rip+0x1f0125]
0012b02bmov rdi, [rax+256]
0012b032add rdi, 24
0012b036mov ebx, 267
0012b03bmov rax, [rsp+8]
0012b040call Save..ocaml_lex_get_defargs_rec
0012b045call camlSubst.subst_this_796
0012b04acall camlMyLexing.from_string_309
0012b04flea rbx, [rip+0x1f00fa]
0012b056mov rdi, [rbx+248]
0012b05dadd rdi, 24
0012b061mov ebx, 249
0012b066call Save..ocaml_lex_defargs_rec
0012b06bmov [rsp], rax
0012b06fmov rax, [rsp+8]
0012b074call camlLexstate.save_body_1031
0012b079mov rbx, rax
0012b07cmov eax, 1
0012b081call camlSubst.do_do_subst_this_list_777
0012b086mov rbx, [rsp]
0012b08amov [rsp+8], rbx
0012b08fmov [rsp], rax
0012b093
0012b093loc_12b093:
0012b093lea rax, [rip+0x1f64a6]
0012b09amov rbx, [rax+80]
0012b09emov [rbx], 1
0012b0a5mov rax, [rax+64]
0012b0a9call camlDoOut.to_string_830
0012b0aemov [rsp+32], rax
0012b0b3mov eax, 1
0012b0b8call camlLatexscan.echo_toimage_802
0012b0bdcmp rax, 1
0012b0c1jne 0x12b0e8
0012b0c3mov rax, [rsp+56]
0012b0c8cmp rax, 1
0012b0ccje 0x12b12a
0012b0celea rax, [rip+0x1eb8cb]
0012b0d5mov rax, [rax+728]
0012b0dcmov rax, [rax]
0012b0dftest al, 1
0012b0e1jne 0x12b0e8
0012b0e3jmp 0x12b12a
0012b0e5
0012b0e5 0f 1f 00 ...
0012b0e8
0012b0e8loc_12b0e8:
0012b0e8mov rax, [rsp+48]
0012b0edmov rax, [rax+48]
0012b0f1mov rax, [rax+32]
0012b0f5mov [rsp+40], rax
0012b0famov rax, [rsp+24]
0012b0ffmov rbx, [rsp+32]
0012b104call camlStdlib.$5e_139
0012b109mov rbx, [rsp+40]
0012b10emov rdi, [rbx]
0012b111call rdi
0012b113mov rax, [rsp+48]
0012b118mov rax, [rax+48]
0012b11cmov rbx, [rax+24]
0012b120mov eax, 21
0012b125mov rdi, [rbx]
0012b128call rdi
0012b12a
0012b12aloc_12b12a:
0012b12amov rax, [rsp+56]
0012b12fcmp rax, 1
0012b133je 0x12b148
0012b135lea rax, [rip+0x1e982c]
0012b13cmov rsi, [rax+128]
0012b143jmp 0x12b153
0012b145
0012b145 0f 1f 00 ...
0012b148
0012b148loc_12b148:
0012b148lea rax, [rip+0x1e9819]
0012b14fmov rsi, [rax+120]
0012b153
0012b153loc_12b153:
0012b153sub r15, 40
0012b157cmp r15, [r14]
0012b15ajb 0x12b19d
0012b15c
0012b15cloc_12b15c:
0012b15clea rdi, [r15+8]
0012b160add rdi, 24
0012b164mov [rdi-8], 1024
0012b16cmov rax, [rsp]
0012b170mov [rdi], rax
0012b173lea rbx, [rdi-24]
0012b177mov [rbx-8], 2048
0012b17fmov [rbx], 1
0012b186mov rax, [rsp+8]
0012b18bmov [rbx+8], rax
0012b18fmov rax, [rsp+16]
0012b194add rsp, 64
0012b198jmp 0xf7370
0012b19d
0012b19dloc_12b19d:
0012b19dcall caml_call_gc
0012b1a2jmp 0x12b15c
0012b1a4
0012b1a4loc_12b1a4:
0012b1a4push 41
0012b1a6call caml_call_realloc_stack
0012b1abpop r10
0012b1adjmp 0x12af62
0012af50
0012b1b2
0012b1b2 // align 0x10
0012b1b2 // align 0x10
0012b1c0
0012b1c0camlLatexscan.fun_4731:
0012b1c0mov rdx, rax
0012b1c3mov rcx, rbx
0012b1c6mov rax, [rdi+24]
0012b1camov rsi, [rdi+32]
0012b1cemov rbx, rdx
0012b1d1mov rdi, rcx
0012b1d4jmp 0x12af50
0012b1c0
0012b1c0camlLatexscan.fun_4731:
0012b1c0mov rdx, rax
0012b1c3mov rcx, rbx
0012b1c6mov rax, [rdi+24]
0012b1camov rsi, [rdi+32]
0012b1cemov rbx, rdx
0012b1d1mov rdi, rcx
0012b1d4jmp 0x12af50
0012b1c0
0012b1d9
0012b1d9 // align 0x10
0012b1d9 // align 0x10
0012b1e0
0012b1e0camlLatexscan.fun_4743:
0012b1e0mov rdx, rax
0012b1e3mov rcx, rbx
0012b1e6mov rax, [rdi+24]
0012b1eamov rsi, [rdi+32]
0012b1eemov rbx, rdx
0012b1f1mov rdi, rcx
0012b1f4jmp 0x12af50
0012b1e0
0012b1e0camlLatexscan.fun_4743:
0012b1e0mov rdx, rax
0012b1e3mov rcx, rbx
0012b1e6mov rax, [rdi+24]
0012b1eamov rsi, [rdi+32]
0012b1eemov rbx, rdx
0012b1f1mov rdi, rcx
0012b1f4jmp 0x12af50
0012b1e0
0012b1f9
0012b1f9 // align 0x10
0012b1f9 // align 0x10
0012b200
0012b200camlLatexscan.caml_print_2079:
0012b200sub r15, 56
0012b204cmp r15, [r14]
0012b207jb 0x12b24d
0012b209
0012b209loc_12b209:
0012b209lea rdi, [r15+8]
0012b20dadd rdi, 16
0012b211mov [rdi-8], 4343
0012b219lea rsi, [rip+64]
0012b220mov [rdi], rsi
0012b223mov rsi, 0x100000000000005
0012b22dmov [rdi+8], rsi
0012b231mov [rdi+16], rax
0012b235mov rax, [rbx+16]
0012b239mov [rdi+24], rax
0012b23dlea rax, [rdi-16]
0012b241mov [rax-8], 1026
0012b249mov [rax], rdi
0012b24cret
0012b24d
0012b24dloc_12b24d:
0012b24dcall caml_call_gc
0012b252jmp 0x12b209
0012b200
0012b200camlLatexscan.caml_print_2079:
0012b200sub r15, 56
0012b204cmp r15, [r14]
0012b207jb 0x12b24d
0012b209
0012b209loc_12b209:
0012b209lea rdi, [r15+8]
0012b20dadd rdi, 16
0012b211mov [rdi-8], 4343
0012b219lea rsi, [rip+64]
0012b220mov [rdi], rsi
0012b223mov rsi, 0x100000000000005
0012b22dmov [rdi+8], rsi
0012b231mov [rdi+16], rax
0012b235mov rax, [rbx+16]
0012b239mov [rdi+24], rax
0012b23dlea rax, [rdi-16]
0012b241mov [rax-8], 1026
0012b249mov [rax], rdi
0012b24cret
0012b24d
0012b24dloc_12b24d:
0012b24dcall caml_call_gc
0012b252jmp 0x12b209
0012b200
0012b254
0012b254 // align 0x10
0012b254 // align 0x10
0012b260
0012b260camlLatexscan.fun_4756:
0012b260cmp r15, [r14]
0012b263jbe 0x12b27c
0012b265
0012b265loc_12b265:
0012b265mov rax, [rbx+24]
0012b269mov rdi, [rax+352]
0012b270mov rax, [rbx+16]
0012b274mov rsi, [rdi]
0012b277mov rbx, rdi
0012b27ajmp rsi
0012b27c
0012b27cloc_12b27c:
0012b27ccall caml_call_gc
0012b281jmp 0x12b265
0012b260
0012b260camlLatexscan.fun_4756:
0012b260cmp r15, [r14]
0012b263jbe 0x12b27c
0012b265
0012b265loc_12b265:
0012b265mov rax, [rbx+24]
0012b269mov rdi, [rax+352]
0012b270mov rax, [rbx+16]
0012b274mov rsi, [rdi]
0012b277mov rbx, rdi
0012b27ajmp rsi
0012b27c
0012b27cloc_12b27c:
0012b27ccall caml_call_gc
0012b281jmp 0x12b265
0012b260
0012b283
0012b283 // align 0x10
0012b283 // align 0x10
0012b290
0012b290camlLatexscan.fun_4759:
0012b290lea r10, [rsp-352]
0012b298cmp r10, [r14+40]
0012b29cjb 0x12b337
0012b2a2
0012b2a2loc_12b2a2:
0012b2a2sub rsp, 32
0012b2a6mov [rsp], rax
0012b2aamov [rsp+16], rbx
0012b2afmov rbx, [rbx+24]
0012b2b3call camlLatexscan.get_csname_1908
0012b2b8mov [rsp+24], rax
0012b2bdlea rax, [rip+0x1efe8c]
0012b2c4mov rdi, [rax+384]
0012b2cbadd rdi, 24
0012b2cfmov ebx, 23
0012b2d4mov rax, [rsp]
0012b2d8call Save..ocaml_lex_skip_blanks_rec
0012b2ddmov rax, [rsp+16]
0012b2e2mov rax, [rax+16]
0012b2e6mov [rsp+8], rax
0012b2ebmov rax, [rsp]
0012b2efcall camlLexstate.save_arg_1030
0012b2f4mov rbx, rax
0012b2f7mov rax, [rsp+8]
0012b2fcmov rdi, [rax+16]
0012b300mov rax, [rdi+16]
0012b304mov rdi, [rdi+24]
0012b308call camlLatexscan.do_get_prim_onarg_1872
0012b30dmov rbx, [rsp+16]
0012b312mov rbx, [rbx+32]
0012b316call camlLatexscan.caml_print_2079
0012b31bmov rdi, rax
0012b31elea rax, [rip+0x1eb67b]
0012b325mov rbx, [rax+56]
0012b329mov rax, [rsp+24]
0012b32eadd rsp, 32
0012b332jmp 0x17af20
0012b337
0012b337loc_12b337:
0012b337push 37
0012b339call caml_call_realloc_stack
0012b33epop r10
0012b340jmp 0x12b2a2
0012b290
0012b290camlLatexscan.fun_4759:
0012b290lea r10, [rsp-352]
0012b298cmp r10, [r14+40]
0012b29cjb 0x12b337
0012b2a2
0012b2a2loc_12b2a2:
0012b2a2sub rsp, 32
0012b2a6mov [rsp], rax
0012b2aamov [rsp+16], rbx
0012b2afmov rbx, [rbx+24]
0012b2b3call camlLatexscan.get_csname_1908
0012b2b8mov [rsp+24], rax
0012b2bdlea rax, [rip+0x1efe8c]
0012b2c4mov rdi, [rax+384]
0012b2cbadd rdi, 24
0012b2cfmov ebx, 23
0012b2d4mov rax, [rsp]
0012b2d8call Save..ocaml_lex_skip_blanks_rec
0012b2ddmov rax, [rsp+16]
0012b2e2mov rax, [rax+16]
0012b2e6mov [rsp+8], rax
0012b2ebmov rax, [rsp]
0012b2efcall camlLexstate.save_arg_1030
0012b2f4mov rbx, rax
0012b2f7mov rax, [rsp+8]
0012b2fcmov rdi, [rax+16]
0012b300mov rax, [rdi+16]
0012b304mov rdi, [rdi+24]
0012b308call camlLatexscan.do_get_prim_onarg_1872
0012b30dmov rbx, [rsp+16]
0012b312mov rbx, [rbx+32]
0012b316call camlLatexscan.caml_print_2079
0012b31bmov rdi, rax
0012b31elea rax, [rip+0x1eb67b]
0012b325mov rbx, [rax+56]
0012b329mov rax, [rsp+24]
0012b32eadd rsp, 32
0012b332jmp 0x17af20
0012b337
0012b337loc_12b337:
0012b337push 37
0012b339call caml_call_realloc_stack
0012b33epop r10
0012b340jmp 0x12b2a2
0012b290
0012b345
0012b345 // align 0x10
0012b345 // align 0x10
0012b350
0012b350camlLatexscan.fun_4779:
0012b350lea r10, [rsp-320]
0012b358cmp r10, [r14+40]
0012b35cjb 0x12b36c
0012b35e
0012b35eloc_12b35e:
0012b35emov rbx, [rbx+16]
0012b362call camlLatexscan.get_csname_1908
0012b367jmp 0x17b0c0
0012b36c
0012b36cloc_12b36c:
0012b36cpush 33
0012b36ecall caml_call_realloc_stack
0012b373pop r10
0012b375jmp 0x12b35e
0012b350
0012b350camlLatexscan.fun_4779:
0012b350lea r10, [rsp-320]
0012b358cmp r10, [r14+40]
0012b35cjb 0x12b36c
0012b35e
0012b35eloc_12b35e:
0012b35emov rbx, [rbx+16]
0012b362call camlLatexscan.get_csname_1908
0012b367jmp 0x17b0c0
0012b36c
0012b36cloc_12b36c:
0012b36cpush 33
0012b36ecall caml_call_realloc_stack
0012b373pop r10
0012b375jmp 0x12b35e
0012b350
0012b377
0012b377 // align 0x10
0012b377 // align 0x10
0012b380
0012b380camlLatexscan.do_let_2088:
0012b380lea r10, [rsp-384]
0012b388cmp r10, [r14+40]
0012b38cjb 0x12b595
0012b392
0012b392loc_12b392:
0012b392sub rsp, 48
0012b396mov [rsp+40], rax
0012b39bmov [rsp+16], rbx
0012b3a0mov [rsp], rdi
0012b3a4mov [rsp+32], rsi
0012b3a9lea rax, [rip+0x1f6190]
0012b3b0mov rbx, [rax+80]
0012b3b4mov [rbx], 3
0012b3bbmov rax, [rax+64]
0012b3bfcall camlDoOut.reset_705
0012b3c4mov rax, [rsp+32]
0012b3c9mov rbx, [rax+40]
0012b3cdmov rax, [rsp]
0012b3d1call camlLatexscan.get_csname_1908
0012b3d6mov [rsp+8], rax
0012b3dblea rax, [rip+0x1efd6e]
0012b3e2mov rdi, [rax+192]
0012b3e9add rdi, 24
0012b3edmov ebx, 31
0012b3f2mov rax, [rsp]
0012b3f6call Save..ocaml_lex_skip_equal_rec
0012b3fbmov rax, [rsp+32]
0012b400mov rbx, [rax+40]
0012b404mov rax, [rsp]
0012b408call camlLatexscan.get_csname_1908
0012b40dmov [rsp], rax
0012b411lea rax, [rip+0x1f6128]
0012b418mov rbx, [rax+80]
0012b41cmov [rbx], 1
0012b423mov rax, [rax+64]
0012b427call camlDoOut.to_string_830
0012b42cmov [rsp+24], rax
0012b431lea r11, [rip+216]
0012b438push r11
0012b43apush [r14+48]
0012b43emov [r14+48], rsp
0012b442mov rax, [rsp+16]
0012b447call camlLatexmacros.find_fail_942
0012b44cmov rbx, [rsp+56]
0012b451cmp rbx, 1
0012b455je 0x12b468
0012b457lea rbx, [rip+0x1e950a]
0012b45emov rsi, [rbx+128]
0012b465jmp 0x12b473
0012b467nop
0012b468
0012b468loc_12b468:
0012b468lea rbx, [rip+0x1e94f9]
0012b46fmov rsi, [rbx+120]
0012b473
0012b473loc_12b473:
0012b473mov rdi, [rax+8]
0012b477mov rbx, [rax]
0012b47amov rax, [rsp+24]
0012b47fcall caml_apply3
0012b484mov eax, 1
0012b489call camlLatexscan.echo_toimage_802
0012b48ecmp rax, 1
0012b492jne 0x12b4bc
0012b494mov rax, [rsp+56]
0012b499cmp rax, 1
0012b49dje 0x12b4b4
0012b49flea rax, [rip+0x1eb4fa]
0012b4a6mov rax, [rax+728]
0012b4admov rax, [rax]
0012b4b0test al, 1
0012b4b2jne 0x12b4bc
0012b4b4
0012b4b4loc_12b4b4:
0012b4b4mov eax, 1
0012b4b9jmp 0x12b503
0012b4bbnop
0012b4bc
0012b4bcloc_12b4bc:
0012b4bcmov rax, [rsp+48]
0012b4c1mov rax, [rax+48]
0012b4c5mov rbx, [rax+32]
0012b4c9mov rdi, [rbx]
0012b4ccmov rax, [rsp+32]
0012b4d1call rdi
0012b4d3mov rax, [rsp+48]
0012b4d8mov rax, [rax+48]
0012b4dcmov rbx, [rax+32]
0012b4e0mov rdi, [rbx]
0012b4e3mov rax, [rsp+40]
0012b4e8call rdi
0012b4eamov rax, [rsp+48]
0012b4efmov rax, [rax+48]
0012b4f3mov rbx, [rax+32]
0012b4f7lea rax, [rip+0x16e67a]
0012b4femov rdi, [rbx]
0012b501call rdi
0012b503
0012b503loc_12b503:
0012b503pop [r14+48]
0012b507add rsp, 8
0012b50bjmp 0x12b590
0012b510lea rbx, [rip+0x1e9451]
0012b517mov rbx, [rbx]
0012b51acmp rax, rbx
0012b51djne 0x12b580
0012b51flea rbx, [rip+0x16e172]
0012b526mov rax, [rsp]
0012b52acall camlStdlib.$5e_139
0012b52fmov rbx, rax
0012b532lea rax, [rip+0x16e177]
0012b539call camlStdlib.$5e_139
0012b53emov rbx, rax
0012b541mov rax, [rsp+16]
0012b546call camlStdlib.$5e_139
0012b54bmov rbx, rax
0012b54elea rax, [rip+0x16e1bb]
0012b555call camlStdlib.$5e_139
0012b55amov rbx, rax
0012b55dmov rax, [rsp+8]
0012b562call camlStdlib.$5e_139
0012b567mov rbx, rax
0012b56alea rax, [rip+0x16e1af]
0012b571call camlStdlib.$5e_139
0012b576add rsp, 48
0012b57ajmp 0x1919c0
0012b57fnop
0012b580
0012b580loc_12b580:
0012b580mov rsp, [r14+48]
0012b584pop [r14+48]
0012b588pop r11
0012b58ajmp r11
0012b58dnop [rax]
0012b590
0012b590loc_12b590:
0012b590add rsp, 48
0012b594ret
0012b595
0012b595loc_12b595:
0012b595push 41
0012b597call caml_call_realloc_stack
0012b59cpop r10
0012b59ejmp 0x12b392
0012b380
0012b380camlLatexscan.do_let_2088:
0012b380lea r10, [rsp-384]
0012b388cmp r10, [r14+40]
0012b38cjb 0x12b595
0012b392
0012b392loc_12b392:
0012b392sub rsp, 48
0012b396mov [rsp+40], rax
0012b39bmov [rsp+16], rbx
0012b3a0mov [rsp], rdi
0012b3a4mov [rsp+32], rsi
0012b3a9lea rax, [rip+0x1f6190]
0012b3b0mov rbx, [rax+80]
0012b3b4mov [rbx], 3
0012b3bbmov rax, [rax+64]
0012b3bfcall camlDoOut.reset_705
0012b3c4mov rax, [rsp+32]
0012b3c9mov rbx, [rax+40]
0012b3cdmov rax, [rsp]
0012b3d1call camlLatexscan.get_csname_1908
0012b3d6mov [rsp+8], rax
0012b3dblea rax, [rip+0x1efd6e]
0012b3e2mov rdi, [rax+192]
0012b3e9add rdi, 24
0012b3edmov ebx, 31
0012b3f2mov rax, [rsp]
0012b3f6call Save..ocaml_lex_skip_equal_rec
0012b3fbmov rax, [rsp+32]
0012b400mov rbx, [rax+40]
0012b404mov rax, [rsp]
0012b408call camlLatexscan.get_csname_1908
0012b40dmov [rsp], rax
0012b411lea rax, [rip+0x1f6128]
0012b418mov rbx, [rax+80]
0012b41cmov [rbx], 1
0012b423mov rax, [rax+64]
0012b427call camlDoOut.to_string_830
0012b42cmov [rsp+24], rax
0012b431lea r11, [rip+216]
0012b438push r11
0012b43apush [r14+48]
0012b43emov [r14+48], rsp
0012b442mov rax, [rsp+16]
0012b447call camlLatexmacros.find_fail_942
0012b44cmov rbx, [rsp+56]
0012b451cmp rbx, 1
0012b455je 0x12b468
0012b457lea rbx, [rip+0x1e950a]
0012b45emov rsi, [rbx+128]
0012b465jmp 0x12b473
0012b467nop
0012b468
0012b468loc_12b468:
0012b468lea rbx, [rip+0x1e94f9]
0012b46fmov rsi, [rbx+120]
0012b473
0012b473loc_12b473:
0012b473mov rdi, [rax+8]
0012b477mov rbx, [rax]
0012b47amov rax, [rsp+24]
0012b47fcall caml_apply3
0012b484mov eax, 1
0012b489call camlLatexscan.echo_toimage_802
0012b48ecmp rax, 1
0012b492jne 0x12b4bc
0012b494mov rax, [rsp+56]
0012b499cmp rax, 1
0012b49dje 0x12b4b4
0012b49flea rax, [rip+0x1eb4fa]
0012b4a6mov rax, [rax+728]
0012b4admov rax, [rax]
0012b4b0test al, 1
0012b4b2jne 0x12b4bc
0012b4b4
0012b4b4loc_12b4b4:
0012b4b4mov eax, 1
0012b4b9jmp 0x12b503
0012b4bbnop
0012b4bc
0012b4bcloc_12b4bc:
0012b4bcmov rax, [rsp+48]
0012b4c1mov rax, [rax+48]
0012b4c5mov rbx, [rax+32]
0012b4c9mov rdi, [rbx]
0012b4ccmov rax, [rsp+32]
0012b4d1call rdi
0012b4d3mov rax, [rsp+48]
0012b4d8mov rax, [rax+48]
0012b4dcmov rbx, [rax+32]
0012b4e0mov rdi, [rbx]
0012b4e3mov rax, [rsp+40]
0012b4e8call rdi
0012b4eamov rax, [rsp+48]
0012b4efmov rax, [rax+48]
0012b4f3mov rbx, [rax+32]
0012b4f7lea rax, [rip+0x16e67a]
0012b4femov rdi, [rbx]
0012b501call rdi
0012b503
0012b503loc_12b503:
0012b503pop [r14+48]
0012b507add rsp, 8
0012b50bjmp 0x12b590
0012b510lea rbx, [rip+0x1e9451]
0012b517mov rbx, [rbx]
0012b51acmp rax, rbx
0012b51djne 0x12b580
0012b51flea rbx, [rip+0x16e172]
0012b526mov rax, [rsp]
0012b52acall camlStdlib.$5e_139
0012b52fmov rbx, rax
0012b532lea rax, [rip+0x16e177]
0012b539call camlStdlib.$5e_139
0012b53emov rbx, rax
0012b541mov rax, [rsp+16]
0012b546call camlStdlib.$5e_139
0012b54bmov rbx, rax
0012b54elea rax, [rip+0x16e1bb]
0012b555call camlStdlib.$5e_139
0012b55amov rbx, rax
0012b55dmov rax, [rsp+8]
0012b562call camlStdlib.$5e_139
0012b567mov rbx, rax
0012b56alea rax, [rip+0x16e1af]
0012b571call camlStdlib.$5e_139
0012b576add rsp, 48
0012b57ajmp 0x1919c0
0012b57fnop
0012b580
0012b580loc_12b580:
0012b580mov rsp, [r14+48]
0012b584pop [r14+48]
0012b588pop r11
0012b58ajmp r11
0012b58dnop [rax]
0012b590
0012b590loc_12b590:
0012b590add rsp, 48
0012b594ret
0012b595
0012b595loc_12b595:
0012b595push 41
0012b597call caml_call_realloc_stack
0012b59cpop r10
0012b59ejmp 0x12b392
0012b380
0012b5a3
0012b5a3 // align 0x10
0012b5a3 // align 0x10
0012b5b0
0012b5b0camlLatexscan.fun_4799:
0012b5b0mov rdx, rax
0012b5b3mov rcx, rbx
0012b5b6mov rax, [rdi+24]
0012b5bamov rsi, [rdi+32]
0012b5bemov rbx, rdx
0012b5c1mov rdi, rcx
0012b5c4jmp 0x12b380
0012b5b0
0012b5b0camlLatexscan.fun_4799:
0012b5b0mov rdx, rax
0012b5b3mov rcx, rbx
0012b5b6mov rax, [rdi+24]
0012b5bamov rsi, [rdi+32]
0012b5bemov rbx, rdx
0012b5c1mov rdi, rcx
0012b5c4jmp 0x12b380
0012b5b0
0012b5c9
0012b5c9 // align 0x10
0012b5c9 // align 0x10
0012b5d0
0012b5d0camlLatexscan.do_global_2098:
0012b5d0lea r10, [rsp-344]
0012b5d8cmp r10, [r14+40]
0012b5dcjb 0x12b69c
0012b5e2
0012b5e2loc_12b5e2:
0012b5e2sub rsp, 24
0012b5e6mov [rsp], rax
0012b5eamov rax, rbx
0012b5edmov [rsp+16], rax
0012b5f2mov [rsp+8], rdi
0012b5f7call camlLexstate.save_arg_1030
0012b5fcmov rbx, rax
0012b5ffmov eax, 1
0012b604call camlSubst.do_do_subst_this_697
0012b609mov rbx, rax
0012b60cmov rax, [rbx-8]
0012b610shr rax, 10
0012b614cmp rax, 2
0012b618jge 0x12b68c
0012b61amov rax, [rbx]
0012b61dmov rdi, 0x30000006665645c
0012b627cmp rax, rdi
0012b62ajne 0x12b654
0012b62cmov rax, [rsp]
0012b630call camlStdlib.$5e_139
0012b635mov rbx, rax
0012b638mov rax, [rsp+8]
0012b63dmov rsi, [rax+24]
0012b641mov eax, 3
0012b646mov rdi, [rsp+16]
0012b64badd rsp, 24
0012b64fjmp 0x12af50
0012b654
0012b654loc_12b654:
0012b654mov rdi, 0x300000074656c5c
0012b65ecmp rax, rdi
0012b661jne 0x12b68c
0012b663mov rax, [rsp]
0012b667call camlStdlib.$5e_139
0012b66cmov rbx, rax
0012b66fmov rax, [rsp+8]
0012b674mov rsi, [rax+32]
0012b678mov eax, 3
0012b67dmov rdi, [rsp+16]
0012b682add rsp, 24
0012b686jmp 0x12b380
0012b68b
0012b68b 90 .
0012b68c
0012b68cloc_12b68c:
0012b68clea rax, [rip+0x16dfdd]
0012b693add rsp, 24
0012b697jmp 0x1919c0
0012b69c
0012b69cloc_12b69c:
0012b69cpush 36
0012b69ecall caml_call_realloc_stack
0012b6a3pop r10
0012b6a5jmp 0x12b5e2
0012b5d0
0012b5d0camlLatexscan.do_global_2098:
0012b5d0lea r10, [rsp-344]
0012b5d8cmp r10, [r14+40]
0012b5dcjb 0x12b69c
0012b5e2
0012b5e2loc_12b5e2:
0012b5e2sub rsp, 24
0012b5e6mov [rsp], rax
0012b5eamov rax, rbx
0012b5edmov [rsp+16], rax
0012b5f2mov [rsp+8], rdi
0012b5f7call camlLexstate.save_arg_1030
0012b5fcmov rbx, rax
0012b5ffmov eax, 1
0012b604call camlSubst.do_do_subst_this_697
0012b609mov rbx, rax
0012b60cmov rax, [rbx-8]
0012b610shr rax, 10
0012b614cmp rax, 2
0012b618jge 0x12b68c
0012b61amov rax, [rbx]
0012b61dmov rdi, 0x30000006665645c
0012b627cmp rax, rdi
0012b62ajne 0x12b654
0012b62cmov rax, [rsp]
0012b630call camlStdlib.$5e_139
0012b635mov rbx, rax
0012b638mov rax, [rsp+8]
0012b63dmov rsi, [rax+24]
0012b641mov eax, 3
0012b646mov rdi, [rsp+16]
0012b64badd rsp, 24
0012b64fjmp 0x12af50
0012b654
0012b654loc_12b654:
0012b654mov rdi, 0x300000074656c5c
0012b65ecmp rax, rdi
0012b661jne 0x12b68c
0012b663mov rax, [rsp]
0012b667call camlStdlib.$5e_139
0012b66cmov rbx, rax
0012b66fmov rax, [rsp+8]
0012b674mov rsi, [rax+32]
0012b678mov eax, 3
0012b67dmov rdi, [rsp+16]
0012b682add rsp, 24
0012b686jmp 0x12b380
0012b68b
0012b68b 90 .
0012b68c
0012b68cloc_12b68c:
0012b68clea rax, [rip+0x16dfdd]
0012b693add rsp, 24
0012b697jmp 0x1919c0
0012b69c
0012b69cloc_12b69c:
0012b69cpush 36
0012b69ecall caml_call_realloc_stack
0012b6a3pop r10
0012b6a5jmp 0x12b5e2
0012b5d0
0012b6aa
0012b6aa // align 0x10
0012b6aa // align 0x10
0012b6b0
0012b6b0camlLatexscan.fun_4819:
0012b6b0lea r10, [rsp-328]
0012b6b8cmp r10, [r14+40]
0012b6bcjb 0x12b6fc
0012b6be
0012b6beloc_12b6be:
0012b6besub rsp, 8
0012b6c2mov [rsp], rbx
0012b6c6cmp r15, [r14]
0012b6c9jbe 0x12b6f5
0012b6cb
0012b6cbloc_12b6cb:
0012b6cbcall camlLexstate.save_arg_1030
0012b6d0mov rbx, rax
0012b6d3mov eax, 1
0012b6d8call camlSubst.do_do_subst_this_697
0012b6ddmov rbx, [rsp]
0012b6e1mov rbx, [rbx+16]
0012b6e5mov rbx, [rbx+352]
0012b6ecmov rdi, [rbx]
0012b6efadd rsp, 8
0012b6f3jmp rdi
0012b6f5
0012b6f5loc_12b6f5:
0012b6f5call caml_call_gc
0012b6fajmp 0x12b6cb
0012b6fc
0012b6fcloc_12b6fc:
0012b6fcpush 34
0012b6fecall caml_call_realloc_stack
0012b703pop r10
0012b705jmp 0x12b6be
0012b6b0
0012b6b0camlLatexscan.fun_4819:
0012b6b0lea r10, [rsp-328]
0012b6b8cmp r10, [r14+40]
0012b6bcjb 0x12b6fc
0012b6be
0012b6beloc_12b6be:
0012b6besub rsp, 8
0012b6c2mov [rsp], rbx
0012b6c6cmp r15, [r14]
0012b6c9jbe 0x12b6f5
0012b6cb
0012b6cbloc_12b6cb:
0012b6cbcall camlLexstate.save_arg_1030
0012b6d0mov rbx, rax
0012b6d3mov eax, 1
0012b6d8call camlSubst.do_do_subst_this_697
0012b6ddmov rbx, [rsp]
0012b6e1mov rbx, [rbx+16]
0012b6e5mov rbx, [rbx+352]
0012b6ecmov rdi, [rbx]
0012b6efadd rsp, 8
0012b6f3jmp rdi
0012b6f5
0012b6f5loc_12b6f5:
0012b6f5call caml_call_gc
0012b6fajmp 0x12b6cb
0012b6fc
0012b6fcloc_12b6fc:
0012b6fcpush 34
0012b6fecall caml_call_realloc_stack
0012b703pop r10
0012b705jmp 0x12b6be
0012b6b0
0012b707
0012b707 // align 0x10
0012b707 // align 0x10
0012b710
0012b710camlLatexscan.fun_4825:
0012b710lea r10, [rsp-352]
0012b718cmp r10, [r14+40]
0012b71cjb 0x12b78a
0012b71e
0012b71eloc_12b71e:
0012b71esub rsp, 32
0012b722mov [rsp+8], rax
0012b727mov [rsp], rbx
0012b72bcall camlLexstate.save_arg_1030
0012b730mov [rsp+24], rax
0012b735mov rax, [rsp+8]
0012b73acall camlLexstate.save_arg_1030
0012b73fmov rsi, rax
0012b742lea rax, [rip+0x1eb257]
0012b749mov rax, [rax+728]
0012b750mov rdi, [rax]
0012b753mov [rsp+16], rdi
0012b758mov rax, [rsp]
0012b75cmov rax, [rax+16]
0012b760mov rbx, [rsp+8]
0012b765call camlLexstate.scan_this_may_cont_1215
0012b76amov rax, [rsp]
0012b76emov rax, [rax+16]
0012b772mov rbx, [rsp+8]
0012b777mov rdi, [rsp+16]
0012b77cmov rsi, [rsp+24]
0012b781add rsp, 32
0012b785jmp 0x17f580
0012b78a
0012b78aloc_12b78a:
0012b78apush 37
0012b78ccall caml_call_realloc_stack
0012b791pop r10
0012b793jmp 0x12b71e
0012b710
0012b710camlLatexscan.fun_4825:
0012b710lea r10, [rsp-352]
0012b718cmp r10, [r14+40]
0012b71cjb 0x12b78a
0012b71e
0012b71eloc_12b71e:
0012b71esub rsp, 32
0012b722mov [rsp+8], rax
0012b727mov [rsp], rbx
0012b72bcall camlLexstate.save_arg_1030
0012b730mov [rsp+24], rax
0012b735mov rax, [rsp+8]
0012b73acall camlLexstate.save_arg_1030
0012b73fmov rsi, rax
0012b742lea rax, [rip+0x1eb257]
0012b749mov rax, [rax+728]
0012b750mov rdi, [rax]
0012b753mov [rsp+16], rdi
0012b758mov rax, [rsp]
0012b75cmov rax, [rax+16]
0012b760mov rbx, [rsp+8]
0012b765call camlLexstate.scan_this_may_cont_1215
0012b76amov rax, [rsp]
0012b76emov rax, [rax+16]
0012b772mov rbx, [rsp+8]
0012b777mov rdi, [rsp+16]
0012b77cmov rsi, [rsp+24]
0012b781add rsp, 32
0012b785jmp 0x17f580
0012b78a
0012b78aloc_12b78a:
0012b78apush 37
0012b78ccall caml_call_realloc_stack
0012b791pop r10
0012b793jmp 0x12b71e
0012b710
0012b795
0012b795 // align 0x10
0012b795 // align 0x10
0012b7a0
0012b7a0camlLatexscan.fun_4829:
0012b7a0lea r10, [rsp-344]
0012b7a8cmp r10, [r14+40]
0012b7acjb 0x12b84c
0012b7b2
0012b7b2loc_12b7b2:
0012b7b2sub rsp, 24
0012b7b6mov [rsp+16], rax
0012b7bbmov [rsp], rbx
0012b7bfmov rdi, [rbx+16]
0012b7c3add rdi, 24
0012b7c7mov ebx, 343
0012b7cccall Latexscan..ocaml_lex_skip_blanks_rec
0012b7d1lea rax, [rip+0x1ef978]
0012b7d8mov rdi, [rax+160]
0012b7dfadd rdi, 24
0012b7e3mov ebx, 93
0012b7e8mov rax, [rsp+16]
0012b7edcall Save..ocaml_lex_incsname_rec
0012b7f2mov rbx, [rsp]
0012b7f6mov rbx, [rbx+40]
0012b7facall camlLatexscan.get_prim_1896
0012b7ffmov rbx, rax
0012b802lea rax, [rip+0x16ddef]
0012b809call camlStdlib.$5e_139
0012b80emov [rsp+8], rax
0012b813mov rax, [rsp]
0012b817mov rbx, [rax+24]
0012b81bmov rax, [rsp+16]
0012b820call camlLatexscan.check_alltt_skip_1797
0012b825mov rax, [rsp]
0012b829mov rdi, [rax+32]
0012b82dmov rbx, [rdi+40]
0012b831mov rax, [rdi+32]
0012b835mov rdx, [rdi+24]
0012b839mov rdi, [rsp+8]
0012b83emov rsi, [rsp+16]
0012b843add rsp, 24
0012b847jmp 0x1268e0
0012b84c
0012b84cloc_12b84c:
0012b84cpush 36
0012b84ecall caml_call_realloc_stack
0012b853pop r10
0012b855jmp 0x12b7b2
0012b7a0
0012b7a0camlLatexscan.fun_4829:
0012b7a0lea r10, [rsp-344]
0012b7a8cmp r10, [r14+40]
0012b7acjb 0x12b84c
0012b7b2
0012b7b2loc_12b7b2:
0012b7b2sub rsp, 24
0012b7b6mov [rsp+16], rax
0012b7bbmov [rsp], rbx
0012b7bfmov rdi, [rbx+16]
0012b7c3add rdi, 24
0012b7c7mov ebx, 343
0012b7cccall Latexscan..ocaml_lex_skip_blanks_rec
0012b7d1lea rax, [rip+0x1ef978]
0012b7d8mov rdi, [rax+160]
0012b7dfadd rdi, 24
0012b7e3mov ebx, 93
0012b7e8mov rax, [rsp+16]
0012b7edcall Save..ocaml_lex_incsname_rec
0012b7f2mov rbx, [rsp]
0012b7f6mov rbx, [rbx+40]
0012b7facall camlLatexscan.get_prim_1896
0012b7ffmov rbx, rax
0012b802lea rax, [rip+0x16ddef]
0012b809call camlStdlib.$5e_139
0012b80emov [rsp+8], rax
0012b813mov rax, [rsp]
0012b817mov rbx, [rax+24]
0012b81bmov rax, [rsp+16]
0012b820call camlLatexscan.check_alltt_skip_1797
0012b825mov rax, [rsp]
0012b829mov rdi, [rax+32]
0012b82dmov rbx, [rdi+40]
0012b831mov rax, [rdi+32]
0012b835mov rdx, [rdi+24]
0012b839mov rdi, [rsp+8]
0012b83emov rsi, [rsp+16]
0012b843add rsp, 24
0012b847jmp 0x1268e0
0012b84c
0012b84cloc_12b84c:
0012b84cpush 36
0012b84ecall caml_call_realloc_stack
0012b853pop r10
0012b855jmp 0x12b7b2
0012b7a0
0012b85a
0012b85a // align 0x10
0012b85a // align 0x10
0012b860
0012b860camlLatexscan.fun_4851:
0012b860lea r10, [rsp-328]
0012b868cmp r10, [r14+40]
0012b86cjb 0x12b8ac
0012b86e
0012b86eloc_12b86e:
0012b86esub rsp, 8
0012b872mov [rsp], rbx
0012b876cmp r15, [r14]
0012b879jbe 0x12b8a5
0012b87b
0012b87bloc_12b87b:
0012b87bcall camlLexstate.save_arg_1030
0012b880mov rbx, rax
0012b883mov eax, 1
0012b888call camlSubst.do_do_subst_this_697
0012b88dmov rbx, [rsp]
0012b891mov rbx, [rbx+16]
0012b895mov rbx, [rbx+352]
0012b89cmov rdi, [rbx]
0012b89fadd rsp, 8
0012b8a3jmp rdi
0012b8a5
0012b8a5loc_12b8a5:
0012b8a5call caml_call_gc
0012b8aajmp 0x12b87b
0012b8ac
0012b8acloc_12b8ac:
0012b8acpush 34
0012b8aecall caml_call_realloc_stack
0012b8b3pop r10
0012b8b5jmp 0x12b86e
0012b860
0012b860camlLatexscan.fun_4851:
0012b860lea r10, [rsp-328]
0012b868cmp r10, [r14+40]
0012b86cjb 0x12b8ac
0012b86e
0012b86eloc_12b86e:
0012b86esub rsp, 8
0012b872mov [rsp], rbx
0012b876cmp r15, [r14]
0012b879jbe 0x12b8a5
0012b87b
0012b87bloc_12b87b:
0012b87bcall camlLexstate.save_arg_1030
0012b880mov rbx, rax
0012b883mov eax, 1
0012b888call camlSubst.do_do_subst_this_697
0012b88dmov rbx, [rsp]
0012b891mov rbx, [rbx+16]
0012b895mov rbx, [rbx+352]
0012b89cmov rdi, [rbx]
0012b89fadd rsp, 8
0012b8a3jmp rdi
0012b8a5
0012b8a5loc_12b8a5:
0012b8a5call caml_call_gc
0012b8aajmp 0x12b87b
0012b8ac
0012b8acloc_12b8ac:
0012b8acpush 34
0012b8aecall caml_call_realloc_stack
0012b8b3pop r10
0012b8b5jmp 0x12b86e
0012b860
0012b8b7
0012b8b7 // align 0x10
0012b8b7 // align 0x10
0012b8c0
0012b8c0camlLatexscan.get_num_arg_2113:
0012b8c0lea r10, [rsp-328]
0012b8c8cmp r10, [r14+40]
0012b8ccjb 0x12b915
0012b8ce
0012b8celoc_12b8ce:
0012b8cesub rsp, 8
0012b8d2cmp r15, [r14]
0012b8d5jbe 0x12b90e
0012b8d7
0012b8d7loc_12b8d7:
0012b8d7lea rbx, [rip+0x16bbfa]
0012b8demov [rsp], rbx
0012b8e2lea rbx, [rip+0x1ef867]
0012b8e9mov rdi, [rbx+184]
0012b8f0add rdi, 24
0012b8f4mov ebx, 143
0012b8f9call Save..ocaml_lex_num_arg_rec
0012b8femov rbx, rax
0012b901mov rdi, [rbx]
0012b904mov rax, [rsp]
0012b908add rsp, 8
0012b90cjmp rdi
0012b90e
0012b90eloc_12b90e:
0012b90ecall caml_call_gc
0012b913jmp 0x12b8d7
0012b915
0012b915loc_12b915:
0012b915push 34
0012b917call caml_call_realloc_stack
0012b91cpop r10
0012b91ejmp 0x12b8ce
0012b8c0
0012b8c0camlLatexscan.get_num_arg_2113:
0012b8c0lea r10, [rsp-328]
0012b8c8cmp r10, [r14+40]
0012b8ccjb 0x12b915
0012b8ce
0012b8celoc_12b8ce:
0012b8cesub rsp, 8
0012b8d2cmp r15, [r14]
0012b8d5jbe 0x12b90e
0012b8d7
0012b8d7loc_12b8d7:
0012b8d7lea rbx, [rip+0x16bbfa]
0012b8demov [rsp], rbx
0012b8e2lea rbx, [rip+0x1ef867]
0012b8e9mov rdi, [rbx+184]
0012b8f0add rdi, 24
0012b8f4mov ebx, 143
0012b8f9call Save..ocaml_lex_num_arg_rec
0012b8femov rbx, rax
0012b901mov rdi, [rbx]
0012b904mov rax, [rsp]
0012b908add rsp, 8
0012b90cjmp rdi
0012b90e
0012b90eloc_12b90e:
0012b90ecall caml_call_gc
0012b913jmp 0x12b8d7
0012b915
0012b915loc_12b915:
0012b915push 34
0012b917call caml_call_realloc_stack
0012b91cpop r10
0012b91ejmp 0x12b8ce
0012b8c0
0012b920
0012b920camlLatexscan.fun_4858:
0012b920sub r15, 24
0012b924cmp r15, [r14]
0012b927jb 0x12b960
0012b929
0012b929loc_12b929:
0012b929lea rbx, [r15+8]
0012b92dmov [rbx-8], 2048
0012b935mov [rbx], rax
0012b938lea rax, [rip+0x1eb061]
0012b93fmov rax, [rax+728]
0012b946mov rax, [rax]
0012b949mov [rbx+8], rax
0012b94dlea rax, [rip+0x1c9f0c]
0012b954mov rax, [rax+272]
0012b95bjmp 0x165770
0012b960
0012b960loc_12b960:
0012b960call caml_call_gc
0012b965jmp 0x12b929
0012b920
0012b920camlLatexscan.fun_4858:
0012b920sub r15, 24
0012b924cmp r15, [r14]
0012b927jb 0x12b960
0012b929
0012b929loc_12b929:
0012b929lea rbx, [r15+8]
0012b92dmov [rbx-8], 2048
0012b935mov [rbx], rax
0012b938lea rax, [rip+0x1eb061]
0012b93fmov rax, [rax+728]
0012b946mov rax, [rax]
0012b949mov [rbx+8], rax
0012b94dlea rax, [rip+0x1c9f0c]
0012b954mov rax, [rax+272]
0012b95bjmp 0x165770
0012b960
0012b960loc_12b960:
0012b960call caml_call_gc
0012b965jmp 0x12b929
0012b920
0012b967
0012b967 // align 0x10
0012b967 // align 0x10
Loading..