File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
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
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
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
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
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
0012fe22 // align 0x10
0012fe30
0012fe30camlLatexscan.fun_6207:
0012fe30mov rdi, [rbx+16]
0012fe34add rdi, 24
0012fe38mov ebx, 299
0012fe3djmp 0x1186d0
0012fe30
0012fe30camlLatexscan.fun_6207:
0012fe30mov rdi, [rbx+16]
0012fe34add rdi, 24
0012fe38mov ebx, 299
0012fe3djmp 0x1186d0
0012fe30
0012fe42
0012fe42 // align 0x10
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
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
0012ff2a // align 0x10
0012ff36
0012ff36 // align 0x10
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
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
0012fffa // align 0x10
00130006
00130006 // align 0x10
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
001306e6 // align 0x10
001306f0
001306f0camlLatexscan.fun_6343:
001306f0mov rbx, [rbx+16]
001306f4mov eax, 1
001306f9jmp 0x1305a0
001306f0
001306f0camlLatexscan.fun_6343:
001306f0mov rbx, [rbx+16]
001306f4mov eax, 1
001306f9jmp 0x1305a0
001306f0
001306fe
001306fe // align 0x10
001306fe // align 0x10
00130700
00130700camlLatexscan.fun_6349:
00130700mov rbx, [rbx+16]
00130704mov eax, 1
00130709jmp 0x130670
00130700
00130700camlLatexscan.fun_6349:
00130700mov rbx, [rbx+16]
00130704mov eax, 1
00130709jmp 0x130670
00130700
0013070e
0013070e // align 0x10
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
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
001307e8 // align 0x10
001307f8
001307f8 // align 0x10
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
00130c4a
00130c4a // align 0x10
00130c4a // align 0x10
00130c50
00130c50camlLatexscan.fun_6442:
00130c50lea r10, [rsp-360]
00130c58cmp r10, [r14+40]
00130c5cjb 0x130d36
00130c62
00130c62loc_130c62:
00130c62sub rsp, 40
00130c66mov [rsp+8], rax
00130c6bmov [rsp+32], rbx
00130c70mov rbx, [rbx+24]
00130c74mov [rsp], rbx
00130c78call camlLexstate.save_arg_1030
00130c7dmov rbx, rax
00130c80mov rax, [rsp]
00130c84mov rdi, [rax+16]
00130c88mov rax, [rdi+16]
00130c8cmov rdi, [rdi+24]
00130c90call camlLatexscan.do_get_prim_onarg_1872
00130c95mov [rsp+16], rax
00130c9amov rax, [rsp+8]
00130c9fcall camlLexstate.save_body_1031
00130ca4mov rbx, rax
00130ca7lea rax, [rip+0x1c4bb2]
00130caemov rax, [rax+280]
00130cb5call camlGet.do_get_int_873
00130cbamov [rsp+24], rax
00130cbfmov rax, [rsp+32]
00130cc4mov rax, [rax+24]
00130cc8mov [rsp], rax
00130cccmov rax, [rsp+8]
00130cd1call camlLexstate.save_arg_1030
00130cd6mov rbx, rax
00130cd9mov rax, [rsp]
00130cddmov rdi, [rax+16]
00130ce1mov rax, [rdi+16]
00130ce5mov rdi, [rdi+24]
00130ce9call camlLatexscan.do_get_prim_onarg_1872
00130ceemov rdi, rax
00130cf1mov [rsp], rdi
00130cf5mov rax, [rsp+32]
00130cfamov rsi, [rax+32]
00130cfemov rax, [rsp+16]
00130d03mov rbx, [rsp+24]
00130d08call camlLatexscan.pad_2545
00130d0dmov rax, [rsp+32]
00130d12mov rax, [rax+16]
00130d16mov [rsp+8], rax
00130d1bmov rax, [rsp]
00130d1fcall camlMisc.next_of_string_736
00130d24mov rbx, [rsp+8]
00130d29mov rbx, [rbx+16]
00130d2dadd rsp, 40
00130d31jmp 0x127520
00130d36
00130d36loc_130d36:
00130d36push 38
00130d38call caml_call_realloc_stack
00130d3dpop r10
00130d3fjmp 0x130c62
00130c50
00130c50camlLatexscan.fun_6442:
00130c50lea r10, [rsp-360]
00130c58cmp r10, [r14+40]
00130c5cjb 0x130d36
00130c62
00130c62loc_130c62:
00130c62sub rsp, 40
00130c66mov [rsp+8], rax
00130c6bmov [rsp+32], rbx
00130c70mov rbx, [rbx+24]
00130c74mov [rsp], rbx
00130c78call camlLexstate.save_arg_1030
00130c7dmov rbx, rax
00130c80mov rax, [rsp]
00130c84mov rdi, [rax+16]
00130c88mov rax, [rdi+16]
00130c8cmov rdi, [rdi+24]
00130c90call camlLatexscan.do_get_prim_onarg_1872
00130c95mov [rsp+16], rax
00130c9amov rax, [rsp+8]
00130c9fcall camlLexstate.save_body_1031
00130ca4mov rbx, rax
00130ca7lea rax, [rip+0x1c4bb2]
00130caemov rax, [rax+280]
00130cb5call camlGet.do_get_int_873
00130cbamov [rsp+24], rax
00130cbfmov rax, [rsp+32]
00130cc4mov rax, [rax+24]
00130cc8mov [rsp], rax
00130cccmov rax, [rsp+8]
00130cd1call camlLexstate.save_arg_1030
00130cd6mov rbx, rax
00130cd9mov rax, [rsp]
00130cddmov rdi, [rax+16]
00130ce1mov rax, [rdi+16]
00130ce5mov rdi, [rdi+24]
00130ce9call camlLatexscan.do_get_prim_onarg_1872
00130ceemov rdi, rax
00130cf1mov [rsp], rdi
00130cf5mov rax, [rsp+32]
00130cfamov rsi, [rax+32]
00130cfemov rax, [rsp+16]
00130d03mov rbx, [rsp+24]
00130d08call camlLatexscan.pad_2545
00130d0dmov rax, [rsp+32]
00130d12mov rax, [rax+16]
00130d16mov [rsp+8], rax
00130d1bmov rax, [rsp]
00130d1fcall camlMisc.next_of_string_736
00130d24mov rbx, [rsp+8]
00130d29mov rbx, [rbx+16]
00130d2dadd rsp, 40
00130d31jmp 0x127520
00130d36
00130d36loc_130d36:
00130d36push 38
00130d38call caml_call_realloc_stack
00130d3dpop r10
00130d3fjmp 0x130c62
00130c50
00130d44
00130d44 // align 0x10
00130d44 // align 0x10
00130d50
00130d50camlLatexscan.fun_6476:
00130d50lea r10, [rsp-352]
00130d58cmp r10, [r14+40]
00130d5cjb 0x130e6c
00130d62
00130d62loc_130d62:
00130d62sub rsp, 32
00130d66mov [rsp+8], rax
00130d6bmov [rsp+24], rbx
00130d70lea rax, [rip+0x1f07c9]
00130d77mov rbx, [rax+80]
00130d7bmov [rbx], 3
00130d82mov rax, [rax+64]
00130d86call camlDoOut.reset_705
00130d8bmov rax, [rsp+24]
00130d90mov rax, [rax+24]
00130d94mov [rsp], rax
00130d98mov rax, [rsp+8]
00130d9dcall camlLexstate.save_arg_1030
00130da2mov rbx, rax
00130da5mov rax, [rsp]
00130da9mov rdi, [rax+16]
00130dadmov rax, [rdi+16]
00130db1mov rdi, [rdi+24]
00130db5call camlLatexscan.do_get_prim_onarg_1872
00130dbamov [rsp], rax
00130dbemov rax, [rsp+24]
00130dc3mov rdi, [rax+32]
00130dc7lea rax, [rip+0x16d89a]
00130dcemov rbx, [rsp+8]
00130dd3call camlLatexscan.get_prim_opt_1900
00130dd8mov [rsp+8], rax
00130dddlea rax, [rip+0x1f075c]
00130de4mov rbx, [rax+80]
00130de8mov [rbx], 1
00130defmov rax, [rax+64]
00130df3call camlDoOut.to_string_830
00130df8lea rbx, [rip+0x1e5ba1]
00130dffmov rbx, [rbx+728]
00130e06mov rbx, [rbx]
00130e09test bl, 1
00130e0cje 0x130e5a
00130e0emov [rsp+16], rax
00130e13mov rax, [rsp+24]
00130e18mov rax, [rax+48]
00130e1cmov rbx, [rax+32]
00130e20lea rax, [rip+0x1671f9]
00130e27mov rdi, [rbx]
00130e2acall rdi
00130e2cmov rax, [rsp+24]
00130e31mov rax, [rax+48]
00130e35mov rbx, [rax+32]
00130e39mov rdi, [rbx]
00130e3cmov rax, [rsp+16]
00130e41call rdi
00130e43mov rax, [rsp+24]
00130e48mov rax, [rax+48]
00130e4cmov rbx, [rax+24]
00130e50mov eax, 21
00130e55mov rdi, [rbx]
00130e58call rdi
00130e5a
00130e5aloc_130e5a:
00130e5amov rax, [rsp]
00130e5emov rbx, [rsp+8]
00130e63add rsp, 32
00130e67jmp 0x12aa70
00130e6c
00130e6cloc_130e6c:
00130e6cpush 37
00130e6ecall caml_call_realloc_stack
00130e73pop r10
00130e75jmp 0x130d62
00130d50
00130d50camlLatexscan.fun_6476:
00130d50lea r10, [rsp-352]
00130d58cmp r10, [r14+40]
00130d5cjb 0x130e6c
00130d62
00130d62loc_130d62:
00130d62sub rsp, 32
00130d66mov [rsp+8], rax
00130d6bmov [rsp+24], rbx
00130d70lea rax, [rip+0x1f07c9]
00130d77mov rbx, [rax+80]
00130d7bmov [rbx], 3
00130d82mov rax, [rax+64]
00130d86call camlDoOut.reset_705
00130d8bmov rax, [rsp+24]
00130d90mov rax, [rax+24]
00130d94mov [rsp], rax
00130d98mov rax, [rsp+8]
00130d9dcall camlLexstate.save_arg_1030
00130da2mov rbx, rax
00130da5mov rax, [rsp]
00130da9mov rdi, [rax+16]
00130dadmov rax, [rdi+16]
00130db1mov rdi, [rdi+24]
00130db5call camlLatexscan.do_get_prim_onarg_1872
00130dbamov [rsp], rax
00130dbemov rax, [rsp+24]
00130dc3mov rdi, [rax+32]
00130dc7lea rax, [rip+0x16d89a]
00130dcemov rbx, [rsp+8]
00130dd3call camlLatexscan.get_prim_opt_1900
00130dd8mov [rsp+8], rax
00130dddlea rax, [rip+0x1f075c]
00130de4mov rbx, [rax+80]
00130de8mov [rbx], 1
00130defmov rax, [rax+64]
00130df3call camlDoOut.to_string_830
00130df8lea rbx, [rip+0x1e5ba1]
00130dffmov rbx, [rbx+728]
00130e06mov rbx, [rbx]
00130e09test bl, 1
00130e0cje 0x130e5a
00130e0emov [rsp+16], rax
00130e13mov rax, [rsp+24]
00130e18mov rax, [rax+48]
00130e1cmov rbx, [rax+32]
00130e20lea rax, [rip+0x1671f9]
00130e27mov rdi, [rbx]
00130e2acall rdi
00130e2cmov rax, [rsp+24]
00130e31mov rax, [rax+48]
00130e35mov rbx, [rax+32]
00130e39mov rdi, [rbx]
00130e3cmov rax, [rsp+16]
00130e41call rdi
00130e43mov rax, [rsp+24]
00130e48mov rax, [rax+48]
00130e4cmov rbx, [rax+24]
00130e50mov eax, 21
00130e55mov rdi, [rbx]
00130e58call rdi
00130e5a
00130e5aloc_130e5a:
00130e5amov rax, [rsp]
00130e5emov rbx, [rsp+8]
00130e63add rsp, 32
00130e67jmp 0x12aa70
00130e6c
00130e6cloc_130e6c:
00130e6cpush 37
00130e6ecall caml_call_realloc_stack
00130e73pop r10
00130e75jmp 0x130d62
00130d50
00130e7a
00130e7a // align 0x10
00130e7a // align 0x10
00130e80
00130e80camlLatexscan.fun_6494:
00130e80lea r10, [rsp-352]
00130e88cmp r10, [r14+40]
00130e8cjb 0x130fa2
00130e92
00130e92loc_130e92:
00130e92sub rsp, 32
00130e96mov [rsp+8], rax
00130e9bmov [rsp+24], rbx
00130ea0lea rax, [rip+0x1f0699]
00130ea7mov rbx, [rax+80]
00130eabmov [rbx], 3
00130eb2mov rax, [rax+64]
00130eb6call camlDoOut.reset_705
00130ebbmov rax, [rsp+24]
00130ec0mov rax, [rax+24]
00130ec4mov [rsp], rax
00130ec8mov rax, [rsp+8]
00130ecdcall camlLexstate.save_arg_1030
00130ed2mov rbx, rax
00130ed5mov rax, [rsp]
00130ed9mov rdi, [rax+16]
00130eddmov rax, [rdi+16]
00130ee1mov rdi, [rdi+24]
00130ee5call camlLatexscan.do_get_prim_onarg_1872
00130eeamov [rsp+16], rax
00130eefmov rax, [rsp+8]
00130ef4call camlLexstate.save_body_1031
00130ef9mov [rsp], rax
00130efdlea rax, [rip+0x1f063c]
00130f04mov rbx, [rax+80]
00130f08mov [rbx], 1
00130f0fmov rax, [rax+64]
00130f13call camlDoOut.to_string_830
00130f18lea rbx, [rip+0x1e5a81]
00130f1fmov rbx, [rbx+728]
00130f26mov rbx, [rbx]
00130f29test bl, 1
00130f2cje 0x130f7a
00130f2emov [rsp+8], rax
00130f33mov rax, [rsp+24]
00130f38mov rax, [rax+32]
00130f3cmov rbx, [rax+32]
00130f40lea rax, [rip+0x1670c1]
00130f47mov rdi, [rbx]
00130f4acall rdi
00130f4cmov rax, [rsp+24]
00130f51mov rax, [rax+32]
00130f55mov rbx, [rax+32]
00130f59mov rdi, [rbx]
00130f5cmov rax, [rsp+8]
00130f61call rdi
00130f63mov rax, [rsp+24]
00130f68mov rax, [rax+32]
00130f6cmov rbx, [rax+24]
00130f70mov eax, 21
00130f75mov rdi, [rbx]
00130f78call rdi
00130f7a
00130f7aloc_130f7a:
00130f7alea rax, [rip+0x1c48df]
00130f81mov rax, [rax+280]
00130f88mov rbx, [rsp]
00130f8ccall camlGet.do_get_int_873
00130f91mov rbx, rax
00130f94mov rax, [rsp+16]
00130f99add rsp, 32
00130f9djmp 0x179790
00130fa2
00130fa2loc_130fa2:
00130fa2push 37
00130fa4call caml_call_realloc_stack
00130fa9pop r10
00130fabjmp 0x130e92
00130e80
00130e80camlLatexscan.fun_6494:
00130e80lea r10, [rsp-352]
00130e88cmp r10, [r14+40]
00130e8cjb 0x130fa2
00130e92
00130e92loc_130e92:
00130e92sub rsp, 32
00130e96mov [rsp+8], rax
00130e9bmov [rsp+24], rbx
00130ea0lea rax, [rip+0x1f0699]
00130ea7mov rbx, [rax+80]
00130eabmov [rbx], 3
00130eb2mov rax, [rax+64]
00130eb6call camlDoOut.reset_705
00130ebbmov rax, [rsp+24]
00130ec0mov rax, [rax+24]
00130ec4mov [rsp], rax
00130ec8mov rax, [rsp+8]
00130ecdcall camlLexstate.save_arg_1030
00130ed2mov rbx, rax
00130ed5mov rax, [rsp]
00130ed9mov rdi, [rax+16]
00130eddmov rax, [rdi+16]
00130ee1mov rdi, [rdi+24]
00130ee5call camlLatexscan.do_get_prim_onarg_1872
00130eeamov [rsp+16], rax
00130eefmov rax, [rsp+8]
00130ef4call camlLexstate.save_body_1031
00130ef9mov [rsp], rax
00130efdlea rax, [rip+0x1f063c]
00130f04mov rbx, [rax+80]
00130f08mov [rbx], 1
00130f0fmov rax, [rax+64]
00130f13call camlDoOut.to_string_830
00130f18lea rbx, [rip+0x1e5a81]
00130f1fmov rbx, [rbx+728]
00130f26mov rbx, [rbx]
00130f29test bl, 1
00130f2cje 0x130f7a
00130f2emov [rsp+8], rax
00130f33mov rax, [rsp+24]
00130f38mov rax, [rax+32]
00130f3cmov rbx, [rax+32]
00130f40lea rax, [rip+0x1670c1]
00130f47mov rdi, [rbx]
00130f4acall rdi
00130f4cmov rax, [rsp+24]
00130f51mov rax, [rax+32]
00130f55mov rbx, [rax+32]
00130f59mov rdi, [rbx]
00130f5cmov rax, [rsp+8]
00130f61call rdi
00130f63mov rax, [rsp+24]
00130f68mov rax, [rax+32]
00130f6cmov rbx, [rax+24]
00130f70mov eax, 21
00130f75mov rdi, [rbx]
00130f78call rdi
00130f7a
00130f7aloc_130f7a:
00130f7alea rax, [rip+0x1c48df]
00130f81mov rax, [rax+280]
00130f88mov rbx, [rsp]
00130f8ccall camlGet.do_get_int_873
00130f91mov rbx, rax
00130f94mov rax, [rsp+16]
00130f99add rsp, 32
00130f9djmp 0x179790
00130fa2
00130fa2loc_130fa2:
00130fa2push 37
00130fa4call caml_call_realloc_stack
00130fa9pop r10
00130fabjmp 0x130e92
00130e80
00130fb0
00130fb0camlLatexscan.fun_6510:
00130fb0lea r10, [rsp-352]
00130fb8cmp r10, [r14+40]
00130fbcjb 0x1310d2
00130fc2
00130fc2loc_130fc2:
00130fc2sub rsp, 32
00130fc6mov [rsp+8], rax
00130fcbmov [rsp+24], rbx
00130fd0lea rax, [rip+0x1f0569]
00130fd7mov rbx, [rax+80]
00130fdbmov [rbx], 3
00130fe2mov rax, [rax+64]
00130fe6call camlDoOut.reset_705
00130febmov rax, [rsp+24]
00130ff0mov rax, [rax+24]
00130ff4mov [rsp], rax
00130ff8mov rax, [rsp+8]
00130ffdcall camlLexstate.save_arg_1030
00131002mov rbx, rax
00131005mov rax, [rsp]
00131009mov rdi, [rax+16]
0013100dmov rax, [rdi+16]
00131011mov rdi, [rdi+24]
00131015call camlLatexscan.do_get_prim_onarg_1872
0013101amov [rsp+16], rax
0013101fmov rax, [rsp+8]
00131024call camlLexstate.save_body_1031
00131029mov [rsp], rax
0013102dlea rax, [rip+0x1f050c]
00131034mov rbx, [rax+80]
00131038mov [rbx], 1
0013103fmov rax, [rax+64]
00131043call camlDoOut.to_string_830
00131048lea rbx, [rip+0x1e5951]
0013104fmov rbx, [rbx+728]
00131056mov rbx, [rbx]
00131059test bl, 1
0013105cje 0x1310aa
0013105emov [rsp+8], rax
00131063mov rax, [rsp+24]
00131068mov rax, [rax+32]
0013106cmov rbx, [rax+32]
00131070lea rax, [rip+0x166f79]
00131077mov rdi, [rbx]
0013107acall rdi
0013107cmov rax, [rsp+24]
00131081mov rax, [rax+32]
00131085mov rbx, [rax+32]
00131089mov rdi, [rbx]
0013108cmov rax, [rsp+8]
00131091call rdi
00131093mov rax, [rsp+24]
00131098mov rax, [rax+32]
0013109cmov rbx, [rax+24]
001310a0mov eax, 21
001310a5mov rdi, [rbx]
001310a8call rdi
001310aa
001310aaloc_1310aa:
001310aalea rax, [rip+0x1c47af]
001310b1mov rax, [rax+280]
001310b8mov rbx, [rsp]
001310bccall camlGet.do_get_int_873
001310c1mov rbx, rax
001310c4mov rax, [rsp+16]
001310c9add rsp, 32
001310cdjmp 0x179840
001310d2
001310d2loc_1310d2:
001310d2push 37
001310d4call caml_call_realloc_stack
001310d9pop r10
001310dbjmp 0x130fc2
00130fb0
00130fb0camlLatexscan.fun_6510:
00130fb0lea r10, [rsp-352]
00130fb8cmp r10, [r14+40]
00130fbcjb 0x1310d2
00130fc2
00130fc2loc_130fc2:
00130fc2sub rsp, 32
00130fc6mov [rsp+8], rax
00130fcbmov [rsp+24], rbx
00130fd0lea rax, [rip+0x1f0569]
00130fd7mov rbx, [rax+80]
00130fdbmov [rbx], 3
00130fe2mov rax, [rax+64]
00130fe6call camlDoOut.reset_705
00130febmov rax, [rsp+24]
00130ff0mov rax, [rax+24]
00130ff4mov [rsp], rax
00130ff8mov rax, [rsp+8]
00130ffdcall camlLexstate.save_arg_1030
00131002mov rbx, rax
00131005mov rax, [rsp]
00131009mov rdi, [rax+16]
0013100dmov rax, [rdi+16]
00131011mov rdi, [rdi+24]
00131015call camlLatexscan.do_get_prim_onarg_1872
0013101amov [rsp+16], rax
0013101fmov rax, [rsp+8]
00131024call camlLexstate.save_body_1031
00131029mov [rsp], rax
0013102dlea rax, [rip+0x1f050c]
00131034mov rbx, [rax+80]
00131038mov [rbx], 1
0013103fmov rax, [rax+64]
00131043call camlDoOut.to_string_830
00131048lea rbx, [rip+0x1e5951]
0013104fmov rbx, [rbx+728]
00131056mov rbx, [rbx]
00131059test bl, 1
0013105cje 0x1310aa
0013105emov [rsp+8], rax
00131063mov rax, [rsp+24]
00131068mov rax, [rax+32]
0013106cmov rbx, [rax+32]
00131070lea rax, [rip+0x166f79]
00131077mov rdi, [rbx]
0013107acall rdi
0013107cmov rax, [rsp+24]
00131081mov rax, [rax+32]
00131085mov rbx, [rax+32]
00131089mov rdi, [rbx]
0013108cmov rax, [rsp+8]
00131091call rdi
00131093mov rax, [rsp+24]
00131098mov rax, [rax+32]
0013109cmov rbx, [rax+24]
001310a0mov eax, 21
001310a5mov rdi, [rbx]
001310a8call rdi
001310aa
001310aaloc_1310aa:
001310aalea rax, [rip+0x1c47af]
001310b1mov rax, [rax+280]
001310b8mov rbx, [rsp]
001310bccall camlGet.do_get_int_873
001310c1mov rbx, rax
001310c4mov rax, [rsp+16]
001310c9add rsp, 32
001310cdjmp 0x179840
001310d2
001310d2loc_1310d2:
001310d2push 37
001310d4call caml_call_realloc_stack
001310d9pop r10
001310dbjmp 0x130fc2
00130fb0
001310e0
001310e0camlLatexscan.fun_6526:
001310e0lea r10, [rsp-344]
001310e8cmp r10, [r14+40]
001310ecjb 0x1311d8
001310f2
001310f2loc_1310f2:
001310f2sub rsp, 24
001310f6mov [rsp], rax
001310famov [rsp+16], rbx
001310fflea rax, [rip+0x1f043a]
00131106mov rbx, [rax+80]
0013110amov [rbx], 3
00131111mov rax, [rax+64]
00131115call camlDoOut.reset_705
0013111amov rax, [rsp+16]
0013111fmov rax, [rax+24]
00131123mov [rsp+8], rax
00131128mov rax, [rsp]
0013112ccall camlLexstate.save_arg_1030
00131131mov rbx, rax
00131134mov rax, [rsp+8]
00131139mov rdi, [rax+16]
0013113dmov rax, [rdi+16]
00131141mov rdi, [rdi+24]
00131145call camlLatexscan.do_get_prim_onarg_1872
0013114amov [rsp], rax
0013114elea rax, [rip+0x1f03eb]
00131155mov rbx, [rax+80]
00131159mov [rbx], 1
00131160mov rax, [rax+64]
00131164call camlDoOut.to_string_830
00131169lea rbx, [rip+0x1e5830]
00131170mov rbx, [rbx+728]
00131177mov rbx, [rbx]
0013117atest bl, 1
0013117dje 0x1311cb
0013117fmov [rsp+8], rax
00131184mov rax, [rsp+16]
00131189mov rax, [rax+32]
0013118dmov rbx, [rax+32]
00131191lea rax, [rip+0x166e40]
00131198mov rdi, [rbx]
0013119bcall rdi
0013119dmov rax, [rsp+16]
001311a2mov rax, [rax+32]
001311a6mov rbx, [rax+32]
001311aamov rdi, [rbx]
001311admov rax, [rsp+8]
001311b2call rdi
001311b4mov rax, [rsp+16]
001311b9mov rax, [rax+32]
001311bdmov rbx, [rax+24]
001311c1mov eax, 21
001311c6mov rdi, [rbx]
001311c9call rdi
001311cb
001311cbloc_1311cb:
001311cbmov rax, [rsp]
001311cfadd rsp, 24
001311d3jmp 0x1798f0
001311d8
001311d8loc_1311d8:
001311d8push 36
001311dacall caml_call_realloc_stack
001311dfpop r10
001311e1jmp 0x1310f2
001310e0
001310e0camlLatexscan.fun_6526:
001310e0lea r10, [rsp-344]
001310e8cmp r10, [r14+40]
001310ecjb 0x1311d8
001310f2
001310f2loc_1310f2:
001310f2sub rsp, 24
001310f6mov [rsp], rax
001310famov [rsp+16], rbx
001310fflea rax, [rip+0x1f043a]
00131106mov rbx, [rax+80]
0013110amov [rbx], 3
00131111mov rax, [rax+64]
00131115call camlDoOut.reset_705
0013111amov rax, [rsp+16]
0013111fmov rax, [rax+24]
00131123mov [rsp+8], rax
00131128mov rax, [rsp]
0013112ccall camlLexstate.save_arg_1030
00131131mov rbx, rax
00131134mov rax, [rsp+8]
00131139mov rdi, [rax+16]
0013113dmov rax, [rdi+16]
00131141mov rdi, [rdi+24]
00131145call camlLatexscan.do_get_prim_onarg_1872
0013114amov [rsp], rax
0013114elea rax, [rip+0x1f03eb]
00131155mov rbx, [rax+80]
00131159mov [rbx], 1
00131160mov rax, [rax+64]
00131164call camlDoOut.to_string_830
00131169lea rbx, [rip+0x1e5830]
00131170mov rbx, [rbx+728]
00131177mov rbx, [rbx]
0013117atest bl, 1
0013117dje 0x1311cb
0013117fmov [rsp+8], rax
00131184mov rax, [rsp+16]
00131189mov rax, [rax+32]
0013118dmov rbx, [rax+32]
00131191lea rax, [rip+0x166e40]
00131198mov rdi, [rbx]
0013119bcall rdi
0013119dmov rax, [rsp+16]
001311a2mov rax, [rax+32]
001311a6mov rbx, [rax+32]
001311aamov rdi, [rbx]
001311admov rax, [rsp+8]
001311b2call rdi
001311b4mov rax, [rsp+16]
001311b9mov rax, [rax+32]
001311bdmov rbx, [rax+24]
001311c1mov eax, 21
001311c6mov rdi, [rbx]
001311c9call rdi
001311cb
001311cbloc_1311cb:
001311cbmov rax, [rsp]
001311cfadd rsp, 24
001311d3jmp 0x1798f0
001311d8
001311d8loc_1311d8:
001311d8push 36
001311dacall caml_call_realloc_stack
001311dfpop r10
001311e1jmp 0x1310f2
001310e0
001311e6
001311e6 // align 0x10
001311e6 // align 0x10
001311f0
001311f0camlLatexscan.fun_6542:
001311f0lea r10, [rsp-336]
001311f8cmp r10, [r14+40]
001311fcjb 0x131299
00131202
00131202loc_131202:
00131202sub rsp, 16
00131206mov [rsp+8], rbx
0013120bcmp r15, [r14]
0013120ejbe 0x13128f
00131210
00131210loc_131210:
00131210mov rbx, [rbx+16]
00131214mov [rsp], rbx
00131218call camlLexstate.save_arg_1030
0013121dmov rbx, rax
00131220mov rax, [rsp]
00131224mov rdi, [rax+16]
00131228mov rax, [rdi+16]
0013122cmov rdi, [rdi+24]
00131230call camlLatexscan.do_get_prim_onarg_1872
00131235call camlGet.get_length_920
0013123atest al, 1
0013123cjne 0x131264
0013123emovzx rbx, [rax-8]
00131243cmp rbx, 1
00131247je 0x13125c
00131249test rbx, rbx
0013124cjne 0x131264
0013124emov rax, [rax]
00131251shl rax, 4
00131255add rax, -15
00131259jmp 0x131269
0013125bnop
0013125c
0013125cloc_13125c:
0013125cmov rax, [rax]
0013125fjmp 0x131269
00131261nop [rax]
00131264
00131264loc_131264:
00131264mov eax, 1
00131269
00131269loc_131269:
00131269mov rbx, [rsp+8]
0013126emov rbx, [rbx+24]
00131272mov rbx, [rbx+352]
00131279mov [rsp], rbx
0013127dcall camlStdlib.string_of_int_175
00131282mov rbx, [rsp]
00131286mov rdi, [rbx]
00131289add rsp, 16
0013128djmp rdi
0013128f
0013128floc_13128f:
0013128fcall caml_call_gc
00131294jmp 0x131210
00131299
00131299loc_131299:
00131299push 35
0013129bcall caml_call_realloc_stack
001312a0pop r10
001312a2jmp 0x131202
001311f0
001311f0camlLatexscan.fun_6542:
001311f0lea r10, [rsp-336]
001311f8cmp r10, [r14+40]
001311fcjb 0x131299
00131202
00131202loc_131202:
00131202sub rsp, 16
00131206mov [rsp+8], rbx
0013120bcmp r15, [r14]
0013120ejbe 0x13128f
00131210
00131210loc_131210:
00131210mov rbx, [rbx+16]
00131214mov [rsp], rbx
00131218call camlLexstate.save_arg_1030
0013121dmov rbx, rax
00131220mov rax, [rsp]
00131224mov rdi, [rax+16]
00131228mov rax, [rdi+16]
0013122cmov rdi, [rdi+24]
00131230call camlLatexscan.do_get_prim_onarg_1872
00131235call camlGet.get_length_920
0013123atest al, 1
0013123cjne 0x131264
0013123emovzx rbx, [rax-8]
00131243cmp rbx, 1
00131247je 0x13125c
00131249test rbx, rbx
0013124cjne 0x131264
0013124emov rax, [rax]
00131251shl rax, 4
00131255add rax, -15
00131259jmp 0x131269
0013125bnop
0013125c
0013125cloc_13125c:
0013125cmov rax, [rax]
0013125fjmp 0x131269
00131261nop [rax]
00131264
00131264loc_131264:
00131264mov eax, 1
00131269
00131269loc_131269:
00131269mov rbx, [rsp+8]
0013126emov rbx, [rbx+24]
00131272mov rbx, [rbx+352]
00131279mov [rsp], rbx
0013127dcall camlStdlib.string_of_int_175
00131282mov rbx, [rsp]
00131286mov rdi, [rbx]
00131289add rsp, 16
0013128djmp rdi
0013128f
0013128floc_13128f:
0013128fcall caml_call_gc
00131294jmp 0x131210
00131299
00131299loc_131299:
00131299push 35
0013129bcall caml_call_realloc_stack
001312a0pop r10
001312a2jmp 0x131202
001311f0
001312a7
001312a7 // align 0x10
001312a7 // align 0x10
001312b0
001312b0camlLatexscan.insert_horizontal_space_2576:
001312b0lea r10, [rsp-376]
001312b8cmp r10, [r14+40]
001312bcjb 0x1313af
001312c2
001312c2loc_1312c2:
001312c2sub rsp, 40
001312c6mov [rsp+24], rax
001312cbmov [rsp], rbx
001312cfmov [rsp+32], rdi
001312d4mov rax, rsi
001312d7mov [rsp+16], rdx
001312dccmp r15, [r14]
001312dfjbe 0x1313a5
001312e5
001312e5loc_1312e5:
001312e5call camlLexstate.save_arg_1030
001312eamov rbx, rax
001312edmov eax, 1
001312f2call camlSubst.do_do_subst_this_697
001312f7mov rbx, [rsp+16]
001312fcmov rbx, [rbx+32]
00131300call camlLatexscan.get_prim_1896
00131305mov [rsp+8], rax
0013130alea r11, [rip+95]
00131311push r11
00131313push [r14+48]
00131317mov [r14+48], rsp
0013131bcall camlMyLexing.from_string_309
00131320call camlLength.main_473
00131325mov rbx, rax
00131328test bl, 1
0013132bjne 0x13134c
0013132dmovzx rax, [rbx-8]
00131332cmp rax, 2
00131336jge 0x13134c
00131338mov rax, [rsp+40]
0013133dmov rdi, [rsp+48]
00131342call caml_apply2
00131347jmp 0x131364
00131349nop [rax]
0013134c
0013134cloc_13134c:
0013134cmov rax, [rsp+32]
00131351mov rax, [rax+24]
00131355mov rsp, [r14+48]
00131359pop [r14+48]
0013135dpop r11
0013135fjmp r11
00131362nop
00131364
00131364loc_131364:
00131364pop [r14+48]
00131368add rsp, 8
0013136cjmp 0x1313a0
0013136enop
00131370mov rbx, [rsp+16]
00131375mov rbx, [rbx+24]
00131379cmp rax, rbx
0013137cjne 0x131390
0013137emov rbx, [rsp]
00131382mov rdi, [rbx]
00131385mov rax, [rsp+8]
0013138aadd rsp, 40
0013138ejmp rdi
00131390
00131390loc_131390:
00131390mov rsp, [r14+48]
00131394pop [r14+48]
00131398pop r11
0013139ajmp r11
0013139dnop [rax]
001313a0
001313a0loc_1313a0:
001313a0add rsp, 40
001313a4ret
001313a5
001313a5loc_1313a5:
001313a5call caml_call_gc
001313aajmp 0x1312e5
001313af
001313afloc_1313af:
001313afpush 40
001313b1call caml_call_realloc_stack
001313b6pop r10
001313b8jmp 0x1312c2
001312b0
001312b0camlLatexscan.insert_horizontal_space_2576:
001312b0lea r10, [rsp-376]
001312b8cmp r10, [r14+40]
001312bcjb 0x1313af
001312c2
001312c2loc_1312c2:
001312c2sub rsp, 40
001312c6mov [rsp+24], rax
001312cbmov [rsp], rbx
001312cfmov [rsp+32], rdi
001312d4mov rax, rsi
001312d7mov [rsp+16], rdx
001312dccmp r15, [r14]
001312dfjbe 0x1313a5
001312e5
001312e5loc_1312e5:
001312e5call camlLexstate.save_arg_1030
001312eamov rbx, rax
001312edmov eax, 1
001312f2call camlSubst.do_do_subst_this_697
001312f7mov rbx, [rsp+16]
001312fcmov rbx, [rbx+32]
00131300call camlLatexscan.get_prim_1896
00131305mov [rsp+8], rax
0013130alea r11, [rip+95]
00131311push r11
00131313push [r14+48]
00131317mov [r14+48], rsp
0013131bcall camlMyLexing.from_string_309
00131320call camlLength.main_473
00131325mov rbx, rax
00131328test bl, 1
0013132bjne 0x13134c
0013132dmovzx rax, [rbx-8]
00131332cmp rax, 2
00131336jge 0x13134c
00131338mov rax, [rsp+40]
0013133dmov rdi, [rsp+48]
00131342call caml_apply2
00131347jmp 0x131364
00131349nop [rax]
0013134c
0013134cloc_13134c:
0013134cmov rax, [rsp+32]
00131351mov rax, [rax+24]
00131355mov rsp, [r14+48]
00131359pop [r14+48]
0013135dpop r11
0013135fjmp r11
00131362nop
00131364
00131364loc_131364:
00131364pop [r14+48]
00131368add rsp, 8
0013136cjmp 0x1313a0
0013136enop
00131370mov rbx, [rsp+16]
00131375mov rbx, [rbx+24]
00131379cmp rax, rbx
0013137cjne 0x131390
0013137emov rbx, [rsp]
00131382mov rdi, [rbx]
00131385mov rax, [rsp+8]
0013138aadd rsp, 40
0013138ejmp rdi
00131390
00131390loc_131390:
00131390mov rsp, [r14+48]
00131394pop [r14+48]
00131398pop r11
0013139ajmp r11
0013139dnop [rax]
001313a0
001313a0loc_1313a0:
001313a0add rsp, 40
001313a4ret
001313a5
001313a5loc_1313a5:
001313a5call caml_call_gc
001313aajmp 0x1312e5
001313af
001313afloc_1313af:
001313afpush 40
001313b1call caml_call_realloc_stack
001313b6pop r10
001313b8jmp 0x1312c2
001312b0
001313bd
001313bd // align 0x10
001313bd // align 0x10
001313c0
001313c0camlLatexscan.do_space_2584:
001313c0lea r10, [rsp-384]
001313c8cmp r10, [r14+40]
001313ccjb 0x131526
001313d2
001313d2loc_1313d2:
001313d2sub rsp, 48
001313d6mov [rsp], rax
001313damov [rsp+16], rbx
001313dfmov rax, rdi
001313e2mov [rsp+40], rsi
001313e7cmp r15, [r14]
001313eajbe 0x13151c
001313f0
001313f0loc_1313f0:
001313f0call camlLexstate.save_arg_1030
001313f5mov rbx, rax
001313f8mov eax, 1
001313fdcall camlSubst.do_do_subst_this_697
00131402mov [rsp+8], rax
00131407lea r11, [rip+210]
0013140epush r11
00131410push [r14+48]
00131414mov [r14+48], rsp
00131418call camlMyLexing.from_string_309
0013141dcall camlLength.main_473
00131422test al, 1
00131424jne 0x131474
00131426movzx rbx, [rax-8]
0013142bcmp rbx, 1
0013142fje 0x13143c
00131431test rbx, rbx
00131434jne 0x131474
00131436mov rax, [rax]
00131439jmp 0x13148c
0013143bnop
0013143c
0013143cloc_13143c:
0013143cmov rbx, [rax]
0013143fimul rbx, rbx, 100
00131443inc rbx
00131446sar rbx, 1
00131449mov rdi, rbx
0013144cshr rdi, 63
00131450mov rsi, 0xa3d70a3d70a3d70b
0013145amov rax, rbx
0013145dimul rsi
00131460add rdx, rbx
00131463sar rdx, 10
00131467add rdx, rdi
0013146alea rax, [rdx+rdx+1]
0013146fjmp 0x13148c
00131471nop [rax]
00131474
00131474loc_131474:
00131474mov rax, [rsp+56]
00131479mov rax, [rax+24]
0013147dmov rsp, [r14+48]
00131481pop [r14+48]
00131485pop r11
00131487jmp r11
0013148anop
0013148c
0013148cloc_13148c:
0013148cmov ebx, 3
00131491cmp rbx, rax
00131494jg 0x1314d1
00131496mov [rsp+48], rax
0013149bmov [rsp+40], rbx
001314a0
001314a0loc_1314a0:
001314a0mov eax, 1
001314a5mov rbx, [rsp+32]
001314aamov rdi, [rbx]
001314adcall rdi
001314afmov rbx, [rsp+40]
001314b4mov rax, rbx
001314b7add rbx, 2
001314bbmov [rsp+40], rbx
001314c0mov rbx, [rsp+48]
001314c5cmp rax, rbx
001314c8je 0x1314d1
001314cacmp r15, [r14]
001314cdja 0x1314a0
001314cfjmp 0x131515
001314d1
001314d1loc_1314d1:
001314d1mov eax, 1
001314d6pop [r14+48]
001314daadd rsp, 8
001314dejmp 0x131510
001314e0mov rbx, [rsp+40]
001314e5mov rbx, [rbx+24]
001314e9cmp rax, rbx
001314ecjne 0x131500
001314eemov rbx, [rsp]
001314f2mov rdi, [rbx]
001314f5mov rax, [rsp+8]
001314faadd rsp, 48
001314fejmp rdi
00131500
00131500loc_131500:
00131500mov rsp, [r14+48]
00131504pop [r14+48]
00131508pop r11
0013150ajmp r11
0013150dnop [rax]
00131510
00131510loc_131510:
00131510add rsp, 48
00131514ret
00131515
00131515loc_131515:
00131515call caml_call_gc
0013151ajmp 0x1314a0
0013151c
0013151cloc_13151c:
0013151ccall caml_call_gc
00131521jmp 0x1313f0
00131526
00131526loc_131526:
00131526push 41
00131528call caml_call_realloc_stack
0013152dpop r10
0013152fjmp 0x1313d2
001313c0
001313c0camlLatexscan.do_space_2584:
001313c0lea r10, [rsp-384]
001313c8cmp r10, [r14+40]
001313ccjb 0x131526
001313d2
001313d2loc_1313d2:
001313d2sub rsp, 48
001313d6mov [rsp], rax
001313damov [rsp+16], rbx
001313dfmov rax, rdi
001313e2mov [rsp+40], rsi
001313e7cmp r15, [r14]
001313eajbe 0x13151c
001313f0
001313f0loc_1313f0:
001313f0call camlLexstate.save_arg_1030
001313f5mov rbx, rax
001313f8mov eax, 1
001313fdcall camlSubst.do_do_subst_this_697
00131402mov [rsp+8], rax
00131407lea r11, [rip+210]
0013140epush r11
00131410push [r14+48]
00131414mov [r14+48], rsp
00131418call camlMyLexing.from_string_309
0013141dcall camlLength.main_473
00131422test al, 1
00131424jne 0x131474
00131426movzx rbx, [rax-8]
0013142bcmp rbx, 1
0013142fje 0x13143c
00131431test rbx, rbx
00131434jne 0x131474
00131436mov rax, [rax]
00131439jmp 0x13148c
0013143bnop
0013143c
0013143cloc_13143c:
0013143cmov rbx, [rax]
0013143fimul rbx, rbx, 100
00131443inc rbx
00131446sar rbx, 1
00131449mov rdi, rbx
0013144cshr rdi, 63
00131450mov rsi, 0xa3d70a3d70a3d70b
0013145amov rax, rbx
0013145dimul rsi
00131460add rdx, rbx
00131463sar rdx, 10
00131467add rdx, rdi
0013146alea rax, [rdx+rdx+1]
0013146fjmp 0x13148c
00131471nop [rax]
00131474
00131474loc_131474:
00131474mov rax, [rsp+56]
00131479mov rax, [rax+24]
0013147dmov rsp, [r14+48]
00131481pop [r14+48]
00131485pop r11
00131487jmp r11
0013148anop
0013148c
0013148cloc_13148c:
0013148cmov ebx, 3
00131491cmp rbx, rax
00131494jg 0x1314d1
00131496mov [rsp+48], rax
0013149bmov [rsp+40], rbx
001314a0
001314a0loc_1314a0:
001314a0mov eax, 1
001314a5mov rbx, [rsp+32]
001314aamov rdi, [rbx]
001314adcall rdi
001314afmov rbx, [rsp+40]
001314b4mov rax, rbx
001314b7add rbx, 2
001314bbmov [rsp+40], rbx
001314c0mov rbx, [rsp+48]
001314c5cmp rax, rbx
001314c8je 0x1314d1
001314cacmp r15, [r14]
001314cdja 0x1314a0
001314cfjmp 0x131515
001314d1
001314d1loc_1314d1:
001314d1mov eax, 1
001314d6pop [r14+48]
001314daadd rsp, 8
001314dejmp 0x131510
001314e0mov rbx, [rsp+40]
001314e5mov rbx, [rbx+24]
001314e9cmp rax, rbx
001314ecjne 0x131500
001314eemov rbx, [rsp]
001314f2mov rdi, [rbx]
001314f5mov rax, [rsp+8]
001314faadd rsp, 48
001314fejmp rdi
00131500
00131500loc_131500:
00131500mov rsp, [r14+48]
00131504pop [r14+48]
00131508pop r11
0013150ajmp r11
0013150dnop [rax]
00131510
00131510loc_131510:
00131510add rsp, 48
00131514ret
00131515
00131515loc_131515:
00131515call caml_call_gc
0013151ajmp 0x1314a0
0013151c
0013151cloc_13151c:
0013151ccall caml_call_gc
00131521jmp 0x1313f0
00131526
00131526loc_131526:
00131526push 41
00131528call caml_call_realloc_stack
0013152dpop r10
0013152fjmp 0x1313d2
001313c0
00131534
00131534 // align 0x10
00131534 // align 0x10
00131540
00131540camlLatexscan.warn_space_2594:
00131540lea r10, [rsp-328]
00131548cmp r10, [r14+40]
0013154cjb 0x131589
0013154e
0013154eloc_13154e:
0013154esub rsp, 8
00131552mov [rsp], rax
00131556mov rax, rbx
00131559lea rbx, [rip+0x1685c8]
00131560call camlStdlib.$5e_139
00131565mov rbx, rax
00131568lea rax, [rip+0x166a09]
0013156fcall camlStdlib.$5e_139
00131574mov rbx, rax
00131577mov rax, [rsp]
0013157bcall camlStdlib.$5e_139
00131580add rsp, 8
00131584jmp 0x1919c0
00131589
00131589loc_131589:
00131589push 34
0013158bcall caml_call_realloc_stack
00131590pop r10
00131592jmp 0x13154e
00131540
00131540camlLatexscan.warn_space_2594:
00131540lea r10, [rsp-328]
00131548cmp r10, [r14+40]
0013154cjb 0x131589
0013154e
0013154eloc_13154e:
0013154esub rsp, 8
00131552mov [rsp], rax
00131556mov rax, rbx
00131559lea rbx, [rip+0x1685c8]
00131560call camlStdlib.$5e_139
00131565mov rbx, rax
00131568lea rax, [rip+0x166a09]
0013156fcall camlStdlib.$5e_139
00131574mov rbx, rax
00131577mov rax, [rsp]
0013157bcall camlStdlib.$5e_139
00131580add rsp, 8
00131584jmp 0x1919c0
00131589
00131589loc_131589:
00131589push 34
0013158bcall caml_call_realloc_stack
00131590pop r10
00131592jmp 0x13154e
00131540
00131594
00131594 // align 0x10
00131594 // align 0x10
001315a0
001315a0camlLatexscan.fun_6576:
001315a0mov rdi, rax
001315a3mov rax, [rbx+16]
001315a7mov rbx, rdi
001315aajmp 0x131540
001315a0
001315a0camlLatexscan.fun_6576:
001315a0mov rdi, rax
001315a3mov rax, [rbx+16]
001315a7mov rbx, rdi
001315aajmp 0x131540
001315a0
001315af
001315af // align 0x10
001315af // align 0x10
001315b0
001315b0camlLatexscan.fun_6582:
001315b0mov rdi, rax
001315b3mov rax, [rbx+16]
001315b7mov rbx, rdi
001315bajmp 0x131540
001315b0
001315b0camlLatexscan.fun_6582:
001315b0mov rdi, rax
001315b3mov rax, [rbx+16]
001315b7mov rbx, rdi
001315bajmp 0x131540
001315b0
001315bf
001315bf // align 0x10
001315bf // align 0x10
001315c0
001315c0camlLatexscan.fun_6585:
001315c0mov rsi, rax
001315c3mov rax, [rbx+32]
001315c7mov rdi, [rax+480]
001315cemov rcx, [rbx+24]
001315d2mov rdx, [rbx+16]
001315d6mov eax, 1
001315dbmov rbx, rcx
001315dejmp 0x1312b0
001315c0
001315c0camlLatexscan.fun_6585:
001315c0mov rsi, rax
001315c3mov rax, [rbx+32]
001315c7mov rdi, [rax+480]
001315cemov rcx, [rbx+24]
001315d2mov rdx, [rbx+16]
001315d6mov eax, 1
001315dbmov rbx, rcx
001315dejmp 0x1312b0
001315c0
001315e3
001315e3 // align 0x10
001315e3 // align 0x10
001315f0
001315f0camlLatexscan.fun_6595:
001315f0mov rsi, rax
001315f3mov rax, [rbx+32]
001315f7mov rdi, [rax+480]
001315femov rcx, [rbx+24]
00131602mov rdx, [rbx+16]
00131606mov eax, 3
0013160bmov rbx, rcx
0013160ejmp 0x1312b0
001315f0
001315f0camlLatexscan.fun_6595:
001315f0mov rsi, rax
001315f3mov rax, [rbx+32]
001315f7mov rdi, [rax+480]
001315femov rcx, [rbx+24]
00131602mov rdx, [rbx+16]
00131606mov eax, 3
0013160bmov rbx, rcx
0013160ejmp 0x1312b0
001315f0
00131613
00131613 // align 0x10
00131613 // align 0x10
00131620
00131620camlLatexscan.fun_6605:
00131620mov rdi, rax
00131623mov rax, [rbx+32]
00131627mov rdx, [rax+384]
0013162emov rax, [rbx+24]
00131632mov rsi, [rbx+16]
00131636mov rbx, rdx
00131639jmp 0x1313c0
00131620
00131620camlLatexscan.fun_6605:
00131620mov rdi, rax
00131623mov rax, [rbx+32]
00131627mov rdx, [rax+384]
0013162emov rax, [rbx+24]
00131632mov rsi, [rbx+16]
00131636mov rbx, rdx
00131639jmp 0x1313c0
00131620
0013163e
0013163e // align 0x10
0013163e // align 0x10
00131640
00131640camlLatexscan.fun_6615:
00131640mov rdi, rax
00131643mov rsi, rbx
00131646sub r15, 96
0013164acmp r15, [r14]
0013164djb 0x1316d3
00131653
00131653loc_131653:
00131653lea rax, [r15+8]
00131657add rax, 80
0013165bmov [rax-8], 1024
00131663mov [rax], 3
0013166alea rbx, [rax-48]
0013166emov [rbx-8], 5367
00131676lea rdx, [rip+179]
0013167dmov [rbx], rdx
00131680mov rdx, 0x100000000000005
0013168amov [rbx+8], rdx
0013168emov rdx, [rsi+16]
00131692mov [rbx+16], rdx
00131696mov [rbx+24], rax
0013169amov rax, [rsi+32]
0013169emov [rbx+32], rax
001316a2lea rax, [rbx-32]
001316a6mov [rax-8], 3319
001316aelea rcx, [rip+43]
001316b5mov [rax], rcx
001316b8mov rcx, 0x100000000000005
001316c2mov [rax+8], rcx
001316c6mov [rax+16], rdx
001316camov rsi, [rsi+24]
001316cejmp 0x1313c0
001316d3
001316d3loc_1316d3:
001316d3call caml_call_gc
001316d8jmp 0x131653
00131640
00131640camlLatexscan.fun_6615:
00131640mov rdi, rax
00131643mov rsi, rbx
00131646sub r15, 96
0013164acmp r15, [r14]
0013164djb 0x1316d3
00131653
00131653loc_131653:
00131653lea rax, [r15+8]
00131657add rax, 80
0013165bmov [rax-8], 1024
00131663mov [rax], 3
0013166alea rbx, [rax-48]
0013166emov [rbx-8], 5367
00131676lea rdx, [rip+179]
0013167dmov [rbx], rdx
00131680mov rdx, 0x100000000000005
0013168amov [rbx+8], rdx
0013168emov rdx, [rsi+16]
00131692mov [rbx+16], rdx
00131696mov [rbx+24], rax
0013169amov rax, [rsi+32]
0013169emov [rbx+32], rax
001316a2lea rax, [rbx-32]
001316a6mov [rax-8], 3319
001316aelea rcx, [rip+43]
001316b5mov [rax], rcx
001316b8mov rcx, 0x100000000000005
001316c2mov [rax+8], rcx
001316c6mov [rax+16], rdx
001316camov rsi, [rsi+24]
001316cejmp 0x1313c0
001316d3
001316d3loc_1316d3:
001316d3call caml_call_gc
001316d8jmp 0x131653
00131640
001316dd
001316dd // align 0x10
001316dd // align 0x10
001316e0
001316e0camlLatexscan.fun_6627:
001316e0lea r10, [rsp-328]
001316e8cmp r10, [r14+40]
001316ecjb 0x131725
001316ee
001316eeloc_1316ee:
001316eesub rsp, 8
001316f2mov rdi, rax
001316f5mov [rsp], rbx
001316f9lea rax, [rip+0x1667f8]
00131700mov rbx, rdi
00131703call camlStdlib.$5e_139
00131708call camlMisc.warning_287
0013170dlea rbx, [rip+0x1667d4]
00131714mov rax, [rsp]
00131718mov rax, [rax+16]
0013171cadd rsp, 8
00131720jmp 0x17f150
00131725
00131725loc_131725:
00131725push 34
00131727call caml_call_realloc_stack
0013172cpop r10
0013172ejmp 0x1316ee
001316e0
001316e0camlLatexscan.fun_6627:
001316e0lea r10, [rsp-328]
001316e8cmp r10, [r14+40]
001316ecjb 0x131725
001316ee
001316eeloc_1316ee:
001316eesub rsp, 8
001316f2mov rdi, rax
001316f5mov [rsp], rbx
001316f9lea rax, [rip+0x1667f8]
00131700mov rbx, rdi
00131703call camlStdlib.$5e_139
00131708call camlMisc.warning_287
0013170dlea rbx, [rip+0x1667d4]
00131714mov rax, [rsp]
00131718mov rax, [rax+16]
0013171cadd rsp, 8
00131720jmp 0x17f150
00131725
00131725loc_131725:
00131725push 34
00131727call caml_call_realloc_stack
0013172cpop r10
0013172ejmp 0x1316ee
001316e0
00131730
00131730camlLatexscan.fun_6630:
00131730lea r10, [rsp-328]
00131738cmp r10, [r14+40]
0013173cjb 0x131789
0013173e
0013173eloc_13173e:
0013173esub rsp, 8
00131742mov [rsp], rbx
00131746mov rax, [rbx+24]
0013174amov rdi, [rax]
0013174dcmp rdi, 1
00131751je 0x13175c
00131753mov [rax], 1
0013175ajmp 0x131771
0013175c
0013175cloc_13175c:
0013175cmov rax, [rbx+32]
00131760mov rbx, [rax+384]
00131767mov eax, 1
0013176cmov rdi, [rbx]
0013176fcall rdi
00131771
00131771loc_131771:
00131771lea rbx, [rip+0x166770]
00131778mov rax, [rsp]
0013177cmov rax, [rax+16]
00131780add rsp, 8
00131784jmp 0x17f150
00131789
00131789loc_131789:
00131789push 34
0013178bcall caml_call_realloc_stack
00131790pop r10
00131792jmp 0x13173e
00131730
00131730camlLatexscan.fun_6630:
00131730lea r10, [rsp-328]
00131738cmp r10, [r14+40]
0013173cjb 0x131789
0013173e
0013173eloc_13173e:
0013173esub rsp, 8
00131742mov [rsp], rbx
00131746mov rax, [rbx+24]
0013174amov rdi, [rax]
0013174dcmp rdi, 1
00131751je 0x13175c
00131753mov [rax], 1
0013175ajmp 0x131771
0013175c
0013175cloc_13175c:
0013175cmov rax, [rbx+32]
00131760mov rbx, [rax+384]
00131767mov eax, 1
0013176cmov rdi, [rbx]
0013176fcall rdi
00131771
00131771loc_131771:
00131771lea rbx, [rip+0x166770]
00131778mov rax, [rsp]
0013177cmov rax, [rax+16]
00131780add rsp, 8
00131784jmp 0x17f150
00131789
00131789loc_131789:
00131789push 34
0013178bcall caml_call_realloc_stack
00131790pop r10
00131792jmp 0x13173e
00131730
00131794
00131794 // align 0x10
00131794 // align 0x10
001317a0
001317a0camlLatexscan.fun_6637:
001317a0lea r10, [rsp-336]
001317a8cmp r10, [r14+40]
001317acjb 0x1317f8
001317ae
001317aeloc_1317ae:
001317aesub rsp, 16
001317b2mov [rsp+8], rax
001317b7mov [rsp], rbx
001317bbmov rbx, [rbx+16]
001317bflea rax, [rip+0x1666b2]
001317c6call camlLatexscan.new_env_859
001317cbmov rax, [rsp]
001317cfmov rdi, [rax+24]
001317d3lea rbx, [rip+0x16ce8e]
001317damov rax, rbx
001317ddcall camlLatexscan.top_open_block_1029
001317e2mov rax, [rsp]
001317e6mov rbx, [rax+32]
001317eamov rax, [rsp+8]
001317efadd rsp, 16
001317f3jmp 0x127b00
001317f8
001317f8loc_1317f8:
001317f8push 35
001317facall caml_call_realloc_stack
001317ffpop r10
00131801jmp 0x1317ae
001317a0
001317a0camlLatexscan.fun_6637:
001317a0lea r10, [rsp-336]
001317a8cmp r10, [r14+40]
001317acjb 0x1317f8
001317ae
001317aeloc_1317ae:
001317aesub rsp, 16
001317b2mov [rsp+8], rax
001317b7mov [rsp], rbx
001317bbmov rbx, [rbx+16]
001317bflea rax, [rip+0x1666b2]
001317c6call camlLatexscan.new_env_859
001317cbmov rax, [rsp]
001317cfmov rdi, [rax+24]
001317d3lea rbx, [rip+0x16ce8e]
001317damov rax, rbx
001317ddcall camlLatexscan.top_open_block_1029
001317e2mov rax, [rsp]
001317e6mov rbx, [rax+32]
001317eamov rax, [rsp+8]
001317efadd rsp, 16
001317f3jmp 0x127b00
001317f8
001317f8loc_1317f8:
001317f8push 35
001317facall caml_call_realloc_stack
001317ffpop r10
00131801jmp 0x1317ae
001317a0
00131803
00131803 // align 0x10
00131803 // align 0x10
00131810
00131810camlLatexscan.fun_6647:
00131810lea r10, [rsp-336]
00131818cmp r10, [r14+40]
0013181cjb 0x131874
0013181e
0013181eloc_13181e:
0013181esub rsp, 16
00131822mov [rsp+8], rax
00131827mov [rsp], rbx
0013182bmov rbx, [rbx+32]
0013182fmov rax, [rbx+24]
00131833mov rax, [rax+128]
0013183amov rdi, [rbx+16]
0013183elea rbx, [rip+0x16ce23]
00131845call camlLatexscan.top_close_block_aux_1030
0013184amov rbx, [rsp]
0013184emov rax, [rbx+16]
00131852mov rax, [rax]
00131855mov rbx, [rbx+24]
00131859call camlLatexscan.close_env_866
0013185emov rax, [rsp]
00131862mov rbx, [rax+40]
00131866mov rax, [rsp+8]
0013186badd rsp, 16
0013186fjmp 0x127b00
00131874
00131874loc_131874:
00131874push 35
00131876call caml_call_realloc_stack
0013187bpop r10
0013187djmp 0x13181e
00131810
00131810camlLatexscan.fun_6647:
00131810lea r10, [rsp-336]
00131818cmp r10, [r14+40]
0013181cjb 0x131874
0013181e
0013181eloc_13181e:
0013181esub rsp, 16
00131822mov [rsp+8], rax
00131827mov [rsp], rbx
0013182bmov rbx, [rbx+32]
0013182fmov rax, [rbx+24]
00131833mov rax, [rax+128]
0013183amov rdi, [rbx+16]
0013183elea rbx, [rip+0x16ce23]
00131845call camlLatexscan.top_close_block_aux_1030
0013184amov rbx, [rsp]
0013184emov rax, [rbx+16]
00131852mov rax, [rax]
00131855mov rbx, [rbx+24]
00131859call camlLatexscan.close_env_866
0013185emov rax, [rsp]
00131862mov rbx, [rax+40]
00131866mov rax, [rsp+8]
0013186badd rsp, 16
0013186fjmp 0x127b00
00131874
00131874loc_131874:
00131874push 35
00131876call caml_call_realloc_stack
0013187bpop r10
0013187djmp 0x13181e
00131810
0013187f
0013187f // align 0x10
0013187f // align 0x10
00131880
00131880camlLatexscan.fun_6663:
00131880lea r10, [rsp-328]
00131888cmp r10, [r14+40]
0013188cjb 0x131944
00131892
00131892loc_131892:
00131892sub rsp, 8
00131896mov [rsp], rbx
0013189asub r15, 40
0013189ecmp r15, [r14]
001318a1jb 0x13193a
001318a7
001318a7loc_1318a7:
001318a7lea rdi, [r15+8]
001318abmov [rdi-8], 4343
001318b3lea rax, [rip+166]
001318bamov [rdi], rax
001318bdmov rax, 0x100000000000005
001318c7mov [rdi+8], rax
001318cbmov rax, [rbx+16]
001318cfmov [rdi+16], rax
001318d3mov rax, [rbx+32]
001318d7mov [rdi+24], rax
001318dblea rax, [rip+0x16654e]
001318e2mov rbx, rdi
001318e5call camlLatexmacros.def_init_965
001318easub r15, 32
001318eecmp r15, [r14]
001318f1jb 0x131933
001318f3
001318f3loc_1318f3:
001318f3lea rbx, [r15+8]
001318f7mov [rbx-8], 3319
001318fflea rax, [rip+330]
00131906mov [rbx], rax
00131909mov rax, 0x100000000000005
00131913mov [rbx+8], rax
00131917mov rax, [rsp]
0013191bmov rax, [rax+32]
0013191fmov [rbx+16], rax
00131923lea rax, [rip+0x1664d6]
0013192aadd rsp, 8
0013192ejmp 0x17b120
00131933
00131933loc_131933:
00131933call caml_call_gc
00131938jmp 0x1318f3
0013193a
0013193aloc_13193a:
0013193acall caml_call_gc
0013193fjmp 0x1318a7
00131944
00131944loc_131944:
00131944push 34
00131946call caml_call_realloc_stack
0013194bpop r10
0013194djmp 0x131892
00131880
00131880camlLatexscan.fun_6663:
00131880lea r10, [rsp-328]
00131888cmp r10, [r14+40]
0013188cjb 0x131944
00131892
00131892loc_131892:
00131892sub rsp, 8
00131896mov [rsp], rbx
0013189asub r15, 40
0013189ecmp r15, [r14]
001318a1jb 0x13193a
001318a7
001318a7loc_1318a7:
001318a7lea rdi, [r15+8]
001318abmov [rdi-8], 4343
001318b3lea rax, [rip+166]
001318bamov [rdi], rax
001318bdmov rax, 0x100000000000005
001318c7mov [rdi+8], rax
001318cbmov rax, [rbx+16]
001318cfmov [rdi+16], rax
001318d3mov rax, [rbx+32]
001318d7mov [rdi+24], rax
001318dblea rax, [rip+0x16654e]
001318e2mov rbx, rdi
001318e5call camlLatexmacros.def_init_965
001318easub r15, 32
001318eecmp r15, [r14]
001318f1jb 0x131933
001318f3
001318f3loc_1318f3:
001318f3lea rbx, [r15+8]
001318f7mov [rbx-8], 3319
001318fflea rax, [rip+330]
00131906mov [rbx], rax
00131909mov rax, 0x100000000000005
00131913mov [rbx+8], rax
00131917mov rax, [rsp]
0013191bmov rax, [rax+32]
0013191fmov [rbx+16], rax
00131923lea rax, [rip+0x1664d6]
0013192aadd rsp, 8
0013192ejmp 0x17b120
00131933
00131933loc_131933:
00131933call caml_call_gc
00131938jmp 0x1318f3
0013193a
0013193aloc_13193a:
0013193acall caml_call_gc
0013193fjmp 0x1318a7
00131944
00131944loc_131944:
00131944push 34
00131946call caml_call_realloc_stack
0013194bpop r10
0013194djmp 0x131892
00131880
00131952
00131952 // align 0x10
00131952 // align 0x10
00131960
00131960camlLatexscan.fun_6682:
00131960lea r10, [rsp-328]
00131968cmp r10, [r14+40]
0013196cjb 0x131a19
00131972
00131972loc_131972:
00131972sub rsp, 8
00131976mov [rsp], rbx
0013197acmp r15, [r14]
0013197djbe 0x131a0f
00131983
00131983loc_131983:
00131983lea rax, [rip+0x1f86e6]
0013198amov rax, [rax+80]
0013198emov rax, [rax]
00131991cmp rax, 3
00131995jle 0x1319a3
00131997lea rax, [rip+0x16647a]
0013199ecall camlStdlib.prerr_endline_390
001319a3
001319a3loc_1319a3:
001319a3lea rax, [rip+0x1e4ff6]
001319aamov rax, [rax+168]
001319b1mov [rax], 3
001319b8lea rax, [rip+0x1659f1]
001319bfmov rbx, [rsp]
001319c3mov rbx, [rbx+16]
001319c7call camlLatexscan.fun_register_813
001319ccmov rax, [rsp]
001319d0mov rax, [rax+24]
001319d4mov rbx, [rax+128]
001319dblea rax, [rip+0x16cc86]
001319e2mov rdi, [rbx]
001319e5call rdi
001319e7mov rax, [rsp]
001319ebmov rax, [rax+24]
001319efmov rsi, [rax+120]
001319f3lea rdi, [rip+0x16cc6e]
001319falea rbx, [rip+0x166517]
00131a01mov eax, 1
00131a06add rsp, 8
00131a0ajmp 0xf7370
00131a0f
00131a0floc_131a0f:
00131a0fcall caml_call_gc
00131a14jmp 0x131983
00131a19
00131a19loc_131a19:
00131a19push 34
00131a1bcall caml_call_realloc_stack
00131a20pop r10
00131a22jmp 0x131972
00131960
00131960camlLatexscan.fun_6682:
00131960lea r10, [rsp-328]
00131968cmp r10, [r14+40]
0013196cjb 0x131a19
00131972
00131972loc_131972:
00131972sub rsp, 8
00131976mov [rsp], rbx
0013197acmp r15, [r14]
0013197djbe 0x131a0f
00131983
00131983loc_131983:
00131983lea rax, [rip+0x1f86e6]
0013198amov rax, [rax+80]
0013198emov rax, [rax]
00131991cmp rax, 3
00131995jle 0x1319a3
00131997lea rax, [rip+0x16647a]
0013199ecall camlStdlib.prerr_endline_390
001319a3
001319a3loc_1319a3:
001319a3lea rax, [rip+0x1e4ff6]
001319aamov rax, [rax+168]
001319b1mov [rax], 3
001319b8lea rax, [rip+0x1659f1]
001319bfmov rbx, [rsp]
001319c3mov rbx, [rbx+16]
001319c7call camlLatexscan.fun_register_813
001319ccmov rax, [rsp]
001319d0mov rax, [rax+24]
001319d4mov rbx, [rax+128]
001319dblea rax, [rip+0x16cc86]
001319e2mov rdi, [rbx]
001319e5call rdi
001319e7mov rax, [rsp]
001319ebmov rax, [rax+24]
001319efmov rsi, [rax+120]
001319f3lea rdi, [rip+0x16cc6e]
001319falea rbx, [rip+0x166517]
00131a01mov eax, 1
00131a06add rsp, 8
00131a0ajmp 0xf7370
00131a0f
00131a0floc_131a0f:
00131a0fcall caml_call_gc
00131a14jmp 0x131983
00131a19
00131a19loc_131a19:
00131a19push 34
00131a1bcall caml_call_realloc_stack
00131a20pop r10
00131a22jmp 0x131972
00131960
00131a27
00131a27 // align 0x10
00131a27 // align 0x10
00131a30
00131a30camlLatexscan.fun_6689:
00131a30lea rax, [rip+0x1e4f69]
00131a37mov rax, [rax+168]
00131a3emov [rax], 1
00131a45mov eax, 1
00131a4aret
00131a30
00131a30camlLatexscan.fun_6689:
00131a30lea rax, [rip+0x1e4f69]
00131a37mov rax, [rax+168]
00131a3emov [rax], 1
00131a45mov eax, 1
00131a4aret
00131a30
00131a4b
00131a4b // align 0x10
00131a4b // align 0x10
00131a50
00131a50camlLatexscan.fun_6694:
00131a50lea r10, [rsp-328]
00131a58cmp r10, [r14+40]
00131a5cjb 0x131ad1
00131a5e
00131a5eloc_131a5e:
00131a5esub rsp, 8
00131a62mov [rsp], rbx
00131a66cmp r15, [r14]
00131a69jbe 0x131aca
00131a6b
00131a6bloc_131a6b:
00131a6blea rax, [rip+0x1f85fe]
00131a72mov rax, [rax+80]
00131a76mov rax, [rax]
00131a79cmp rax, 3
00131a7djle 0x131a8b
00131a7flea rax, [rip+0x166362]
00131a86call camlStdlib.prerr_endline_390
00131a8b
00131a8bloc_131a8b:
00131a8bmov rax, [rsp]
00131a8fmov rax, [rax+16]
00131a93mov rbx, [rax+128]
00131a9alea rax, [rip+0x166477]
00131aa1mov rdi, [rbx]
00131aa4call rdi
00131aa6mov rax, [rsp]
00131aaamov rax, [rax+16]
00131aaemov rsi, [rax+120]
00131ab2lea rdi, [rip+0x16cbaf]
00131ab9mov rbx, rdi
00131abcmov eax, 1
00131ac1add rsp, 8
00131ac5jmp 0xf7370
00131aca
00131acaloc_131aca:
00131acacall caml_call_gc
00131acfjmp 0x131a6b
00131ad1
00131ad1loc_131ad1:
00131ad1push 34
00131ad3call caml_call_realloc_stack
00131ad8pop r10
00131adajmp 0x131a5e
00131a50
00131a50camlLatexscan.fun_6694:
00131a50lea r10, [rsp-328]
00131a58cmp r10, [r14+40]
00131a5cjb 0x131ad1
00131a5e
00131a5eloc_131a5e:
00131a5esub rsp, 8
00131a62mov [rsp], rbx
00131a66cmp r15, [r14]
00131a69jbe 0x131aca
00131a6b
00131a6bloc_131a6b:
00131a6blea rax, [rip+0x1f85fe]
00131a72mov rax, [rax+80]
00131a76mov rax, [rax]
00131a79cmp rax, 3
00131a7djle 0x131a8b
00131a7flea rax, [rip+0x166362]
00131a86call camlStdlib.prerr_endline_390
00131a8b
00131a8bloc_131a8b:
00131a8bmov rax, [rsp]
00131a8fmov rax, [rax+16]
00131a93mov rbx, [rax+128]
00131a9alea rax, [rip+0x166477]
00131aa1mov rdi, [rbx]
00131aa4call rdi
00131aa6mov rax, [rsp]
00131aaamov rax, [rax+16]
00131aaemov rsi, [rax+120]
00131ab2lea rdi, [rip+0x16cbaf]
00131ab9mov rbx, rdi
00131abcmov eax, 1
00131ac1add rsp, 8
00131ac5jmp 0xf7370
00131aca
00131acaloc_131aca:
00131acacall caml_call_gc
00131acfjmp 0x131a6b
00131ad1
00131ad1loc_131ad1:
00131ad1push 34
00131ad3call caml_call_realloc_stack
00131ad8pop r10
00131adajmp 0x131a5e
00131a50
00131adc
00131adc // align 0x10
00131adc // align 0x10
00131ae0
00131ae0camlLatexscan.fun_6698:
00131ae0lea r10, [rsp-344]
00131ae8cmp r10, [r14+40]
00131aecjb 0x131ba2
00131af2
00131af2loc_131af2:
00131af2sub rsp, 24
00131af6mov rdi, [rbx+16]
00131afamov rdi, [rdi]
00131afdtest dil, 1
00131b01jne 0x131b10
00131b03mov [rsp+8], rbx
00131b08mov [rsp], rax
00131b0cjmp 0x131b4c
00131b0enop
00131b10
00131b10loc_131b10:
00131b10sub r15, 24
00131b14cmp r15, [r14]
00131b17jb 0x131b98
00131b19
00131b19loc_131b19:
00131b19lea rax, [r15+8]
00131b1dmov [rax-8], 2048
00131b25lea rbx, [rip+0x1f8544]
00131b2cmov rbx, [rbx+24]
00131b30mov [rax], rbx
00131b33lea rbx, [rip+0x166266]
00131b3amov [rax+8], rbx
00131b3emov rsp, [r14+48]
00131b42pop [r14+48]
00131b46pop r11
00131b48jmp r11
00131b4bnop
00131b4c
00131b4cloc_131b4c:
00131b4ccall camlLexstate.save_body_1031
00131b51mov rbx, rax
00131b54lea rax, [rip+0x1c3d05]
00131b5bmov rax, [rax+280]
00131b62call camlGet.do_get_int_873
00131b67mov [rsp+16], rax
00131b6cmov rax, [rsp]
00131b70call camlLexstate.save_arg_1030
00131b75call camlTabular.main_902
00131b7amov rbx, rax
00131b7dmov rax, [rsp+8]
00131b82mov rdi, [rax+40]
00131b86mov rsi, [rax+32]
00131b8amov rax, [rsp+16]
00131b8fadd rsp, 24
00131b93jmp 0x125ac0
00131b98
00131b98loc_131b98:
00131b98call caml_call_gc
00131b9djmp 0x131b19
00131ba2
00131ba2loc_131ba2:
00131ba2push 36
00131ba4call caml_call_realloc_stack
00131ba9pop r10
00131babjmp 0x131af2
00131ae0
00131ae0camlLatexscan.fun_6698:
00131ae0lea r10, [rsp-344]
00131ae8cmp r10, [r14+40]
00131aecjb 0x131ba2
00131af2
00131af2loc_131af2:
00131af2sub rsp, 24
00131af6mov rdi, [rbx+16]
00131afamov rdi, [rdi]
00131afdtest dil, 1
00131b01jne 0x131b10
00131b03mov [rsp+8], rbx
00131b08mov [rsp], rax
00131b0cjmp 0x131b4c
00131b0enop
00131b10
00131b10loc_131b10:
00131b10sub r15, 24
00131b14cmp r15, [r14]
00131b17jb 0x131b98
00131b19
00131b19loc_131b19:
00131b19lea rax, [r15+8]
00131b1dmov [rax-8], 2048
00131b25lea rbx, [rip+0x1f8544]
00131b2cmov rbx, [rbx+24]
00131b30mov [rax], rbx
00131b33lea rbx, [rip+0x166266]
00131b3amov [rax+8], rbx
00131b3emov rsp, [r14+48]
00131b42pop [r14+48]
00131b46pop r11
00131b48jmp r11
00131b4bnop
00131b4c
00131b4cloc_131b4c:
00131b4ccall camlLexstate.save_body_1031
00131b51mov rbx, rax
00131b54lea rax, [rip+0x1c3d05]
00131b5bmov rax, [rax+280]
00131b62call camlGet.do_get_int_873
00131b67mov [rsp+16], rax
00131b6cmov rax, [rsp]
00131b70call camlLexstate.save_arg_1030
00131b75call camlTabular.main_902
00131b7amov rbx, rax
00131b7dmov rax, [rsp+8]
00131b82mov rdi, [rax+40]
00131b86mov rsi, [rax+32]
00131b8amov rax, [rsp+16]
00131b8fadd rsp, 24
00131b93jmp 0x125ac0
00131b98
00131b98loc_131b98:
00131b98call caml_call_gc
00131b9djmp 0x131b19
00131ba2
00131ba2loc_131ba2:
00131ba2push 36
00131ba4call caml_call_realloc_stack
00131ba9pop r10
00131babjmp 0x131af2
00131ae0
00131bb0
00131bb0camlLatexscan.fun_6710:
00131bb0lea r10, [rsp-336]
00131bb8cmp r10, [r14+40]
00131bbcjb 0x131c6f
00131bc2
00131bc2loc_131bc2:
00131bc2sub rsp, 16
00131bc6mov rdi, [rbx+16]
00131bcamov rdi, [rdi]
00131bcdtest dil, 1
00131bd1jne 0x131be0
00131bd3mov [rsp+8], rbx
00131bd8mov [rsp], rax
00131bdcjmp 0x131c1c
00131bdenop
00131be0
00131be0loc_131be0:
00131be0sub r15, 24
00131be4cmp r15, [r14]
00131be7jb 0x131c65
00131be9
00131be9loc_131be9:
00131be9lea rax, [r15+8]
00131bedmov [rax-8], 2048
00131bf5lea rbx, [rip+0x1f8474]
00131bfcmov rbx, [rbx+24]
00131c00mov [rax], rbx
00131c03lea rbx, [rip+0x166146]
00131c0amov [rax+8], rbx
00131c0emov rsp, [r14+48]
00131c12pop [r14+48]
00131c16pop r11
00131c18jmp r11
00131c1bnop
00131c1c
00131c1cloc_131c1c:
00131c1cmov rax, [rbx+40]
00131c20mov rbx, [rbx+32]
00131c24call camlLatexscan.do_hline_1304
00131c29mov rax, [rsp+8]
00131c2emov rdi, [rax+48]
00131c32add rdi, 24
00131c36mov ebx, 327
00131c3bmov rax, [rsp]
00131c3fcall Latexscan..ocaml_lex_skip_blanks_pop_rec
00131c44mov rax, [rsp+8]
00131c49mov rax, [rax+56]
00131c4dmov rbx, [rax+88]
00131c51mov eax, 1
00131c56mov rdi, [rbx]
00131c59call rdi
00131c5bmov eax, 1
00131c60add rsp, 16
00131c64ret
00131c65
00131c65loc_131c65:
00131c65call caml_call_gc
00131c6ajmp 0x131be9
00131c6f
00131c6floc_131c6f:
00131c6fpush 35
00131c71call caml_call_realloc_stack
00131c76pop r10
00131c78jmp 0x131bc2
00131bb0
00131bb0camlLatexscan.fun_6710:
00131bb0lea r10, [rsp-336]
00131bb8cmp r10, [r14+40]
00131bbcjb 0x131c6f
00131bc2
00131bc2loc_131bc2:
00131bc2sub rsp, 16
00131bc6mov rdi, [rbx+16]
00131bcamov rdi, [rdi]
00131bcdtest dil, 1
00131bd1jne 0x131be0
00131bd3mov [rsp+8], rbx
00131bd8mov [rsp], rax
00131bdcjmp 0x131c1c
00131bdenop
00131be0
00131be0loc_131be0:
00131be0sub r15, 24
00131be4cmp r15, [r14]
00131be7jb 0x131c65
00131be9
00131be9loc_131be9:
00131be9lea rax, [r15+8]
00131bedmov [rax-8], 2048
00131bf5lea rbx, [rip+0x1f8474]
00131bfcmov rbx, [rbx+24]
00131c00mov [rax], rbx
00131c03lea rbx, [rip+0x166146]
00131c0amov [rax+8], rbx
00131c0emov rsp, [r14+48]
00131c12pop [r14+48]
00131c16pop r11
00131c18jmp r11
00131c1bnop
00131c1c
00131c1cloc_131c1c:
00131c1cmov rax, [rbx+40]
00131c20mov rbx, [rbx+32]
00131c24call camlLatexscan.do_hline_1304
00131c29mov rax, [rsp+8]
00131c2emov rdi, [rax+48]
00131c32add rdi, 24
00131c36mov ebx, 327
00131c3bmov rax, [rsp]
00131c3fcall Latexscan..ocaml_lex_skip_blanks_pop_rec
00131c44mov rax, [rsp+8]
00131c49mov rax, [rax+56]
00131c4dmov rbx, [rax+88]
00131c51mov eax, 1
00131c56mov rdi, [rbx]
00131c59call rdi
00131c5bmov eax, 1
00131c60add rsp, 16
00131c64ret
00131c65
00131c65loc_131c65:
00131c65call caml_call_gc
00131c6ajmp 0x131be9
00131c6f
00131c6floc_131c6f:
00131c6fpush 35
00131c71call caml_call_realloc_stack
00131c76pop r10
00131c78jmp 0x131bc2
00131bb0
00131c7d
00131c7d // align 0x10
00131c7d // align 0x10
00131c80
00131c80camlLatexscan.do_tabul_2618:
00131c80lea r10, [rsp-336]
00131c88cmp r10, [r14+40]
00131c8cjb 0x131d34
00131c92
00131c92loc_131c92:
00131c92sub rsp, 16
00131c96mov [rsp], rax
00131c9amov [rsp+8], rbx
00131c9fmov rax, [rbx+16]
00131ca3mov rax, [rax]
00131ca6test al, 1
00131ca8je 0x131cb8
00131caacmp rax, 1
00131caeje 0x131cb8
00131cb0mov eax, 3
00131cb5jmp 0x131cbd
00131cb7
00131cb7 90 .
00131cb8
00131cb8loc_131cb8:
00131cb8mov eax, 1
00131cbd
00131cbdloc_131cbd:
00131cbdcmp rax, 1
00131cc1je 0x131d15
00131cc3mov rbx, [rbx+48]
00131cc7mov eax, 1
00131ccccall camlLatexscan.do_unskip_1919
00131cd1mov rax, [rsp+8]
00131cd6mov rax, [rax+56]
00131cdamov rbx, [rax+544]
00131ce1lea rax, [rip+0x16c980]
00131ce8mov rdi, [rbx]
00131cebcall rdi
00131cedmov rcx, [rsp+8]
00131cf2mov rax, [rcx+56]
00131cf6mov rdx, [rax+528]
00131cfdmov esi, 1
00131d02mov edi, 1
00131d07mov ebx, 3
00131d0cmov rax, [rcx+24]
00131d10call caml_apply4
00131d15
00131d15loc_131d15:
00131d15mov rax, [rsp+8]
00131d1amov rdi, [rax+40]
00131d1eadd rdi, 24
00131d22mov ebx, 327
00131d27mov rax, [rsp]
00131d2badd rsp, 16
00131d2fjmp 0x118950
00131d34
00131d34loc_131d34:
00131d34push 35
00131d36call caml_call_realloc_stack
00131d3bpop r10
00131d3djmp 0x131c92
00131c80
00131c80camlLatexscan.do_tabul_2618:
00131c80lea r10, [rsp-336]
00131c88cmp r10, [r14+40]
00131c8cjb 0x131d34
00131c92
00131c92loc_131c92:
00131c92sub rsp, 16
00131c96mov [rsp], rax
00131c9amov [rsp+8], rbx
00131c9fmov rax, [rbx+16]
00131ca3mov rax, [rax]
00131ca6test al, 1
00131ca8je 0x131cb8
00131caacmp rax, 1
00131caeje 0x131cb8
00131cb0mov eax, 3
00131cb5jmp 0x131cbd
00131cb7
00131cb7 90 .
00131cb8
00131cb8loc_131cb8:
00131cb8mov eax, 1
00131cbd
00131cbdloc_131cbd:
00131cbdcmp rax, 1
00131cc1je 0x131d15
00131cc3mov rbx, [rbx+48]
00131cc7mov eax, 1
00131ccccall camlLatexscan.do_unskip_1919
00131cd1mov rax, [rsp+8]
00131cd6mov rax, [rax+56]
00131cdamov rbx, [rax+544]
00131ce1lea rax, [rip+0x16c980]
00131ce8mov rdi, [rbx]
00131cebcall rdi
00131cedmov rcx, [rsp+8]
00131cf2mov rax, [rcx+56]
00131cf6mov rdx, [rax+528]
00131cfdmov esi, 1
00131d02mov edi, 1
00131d07mov ebx, 3
00131d0cmov rax, [rcx+24]
00131d10call caml_apply4
00131d15
00131d15loc_131d15:
00131d15mov rax, [rsp+8]
00131d1amov rdi, [rax+40]
00131d1eadd rdi, 24
00131d22mov ebx, 327
00131d27mov rax, [rsp]
00131d2badd rsp, 16
00131d2fjmp 0x118950
00131d34
00131d34loc_131d34:
00131d34push 35
00131d36call caml_call_realloc_stack
00131d3bpop r10
00131d3djmp 0x131c92
00131c80
00131d42
00131d42 // align 0x10
00131d42 // align 0x10
Loading..