Similarity

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

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

00129d69
00129d69 // align 0x10

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

0012b967
0012b967 // align 0x10

0012b970
0012b970camlLatexscan.top_plain_2117:
0012b970lea r10, [rsp-336]
0012b978cmp r10, [r14+40]
0012b97cjb 0x12b9f7
0012b97e
0012b97eloc_12b97e:
0012b97esub rsp, 16
0012b982mov [rsp], rax
0012b986mov [rsp+8], rbx
0012b98bcall camlLexstate.is_plain_833
0012b990cmp rax, 1
0012b994je 0x12b9a0
0012b996mov eax, 1
0012b99badd rsp, 16
0012b99fret
0012b9a0
0012b9a0loc_12b9a0:
0012b9a0mov rax, [rsp]
0012b9a4call camlLexstate.set_plain_834
0012b9a9sub r15, 32
0012b9adcmp r15, [r14]
0012b9b0jb 0x12b9f0
0012b9b2
0012b9b2loc_12b9b2:
0012b9b2lea rax, [r15+8]
0012b9b6mov [rax-8], 3319
0012b9belea rbx, [rip+75]
0012b9c5mov [rax], rbx
0012b9c8mov rbx, 0x100000000000005
0012b9d2mov [rax+8], rbx
0012b9d6mov rbx, [rsp]
0012b9damov [rax+16], rbx
0012b9demov rbx, [rsp+8]
0012b9e3mov rbx, [rbx+16]
0012b9e7add rsp, 16
0012b9ebjmp 0x122ad0
0012b9f0
0012b9f0loc_12b9f0:
0012b9f0call caml_call_gc
0012b9f5jmp 0x12b9b2
0012b9f7
0012b9f7loc_12b9f7:
0012b9f7push 35
0012b9f9call caml_call_realloc_stack
0012b9fepop r10
0012ba00jmp 0x12b97e
0012b970

0012ba05
0012ba05 // align 0x10

0012ba10
0012ba10camlLatexscan.fun_4871:
0012ba10mov rax, [rbx+16]
0012ba14jmp 0x17cdc0
0012ba10

0012ba19
0012ba19 // align 0x10

0012ba20
0012ba20camlLatexscan.top_unplain_2118:
0012ba20lea r10, [rsp-336]
0012ba28cmp r10, [r14+40]
0012ba2cjb 0x12baa9
0012ba2e
0012ba2eloc_12ba2e:
0012ba2esub rsp, 16
0012ba32mov [rsp], rax
0012ba36mov [rsp+8], rbx
0012ba3bcall camlLexstate.is_plain_833
0012ba40cmp rax, 1
0012ba44je 0x12ba98
0012ba46mov rax, [rsp]
0012ba4acall camlLexstate.unset_plain_835
0012ba4fsub r15, 32
0012ba53cmp r15, [r14]
0012ba56jb 0x12baa2
0012ba58
0012ba58loc_12ba58:
0012ba58lea rax, [r15+8]
0012ba5cmov [rax-8], 3319
0012ba64lea rbx, [rip+85]
0012ba6bmov [rax], rbx
0012ba6emov rbx, 0x100000000000005
0012ba78mov [rax+8], rbx
0012ba7cmov rbx, [rsp]
0012ba80mov [rax+16], rbx
0012ba84mov rbx, [rsp+8]
0012ba89mov rbx, [rbx+16]
0012ba8dadd rsp, 16
0012ba91jmp 0x122ad0
0012ba96
0012ba96 66 90 f.
0012ba98
0012ba98loc_12ba98:
0012ba98mov eax, 1
0012ba9dadd rsp, 16
0012baa1ret
0012baa2
0012baa2loc_12baa2:
0012baa2call caml_call_gc
0012baa7jmp 0x12ba58
0012baa9
0012baa9loc_12baa9:
0012baa9push 35
0012baabcall caml_call_realloc_stack
0012bab0pop r10
0012bab2jmp 0x12ba2e
0012ba20

0012bab7
0012bab7 // align 0x10

0012bac0
0012bac0camlLatexscan.fun_4883:
0012bac0mov rax, [rbx+16]
0012bac4jmp 0x17cd70
0012bac0

0012bac9
0012bac9 // align 0x10

0012bad0
0012bad0camlLatexscan.fun_4888:
0012bad0lea r10, [rsp-344]
0012bad8cmp r10, [r14+40]
0012badcjb 0x12bd7c
0012bae2
0012bae2loc_12bae2:
0012bae2sub rsp, 24
0012bae6mov rdi, rax
0012bae9mov [rsp], rdi
0012baedmov [rsp+8], rbx
0012baf2lea rax, [rip+0x16dac7]
0012baf9mov rbx, rdi
0012bafccall camlLexstate.save_arg_with_delim_1032
0012bb01mov rbx, rax
0012bb04lea rax, [rip+0x1c9d55]
0012bb0bmov rax, [rax+272]
0012bb12call camlGet.do_get_int_873
0012bb17call Stdlib.Char.chr
0012bb1cmov [rsp+16], rax
0012bb21mov rax, [rsp]
0012bb25call camlLatexscan.get_num_arg_2113
0012bb2amov rbx, rax
0012bb2dmov rdi, [rsp+16]
0012bb32cmp rdi, 185
0012bb39jl 0x12bc94
0012bb3fcmp rdi, 247
0012bb46jl 0x12bbf0
0012bb4ccmp rdi, 255
0012bb53jge 0x12bd2a
0012bb59mov rax, rdi
0012bb5cadd rax, -246
0012bb62sar rax, 1
0012bb65lea rdx, [rip+0xfeb48]
0012bb6cmovsxd rax, [rdx+4*rax]
0012bb70add rdx, rax
0012bb73jmp rdx
0012bb75nop [rax]
0012bb78cmp rbx, 23
0012bb7cjl 0x12bb90
0012bb7ecmp rbx, 27
0012bb82jl 0x12bd4c
0012bb88jmp 0x12bd2a
0012bb8dnop [rax]
0012bb90
0012bb90loc_12bb90:
0012bb90cmp rbx, 3
0012bb94je 0x12bd38
0012bb9ajmp 0x12bd2a
0012bb9fnop
0012bba0cmp rbx, 23
0012bba4jl 0x12bbb8
0012bba6cmp rbx, 27
0012bbaajl 0x12bd4c
0012bbb0jmp 0x12bd2a
0012bbb5nop [rax]
0012bbb8
0012bbb8loc_12bbb8:
0012bbb8cmp rbx, 5
0012bbbcje 0x12bd38
0012bbc2jmp 0x12bd2a
0012bbc7nop
0012bbc8cmp rbx, 27
0012bbccjl 0x12bbe0
0012bbcecmp rbx, 29
0012bbd2jl 0x12bd38
0012bbd8jmp 0x12bd2a
0012bbddnop [rax]
0012bbe0
0012bbe0loc_12bbe0:
0012bbe0cmp rbx, 23
0012bbe4jge 0x12bd4c
0012bbeajmp 0x12bd2a
0012bbefnop
0012bbf0
0012bbf0loc_12bbf0:
0012bbf0cmp rdi, 193
0012bbf7jge 0x12bd2a
0012bbfdmov rax, rdi
0012bc00add rax, -184
0012bc06sar rax, 1
0012bc09lea rdx, [rip+0xfeab4]
0012bc10movsxd rax, [rdx+4*rax]
0012bc14add rdx, rax
0012bc17jmp rdx
0012bc19nop [rax]
0012bc1ccmp rbx, 23
0012bc20jl 0x12bc34
0012bc22cmp rbx, 27
0012bc26jl 0x12bd4c
0012bc2cjmp 0x12bd2a
0012bc31nop [rax]
0012bc34
0012bc34loc_12bc34:
0012bc34cmp rbx, 1
0012bc38je 0x12bd38
0012bc3ejmp 0x12bd2a
0012bc43nop
0012bc44cmp rbx, 23
0012bc48jl 0x12bc5c
0012bc4acmp rbx, 27
0012bc4ejl 0x12bd4c
0012bc54jmp 0x12bd2a
0012bc59nop [rax]
0012bc5c
0012bc5cloc_12bc5c:
0012bc5ccmp rbx, 15
0012bc60je 0x12bd38
0012bc66jmp 0x12bd2a
0012bc6bnop
0012bc6ccmp rbx, 23
0012bc70jl 0x12bc84
0012bc72cmp rbx, 27
0012bc76jl 0x12bd4c
0012bc7cjmp 0x12bd2a
0012bc81nop [rax]
0012bc84
0012bc84loc_12bc84:
0012bc84cmp rbx, 17
0012bc88je 0x12bd38
0012bc8ejmp 0x12bd2a
0012bc93nop
0012bc94
0012bc94loc_12bc94:
0012bc94mov rax, rdi
0012bc97add rax, -68
0012bc9bcmp rax, 9
0012bc9fja 0x12bd2a
0012bca5sar rax, 1
0012bca8lea rdx, [rip+0xfea25]
0012bcafmovsxd rax, [rdx+4*rax]
0012bcb3add rdx, rax
0012bcb6jmp rdx
0012bcb8cmp rbx, 25
0012bcbcje 0x12bd38
0012bcbecmp rbx, 27
0012bcc2je 0x12bd4c
0012bcc8jmp 0x12bd2a
0012bccanop
0012bccccmp rbx, 23
0012bcd0jl 0x12bcdc
0012bcd2cmp rbx, 27
0012bcd6jl 0x12bd4c
0012bcd8jmp 0x12bd2a
0012bcdanop
0012bcdc
0012bcdcloc_12bcdc:
0012bcdccmp rbx, 13
0012bce0je 0x12bd38
0012bce2jmp 0x12bd2a
0012bce4cmp rbx, 23
0012bce8jl 0x12bcf4
0012bceacmp rbx, 27
0012bceejl 0x12bd4c
0012bcf0jmp 0x12bd2a
0012bcf2nop
0012bcf4
0012bcf4loc_12bcf4:
0012bcf4cmp rbx, 7
0012bcf8je 0x12bd38
0012bcfajmp 0x12bd2a
0012bcfccmp rbx, 27
0012bd00jl 0x12bd0c
0012bd02cmp rbx, 29
0012bd06je 0x12bd38
0012bd08jmp 0x12bd2a
0012bd0anop
0012bd0c
0012bd0cloc_12bd0c:
0012bd0ccmp rbx, 23
0012bd10jge 0x12bd4c
0012bd12jmp 0x12bd2a
0012bd14cmp rbx, 23
0012bd18jl 0x12bd24
0012bd1acmp rbx, 27
0012bd1ejl 0x12bd4c
0012bd20jmp 0x12bd2a
0012bd22nop
0012bd24
0012bd24loc_12bd24:
0012bd24cmp rbx, 9
0012bd28je 0x12bd38
0012bd2a
0012bd2aloc_12bd2a:
0012bd2alea rax, [rip+0x16d857]
0012bd31call camlMisc.warning_287
0012bd36jmp 0x12bd5d
0012bd38
0012bd38loc_12bd38:
0012bd38mov rax, [rsp+8]
0012bd3dmov rbx, [rax+32]
0012bd41mov rax, rdi
0012bd44call camlLatexscan.top_plain_2117
0012bd49jmp 0x12bd5d
0012bd4bnop
0012bd4c
0012bd4cloc_12bd4c:
0012bd4cmov rax, [rsp+8]
0012bd51mov rbx, [rax+40]
0012bd55mov rax, rdi
0012bd58call camlLatexscan.top_unplain_2118
0012bd5d
0012bd5dloc_12bd5d:
0012bd5dmov rax, [rsp+8]
0012bd62mov rdi, [rax+16]
0012bd66add rdi, 24
0012bd6amov ebx, 1
0012bd6fmov rax, [rsp]
0012bd73add rsp, 24
0012bd77jmp 0x1166c0
0012bd7c
0012bd7cloc_12bd7c:
0012bd7cpush 36
0012bd7ecall caml_call_realloc_stack
0012bd83pop r10
0012bd85jmp 0x12bae2
0012bad0