File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
00125950
00125950camlLatexscan.do_hline_1304:
00125950lea r10, [rsp-352]
00125958cmp r10, [r14+40]
0012595cjb 0x125aaa
00125962
00125962loc_125962:
00125962sub rsp, 32
00125966mov [rsp+8], rax
0012596bmov [rsp], rbx
0012596flea rax, [rip+0x2046fa]
00125976mov rax, [rax+80]
0012597amov rax, [rax]
0012597dcmp rax, 5
00125981jle 0x1259dd
00125983mov rax, [rbx+16]
00125987mov rax, [rax]
0012598amov rax, [rax-8]
0012598eshr rax, 9
00125992or rax, 1
00125996mov [rsp+24], rax
0012599bmov rax, [rbx+24]
0012599fmov rax, [rax]
001259a2mov [rsp+16], rax
001259a7lea rbx, [rip+0x1783fa]
001259aelea rax, [rip+0x207c63]
001259b5mov rax, [rax+312]
001259bccall Stdlib.Printf.fprintf
001259c1mov rdi, rax
001259c4mov rax, [rsp+16]
001259c9mov rbx, [rsp+24]
001259cecall caml_apply2
001259d3mov eax, 1
001259d8call camlStdlib.prerr_newline_393
001259dd
001259ddloc_1259dd:
001259ddmov rax, [rsp]
001259e1mov rbx, [rax+56]
001259e5mov rax, [rsp+8]
001259eacall camlLatexscan.erase_col_1294
001259efmov rax, [rsp]
001259f3mov rax, [rax+72]
001259f7mov rbx, [rax+592]
001259femov eax, 1
00125a03mov rdi, [rbx]
00125a06call rdi
00125a08mov rsi, [rsp]
00125a0cmov rax, [rsi+32]
00125a10mov rax, [rax]
00125a13test al, 1
00125a15je 0x125a20
00125a17mov ebx, 1
00125a1cjmp 0x125a2f
00125a1e
00125a1e 66 90 f.
00125a20
00125a20loc_125a20:
00125a20mov rax, [rax]
00125a23mov rax, [rax+8]
00125a27mov ebx, 4
00125a2csub rbx, rax
00125a2f
00125a2floc_125a2f:
00125a2fmov rax, [rsi+72]
00125a33mov rdi, [rax+624]
00125a3amov rax, [rsi+16]
00125a3emov rax, [rax]
00125a41mov rax, [rax-8]
00125a45shr rax, 9
00125a49or rax, 1
00125a4dcall caml_apply2
00125a52mov rax, [rsp]
00125a56mov rax, [rax+64]
00125a5amov rbx, [rax+16]
00125a5emov [rbx], 1
00125a65mov rax, [rax+24]
00125a69mov rbx, [rax+520]
00125a70mov eax, 1
00125a75mov rdi, [rbx]
00125a78call rdi
00125a7amov rax, [rsp]
00125a7emov rax, [rax+48]
00125a82mov rbx, [rax+16]
00125a86mov [rbx], 3
00125a8dmov rbx, [rax+24]
00125a91mov [rbx], 3
00125a98mov rbx, [rax+32]
00125a9cmov rax, [rsp+8]
00125aa1add rsp, 32
00125aa5jmp 0x1256c0
00125aaa
00125aaaloc_125aaa:
00125aaapush 37
00125aaccall caml_call_realloc_stack
00125ab1pop r10
00125ab3jmp 0x125962
00125950
00125950camlLatexscan.do_hline_1304:
00125950lea r10, [rsp-352]
00125958cmp r10, [r14+40]
0012595cjb 0x125aaa
00125962
00125962loc_125962:
00125962sub rsp, 32
00125966mov [rsp+8], rax
0012596bmov [rsp], rbx
0012596flea rax, [rip+0x2046fa]
00125976mov rax, [rax+80]
0012597amov rax, [rax]
0012597dcmp rax, 5
00125981jle 0x1259dd
00125983mov rax, [rbx+16]
00125987mov rax, [rax]
0012598amov rax, [rax-8]
0012598eshr rax, 9
00125992or rax, 1
00125996mov [rsp+24], rax
0012599bmov rax, [rbx+24]
0012599fmov rax, [rax]
001259a2mov [rsp+16], rax
001259a7lea rbx, [rip+0x1783fa]
001259aelea rax, [rip+0x207c63]
001259b5mov rax, [rax+312]
001259bccall Stdlib.Printf.fprintf
001259c1mov rdi, rax
001259c4mov rax, [rsp+16]
001259c9mov rbx, [rsp+24]
001259cecall caml_apply2
001259d3mov eax, 1
001259d8call camlStdlib.prerr_newline_393
001259dd
001259ddloc_1259dd:
001259ddmov rax, [rsp]
001259e1mov rbx, [rax+56]
001259e5mov rax, [rsp+8]
001259eacall camlLatexscan.erase_col_1294
001259efmov rax, [rsp]
001259f3mov rax, [rax+72]
001259f7mov rbx, [rax+592]
001259femov eax, 1
00125a03mov rdi, [rbx]
00125a06call rdi
00125a08mov rsi, [rsp]
00125a0cmov rax, [rsi+32]
00125a10mov rax, [rax]
00125a13test al, 1
00125a15je 0x125a20
00125a17mov ebx, 1
00125a1cjmp 0x125a2f
00125a1e
00125a1e 66 90 f.
00125a20
00125a20loc_125a20:
00125a20mov rax, [rax]
00125a23mov rax, [rax+8]
00125a27mov ebx, 4
00125a2csub rbx, rax
00125a2f
00125a2floc_125a2f:
00125a2fmov rax, [rsi+72]
00125a33mov rdi, [rax+624]
00125a3amov rax, [rsi+16]
00125a3emov rax, [rax]
00125a41mov rax, [rax-8]
00125a45shr rax, 9
00125a49or rax, 1
00125a4dcall caml_apply2
00125a52mov rax, [rsp]
00125a56mov rax, [rax+64]
00125a5amov rbx, [rax+16]
00125a5emov [rbx], 1
00125a65mov rax, [rax+24]
00125a69mov rbx, [rax+520]
00125a70mov eax, 1
00125a75mov rdi, [rbx]
00125a78call rdi
00125a7amov rax, [rsp]
00125a7emov rax, [rax+48]
00125a82mov rbx, [rax+16]
00125a86mov [rbx], 3
00125a8dmov rbx, [rax+24]
00125a91mov [rbx], 3
00125a98mov rbx, [rax+32]
00125a9cmov rax, [rsp+8]
00125aa1add rsp, 32
00125aa5jmp 0x1256c0
00125aaa
00125aaaloc_125aaa:
00125aaapush 37
00125aaccall caml_call_realloc_stack
00125ab1pop r10
00125ab3jmp 0x125962
00125950
00125ab8
00125ab8 // align 0x10
00125ab8 // align 0x10
00125ac0
00125ac0camlLatexscan.do_multi_1307:
00125ac0lea r10, [rsp-392]
00125ac8cmp r10, [r14+40]
00125accjb 0x125d0b
00125ad2
00125ad2loc_125ad2:
00125ad2sub rsp, 72
00125ad6mov [rsp], rax
00125adamov [rsp+64], rbx
00125adfmov [rsp+24], rdi
00125ae4mov [rsp+40], rsi
00125ae9lea rbx, [rip+0x204580]
00125af0mov rbx, [rbx+80]
00125af4mov rbx, [rbx]
00125af7cmp rbx, 5
00125afbjle 0x125b49
00125afdcall camlStdlib.string_of_int_175
00125b02lea rbx, [rip+0x178257]
00125b09call camlStdlib.$5e_139
00125b0emov rbx, rax
00125b11lea rax, [rip+0x178278]
00125b18call camlStdlib.$5e_139
00125b1dmov rbx, rax
00125b20lea rax, [rip+0x207af1]
00125b27mov rax, [rax+312]
00125b2ecall camlStdlib.output_string_253
00125b33mov rax, [rsp+64]
00125b38call camlTabular.pretty_formats_557
00125b3dlea rax, [rip+0x178b24]
00125b44call camlStdlib.prerr_endline_390
00125b49
00125b49loc_125b49:
00125b49mov rax, [rsp+40]
00125b4emov rbx, [rax+96]
00125b52mov rax, [rsp+24]
00125b57call camlLatexscan.erase_col_1294
00125b5cmov rsi, [rsp+40]
00125b61mov rax, [rsi+32]
00125b65mov rax, [rax]
00125b68mov rbx, [rsi+80]
00125b6cmov rbx, [rbx+16]
00125b70mov rbx, [rbx]
00125b73cmp rbx, 1
00125b77je 0x125b88
00125b79mov eax, 1
00125b7emov [rsp+16], rax
00125b83jmp 0x125b8d
00125b85
00125b85 0f 1f 00 ...
00125b88
00125b88loc_125b88:
00125b88mov [rsp+16], rax
00125b8d
00125b8dloc_125b8d:
00125b8dmov rax, [rsi+32]
00125b91mov rdi, [rax]
00125b94mov rax, [rsi+24]
00125b98mov rbx, [rax]
00125b9bmov rcx, [rsi+72]
00125b9fmov edx, 1
00125ba4mov esi, 1
00125ba9mov rax, [rsp]
00125badcall camlLatexscan.find_end_1265
00125bb2mov [rsp], rax
00125bb6mov rbx, [rax]
00125bb9mov [rsp+48], rbx
00125bbemov rax, [rax+8]
00125bc2sub rbx, rax
00125bc5inc rbx
00125bc8mov [rsp+8], rbx
00125bcdmov rbx, [rsp+40]
00125bd2mov rax, [rbx+40]
00125bd6mov [rax], 3
00125bddmov rdx, [rbx+64]
00125be1mov esi, 3
00125be6mov edi, 1
00125bebmov rax, [rsp+24]
00125bf0mov rbx, [rsp+64]
00125bf5call camlLatexscan.show_inside_1248
00125bfamov [rsp+56], rax
00125bffmov rax, [rsp+40]
00125c04mov rax, [rax+104]
00125c08mov rbx, [rax+560]
00125c0fmov eax, 1
00125c14mov rdi, [rbx]
00125c17call rdi
00125c19mov rax, [rsp]
00125c1dmov rax, [rax+16]
00125c21mov [rsp+32], rax
00125c26mov rax, [rsp+8]
00125c2bmov rbx, [rsp+16]
00125c30sub rax, rbx
00125c33inc rax
00125c36mov [rsp], rax
00125c3amov rax, [rsp+40]
00125c3fmov rdi, [rax+56]
00125c43mov rax, [rsp+64]
00125c48mov rbx, [rsp+56]
00125c4dcall camlLatexscan.get_col_1190
00125c52mov rbx, rax
00125c55mov rax, [rsp+40]
00125c5amov rdx, [rax+88]
00125c5emov rax, [rsp+24]
00125c63mov rdi, [rsp]
00125c67mov rsi, [rsp+32]
00125c6ccall camlLatexscan.do_open_col_1280
00125c71sub r15, 48
00125c75cmp r15, [r14]
00125c78jb 0x125d01
00125c7e
00125c7eloc_125c7e:
00125c7elea rax, [r15+8]
00125c82add rax, 24
00125c86mov [rax-8], 2048
00125c8emov r12, [rsp+40]
00125c93mov rbx, [r12+24]
00125c98mov rbx, [rbx]
00125c9bmov [rax], rbx
00125c9emov rbx, [rsp+48]
00125ca3mov [rax+8], rbx
00125ca7mov rdi, [r12+48]
00125caclea rsi, [rax-24]
00125cb0mov [rsi-8], 2048
00125cb8mov [rsi], rax
00125cbbmov rax, [rdi]
00125cbemov [rsi+8], rax
00125cc2mov rbx, rsp
00125cc5mov rsp, [r14+64]
00125cc9call caml_modify
00125ccemov rsp, rbx
00125cd1mov rdi, [r12+24]
00125cd6mov rsi, [rsp+64]
00125cdbmov rbx, rsp
00125cdemov rsp, [r14+64]
00125ce2call caml_modify
00125ce7mov rsp, rbx
00125ceamov rax, [r12+32]
00125cefmov rbx, [rsp+56]
00125cf4mov [rax], rbx
00125cf7mov eax, 1
00125cfcadd rsp, 72
00125d00ret
00125d01
00125d01loc_125d01:
00125d01call caml_call_gc
00125d06jmp 0x125c7e
00125d0b
00125d0bloc_125d0b:
00125d0bpush 42
00125d0dcall caml_call_realloc_stack
00125d12pop r10
00125d14jmp 0x125ad2
00125ac0
00125ac0camlLatexscan.do_multi_1307:
00125ac0lea r10, [rsp-392]
00125ac8cmp r10, [r14+40]
00125accjb 0x125d0b
00125ad2
00125ad2loc_125ad2:
00125ad2sub rsp, 72
00125ad6mov [rsp], rax
00125adamov [rsp+64], rbx
00125adfmov [rsp+24], rdi
00125ae4mov [rsp+40], rsi
00125ae9lea rbx, [rip+0x204580]
00125af0mov rbx, [rbx+80]
00125af4mov rbx, [rbx]
00125af7cmp rbx, 5
00125afbjle 0x125b49
00125afdcall camlStdlib.string_of_int_175
00125b02lea rbx, [rip+0x178257]
00125b09call camlStdlib.$5e_139
00125b0emov rbx, rax
00125b11lea rax, [rip+0x178278]
00125b18call camlStdlib.$5e_139
00125b1dmov rbx, rax
00125b20lea rax, [rip+0x207af1]
00125b27mov rax, [rax+312]
00125b2ecall camlStdlib.output_string_253
00125b33mov rax, [rsp+64]
00125b38call camlTabular.pretty_formats_557
00125b3dlea rax, [rip+0x178b24]
00125b44call camlStdlib.prerr_endline_390
00125b49
00125b49loc_125b49:
00125b49mov rax, [rsp+40]
00125b4emov rbx, [rax+96]
00125b52mov rax, [rsp+24]
00125b57call camlLatexscan.erase_col_1294
00125b5cmov rsi, [rsp+40]
00125b61mov rax, [rsi+32]
00125b65mov rax, [rax]
00125b68mov rbx, [rsi+80]
00125b6cmov rbx, [rbx+16]
00125b70mov rbx, [rbx]
00125b73cmp rbx, 1
00125b77je 0x125b88
00125b79mov eax, 1
00125b7emov [rsp+16], rax
00125b83jmp 0x125b8d
00125b85
00125b85 0f 1f 00 ...
00125b88
00125b88loc_125b88:
00125b88mov [rsp+16], rax
00125b8d
00125b8dloc_125b8d:
00125b8dmov rax, [rsi+32]
00125b91mov rdi, [rax]
00125b94mov rax, [rsi+24]
00125b98mov rbx, [rax]
00125b9bmov rcx, [rsi+72]
00125b9fmov edx, 1
00125ba4mov esi, 1
00125ba9mov rax, [rsp]
00125badcall camlLatexscan.find_end_1265
00125bb2mov [rsp], rax
00125bb6mov rbx, [rax]
00125bb9mov [rsp+48], rbx
00125bbemov rax, [rax+8]
00125bc2sub rbx, rax
00125bc5inc rbx
00125bc8mov [rsp+8], rbx
00125bcdmov rbx, [rsp+40]
00125bd2mov rax, [rbx+40]
00125bd6mov [rax], 3
00125bddmov rdx, [rbx+64]
00125be1mov esi, 3
00125be6mov edi, 1
00125bebmov rax, [rsp+24]
00125bf0mov rbx, [rsp+64]
00125bf5call camlLatexscan.show_inside_1248
00125bfamov [rsp+56], rax
00125bffmov rax, [rsp+40]
00125c04mov rax, [rax+104]
00125c08mov rbx, [rax+560]
00125c0fmov eax, 1
00125c14mov rdi, [rbx]
00125c17call rdi
00125c19mov rax, [rsp]
00125c1dmov rax, [rax+16]
00125c21mov [rsp+32], rax
00125c26mov rax, [rsp+8]
00125c2bmov rbx, [rsp+16]
00125c30sub rax, rbx
00125c33inc rax
00125c36mov [rsp], rax
00125c3amov rax, [rsp+40]
00125c3fmov rdi, [rax+56]
00125c43mov rax, [rsp+64]
00125c48mov rbx, [rsp+56]
00125c4dcall camlLatexscan.get_col_1190
00125c52mov rbx, rax
00125c55mov rax, [rsp+40]
00125c5amov rdx, [rax+88]
00125c5emov rax, [rsp+24]
00125c63mov rdi, [rsp]
00125c67mov rsi, [rsp+32]
00125c6ccall camlLatexscan.do_open_col_1280
00125c71sub r15, 48
00125c75cmp r15, [r14]
00125c78jb 0x125d01
00125c7e
00125c7eloc_125c7e:
00125c7elea rax, [r15+8]
00125c82add rax, 24
00125c86mov [rax-8], 2048
00125c8emov r12, [rsp+40]
00125c93mov rbx, [r12+24]
00125c98mov rbx, [rbx]
00125c9bmov [rax], rbx
00125c9emov rbx, [rsp+48]
00125ca3mov [rax+8], rbx
00125ca7mov rdi, [r12+48]
00125caclea rsi, [rax-24]
00125cb0mov [rsi-8], 2048
00125cb8mov [rsi], rax
00125cbbmov rax, [rdi]
00125cbemov [rsi+8], rax
00125cc2mov rbx, rsp
00125cc5mov rsp, [r14+64]
00125cc9call caml_modify
00125ccemov rsp, rbx
00125cd1mov rdi, [r12+24]
00125cd6mov rsi, [rsp+64]
00125cdbmov rbx, rsp
00125cdemov rsp, [r14+64]
00125ce2call caml_modify
00125ce7mov rsp, rbx
00125ceamov rax, [r12+32]
00125cefmov rbx, [rsp+56]
00125cf4mov [rax], rbx
00125cf7mov eax, 1
00125cfcadd rsp, 72
00125d00ret
00125d01
00125d01loc_125d01:
00125d01call caml_call_gc
00125d06jmp 0x125c7e
00125d0b
00125d0bloc_125d0b:
00125d0bpush 42
00125d0dcall caml_call_realloc_stack
00125d12pop r10
00125d14jmp 0x125ad2
00125ac0
00125d19
00125d19 // align 0x10
00125d19 // align 0x10
00125d20
00125d20camlLatexscan.close_col_aux_1318:
00125d20lea r10, [rsp-360]
00125d28cmp r10, [r14+40]
00125d2cjb 0x125fcf
00125d32
00125d32loc_125d32:
00125d32sub rsp, 40
00125d36mov [rsp+24], rax
00125d3bmov [rsp], rbx
00125d3fmov [rsp+8], rdi
00125d44mov [rsp+16], rsi
00125d49cmp r15, [r14]
00125d4cjbe 0x125fc5
00125d52
00125d52loc_125d52:
00125d52mov rax, [rsi+32]
00125d56mov rbx, [rax]
00125d59mov rax, [rsi+24]
00125d5dmov rax, [rax]
00125d60mov rdi, [rsi+104]
00125d64call camlLatexscan.get_col_1190
00125d69mov [rsp+32], rax
00125d6ecall camlLatexscan.as_post_1178
00125d73mov rbx, rax
00125d76mov rax, [rsp+24]
00125d7bcall camlLexstate.scan_this_1185
00125d80mov rax, [rsp+16]
00125d85mov rax, [rax+40]
00125d89mov rax, [rax]
00125d8ccall camlLatexscan.math_table_1157
00125d91cmp rax, 1
00125d95je 0x125dd0
00125d97mov rbx, [rsp+32]
00125d9cmovzx rax, [rbx-8]
00125da1test rax, rax
00125da4jne 0x125db0
00125da6mov rax, [rbx]
00125da9mov rax, [rax+16]
00125dadjmp 0x125db5
00125dafnop
00125db0
00125db0loc_125db0:
00125db0mov eax, 1
00125db5
00125db5loc_125db5:
00125db5cmp rax, 1
00125db9jne 0x125dd0
00125dbblea rbx, [rip+0x1780d6]
00125dc2mov rax, [rsp+24]
00125dc7call camlLexstate.scan_this_1185
00125dccjmp 0x125de1
00125dcenop
00125dd0
00125dd0loc_125dd0:
00125dd0lea rbx, [rip+0x1780a1]
00125dd7mov rax, [rsp+24]
00125ddccall camlLexstate.scan_this_1185
00125de1
00125de1loc_125de1:
00125de1lea rax, [rip+0x1f0bb8]
00125de8mov rax, [rax+136]
00125defmov rax, [rax]
00125df2cmp rax, 1
00125df6je 0x125e2a
00125df8mov rax, [rsp+16]
00125dfdmov rax, [rax+128]
00125e04mov rbx, [rax+200]
00125e0bmov eax, 1
00125e10mov rdi, [rbx]
00125e13call rdi
00125e15lea rax, [rip+0x1f0b84]
00125e1cmov rax, [rax+136]
00125e23mov [rax], 1
00125e2a
00125e2aloc_125e2a:
00125e2amov rax, [rsp+8]
00125e2fcmp rax, 1
00125e33je 0x125e78
00125e35mov rax, [rsp+16]
00125e3amov rax, [rax+128]
00125e41mov rbx, [rax+32]
00125e45mov eax, 1
00125e4amov rdi, [rbx]
00125e4dcall rdi
00125e4fcmp rax, 1
00125e53je 0x125e78
00125e55mov rax, [rsp+16]
00125e5amov rax, [rax+128]
00125e61mov rbx, [rax+536]
00125e68mov eax, 1
00125e6dmov rdi, [rbx]
00125e70call rdi
00125e72jmp 0x125fa4
00125e77nop
00125e78
00125e78loc_125e78:
00125e78mov rsi, [rsp+16]
00125e7dmov rax, [rsi+64]
00125e81mov rax, [rax]
00125e84cmp rax, 1
00125e88je 0x125f38
00125e8emov rax, [rsi+32]
00125e92mov rdi, [rax]
00125e95add rdi, 2
00125e99mov rax, [rsi+24]
00125e9dmov rbx, [rax]
00125ea0mov rdx, [rsi+112]
00125ea4mov esi, 3
00125ea9mov rax, [rsp+24]
00125eaecall camlLatexscan.show_inside_1248
00125eb3mov rbx, [rsp+16]
00125eb8mov rax, [rbx+64]
00125ebcmov [rax], 1
00125ec3mov rax, [rbx+72]
00125ec7call camlMyStack.pop_292
00125eccmov r12, rax
00125ecfmov rbp, [r12]
00125ed3mov r13, [rsp+16]
00125ed8mov rdi, [r13+24]
00125edcmov rsi, rbp
00125edfmov rbx, rsp
00125ee2mov rsp, [r14+64]
00125ee6call caml_modify
00125eebmov rsp, rbx
00125eeemov rbx, [r12+8]
00125ef3mov rdi, [r13+120]
00125ef7mov rax, rbp
00125efacall camlLatexscan.next_no_border_1275
00125effmov rsi, [rsp+16]
00125f04mov rbx, [rsi+32]
00125f08mov [rbx], rax
00125f0bmov rdi, [rbx]
00125f0emov rax, [rsi+24]
00125f12mov rbx, [rax]
00125f15mov rdx, [rsi+112]
00125f19mov esi, 1
00125f1emov rax, [rsp+24]
00125f23call camlLatexscan.show_inside_1248
00125f28mov rdi, [rsp+16]
00125f2dmov rbx, [rdi+32]
00125f31mov [rbx], rax
00125f34jmp 0x125f69
00125f36nop
00125f38
00125f38loc_125f38:
00125f38mov rax, [rsi+32]
00125f3cadd [rax], 2
00125f40mov rdi, [rax]
00125f43mov rax, [rsi+24]
00125f47mov rbx, [rax]
00125f4amov rdx, [rsi+112]
00125f4emov esi, 3
00125f53mov rax, [rsp+24]
00125f58call camlLatexscan.show_inside_1248
00125f5dmov rdi, [rsp+16]
00125f62mov rbx, [rdi+32]
00125f66mov [rbx], rax
00125f69
00125f69loc_125f69:
00125f69mov rax, [rdi+128]
00125f70mov rbx, [rax+544]
00125f77mov rdi, [rbx]
00125f7amov rax, [rsp]
00125f7ecall rdi
00125f80mov rdi, [rsp+16]
00125f85mov rax, [rdi+48]
00125f89mov rbx, [rax]
00125f8ccmp rbx, 1
00125f90je 0x125fa4
00125f92mov [rax], 1
00125f99mov rax, [rdi+56]
00125f9dmov [rax], 1
00125fa4
00125fa4loc_125fa4:
00125fa4mov rax, [rsp+16]
00125fa9mov rax, [rax+128]
00125fb0mov rbx, [rax+568]
00125fb7mov eax, 1
00125fbcmov rdi, [rbx]
00125fbfadd rsp, 40
00125fc3jmp rdi
00125fc5
00125fc5loc_125fc5:
00125fc5call caml_call_gc
00125fcajmp 0x125d52
00125fcf
00125fcfloc_125fcf:
00125fcfpush 38
00125fd1call caml_call_realloc_stack
00125fd6pop r10
00125fd8jmp 0x125d32
00125d20
00125d20camlLatexscan.close_col_aux_1318:
00125d20lea r10, [rsp-360]
00125d28cmp r10, [r14+40]
00125d2cjb 0x125fcf
00125d32
00125d32loc_125d32:
00125d32sub rsp, 40
00125d36mov [rsp+24], rax
00125d3bmov [rsp], rbx
00125d3fmov [rsp+8], rdi
00125d44mov [rsp+16], rsi
00125d49cmp r15, [r14]
00125d4cjbe 0x125fc5
00125d52
00125d52loc_125d52:
00125d52mov rax, [rsi+32]
00125d56mov rbx, [rax]
00125d59mov rax, [rsi+24]
00125d5dmov rax, [rax]
00125d60mov rdi, [rsi+104]
00125d64call camlLatexscan.get_col_1190
00125d69mov [rsp+32], rax
00125d6ecall camlLatexscan.as_post_1178
00125d73mov rbx, rax
00125d76mov rax, [rsp+24]
00125d7bcall camlLexstate.scan_this_1185
00125d80mov rax, [rsp+16]
00125d85mov rax, [rax+40]
00125d89mov rax, [rax]
00125d8ccall camlLatexscan.math_table_1157
00125d91cmp rax, 1
00125d95je 0x125dd0
00125d97mov rbx, [rsp+32]
00125d9cmovzx rax, [rbx-8]
00125da1test rax, rax
00125da4jne 0x125db0
00125da6mov rax, [rbx]
00125da9mov rax, [rax+16]
00125dadjmp 0x125db5
00125dafnop
00125db0
00125db0loc_125db0:
00125db0mov eax, 1
00125db5
00125db5loc_125db5:
00125db5cmp rax, 1
00125db9jne 0x125dd0
00125dbblea rbx, [rip+0x1780d6]
00125dc2mov rax, [rsp+24]
00125dc7call camlLexstate.scan_this_1185
00125dccjmp 0x125de1
00125dcenop
00125dd0
00125dd0loc_125dd0:
00125dd0lea rbx, [rip+0x1780a1]
00125dd7mov rax, [rsp+24]
00125ddccall camlLexstate.scan_this_1185
00125de1
00125de1loc_125de1:
00125de1lea rax, [rip+0x1f0bb8]
00125de8mov rax, [rax+136]
00125defmov rax, [rax]
00125df2cmp rax, 1
00125df6je 0x125e2a
00125df8mov rax, [rsp+16]
00125dfdmov rax, [rax+128]
00125e04mov rbx, [rax+200]
00125e0bmov eax, 1
00125e10mov rdi, [rbx]
00125e13call rdi
00125e15lea rax, [rip+0x1f0b84]
00125e1cmov rax, [rax+136]
00125e23mov [rax], 1
00125e2a
00125e2aloc_125e2a:
00125e2amov rax, [rsp+8]
00125e2fcmp rax, 1
00125e33je 0x125e78
00125e35mov rax, [rsp+16]
00125e3amov rax, [rax+128]
00125e41mov rbx, [rax+32]
00125e45mov eax, 1
00125e4amov rdi, [rbx]
00125e4dcall rdi
00125e4fcmp rax, 1
00125e53je 0x125e78
00125e55mov rax, [rsp+16]
00125e5amov rax, [rax+128]
00125e61mov rbx, [rax+536]
00125e68mov eax, 1
00125e6dmov rdi, [rbx]
00125e70call rdi
00125e72jmp 0x125fa4
00125e77nop
00125e78
00125e78loc_125e78:
00125e78mov rsi, [rsp+16]
00125e7dmov rax, [rsi+64]
00125e81mov rax, [rax]
00125e84cmp rax, 1
00125e88je 0x125f38
00125e8emov rax, [rsi+32]
00125e92mov rdi, [rax]
00125e95add rdi, 2
00125e99mov rax, [rsi+24]
00125e9dmov rbx, [rax]
00125ea0mov rdx, [rsi+112]
00125ea4mov esi, 3
00125ea9mov rax, [rsp+24]
00125eaecall camlLatexscan.show_inside_1248
00125eb3mov rbx, [rsp+16]
00125eb8mov rax, [rbx+64]
00125ebcmov [rax], 1
00125ec3mov rax, [rbx+72]
00125ec7call camlMyStack.pop_292
00125eccmov r12, rax
00125ecfmov rbp, [r12]
00125ed3mov r13, [rsp+16]
00125ed8mov rdi, [r13+24]
00125edcmov rsi, rbp
00125edfmov rbx, rsp
00125ee2mov rsp, [r14+64]
00125ee6call caml_modify
00125eebmov rsp, rbx
00125eeemov rbx, [r12+8]
00125ef3mov rdi, [r13+120]
00125ef7mov rax, rbp
00125efacall camlLatexscan.next_no_border_1275
00125effmov rsi, [rsp+16]
00125f04mov rbx, [rsi+32]
00125f08mov [rbx], rax
00125f0bmov rdi, [rbx]
00125f0emov rax, [rsi+24]
00125f12mov rbx, [rax]
00125f15mov rdx, [rsi+112]
00125f19mov esi, 1
00125f1emov rax, [rsp+24]
00125f23call camlLatexscan.show_inside_1248
00125f28mov rdi, [rsp+16]
00125f2dmov rbx, [rdi+32]
00125f31mov [rbx], rax
00125f34jmp 0x125f69
00125f36nop
00125f38
00125f38loc_125f38:
00125f38mov rax, [rsi+32]
00125f3cadd [rax], 2
00125f40mov rdi, [rax]
00125f43mov rax, [rsi+24]
00125f47mov rbx, [rax]
00125f4amov rdx, [rsi+112]
00125f4emov esi, 3
00125f53mov rax, [rsp+24]
00125f58call camlLatexscan.show_inside_1248
00125f5dmov rdi, [rsp+16]
00125f62mov rbx, [rdi+32]
00125f66mov [rbx], rax
00125f69
00125f69loc_125f69:
00125f69mov rax, [rdi+128]
00125f70mov rbx, [rax+544]
00125f77mov rdi, [rbx]
00125f7amov rax, [rsp]
00125f7ecall rdi
00125f80mov rdi, [rsp+16]
00125f85mov rax, [rdi+48]
00125f89mov rbx, [rax]
00125f8ccmp rbx, 1
00125f90je 0x125fa4
00125f92mov [rax], 1
00125f99mov rax, [rdi+56]
00125f9dmov [rax], 1
00125fa4
00125fa4loc_125fa4:
00125fa4mov rax, [rsp+16]
00125fa9mov rax, [rax+128]
00125fb0mov rbx, [rax+568]
00125fb7mov eax, 1
00125fbcmov rdi, [rbx]
00125fbfadd rsp, 40
00125fc3jmp rdi
00125fc5
00125fc5loc_125fc5:
00125fc5call caml_call_gc
00125fcajmp 0x125d52
00125fcf
00125fcfloc_125fcf:
00125fcfpush 38
00125fd1call caml_call_realloc_stack
00125fd6pop r10
00125fd8jmp 0x125d32
00125d20
00125fdd
00125fdd // align 0x10
00125fdd // align 0x10
00125fe0
00125fe0camlLatexscan.close_col_1326:
00125fe0mov rsi, [rdi+24]
00125fe4mov edi, 1
00125fe9jmp 0x125d20
00125fe0
00125fe0camlLatexscan.close_col_1326:
00125fe0mov rsi, [rdi+24]
00125fe4mov edi, 1
00125fe9jmp 0x125d20
00125fe0
00125fee
00125fee // align 0x10
00125fee // align 0x10
00125ff0
00125ff0camlLatexscan.close_last_col_1327:
00125ff0mov rsi, [rdi+24]
00125ff4mov edi, 3
00125ff9jmp 0x125d20
00125ff0
00125ff0camlLatexscan.close_last_col_1327:
00125ff0mov rsi, [rdi+24]
00125ff4mov edi, 3
00125ff9jmp 0x125d20
00125ff0
00125ffe
00125ffe // align 0x10
00125ffe // align 0x10
00126000
00126000camlLatexscan.close_last_row_1328:
00126000cmp r15, [r14]
00126003jbe 0x12603d
00126005
00126005loc_126005:
00126005mov rax, [rbx+16]
00126009mov rax, [rax]
0012600ccmp rax, 1
00126010je 0x126028
00126012mov rax, [rbx+24]
00126016mov rbx, [rax+592]
0012601dmov eax, 1
00126022mov rdi, [rbx]
00126025jmp rdi
00126027nop
00126028
00126028loc_126028:
00126028mov rax, [rbx+24]
0012602cmov rbx, [rax+584]
00126033mov eax, 1
00126038mov rdi, [rbx]
0012603bjmp rdi
0012603d
0012603dloc_12603d:
0012603dcall caml_call_gc
00126042jmp 0x126005
00126000
00126000camlLatexscan.close_last_row_1328:
00126000cmp r15, [r14]
00126003jbe 0x12603d
00126005
00126005loc_126005:
00126005mov rax, [rbx+16]
00126009mov rax, [rax]
0012600ccmp rax, 1
00126010je 0x126028
00126012mov rax, [rbx+24]
00126016mov rbx, [rax+592]
0012601dmov eax, 1
00126022mov rdi, [rbx]
00126025jmp rdi
00126027nop
00126028
00126028loc_126028:
00126028mov rax, [rbx+24]
0012602cmov rbx, [rax+584]
00126033mov eax, 1
00126038mov rdi, [rbx]
0012603bjmp rdi
0012603d
0012603dloc_12603d:
0012603dcall caml_call_gc
00126042jmp 0x126005
00126000
00126044
00126044 // align 0x10
00126044 // align 0x10
00126050
00126050camlLatexscan.get_style_1337:
00126050lea r10, [rsp-344]
00126058cmp r10, [r14+40]
0012605cjb 0x126103
00126062
00126062loc_126062:
00126062sub rsp, 24
00126066mov [rsp+16], rax
0012606bmov [rsp], rbx
0012606fmov [rsp+8], rdi
00126074mov rax, [rbx+8]
00126078call camlLexstate.start_normal_914
0012607dmov rax, [rsp]
00126081mov rax, [rax]
00126084call camlMyLexing.from_string_309
00126089mov rbx, [rsp+8]
0012608emov rbx, [rbx+24]
00126092mov rbx, [rbx+424]
00126099sub r15, 40
0012609dcmp r15, [r14]
001260a0jb 0x1260fc
001260a2
001260a2loc_1260a2:
001260a2lea rdi, [r15+8]
001260a6mov [rdi-8], 4343
001260aelea rsi, [rip+107]
001260b5mov [rdi], rsi
001260b8mov rsi, 0x100000000000005
001260c2mov [rdi+8], rsi
001260c6mov rsi, [rsp+16]
001260cbmov [rdi+16], rsi
001260cfmov [rdi+24], rax
001260d3mov rsi, [rbx]
001260d6mov rax, rdi
001260d9call rsi
001260dbmov [rsp], rax
001260dfmov eax, 1
001260e4call camlLexstate.restore_flags_891
001260e9mov eax, 1
001260eecall camlLexstate.restore_lexstate_882
001260f3mov rax, [rsp]
001260f7add rsp, 24
001260fbret
001260fc
001260fcloc_1260fc:
001260fccall caml_call_gc
00126101jmp 0x1260a2
00126103
00126103loc_126103:
00126103push 36
00126105call caml_call_realloc_stack
0012610apop r10
0012610cjmp 0x126062
00126050
00126050camlLatexscan.get_style_1337:
00126050lea r10, [rsp-344]
00126058cmp r10, [r14+40]
0012605cjb 0x126103
00126062
00126062loc_126062:
00126062sub rsp, 24
00126066mov [rsp+16], rax
0012606bmov [rsp], rbx
0012606fmov [rsp+8], rdi
00126074mov rax, [rbx+8]
00126078call camlLexstate.start_normal_914
0012607dmov rax, [rsp]
00126081mov rax, [rax]
00126084call camlMyLexing.from_string_309
00126089mov rbx, [rsp+8]
0012608emov rbx, [rbx+24]
00126092mov rbx, [rbx+424]
00126099sub r15, 40
0012609dcmp r15, [r14]
001260a0jb 0x1260fc
001260a2
001260a2loc_1260a2:
001260a2lea rdi, [r15+8]
001260a6mov [rdi-8], 4343
001260aelea rsi, [rip+107]
001260b5mov [rdi], rsi
001260b8mov rsi, 0x100000000000005
001260c2mov [rdi+8], rsi
001260c6mov rsi, [rsp+16]
001260cbmov [rdi+16], rsi
001260cfmov [rdi+24], rax
001260d3mov rsi, [rbx]
001260d6mov rax, rdi
001260d9call rsi
001260dbmov [rsp], rax
001260dfmov eax, 1
001260e4call camlLexstate.restore_flags_891
001260e9mov eax, 1
001260eecall camlLexstate.restore_lexstate_882
001260f3mov rax, [rsp]
001260f7add rsp, 24
001260fbret
001260fc
001260fcloc_1260fc:
001260fccall caml_call_gc
00126101jmp 0x1260a2
00126103
00126103loc_126103:
00126103push 36
00126105call caml_call_realloc_stack
0012610apop r10
0012610cjmp 0x126062
00126050
00126111
00126111 // align 0x10
00126111 // align 0x10
00126120
00126120camlLatexscan.fun_3610:
00126120cmp r15, [r14]
00126123jbe 0x126135
00126125
00126125loc_126125:
00126125mov rdi, [rbx+16]
00126129mov rax, [rbx+24]
0012612dmov rsi, [rdi]
00126130mov rbx, rdi
00126133jmp rsi
00126135
00126135loc_126135:
00126135call caml_call_gc
0012613ajmp 0x126125
00126120
00126120camlLatexscan.fun_3610:
00126120cmp r15, [r14]
00126123jbe 0x126135
00126125
00126125loc_126125:
00126125mov rdi, [rbx+16]
00126129mov rax, [rbx+24]
0012612dmov rsi, [rdi]
00126130mov rbx, rdi
00126133jmp rsi
00126135
00126135loc_126135:
00126135call caml_call_gc
0012613ajmp 0x126125
00126120
0012613c
0012613c // align 0x10
0012613c // align 0x10
00126140
00126140camlLatexscan.start_other_scan_1348:
00126140lea r10, [rsp-352]
00126148cmp r10, [r14+40]
0012614cjb 0x12627d
00126152
00126152loc_126152:
00126152sub rsp, 32
00126156mov [rsp], rax
0012615amov [rsp+8], rbx
0012615fmov [rsp+16], rdi
00126164mov [rsp+24], rsi
00126169lea rbx, [rip+0x203f00]
00126170mov rbx, [rbx+80]
00126174mov rbx, [rbx]
00126177cmp rbx, 3
0012617bjle 0x1261f1
0012617dlea rbx, [rip+0x177b7c]
00126184call camlStdlib.$5e_139
00126189mov rbx, rax
0012618clea rax, [rip+0x177b7d]
00126193call camlStdlib.$5e_139
00126198call camlStdlib.prerr_endline_390
0012619dmov rax, [rsp+24]
001261a2mov rbx, [rax+32]
001261a6mov eax, 1
001261abcall camlLatexscan.stack_env_pretty_808
001261b0lea rbx, [rip+0x173971]
001261b7mov rax, [rsp+24]
001261bcmov rax, [rax+24]
001261c0mov rax, [rax]
001261c3call camlStdlib.$5e_139
001261c8mov rbx, rax
001261cblea rax, [rip+0x177b0e]
001261d2call camlStdlib.$5e_139
001261d7call camlStdlib.prerr_endline_390
001261dcmov rax, [rsp+24]
001261e1mov rbx, [rax+40]
001261e5lea rax, [rip+0x17131c]
001261eccall camlMyStack.pretty_387
001261f1
001261f1loc_1261f1:
001261f1mov eax, 1
001261f6call camlLexstate.save_lexstate_881
001261fbmov r12, [rsp+24]
00126200mov rdi, [r12+40]
00126205sub r15, 24
00126209cmp r15, [r14]
0012620cjb 0x126276
0012620e
0012620eloc_12620e:
0012620elea rsi, [r15+8]
00126212mov [rsi-8], 2048
0012621amov rax, [rsp]
0012621emov [rsi], rax
00126221mov rax, [rdi]
00126224mov [rsi+8], rax
00126228mov rbx, rsp
0012622bmov rsp, [r14+64]
0012622fcall caml_modify
00126234mov rsp, rbx
00126237mov rax, [r12+40]
0012623cmov [rsp], rax
00126240mov rax, [rax]
00126243mov ebx, 1
00126248call Stdlib.List.rev_append
0012624dmov rdi, [rsp]
00126251mov rsi, rax
00126254mov rbx, rsp
00126257mov rsp, [r14+64]
0012625bcall caml_modify
00126260mov rsp, rbx
00126263mov rbx, [rsp+8]
00126268mov rdi, [rbx]
0012626bmov rax, [rsp+16]
00126270add rsp, 32
00126274jmp rdi
00126276
00126276loc_126276:
00126276call caml_call_gc
0012627bjmp 0x12620e
0012627d
0012627dloc_12627d:
0012627dpush 37
0012627fcall caml_call_realloc_stack
00126284pop r10
00126286jmp 0x126152
00126140
00126140camlLatexscan.start_other_scan_1348:
00126140lea r10, [rsp-352]
00126148cmp r10, [r14+40]
0012614cjb 0x12627d
00126152
00126152loc_126152:
00126152sub rsp, 32
00126156mov [rsp], rax
0012615amov [rsp+8], rbx
0012615fmov [rsp+16], rdi
00126164mov [rsp+24], rsi
00126169lea rbx, [rip+0x203f00]
00126170mov rbx, [rbx+80]
00126174mov rbx, [rbx]
00126177cmp rbx, 3
0012617bjle 0x1261f1
0012617dlea rbx, [rip+0x177b7c]
00126184call camlStdlib.$5e_139
00126189mov rbx, rax
0012618clea rax, [rip+0x177b7d]
00126193call camlStdlib.$5e_139
00126198call camlStdlib.prerr_endline_390
0012619dmov rax, [rsp+24]
001261a2mov rbx, [rax+32]
001261a6mov eax, 1
001261abcall camlLatexscan.stack_env_pretty_808
001261b0lea rbx, [rip+0x173971]
001261b7mov rax, [rsp+24]
001261bcmov rax, [rax+24]
001261c0mov rax, [rax]
001261c3call camlStdlib.$5e_139
001261c8mov rbx, rax
001261cblea rax, [rip+0x177b0e]
001261d2call camlStdlib.$5e_139
001261d7call camlStdlib.prerr_endline_390
001261dcmov rax, [rsp+24]
001261e1mov rbx, [rax+40]
001261e5lea rax, [rip+0x17131c]
001261eccall camlMyStack.pretty_387
001261f1
001261f1loc_1261f1:
001261f1mov eax, 1
001261f6call camlLexstate.save_lexstate_881
001261fbmov r12, [rsp+24]
00126200mov rdi, [r12+40]
00126205sub r15, 24
00126209cmp r15, [r14]
0012620cjb 0x126276
0012620e
0012620eloc_12620e:
0012620elea rsi, [r15+8]
00126212mov [rsi-8], 2048
0012621amov rax, [rsp]
0012621emov [rsi], rax
00126221mov rax, [rdi]
00126224mov [rsi+8], rax
00126228mov rbx, rsp
0012622bmov rsp, [r14+64]
0012622fcall caml_modify
00126234mov rsp, rbx
00126237mov rax, [r12+40]
0012623cmov [rsp], rax
00126240mov rax, [rax]
00126243mov ebx, 1
00126248call Stdlib.List.rev_append
0012624dmov rdi, [rsp]
00126251mov rsi, rax
00126254mov rbx, rsp
00126257mov rsp, [r14+64]
0012625bcall caml_modify
00126260mov rsp, rbx
00126263mov rbx, [rsp+8]
00126268mov rdi, [rbx]
0012626bmov rax, [rsp+16]
00126270add rsp, 32
00126274jmp rdi
00126276
00126276loc_126276:
00126276call caml_call_gc
0012627bjmp 0x12620e
0012627d
0012627dloc_12627d:
0012627dpush 37
0012627fcall caml_call_realloc_stack
00126284pop r10
00126286jmp 0x126152
00126140
0012628b
0012628b // align 0x10
0012628b // align 0x10
00126291
00126291 // align 0x10
00126291 // align 0x10
001262a0
001262a0camlLatexscan.start_image_scan_1354:
001262a0sub r15, 48
001262a4cmp r15, [r14]
001262a7jb 0x1262f0
001262a9
001262a9loc_1262a9:
001262a9lea rdx, [r15+8]
001262admov [rdx-8], 5367
001262b5lea rcx, [rip+68]
001262bcmov [rdx], rcx
001262bfmov rcx, 0x100000000000005
001262c9mov [rdx+8], rcx
001262cdmov [rdx+16], rax
001262d1mov [rdx+24], rbx
001262d5mov rax, [rsi+32]
001262d9mov [rdx+32], rax
001262ddmov rsi, [rsi+24]
001262e1lea rax, [rip+0x1779b0]
001262e8mov rbx, rdx
001262ebjmp 0x126140
001262f0
001262f0loc_1262f0:
001262f0call caml_call_gc
001262f5jmp 0x1262a9
001262a0
001262a0camlLatexscan.start_image_scan_1354:
001262a0sub r15, 48
001262a4cmp r15, [r14]
001262a7jb 0x1262f0
001262a9
001262a9loc_1262a9:
001262a9lea rdx, [r15+8]
001262admov [rdx-8], 5367
001262b5lea rcx, [rip+68]
001262bcmov [rdx], rcx
001262bfmov rcx, 0x100000000000005
001262c9mov [rdx+8], rcx
001262cdmov [rdx+16], rax
001262d1mov [rdx+24], rbx
001262d5mov rax, [rsi+32]
001262d9mov [rdx+32], rax
001262ddmov rsi, [rsi+24]
001262e1lea rax, [rip+0x1779b0]
001262e8mov rbx, rdx
001262ebjmp 0x126140
001262f0
001262f0loc_1262f0:
001262f0call caml_call_gc
001262f5jmp 0x1262a9
001262a0
001262f7
001262f7 // align 0x10
001262f7 // align 0x10
00126300
00126300camlLatexscan.fun_3634:
00126300mov rdi, rax
00126303cmp r15, [r14]
00126306jbe 0x126320
00126308
00126308loc_126308:
00126308mov rax, [rbx+32]
0012630cmov rsi, [rax+40]
00126310mov rdx, [rbx+24]
00126314mov rax, [rbx+16]
00126318mov rbx, rdx
0012631bjmp 0xf7370
00126320
00126320loc_126320:
00126320call caml_call_gc
00126325jmp 0x126308
00126300
00126300camlLatexscan.fun_3634:
00126300mov rdi, rax
00126303cmp r15, [r14]
00126306jbe 0x126320
00126308
00126308loc_126308:
00126308mov rax, [rbx+32]
0012630cmov rsi, [rax+40]
00126310mov rdx, [rbx+24]
00126314mov rax, [rbx+16]
00126318mov rbx, rdx
0012631bjmp 0xf7370
00126320
00126320loc_126320:
00126320call caml_call_gc
00126325jmp 0x126308
00126300
00126327
00126327 // align 0x10
00126327 // align 0x10
00126330
00126330camlLatexscan.complete_scan_1360:
00126330lea r10, [rsp-328]
00126338cmp r10, [r14+40]
0012633cjb 0x126402
00126342
00126342loc_126342:
00126342sub rsp, 8
00126346mov rsi, rax
00126349mov rax, rbx
0012634cmov [rsp], rdi
00126350mov rdi, [rsi]
00126353mov rbx, rsi
00126356call rdi
00126358mov rax, [rsp]
0012635cmov rax, [rax+56]
00126360call camlMyStack.pop_292
00126365mov rbx, [rsp]
00126369mov rbx, [rbx+40]
0012636dcall camlLatexscan.close_env_866
00126372mov rax, [rsp]
00126376mov rbx, [rax+48]
0012637amov rax, [rbx+24]
0012637emov rax, [rax+128]
00126385mov rdi, [rbx+16]
00126389lea rbx, [rip+0x1782d8]
00126390call camlLatexscan.top_close_block_aux_1030
00126395lea rax, [rip+0x203cd4]
0012639cmov rax, [rax+80]
001263a0mov rax, [rax]
001263a3cmp rax, 3
001263a7jle 0x1263f8
001263a9lea rax, [rip+0x1778d0]
001263b0call camlStdlib.prerr_endline_390
001263b5mov rax, [rsp]
001263b9mov rbx, [rax+32]
001263bdmov eax, 1
001263c2call camlLatexscan.stack_env_pretty_808
001263c7lea rbx, [rip+0x17375a]
001263cemov rax, [rsp]
001263d2mov rax, [rax+24]
001263d6mov rax, [rax]
001263d9call camlStdlib.$5e_139
001263demov rbx, rax
001263e1lea rax, [rip+0x1778f8]
001263e8call camlStdlib.$5e_139
001263edadd rsp, 8
001263f1jmp 0x196d50
001263f6
001263f6 66 90 f.
001263f8
001263f8loc_1263f8:
001263f8mov eax, 1
001263fdadd rsp, 8
00126401ret
00126402
00126402loc_126402:
00126402push 34
00126404call caml_call_realloc_stack
00126409pop r10
0012640bjmp 0x126342
00126330
00126330camlLatexscan.complete_scan_1360:
00126330lea r10, [rsp-328]
00126338cmp r10, [r14+40]
0012633cjb 0x126402
00126342
00126342loc_126342:
00126342sub rsp, 8
00126346mov rsi, rax
00126349mov rax, rbx
0012634cmov [rsp], rdi
00126350mov rdi, [rsi]
00126353mov rbx, rsi
00126356call rdi
00126358mov rax, [rsp]
0012635cmov rax, [rax+56]
00126360call camlMyStack.pop_292
00126365mov rbx, [rsp]
00126369mov rbx, [rbx+40]
0012636dcall camlLatexscan.close_env_866
00126372mov rax, [rsp]
00126376mov rbx, [rax+48]
0012637amov rax, [rbx+24]
0012637emov rax, [rax+128]
00126385mov rdi, [rbx+16]
00126389lea rbx, [rip+0x1782d8]
00126390call camlLatexscan.top_close_block_aux_1030
00126395lea rax, [rip+0x203cd4]
0012639cmov rax, [rax+80]
001263a0mov rax, [rax]
001263a3cmp rax, 3
001263a7jle 0x1263f8
001263a9lea rax, [rip+0x1778d0]
001263b0call camlStdlib.prerr_endline_390
001263b5mov rax, [rsp]
001263b9mov rbx, [rax+32]
001263bdmov eax, 1
001263c2call camlLatexscan.stack_env_pretty_808
001263c7lea rbx, [rip+0x17375a]
001263cemov rax, [rsp]
001263d2mov rax, [rax+24]
001263d6mov rax, [rax]
001263d9call camlStdlib.$5e_139
001263demov rbx, rax
001263e1lea rax, [rip+0x1778f8]
001263e8call camlStdlib.$5e_139
001263edadd rsp, 8
001263f1jmp 0x196d50
001263f6
001263f6 66 90 f.
001263f8
001263f8loc_1263f8:
001263f8mov eax, 1
001263fdadd rsp, 8
00126401ret
00126402
00126402loc_126402:
00126402push 34
00126404call caml_call_realloc_stack
00126409pop r10
0012640bjmp 0x126342
00126330
00126410
00126410camlLatexscan.stop_other_scan_1364:
00126410lea r10, [rsp-352]
00126418cmp r10, [r14+40]
0012641cjb 0x126539
00126422
00126422loc_126422:
00126422sub rsp, 32
00126426mov [rsp], rax
0012642amov [rsp+16], rbx
0012642fmov [rsp+8], rdi
00126434mov [rsp+24], rsi
00126439lea rax, [rip+0x203c30]
00126440mov rax, [rax+80]
00126444mov rax, [rax]
00126447cmp rax, 3
0012644bjle 0x126498
0012644dlea rax, [rip+0x177804]
00126454call camlStdlib.prerr_endline_390
00126459mov rax, [rsp+24]
0012645emov rbx, [rax+32]
00126462mov eax, 1
00126467call camlLatexscan.stack_env_pretty_808
0012646clea rbx, [rip+0x1736b5]
00126473mov rax, [rsp+24]
00126478mov rax, [rax+24]
0012647cmov rax, [rax]
0012647fcall camlStdlib.$5e_139
00126484mov rbx, rax
00126487lea rax, [rip+0x177852]
0012648ecall camlStdlib.$5e_139
00126493call camlStdlib.prerr_endline_390
00126498
00126498loc_126498:
00126498mov rax, [rsp+24]
0012649dmov rax, [rax+48]
001264a1call camlMyStack.pop_292
001264a6mov rax, [rsp]
001264aacmp rax, 1
001264aejne 0x1264c5
001264b0mov rbx, [rsp+24]
001264b5mov rax, [rbx+24]
001264b9mov rax, [rax]
001264bcmov rbx, [rbx+40]
001264c0call camlLatexscan.close_env_866
001264c5
001264c5loc_1264c5:
001264c5mov rbx, [rsp+24]
001264camov rax, [rbx+56]
001264cemov rax, [rax]
001264d1test al, 1
001264d3jne 0x126524
001264d5mov [rsp+24], rbx
001264damov rdi, [rbx+64]
001264demov rax, [rsp+16]
001264e3mov rbx, [rsp+8]
001264e8call camlLatexscan.complete_scan_1360
001264ed
001264edloc_1264ed:
001264edmov rax, [rsp+24]
001264f2mov rax, [rax+56]
001264f6mov rax, [rax]
001264f9test al, 1
001264fbjne 0x126524
001264fdmov eax, 1
00126502call camlLexstate.previous_lexbuf_870
00126507mov rbx, rax
0012650amov rax, [rsp+24]
0012650fmov rdi, [rax+64]
00126513mov rax, [rsp+16]
00126518call camlLatexscan.complete_scan_1360
0012651dcmp r15, [r14]
00126520ja 0x1264ed
00126522jmp 0x126532
00126524
00126524loc_126524:
00126524mov eax, 1
00126529add rsp, 32
0012652djmp 0x17d370
00126532
00126532loc_126532:
00126532call caml_call_gc
00126537jmp 0x1264ed
00126539
00126539loc_126539:
00126539push 37
0012653bcall caml_call_realloc_stack
00126540pop r10
00126542jmp 0x126422
00126410
00126410camlLatexscan.stop_other_scan_1364:
00126410lea r10, [rsp-352]
00126418cmp r10, [r14+40]
0012641cjb 0x126539
00126422
00126422loc_126422:
00126422sub rsp, 32
00126426mov [rsp], rax
0012642amov [rsp+16], rbx
0012642fmov [rsp+8], rdi
00126434mov [rsp+24], rsi
00126439lea rax, [rip+0x203c30]
00126440mov rax, [rax+80]
00126444mov rax, [rax]
00126447cmp rax, 3
0012644bjle 0x126498
0012644dlea rax, [rip+0x177804]
00126454call camlStdlib.prerr_endline_390
00126459mov rax, [rsp+24]
0012645emov rbx, [rax+32]
00126462mov eax, 1
00126467call camlLatexscan.stack_env_pretty_808
0012646clea rbx, [rip+0x1736b5]
00126473mov rax, [rsp+24]
00126478mov rax, [rax+24]
0012647cmov rax, [rax]
0012647fcall camlStdlib.$5e_139
00126484mov rbx, rax
00126487lea rax, [rip+0x177852]
0012648ecall camlStdlib.$5e_139
00126493call camlStdlib.prerr_endline_390
00126498
00126498loc_126498:
00126498mov rax, [rsp+24]
0012649dmov rax, [rax+48]
001264a1call camlMyStack.pop_292
001264a6mov rax, [rsp]
001264aacmp rax, 1
001264aejne 0x1264c5
001264b0mov rbx, [rsp+24]
001264b5mov rax, [rbx+24]
001264b9mov rax, [rax]
001264bcmov rbx, [rbx+40]
001264c0call camlLatexscan.close_env_866
001264c5
001264c5loc_1264c5:
001264c5mov rbx, [rsp+24]
001264camov rax, [rbx+56]
001264cemov rax, [rax]
001264d1test al, 1
001264d3jne 0x126524
001264d5mov [rsp+24], rbx
001264damov rdi, [rbx+64]
001264demov rax, [rsp+16]
001264e3mov rbx, [rsp+8]
001264e8call camlLatexscan.complete_scan_1360
001264ed
001264edloc_1264ed:
001264edmov rax, [rsp+24]
001264f2mov rax, [rax+56]
001264f6mov rax, [rax]
001264f9test al, 1
001264fbjne 0x126524
001264fdmov eax, 1
00126502call camlLexstate.previous_lexbuf_870
00126507mov rbx, rax
0012650amov rax, [rsp+24]
0012650fmov rdi, [rax+64]
00126513mov rax, [rsp+16]
00126518call camlLatexscan.complete_scan_1360
0012651dcmp r15, [r14]
00126520ja 0x1264ed
00126522jmp 0x126532
00126524
00126524loc_126524:
00126524mov eax, 1
00126529add rsp, 32
0012652djmp 0x17d370
00126532
00126532loc_126532:
00126532call caml_call_gc
00126537jmp 0x1264ed
00126539
00126539loc_126539:
00126539push 37
0012653bcall caml_call_realloc_stack
00126540pop r10
00126542jmp 0x126422
00126410
00126547
00126547 // align 0x10
00126547 // align 0x10
00126550
00126550camlLatexscan.add_includes_1452:
00126550mov rdi, rax
00126553mov rax, [rbx+24]
00126557mov [rax], 3
0012655esub r15, 32
00126562cmp r15, [r14]
00126565jb 0x12659b
00126567
00126567loc_126567:
00126567lea rax, [r15+8]
0012656bmov [rax-8], 3319
00126573lea rsi, [rip+54]
0012657amov [rax], rsi
0012657dmov rsi, 0x100000000000005
00126587mov [rax+8], rsi
0012658bmov rbx, [rbx+16]
0012658fmov [rax+16], rbx
00126593mov rbx, rdi
00126596jmp 0x1a0330
0012659b
0012659bloc_12659b:
0012659bcall caml_call_gc
001265a0jmp 0x126567
00126550
00126550camlLatexscan.add_includes_1452:
00126550mov rdi, rax
00126553mov rax, [rbx+24]
00126557mov [rax], 3
0012655esub r15, 32
00126562cmp r15, [r14]
00126565jb 0x12659b
00126567
00126567loc_126567:
00126567lea rax, [r15+8]
0012656bmov [rax-8], 3319
00126573lea rsi, [rip+54]
0012657amov [rax], rsi
0012657dmov rsi, 0x100000000000005
00126587mov [rax+8], rsi
0012658bmov rbx, [rbx+16]
0012658fmov [rax+16], rbx
00126593mov rbx, rdi
00126596jmp 0x1a0330
0012659b
0012659bloc_12659b:
0012659bcall caml_call_gc
001265a0jmp 0x126567
00126550
001265a2
001265a2 // align 0x10
001265a2 // align 0x10
001265b0
001265b0camlLatexscan.fun_3680:
001265b0mov rsi, rax
001265b3mov edi, 1
001265b8mov rax, [rbx+16]
001265bcmov rbx, rsi
001265bfjmp 0x1e7690
001265b0
001265b0camlLatexscan.fun_3680:
001265b0mov rsi, rax
001265b3mov edi, 1
001265b8mov rax, [rbx+16]
001265bcmov rbx, rsi
001265bfjmp 0x1e7690
001265b0
001265c4
001265c4 // align 0x10
001265c4 // align 0x10
001265d0
001265d0camlLatexscan.check_include_1456:
001265d0lea r10, [rsp-336]
001265d8cmp r10, [r14+40]
001265dcjb 0x12664e
001265de
001265deloc_1265de:
001265demov rdi, rax
001265e1mov rax, [rbx+24]
001265e5mov rax, [rax]
001265e8cmp rax, 1
001265ecje 0x126648
001265eelea r11, [rip+39]
001265f5push r11
001265f7push [r14+48]
001265fbmov [r14+48], rsp
001265ffmov rax, [rbx+16]
00126603mov rbx, rdi
00126606call Stdlib.Hashtbl.find
0012660bmov eax, 3
00126610pop [r14+48]
00126614add rsp, 8
00126618jmp 0x126644
0012661anop
0012661clea rbx, [rip+0x206ff5]
00126623mov rbx, [rbx+56]
00126627cmp rax, rbx
0012662ajne 0x126634
0012662cmov eax, 1
00126631ret
00126632nop
00126634
00126634loc_126634:
00126634mov rsp, [r14+48]
00126638pop [r14+48]
0012663cpop r11
0012663ejmp r11
00126641nop [rax]
00126644
00126644loc_126644:
00126644ret
00126645nop [rax]
00126648
00126648loc_126648:
00126648mov eax, 3
0012664dret
0012664e
0012664eloc_12664e:
0012664epush 35
00126650call caml_call_realloc_stack
00126655pop r10
00126657jmp 0x1265de
001265d0
001265d0camlLatexscan.check_include_1456:
001265d0lea r10, [rsp-336]
001265d8cmp r10, [r14+40]
001265dcjb 0x12664e
001265de
001265deloc_1265de:
001265demov rdi, rax
001265e1mov rax, [rbx+24]
001265e5mov rax, [rax]
001265e8cmp rax, 1
001265ecje 0x126648
001265eelea r11, [rip+39]
001265f5push r11
001265f7push [r14+48]
001265fbmov [r14+48], rsp
001265ffmov rax, [rbx+16]
00126603mov rbx, rdi
00126606call Stdlib.Hashtbl.find
0012660bmov eax, 3
00126610pop [r14+48]
00126614add rsp, 8
00126618jmp 0x126644
0012661anop
0012661clea rbx, [rip+0x206ff5]
00126623mov rbx, [rbx+56]
00126627cmp rax, rbx
0012662ajne 0x126634
0012662cmov eax, 1
00126631ret
00126632nop
00126634
00126634loc_126634:
00126634mov rsp, [r14+48]
00126638pop [r14+48]
0012663cpop r11
0012663ejmp r11
00126641nop [rax]
00126644
00126644loc_126644:
00126644ret
00126645nop [rax]
00126648
00126648loc_126648:
00126648mov eax, 3
0012664dret
0012664e
0012664eloc_12664e:
0012664epush 35
00126650call caml_call_realloc_stack
00126655pop r10
00126657jmp 0x1265de
001265d0
00126659
00126659 // align 0x10
00126659 // align 0x10
00126660
00126660camlLatexscan.mk_out_file_1459:
00126660lea r10, [rsp-320]
00126668cmp r10, [r14+40]
0012666cjb 0x1267bd
00126672
00126672loc_126672:
00126672lea rax, [rip+0x201fc7]
00126679mov rdi, [rax+128]
00126680mov rax, [rax+8]
00126684mov rax, [rax]
00126687mov rbx, [rdi-8]
0012668bshr rbx, 10
0012668fcmp rbx, 2
00126693jge 0x1266ba
00126695mov rbx, [rdi]
00126698mov rsi, 0x60000000000002d
001266a2cmp rbx, rsi
001266a5je 0x126738
001266abmov rsi, 0x700000000000000
001266b5cmp rbx, rsi
001266b8je 0x126738
001266ba
001266baloc_1266ba:
001266bacmp rax, 5
001266bejl 0x126704
001266c0lea rbx, [rip+0x177581]
001266c7mov rax, rdi
001266cacall camlStdlib.$5e_139
001266cfmov rdi, rax
001266d2mov ebx, 877
001266d7lea rax, [rip+0x207462]
001266decall camlStdlib.open_out_gen_225
001266e3sub r15, 16
001266e7cmp r15, [r14]
001266eajb 0x1267b3
001266f0
001266f0loc_1266f0:
001266f0lea rbx, [r15+8]
001266f4mov [rbx-8], 1025
001266fcmov [rbx], rax
001266ffmov rax, rbx
00126702ret
00126703
00126703 90 .
00126704
00126704loc_126704:
00126704mov ebx, 877
00126709lea rax, [rip+0x207430]
00126710call camlStdlib.open_out_gen_225
00126715sub r15, 16
00126719cmp r15, [r14]
0012671cjb 0x1267a9
00126722
00126722loc_126722:
00126722lea rbx, [r15+8]
00126726mov [rbx-8], 1025
0012672emov [rbx], rax
00126731mov rax, rbx
00126734ret
00126735
00126735 0f 1f 00 ...
00126738
00126738loc_126738:
00126738cmp rax, 5
0012673cjl 0x126774
0012673elea rax, [rip+0x1fb2b3]
00126745mov rax, [rax]
00126748mov rbx, [rax+16]
0012674cmov eax, 1
00126751call camlDoOut.alloc_buff_526
00126756sub r15, 16
0012675acmp r15, [r14]
0012675djb 0x1267a2
0012675f
0012675floc_12675f:
0012675flea rbx, [r15+8]
00126763mov [rbx-8], 1024
0012676bmov [rbx], rax
0012676emov rax, rbx
00126771ret
00126772
00126772 66 90 f.
00126774
00126774loc_126774:
00126774lea rax, [rip+0x206e9d]
0012677bmov rbx, [rax+304]
00126782sub r15, 16
00126786cmp r15, [r14]
00126789jb 0x12679b
0012678b
0012678bloc_12678b:
0012678blea rax, [r15+8]
0012678fmov [rax-8], 1025
00126797mov [rax], rbx
0012679aret
0012679b
0012679bloc_12679b:
0012679bcall caml_call_gc
001267a0jmp 0x12678b
001267a2
001267a2loc_1267a2:
001267a2call caml_call_gc
001267a7jmp 0x12675f
001267a9
001267a9loc_1267a9:
001267a9call caml_call_gc
001267aejmp 0x126722
001267b3
001267b3loc_1267b3:
001267b3call caml_call_gc
001267b8jmp 0x1266f0
001267bd
001267bdloc_1267bd:
001267bdpush 33
001267bfcall caml_call_realloc_stack
001267c4pop r10
001267c6jmp 0x126672
00126660
00126660camlLatexscan.mk_out_file_1459:
00126660lea r10, [rsp-320]
00126668cmp r10, [r14+40]
0012666cjb 0x1267bd
00126672
00126672loc_126672:
00126672lea rax, [rip+0x201fc7]
00126679mov rdi, [rax+128]
00126680mov rax, [rax+8]
00126684mov rax, [rax]
00126687mov rbx, [rdi-8]
0012668bshr rbx, 10
0012668fcmp rbx, 2
00126693jge 0x1266ba
00126695mov rbx, [rdi]
00126698mov rsi, 0x60000000000002d
001266a2cmp rbx, rsi
001266a5je 0x126738
001266abmov rsi, 0x700000000000000
001266b5cmp rbx, rsi
001266b8je 0x126738
001266ba
001266baloc_1266ba:
001266bacmp rax, 5
001266bejl 0x126704
001266c0lea rbx, [rip+0x177581]
001266c7mov rax, rdi
001266cacall camlStdlib.$5e_139
001266cfmov rdi, rax
001266d2mov ebx, 877
001266d7lea rax, [rip+0x207462]
001266decall camlStdlib.open_out_gen_225
001266e3sub r15, 16
001266e7cmp r15, [r14]
001266eajb 0x1267b3
001266f0
001266f0loc_1266f0:
001266f0lea rbx, [r15+8]
001266f4mov [rbx-8], 1025
001266fcmov [rbx], rax
001266ffmov rax, rbx
00126702ret
00126703
00126703 90 .
00126704
00126704loc_126704:
00126704mov ebx, 877
00126709lea rax, [rip+0x207430]
00126710call camlStdlib.open_out_gen_225
00126715sub r15, 16
00126719cmp r15, [r14]
0012671cjb 0x1267a9
00126722
00126722loc_126722:
00126722lea rbx, [r15+8]
00126726mov [rbx-8], 1025
0012672emov [rbx], rax
00126731mov rax, rbx
00126734ret
00126735
00126735 0f 1f 00 ...
00126738
00126738loc_126738:
00126738cmp rax, 5
0012673cjl 0x126774
0012673elea rax, [rip+0x1fb2b3]
00126745mov rax, [rax]
00126748mov rbx, [rax+16]
0012674cmov eax, 1
00126751call camlDoOut.alloc_buff_526
00126756sub r15, 16
0012675acmp r15, [r14]
0012675djb 0x1267a2
0012675f
0012675floc_12675f:
0012675flea rbx, [r15+8]
00126763mov [rbx-8], 1024
0012676bmov [rbx], rax
0012676emov rax, rbx
00126771ret
00126772
00126772 66 90 f.
00126774
00126774loc_126774:
00126774lea rax, [rip+0x206e9d]
0012677bmov rbx, [rax+304]
00126782sub r15, 16
00126786cmp r15, [r14]
00126789jb 0x12679b
0012678b
0012678bloc_12678b:
0012678blea rax, [r15+8]
0012678fmov [rax-8], 1025
00126797mov [rax], rbx
0012679aret
0012679b
0012679bloc_12679b:
0012679bcall caml_call_gc
001267a0jmp 0x12678b
001267a2
001267a2loc_1267a2:
001267a2call caml_call_gc
001267a7jmp 0x12675f
001267a9
001267a9loc_1267a9:
001267a9call caml_call_gc
001267aejmp 0x126722
001267b3
001267b3loc_1267b3:
001267b3call caml_call_gc
001267b8jmp 0x1266f0
001267bd
001267bdloc_1267bd:
001267bdpush 33
001267bfcall caml_call_realloc_stack
001267c4pop r10
001267c6jmp 0x126672
00126660
001267cb
001267cb // align 0x10
001267cb // align 0x10
001267d0
001267d0camlLatexscan.no_prelude_1464:
001267d0lea r10, [rsp-328]
001267d8cmp r10, [r14+40]
001267dcjb 0x126868
001267e2
001267e2loc_1267e2:
001267e2sub rsp, 8
001267e6mov [rsp], rbx
001267eacmp r15, [r14]
001267edjbe 0x126861
001267ef
001267efloc_1267ef:
001267eflea rax, [rip+0x20387a]
001267f6mov rax, [rax+80]
001267famov rax, [rax]
001267fdcmp rax, 3
00126801jle 0x12680f
00126803lea rax, [rip+0x177426]
0012680acall camlStdlib.prerr_endline_390
0012680f
0012680floc_12680f:
0012680flea rax, [rip+0x1f018a]
00126816mov rax, [rax+432]
0012681dmov [rax], 3
00126824mov rax, [rsp]
00126828mov rax, [rax+24]
0012682cmov rbx, [rax+88]
00126830mov eax, 1
00126835mov rdi, [rbx]
00126838call rdi
0012683amov rax, [rsp]
0012683emov rax, [rax+24]
00126842mov rax, [rax+8]
00126846mov [rsp], rax
0012684amov eax, 1
0012684fcall camlLatexscan.mk_out_file_1459
00126854mov rbx, [rsp]
00126858mov rdi, [rbx]
0012685badd rsp, 8
0012685fjmp rdi
00126861
00126861loc_126861:
00126861call caml_call_gc
00126866jmp 0x1267ef
00126868
00126868loc_126868:
00126868push 34
0012686acall caml_call_realloc_stack
0012686fpop r10
00126871jmp 0x1267e2
001267d0
001267d0camlLatexscan.no_prelude_1464:
001267d0lea r10, [rsp-328]
001267d8cmp r10, [r14+40]
001267dcjb 0x126868
001267e2
001267e2loc_1267e2:
001267e2sub rsp, 8
001267e6mov [rsp], rbx
001267eacmp r15, [r14]
001267edjbe 0x126861
001267ef
001267efloc_1267ef:
001267eflea rax, [rip+0x20387a]
001267f6mov rax, [rax+80]
001267famov rax, [rax]
001267fdcmp rax, 3
00126801jle 0x12680f
00126803lea rax, [rip+0x177426]
0012680acall camlStdlib.prerr_endline_390
0012680f
0012680floc_12680f:
0012680flea rax, [rip+0x1f018a]
00126816mov rax, [rax+432]
0012681dmov [rax], 3
00126824mov rax, [rsp]
00126828mov rax, [rax+24]
0012682cmov rbx, [rax+88]
00126830mov eax, 1
00126835mov rdi, [rbx]
00126838call rdi
0012683amov rax, [rsp]
0012683emov rax, [rax+24]
00126842mov rax, [rax+8]
00126846mov [rsp], rax
0012684amov eax, 1
0012684fcall camlLatexscan.mk_out_file_1459
00126854mov rbx, [rsp]
00126858mov rdi, [rbx]
0012685badd rsp, 8
0012685fjmp rdi
00126861
00126861loc_126861:
00126861call caml_call_gc
00126866jmp 0x1267ef
00126868
00126868loc_126868:
00126868push 34
0012686acall caml_call_realloc_stack
0012686fpop r10
00126871jmp 0x1267e2
001267d0
00126876
00126876 // align 0x10
00126876 // align 0x10
00126880
00126880camlLatexscan.expand_toks_1468:
00126880lea r10, [rsp-336]
00126888cmp r10, [r14+40]
0012688cjb 0x1268cb
0012688e
0012688eloc_12688e:
0012688esub rsp, 16
00126892test bl, 1
00126895je 0x1268a4
00126897mov eax, 1
0012689cadd rsp, 16
001268a0ret
001268a1
001268a1 0f 1f 00 ...
001268a4
001268a4loc_1268a4:
001268a4mov [rsp], rbx
001268a8mov [rsp+8], rax
001268admov rbx, [rbx+8]
001268b1call camlLatexscan.expand_toks_1468
001268b6mov rax, [rsp]
001268bamov rbx, [rax]
001268bdmov rax, [rsp+8]
001268c2add rsp, 16
001268c6jmp 0x17f150
001268cb
001268cbloc_1268cb:
001268cbpush 35
001268cdcall caml_call_realloc_stack
001268d2pop r10
001268d4jmp 0x12688e
00126880
00126880camlLatexscan.expand_toks_1468:
00126880lea r10, [rsp-336]
00126888cmp r10, [r14+40]
0012688cjb 0x1268cb
0012688e
0012688eloc_12688e:
0012688esub rsp, 16
00126892test bl, 1
00126895je 0x1268a4
00126897mov eax, 1
0012689cadd rsp, 16
001268a0ret
001268a1
001268a1 0f 1f 00 ...
001268a4
001268a4loc_1268a4:
001268a4mov [rsp], rbx
001268a8mov [rsp+8], rax
001268admov rbx, [rbx+8]
001268b1call camlLatexscan.expand_toks_1468
001268b6mov rax, [rsp]
001268bamov rbx, [rax]
001268bdmov rax, [rsp+8]
001268c2add rsp, 16
001268c6jmp 0x17f150
001268cb
001268cbloc_1268cb:
001268cbpush 35
001268cdcall caml_call_realloc_stack
001268d2pop r10
001268d4jmp 0x12688e
00126880
001268d6
001268d6 // align 0x10
001268d6 // align 0x10
001268e0
001268e0camlLatexscan.do_expand_command_1473:
001268e0lea r10, [rsp-432]
001268e8cmp r10, [r14+40]
001268ecjb 0x126d41
001268f2
001268f2loc_1268f2:
001268f2sub rsp, 96
001268f6mov [rsp+72], rax
001268fbmov [rsp+56], rbx
00126900mov [rsp+88], rdi
00126905mov [rsp+80], rsi
0012690amov [rsp+64], rdx
0012690fmov eax, 1
00126914call camlLocation.get_pos_414
00126919mov [rsp], rax
0012691dlea r11, [rip+900]
00126924push r11
00126926push [r14+48]
0012692amov [r14+48], rsp
0012692elea rax, [rip+0x20373b]
00126935mov rax, [rax+80]
00126939mov rax, [rax]
0012693ccmp rax, 3
00126940jle 0x126973
00126942mov rax, [rsp+104]
00126947mov [rsp+24], rax
0012694clea rbx, [rip+0x1771e5]
00126953lea rax, [rip+0x206cbe]
0012695amov rax, [rax+312]
00126961call Stdlib.Printf.fprintf
00126966mov rbx, rax
00126969mov rdi, [rbx]
0012696cmov rax, [rsp+24]
00126971call rdi
00126973
00126973loc_126973:
00126973lea rbx, [rip+0x1f0026]
0012697amov rax, [rbx+728]
00126981mov rax, [rax]
00126984mov rbx, [rbx+224]
0012698bmov rbx, [rbx]
0012698ecmp rbx, 1
00126992je 0x1269f0
00126994sub r15, 56
00126998cmp r15, [r14]
0012699bjb 0x126d37
001269a1
001269a1loc_1269a1:
001269a1lea rbx, [r15+8]
001269a5mov [rsp+32], rbx
001269aamov [rbx-8], 6391
001269b2lea rdi, [rip+919]
001269b9mov [rbx], rdi
001269bcmov rdi, 0x100000000000005
001269c6mov [rbx+8], rdi
001269camov rdi, [rsp+80]
001269cfmov rdi, [rdi+40]
001269d3mov [rbx+16], rdi
001269d7mov rdi, [rsp+88]
001269dcmov [rbx+24], rdi
001269e0mov rdi, [rsp+96]
001269e5mov [rbx+32], rdi
001269e9mov [rbx+40], rax
001269edjmp 0x126a49
001269efnop
001269f0
001269f0loc_1269f0:
001269f0sub r15, 56
001269f4cmp r15, [r14]
001269f7jb 0x126d2d
001269fd
001269fdloc_1269fd:
001269fdlea rbx, [r15+8]
00126a01mov [rbx-8], 6391
00126a09lea rdi, [rip+1360]
00126a10mov [rbx], rdi
00126a13mov rdi, 0x100000000000005
00126a1dmov [rbx+8], rdi
00126a21mov rdi, [rsp+80]
00126a26mov rdi, [rdi+40]
00126a2amov [rbx+16], rdi
00126a2emov rdi, [rsp+88]
00126a33mov [rbx+24], rdi
00126a37mov rdi, [rsp+96]
00126a3cmov [rbx+32], rdi
00126a40mov [rbx+40], rax
00126a44mov [rsp+32], rbx
00126a49
00126a49loc_126a49:
00126a49mov rax, [rsp+104]
00126a4ecall camlLatexmacros.find_941
00126a53mov [rsp+24], rax
00126a58mov rax, [rax+8]
00126a5cmov [rsp+40], rax
00126a61lea rbx, [rip+0x1eff38]
00126a68mov rdi, [rbx+144]
00126a6fmov rdi, [rdi]
00126a72cmp rdi, 1
00126a76je 0x126a90
00126a78mov rax, [rsp+104]
00126a7dcall camlLatexmacros.invisible_982
00126a82cmp rax, 1
00126a86jne 0x126b14
00126a8cjmp 0x126acf
00126a8enop
00126a90
00126a90loc_126a90:
00126a90mov rbx, [rbx+168]
00126a97mov rbx, [rbx]
00126a9acmp rbx, 3
00126a9eje 0x126acf
00126aa0movzx rax, [rax-8]
00126aa5cmp rax, 2
00126aa9jl 0x126ab4
00126aabmov eax, 1
00126ab0jmp 0x126ab9
00126ab2nop
00126ab4
00126ab4loc_126ab4:
00126ab4mov eax, 3
00126ab9
00126ab9loc_126ab9:
00126ab9cmp rax, 1
00126abdje 0x126acf
00126abfmov rax, [rsp+104]
00126ac4call camlLatexscan.last_letter_722
00126ac9cmp rax, 1
00126acdjne 0x126b14
00126acf
00126acfloc_126acf:
00126acflea rax, [rip+0x20359a]
00126ad6mov rax, [rax+80]
00126adamov rax, [rax]
00126addcmp rax, 5
00126ae1jle 0x126b08
00126ae3lea rbx, [rip+0x177216]
00126aeamov rax, [rsp+104]
00126aefcall camlStdlib.$5e_139
00126af4mov rbx, rax
00126af7lea rax, [rip+0x176f4a]
00126afecall camlStdlib.$5e_139
00126b03call camlStdlib.prerr_endline_390
00126b08
00126b08loc_126b08:
00126b08mov eax, 1
00126b0dmov [rsp+48], rax
00126b12jmp 0x126b61
00126b14
00126b14loc_126b14:
00126b14lea rax, [rip+0x203555]
00126b1bmov rax, [rax+80]
00126b1fmov rax, [rax]
00126b22cmp rax, 5
00126b26jle 0x126b4d
00126b28lea rbx, [rip+0x1771d1]
00126b2fmov rax, [rsp+104]
00126b34call camlStdlib.$5e_139
00126b39mov rbx, rax
00126b3clea rax, [rip+0x176f25]
00126b43call camlStdlib.$5e_139
00126b48call camlStdlib.prerr_endline_390
00126b4d
00126b4dloc_126b4d:
00126b4dmov rbx, [rsp+72]
00126b52mov rdi, [rbx]
00126b55mov rax, [rsp+96]
00126b5acall rdi
00126b5cmov [rsp+48], rax
00126b61
00126b61loc_126b61:
00126b61mov rax, [rsp+24]
00126b66mov rbx, [rax]
00126b69mov rax, [rsp+104]
00126b6emov rdi, [rsp+96]
00126b73call camlLexstate.make_stack_1175
00126b78mov [rsp+24], rax
00126b7dlea rax, [rip+0x2034ec]
00126b84mov rax, [rax+80]
00126b88mov rax, [rax]
00126b8bcmp rax, 3
00126b8fjle 0x126be5
00126b91mov rax, [rsp+80]
00126b96mov rax, [rax+32]
00126b9amov rax, [rax]
00126b9dmov [rsp+64], rax
00126ba2mov rax, [rsp+104]
00126ba7mov [rsp+56], rax
00126baclea rbx, [rip+0x176d8d]
00126bb3lea rax, [rip+0x206a5e]
00126bbamov rax, [rax+312]
00126bc1call Stdlib.Printf.fprintf
00126bc6mov rdi, rax
00126bc9mov rax, [rsp+56]
00126bcemov rbx, [rsp+64]
00126bd3call caml_apply2
00126bd8mov rax, [rsp+80]
00126bddmov rax, [rax+32]
00126be1add [rax], 2
00126be5
00126be5loc_126be5:
00126be5mov rax, [rsp+32]
00126beamov rbx, [rsp+40]
00126befmov rdi, [rsp+24]
00126bf4call camlLexstate.scan_body_856
00126bf9lea rax, [rip+0x203470]
00126c00mov rax, [rax+80]
00126c04mov rax, [rax]
00126c07cmp rax, 3
00126c0bjle 0x126c66
00126c0dlea rax, [rip+0x1efd8c]
00126c14mov rax, [rax+136]
00126c1bmov rax, [rax]
00126c1emov [rsp+32], rax
00126c23mov rax, [rsp+104]
00126c28mov [rsp+24], rax
00126c2dlea rbx, [rip+0x176bec]
00126c34lea rax, [rip+0x2069dd]
00126c3bmov rax, [rax+312]
00126c42call Stdlib.Printf.fprintf
00126c47mov rdi, rax
00126c4amov rax, [rsp+24]
00126c4fmov rbx, [rsp+32]
00126c54call caml_apply2
00126c59mov rax, [rsp+80]
00126c5emov rax, [rax+32]
00126c62add [rax], -2
00126c66
00126c66loc_126c66:
00126c66mov rax, [rsp+48]
00126c6bcmp rax, 1
00126c6fje 0x126c94
00126c71lea rdi, [rip+0x176b98]
00126c78mov rax, [rsp+88]
00126c7dmov rbx, [rsp+72]
00126c82mov rsi, [rsp+96]
00126c87mov rdx, [rsp+80]
00126c8ccall camlLatexscan.do_expand_command_1473
00126c91jmp 0x126c99
00126c93nop
00126c94
00126c94loc_126c94:
00126c94mov eax, 1
00126c99
00126c99loc_126c99:
00126c99pop [r14+48]
00126c9dadd rsp, 8
00126ca1jmp 0x126d28
00126ca6nop
00126ca8lea rbx, [rip+0x2033c1]
00126cafmov rdi, [rbx+56]
00126cb3cmp rax, rdi
00126cb6je 0x126d18
00126cb8mov rbx, [rbx+48]
00126cbccmp rax, rbx
00126cbfje 0x126d18
00126cc1mov [rsp+8], rax
00126cc6mov eax, 1
00126ccbmov rbx, [rsp]
00126ccfcall camlLocation.do_print_pos_423
00126cd4mov rax, [rsp+88]
00126cd9mov [rsp], rax
00126cddlea rbx, [rip+0x176a6c]
00126ce4lea rax, [rip+0x20692d]
00126cebmov rax, [rax+312]
00126cf2call Stdlib.Printf.fprintf
00126cf7mov rbx, rax
00126cfamov rdi, [rbx]
00126cfdmov rax, [rsp]
00126d01call rdi
00126d03mov rax, [rsp+8]
00126d08mov rsp, [r14+48]
00126d0cpop [r14+48]
00126d10pop r11
00126d12jmp r11
00126d15nop [rax]
00126d18
00126d18loc_126d18:
00126d18mov rsp, [r14+48]
00126d1cpop [r14+48]
00126d20pop r11
00126d22jmp r11
00126d25nop [rax]
00126d28
00126d28loc_126d28:
00126d28add rsp, 96
00126d2cret
00126d2d
00126d2dloc_126d2d:
00126d2dcall caml_call_gc
00126d32jmp 0x1269fd
00126d37
00126d37loc_126d37:
00126d37call caml_call_gc
00126d3cjmp 0x1269a1
00126d41
00126d41loc_126d41:
00126d41push 47
00126d43call caml_call_realloc_stack
00126d48pop r10
00126d4ajmp 0x1268f2
001268e0
001268e0camlLatexscan.do_expand_command_1473:
001268e0lea r10, [rsp-432]
001268e8cmp r10, [r14+40]
001268ecjb 0x126d41
001268f2
001268f2loc_1268f2:
001268f2sub rsp, 96
001268f6mov [rsp+72], rax
001268fbmov [rsp+56], rbx
00126900mov [rsp+88], rdi
00126905mov [rsp+80], rsi
0012690amov [rsp+64], rdx
0012690fmov eax, 1
00126914call camlLocation.get_pos_414
00126919mov [rsp], rax
0012691dlea r11, [rip+900]
00126924push r11
00126926push [r14+48]
0012692amov [r14+48], rsp
0012692elea rax, [rip+0x20373b]
00126935mov rax, [rax+80]
00126939mov rax, [rax]
0012693ccmp rax, 3
00126940jle 0x126973
00126942mov rax, [rsp+104]
00126947mov [rsp+24], rax
0012694clea rbx, [rip+0x1771e5]
00126953lea rax, [rip+0x206cbe]
0012695amov rax, [rax+312]
00126961call Stdlib.Printf.fprintf
00126966mov rbx, rax
00126969mov rdi, [rbx]
0012696cmov rax, [rsp+24]
00126971call rdi
00126973
00126973loc_126973:
00126973lea rbx, [rip+0x1f0026]
0012697amov rax, [rbx+728]
00126981mov rax, [rax]
00126984mov rbx, [rbx+224]
0012698bmov rbx, [rbx]
0012698ecmp rbx, 1
00126992je 0x1269f0
00126994sub r15, 56
00126998cmp r15, [r14]
0012699bjb 0x126d37
001269a1
001269a1loc_1269a1:
001269a1lea rbx, [r15+8]
001269a5mov [rsp+32], rbx
001269aamov [rbx-8], 6391
001269b2lea rdi, [rip+919]
001269b9mov [rbx], rdi
001269bcmov rdi, 0x100000000000005
001269c6mov [rbx+8], rdi
001269camov rdi, [rsp+80]
001269cfmov rdi, [rdi+40]
001269d3mov [rbx+16], rdi
001269d7mov rdi, [rsp+88]
001269dcmov [rbx+24], rdi
001269e0mov rdi, [rsp+96]
001269e5mov [rbx+32], rdi
001269e9mov [rbx+40], rax
001269edjmp 0x126a49
001269efnop
001269f0
001269f0loc_1269f0:
001269f0sub r15, 56
001269f4cmp r15, [r14]
001269f7jb 0x126d2d
001269fd
001269fdloc_1269fd:
001269fdlea rbx, [r15+8]
00126a01mov [rbx-8], 6391
00126a09lea rdi, [rip+1360]
00126a10mov [rbx], rdi
00126a13mov rdi, 0x100000000000005
00126a1dmov [rbx+8], rdi
00126a21mov rdi, [rsp+80]
00126a26mov rdi, [rdi+40]
00126a2amov [rbx+16], rdi
00126a2emov rdi, [rsp+88]
00126a33mov [rbx+24], rdi
00126a37mov rdi, [rsp+96]
00126a3cmov [rbx+32], rdi
00126a40mov [rbx+40], rax
00126a44mov [rsp+32], rbx
00126a49
00126a49loc_126a49:
00126a49mov rax, [rsp+104]
00126a4ecall camlLatexmacros.find_941
00126a53mov [rsp+24], rax
00126a58mov rax, [rax+8]
00126a5cmov [rsp+40], rax
00126a61lea rbx, [rip+0x1eff38]
00126a68mov rdi, [rbx+144]
00126a6fmov rdi, [rdi]
00126a72cmp rdi, 1
00126a76je 0x126a90
00126a78mov rax, [rsp+104]
00126a7dcall camlLatexmacros.invisible_982
00126a82cmp rax, 1
00126a86jne 0x126b14
00126a8cjmp 0x126acf
00126a8enop
00126a90
00126a90loc_126a90:
00126a90mov rbx, [rbx+168]
00126a97mov rbx, [rbx]
00126a9acmp rbx, 3
00126a9eje 0x126acf
00126aa0movzx rax, [rax-8]
00126aa5cmp rax, 2
00126aa9jl 0x126ab4
00126aabmov eax, 1
00126ab0jmp 0x126ab9
00126ab2nop
00126ab4
00126ab4loc_126ab4:
00126ab4mov eax, 3
00126ab9
00126ab9loc_126ab9:
00126ab9cmp rax, 1
00126abdje 0x126acf
00126abfmov rax, [rsp+104]
00126ac4call camlLatexscan.last_letter_722
00126ac9cmp rax, 1
00126acdjne 0x126b14
00126acf
00126acfloc_126acf:
00126acflea rax, [rip+0x20359a]
00126ad6mov rax, [rax+80]
00126adamov rax, [rax]
00126addcmp rax, 5
00126ae1jle 0x126b08
00126ae3lea rbx, [rip+0x177216]
00126aeamov rax, [rsp+104]
00126aefcall camlStdlib.$5e_139
00126af4mov rbx, rax
00126af7lea rax, [rip+0x176f4a]
00126afecall camlStdlib.$5e_139
00126b03call camlStdlib.prerr_endline_390
00126b08
00126b08loc_126b08:
00126b08mov eax, 1
00126b0dmov [rsp+48], rax
00126b12jmp 0x126b61
00126b14
00126b14loc_126b14:
00126b14lea rax, [rip+0x203555]
00126b1bmov rax, [rax+80]
00126b1fmov rax, [rax]
00126b22cmp rax, 5
00126b26jle 0x126b4d
00126b28lea rbx, [rip+0x1771d1]
00126b2fmov rax, [rsp+104]
00126b34call camlStdlib.$5e_139
00126b39mov rbx, rax
00126b3clea rax, [rip+0x176f25]
00126b43call camlStdlib.$5e_139
00126b48call camlStdlib.prerr_endline_390
00126b4d
00126b4dloc_126b4d:
00126b4dmov rbx, [rsp+72]
00126b52mov rdi, [rbx]
00126b55mov rax, [rsp+96]
00126b5acall rdi
00126b5cmov [rsp+48], rax
00126b61
00126b61loc_126b61:
00126b61mov rax, [rsp+24]
00126b66mov rbx, [rax]
00126b69mov rax, [rsp+104]
00126b6emov rdi, [rsp+96]
00126b73call camlLexstate.make_stack_1175
00126b78mov [rsp+24], rax
00126b7dlea rax, [rip+0x2034ec]
00126b84mov rax, [rax+80]
00126b88mov rax, [rax]
00126b8bcmp rax, 3
00126b8fjle 0x126be5
00126b91mov rax, [rsp+80]
00126b96mov rax, [rax+32]
00126b9amov rax, [rax]
00126b9dmov [rsp+64], rax
00126ba2mov rax, [rsp+104]
00126ba7mov [rsp+56], rax
00126baclea rbx, [rip+0x176d8d]
00126bb3lea rax, [rip+0x206a5e]
00126bbamov rax, [rax+312]
00126bc1call Stdlib.Printf.fprintf
00126bc6mov rdi, rax
00126bc9mov rax, [rsp+56]
00126bcemov rbx, [rsp+64]
00126bd3call caml_apply2
00126bd8mov rax, [rsp+80]
00126bddmov rax, [rax+32]
00126be1add [rax], 2
00126be5
00126be5loc_126be5:
00126be5mov rax, [rsp+32]
00126beamov rbx, [rsp+40]
00126befmov rdi, [rsp+24]
00126bf4call camlLexstate.scan_body_856
00126bf9lea rax, [rip+0x203470]
00126c00mov rax, [rax+80]
00126c04mov rax, [rax]
00126c07cmp rax, 3
00126c0bjle 0x126c66
00126c0dlea rax, [rip+0x1efd8c]
00126c14mov rax, [rax+136]
00126c1bmov rax, [rax]
00126c1emov [rsp+32], rax
00126c23mov rax, [rsp+104]
00126c28mov [rsp+24], rax
00126c2dlea rbx, [rip+0x176bec]
00126c34lea rax, [rip+0x2069dd]
00126c3bmov rax, [rax+312]
00126c42call Stdlib.Printf.fprintf
00126c47mov rdi, rax
00126c4amov rax, [rsp+24]
00126c4fmov rbx, [rsp+32]
00126c54call caml_apply2
00126c59mov rax, [rsp+80]
00126c5emov rax, [rax+32]
00126c62add [rax], -2
00126c66
00126c66loc_126c66:
00126c66mov rax, [rsp+48]
00126c6bcmp rax, 1
00126c6fje 0x126c94
00126c71lea rdi, [rip+0x176b98]
00126c78mov rax, [rsp+88]
00126c7dmov rbx, [rsp+72]
00126c82mov rsi, [rsp+96]
00126c87mov rdx, [rsp+80]
00126c8ccall camlLatexscan.do_expand_command_1473
00126c91jmp 0x126c99
00126c93nop
00126c94
00126c94loc_126c94:
00126c94mov eax, 1
00126c99
00126c99loc_126c99:
00126c99pop [r14+48]
00126c9dadd rsp, 8
00126ca1jmp 0x126d28
00126ca6nop
00126ca8lea rbx, [rip+0x2033c1]
00126cafmov rdi, [rbx+56]
00126cb3cmp rax, rdi
00126cb6je 0x126d18
00126cb8mov rbx, [rbx+48]
00126cbccmp rax, rbx
00126cbfje 0x126d18
00126cc1mov [rsp+8], rax
00126cc6mov eax, 1
00126ccbmov rbx, [rsp]
00126ccfcall camlLocation.do_print_pos_423
00126cd4mov rax, [rsp+88]
00126cd9mov [rsp], rax
00126cddlea rbx, [rip+0x176a6c]
00126ce4lea rax, [rip+0x20692d]
00126cebmov rax, [rax+312]
00126cf2call Stdlib.Printf.fprintf
00126cf7mov rbx, rax
00126cfamov rdi, [rbx]
00126cfdmov rax, [rsp]
00126d01call rdi
00126d03mov rax, [rsp+8]
00126d08mov rsp, [r14+48]
00126d0cpop [r14+48]
00126d10pop r11
00126d12jmp r11
00126d15nop [rax]
00126d18
00126d18loc_126d18:
00126d18mov rsp, [r14+48]
00126d1cpop [r14+48]
00126d20pop r11
00126d22jmp r11
00126d25nop [rax]
00126d28
00126d28loc_126d28:
00126d28add rsp, 96
00126d2cret
00126d2d
00126d2dloc_126d2d:
00126d2dcall caml_call_gc
00126d32jmp 0x1269fd
00126d37
00126d37loc_126d37:
00126d37call caml_call_gc
00126d3cjmp 0x1269a1
00126d41
00126d41loc_126d41:
00126d41push 47
00126d43call caml_call_realloc_stack
00126d48pop r10
00126d4ajmp 0x1268f2
001268e0
00126d4f
00126d4f // align 0x10
00126d4f // align 0x10
00126d50
00126d50camlLatexscan.fun_3733:
00126d50lea r10, [rsp-352]
00126d58cmp r10, [r14+40]
00126d5cjb 0x126f4a
00126d62
00126d62loc_126d62:
00126d62sub rsp, 32
00126d66mov rdi, rax
00126d69mov rsi, rbx
00126d6cmov [rsp+8], rsi
00126d71cmp r15, [r14]
00126d74jbe 0x126f40
00126d7a
00126d7aloc_126d7a:
00126d7amovzx rax, [rdi-8]
00126d7fcmp rax, 1
00126d83je 0x126f0c
00126d89ja 0x126f1c
00126d8fmov rax, [rdi]
00126d92mov [rsp], rax
00126d96lea rbx, [rip+0x2032d3]
00126d9dmov rbx, [rbx+80]
00126da1mov rbx, [rbx]
00126da4cmp rbx, 5
00126da8jle 0x126dea
00126daamov [rsp+24], rax
00126daflea rax, [rip+0x1efbea]
00126db6mov rax, [rax]
00126db9mov [rsp+16], rax
00126dbelea rbx, [rip+0x176cc3]
00126dc5lea rax, [rip+0x20684c]
00126dccmov rax, [rax+312]
00126dd3call Stdlib.Printf.fprintf
00126dd8mov rdi, rax
00126ddbmov rax, [rsp+16]
00126de0mov rbx, [rsp+24]
00126de5call caml_apply2
00126dea
00126dealoc_126dea:
00126dealea rax, [rip+0x1efbaf]
00126df1mov rbx, [rax+168]
00126df8mov r12, [rbx]
00126dfbmov [rsp+16], r12
00126e00mov rdi, [rax+456]
00126e07sub r15, 24
00126e0bcmp r15, [r14]
00126e0ejb 0x126f36
00126e14
00126e14loc_126e14:
00126e14lea rsi, [r15+8]
00126e18mov [rsi-8], 2048
00126e20mov [rsi], r12
00126e23mov rax, [rdi]
00126e26mov [rsi+8], rax
00126e2amov rbx, rsp
00126e2dmov rsp, [r14+64]
00126e31call caml_modify
00126e36mov rsp, rbx
00126e39cmp r12, 1
00126e3dje 0x126e48
00126e3fmov eax, 5
00126e44jmp 0x126e4d
00126e46nop
00126e48
00126e48loc_126e48:
00126e48mov eax, 1
00126e4d
00126e4dloc_126e4d:
00126e4dlea rbx, [rip+0x1efb4c]
00126e54mov rdi, [rbx+168]
00126e5bmov [rdi], rax
00126e5esub r15, 24
00126e62cmp r15, [r14]
00126e65jb 0x126f2c
00126e6b
00126e6bloc_126e6b:
00126e6blea rsi, [r15+8]
00126e6fmov [rsi-8], 2048
00126e77mov rax, [rsp]
00126e7bmov [rsi], rax
00126e7emov rax, [rbx+728]
00126e85mov rax, [rax]
00126e88mov [rsi+8], rax
00126e8cmov rax, [rsp+8]
00126e91mov rdi, [rax+40]
00126e95mov rbx, [rax+32]
00126e99mov rax, [rax+24]
00126e9dcall camlLexstate.scan_this_list_may_cont_1225
00126ea2lea rax, [rip+0x1efaf7]
00126ea9mov rax, [rax+456]
00126eb0call camlMyStack.pop_292
00126eb5lea rax, [rip+0x1efae4]
00126ebcmov rax, [rax+168]
00126ec3mov rax, [rax]
00126ec6mov rbx, [rsp+16]
00126ecbcmp rbx, 1
00126ecfje 0x126ee0
00126ed1cmp rax, 1
00126ed5jne 0x126ef0
00126ed7mov ebx, 1
00126edcjmp 0x126ef0
00126edenop
00126ee0
00126ee0loc_126ee0:
00126ee0cmp rax, 3
00126ee4jne 0x126ef0
00126ee6mov ebx, 3
00126eebjmp 0x126ef0
00126eednop [rax]
00126ef0
00126ef0loc_126ef0:
00126ef0lea rax, [rip+0x1efaa9]
00126ef7mov rax, [rax+168]
00126efemov [rax], rbx
00126f01mov eax, 1
00126f06add rsp, 32
00126f0aret
00126f0bnop
00126f0c
00126f0cloc_126f0c:
00126f0cmov rbx, [rdi]
00126f0fmov rax, [rsi+24]
00126f13add rsp, 32
00126f17jmp 0x126880
00126f1c
00126f1cloc_126f1c:
00126f1cmov rbx, [rdi]
00126f1fmov rax, [rsi+32]
00126f23mov rdi, [rbx]
00126f26add rsp, 32
00126f2ajmp rdi
00126f2c
00126f2cloc_126f2c:
00126f2ccall caml_call_gc
00126f31jmp 0x126e6b
00126f36
00126f36loc_126f36:
00126f36call caml_call_gc
00126f3bjmp 0x126e14
00126f40
00126f40loc_126f40:
00126f40call caml_call_gc
00126f45jmp 0x126d7a
00126f4a
00126f4aloc_126f4a:
00126f4apush 37
00126f4ccall caml_call_realloc_stack
00126f51pop r10
00126f53jmp 0x126d62
00126d50
00126d50camlLatexscan.fun_3733:
00126d50lea r10, [rsp-352]
00126d58cmp r10, [r14+40]
00126d5cjb 0x126f4a
00126d62
00126d62loc_126d62:
00126d62sub rsp, 32
00126d66mov rdi, rax
00126d69mov rsi, rbx
00126d6cmov [rsp+8], rsi
00126d71cmp r15, [r14]
00126d74jbe 0x126f40
00126d7a
00126d7aloc_126d7a:
00126d7amovzx rax, [rdi-8]
00126d7fcmp rax, 1
00126d83je 0x126f0c
00126d89ja 0x126f1c
00126d8fmov rax, [rdi]
00126d92mov [rsp], rax
00126d96lea rbx, [rip+0x2032d3]
00126d9dmov rbx, [rbx+80]
00126da1mov rbx, [rbx]
00126da4cmp rbx, 5
00126da8jle 0x126dea
00126daamov [rsp+24], rax
00126daflea rax, [rip+0x1efbea]
00126db6mov rax, [rax]
00126db9mov [rsp+16], rax
00126dbelea rbx, [rip+0x176cc3]
00126dc5lea rax, [rip+0x20684c]
00126dccmov rax, [rax+312]
00126dd3call Stdlib.Printf.fprintf
00126dd8mov rdi, rax
00126ddbmov rax, [rsp+16]
00126de0mov rbx, [rsp+24]
00126de5call caml_apply2
00126dea
00126dealoc_126dea:
00126dealea rax, [rip+0x1efbaf]
00126df1mov rbx, [rax+168]
00126df8mov r12, [rbx]
00126dfbmov [rsp+16], r12
00126e00mov rdi, [rax+456]
00126e07sub r15, 24
00126e0bcmp r15, [r14]
00126e0ejb 0x126f36
00126e14
00126e14loc_126e14:
00126e14lea rsi, [r15+8]
00126e18mov [rsi-8], 2048
00126e20mov [rsi], r12
00126e23mov rax, [rdi]
00126e26mov [rsi+8], rax
00126e2amov rbx, rsp
00126e2dmov rsp, [r14+64]
00126e31call caml_modify
00126e36mov rsp, rbx
00126e39cmp r12, 1
00126e3dje 0x126e48
00126e3fmov eax, 5
00126e44jmp 0x126e4d
00126e46nop
00126e48
00126e48loc_126e48:
00126e48mov eax, 1
00126e4d
00126e4dloc_126e4d:
00126e4dlea rbx, [rip+0x1efb4c]
00126e54mov rdi, [rbx+168]
00126e5bmov [rdi], rax
00126e5esub r15, 24
00126e62cmp r15, [r14]
00126e65jb 0x126f2c
00126e6b
00126e6bloc_126e6b:
00126e6blea rsi, [r15+8]
00126e6fmov [rsi-8], 2048
00126e77mov rax, [rsp]
00126e7bmov [rsi], rax
00126e7emov rax, [rbx+728]
00126e85mov rax, [rax]
00126e88mov [rsi+8], rax
00126e8cmov rax, [rsp+8]
00126e91mov rdi, [rax+40]
00126e95mov rbx, [rax+32]
00126e99mov rax, [rax+24]
00126e9dcall camlLexstate.scan_this_list_may_cont_1225
00126ea2lea rax, [rip+0x1efaf7]
00126ea9mov rax, [rax+456]
00126eb0call camlMyStack.pop_292
00126eb5lea rax, [rip+0x1efae4]
00126ebcmov rax, [rax+168]
00126ec3mov rax, [rax]
00126ec6mov rbx, [rsp+16]
00126ecbcmp rbx, 1
00126ecfje 0x126ee0
00126ed1cmp rax, 1
00126ed5jne 0x126ef0
00126ed7mov ebx, 1
00126edcjmp 0x126ef0
00126edenop
00126ee0
00126ee0loc_126ee0:
00126ee0cmp rax, 3
00126ee4jne 0x126ef0
00126ee6mov ebx, 3
00126eebjmp 0x126ef0
00126eednop [rax]
00126ef0
00126ef0loc_126ef0:
00126ef0lea rax, [rip+0x1efaa9]
00126ef7mov rax, [rax+168]
00126efemov [rax], rbx
00126f01mov eax, 1
00126f06add rsp, 32
00126f0aret
00126f0bnop
00126f0c
00126f0cloc_126f0c:
00126f0cmov rbx, [rdi]
00126f0fmov rax, [rsi+24]
00126f13add rsp, 32
00126f17jmp 0x126880
00126f1c
00126f1cloc_126f1c:
00126f1cmov rbx, [rdi]
00126f1fmov rax, [rsi+32]
00126f23mov rdi, [rbx]
00126f26add rsp, 32
00126f2ajmp rdi
00126f2c
00126f2cloc_126f2c:
00126f2ccall caml_call_gc
00126f31jmp 0x126e6b
00126f36
00126f36loc_126f36:
00126f36call caml_call_gc
00126f3bjmp 0x126e14
00126f40
00126f40loc_126f40:
00126f40call caml_call_gc
00126f45jmp 0x126d7a
00126f4a
00126f4aloc_126f4a:
00126f4apush 37
00126f4ccall caml_call_realloc_stack
00126f51pop r10
00126f53jmp 0x126d62
00126d50
00126f58
00126f58 // align 0x10
00126f58 // align 0x10
00126f60
00126f60camlLatexscan.fun_3744:
00126f60lea r10, [rsp-352]
00126f68cmp r10, [r14+40]
00126f6cjb 0x127079
00126f72
00126f72loc_126f72:
00126f72sub rsp, 32
00126f76mov rdi, rax
00126f79mov rsi, rbx
00126f7cmov [rsp+8], rsi
00126f81cmp r15, [r14]
00126f84jbe 0x12706f
00126f8a
00126f8aloc_126f8a:
00126f8amovzx rax, [rdi-8]
00126f8fcmp rax, 1
00126f93je 0x127048
00126f99ja 0x127058
00126f9fmov rax, [rdi]
00126fa2mov [rsp], rax
00126fa6lea rbx, [rip+0x2030c3]
00126fadmov rbx, [rbx+80]
00126fb1mov rbx, [rbx]
00126fb4cmp rbx, 5
00126fb8jle 0x126ffa
00126fbamov [rsp+24], rax
00126fbflea rax, [rip+0x1ef9da]
00126fc6mov rax, [rax]
00126fc9mov [rsp+16], rax
00126fcelea rbx, [rip+0x176ab3]
00126fd5lea rax, [rip+0x20663c]
00126fdcmov rax, [rax+312]
00126fe3call Stdlib.Printf.fprintf
00126fe8mov rdi, rax
00126febmov rax, [rsp+16]
00126ff0mov rbx, [rsp+24]
00126ff5call caml_apply2
00126ffa
00126ffaloc_126ffa:
00126ffasub r15, 24
00126ffecmp r15, [r14]
00127001jb 0x127068
00127003
00127003loc_127003:
00127003lea rsi, [r15+8]
00127007mov [rsi-8], 2048
0012700fmov rax, [rsp]
00127013mov [rsi], rax
00127016lea rax, [rip+0x1ef983]
0012701dmov rax, [rax+728]
00127024mov rax, [rax]
00127027mov [rsi+8], rax
0012702bmov rax, [rsp+8]
00127030mov rdi, [rax+40]
00127034mov rbx, [rax+32]
00127038mov rax, [rax+24]
0012703cadd rsp, 32
00127040jmp 0x17f6f0
00127045nop [rax]
00127048
00127048loc_127048:
00127048mov rbx, [rdi]
0012704bmov rax, [rsi+24]
0012704fadd rsp, 32
00127053jmp 0x126880
00127058
00127058loc_127058:
00127058mov rbx, [rdi]
0012705bmov rax, [rsi+32]
0012705fmov rdi, [rbx]
00127062add rsp, 32
00127066jmp rdi
00127068
00127068loc_127068:
00127068call caml_call_gc
0012706djmp 0x127003
0012706f
0012706floc_12706f:
0012706fcall caml_call_gc
00127074jmp 0x126f8a
00127079
00127079loc_127079:
00127079push 37
0012707bcall caml_call_realloc_stack
00127080pop r10
00127082jmp 0x126f72
00126f60
00126f60camlLatexscan.fun_3744:
00126f60lea r10, [rsp-352]
00126f68cmp r10, [r14+40]
00126f6cjb 0x127079
00126f72
00126f72loc_126f72:
00126f72sub rsp, 32
00126f76mov rdi, rax
00126f79mov rsi, rbx
00126f7cmov [rsp+8], rsi
00126f81cmp r15, [r14]
00126f84jbe 0x12706f
00126f8a
00126f8aloc_126f8a:
00126f8amovzx rax, [rdi-8]
00126f8fcmp rax, 1
00126f93je 0x127048
00126f99ja 0x127058
00126f9fmov rax, [rdi]
00126fa2mov [rsp], rax
00126fa6lea rbx, [rip+0x2030c3]
00126fadmov rbx, [rbx+80]
00126fb1mov rbx, [rbx]
00126fb4cmp rbx, 5
00126fb8jle 0x126ffa
00126fbamov [rsp+24], rax
00126fbflea rax, [rip+0x1ef9da]
00126fc6mov rax, [rax]
00126fc9mov [rsp+16], rax
00126fcelea rbx, [rip+0x176ab3]
00126fd5lea rax, [rip+0x20663c]
00126fdcmov rax, [rax+312]
00126fe3call Stdlib.Printf.fprintf
00126fe8mov rdi, rax
00126febmov rax, [rsp+16]
00126ff0mov rbx, [rsp+24]
00126ff5call caml_apply2
00126ffa
00126ffaloc_126ffa:
00126ffasub r15, 24
00126ffecmp r15, [r14]
00127001jb 0x127068
00127003
00127003loc_127003:
00127003lea rsi, [r15+8]
00127007mov [rsi-8], 2048
0012700fmov rax, [rsp]
00127013mov [rsi], rax
00127016lea rax, [rip+0x1ef983]
0012701dmov rax, [rax+728]
00127024mov rax, [rax]
00127027mov [rsi+8], rax
0012702bmov rax, [rsp+8]
00127030mov rdi, [rax+40]
00127034mov rbx, [rax+32]
00127038mov rax, [rax+24]
0012703cadd rsp, 32
00127040jmp 0x17f6f0
00127045nop [rax]
00127048
00127048loc_127048:
00127048mov rbx, [rdi]
0012704bmov rax, [rsi+24]
0012704fadd rsp, 32
00127053jmp 0x126880
00127058
00127058loc_127058:
00127058mov rbx, [rdi]
0012705bmov rax, [rsi+32]
0012705fmov rdi, [rbx]
00127062add rsp, 32
00127066jmp rdi
00127068
00127068loc_127068:
00127068call caml_call_gc
0012706djmp 0x127003
0012706f
0012706floc_12706f:
0012706fcall caml_call_gc
00127074jmp 0x126f8a
00127079
00127079loc_127079:
00127079push 37
0012707bcall caml_call_realloc_stack
00127080pop r10
00127082jmp 0x126f72
00126f60
00127087
00127087 // align 0x10
00127087 // align 0x10
00127090
00127090camlLatexscan.count_newlines_1496:
00127090mov rbx, [rax-8]
00127094shr rbx, 10
00127098lea rbx, [8*rbx-1]
001270a0movzx rdi, [rax+rbx]
001270a5sub rbx, rdi
001270a8lea rdi, [rbx+rbx+1]
001270adsub r15, 40
001270b1cmp r15, [r14]
001270b4jb 0x1270ec
001270b6
001270b6loc_1270b6:
001270b6lea rbx, [r15+8]
001270bamov [rbx-8], 4343
001270c2lea rsi, [rip+55]
001270c9mov [rbx], rsi
001270ccmov rsi, 0x100000000000005
001270d6mov [rbx+8], rsi
001270damov [rbx+16], rax
001270demov [rbx+24], rdi
001270e2mov eax, 1
001270e7jmp 0x127100
001270ec
001270ecloc_1270ec:
001270eccall caml_call_gc
001270f1jmp 0x1270b6
00127090
00127090camlLatexscan.count_newlines_1496:
00127090mov rbx, [rax-8]
00127094shr rbx, 10
00127098lea rbx, [8*rbx-1]
001270a0movzx rdi, [rax+rbx]
001270a5sub rbx, rdi
001270a8lea rdi, [rbx+rbx+1]
001270adsub r15, 40
001270b1cmp r15, [r14]
001270b4jb 0x1270ec
001270b6
001270b6loc_1270b6:
001270b6lea rbx, [r15+8]
001270bamov [rbx-8], 4343
001270c2lea rsi, [rip+55]
001270c9mov [rbx], rsi
001270ccmov rsi, 0x100000000000005
001270d6mov [rbx+8], rsi
001270damov [rbx+16], rax
001270demov [rbx+24], rdi
001270e2mov eax, 1
001270e7jmp 0x127100
001270ec
001270ecloc_1270ec:
001270eccall caml_call_gc
001270f1jmp 0x1270b6
00127090
001270f3
001270f3 // align 0x10
001270f3 // align 0x10
00127100
00127100camlLatexscan.c_rec_1500:
00127100lea r10, [rsp-320]
00127108cmp r10, [r14+40]
0012710cjb 0x12717e
0012710e
0012710eloc_12710e:
0012710ecmp r15, [r14]
00127111jbe 0x127172
00127113
00127113loc_127113:
00127113mov rdi, [rbx+24]
00127117cmp rax, rdi
0012711ajl 0x127124
0012711cmov eax, 1
00127121ret
00127122
00127122 66 90 f.
00127124
00127124loc_127124:
00127124mov rdi, rax
00127127sar rdi, 1
0012712amov rsi, [rbx+16]
0012712emov rdx, [rsi-8]
00127132shr rdx, 10
00127136lea rdx, [8*rdx-1]
0012713emovzx rcx, [rsi+rdx]
00127143sub rdx, rcx
00127146cmp rdx, rdi
00127149jbe 0x127179
0012714bmovzx rdi, [rsi+rdi]
00127150lea rdi, [rdi+rdi+1]
00127155cmp rdi, 21
00127159je 0x127164
0012715badd rax, 2
0012715fjmp 0x12710e
00127161
00127161 0f 1f 00 ...
00127164
00127164loc_127164:
00127164add rax, 2
00127168call camlLatexscan.c_rec_1500
0012716dadd rax, 2
00127171ret
00127172
00127172loc_127172:
00127172call caml_call_gc
00127177jmp 0x127113
00127179
00127179loc_127179:
00127179call caml_ml_array_bound_error
0012717e
0012717eloc_12717e:
0012717epush 33
00127180call caml_call_realloc_stack
00127185pop r10
00127187jmp 0x12710e
00127100
00127100camlLatexscan.c_rec_1500:
00127100lea r10, [rsp-320]
00127108cmp r10, [r14+40]
0012710cjb 0x12717e
0012710e
0012710eloc_12710e:
0012710ecmp r15, [r14]
00127111jbe 0x127172
00127113
00127113loc_127113:
00127113mov rdi, [rbx+24]
00127117cmp rax, rdi
0012711ajl 0x127124
0012711cmov eax, 1
00127121ret
00127122
00127122 66 90 f.
00127124
00127124loc_127124:
00127124mov rdi, rax
00127127sar rdi, 1
0012712amov rsi, [rbx+16]
0012712emov rdx, [rsi-8]
00127132shr rdx, 10
00127136lea rdx, [8*rdx-1]
0012713emovzx rcx, [rsi+rdx]
00127143sub rdx, rcx
00127146cmp rdx, rdi
00127149jbe 0x127179
0012714bmovzx rdi, [rsi+rdi]
00127150lea rdi, [rdi+rdi+1]
00127155cmp rdi, 21
00127159je 0x127164
0012715badd rax, 2
0012715fjmp 0x12710e
00127161
00127161 0f 1f 00 ...
00127164
00127164loc_127164:
00127164add rax, 2
00127168call camlLatexscan.c_rec_1500
0012716dadd rax, 2
00127171ret
00127172
00127172loc_127172:
00127172call caml_call_gc
00127177jmp 0x127113
00127179
00127179loc_127179:
00127179call caml_ml_array_bound_error
0012717e
0012717eloc_12717e:
0012717epush 33
00127180call caml_call_realloc_stack
00127185pop r10
00127187jmp 0x12710e
00127100
00127189
00127189 // align 0x10
00127189 // align 0x10
00127190
00127190camlLatexscan.check_case_1502:
00127190lea r10, [rsp-320]
00127198cmp r10, [r14+40]
0012719cjb 0x1271e8
0012719e
0012719eloc_12719e:
0012719emov rbx, rax
001271a1lea rax, [rip+0x1ef7f8]
001271a8mov rax, [rax+280]
001271afmov rax, [rax]
001271b2sar rax, 1
001271b5cmp rax, 1
001271b9je 0x1271d0
001271bbja 0x1271e4
001271bdlea rax, [rip+0x20cdbc]
001271c4mov rax, [rax+24]
001271c8call Stdlib.Bytes.map
001271cdret
001271ce
001271ce 66 90 f.
001271d0
001271d0loc_1271d0:
001271d0lea rax, [rip+0x20cda9]
001271d7mov rax, [rax+16]
001271dbcall Stdlib.Bytes.map
001271e0ret
001271e1
001271e1 0f 1f 00 ...
001271e4
001271e4loc_1271e4:
001271e4mov rax, rbx
001271e7ret
001271e8
001271e8loc_1271e8:
001271e8push 33
001271eacall caml_call_realloc_stack
001271efpop r10
001271f1jmp 0x12719e
00127190
00127190camlLatexscan.check_case_1502:
00127190lea r10, [rsp-320]
00127198cmp r10, [r14+40]
0012719cjb 0x1271e8
0012719e
0012719eloc_12719e:
0012719emov rbx, rax
001271a1lea rax, [rip+0x1ef7f8]
001271a8mov rax, [rax+280]
001271afmov rax, [rax]
001271b2sar rax, 1
001271b5cmp rax, 1
001271b9je 0x1271d0
001271bbja 0x1271e4
001271bdlea rax, [rip+0x20cdbc]
001271c4mov rax, [rax+24]
001271c8call Stdlib.Bytes.map
001271cdret
001271ce
001271ce 66 90 f.
001271d0
001271d0loc_1271d0:
001271d0lea rax, [rip+0x20cda9]
001271d7mov rax, [rax+16]
001271dbcall Stdlib.Bytes.map
001271e0ret
001271e1
001271e1 0f 1f 00 ...
001271e4
001271e4loc_1271e4:
001271e4mov rax, rbx
001271e7ret
001271e8
001271e8loc_1271e8:
001271e8push 33
001271eacall caml_call_realloc_stack
001271efpop r10
001271f1jmp 0x12719e
00127190
001271f3
001271f3 // align 0x10
001271f3 // align 0x10
00127200
00127200camlLatexscan.check_case_char_1503:
00127200mov rbx, rax
00127203lea rax, [rip+0x1ef796]
0012720amov rax, [rax+280]
00127211mov rax, [rax]
00127214sar rax, 1
00127217cmp rax, 1
0012721bje 0x12723c
0012721dja 0x127258
0012721fmov rax, rbx
00127222add rax, -194
00127228cmp rax, 51
0012722cjbe 0x127234
0012722emov rax, rbx
00127231ret
00127232
00127232 66 90 f.
00127234
00127234loc_127234:
00127234mov rax, rbx
00127237add rax, -64
0012723bret
0012723c
0012723cloc_12723c:
0012723cmov rax, rbx
0012723fadd rax, -130
00127245cmp rax, 51
00127249jbe 0x127250
0012724bmov rax, rbx
0012724eret
0012724f
0012724f 90 .
00127250
00127250loc_127250:
00127250mov rax, rbx
00127253add rax, 64
00127257ret
00127258
00127258loc_127258:
00127258mov rax, rbx
0012725bret
00127200
00127200camlLatexscan.check_case_char_1503:
00127200mov rbx, rax
00127203lea rax, [rip+0x1ef796]
0012720amov rax, [rax+280]
00127211mov rax, [rax]
00127214sar rax, 1
00127217cmp rax, 1
0012721bje 0x12723c
0012721dja 0x127258
0012721fmov rax, rbx
00127222add rax, -194
00127228cmp rax, 51
0012722cjbe 0x127234
0012722emov rax, rbx
00127231ret
00127232
00127232 66 90 f.
00127234
00127234loc_127234:
00127234mov rax, rbx
00127237add rax, -64
0012723bret
0012723c
0012723cloc_12723c:
0012723cmov rax, rbx
0012723fadd rax, -130
00127245cmp rax, 51
00127249jbe 0x127250
0012724bmov rax, rbx
0012724eret
0012724f
0012724f 90 .
00127250
00127250loc_127250:
00127250mov rax, rbx
00127253add rax, 64
00127257ret
00127258
00127258loc_127258:
00127258mov rax, rbx
0012725bret
00127200
0012725c
0012725c // align 0x10
0012725c // align 0x10
00127260
00127260camlLatexscan.translate_put_unicode_1519:
00127260lea r10, [rsp-368]
00127268cmp r10, [r14+40]
0012726cjb 0x12750b
00127272
00127272loc_127272:
00127272sub rsp, 32
00127276cmp r15, [r14]
00127279jbe 0x127501
0012727f
0012727floc_12727f:
0012727flea rsi, [rip+0x1ef71a]
00127286mov rsi, [rsi+128]
0012728dmov rsi, [rsi]
00127290cmp rsi, 1
00127294je 0x1272ac
00127296mov rbx, [rdi+24]
0012729amov rbx, [rbx+360]
001272a1mov rdi, [rbx]
001272a4add rsp, 32
001272a8jmp rdi
001272aanop
001272ac
001272acloc_1272ac:
001272acmov [rsp+16], rdi
001272b1mov [rsp+24], rax
001272b6lea r11, [rip+51]
001272bdpush r11
001272bfpush [r14+48]
001272c3mov [r14+48], rsp
001272c7lea rdi, [rip+0x1cca6a]
001272cemov rdi, [rdi+784]
001272d5mov rdi, [rdi]
001272d8call caml_apply2
001272ddmov [rsp+16], rax
001272e2pop [r14+48]
001272e6add rsp, 8
001272eajmp 0x127424
001272efnop
001272f0lea rbx, [rip+0x1cca41]
001272f7mov rbx, [rbx+40]
001272fbcmp rax, rbx
001272fejne 0x127414
00127304lea rax, [rip+0x17640d]
0012730bcall camlLatexmacros.exists_938
00127310cmp rax, 1
00127314je 0x1273b8
0012731amov rax, [rsp+24]
0012731fmov [rsp+8], rax
00127324lea rax, [rip+0x1763ed]
0012732bcall camlLatexmacros.find_941
00127330mov rax, [rax+8]
00127334movzx rbx, [rax-8]
00127339test rbx, rbx
0012733cjne 0x12735c
0012733emov rbx, [rax]
00127341lea rax, [rip+0x1ef658]
00127348mov rax, [rax+8]
0012734cmov rax, [rax+16]
00127350call Stdlib.String.concat
00127355mov [rsp], rax
00127359jmp 0x127398
0012735bnop
0012735c
0012735cloc_12735c:
0012735csub r15, 24
00127360cmp r15, [r14]
00127363jb 0x1274f7
00127369
00127369loc_127369:
00127369lea rax, [r15+8]
0012736dmov [rax-8], 2048
00127375lea rbx, [rip+0x14ee8c]
0012737cmov [rax], rbx
0012737flea rbx, [rip+0x17627a]
00127386mov [rax+8], rbx
0012738amov rsp, [r14+48]
0012738epop [r14+48]
00127392pop r11
00127394jmp r11
00127397nop
00127398
00127398loc_127398:
00127398lea rax, [rip+0x176299]
0012739fcall Stdlib.Printf.sprintf
001273a4mov rdi, rax
001273a7mov rax, [rsp]
001273abmov rbx, [rsp+8]
001273b0call caml_apply2
001273b5jmp 0x1273d9
001273b7nop
001273b8
001273b8loc_1273b8:
001273b8mov rax, [rsp+24]
001273bdmov [rsp], rax
001273c1lea rax, [rip+0x176148]
001273c8call Stdlib.Printf.sprintf
001273cdmov rbx, rax
001273d0mov rdi, [rbx]
001273d3mov rax, [rsp]
001273d7call rdi
001273d9
001273d9loc_1273d9:
001273d9sub r15, 24
001273ddcmp r15, [r14]
001273e0jb 0x1274ed
001273e6
001273e6loc_1273e6:
001273e6lea rbx, [r15+8]
001273eamov [rbx-8], 2048
001273f2lea rdi, [rip+0x202c77]
001273f9mov rdi, [rdi+24]
001273fdmov [rbx], rdi
00127400mov [rbx+8], rax
00127404mov rax, rbx
00127407mov rsp, [r14+48]
0012740bpop [r14+48]
0012740fpop r11
00127411jmp r11
00127414
00127414loc_127414:
00127414mov rsp, [r14+48]
00127418pop [r14+48]
0012741cpop r11
0012741ejmp r11
00127421nop [rax]
00127424
00127424loc_127424:
00127424lea r11, [rip+45]
0012742bpush r11
0012742dpush [r14+48]
00127431mov [r14+48], rsp
00127435mov rbx, [rsp+32]
0012743amov rbx, [rbx+24]
0012743emov rbx, [rbx+368]
00127445mov rdi, [rbx]
00127448call rdi
0012744apop [r14+48]
0012744eadd rsp, 8
00127452jmp 0x1274e8
00127457nop
00127458lea rbx, [rip+0x202c11]
0012745fmov rbx, [rbx+72]
00127463cmp rax, rbx
00127466jne 0x1274d8
00127468mov rax, [rsp+24]
0012746dmov [rsp+8], rax
00127472mov rax, [rsp]
00127476mov [rsp], rax
0012747alea rax, [rip+0x1ccc7f]
00127481call Stdlib.Printf.sprintf
00127486mov rbx, rax
00127489mov rdi, [rbx]
0012748cmov rax, [rsp]
00127490call rdi
00127492mov [rsp], rax
00127496lea rax, [rip+0x175fa3]
0012749dcall Stdlib.Printf.sprintf
001274a2mov rdi, rax
001274a5mov rax, [rsp]
001274a9mov rbx, [rsp+8]
001274aecall caml_apply2
001274b3call camlMisc.warning_287
001274b8mov rax, [rsp+16]
001274bdmov rax, [rax+24]
001274c1mov rbx, [rax+360]
001274c8mov rdi, [rbx]
001274cbmov rax, [rsp+24]
001274d0add rsp, 32
001274d4jmp rdi
001274d6nop
001274d8
001274d8loc_1274d8:
001274d8mov rsp, [r14+48]
001274dcpop [r14+48]
001274e0pop r11
001274e2jmp r11
001274e5nop [rax]
001274e8
001274e8loc_1274e8:
001274e8add rsp, 32
001274ecret
001274ed
001274edloc_1274ed:
001274edcall caml_call_gc
001274f2jmp 0x1273e6
001274f7
001274f7loc_1274f7:
001274f7call caml_call_gc
001274fcjmp 0x127369
00127501
00127501loc_127501:
00127501call caml_call_gc
00127506jmp 0x12727f
0012750b
0012750bloc_12750b:
0012750bpush 39
0012750dcall caml_call_realloc_stack
00127512pop r10
00127514jmp 0x127272
00127260
00127260camlLatexscan.translate_put_unicode_1519:
00127260lea r10, [rsp-368]
00127268cmp r10, [r14+40]
0012726cjb 0x12750b
00127272
00127272loc_127272:
00127272sub rsp, 32
00127276cmp r15, [r14]
00127279jbe 0x127501
0012727f
0012727floc_12727f:
0012727flea rsi, [rip+0x1ef71a]
00127286mov rsi, [rsi+128]
0012728dmov rsi, [rsi]
00127290cmp rsi, 1
00127294je 0x1272ac
00127296mov rbx, [rdi+24]
0012729amov rbx, [rbx+360]
001272a1mov rdi, [rbx]
001272a4add rsp, 32
001272a8jmp rdi
001272aanop
001272ac
001272acloc_1272ac:
001272acmov [rsp+16], rdi
001272b1mov [rsp+24], rax
001272b6lea r11, [rip+51]
001272bdpush r11
001272bfpush [r14+48]
001272c3mov [r14+48], rsp
001272c7lea rdi, [rip+0x1cca6a]
001272cemov rdi, [rdi+784]
001272d5mov rdi, [rdi]
001272d8call caml_apply2
001272ddmov [rsp+16], rax
001272e2pop [r14+48]
001272e6add rsp, 8
001272eajmp 0x127424
001272efnop
001272f0lea rbx, [rip+0x1cca41]
001272f7mov rbx, [rbx+40]
001272fbcmp rax, rbx
001272fejne 0x127414
00127304lea rax, [rip+0x17640d]
0012730bcall camlLatexmacros.exists_938
00127310cmp rax, 1
00127314je 0x1273b8
0012731amov rax, [rsp+24]
0012731fmov [rsp+8], rax
00127324lea rax, [rip+0x1763ed]
0012732bcall camlLatexmacros.find_941
00127330mov rax, [rax+8]
00127334movzx rbx, [rax-8]
00127339test rbx, rbx
0012733cjne 0x12735c
0012733emov rbx, [rax]
00127341lea rax, [rip+0x1ef658]
00127348mov rax, [rax+8]
0012734cmov rax, [rax+16]
00127350call Stdlib.String.concat
00127355mov [rsp], rax
00127359jmp 0x127398
0012735bnop
0012735c
0012735cloc_12735c:
0012735csub r15, 24
00127360cmp r15, [r14]
00127363jb 0x1274f7
00127369
00127369loc_127369:
00127369lea rax, [r15+8]
0012736dmov [rax-8], 2048
00127375lea rbx, [rip+0x14ee8c]
0012737cmov [rax], rbx
0012737flea rbx, [rip+0x17627a]
00127386mov [rax+8], rbx
0012738amov rsp, [r14+48]
0012738epop [r14+48]
00127392pop r11
00127394jmp r11
00127397nop
00127398
00127398loc_127398:
00127398lea rax, [rip+0x176299]
0012739fcall Stdlib.Printf.sprintf
001273a4mov rdi, rax
001273a7mov rax, [rsp]
001273abmov rbx, [rsp+8]
001273b0call caml_apply2
001273b5jmp 0x1273d9
001273b7nop
001273b8
001273b8loc_1273b8:
001273b8mov rax, [rsp+24]
001273bdmov [rsp], rax
001273c1lea rax, [rip+0x176148]
001273c8call Stdlib.Printf.sprintf
001273cdmov rbx, rax
001273d0mov rdi, [rbx]
001273d3mov rax, [rsp]
001273d7call rdi
001273d9
001273d9loc_1273d9:
001273d9sub r15, 24
001273ddcmp r15, [r14]
001273e0jb 0x1274ed
001273e6
001273e6loc_1273e6:
001273e6lea rbx, [r15+8]
001273eamov [rbx-8], 2048
001273f2lea rdi, [rip+0x202c77]
001273f9mov rdi, [rdi+24]
001273fdmov [rbx], rdi
00127400mov [rbx+8], rax
00127404mov rax, rbx
00127407mov rsp, [r14+48]
0012740bpop [r14+48]
0012740fpop r11
00127411jmp r11
00127414
00127414loc_127414:
00127414mov rsp, [r14+48]
00127418pop [r14+48]
0012741cpop r11
0012741ejmp r11
00127421nop [rax]
00127424
00127424loc_127424:
00127424lea r11, [rip+45]
0012742bpush r11
0012742dpush [r14+48]
00127431mov [r14+48], rsp
00127435mov rbx, [rsp+32]
0012743amov rbx, [rbx+24]
0012743emov rbx, [rbx+368]
00127445mov rdi, [rbx]
00127448call rdi
0012744apop [r14+48]
0012744eadd rsp, 8
00127452jmp 0x1274e8
00127457nop
00127458lea rbx, [rip+0x202c11]
0012745fmov rbx, [rbx+72]
00127463cmp rax, rbx
00127466jne 0x1274d8
00127468mov rax, [rsp+24]
0012746dmov [rsp+8], rax
00127472mov rax, [rsp]
00127476mov [rsp], rax
0012747alea rax, [rip+0x1ccc7f]
00127481call Stdlib.Printf.sprintf
00127486mov rbx, rax
00127489mov rdi, [rbx]
0012748cmov rax, [rsp]
00127490call rdi
00127492mov [rsp], rax
00127496lea rax, [rip+0x175fa3]
0012749dcall Stdlib.Printf.sprintf
001274a2mov rdi, rax
001274a5mov rax, [rsp]
001274a9mov rbx, [rsp+8]
001274aecall caml_apply2
001274b3call camlMisc.warning_287
001274b8mov rax, [rsp+16]
001274bdmov rax, [rax+24]
001274c1mov rbx, [rax+360]
001274c8mov rdi, [rbx]
001274cbmov rax, [rsp+24]
001274d0add rsp, 32
001274d4jmp rdi
001274d6nop
001274d8
001274d8loc_1274d8:
001274d8mov rsp, [r14+48]
001274dcpop [r14+48]
001274e0pop r11
001274e2jmp r11
001274e5nop [rax]
001274e8
001274e8loc_1274e8:
001274e8add rsp, 32
001274ecret
001274ed
001274edloc_1274ed:
001274edcall caml_call_gc
001274f2jmp 0x1273e6
001274f7
001274f7loc_1274f7:
001274f7call caml_call_gc
001274fcjmp 0x127369
00127501
00127501loc_127501:
00127501call caml_call_gc
00127506jmp 0x12727f
0012750b
0012750bloc_12750b:
0012750bpush 39
0012750dcall caml_call_realloc_stack
00127512pop r10
00127514jmp 0x127272
00127260
00127519
00127519 // align 0x10
00127519 // align 0x10
00127520
00127520camlLatexscan.translate_next_1611:
00127520lea r10, [rsp-336]
00127528cmp r10, [r14+40]
0012752cjb 0x127589
0012752e
0012752eloc_12752e:
0012752esub rsp, 16
00127532
00127532loc_127532:
00127532mov rdi, rax
00127535mov [rsp], rdi
00127539mov [rsp+8], rbx
0012753ecmp r15, [r14]
00127541jbe 0x127582
00127543
00127543loc_127543:
00127543mov eax, 1
00127548mov rsi, [rdi]
0012754bmov rbx, rdi
0012754ecall rsi
00127550cmp rax, -1
00127554je 0x127578
00127556call Stdlib.Char.chr
0012755bmov rbx, [rsp+8]
00127560mov rdi, [rbx+16]
00127564mov rbx, [rsp]
00127568call camlLatexscan.translate_put_unicode_1519
0012756dmov rax, [rsp]
00127571mov rbx, [rsp+8]
00127576jmp 0x127532
00127578
00127578loc_127578:
00127578mov eax, 1
0012757dadd rsp, 16
00127581ret
00127582
00127582loc_127582:
00127582call caml_call_gc
00127587jmp 0x127543
00127589
00127589loc_127589:
00127589push 35
0012758bcall caml_call_realloc_stack
00127590pop r10
00127592jmp 0x12752e
00127520
00127520camlLatexscan.translate_next_1611:
00127520lea r10, [rsp-336]
00127528cmp r10, [r14+40]
0012752cjb 0x127589
0012752e
0012752eloc_12752e:
0012752esub rsp, 16
00127532
00127532loc_127532:
00127532mov rdi, rax
00127535mov [rsp], rdi
00127539mov [rsp+8], rbx
0012753ecmp r15, [r14]
00127541jbe 0x127582
00127543
00127543loc_127543:
00127543mov eax, 1
00127548mov rsi, [rdi]
0012754bmov rbx, rdi
0012754ecall rsi
00127550cmp rax, -1
00127554je 0x127578
00127556call Stdlib.Char.chr
0012755bmov rbx, [rsp+8]
00127560mov rdi, [rbx+16]
00127564mov rbx, [rsp]
00127568call camlLatexscan.translate_put_unicode_1519
0012756dmov rax, [rsp]
00127571mov rbx, [rsp+8]
00127576jmp 0x127532
00127578
00127578loc_127578:
00127578mov eax, 1
0012757dadd rsp, 16
00127581ret
00127582
00127582loc_127582:
00127582call caml_call_gc
00127587jmp 0x127543
00127589
00127589loc_127589:
00127589push 35
0012758bcall caml_call_realloc_stack
00127590pop r10
00127592jmp 0x12752e
00127520
00127594
00127594 // align 0x10
00127594 // align 0x10
001275a0
001275a0camlLatexscan.translate_put_unicode_string_1614:
001275a0lea r10, [rsp-328]
001275a8cmp r10, [r14+40]
001275acjb 0x1275cc
001275ae
001275aeloc_1275ae:
001275aesub rsp, 8
001275b2mov [rsp], rbx
001275b6call camlMisc.next_of_string_736
001275bbmov rbx, [rsp]
001275bfmov rbx, [rbx+16]
001275c3add rsp, 8
001275c7jmp 0x127520
001275cc
001275ccloc_1275cc:
001275ccpush 34
001275cecall caml_call_realloc_stack
001275d3pop r10
001275d5jmp 0x1275ae
001275a0
001275a0camlLatexscan.translate_put_unicode_string_1614:
001275a0lea r10, [rsp-328]
001275a8cmp r10, [r14+40]
001275acjb 0x1275cc
001275ae
001275aeloc_1275ae:
001275aesub rsp, 8
001275b2mov [rsp], rbx
001275b6call camlMisc.next_of_string_736
001275bbmov rbx, [rsp]
001275bfmov rbx, [rbx+16]
001275c3add rsp, 8
001275c7jmp 0x127520
001275cc
001275ccloc_1275cc:
001275ccpush 34
001275cecall caml_call_realloc_stack
001275d3pop r10
001275d5jmp 0x1275ae
001275a0
001275d7
001275d7 // align 0x10
001275d7 // align 0x10
001275e0
001275e0camlLatexscan.top_open_maths_1618:
001275e0lea r10, [rsp-344]
001275e8cmp r10, [r14+40]
001275ecjb 0x1277c2
001275f2
001275f2loc_1275f2:
001275f2sub rsp, 24
001275f6mov [rsp+16], rbx
001275fbmov r12, rdi
001275femov [rsp+8], r12
00127603cmp r15, [r14]
00127606jbe 0x1277b8
0012760c
0012760cloc_12760c:
0012760clea rbx, [rip+0x1ef38d]
00127613mov rdi, [rbx+152]
0012761amov rdi, [rdi]
0012761dcmp rdi, 1
00127621je 0x127664
00127623lea rbx, [rip+0x175df6]
0012762acall camlLexstate.scan_this_1185
0012762fmov rax, [rsp+8]
00127634mov rax, [rax+32]
00127638mov rbx, [rax+352]
0012763fmov rax, [rsp+16]
00127644cmp rax, 1
00127648je 0x127654
0012764alea rax, [rip+0x175dbf]
00127651jmp 0x12765b
00127653nop
00127654
00127654loc_127654:
00127654lea rax, [rip+0x175da5]
0012765b
0012765bloc_12765b:
0012765bmov rdi, [rbx]
0012765eadd rsp, 24
00127662jmp rdi
00127664
00127664loc_127664:
00127664mov [rsp], rax
00127668mov rax, [rbx+144]
0012766fmov rax, [rax]
00127672mov rdi, [rbx+440]
00127679sub r15, 24
0012767dcmp r15, [r14]
00127680jb 0x1277ae
00127686
00127686loc_127686:
00127686lea rsi, [r15+8]
0012768amov [rsi-8], 2048
00127692mov [rsi], rax
00127695mov rax, [rdi]
00127698mov [rsi+8], rax
0012769cmov rbx, rsp
0012769fmov rsp, [r14+64]
001276a3call caml_modify
001276a8mov rsp, rbx
001276ablea rax, [rip+0x1ef2ee]
001276b2mov rbx, [rax+144]
001276b9mov [rbx], 3
001276c0mov rax, [rax+136]
001276c7mov rax, [rax]
001276cacmp rax, 1
001276ceje 0x1276e6
001276d0mov rax, [r12+32]
001276d5mov rbx, [rax+208]
001276dcmov eax, 1
001276e1mov rdi, [rbx]
001276e4call rdi
001276e6
001276e6loc_1276e6:
001276e6lea rax, [rip+0x1ef2b3]
001276edmov rbx, [rax+136]
001276f4mov rbx, [rbx]
001276f7mov rdi, [rax+448]
001276fesub r15, 24
00127702cmp r15, [r14]
00127705jb 0x1277a4
0012770b
0012770bloc_12770b:
0012770blea rsi, [r15+8]
0012770fmov [rsi-8], 2048
00127717mov [rsi], rbx
0012771amov rax, [rdi]
0012771dmov [rsi+8], rax
00127721mov rbx, rsp
00127724mov rsp, [r14+64]
00127728call caml_modify
0012772dmov rsp, rbx
00127730mov rax, [rsp+16]
00127735cmp rax, 1
00127739je 0x127768
0012773blea rbx, [rip+0x1ef25e]
00127742mov rbx, [rbx+136]
00127749mov [rbx], 3
00127750mov rbx, [rsp+8]
00127755mov rbx, [rbx+32]
00127759mov rbx, [rbx+168]
00127760mov rdi, [rbx]
00127763call rdi
00127765jmp 0x127790
00127767nop
00127768
00127768loc_127768:
00127768mov rbx, [rsp+8]
0012776dmov rbx, [rbx+32]
00127771mov rbx, [rbx+168]
00127778mov rdi, [rbx]
0012777bcall rdi
0012777dmov rax, [rsp+8]
00127782mov rbx, [rax+24]
00127786mov eax, 1
0012778bcall camlLatexscan.top_open_display_822
00127790
00127790loc_127790:
00127790lea rbx, [rip+0x175c51]
00127797mov rax, [rsp]
0012779badd rsp, 24
0012779fjmp 0x17f150
001277a4
001277a4loc_1277a4:
001277a4call caml_call_gc
001277a9jmp 0x12770b
001277ae
001277aeloc_1277ae:
001277aecall caml_call_gc
001277b3jmp 0x127686
001277b8
001277b8loc_1277b8:
001277b8call caml_call_gc
001277bdjmp 0x12760c
001277c2
001277c2loc_1277c2:
001277c2push 36
001277c4call caml_call_realloc_stack
001277c9pop r10
001277cbjmp 0x1275f2
001275e0
001275e0camlLatexscan.top_open_maths_1618:
001275e0lea r10, [rsp-344]
001275e8cmp r10, [r14+40]
001275ecjb 0x1277c2
001275f2
001275f2loc_1275f2:
001275f2sub rsp, 24
001275f6mov [rsp+16], rbx
001275fbmov r12, rdi
001275femov [rsp+8], r12
00127603cmp r15, [r14]
00127606jbe 0x1277b8
0012760c
0012760cloc_12760c:
0012760clea rbx, [rip+0x1ef38d]
00127613mov rdi, [rbx+152]
0012761amov rdi, [rdi]
0012761dcmp rdi, 1
00127621je 0x127664
00127623lea rbx, [rip+0x175df6]
0012762acall camlLexstate.scan_this_1185
0012762fmov rax, [rsp+8]
00127634mov rax, [rax+32]
00127638mov rbx, [rax+352]
0012763fmov rax, [rsp+16]
00127644cmp rax, 1
00127648je 0x127654
0012764alea rax, [rip+0x175dbf]
00127651jmp 0x12765b
00127653nop
00127654
00127654loc_127654:
00127654lea rax, [rip+0x175da5]
0012765b
0012765bloc_12765b:
0012765bmov rdi, [rbx]
0012765eadd rsp, 24
00127662jmp rdi
00127664
00127664loc_127664:
00127664mov [rsp], rax
00127668mov rax, [rbx+144]
0012766fmov rax, [rax]
00127672mov rdi, [rbx+440]
00127679sub r15, 24
0012767dcmp r15, [r14]
00127680jb 0x1277ae
00127686
00127686loc_127686:
00127686lea rsi, [r15+8]
0012768amov [rsi-8], 2048
00127692mov [rsi], rax
00127695mov rax, [rdi]
00127698mov [rsi+8], rax
0012769cmov rbx, rsp
0012769fmov rsp, [r14+64]
001276a3call caml_modify
001276a8mov rsp, rbx
001276ablea rax, [rip+0x1ef2ee]
001276b2mov rbx, [rax+144]
001276b9mov [rbx], 3
001276c0mov rax, [rax+136]
001276c7mov rax, [rax]
001276cacmp rax, 1
001276ceje 0x1276e6
001276d0mov rax, [r12+32]
001276d5mov rbx, [rax+208]
001276dcmov eax, 1
001276e1mov rdi, [rbx]
001276e4call rdi
001276e6
001276e6loc_1276e6:
001276e6lea rax, [rip+0x1ef2b3]
001276edmov rbx, [rax+136]
001276f4mov rbx, [rbx]
001276f7mov rdi, [rax+448]
001276fesub r15, 24
00127702cmp r15, [r14]
00127705jb 0x1277a4
0012770b
0012770bloc_12770b:
0012770blea rsi, [r15+8]
0012770fmov [rsi-8], 2048
00127717mov [rsi], rbx
0012771amov rax, [rdi]
0012771dmov [rsi+8], rax
00127721mov rbx, rsp
00127724mov rsp, [r14+64]
00127728call caml_modify
0012772dmov rsp, rbx
00127730mov rax, [rsp+16]
00127735cmp rax, 1
00127739je 0x127768
0012773blea rbx, [rip+0x1ef25e]
00127742mov rbx, [rbx+136]
00127749mov [rbx], 3
00127750mov rbx, [rsp+8]
00127755mov rbx, [rbx+32]
00127759mov rbx, [rbx+168]
00127760mov rdi, [rbx]
00127763call rdi
00127765jmp 0x127790
00127767nop
00127768
00127768loc_127768:
00127768mov rbx, [rsp+8]
0012776dmov rbx, [rbx+32]
00127771mov rbx, [rbx+168]
00127778mov rdi, [rbx]
0012777bcall rdi
0012777dmov rax, [rsp+8]
00127782mov rbx, [rax+24]
00127786mov eax, 1
0012778bcall camlLatexscan.top_open_display_822
00127790
00127790loc_127790:
00127790lea rbx, [rip+0x175c51]
00127797mov rax, [rsp]
0012779badd rsp, 24
0012779fjmp 0x17f150
001277a4
001277a4loc_1277a4:
001277a4call caml_call_gc
001277a9jmp 0x12770b
001277ae
001277aeloc_1277ae:
001277aecall caml_call_gc
001277b3jmp 0x127686
001277b8
001277b8loc_1277b8:
001277b8call caml_call_gc
001277bdjmp 0x12760c
001277c2
001277c2loc_1277c2:
001277c2push 36
001277c4call caml_call_realloc_stack
001277c9pop r10
001277cbjmp 0x1275f2
001275e0
001277d0
001277d0camlLatexscan.top_close_maths_1619:
001277d0lea r10, [rsp-336]
001277d8cmp r10, [r14+40]
001277dcjb 0x127920
001277e2
001277e2loc_1277e2:
001277e2sub rsp, 16
001277e6mov [rsp+8], rbx
001277ebcmp r15, [r14]
001277eejbe 0x127916
001277f4
001277f4loc_1277f4:
001277f4lea rdi, [rip+0x1ef1a5]
001277fbmov rsi, [rdi+152]
00127802mov rsi, [rsi]
00127805cmp rsi, 1
00127809je 0x12784c
0012780bmov rbx, [rbx+32]
0012780fmov rbx, [rbx+352]
00127816cmp rax, 1
0012781aje 0x127828
0012781clea rax, [rip+0x175bb5]
00127823jmp 0x12782f
00127825nop [rax]
00127828
00127828loc_127828:
00127828lea rax, [rip+0x175b99]
0012782f
0012782floc_12782f:
0012782fmov rdi, [rbx]
00127832call rdi
00127834mov rax, [rsp+8]
00127839mov rbx, [rax+24]
0012783dmov eax, 1
00127842add rsp, 16
00127846jmp 0x124110
0012784bnop
0012784c
0012784cloc_12784c:
0012784cmov [rsp], rax
00127850mov rax, [rdi+440]
00127857call camlMyStack.pop_292
0012785clea rbx, [rip+0x1ef13d]
00127863mov rbx, [rbx+144]
0012786amov [rbx], rax
0012786dmov rax, [rsp]
00127871cmp rax, 1
00127875je 0x127890
00127877mov rbx, [rsp+8]
0012787cmov rbx, [rbx+32]
00127880mov rbx, [rbx+176]
00127887mov rdi, [rbx]
0012788acall rdi
0012788cjmp 0x1278c0
0012788enop
00127890
00127890loc_127890:
00127890mov [rsp], rax
00127894mov rax, [rsp+8]
00127899mov rbx, [rax+16]
0012789dmov eax, 1
001278a2call camlLatexscan.top_close_display_839
001278a7mov rax, [rsp+8]
001278acmov rax, [rax+32]
001278b0mov rbx, [rax+176]
001278b7mov rdi, [rbx]
001278bamov rax, [rsp]
001278becall rdi
001278c0
001278c0loc_1278c0:
001278c0lea rax, [rip+0x1ef0d9]
001278c7mov rax, [rax+448]
001278cecall camlMyStack.pop_292
001278d3lea rbx, [rip+0x1ef0c6]
001278damov rbx, [rbx+136]
001278e1mov [rbx], rax
001278e4mov rax, [rbx]
001278e7cmp rax, 1
001278ebje 0x12790c
001278edmov rax, [rsp+8]
001278f2mov rax, [rax+32]
001278f6mov rbx, [rax+208]
001278fdmov eax, 1
00127902mov rdi, [rbx]
00127905add rsp, 16
00127909jmp rdi
0012790bnop
0012790c
0012790cloc_12790c:
0012790cmov eax, 1
00127911add rsp, 16
00127915ret
00127916
00127916loc_127916:
00127916call caml_call_gc
0012791bjmp 0x1277f4
00127920
00127920loc_127920:
00127920push 35
00127922call caml_call_realloc_stack
00127927pop r10
00127929jmp 0x1277e2
001277d0
001277d0camlLatexscan.top_close_maths_1619:
001277d0lea r10, [rsp-336]
001277d8cmp r10, [r14+40]
001277dcjb 0x127920
001277e2
001277e2loc_1277e2:
001277e2sub rsp, 16
001277e6mov [rsp+8], rbx
001277ebcmp r15, [r14]
001277eejbe 0x127916
001277f4
001277f4loc_1277f4:
001277f4lea rdi, [rip+0x1ef1a5]
001277fbmov rsi, [rdi+152]
00127802mov rsi, [rsi]
00127805cmp rsi, 1
00127809je 0x12784c
0012780bmov rbx, [rbx+32]
0012780fmov rbx, [rbx+352]
00127816cmp rax, 1
0012781aje 0x127828
0012781clea rax, [rip+0x175bb5]
00127823jmp 0x12782f
00127825nop [rax]
00127828
00127828loc_127828:
00127828lea rax, [rip+0x175b99]
0012782f
0012782floc_12782f:
0012782fmov rdi, [rbx]
00127832call rdi
00127834mov rax, [rsp+8]
00127839mov rbx, [rax+24]
0012783dmov eax, 1
00127842add rsp, 16
00127846jmp 0x124110
0012784bnop
0012784c
0012784cloc_12784c:
0012784cmov [rsp], rax
00127850mov rax, [rdi+440]
00127857call camlMyStack.pop_292
0012785clea rbx, [rip+0x1ef13d]
00127863mov rbx, [rbx+144]
0012786amov [rbx], rax
0012786dmov rax, [rsp]
00127871cmp rax, 1
00127875je 0x127890
00127877mov rbx, [rsp+8]
0012787cmov rbx, [rbx+32]
00127880mov rbx, [rbx+176]
00127887mov rdi, [rbx]
0012788acall rdi
0012788cjmp 0x1278c0
0012788enop
00127890
00127890loc_127890:
00127890mov [rsp], rax
00127894mov rax, [rsp+8]
00127899mov rbx, [rax+16]
0012789dmov eax, 1
001278a2call camlLatexscan.top_close_display_839
001278a7mov rax, [rsp+8]
001278acmov rax, [rax+32]
001278b0mov rbx, [rax+176]
001278b7mov rdi, [rbx]
001278bamov rax, [rsp]
001278becall rdi
001278c0
001278c0loc_1278c0:
001278c0lea rax, [rip+0x1ef0d9]
001278c7mov rax, [rax+448]
001278cecall camlMyStack.pop_292
001278d3lea rbx, [rip+0x1ef0c6]
001278damov rbx, [rbx+136]
001278e1mov [rbx], rax
001278e4mov rax, [rbx]
001278e7cmp rax, 1
001278ebje 0x12790c
001278edmov rax, [rsp+8]
001278f2mov rax, [rax+32]
001278f6mov rbx, [rax+208]
001278fdmov eax, 1
00127902mov rdi, [rbx]
00127905add rsp, 16
00127909jmp rdi
0012790bnop
0012790c
0012790cloc_12790c:
0012790cmov eax, 1
00127911add rsp, 16
00127915ret
00127916
00127916loc_127916:
00127916call caml_call_gc
0012791bjmp 0x1277f4
00127920
00127920loc_127920:
00127920push 35
00127922call caml_call_realloc_stack
00127927pop r10
00127929jmp 0x1277e2
001277d0
0012792e
0012792e // align 0x10
0012792e // align 0x10
00127930
00127930camlLatexscan.fun_3912:
00127930lea r10, [rsp-344]
00127938cmp r10, [r14+40]
0012793cjb 0x1279fe
00127942
00127942loc_127942:
00127942sub rsp, 24
00127946mov [rsp+8], rax
0012794bmov [rsp], rbx
0012794flea rax, [rip+0x1ef04a]
00127956mov rbx, [rax+168]
0012795dmov rbx, [rbx]
00127960mov [rsp+16], rbx
00127965mov rax, [rax+456]
0012796ccall camlMyStack.pop_292
00127971lea rbx, [rip+0x1ef028]
00127978mov rdi, [rbx+168]
0012797fmov [rdi], rax
00127982mov rax, [rbx+728]
00127989mov rdi, [rax]
0012798cmov rax, [rsp]
00127990mov rbx, [rax+24]
00127994mov rax, [rax+16]
00127998mov rsi, [rsp+8]
0012799dcall camlLexstate.scan_this_list_may_cont_1225
001279a2lea rax, [rip+0x1eeff7]
001279a9mov rbx, [rax+168]
001279b0mov rdx, [rsp+16]
001279b5mov [rbx], rdx
001279b8mov rdi, [rax+456]
001279bfsub r15, 24
001279c3cmp r15, [r14]
001279c6jb 0x1279f7
001279c8
001279c8loc_1279c8:
001279c8lea rsi, [r15+8]
001279ccmov [rsi-8], 2048
001279d4mov [rsi], rdx
001279d7mov rax, [rdi]
001279damov [rsi+8], rax
001279demov rbx, rsp
001279e1mov rsp, [r14+64]
001279e5call caml_modify
001279eamov rsp, rbx
001279edmov eax, 1
001279f2add rsp, 24
001279f6ret
001279f7
001279f7loc_1279f7:
001279f7call caml_call_gc
001279fcjmp 0x1279c8
001279fe
001279feloc_1279fe:
001279fepush 36
00127a00call caml_call_realloc_stack
00127a05pop r10
00127a07jmp 0x127942
00127930
00127930camlLatexscan.fun_3912:
00127930lea r10, [rsp-344]
00127938cmp r10, [r14+40]
0012793cjb 0x1279fe
00127942
00127942loc_127942:
00127942sub rsp, 24
00127946mov [rsp+8], rax
0012794bmov [rsp], rbx
0012794flea rax, [rip+0x1ef04a]
00127956mov rbx, [rax+168]
0012795dmov rbx, [rbx]
00127960mov [rsp+16], rbx
00127965mov rax, [rax+456]
0012796ccall camlMyStack.pop_292
00127971lea rbx, [rip+0x1ef028]
00127978mov rdi, [rbx+168]
0012797fmov [rdi], rax
00127982mov rax, [rbx+728]
00127989mov rdi, [rax]
0012798cmov rax, [rsp]
00127990mov rbx, [rax+24]
00127994mov rax, [rax+16]
00127998mov rsi, [rsp+8]
0012799dcall camlLexstate.scan_this_list_may_cont_1225
001279a2lea rax, [rip+0x1eeff7]
001279a9mov rbx, [rax+168]
001279b0mov rdx, [rsp+16]
001279b5mov [rbx], rdx
001279b8mov rdi, [rax+456]
001279bfsub r15, 24
001279c3cmp r15, [r14]
001279c6jb 0x1279f7
001279c8
001279c8loc_1279c8:
001279c8lea rsi, [r15+8]
001279ccmov [rsi-8], 2048
001279d4mov [rsi], rdx
001279d7mov rax, [rdi]
001279damov [rsi+8], rax
001279demov rbx, rsp
001279e1mov rsp, [r14+64]
001279e5call caml_modify
001279eamov rsp, rbx
001279edmov eax, 1
001279f2add rsp, 24
001279f6ret
001279f7
001279f7loc_1279f7:
001279f7call caml_call_gc
001279fcjmp 0x1279c8
001279fe
001279feloc_1279fe:
001279fepush 36
00127a00call caml_call_realloc_stack
00127a05pop r10
00127a07jmp 0x127942
00127930
00127a0c
00127a0c // align 0x10
00127a0c // align 0x10
00127a10
00127a10camlLatexscan.fun_3917:
00127a10mov rsi, rax
00127a13lea rax, [rip+0x1eef86]
00127a1amov rax, [rax+728]
00127a21mov rdi, [rax]
00127a24mov rdx, [rbx+24]
00127a28mov rax, [rbx+16]
00127a2cmov rbx, rdx
00127a2fjmp 0x17f6f0
00127a10
00127a10camlLatexscan.fun_3917:
00127a10mov rsi, rax
00127a13lea rax, [rip+0x1eef86]
00127a1amov rax, [rax+728]
00127a21mov rdi, [rax]
00127a24mov rdx, [rbx+24]
00127a28mov rax, [rbx+16]
00127a2cmov rbx, rdx
00127a2fjmp 0x17f6f0
00127a10
00127a34
00127a34 // align 0x10
00127a34 // align 0x10
00127a40
00127a40camlLatexscan.fun_3947:
00127a40mov rax, [rbx+24]
00127a44mov rbx, [rbx+16]
00127a48jmp 0x1173e0
00127a40
00127a40camlLatexscan.fun_3947:
00127a40mov rax, [rbx+24]
00127a44mov rbx, [rbx+16]
00127a48jmp 0x1173e0
00127a40
Loading..