Similarity

0012e9e0
0012e9e0camlLatexscan.fun_5812:
0012e9e0lea r10, [rsp-384]
0012e9e8cmp r10, [r14+40]
0012e9ecjb 0x12ebe4
0012e9f2
0012e9f2loc_12e9f2:
0012e9f2sub rsp, 32
0012e9f6mov [rsp+8], rax
0012e9fbmov [rsp+24], rbx
0012ea00mov rbx, [rbx+40]
0012ea04call camlLatexscan.get_csname_1908
0012ea09mov [rsp+16], rax
0012ea0emov rax, [rsp+24]
0012ea13mov rbx, [rax+40]
0012ea17mov rax, [rsp+8]
0012ea1ccall camlLatexscan.get_csname_1908
0012ea21mov [rsp], rax
0012ea25lea r11, [rip+160]
0012ea2cpush r11
0012ea2epush [r14+48]
0012ea32mov [r14+48], rsp
0012ea36lea r11, [rip+35]
0012ea3dpush r11
0012ea3fpush [r14+48]
0012ea43mov [r14+48], rsp
0012ea47mov rax, [rsp+48]
0012ea4ccall camlLatexmacros.find_fail_942
0012ea51mov [rsp+48], rax
0012ea56pop [r14+48]
0012ea5aadd rsp, 8
0012ea5ejmp 0x12ea98
0012ea60lea rbx, [rip+0x1e5f01]
0012ea67mov rbx, [rbx]
0012ea6acmp rax, rbx
0012ea6djne 0x12ea88
0012ea6fmov rax, [rsp+40]
0012ea74mov rax, [rax+16]
0012ea78mov rsp, [r14+48]
0012ea7cpop [r14+48]
0012ea80pop r11
0012ea82jmp r11
0012ea85nop [rax]
0012ea88
0012ea88loc_12ea88:
0012ea88mov rsp, [r14+48]
0012ea8cpop [r14+48]
0012ea90pop r11
0012ea92jmp r11
0012ea95nop [rax]
0012ea98
0012ea98loc_12ea98:
0012ea98mov rax, [rsp+16]
0012ea9dcall camlLatexmacros.find_fail_942
0012eaa2mov rbx, rax
0012eaa5mov rax, [rsp+40]
0012eaaamov rdi, [rax+48]
0012eaaemov rax, [rsp+32]
0012eab3call camlLatexscan.same_expn_2372
0012eab8mov [rsp+16], rax
0012eabdpop [r14+48]
0012eac1add rsp, 8
0012eac5jmp 0x12eb64
0012eacanop
0012eaccmov rdi, [rsp+24]
0012ead1mov rbx, [rdi+16]
0012ead5cmp rax, rbx
0012ead8jne 0x12eb34
0012eadamov [rsp+24], rdi
0012eadflea r11, [rip+38]
0012eae6push r11
0012eae8push [r14+48]
0012eaecmov [r14+48], rsp
0012eaf0mov rax, [rsp+16]
0012eaf5call camlLatexmacros.find_fail_942
0012eafamov eax, 1
0012eaffpop [r14+48]
0012eb03add rsp, 8
0012eb07jmp 0x12eb60
0012eb09nop [rax]
0012eb0clea rbx, [rip+0x1e5e55]
0012eb13mov rbx, [rbx]
0012eb16cmp rax, rbx
0012eb19jne 0x12eb24
0012eb1bmov eax, 3
0012eb20jmp 0x12eb60
0012eb22nop
0012eb24
0012eb24loc_12eb24:
0012eb24mov rsp, [r14+48]
0012eb28pop [r14+48]
0012eb2cpop r11
0012eb2ejmp r11
0012eb31nop [rax]
0012eb34
0012eb34loc_12eb34:
0012eb34lea rbx, [rip+0x1e5e2d]
0012eb3bmov rbx, [rbx]
0012eb3ecmp rax, rbx
0012eb41jne 0x12eb50
0012eb43mov [rsp+24], rdi
0012eb48mov eax, 1
0012eb4djmp 0x12eb60
0012eb4fnop
0012eb50
0012eb50loc_12eb50:
0012eb50mov rsp, [r14+48]
0012eb54pop [r14+48]
0012eb58pop r11
0012eb5ajmp r11
0012eb5dnop [rax]
0012eb60
0012eb60loc_12eb60:
0012eb60mov [rsp], rax
0012eb64
0012eb64loc_12eb64:
0012eb64lea rbx, [rip+0x1fb505]
0012eb6bmov rbx, [rbx+80]
0012eb6fmov rbx, [rbx]
0012eb72cmp rbx, 5
0012eb76jle 0x12eba0
0012eb78cmp rax, 1
0012eb7cje 0x12eb88
0012eb7elea rbx, [rip+0x169d3b]
0012eb85jmp 0x12eb8f
0012eb87nop
0012eb88
0012eb88loc_12eb88:
0012eb88lea rbx, [rip+0x1695d1]
0012eb8f
0012eb8floc_12eb8f:
0012eb8flea rax, [rip+0x169e32]
0012eb96call camlStdlib.$5e_139
0012eb9bcall camlStdlib.prerr_endline_390
0012eba0
0012eba0loc_12eba0:
0012eba0mov rax, [rsp]
0012eba4cmp rax, 1
0012eba8je 0x12ebc4
0012ebaamov rax, [rsp+24]
0012ebafmov rbx, [rax+32]
0012ebb3mov rax, [rsp+8]
0012ebb8add rsp, 32
0012ebbcjmp 0x127b00
0012ebc1nop [rax]
0012ebc4
0012ebc4loc_12ebc4:
0012ebc4mov rax, [rsp+24]
0012ebc9mov rdi, [rax+24]
0012ebcdadd rdi, 24
0012ebd1mov ebx, 361
0012ebd6mov rax, [rsp+8]
0012ebdbadd rsp, 32
0012ebdfjmp 0x118e50
0012ebe4
0012ebe4loc_12ebe4:
0012ebe4push 41
0012ebe6call caml_call_realloc_stack
0012ebebpop r10
0012ebedjmp 0x12e9f2
0012e9e0

0012ebf2
0012ebf2 // align 0x10

0012ec00
0012ec00camlLatexscan.fun_5826:
0012ec00lea r10, [rsp-352]
0012ec08cmp r10, [r14+40]
0012ec0cjb 0x12eca1
0012ec12
0012ec12loc_12ec12:
0012ec12sub rsp, 16
0012ec16mov [rsp+8], rax
0012ec1bmov [rsp], rbx
0012ec1fmov rbx, [rbx+32]
0012ec23call camlLatexscan.get_csname_1908
0012ec28lea r11, [rip+53]
0012ec2fpush r11
0012ec31push [r14+48]
0012ec35mov [r14+48], rsp
0012ec39call camlLatexmacros.find_fail_942
0012ec3emov rax, [rsp+16]
0012ec43mov rdi, [rax+16]
0012ec47add rdi, 24
0012ec4bmov ebx, 361
0012ec50mov rax, [rsp+24]
0012ec55call Latexscan..ocaml_lex_skip_false_rec
0012ec5apop [r14+48]
0012ec5eadd rsp, 8
0012ec62jmp 0x12ec9c
0012ec64lea rbx, [rip+0x1e5cfd]
0012ec6bmov rbx, [rbx]
0012ec6ecmp rax, rbx
0012ec71jne 0x12ec8c
0012ec73mov rax, [rsp]
0012ec77mov rbx, [rax+24]
0012ec7bmov rax, [rsp+8]
0012ec80add rsp, 16
0012ec84jmp 0x127b00
0012ec89nop [rax]
0012ec8c
0012ec8cloc_12ec8c:
0012ec8cmov rsp, [r14+48]
0012ec90pop [r14+48]
0012ec94pop r11
0012ec96jmp r11
0012ec99nop [rax]
0012ec9c
0012ec9cloc_12ec9c:
0012ec9cadd rsp, 16
0012eca0ret
0012eca1
0012eca1loc_12eca1:
0012eca1push 37
0012eca3call caml_call_realloc_stack
0012eca8pop r10
0012ecaajmp 0x12ec12
0012ec00

0012ecaf
0012ecaf // align 0x10

0012ecb0
0012ecb0camlLatexscan.fun_5836:
0012ecb0lea r10, [rsp-336]
0012ecb8cmp r10, [r14+40]
0012ecbcjb 0x12ed36
0012ecbe
0012ecbeloc_12ecbe:
0012ecbesub rsp, 16
0012ecc2mov [rsp+8], rax
0012ecc7mov [rsp], rbx
0012eccbmov rbx, [rbx+40]
0012eccfcall camlLatexscan.get_csname_1908
0012ecd4mov rbx, [rsp]
0012ecd8mov rbx, [rbx+32]
0012ecdccall camlLatexscan.get_prim_1896
0012ece1lea rsi, [rip+0x16f980]
0012ece8mov rdi, rax
0012ecebmov rbx, rsp
0012eceemov rsp, [r14+64]
0012ecf2call caml_string_notequal
0012ecf7mov rsp, rbx
0012ecfacmp rax, 1
0012ecfeje 0x12ed20
0012ed00mov rax, [rsp]
0012ed04mov rdi, [rax+16]
0012ed08add rdi, 24
0012ed0cmov ebx, 361
0012ed11mov rax, [rsp+8]
0012ed16add rsp, 16
0012ed1ajmp 0x118e50
0012ed1f
0012ed1f 90 .
0012ed20
0012ed20loc_12ed20:
0012ed20mov rax, [rsp]
0012ed24mov rbx, [rax+24]
0012ed28mov rax, [rsp+8]
0012ed2dadd rsp, 16
0012ed31jmp 0x127b00
0012ed36
0012ed36loc_12ed36:
0012ed36push 35
0012ed38call caml_call_realloc_stack
0012ed3dpop r10
0012ed3fjmp 0x12ecbe
0012ecb0

0012ed44
0012ed44 // align 0x10

0012ed50
0012ed50camlLatexscan.fun_5848:
0012ed50mov rdi, [rbx+16]
0012ed54add rdi, 24
0012ed58mov ebx, 361
0012ed5djmp 0x118e50
0012ed50

0012ed62
0012ed62 // align 0x10

0012ed70
0012ed70camlLatexscan.fun_5854:
0012ed70mov rbx, [rbx+16]
0012ed74jmp 0x127b00
0012ed70

0012ed79
0012ed79 // align 0x10

0012ed80
0012ed80camlLatexscan.fun_5863:
0012ed80mov rsi, rax
0012ed83mov rax, [rbx+16]
0012ed87mov rdi, [rbx+24]
0012ed8bmov rbx, rsi
0012ed8ejmp 0x12e070
0012ed80

0012ed93
0012ed93 // align 0x10

0012eda0
0012eda0camlLatexscan.fun_5874:
0012eda0mov rsi, rax
0012eda3mov rax, [rbx+16]
0012eda7mov rdi, [rbx+24]
0012edabmov rbx, rsi
0012edaejmp 0x12e070
0012eda0

0012edb3
0012edb3 // align 0x10

0012edc0
0012edc0camlLatexscan.fun_5882:
0012edc0lea rdi, [rip+0x1e7bd9]
0012edc7mov rdi, [rdi+728]
0012edcemov rdi, [rdi]
0012edd1test dil, 1
0012edd5je 0x12ede0
0012edd7mov rbx, [rbx+32]
0012eddbjmp 0x127b00
0012ede0
0012ede0loc_12ede0:
0012ede0mov rdi, [rbx+24]
0012ede4add rdi, 24
0012ede8mov ebx, 361
0012ededjmp 0x118e50
0012edc0

0012edf2
0012edf2 // align 0x10

0012ee00
0012ee00camlLatexscan.bib_ref_2398:
0012ee00lea r10, [rsp-352]
0012ee08cmp r10, [r14+40]
0012ee0cjb 0x12eeb5
0012ee12
0012ee12loc_12ee12:
0012ee12sub rsp, 32
0012ee16mov [rsp+16], rax
0012ee1bmov [rsp+8], rbx
0012ee20mov [rsp], rdi
0012ee24mov [rsp+24], rsi
0012ee29lea rbx, [rip+0x16ebd8]
0012ee30call camlStdlib.$5e_139
0012ee35mov rbx, rax
0012ee38lea rax, [rip+0x169889]
0012ee3fcall camlStdlib.$5e_139
0012ee44call camlAuxx.swrite_455
0012ee49lea rbx, [rip+0x16f028]
0012ee50mov rax, [rsp]
0012ee54call camlStdlib.$5e_139
0012ee59mov rbx, rax
0012ee5clea rax, [rip+0x16a99d]
0012ee63call camlStdlib.$5e_139
0012ee68mov rbx, rax
0012ee6bmov rax, [rsp+8]
0012ee70call camlStdlib.$5e_139
0012ee75mov rbx, rax
0012ee78lea rax, [rip+0x169819]
0012ee7fcall camlStdlib.$5e_139
0012ee84mov rbx, rax
0012ee87mov rax, [rsp+16]
0012ee8ccall camlStdlib.$5e_139
0012ee91mov rbx, rax
0012ee94lea rax, [rip+0x16980d]
0012ee9bcall camlStdlib.$5e_139
0012eea0mov rbx, rax
0012eea3mov rax, [rsp+24]
0012eea8mov rax, [rax+24]
0012eeacadd rsp, 32
0012eeb0jmp 0x17f150
0012eeb5
0012eeb5loc_12eeb5:
0012eeb5push 37
0012eeb7call caml_call_realloc_stack
0012eebcpop r10
0012eebejmp 0x12ee12
0012ee00

0012eec3
0012eec3 // align 0x10

0012eed0
0012eed0camlLatexscan.cite_arg_2403:
0012eed0lea r10, [rsp-328]
0012eed8cmp r10, [r14+40]
0012eedcjb 0x12ef34
0012eede
0012eedeloc_12eede:
0012eedesub rsp, 8
0012eee2mov [rsp], rbx
0012eee6lea rbx, [rip+0x16ef8b]
0012eeedcall camlStdlib.$5e_139
0012eef2mov rbx, rax
0012eef5lea rax, [rip+0x169784]
0012eefccall camlStdlib.$5e_139
0012ef01mov rbx, [rsp]
0012ef05mov rbx, [rbx+16]
0012ef09call camlLatexscan.get_prim_1896
0012ef0emov rbx, rax
0012ef11mov eax, 3
0012ef16call camlAuxx.bget_399
0012ef1btest al, 1
0012ef1dje 0x12ef2c
0012ef1flea rax, [rip+0x16f742]
0012ef26add rsp, 8
0012ef2aret
0012ef2b
0012ef2b 90 .
0012ef2c
0012ef2cloc_12ef2c:
0012ef2cmov rax, [rax]
0012ef2fadd rsp, 8
0012ef33ret
0012ef34
0012ef34loc_12ef34:
0012ef34push 34
0012ef36call caml_call_realloc_stack
0012ef3bpop r10
0012ef3djmp 0x12eede
0012eed0

0012ef3f
0012ef3f // align 0x10

0012ef40
0012ef40camlLatexscan.fun_5900:
0012ef40lea r10, [rsp-368]
0012ef48cmp r10, [r14+40]
0012ef4cjb 0x12f1d1
0012ef52
0012ef52loc_12ef52:
0012ef52sub rsp, 48
0012ef56mov rdi, rax
0012ef59mov [rsp], rdi
0012ef5dmov [rsp+40], rbx
0012ef62lea rax, [rip+0x16f6ff]
0012ef69mov rbx, rdi
0012ef6ccall camlSubst.subst_opt_800
0012ef71mov [rsp+32], rax
0012ef76lea rax, [rip+0x1e7a23]
0012ef7dmov rax, [rax+184]
0012ef84mov rax, [rax]
0012ef87mov [rsp+16], rax
0012ef8clea rax, [rip+0x16f6d5]
0012ef93mov rbx, [rsp]
0012ef97call camlSubst.subst_opt_800
0012ef9cmov [rsp+8], rax
0012efa1lea rax, [rip+0x1e79f8]
0012efa8mov rax, [rax+184]
0012efafmov rax, [rax]
0012efb2mov [rsp+24], rax
0012efb7mov rax, [rsp+40]
0012efbcmov rbx, [rax+24]
0012efc0mov rax, [rsp]
0012efc4call camlLatexscan.check_alltt_skip_1797
0012efc9mov rax, [rsp]
0012efcdcall camlLexstate.save_cite_arg_1036
0012efd2call camlSubst.subst_list_790
0012efd7mov [rsp], rax
0012efdbmov rax, [rsp+40]
0012efe0mov rax, [rax+48]
0012efe4mov rbx, [rax+328]
0012efeblea rax, [rip+0x16f676]
0012eff2mov rdi, [rbx]
0012eff5call rdi
0012eff7lea rbx, [rip+0x16965a]
0012effemov rax, [rsp+40]
0012f003mov rax, [rax+16]
0012f007call camlLexstate.scan_this_1185
0012f00cmov rax, [rsp+16]
0012f011cmp rax, 1
0012f015je 0x12f07b
0012f017mov rax, [rsp+24]
0012f01ccmp rax, 1
0012f020je 0x12f07b
0012f022mov rax, [rsp+32]
0012f027call camlLexstate.is_empty_list_564
0012f02ccmp rax, 1
0012f030jne 0x12f07b
0012f032sub r15, 24
0012f036cmp r15, [r14]
0012f039jb 0x12f1c7
0012f03f
0012f03floc_12f03f:
0012f03flea rax, [r15+8]
0012f043mov [rax-8], 2048
0012f04blea rbx, [rip+0x1695ee]
0012f052mov [rax], rbx
0012f055mov rbx, [rsp+32]
0012f05amov [rax+8], rbx
0012f05elea rbx, [rip+0x16aceb]
0012f065call camlStdlib.$40_196
0012f06amov rbx, rax
0012f06dmov rax, [rsp+40]
0012f072mov rax, [rax+16]
0012f076call camlLexstate.scan_this_list_1186
0012f07b
0012f07bloc_12f07b:
0012f07blea rbx, [rip+0x1695a6]
0012f082mov rax, [rsp+40]
0012f087mov rax, [rax+16]
0012f08bcall camlLexstate.scan_this_1185
0012f090mov rax, [rsp+16]
0012f095cmp rax, 1
0012f099je 0x12f0cc
0012f09bmov rbx, [rsp+24]
0012f0a0cmp rbx, 1
0012f0a4je 0x12f0cc
0012f0a6sub r15, 16
0012f0aacmp r15, [r14]
0012f0adjb 0x12f1bd
0012f0b3
0012f0b3loc_12f0b3:
0012f0b3lea rax, [r15+8]
0012f0b7mov [rax-8], 1024
0012f0bfmov rbx, [rsp+8]
0012f0c4mov [rax], rbx
0012f0c7jmp 0x12f0fd
0012f0c9nop [rax]
0012f0cc
0012f0ccloc_12f0cc:
0012f0cccmp rax, 1
0012f0d0je 0x12f0f8
0012f0d2sub r15, 16
0012f0d6cmp r15, [r14]
0012f0d9jb 0x12f1b3
0012f0df
0012f0dfloc_12f0df:
0012f0dflea rax, [r15+8]
0012f0e3mov [rax-8], 1024
0012f0ebmov rbx, [rsp+32]
0012f0f0mov [rax], rbx
0012f0f3jmp 0x12f0fd
0012f0f5nop [rax]
0012f0f8
0012f0f8loc_12f0f8:
0012f0f8mov eax, 1
0012f0fd
0012f0fdloc_12f0fd:
0012f0fdtest al, 1
0012f0ffje 0x12f10c
0012f101lea rax, [rip+0x16f560]
0012f108jmp 0x12f11b
0012f10anop
0012f10c
0012f10cloc_12f10c:
0012f10cmov rbx, [rax]
0012f10flea rax, [rip+0x16f552]
0012f116call Stdlib.String.concat
0012f11b
0012f11bloc_12f11b:
0012f11bsub r15, 56
0012f11fcmp r15, [r14]
0012f122jb 0x12f1a9
0012f128
0012f128loc_12f128:
0012f128lea rbx, [r15+8]
0012f12cmov [rbx-8], 6391
0012f134lea rdi, [rip+165]
0012f13bmov [rbx], rdi
0012f13emov rdi, 0x100000000000005
0012f148mov [rbx+8], rdi
0012f14cmov rsi, [rsp+40]
0012f151mov rdi, [rsi+16]
0012f155mov [rbx+16], rdi
0012f159mov rdi, [rsi+32]
0012f15dmov [rbx+24], rdi
0012f161mov rdi, [rsi+40]
0012f165mov [rbx+32], rdi
0012f169mov [rbx+40], rax
0012f16dmov rax, [rsp]
0012f171call camlLatexscan.do_rec_2417
0012f176lea rbx, [rip+0x16944b]
0012f17dmov rax, [rsp+40]
0012f182mov rax, [rax+16]
0012f186call camlLexstate.scan_this_1185
0012f18bmov rax, [rsp+40]
0012f190mov rax, [rax+48]
0012f194mov rbx, [rax+344]
0012f19bmov eax, 1
0012f1a0mov rdi, [rbx]
0012f1a3add rsp, 48
0012f1a7jmp rdi
0012f1a9
0012f1a9loc_12f1a9:
0012f1a9call caml_call_gc
0012f1aejmp 0x12f128
0012f1b3
0012f1b3loc_12f1b3:
0012f1b3call caml_call_gc
0012f1b8jmp 0x12f0df
0012f1bd
0012f1bdloc_12f1bd:
0012f1bdcall caml_call_gc
0012f1c2jmp 0x12f0b3
0012f1c7
0012f1c7loc_12f1c7:
0012f1c7call caml_call_gc
0012f1ccjmp 0x12f03f
0012f1d1
0012f1d1loc_12f1d1:
0012f1d1push 39
0012f1d3call caml_call_realloc_stack
0012f1d8pop r10
0012f1dajmp 0x12ef52
0012ef40

0012f1df
0012f1df // align 0x10

0012f1e0
0012f1e0camlLatexscan.do_rec_2417:
0012f1e0lea r10, [rsp-344]
0012f1e8cmp r10, [r14+40]
0012f1ecjb 0x12f2ba
0012f1f2
0012f1f2loc_12f1f2:
0012f1f2sub rsp, 24
0012f1f6
0012f1f6loc_12f1f6:
0012f1f6cmp r15, [r14]
0012f1f9jbe 0x12f2b0
0012f1ff
0012f1ffloc_12f1ff:
0012f1fftest al, 1
0012f201je 0x12f210
0012f203mov eax, 1
0012f208add rsp, 24
0012f20cret
0012f20d
0012f20d 0f 1f 00 ...
0012f210
0012f210loc_12f210:
0012f210mov [rsp+8], rbx
0012f215mov rdi, [rax]
0012f218mov [rsp+16], rdi
0012f21dmov rsi, [rax+8]
0012f221test sil, 1
0012f225je 0x12f25c
0012f227mov rax, [rbx+40]
0012f22bmov [rsp], rax
0012f22fmov rbx, [rbx+32]
0012f233mov rax, rdi
0012f236call camlLatexscan.cite_arg_2403
0012f23bmov rbx, rax
0012f23emov rax, [rsp+8]
0012f243mov rsi, [rax+24]
0012f247mov rax, [rsp+16]
0012f24cmov rdi, [rsp]
0012f250add rsp, 24
0012f254jmp 0x12ee00
0012f259
0012f259 0f 1f 00 ...
0012f25c
0012f25cloc_12f25c:
0012f25cmov [rsp], rax
0012f260mov rbx, [rbx+32]
0012f264mov rax, rdi
0012f267call camlLatexscan.cite_arg_2403
0012f26cmov rbx, rax
0012f26fmov rax, [rsp+8]
0012f274mov rsi, [rax+24]
0012f278lea rdi, [rip+0x16f3e9]
0012f27fmov rax, [rsp+16]
0012f284call camlLatexscan.bib_ref_2398
0012f289lea rbx, [rip+0x169370]
0012f290mov rax, [rsp+8]
0012f295mov rax, [rax+16]
0012f299call camlLexstate.scan_this_1185
0012f29emov rax, [rsp]
0012f2a2mov rax, [rax+8]
0012f2a6mov rbx, [rsp+8]
0012f2abjmp 0x12f1f6
0012f2b0
0012f2b0loc_12f2b0:
0012f2b0call caml_call_gc
0012f2b5jmp 0x12f1ff
0012f2ba
0012f2baloc_12f2ba:
0012f2bapush 36
0012f2bccall caml_call_realloc_stack
0012f2c1pop r10
0012f2c3jmp 0x12f1f2
0012f1e0

0012f2c8
0012f2c8 // align 0x10

0012f2d0
0012f2d0camlLatexscan.fun_5940:
0012f2d0lea r10, [rsp-328]
0012f2d8cmp r10, [r14+40]
0012f2dcjb 0x12f313
0012f2de
0012f2deloc_12f2de:
0012f2desub rsp, 8
0012f2e2mov [rsp], rbx
0012f2e6lea rbx, [rip+0x1ebe63]
0012f2edmov rdi, [rbx+168]
0012f2f4add rdi, 24
0012f2f8mov ebx, 121
0012f2fdcall Save..ocaml_lex_cite_arg_rec
0012f302mov rbx, [rsp]
0012f306mov rbx, [rbx+16]
0012f30aadd rsp, 8
0012f30ejmp 0x126550
0012f313
0012f313loc_12f313:
0012f313push 34
0012f315call caml_call_realloc_stack
0012f31apop r10
0012f31cjmp 0x12f2de
0012f2d0

0012f31e
0012f31e // align 0x10

0012f320
0012f320camlLatexscan.fun_5948:
0012f320lea r10, [rsp-320]
0012f328cmp r10, [r14+40]
0012f32cjb 0x12f34e
0012f32e
0012f32eloc_12f32e:
0012f32ecall camlLexstate.save_body_1031
0012f333mov rbx, rax
0012f336lea rax, [rip+0x1c6523]
0012f33dmov rax, [rax+280]
0012f344call camlGet.do_get_int_873
0012f349jmp 0x167460
0012f34e
0012f34eloc_12f34e:
0012f34epush 33
0012f350call caml_call_realloc_stack
0012f355pop r10
0012f357jmp 0x12f32e
0012f320

0012f359
0012f359 // align 0x10

0012f360
0012f360camlLatexscan.fun_5952:
0012f360lea r10, [rsp-328]
0012f368cmp r10, [r14+40]
0012f36cjb 0x12f3c7
0012f36e
0012f36eloc_12f36e:
0012f36esub rsp, 8
0012f372mov [rsp], rbx
0012f376cmp r15, [r14]
0012f379jbe 0x12f3c0
0012f37b
0012f37bloc_12f37b:
0012f37bcall camlLexstate.save_body_1031
0012f380mov rbx, rax
0012f383lea rax, [rip+0x1c64d6]
0012f38amov rax, [rax+280]
0012f391call camlGet.do_get_int_873
0012f396mov rbx, [rsp]
0012f39amov rbx, [rbx+16]
0012f39emov rbx, [rbx+352]
0012f3a5mov [rsp], rbx
0012f3a9call camlFoot.get_anchor_428
0012f3aecall camlStdlib.string_of_int_175
0012f3b3mov rbx, [rsp]
0012f3b7mov rdi, [rbx]
0012f3baadd rsp, 8
0012f3bejmp rdi
0012f3c0
0012f3c0loc_12f3c0:
0012f3c0call caml_call_gc
0012f3c5jmp 0x12f37b
0012f3c7
0012f3c7loc_12f3c7:
0012f3c7push 34
0012f3c9call caml_call_realloc_stack
0012f3cepop r10
0012f3d0jmp 0x12f36e
0012f360

0012f3d2
0012f3d2 // align 0x10

0012f3e0
0012f3e0camlLatexscan.fun_5958:
0012f3e0lea r10, [rsp-344]
0012f3e8cmp r10, [r14+40]
0012f3ecjb 0x12f4c5
0012f3f2
0012f3f2loc_12f3f2:
0012f3f2sub rsp, 24
0012f3f6mov [rsp], rax
0012f3famov [rsp+8], rbx
0012f3ffmov eax, 1
0012f404call camlLexstate.start_lexstate_907
0012f409mov rax, [rsp]
0012f40dcall camlLexstate.save_body_1031
0012f412mov rbx, rax
0012f415lea rax, [rip+0x1c6444]
0012f41cmov rax, [rax+280]
0012f423call camlGet.do_get_int_873
0012f428mov [rsp+16], rax
0012f42dmov rax, [rsp]
0012f431call camlLexstate.save_arg_1030
0012f436mov rdx, rax
0012f439mov rcx, [rsp+8]
0012f43emov rsi, [rcx+32]
0012f442mov rax, [rcx+40]
0012f446mov rdi, [rax+56]
0012f44alea rax, [rip+0x1e754f]
0012f451mov rbx, [rax+472]
0012f458mov rax, [rax+464]
0012f45fmov rcx, [rcx+16]
0012f463call camlLatexscan.do_get_this_1062
0012f468mov [rsp], rax
0012f46cmov rax, [rsp+16]
0012f471call camlStdlib.string_of_int_175
0012f476lea rbx, [rip+0x16e9fb]
0012f47dcall camlStdlib.$5e_139
0012f482mov rbx, rax
0012f485lea rax, [rip+0x1690c4]
0012f48ccall camlStdlib.$5e_139
0012f491mov rbx, rax
0012f494mov rdi, [rsp+8]
0012f499mov rax, [rdi+32]
0012f49dmov rdi, [rdi+24]
0012f4a1call camlLatexscan.get_this_string_1113
0012f4a6mov rbx, rax
0012f4a9mov rax, [rsp+16]
0012f4aemov rdi, [rsp]
0012f4b2call camlFoot.register_432
0012f4b7mov eax, 1
0012f4bcadd rsp, 24
0012f4c0jmp 0x17d370
0012f4c5
0012f4c5loc_12f4c5:
0012f4c5push 36
0012f4c7call caml_call_realloc_stack
0012f4ccpop r10
0012f4cejmp 0x12f3f2
0012f3e0

0012f4d3
0012f4d3 // align 0x10

0012f4e0
0012f4e0camlLatexscan.foot_noteflush_2441:
0012f4e0lea r10, [rsp-352]
0012f4e8cmp r10, [r14+40]
0012f4ecjb 0x12f5cf
0012f4f2
0012f4f2loc_12f4f2:
0012f4f2sub rsp, 32
0012f4f6mov [rsp+16], rax
0012f4fbmov rax, rbx
0012f4femov [rsp+8], rdi
0012f503mov rbx, [rdi+40]
0012f507mov [rsp], rbx
0012f50bcall camlLexstate.save_arg_1030
0012f510mov rbx, rax
0012f513mov rax, [rsp]
0012f517mov rdi, [rax+16]
0012f51bmov rax, [rdi+16]
0012f51fmov rdi, [rdi+24]
0012f523call camlLatexscan.do_get_prim_onarg_1872
0012f528mov [rsp+24], rax
0012f52dmov rax, [rsp+8]
0012f532mov rbx, [rax+32]
0012f536lea rax, [rip+0x168ffb]
0012f53dcall camlLatexscan.get_prim_1896
0012f542mov [rsp], rax
0012f546mov eax, 1
0012f54bcall camlLexstate.start_lexstate_907
0012f550mov rdx, [rsp+8]
0012f555mov rax, [rdx+24]
0012f559lea rbx, [rip+0x1e7440]
0012f560mov rdi, [rbx+632]
0012f567sub r15, 40
0012f56bcmp r15, [r14]
0012f56ejb 0x12f5c8
0012f570
0012f570loc_12f570:
0012f570lea rbx, [r15+8]
0012f574mov [rbx-8], 4343
0012f57clea rsi, [rip+93]
0012f583mov [rbx], rsi
0012f586mov rsi, 0x100000000000005
0012f590mov [rbx+8], rsi
0012f594mov [rbx+16], rax
0012f598mov [rbx+24], rdi
0012f59cmov rax, [rdx+48]
0012f5a0mov rdi, [rax+352]
0012f5a7mov rax, [rsp+16]
0012f5acmov rsi, [rsp]
0012f5b0mov rdx, [rsp+24]
0012f5b5call camlFoot.flush_441
0012f5bamov eax, 1
0012f5bfadd rsp, 32
0012f5c3jmp 0x17d370
0012f5c8
0012f5c8loc_12f5c8:
0012f5c8call caml_call_gc
0012f5cdjmp 0x12f570
0012f5cf
0012f5cfloc_12f5cf:
0012f5cfpush 37
0012f5d1call caml_call_realloc_stack
0012f5d6pop r10
0012f5d8jmp 0x12f4f2
0012f4e0

0012f5dd
0012f5dd // align 0x10

0012f5e0
0012f5e0camlLatexscan.fun_6003:
0012f5e0mov rdi, rax
0012f5e3mov rax, [rbx+16]
0012f5e7mov rbx, rdi
0012f5eajmp 0x17f150
0012f5e0

0012f5ef
0012f5ef // align 0x10

0012f5f0
0012f5f0camlLatexscan.fun_6009:
0012f5f0mov rsi, rax
0012f5f3mov rax, [rbx+16]
0012f5f7mov rdi, [rbx+24]
0012f5fbmov rbx, rsi
0012f5fejmp 0x12f4e0
0012f5f0

0012f603
0012f603 // align 0x10

0012f610
0012f610camlLatexscan.fun_6020:
0012f610mov rsi, rax
0012f613mov rax, [rbx+16]
0012f617mov rdi, [rbx+24]
0012f61bmov rbx, rsi
0012f61ejmp 0x12f4e0
0012f610

0012f623
0012f623 // align 0x10

0012f630
0012f630camlLatexscan.fun_6028:
0012f630mov eax, 1
0012f635jmp 0x167670
0012f630

0012f63a
0012f63a // align 0x10

0012f640
0012f640camlLatexscan.fun_6031:
0012f640mov eax, 1
0012f645jmp 0x167ba0
0012f640

0012f64a
0012f64a // align 0x10

0012f650
0012f650camlLatexscan.fun_6034:
0012f650lea r10, [rsp-368]
0012f658cmp r10, [r14+40]
0012f65cjb 0x12f7b5
0012f662
0012f662loc_12f662:
0012f662sub rsp, 32
0012f666mov [rsp+24], rax
0012f66bmov [rsp+8], rbx
0012f670mov rbx, [rbx+64]
0012f674mov [rsp], rbx
0012f678call camlLexstate.save_arg_1030
0012f67dmov rbx, rax
0012f680mov rax, [rsp]
0012f684mov rdi, [rax+16]
0012f688mov rax, [rdi+16]
0012f68cmov rdi, [rdi+24]
0012f690call camlLatexscan.do_get_prim_onarg_1872
0012f695mov [rsp], rax
0012f699mov rbx, [rsp+8]
0012f69emov rbx, [rbx+16]
0012f6a2call camlLatexscan.new_env_859
0012f6a7mov rax, [rsp+8]
0012f6acmov rdi, [rax+24]
0012f6b0lea rbx, [rip+0x16efb1]
0012f6b7mov rax, rbx
0012f6bacall camlLatexscan.top_open_block_1029
0012f6bflea rax, [rip+0x1fabfa]
0012f6c6mov rbx, [rsp]
0012f6cacall camlStdlib.$5e_139
0012f6cfmov r13, rax
0012f6d2mov r12, [rsp+8]
0012f6d7mov rdi, [r12+32]
0012f6dcmov rax, [rdi]
0012f6dfmov [rsp+16], rax
0012f6e4sub r15, 24
0012f6e8cmp r15, [r14]
0012f6ebjb 0x12f7ab
0012f6f1
0012f6f1loc_12f6f1:
0012f6f1lea rsi, [r15+8]
0012f6f5mov [rsi-8], 2048
0012f6fdmov rax, [rsp]
0012f701mov [rsi], rax
0012f704mov rax, [rdi]
0012f707mov [rsi+8], rax
0012f70bmov rbx, rsp
0012f70emov rsp, [r14+64]
0012f712call caml_modify
0012f717mov rsp, rbx
0012f71alea r11, [rip+51]
0012f721push r11
0012f723push [r14+48]
0012f727mov [r14+48], rsp
0012f72bmov rbx, [r12+56]
0012f730mov rax, [r12+48]
0012f735mov rdx, [r12+40]
0012f73amov rdi, r13
0012f73dmov rsi, [rsp+40]
0012f742call camlLatexscan.do_expand_command_1473
0012f747pop [r14+48]
0012f74badd rsp, 8
0012f74fjmp 0x12f784
0012f751nop [rax]
0012f754mov r12, rax
0012f757mov rax, [rsp+8]
0012f75cmov rdi, [rax+32]
0012f760mov rsi, [rsp+16]
0012f765mov rbx, rsp
0012f768mov rsp, [r14+64]
0012f76ccall caml_modify
0012f771mov rsp, rbx
0012f774mov rax, r12
0012f777mov rsp, [r14+48]
0012f77bpop [r14+48]
0012f77fpop r11
0012f781jmp r11
0012f784
0012f784loc_12f784:
0012f784mov rax, [rsp+8]
0012f789mov rdi, [rax+32]
0012f78dmov rsi, [rsp+16]
0012f792mov rbx, rsp
0012f795mov rsp, [r14+64]
0012f799call caml_modify
0012f79emov rsp, rbx
0012f7a1mov eax, 1
0012f7a6add rsp, 32
0012f7aaret
0012f7ab
0012f7abloc_12f7ab:
0012f7abcall caml_call_gc
0012f7b0jmp 0x12f6f1
0012f7b5
0012f7b5loc_12f7b5:
0012f7b5push 39
0012f7b7call caml_call_realloc_stack
0012f7bcpop r10
0012f7bejmp 0x12f662
0012f650

0012f7c3
0012f7c3 // align 0x10

0012f7d0
0012f7d0camlLatexscan.fun_6066:
0012f7d0lea r10, [rsp-344]
0012f7d8cmp r10, [r14+40]
0012f7dcjb 0x12f880
0012f7e2
0012f7e2loc_12f7e2:
0012f7e2sub rsp, 24
0012f7e6mov [rsp+8], rax
0012f7ebmov [rsp+16], rbx
0012f7f0mov rbx, [rbx+56]
0012f7f4mov [rsp], rbx
0012f7f8call camlLexstate.save_arg_1030
0012f7fdmov rbx, rax
0012f800mov rax, [rsp]
0012f804mov rdi, [rax+16]
0012f808mov rax, [rdi+16]
0012f80cmov rdi, [rdi+24]
0012f810call camlLatexscan.do_get_prim_onarg_1872
0012f815mov rbx, rax
0012f818mov [rsp], rbx
0012f81clea rax, [rip+0x1faa8d]
0012f823call camlStdlib.$5e_139
0012f828mov rdi, rax
0012f82bmov rsi, [rsp+16]
0012f830mov rbx, [rsi+48]
0012f834mov rax, [rsi+40]
0012f838mov rdx, [rsi+32]
0012f83cmov rsi, [rsp+8]
0012f841call camlLatexscan.do_expand_command_1473
0012f846mov rax, [rsp+16]
0012f84bmov rbx, [rax+24]
0012f84fmov rax, [rbx+24]
0012f853mov rax, [rax+128]
0012f85amov rdi, [rbx+16]
0012f85elea rbx, [rip+0x16ee03]
0012f865call camlLatexscan.top_close_block_aux_1030
0012f86amov rax, [rsp+16]
0012f86fmov rbx, [rax+16]
0012f873mov rax, [rsp]
0012f877add rsp, 24
0012f87bjmp 0x123060
0012f880
0012f880loc_12f880:
0012f880push 36
0012f882call caml_call_realloc_stack
0012f887pop r10
0012f889jmp 0x12f7e2
0012f7d0

0012f88e
0012f88e // align 0x10

0012f890
0012f890camlLatexscan.fun_6096:
0012f890lea r10, [rsp-336]
0012f898cmp r10, [r14+40]
0012f89cjb 0x12f90a
0012f89e
0012f89eloc_12f89e:
0012f89esub rsp, 16
0012f8a2mov [rsp+8], rbx
0012f8a7mov rbx, [rbx+32]
0012f8abmov [rsp], rbx
0012f8afcall camlLexstate.save_arg_1030
0012f8b4mov rbx, rax
0012f8b7mov rax, [rsp]
0012f8bbmov rdi, [rax+16]
0012f8bfmov rax, [rdi+16]
0012f8c3mov rdi, [rdi+24]
0012f8c7call camlLatexscan.do_get_prim_onarg_1872
0012f8ccmov [rsp], rax
0012f8d0mov rax, [rsp+8]
0012f8d5mov rbx, [rax+24]
0012f8d9mov rax, [rbx+24]
0012f8ddmov rax, [rax+128]
0012f8e4mov rdi, [rbx+16]
0012f8e8lea rbx, [rip+0x16ed79]
0012f8efcall camlLatexscan.top_close_block_aux_1030
0012f8f4mov rax, [rsp+8]
0012f8f9mov rbx, [rax+16]
0012f8fdmov rax, [rsp]
0012f901add rsp, 16
0012f905jmp 0x123060
0012f90a
0012f90aloc_12f90a:
0012f90apush 35
0012f90ccall caml_call_realloc_stack
0012f911pop r10
0012f913jmp 0x12f89e
0012f890

0012f915
0012f915 // align 0x10

0012f920
0012f920camlLatexscan.fun_6118:
0012f920lea r10, [rsp-336]
0012f928cmp r10, [r14+40]
0012f92cjb 0x12f986
0012f92e
0012f92eloc_12f92e:
0012f92esub rsp, 16
0012f932mov [rsp+8], rbx
0012f937mov rbx, [rbx+32]
0012f93bmov [rsp], rbx
0012f93fcall camlLexstate.save_arg_1030
0012f944mov rbx, rax
0012f947mov rax, [rsp]
0012f94bmov rdi, [rax+16]
0012f94fmov rax, [rdi+16]
0012f953mov rdi, [rdi+24]
0012f957call camlLatexscan.do_get_prim_onarg_1872
0012f95cmov rbx, [rsp+8]
0012f961mov rbx, [rbx+16]
0012f965call camlLatexscan.new_env_859
0012f96amov rax, [rsp+8]
0012f96fmov rdi, [rax+24]
0012f973lea rbx, [rip+0x16ecee]
0012f97amov rax, rbx
0012f97dadd rsp, 16
0012f981jmp 0x123900
0012f986
0012f986loc_12f986:
0012f986push 35
0012f988call caml_call_realloc_stack
0012f98dpop r10
0012f98fjmp 0x12f92e
0012f920

0012f991
0012f991 // align 0x10

0012f9a0
0012f9a0camlLatexscan.append_to_opt_2460:
0012f9a0lea r10, [rsp-328]
0012f9a8cmp r10, [r14+40]
0012f9acjb 0x12fa04
0012f9ae
0012f9aeloc_12f9ae:
0012f9aesub rsp, 8
0012f9b2mov rdi, [rax-8]
0012f9b6shr rdi, 10
0012f9bacmp rdi, 2
0012f9bejl 0x12f9c8
0012f9c0mov [rsp], rax
0012f9c4jmp 0x12f9e8
0012f9c6
0012f9c6 66 90 f.
0012f9c8
0012f9c8loc_12f9c8:
0012f9c8mov rdi, [rax]
0012f9cbmov rsi, 0x700000000000000
0012f9d5cmp rdi, rsi
0012f9d8jne 0x12f9e4
0012f9damov rax, rbx
0012f9ddadd rsp, 8
0012f9e1ret
0012f9e2
0012f9e2 66 90 f.
0012f9e4
0012f9e4loc_12f9e4:
0012f9e4mov [rsp], rax
0012f9e8
0012f9e8loc_12f9e8:
0012f9e8lea rax, [rip+0x16e479]
0012f9efcall camlStdlib.$5e_139
0012f9f4mov rbx, rax
0012f9f7mov rax, [rsp]
0012f9fbadd rsp, 8
0012f9ffjmp 0x195ba0
0012fa04
0012fa04loc_12fa04:
0012fa04push 34
0012fa06call caml_call_realloc_stack
0012fa0bpop r10
0012fa0djmp 0x12f9ae
0012f9a0

0012fa0f
0012fa0f // align 0x10

0012fa10
0012fa10camlLatexscan.fun_6137:
0012fa10lea r10, [rsp-344]
0012fa18cmp r10, [r14+40]
0012fa1cjb 0x12fb08
0012fa22
0012fa22loc_12fa22:
0012fa22sub rsp, 24
0012fa26mov [rsp+8], rax
0012fa2bmov [rsp], rbx
0012fa2fmov rbx, [rbx+24]
0012fa33lea rax, [rip+0x1689f6]
0012fa3acall camlLatexscan.get_prim_1896
0012fa3fmov r12, rax
0012fa42lea rsi, [rip+0x16ec1f]
0012fa49mov rdi, r12
0012fa4cmov rbx, rsp
0012fa4fmov rsp, [r14+64]
0012fa53call caml_string_notequal
0012fa58mov rsp, rbx
0012fa5bcmp rax, 1
0012fa5fje 0x12faf2
0012fa65lea rax, [rip+0x1689b4]
0012fa6cmov rbx, r12
0012fa6fcall camlStdlib.$5e_139
0012fa74mov rbx, rax
0012fa77lea rax, [rip+0x1fa5f2]
0012fa7emov rax, [rax+272]
0012fa85mov rax, [rax]
0012fa88test al, 1
0012fa8aje 0x12fa98
0012fa8clea rax, [rip+0x1fa80d]
0012fa93jmp 0x12fa9b
0012fa95
0012fa95 0f 1f 00 ...
0012fa98
0012fa98loc_12fa98:
0012fa98mov rax, [rax]
0012fa9b
0012fa9bloc_12fa9b:
0012fa9bmov rdi, [rax-8]
0012fa9fshr rdi, 10
0012faa3cmp rdi, 2
0012faa7jl 0x12fab0
0012faa9mov [rsp+16], rax
0012faaejmp 0x12fad4
0012fab0
0012fab0loc_12fab0:
0012fab0mov rdi, [rax]
0012fab3mov rsi, 0x700000000000000
0012fabdcmp rdi, rsi
0012fac0je 0x12facc
0012fac2mov [rsp+16], rax
0012fac7jmp 0x12fad4
0012fac9
0012fac9 0f 1f 00 ...
0012facc
0012faccloc_12facc:
0012faccmov rax, rbx
0012facfjmp 0x12faed
0012fad1
0012fad1 0f 1f 00 ...
0012fad4
0012fad4loc_12fad4:
0012fad4lea rax, [rip+0x16e38d]
0012fadbcall camlStdlib.$5e_139
0012fae0mov rbx, rax
0012fae3mov rax, [rsp+16]
0012fae8call camlStdlib.$5e_139
0012faed
0012faedloc_12faed:
0012faedcall camlMisc.set_image_opt_721
0012faf2
0012faf2loc_12faf2:
0012faf2mov rax, [rsp]
0012faf6mov rbx, [rax+16]
0012fafamov rax, [rsp+8]
0012faffadd rsp, 24
0012fb03jmp 0x127b00
0012fb08
0012fb08loc_12fb08:
0012fb08push 36
0012fb0acall caml_call_realloc_stack
0012fb0fpop r10
0012fb11jmp 0x12fa22
0012fa10

0012fb16
0012fb16 // align 0x10

0012fb20
0012fb20camlLatexscan.fun_6151:
0012fb20lea r10, [rsp-344]
0012fb28cmp r10, [r14+40]
0012fb2cjb 0x12fbf4
0012fb32
0012fb32loc_12fb32:
0012fb32sub rsp, 24
0012fb36mov [rsp+16], rax
0012fb3bmov [rsp+8], rbx
0012fb40mov rbx, [rbx+24]
0012fb44mov [rsp], rbx
0012fb48call camlLexstate.save_arg_1030
0012fb4dmov rbx, rax
0012fb50mov rax, [rsp]
0012fb54mov rdi, [rax+16]
0012fb58mov rax, [rdi+16]
0012fb5cmov rdi, [rdi+24]
0012fb60call camlLatexscan.do_get_prim_onarg_1872
0012fb65mov rbx, rax
0012fb68lea rax, [rip+0x1fa501]
0012fb6fmov rax, [rax+272]
0012fb76mov rax, [rax]
0012fb79test al, 1
0012fb7bje 0x12fb88
0012fb7dlea rax, [rip+0x1fa71c]
0012fb84jmp 0x12fb8b
0012fb86
0012fb86 66 90 f.
0012fb88
0012fb88loc_12fb88:
0012fb88mov rax, [rax]
0012fb8b
0012fb8bloc_12fb8b:
0012fb8bmov rdi, [rax-8]
0012fb8fshr rdi, 10
0012fb93cmp rdi, 2
0012fb97jl 0x12fba0
0012fb99mov [rsp], rax
0012fb9djmp 0x12fbc0
0012fb9f
0012fb9f 90 .
0012fba0
0012fba0loc_12fba0:
0012fba0mov rdi, [rax]
0012fba3mov rsi, 0x700000000000000
0012fbadcmp rdi, rsi
0012fbb0je 0x12fbb8
0012fbb2mov [rsp], rax
0012fbb6jmp 0x12fbc0
0012fbb8
0012fbb8loc_12fbb8:
0012fbb8mov rax, rbx
0012fbbbjmp 0x12fbd8
0012fbbd
0012fbbd 0f 1f 00 ...
0012fbc0
0012fbc0loc_12fbc0:
0012fbc0lea rax, [rip+0x16e2a1]
0012fbc7call camlStdlib.$5e_139
0012fbccmov rbx, rax
0012fbcfmov rax, [rsp]
0012fbd3call camlStdlib.$5e_139
0012fbd8
0012fbd8loc_12fbd8:
0012fbd8call camlMisc.set_image_opt_721
0012fbddmov rax, [rsp+8]
0012fbe2mov rbx, [rax+16]
0012fbe6mov rax, [rsp+16]
0012fbebadd rsp, 24
0012fbefjmp 0x127b00
0012fbf4
0012fbf4loc_12fbf4:
0012fbf4push 36
0012fbf6call caml_call_realloc_stack
0012fbfbpop r10
0012fbfdjmp 0x12fb32
0012fb20

0012fc02
0012fc02 // align 0x10

0012fc10
0012fc10camlLatexscan.fun_6171:
0012fc10lea r10, [rsp-336]
0012fc18cmp r10, [r14+40]
0012fc1cjb 0x12fc72
0012fc1e
0012fc1eloc_12fc1e:
0012fc1esub rsp, 16
0012fc22mov [rsp+8], rax
0012fc27mov [rsp], rbx
0012fc2bmov rax, [rbx+24]
0012fc2fmov rbx, [rax+352]
0012fc36lea rax, [rip+0x1fa433]
0012fc3dmov rax, [rax+272]
0012fc44mov rax, [rax]
0012fc47test al, 1
0012fc49je 0x12fc54
0012fc4blea rax, [rip+0x1fa64e]
0012fc52jmp 0x12fc57
0012fc54
0012fc54loc_12fc54:
0012fc54mov rax, [rax]
0012fc57
0012fc57loc_12fc57:
0012fc57mov rdi, [rbx]
0012fc5acall rdi
0012fc5cmov rax, [rsp]
0012fc60mov rbx, [rax+16]
0012fc64mov rax, [rsp+8]
0012fc69add rsp, 16
0012fc6djmp 0x127b00
0012fc72
0012fc72loc_12fc72:
0012fc72push 35
0012fc74call caml_call_realloc_stack
0012fc79pop r10
0012fc7bjmp 0x12fc1e
0012fc10

0012fc7d
0012fc7d // align 0x10

0012fc80
0012fc80camlLatexscan.fun_6179:
0012fc80lea r10, [rsp-344]
0012fc88cmp r10, [r14+40]
0012fc8cjb 0x12fcf7
0012fc8e
0012fc8eloc_12fc8e:
0012fc8esub rsp, 24
0012fc92mov [rsp+16], rax
0012fc97mov [rsp+8], rbx
0012fc9cmov rax, [rbx+24]
0012fca0mov rax, [rax+32]
0012fca4mov [rsp], rax
0012fca8lea rax, [rip+0x1fa3c1]
0012fcafmov rax, [rax+272]
0012fcb6mov rax, [rax]
0012fcb9test al, 1
0012fcbbje 0x12fcc8
0012fcbdlea rbx, [rip+0x1fa5dc]
0012fcc4jmp 0x12fccb
0012fcc6
0012fcc6 66 90 f.
0012fcc8
0012fcc8loc_12fcc8:
0012fcc8mov rbx, [rax]
0012fccb
0012fccbloc_12fccb:
0012fccblea rax, [rip+0x1686ee]
0012fcd2call camlStdlib.$5e_139
0012fcd7mov rbx, [rsp]
0012fcdbmov rdi, [rbx]
0012fcdecall rdi
0012fce0mov rax, [rsp+8]
0012fce5mov rbx, [rax+16]
0012fce9mov rax, [rsp+16]
0012fceeadd rsp, 24
0012fcf2jmp 0x127b00
0012fcf7
0012fcf7loc_12fcf7:
0012fcf7push 36
0012fcf9call caml_call_realloc_stack
0012fcfepop r10
0012fd00jmp 0x12fc8e
0012fc80

0012fd02
0012fd02 // align 0x10

0012fd10
0012fd10camlLatexscan.fun_6187:
0012fd10mov rax, [rbx+40]
0012fd14mov rax, [rax]
0012fd17cmp rax, 1
0012fd1bje 0x12fd54
0012fd1dmov rax, [rbx+24]
0012fd21mov rax, [rax]
0012fd24test al, 1
0012fd26je 0x12fd40
0012fd28lea rax, [rip+0x1fa341]
0012fd2fmov rax, [rax+56]
0012fd33mov rsp, [r14+48]
0012fd37pop [r14+48]
0012fd3bpop r11
0012fd3djmp r11
0012fd40
0012fd40loc_12fd40:
0012fd40mov rax, [rbx+16]
0012fd44mov rbx, [rax]
0012fd47lea rax, [rip+0x16860a]
0012fd4ejmp 0x122fc0
0012fd53nop
0012fd54
0012fd54loc_12fd54:
0012fd54lea rax, [rip+0x168615]
0012fd5bjmp 0x191ae0
0012fd10

0012fd60
0012fd60camlLatexscan.little_more_2471:
0012fd60lea r10, [rsp-328]
0012fd68cmp r10, [r14+40]
0012fd6cjb 0x12fd99
0012fd6e
0012fd6eloc_12fd6e:
0012fd6esub rsp, 8
0012fd72mov [rsp], rbx
0012fd76mov rdi, [rbx+24]
0012fd7aadd rdi, 24
0012fd7emov ebx, 335
0012fd83call Latexscan..ocaml_lex_to_newline_rec
0012fd88mov rax, [rsp]
0012fd8cmov rax, [rax+16]
0012fd90add rsp, 8
0012fd94jmp 0x18a4c0
0012fd99
0012fd99loc_12fd99:
0012fd99push 34
0012fd9bcall caml_call_realloc_stack
0012fda0pop r10
0012fda2jmp 0x12fd6e
0012fd60

0012fda4
0012fda4 // align 0x10

0012fdb0
0012fdb0camlLatexscan.fun_6199:
0012fdb0lea r10, [rsp-336]
0012fdb8cmp r10, [r14+40]
0012fdbcjb 0x12fe17
0012fdbe
0012fdbeloc_12fdbe:
0012fdbesub rsp, 16
0012fdc2mov [rsp+8], rbx
0012fdc7mov rbx, [rbx+24]
0012fdcbmov [rsp], rbx
0012fdcfmov rdi, [rbx+24]
0012fdd3add rdi, 24
0012fdd7mov ebx, 335
0012fddccall Latexscan..ocaml_lex_to_newline_rec
0012fde1mov rax, [rsp]
0012fde5mov rax, [rax+16]
0012fde9call camlDoOut.to_string_830
0012fdeemov rbx, rax
0012fdf1mov rax, [rsp+8]
0012fdf6mov rax, [rax+16]
0012fdfacall camlLexstate.scan_this_1185
0012fdfflea rax, [rip+0x1fa26a]
0012fe06mov rax, [rax+48]
0012fe0amov rsp, [r14+48]
0012fe0epop [r14+48]
0012fe12pop r11
0012fe14jmp r11
0012fe17
0012fe17loc_12fe17:
0012fe17push 35
0012fe19call caml_call_realloc_stack
0012fe1epop r10
0012fe20jmp 0x12fdbe
0012fdb0

0012fe22
0012fe22 // align 0x10

0012fe30
0012fe30camlLatexscan.fun_6207:
0012fe30mov rdi, [rbx+16]
0012fe34add rdi, 24
0012fe38mov ebx, 299
0012fe3djmp 0x1186d0
0012fe30

0012fe42
0012fe42 // align 0x10

0012fe50
0012fe50camlLatexscan.fun_6213:
0012fe50lea r10, [rsp-344]
0012fe58cmp r10, [r14+40]
0012fe5cjb 0x12ff1c
0012fe62
0012fe62loc_12fe62:
0012fe62sub rsp, 8
0012fe66mov rbx, [rbx+16]
0012fe6acall camlLatexscan.get_csname_1908
0012fe6fmov [rsp], rax
0012fe73lea r11, [rip+62]
0012fe7apush r11
0012fe7cpush [r14+48]
0012fe80mov [r14+48], rsp
0012fe84call camlLatexmacros.find_fail_942
0012fe89lea rbx, [rip+0x168448]
0012fe90mov rax, [rsp+16]
0012fe95call camlStdlib.$5e_139
0012fe9amov rbx, rax
0012fe9dlea rax, [rip+0x168454]
0012fea4call camlStdlib.$5e_139
0012fea9call camlMisc.warning_287
0012feaepop [r14+48]
0012feb2add rsp, 8
0012feb6jmp 0x12ff10
0012feb8lea rbx, [rip+0x1e4aa9]
0012febfmov rbx, [rbx]
0012fec2cmp rax, rbx
0012fec5jne 0x12ff00
0012fec7sub r15, 16
0012fecbcmp r15, [r14]
0012fecejb 0x12ff15
0012fed0
0012fed0loc_12fed0:
0012fed0lea rdi, [r15+8]
0012fed4mov [rdi-8], 1026
0012fedclea rax, [rip+0x167545]
0012fee3mov [rdi], rax
0012fee6lea rax, [rip+0x1e6ab3]
0012feedmov rbx, [rax+56]
0012fef1mov rax, [rsp]
0012fef5add rsp, 8
0012fef9jmp 0x17aff0
0012fefenop
0012ff00
0012ff00loc_12ff00:
0012ff00mov rsp, [r14+48]
0012ff04pop [r14+48]
0012ff08pop r11
0012ff0ajmp r11
0012ff0dnop [rax]
0012ff10
0012ff10loc_12ff10:
0012ff10add rsp, 8
0012ff14ret
0012ff15
0012ff15loc_12ff15:
0012ff15call caml_call_gc
0012ff1ajmp 0x12fed0
0012ff1c
0012ff1cloc_12ff1c:
0012ff1cpush 36
0012ff1ecall caml_call_realloc_stack
0012ff23pop r10
0012ff25jmp 0x12fe62
0012fe50

0012ff2a
0012ff2a // align 0x10

0012ff30
0012ff30camlLatexscan.fun_6220:
0012ff30mov eax, 1
0012ff35ret
0012ff30

0012ff36
0012ff36 // align 0x10

0012ff40
0012ff40camlLatexscan.fun_6223:
0012ff40lea r10, [rsp-344]
0012ff48cmp r10, [r14+40]
0012ff4cjb 0x12ffec
0012ff52
0012ff52loc_12ff52:
0012ff52sub rsp, 8
0012ff56mov rbx, [rbx+16]
0012ff5acall camlLatexscan.get_csname_1908
0012ff5fmov [rsp], rax
0012ff63lea r11, [rip+30]
0012ff6apush r11
0012ff6cpush [r14+48]
0012ff70mov [r14+48], rsp
0012ff74call camlLatexmacros.find_fail_942
0012ff79mov eax, 1
0012ff7epop [r14+48]
0012ff82add rsp, 8
0012ff86jmp 0x12ffe0
0012ff88lea rbx, [rip+0x1e49d9]
0012ff8fmov rbx, [rbx]
0012ff92cmp rax, rbx
0012ff95jne 0x12ffd0
0012ff97sub r15, 16
0012ff9bcmp r15, [r14]
0012ff9ejb 0x12ffe5
0012ffa0
0012ffa0loc_12ffa0:
0012ffa0lea rdi, [r15+8]
0012ffa4mov [rdi-8], 1026
0012ffaclea rax, [rip+0x16748d]
0012ffb3mov [rdi], rax
0012ffb6lea rax, [rip+0x1e69e3]
0012ffbdmov rbx, [rax+56]
0012ffc1mov rax, [rsp]
0012ffc5add rsp, 8
0012ffc9jmp 0x17aff0
0012ffcenop
0012ffd0
0012ffd0loc_12ffd0:
0012ffd0mov rsp, [r14+48]
0012ffd4pop [r14+48]
0012ffd8pop r11
0012ffdajmp r11
0012ffddnop [rax]
0012ffe0
0012ffe0loc_12ffe0:
0012ffe0add rsp, 8
0012ffe4ret
0012ffe5
0012ffe5loc_12ffe5:
0012ffe5call caml_call_gc
0012ffeajmp 0x12ffa0
0012ffec
0012ffecloc_12ffec:
0012ffecpush 36
0012ffeecall caml_call_realloc_stack
0012fff3pop r10
0012fff5jmp 0x12ff52
0012ff40

0012fffa
0012fffa // align 0x10

00130000
00130000camlLatexscan.fun_6230:
00130000mov eax, 1
00130005ret
00130000

00130006
00130006 // align 0x10

00130010
00130010camlLatexscan.get_this_arg_mbox_2483:
00130010lea r10, [rsp-336]
00130018cmp r10, [r14+40]
0013001cjb 0x13007f
0013001e
0013001eloc_13001e:
0013001esub rsp, 16
00130022mov [rsp], rax
00130026mov [rsp+8], rbx
0013002bmov rbx, [rbx+24]
0013002fmov eax, 1
00130034call camlLatexscan.start_mbox_1053
00130039mov rax, [rsp+8]
0013003emov rsi, [rax+40]
00130042mov rdx, [rax+32]
00130046mov rdi, [rdx+40]
0013004amov rbx, [rdx+32]
0013004emov rax, [rdx+24]
00130052mov rcx, [rdx+48]
00130056mov rdx, [rsp]
0013005acall camlLatexscan.do_get_this_1062
0013005fmov [rsp], rax
00130063mov rax, [rsp+8]
00130068mov rbx, [rax+16]
0013006cmov eax, 1
00130071call camlLatexscan.top_close_group_1048
00130076mov rax, [rsp]
0013007aadd rsp, 16
0013007eret
0013007f
0013007floc_13007f:
0013007fpush 35
00130081call caml_call_realloc_stack
00130086pop r10
00130088jmp 0x13001e
00130010

0013008a
0013008a // align 0x10

00130090
00130090camlLatexscan.do_sbox_2487:
00130090lea r10, [rsp-352]
00130098cmp r10, [r14+40]
0013009cjb 0x13016f
001300a2
001300a2loc_1300a2:
001300a2sub rsp, 32
001300a6mov [rsp+8], rax
001300abmov rax, rbx
001300aemov [rsp+24], rax
001300b3mov [rsp], rdi
001300b7mov [rsp+16], rsi
001300bccmp r15, [r14]
001300bfjbe 0x130165
001300c5
001300c5loc_1300c5:
001300c5call camlLatexmacros.exists_938
001300cacmp rax, 1
001300cejne 0x1300f5
001300d0lea rbx, [rip+0x169a51]
001300d7mov rax, [rsp+24]
001300dccall camlStdlib.$5e_139
001300e1mov rbx, rax
001300e4lea rax, [rip+0x1681ad]
001300ebcall camlStdlib.$5e_139
001300f0call camlMisc.warning_287
001300f5
001300f5loc_1300f5:
001300f5mov rax, [rsp+16]
001300famov rbx, [rax+32]
001300femov rax, [rsp]
00130102call camlLatexscan.get_this_arg_mbox_2483
00130107mov rbx, [rsp+8]
0013010ccmp rbx, 1
00130110je 0x130128
00130112lea rbx, [rip+0x1e484f]
00130119mov rbx, [rbx+128]
00130120mov [rsp], rbx
00130124jmp 0x130137
00130126
00130126 66 90 f.
00130128
00130128loc_130128:
00130128lea rbx, [rip+0x1e4839]
0013012fmov rbx, [rbx+120]
00130133mov [rsp], rbx
00130137
00130137loc_130137:
00130137mov rbx, [rsp+16]
0013013cmov rbx, [rbx+24]
00130140call camlLatexscan.caml_print_2079
00130145mov rdi, rax
00130148lea rax, [rip+0x1e6851]
0013014fmov rbx, [rax+56]
00130153mov rax, [rsp+24]
00130158mov rsi, [rsp]
0013015cadd rsp, 32
00130160jmp 0xf7370
00130165
00130165loc_130165:
00130165call caml_call_gc
0013016ajmp 0x1300c5
0013016f
0013016floc_13016f:
0013016fpush 37
00130171call caml_call_realloc_stack
00130176pop r10
00130178jmp 0x1300a2
00130090

0013017d
0013017d // align 0x10

00130180
00130180camlLatexscan.fun_6257:
00130180lea r10, [rsp-344]
00130188cmp r10, [r14+40]
0013018cjb 0x1301fd
0013018e
0013018eloc_13018e:
0013018esub rsp, 24
00130192mov [rsp], rax
00130196mov [rsp+8], rbx
0013019bmov rbx, [rbx+16]
0013019fcall camlLatexscan.get_csname_1908
001301a4mov [rsp+16], rax
001301a9lea rax, [rip+0x1680c0]
001301b0call camlMisc.warning_287
001301b5lea rax, [rip+0x1e7ac4]
001301bcmov rbx, [rsp]
001301c0call camlLexstate.save_arg_opt_1107
001301c5lea rax, [rip+0x1e7ab4]
001301ccmov rbx, [rsp]
001301d0call camlLexstate.save_arg_opt_1107
001301d5mov rax, [rsp]
001301d9call camlLexstate.save_arg_1030
001301demov rdi, rax
001301e1mov rax, [rsp+8]
001301e6mov rsi, [rax+24]
001301eamov eax, 1
001301efmov rbx, [rsp+16]
001301f4add rsp, 24
001301f8jmp 0x130090
001301fd
001301fdloc_1301fd:
001301fdpush 36
001301ffcall caml_call_realloc_stack
00130204pop r10
00130206jmp 0x13018e
00130180

00130208
00130208 // align 0x10

00130210
00130210camlLatexscan.fun_6265:
00130210lea r10, [rsp-344]
00130218cmp r10, [r14+40]
0013021cjb 0x130261
0013021e
0013021eloc_13021e:
0013021esub rsp, 24
00130222mov [rsp], rax
00130226mov [rsp+8], rbx
0013022bmov rbx, [rbx+16]
0013022fcall camlLatexscan.get_csname_1908
00130234mov [rsp+16], rax
00130239mov rax, [rsp]
0013023dcall camlLexstate.save_arg_1030
00130242mov rdi, rax
00130245mov rax, [rsp+8]
0013024amov rsi, [rax+24]
0013024emov eax, 1
00130253mov rbx, [rsp+16]
00130258add rsp, 24
0013025cjmp 0x130090
00130261
00130261loc_130261:
00130261push 36
00130263call caml_call_realloc_stack
00130268pop r10
0013026ajmp 0x13021e
00130210

0013026c
0013026c // align 0x10

00130270
00130270camlLatexscan.fun_6273:
00130270lea r10, [rsp-344]
00130278cmp r10, [r14+40]
0013027cjb 0x1302c1
0013027e
0013027eloc_13027e:
0013027esub rsp, 24
00130282mov [rsp], rax
00130286mov [rsp+8], rbx
0013028bmov rbx, [rbx+16]
0013028fcall camlLatexscan.get_csname_1908
00130294mov [rsp+16], rax
00130299mov rax, [rsp]
0013029dcall camlLexstate.save_arg_1030
001302a2mov rdi, rax
001302a5mov rax, [rsp+8]
001302aamov rsi, [rax+24]
001302aemov eax, 3
001302b3mov rbx, [rsp+16]
001302b8add rsp, 24
001302bcjmp 0x130090
001302c1
001302c1loc_1302c1:
001302c1push 36
001302c3call caml_call_realloc_stack
001302c8pop r10
001302cajmp 0x13027e
00130270

001302cc
001302cc // align 0x10

001302d0
001302d0camlLatexscan.fun_6281:
001302d0lea r10, [rsp-344]
001302d8cmp r10, [r14+40]
001302dcjb 0x130367
001302e2
001302e2loc_1302e2:
001302e2sub rsp, 24
001302e6mov [rsp+8], rax
001302ebmov [rsp+16], rbx
001302f0mov rbx, [rbx+40]
001302f4call camlLatexscan.get_csname_1908
001302f9mov [rsp], rax
001302fdmov rax, [rsp+16]
00130302mov rbx, [rax+16]
00130306mov eax, 1
0013030bcall camlLatexscan.top_open_group_1047
00130310mov rax, [rsp+16]
00130315mov rax, [rax+48]
00130319mov rbx, [rax+48]
0013031dmov eax, 1
00130322mov rdi, [rbx]
00130325call rdi
00130327mov rax, [rsp+16]
0013032cmov rdi, [rax+32]
00130330mov rbx, [rdi+40]
00130334mov rax, [rdi+32]
00130338mov rdx, [rdi+24]
0013033cmov rdi, [rsp]
00130340mov rsi, [rsp+8]
00130345call camlLatexscan.do_expand_command_1473
0013034amov rax, [rsp+16]
0013034fmov rbx, [rax+24]
00130353mov eax, 1
00130358call camlLatexscan.top_close_group_1048
0013035dmov eax, 1
00130362add rsp, 24
00130366ret
00130367
00130367loc_130367:
00130367push 36
00130369call caml_call_realloc_stack
0013036epop r10
00130370jmp 0x1302e2
001302d0

00130375
00130375 // align 0x10

00130380
00130380camlLatexscan.fun_6299:
00130380lea r10, [rsp-336]
00130388cmp r10, [r14+40]
0013038cjb 0x130499
00130392
00130392loc_130392:
00130392sub rsp, 16
00130396mov [rsp], rax
0013039amov [rsp+8], rbx
0013039fmov rbx, [rbx+16]
001303a3lea rax, [rip+0x167e76]
001303aacall camlLatexscan.close_env_866
001303aflea rax, [rip+0x1e65ea]
001303b6mov rbx, [rax+136]
001303bdmov rbx, [rbx]
001303c0mov rdi, [rax+448]
001303c7sub r15, 24
001303cbcmp r15, [r14]
001303cejb 0x13048f
001303d4
001303d4loc_1303d4:
001303d4lea rsi, [r15+8]
001303d8mov [rsi-8], 2048
001303e0mov [rsi], rbx
001303e3mov rax, [rdi]
001303e6mov [rsi+8], rax
001303eamov rbx, rsp
001303edmov rsp, [r14+64]
001303f1call caml_modify
001303f6mov rsp, rbx
001303f9lea rax, [rip+0x1e65a0]
00130400mov rax, [rax+136]
00130407mov [rax], 1
0013040emov rax, [rsp+8]
00130413mov rbx, [rax+32]
00130417mov rax, [rsp]
0013041bcall camlLatexscan.get_csname_1908
00130420mov rdx, [rsp+8]
00130425mov rbx, [rdx+48]
00130429mov rbx, [rbx+336]
00130430sub r15, 40
00130434cmp r15, [r14]
00130437jb 0x130488
00130439
00130439loc_130439:
00130439lea rdi, [r15+8]
0013043dmov [rdi-8], 4343
00130445lea rsi, [rip+100]
0013044cmov [rdi], rsi
0013044fmov rsi, 0x100000000000005
00130459mov [rdi+8], rsi
0013045dmov rsi, [rdx+40]
00130461mov [rdi+16], rsi
00130465mov [rdi+24], rax
00130469mov rsi, [rbx]
0013046cmov rax, rdi
0013046fcall rsi
00130471mov rax, [rsp+8]
00130476mov rbx, [rax+24]
0013047amov eax, 1
0013047fadd rsp, 16
00130483jmp 0x124240
00130488
00130488loc_130488:
00130488call caml_call_gc
0013048djmp 0x130439
0013048f
0013048floc_13048f:
0013048fcall caml_call_gc
00130494jmp 0x1303d4
00130499
00130499loc_130499:
00130499push 35
0013049bcall caml_call_realloc_stack
001304a0pop r10
001304a2jmp 0x130392
00130380

001304a7
001304a7 // align 0x10

001304b0
001304b0camlLatexscan.fun_6316:
001304b0lea r10, [rsp-328]
001304b8cmp r10, [r14+40]
001304bcjb 0x1304f6
001304be
001304beloc_1304be:
001304besub rsp, 8
001304c2mov [rsp], rbx
001304c6mov rbx, [rbx+16]
001304cacall camlLatexscan.caml_print_2079
001304cfmov rdi, rax
001304d2lea rax, [rip+0x1e64c7]
001304d9mov rbx, [rax+56]
001304ddmov rax, [rsp]
001304e1mov rax, [rax+24]
001304e5call camlLatexmacros.def_952
001304ealea rax, [rip+0x16e177]
001304f1add rsp, 8
001304f5ret
001304f6
001304f6loc_1304f6:
001304f6push 34
001304f8call caml_call_realloc_stack
001304fdpop r10
001304ffjmp 0x1304be
001304b0

00130501
00130501 // align 0x10

00130510
00130510camlLatexscan.fun_6323:
00130510lea r10, [rsp-328]
00130518cmp r10, [r14+40]
0013051cjb 0x130589
0013051e
0013051eloc_13051e:
0013051esub rsp, 8
00130522mov [rsp], rbx
00130526mov rbx, [rbx+24]
0013052amov eax, 1
0013052fcall camlLatexscan.top_close_group_1048
00130534mov rax, [rsp]
00130538mov rax, [rax+32]
0013053cmov rbx, [rax+344]
00130543mov eax, 1
00130548mov rdi, [rbx]
0013054bcall rdi
0013054dlea rax, [rip+0x1e644c]
00130554mov rax, [rax+448]
0013055bcall camlMyStack.pop_292
00130560lea rbx, [rip+0x1e6439]
00130567mov rbx, [rbx+136]
0013056emov [rbx], rax
00130571mov rax, [rsp]
00130575mov rbx, [rax+16]
00130579lea rax, [rip+0x167ca0]
00130580add rsp, 8
00130584jmp 0x122e50
00130589
00130589loc_130589:
00130589push 34
0013058bcall caml_call_realloc_stack
00130590pop r10
00130592jmp 0x13051e
00130510

00130594
00130594 // align 0x10

001305a0
001305a0camlLatexscan.start_text_2508:
001305a0mov r12, rbx
001305a3mov rax, [r12+16]
001305a8mov rax, [rax]
001305abmov rdi, [r12+24]
001305b0sub r15, 24
001305b4cmp r15, [r14]
001305b7jb 0x130663
001305bd
001305bdloc_1305bd:
001305bdlea rsi, [r15+8]
001305c1mov [rsi-8], 2048
001305c9mov [rsi], rax
001305ccmov rax, [rdi]
001305cfmov [rsi+8], rax
001305d3mov rbx, rsp
001305d6mov rsp, [r14+64]
001305dacall caml_modify
001305dfmov rsp, rbx
001305e2mov esi, 1
001305e7mov rdi, [r12+16]
001305ecmov rbx, rsp
001305efmov rsp, [r14+64]
001305f3call caml_modify
001305f8mov rsp, rbx
001305fblea rax, [rip+0x1e639e]
00130602mov rbx, [rax+144]
00130609mov rbx, [rbx]
0013060cmov rdi, [rax+440]
00130613sub r15, 24
00130617cmp r15, [r14]
0013061ajb 0x13065c
0013061c
0013061cloc_13061c:
0013061clea rsi, [r15+8]
00130620mov [rsi-8], 2048
00130628mov [rsi], rbx
0013062bmov rax, [rdi]
0013062emov [rsi+8], rax
00130632mov rbx, rsp
00130635mov rsp, [r14+64]
00130639call caml_modify
0013063emov rsp, rbx
00130641lea rax, [rip+0x1e6358]
00130648mov rax, [rax+144]
0013064fmov [rax], 1
00130656mov eax, 1
0013065bret
0013065c
0013065cloc_13065c:
0013065ccall caml_call_gc
00130661jmp 0x13061c
00130663
00130663loc_130663:
00130663call caml_call_gc
00130668jmp 0x1305bd
001305a0

0013066d
0013066d // align 0x10

00130670
00130670camlLatexscan.end_text_2509:
00130670lea r10, [rsp-328]
00130678cmp r10, [r14+40]
0013067cjb 0x1306db
0013067e
0013067eloc_13067e:
0013067esub rsp, 8
00130682mov [rsp], rbx
00130686lea rax, [rip+0x1e6313]
0013068dmov rax, [rax+440]
00130694call camlMyStack.pop_292
00130699lea rbx, [rip+0x1e6300]
001306a0mov rbx, [rbx+144]
001306a7mov [rbx], rax
001306aamov rax, [rsp]
001306aemov rax, [rax+24]
001306b2call camlMyStack.pop_292
001306b7mov rbx, [rsp]
001306bbmov rdi, [rbx+16]
001306bfmov rsi, rax
001306c2mov rbx, rsp
001306c5mov rsp, [r14+64]
001306c9call caml_modify
001306cemov rsp, rbx
001306d1mov eax, 1
001306d6add rsp, 8
001306daret
001306db
001306dbloc_1306db:
001306dbpush 34
001306ddcall caml_call_realloc_stack
001306e2pop r10
001306e4jmp 0x13067e
00130670

001306e6
001306e6 // align 0x10

001306f0
001306f0camlLatexscan.fun_6343:
001306f0mov rbx, [rbx+16]
001306f4mov eax, 1
001306f9jmp 0x1305a0
001306f0

001306fe
001306fe // align 0x10

00130700
00130700camlLatexscan.fun_6349:
00130700mov rbx, [rbx+16]
00130704mov eax, 1
00130709jmp 0x130670
00130700

0013070e
0013070e // align 0x10

00130710
00130710camlLatexscan.fun_6355:
00130710lea r10, [rsp-352]
00130718cmp r10, [r14+40]
0013071cjb 0x1307da
00130722
00130722loc_130722:
00130722sub rsp, 32
00130726mov [rsp+24], rax
0013072bmov [rsp+16], rbx
00130730call camlLatexscan.get_num_arg_2113
00130735mov [rsp], rax
00130739lea rbx, [rip+0x1f9930]
00130740mov rbx, [rbx+104]
00130744mov rbx, [rbx]
00130747cmp rbx, 1
0013074bjne 0x130779
0013074dcmp rax, 65
00130751jl 0x130763
00130753cmp rax, 255
00130759jle 0x130779
0013075bcmp rax, 323
00130761jge 0x130779
00130763
00130763loc_130763:
00130763mov eax, 1
00130768call camlLocation.print_pos_430
0013076dlea rax, [rip+0x167a2c]
00130774call camlStdlib.prerr_endline_390
00130779
00130779loc_130779:
00130779lea rax, [rip+0x166cd8]
00130780mov [rsp+8], rax
00130785mov rax, [rsp]
00130789call Stdlib.Char.chr
0013078emov rbx, [rsp+16]
00130793mov rdi, [rbx+16]
00130797mov rbx, [rsp+8]
0013079ccall camlLatexscan.translate_put_unicode_1519
001307a1lea rax, [rip+0x1e61f8]
001307a8mov rax, [rax+168]
001307afmov rax, [rax]
001307b2cmp rax, 3
001307b6je 0x1307d0
001307b8mov rax, [rsp+16]
001307bdmov rbx, [rax+24]
001307c1mov rax, [rsp+24]
001307c6add rsp, 32
001307cajmp 0x127b00
001307cf
001307cf 90 .
001307d0
001307d0loc_1307d0:
001307d0mov eax, 1
001307d5add rsp, 32
001307d9ret
001307da
001307daloc_1307da:
001307dapush 37
001307dccall caml_call_realloc_stack
001307e1pop r10
001307e3jmp 0x130722
00130710

001307e8
001307e8 // align 0x10

001307f0
001307f0camlLatexscan.fun_6365:
001307f0mov rax, -1
001307f7ret
001307f0

001307f8
001307f8 // align 0x10

00130800
00130800camlLatexscan.fun_6373:
00130800lea r10, [rsp-336]
00130808cmp r10, [r14+40]
0013080cjb 0x130860
0013080e
0013080eloc_13080e:
0013080esub rsp, 16
00130812mov [rsp+8], rbx
00130817mov rbx, [rbx+24]
0013081bmov [rsp], rbx
0013081fcall camlLexstate.save_arg_1030
00130824mov rbx, rax
00130827mov rax, [rsp]
0013082bmov rdi, [rax+16]
0013082fmov rax, [rdi+16]
00130833mov rdi, [rdi+24]
00130837call camlLatexscan.do_get_prim_onarg_1872
0013083cmov rbx, rax
0013083flea rax, [rip+0x167982]
00130846call camlStdlib.$5e_139
0013084bmov rbx, rax
0013084emov rax, [rsp+8]
00130853mov rax, [rax+16]
00130857add rsp, 16
0013085bjmp 0x17f150
00130860
00130860loc_130860:
00130860push 35
00130862call caml_call_realloc_stack
00130867pop r10
00130869jmp 0x13080e
00130800

0013086b
0013086b // align 0x10

00130870
00130870camlLatexscan.alpha_of_int_2521:
00130870lea r10, [rsp-320]
00130878cmp r10, [r14+40]
0013087cjb 0x130897
0013087e
0013087eloc_13087e:
0013087eadd rax, 192
00130884call Stdlib.Char.chr
00130889mov rbx, rax
0013088cmov eax, 3
00130891call Stdlib.Bytes.make
00130896ret
00130897
00130897loc_130897:
00130897push 33
00130899call caml_call_realloc_stack
0013089epop r10
001308a0jmp 0x13087e
00130870

001308a2
001308a2 // align 0x10

001308b0
001308b0camlLatexscan.upalpha_of_int_2522:
001308b0lea r10, [rsp-320]
001308b8cmp r10, [r14+40]
001308bcjb 0x1308d7
001308be
001308beloc_1308be:
001308beadd rax, 128
001308c4call Stdlib.Char.chr
001308c9mov rbx, rax
001308ccmov eax, 3
001308d1call Stdlib.Bytes.make
001308d6ret
001308d7
001308d7loc_1308d7:
001308d7push 33
001308d9call caml_call_realloc_stack
001308depop r10
001308e0jmp 0x1308be
001308b0

001308e2
001308e2 // align 0x10

001308f0
001308f0camlLatexscan.roman_of_int_2527:
001308f0lea r10, [rsp-336]
001308f8cmp r10, [r14+40]
001308fcjb 0x1309f4
00130902
00130902loc_130902:
00130902sub rsp, 16
00130906mov rbx, rax
00130909cmp rbx, 19
0013090dja 0x130970
0013090fmov rax, rbx
00130912sar rax, 1
00130915lea rdx, [rip+0xf9dcc]
0013091cmovsxd rax, [rdx+4*rax]
00130920add rdx, rax
00130923jmp rdx
00130925nop [rax]
00130928lea rax, [rip+0x16dd39]
0013092fadd rsp, 16
00130933ret
00130934lea rax, [rip+0x167845]
0013093badd rsp, 16
0013093fret
00130940lea rax, [rip+0x167829]
00130947add rsp, 16
0013094bret
0013094clea rax, [rip+0x1677fd]
00130953add rsp, 16
00130957ret
00130958lea rax, [rip+0x1677e1]
0013095fadd rsp, 16
00130963ret
00130964lea rax, [rip+0x1677c5]
0013096badd rsp, 16
0013096fret
00130970
00130970loc_130970:
00130970cmp rbx, 19
00130974jge 0x130998
00130976mov rax, rbx
00130979add rax, -10
0013097dcall camlLatexscan.roman_of_int_2527
00130982mov rbx, rax
00130985lea rax, [rip+0x167794]
0013098cadd rsp, 16
00130990jmp 0x195ba0
00130995nop [rax]
00130998
00130998loc_130998:
00130998sar rbx, 1
0013099bmov rdi, rbx
0013099eshr rdi, 63
001309a2mov rsi, 0x6666666666666667
001309acmov rax, rbx
001309afimul rsi
001309b2sar rdx, 2
001309b6add rdx, rdi
001309b9lea rax, [rdx+rdx+1]
001309bemov [rsp], rax
001309c2imul rdx, rdx, 10
001309c6sub rbx, rdx
001309c9lea rax, [rbx+rbx+1]
001309cecall camlLatexscan.roman_of_int_2527
001309d3mov [rsp+8], rax
001309d8mov ebx, 241
001309ddmov rax, [rsp]
001309e1call Stdlib.Bytes.make
001309e6mov rbx, [rsp+8]
001309ebadd rsp, 16
001309efjmp 0x195ba0
001309f4
001309f4loc_1309f4:
001309f4push 35
001309f6call caml_call_realloc_stack
001309fbpop r10
001309fdjmp 0x130902
001308f0

00130a02
00130a02 // align 0x10

00130a10
00130a10camlLatexscan.uproman_of_int_2531:
00130a10lea r10, [rsp-320]
00130a18cmp r10, [r14+40]
00130a1cjb 0x130a37
00130a1e
00130a1eloc_130a1e:
00130a1ecall camlLatexscan.roman_of_int_2527
00130a23mov rbx, rax
00130a26lea rax, [rip+0x203553]
00130a2dmov rax, [rax+24]
00130a31call Stdlib.Bytes.map
00130a36ret
00130a37
00130a37loc_130a37:
00130a37push 33
00130a39call caml_call_realloc_stack
00130a3epop r10
00130a40jmp 0x130a1e
00130a10

00130a42
00130a42 // align 0x10

00130a50
00130a50camlLatexscan.fnsymbol_of_int_2534:
00130a50cmp rax, 19
00130a54jbe 0x130a60
00130a56add rax, -18
00130a5ajmp 0x130870
00130a5f
00130a5f 90 .
00130a60
00130a60loc_130a60:
00130a60or rax, 1
00130a64lea rbx, [rip+0x1669fd]
00130a6bmov rax, [rbx+4*rax-4]
00130a70ret
00130a50

00130a71
00130a71 // align 0x10

00130a80
00130a80camlLatexscan.def_printcount_2537:
00130a80sub r15, 48
00130a84cmp r15, [r14]
00130a87jb 0x130ac9
00130a89
00130a89loc_130a89:
00130a89lea rsi, [r15+8]
00130a8dmov [rsi-8], 5367
00130a95lea rdx, [rip+52]
00130a9cmov [rsi], rdx
00130a9fmov rdx, 0x100000000000005
00130aa9mov [rsi+8], rdx
00130aadmov rdx, [rdi+32]
00130ab1mov [rsi+16], rdx
00130ab5mov [rsi+24], rbx
00130ab9mov rbx, [rdi+40]
00130abdmov [rsi+32], rbx
00130ac1mov rbx, rsi
00130ac4jmp 0x17b120
00130ac9
00130ac9loc_130ac9:
00130ac9call caml_call_gc
00130acejmp 0x130a89
00130a80

00130ad0
00130ad0camlLatexscan.fun_6418:
00130ad0lea r10, [rsp-336]
00130ad8cmp r10, [r14+40]
00130adcjb 0x130b92
00130ae2
00130ae2loc_130ae2:
00130ae2sub rsp, 16
00130ae6mov [rsp+8], rbx
00130aebcmp r15, [r14]
00130aeejbe 0x130b88
00130af4
00130af4loc_130af4:
00130af4mov rbx, [rbx+16]
00130af8mov [rsp], rbx
00130afccall camlLexstate.save_arg_1030
00130b01mov rbx, rax
00130b04mov rax, [rsp]
00130b08mov rdi, [rax+16]
00130b0cmov rax, [rdi+16]
00130b10mov rdi, [rdi+24]
00130b14call camlLatexscan.do_get_prim_onarg_1872
00130b19mov rbx, [rax-8]
00130b1dshr rbx, 10
00130b21cmp rbx, 2
00130b25jne 0x130b5c
00130b27mov rbx, [rax]
00130b2amov rdi, 0x6e696c7475706e69
00130b34cmp rbx, rdi
00130b37jne 0x130b5c
00130b39mov rbx, [rax+8]
00130b3dmov rdi, 0x4000000006f6e65
00130b47cmp rbx, rdi
00130b4ajne 0x130b5c
00130b4cmov eax, 1
00130b51call camlLocation.do_get_pos_402
00130b56mov rax, [rax]
00130b59jmp 0x130b61
00130b5bnop
00130b5c
00130b5cloc_130b5c:
00130b5ccall camlCounter.value_counter_658
00130b61
00130b61loc_130b61:
00130b61mov rbx, [rsp+8]
00130b66mov rbx, [rbx+24]
00130b6amov rdi, [rbx]
00130b6dcall rdi
00130b6fmov rbx, [rsp+8]
00130b74mov rbx, [rbx+32]
00130b78mov rbx, [rbx+352]
00130b7fmov rdi, [rbx]
00130b82add rsp, 16
00130b86jmp rdi
00130b88
00130b88loc_130b88:
00130b88call caml_call_gc
00130b8djmp 0x130af4
00130b92
00130b92loc_130b92:
00130b92push 35
00130b94call caml_call_realloc_stack
00130b99pop r10
00130b9bjmp 0x130ae2
00130ad0

00130ba0
00130ba0camlLatexscan.pad_2545:
00130ba0lea r10, [rsp-352]
00130ba8cmp r10, [r14+40]
00130bacjb 0x130c3c
00130bb2
00130bb2loc_130bb2:
00130bb2sub rsp, 32
00130bb6mov rdx, [rdi-8]
00130bbashr rdx, 10
00130bbelea rdx, [8*rdx-1]
00130bc6movzx rdi, [rdi+rdx]
00130bcbsub rdx, rdi
00130bceshl rdx, 1
00130bd1sub rbx, rdx
00130bd4cmp rbx, 3
00130bd8jl 0x130c2b
00130bdamov [rsp+24], rbx
00130bdfmov [rsp], rsi
00130be3mov [rsp+8], rax
00130be8
00130be8loc_130be8:
00130be8mov rax, [rsp]
00130becmov rax, [rax+24]
00130bf0mov [rsp+16], rax
00130bf5mov rax, [rsp+8]
00130bfacall camlMisc.next_of_string_736
00130bffmov rbx, [rsp+16]
00130c04mov rbx, [rbx+16]
00130c08call camlLatexscan.translate_next_1611
00130c0dmov rbx, [rsp+24]
00130c12mov rax, rbx
00130c15sub rbx, 2
00130c19mov [rsp+24], rbx
00130c1ecmp rax, 3
00130c22je 0x130c2b
00130c24cmp r15, [r14]
00130c27ja 0x130be8
00130c29jmp 0x130c35
00130c2b
00130c2bloc_130c2b:
00130c2bmov eax, 1
00130c30add rsp, 32
00130c34ret
00130c35
00130c35loc_130c35:
00130c35call caml_call_gc
00130c3ajmp 0x130be8
00130c3c
00130c3cloc_130c3c:
00130c3cpush 37
00130c3ecall caml_call_realloc_stack
00130c43pop r10
00130c45jmp 0x130bb2
00130ba0