Similarity

00129170
00129170camlLatexscan.get_prim_onarg_1890:
00129170mov rsi, rax
00129173mov rax, [rbx+16]
00129177mov rdi, [rbx+24]
0012917bmov rbx, rsi
0012917ejmp 0x128e50
00129170

00129183
00129183 // align 0x10

00129190
00129190camlLatexscan.get_prim_onarg_list_1893:
00129190mov rsi, rax
00129193mov rax, [rbx+16]
00129197mov rdi, [rbx+24]
0012919bmov rbx, rsi
0012919ejmp 0x128e50
00129190

001291a3
001291a3 // align 0x10

001291b0
001291b0camlLatexscan.get_prim_1896:
001291b0sub r15, 24
001291b4cmp r15, [r14]
001291b7jb 0x1291f1
001291b9
001291b9loc_1291b9:
001291b9lea rsi, [r15+8]
001291bdmov [rsi-8], 2048
001291c5mov [rsi], rax
001291c8lea rax, [rip+0x1ed7d1]
001291cfmov rax, [rax+728]
001291d6mov rax, [rax]
001291d9mov [rsi+8], rax
001291ddmov rbx, [rbx+16]
001291e1mov rax, [rbx+16]
001291e5mov rdi, [rbx+24]
001291e9mov rbx, rsi
001291ecjmp 0x128e50
001291f1
001291f1loc_1291f1:
001291f1call caml_call_gc
001291f6jmp 0x1291b9
001291b0

001291f8
001291f8 // align 0x10

00129200
00129200camlLatexscan.get_prim_arg_1899:
00129200lea r10, [rsp-328]
00129208cmp r10, [r14+40]
0012920cjb 0x129237
0012920e
0012920eloc_12920e:
0012920esub rsp, 8
00129212mov [rsp], rbx
00129216call camlLexstate.save_arg_1030
0012921bmov rbx, rax
0012921emov rax, [rsp]
00129222mov rdi, [rax+16]
00129226mov rax, [rdi+16]
0012922amov rdi, [rdi+24]
0012922eadd rsp, 8
00129232jmp 0x128e50
00129237
00129237loc_129237:
00129237push 34
00129239call caml_call_realloc_stack
0012923epop r10
00129240jmp 0x12920e
00129200

00129242
00129242 // align 0x10

00129250
00129250camlLatexscan.get_prim_opt_1900:
00129250lea r10, [rsp-328]
00129258cmp r10, [r14+40]
0012925cjb 0x12928c
0012925e
0012925eloc_12925e:
0012925esub rsp, 8
00129262mov [rsp], rdi
00129266call camlLexstate.save_arg_opt_1107
0012926bcall camlLexstate.from_ok_1113
00129270mov rbx, rax
00129273mov rax, [rsp]
00129277mov rdi, [rax+24]
0012927bmov rax, [rdi+16]
0012927fmov rdi, [rdi+24]
00129283add rsp, 8
00129287jmp 0x128e50
0012928c
0012928cloc_12928c:
0012928cpush 34
0012928ecall caml_call_realloc_stack
00129293pop r10
00129295jmp 0x12925e
00129250

00129297
00129297 // align 0x10

001292a0
001292a0camlLatexscan.get_csname_1908:
001292a0mov rdi, rax
001292a3sub r15, 32
001292a7cmp r15, [r14]
001292aajb 0x1292e0
001292ac
001292acloc_1292ac:
001292aclea rax, [r15+8]
001292b0mov [rax-8], 3319
001292b8lea rsi, [rip+49]
001292bfmov [rax], rsi
001292c2mov rsi, 0x100000000000005
001292ccmov [rax+8], rsi
001292d0mov rbx, [rbx+16]
001292d4mov [rax+16], rbx
001292d8mov rbx, rdi
001292dbjmp 0x17e5c0
001292e0
001292e0loc_1292e0:
001292e0call caml_call_gc
001292e5jmp 0x1292ac
001292a0

001292e7
001292e7 // align 0x10

001292f0
001292f0camlLatexscan.fun_4475:
001292f0mov rdi, rax
001292f3lea rax, [rip+0x1c7a66]
001292famov rcx, [rax+24]
001292femov rax, [rbx+16]
00129302lea rbx, [rip+0x1f1e47]
00129309mov rdx, [rbx+152]
00129310add rdx, 32
00129314mov esi, 49
00129319mov rbx, rcx
0012931cjmp 0x181ce0
001292f0

00129321
00129321 // align 0x10

00129330
00129330camlLatexscan.def_fun_1913:
00129330sub r15, 40
00129334cmp r15, [r14]
00129337jb 0x129371
00129339
00129339loc_129339:
00129339lea rsi, [r15+8]
0012933dmov [rsi-8], 4343
00129345lea rdx, [rip+52]
0012934cmov [rsi], rdx
0012934fmov rdx, 0x100000000000005
00129359mov [rsi+8], rdx
0012935dmov rdi, [rdi+24]
00129361mov [rsi+16], rdi
00129365mov [rsi+24], rbx
00129369mov rbx, rsi
0012936cjmp 0x17b120
00129371
00129371loc_129371:
00129371call caml_call_gc
00129376jmp 0x129339
00129330

00129378
00129378 // align 0x10

00129380
00129380camlLatexscan.fun_4492:
00129380lea r10, [rsp-328]
00129388cmp r10, [r14+40]
0012938cjb 0x1293c9
0012938e
0012938eloc_12938e:
0012938esub rsp, 8
00129392mov [rsp], rbx
00129396call camlLexstate.save_arg_1030
0012939bmov rbx, rax
0012939emov eax, 1
001293a3call camlSubst.do_do_subst_this_697
001293a8mov rbx, [rsp]
001293acmov rbx, [rbx+24]
001293b0mov rdi, [rbx]
001293b3call rdi
001293b5mov rbx, rax
001293b8mov rax, [rsp]
001293bcmov rax, [rax+16]
001293c0add rsp, 8
001293c4jmp 0x17f150
001293c9
001293c9loc_1293c9:
001293c9push 34
001293cbcall caml_call_realloc_stack
001293d0pop r10
001293d2jmp 0x12938e
00129380

001293d4
001293d4 // align 0x10

001293e0
001293e0camlLatexscan.do_unskip_1919:
001293e0lea r10, [rsp-328]
001293e8cmp r10, [r14+40]
001293ecjb 0x129431
001293ee
001293eeloc_1293ee:
001293eesub rsp, 8
001293f2mov [rsp], rbx
001293f6cmp r15, [r14]
001293f9jbe 0x12942a
001293fb
001293fbloc_1293fb:
001293fbmov rax, [rbx+16]
001293ffmov rbx, [rax+88]
00129403mov eax, 1
00129408mov rdi, [rbx]
0012940bcall rdi
0012940dmov rax, [rsp]
00129411mov rax, [rax+16]
00129415mov rbx, [rax+464]
0012941cmov eax, 1
00129421mov rdi, [rbx]
00129424add rsp, 8
00129428jmp rdi
0012942a
0012942aloc_12942a:
0012942acall caml_call_gc
0012942fjmp 0x1293fb
00129431
00129431loc_129431:
00129431push 34
00129433call caml_call_realloc_stack
00129438pop r10
0012943ajmp 0x1293ee
001293e0

0012943c
0012943c // align 0x10

00129440
00129440camlLatexscan.fun_4500:
00129440lea r10, [rsp-336]
00129448cmp r10, [r14+40]
0012944cjb 0x12947f
0012944e
0012944eloc_12944e:
0012944esub rsp, 16
00129452mov [rsp+8], rax
00129457mov [rsp], rbx
0012945bmov rbx, [rbx+24]
0012945fmov eax, 1
00129464call camlLatexscan.do_unskip_1919
00129469mov rax, [rsp]
0012946dmov rbx, [rax+16]
00129471mov rax, [rsp+8]
00129476add rsp, 16
0012947ajmp 0x127b00
0012947f
0012947floc_12947f:
0012947fpush 35
00129481call caml_call_realloc_stack
00129486pop r10
00129488jmp 0x12944e
00129440

0012948a
0012948a // align 0x10

00129490
00129490camlLatexscan.fun_4508:
00129490lea r10, [rsp-336]
00129498cmp r10, [r14+40]
0012949cjb 0x12953a
001294a2
001294a2loc_1294a2:
001294a2sub rsp, 16
001294a6mov [rsp], rax
001294aamov [rsp+8], rbx
001294aflea rax, [rip+0x1ed4ea]
001294b6mov rdi, [rax+136]
001294bdmov rdi, [rdi]
001294c0cmp rdi, 1
001294c4jne 0x129518
001294c6mov rax, [rax+144]
001294cdmov rax, [rax]
001294d0cmp rax, 1
001294d4jne 0x129518
001294d6mov rax, [rbx+24]
001294damov rax, [rax]
001294ddmov rbx, [rbx+32]
001294e1call camlLatexscan.par_val_1245
001294e6test al, 1
001294e8je 0x129508
001294eamov rax, [rsp+8]
001294efmov rax, [rax+48]
001294f3mov rbx, [rax+360]
001294famov eax, 65
001294ffmov rdi, [rbx]
00129502call rdi
00129504jmp 0x129524
00129506
00129506 66 90 f.
00129508
00129508loc_129508:
00129508mov rbx, [rsp+8]
0012950dmov rbx, [rbx+16]
00129511call camlLatexscan.top_par_795
00129516jmp 0x129524
00129518
00129518loc_129518:
00129518lea rax, [rip+0x170ae1]
0012951fcall camlMisc.warning_287
00129524
00129524loc_129524:
00129524mov rax, [rsp+8]
00129529mov rbx, [rax+40]
0012952dmov rax, [rsp]
00129531add rsp, 16
00129535jmp 0x127b00
0012953a
0012953aloc_12953a:
0012953apush 35
0012953ccall caml_call_realloc_stack
00129541pop r10
00129543jmp 0x1294a2
00129490

00129548
00129548 // align 0x10

00129550
00129550camlLatexscan.after_input_1926:
00129550lea r10, [rsp-352]
00129558cmp r10, [r14+40]
0012955cjb 0x1295e6
00129562
00129562loc_129562:
00129562sub rsp, 16
00129566mov rsi, rax
00129569mov [rsp], rbx
0012956dlea r11, [rip+48]
00129574push r11
00129576push [r14+48]
0012957amov [r14+48], rsp
0012957emov rdi, [rdi+24]
00129582mov rbx, [rdi+40]
00129586mov rax, [rdi+32]
0012958amov rdx, [rdi+24]
0012958elea rdi, [rip+0x170a5b]
00129595call camlLatexscan.do_expand_command_1473
0012959apop [r14+48]
0012959eadd rsp, 8
001295a2jmp 0x1295cc
001295a4call Stdlib.Printexc.to_string
001295a9mov [rsp+8], rax
001295aelea rax, [rip+0x170943]
001295b5call Stdlib.Printf.sprintf
001295bamov rbx, rax
001295bdmov rdi, [rbx]
001295c0mov rax, [rsp+8]
001295c5call rdi
001295c7call camlMisc.warning_287
001295cc
001295ccloc_1295cc:
001295cclea rax, [rip+0x170a1d]
001295d3mov rbx, [rsp]
001295d7call camlLatexmacros.replace_969
001295dcmov eax, 1
001295e1add rsp, 16
001295e5ret
001295e6
001295e6loc_1295e6:
001295e6push 37
001295e8call caml_call_realloc_stack
001295edpop r10
001295efjmp 0x129562
00129550

001295f4
001295f4 // align 0x10

00129600
00129600camlLatexscan.input_file_1965:
00129600lea r10, [rsp-384]
00129608cmp r10, [r14+40]
0012960cjb 0x129709
00129612
00129612loc_129612:
00129612sub rsp, 48
00129616mov [rsp+24], rax
0012961bmov [rsp+32], rbx
00129620mov [rsp+40], rdi
00129625mov [rsp+8], rsi
0012962amov [rsp], rdx
0012962esub r15, 40
00129632cmp r15, [r14]
00129635jb 0x1296ff
0012963b
0012963bloc_12963b:
0012963blea rax, [r15+8]
0012963fadd rax, 16
00129643mov [rax-8], 2048
0012964blea rbx, [rip+0x1ed34e]
00129652mov rbx, [rbx+56]
00129656mov [rax], rbx
00129659lea rbx, [rip+0x170870]
00129660mov [rax+8], rbx
00129664lea rbx, [rax-16]
00129668mov [rbx-8], 1024
00129670mov [rbx], rax
00129673lea rax, [rip+0x170976]
0012967acall camlLatexmacros.replace_969
0012967fmov [rsp+16], rax
00129684lea r11, [rip+41]
0012968bpush r11
0012968dpush [r14+48]
00129691mov [r14+48], rsp
00129695mov rax, [rsp+40]
0012969amov rbx, [rsp+48]
0012969fmov rdi, [rsp+56]
001296a4call camlLexstate.input_file_1245
001296a9pop [r14+48]
001296adadd rsp, 8
001296b1jmp 0x1296e4
001296b3nop
001296b4mov [rsp+24], rax
001296b9mov rax, [rsp]
001296bdmov rdi, [rax+32]
001296c1mov rax, [rsp+8]
001296c6mov rbx, [rsp+16]
001296cbcall camlLatexscan.after_input_1926
001296d0mov rax, [rsp+24]
001296d5mov rsp, [r14+48]
001296d9pop [r14+48]
001296ddpop r11
001296dfjmp r11
001296e2nop
001296e4
001296e4loc_1296e4:
001296e4mov rax, [rsp]
001296e8mov rdi, [rax+32]
001296ecmov rax, [rsp+8]
001296f1mov rbx, [rsp+16]
001296f6add rsp, 48
001296fajmp 0x129550
001296ff
001296ffloc_1296ff:
001296ffcall caml_call_gc
00129704jmp 0x12963b
00129709
00129709loc_129709:
00129709push 41
0012970bcall caml_call_realloc_stack
00129710pop r10
00129712jmp 0x129612
00129600

00129717
00129717 // align 0x10

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