File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
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
00127a4d
00127a4d // align 0x10
00127a4d // align 0x10
00127a50
00127a50camlLatexscan.fun_3957:
00127a50mov rax, [rbx+24]
00127a54mov rbx, [rbx+16]
00127a58jmp 0x1173e0
00127a50
00127a50camlLatexscan.fun_3957:
00127a50mov rax, [rbx+24]
00127a54mov rbx, [rbx+16]
00127a58jmp 0x1173e0
00127a50
00127a5d
00127a5d // align 0x10
00127a5d // align 0x10
00127a60
00127a60camlLatexscan.fun_4006:
00127a60mov rdi, rax
00127a63mov rax, [rbx+16]
00127a67mov rbx, rdi
00127a6ajmp 0x17f460
00127a60
00127a60camlLatexscan.fun_4006:
00127a60mov rdi, rax
00127a63mov rax, [rbx+16]
00127a67mov rbx, rdi
00127a6ajmp 0x17f460
00127a60
00127a6f
00127a6f // align 0x10
00127a6f // align 0x10
00127a70
00127a70camlLatexscan.fun_4093:
00127a70mov rsi, rax
00127a73mov rdi, [rbx+24]
00127a77mov rdx, [rbx+16]
00127a7bsub r15, 40
00127a7fcmp r15, [r14]
00127a82jb 0x127aca
00127a84
00127a84loc_127a84:
00127a84lea rax, [r15+8]
00127a88mov [rax-8], 4343
00127a90lea rcx, [rip+73]
00127a97mov [rax], rcx
00127a9amov rcx, 0x100000000000005
00127aa4mov [rax+8], rcx
00127aa8mov [rax+16], rdi
00127aacmov [rax+24], rdx
00127ab0lea rdi, [rip+0x1eeee9]
00127ab7mov rdi, [rdi+728]
00127abemov rdi, [rdi]
00127ac1mov rbx, [rbx+32]
00127ac5jmp 0x17f6f0
00127aca
00127acaloc_127aca:
00127acacall caml_call_gc
00127acfjmp 0x127a84
00127a70
00127a70camlLatexscan.fun_4093:
00127a70mov rsi, rax
00127a73mov rdi, [rbx+24]
00127a77mov rdx, [rbx+16]
00127a7bsub r15, 40
00127a7fcmp r15, [r14]
00127a82jb 0x127aca
00127a84
00127a84loc_127a84:
00127a84lea rax, [r15+8]
00127a88mov [rax-8], 4343
00127a90lea rcx, [rip+73]
00127a97mov [rax], rcx
00127a9amov rcx, 0x100000000000005
00127aa4mov [rax+8], rcx
00127aa8mov [rax+16], rdi
00127aacmov [rax+24], rdx
00127ab0lea rdi, [rip+0x1eeee9]
00127ab7mov rdi, [rdi+728]
00127abemov rdi, [rdi]
00127ac1mov rbx, [rbx+32]
00127ac5jmp 0x17f6f0
00127aca
00127acaloc_127aca:
00127acacall caml_call_gc
00127acfjmp 0x127a84
00127a70
00127ad1
00127ad1 // align 0x10
00127ad1 // align 0x10
00127ae0
00127ae0camlLatexscan.fun_4109:
00127ae0mov rdx, rax
00127ae3mov rax, [rbx+16]
00127ae7mov rsi, [rbx+24]
00127aebadd rsi, 32
00127aefmov edi, 565
00127af4mov rbx, rdx
00127af7jmp 0x119470
00127ae0
00127ae0camlLatexscan.fun_4109:
00127ae0mov rdx, rax
00127ae3mov rax, [rbx+16]
00127ae7mov rsi, [rbx+24]
00127aebadd rsi, 32
00127aefmov edi, 565
00127af4mov rbx, rdx
00127af7jmp 0x119470
00127ae0
00127afc
00127afc // align 0x10
00127afc // align 0x10
00127b00
00127b00camlLatexscan.check_alltt_skip_1797:
00127b00lea r10, [rsp-336]
00127b08cmp r10, [r14+40]
00127b0cjb 0x127b86
00127b0e
00127b0eloc_127b0e:
00127b0esub rsp, 16
00127b12lea rdi, [rip+0x1eee87]
00127b19mov rdi, [rdi+168]
00127b20mov rdi, [rdi]
00127b23cmp rdi, 3
00127b27je 0x127b7c
00127b29mov [rsp], rbx
00127b2dmov [rsp+8], rax
00127b32mov rdi, [rbx+40]
00127b36add rdi, 24
00127b3amov ebx, 343
00127b3fcall Latexscan..ocaml_lex_skip_blanks_rec
00127b44cmp rax, 1
00127b48je 0x127b70
00127b4amov rdi, [rsp]
00127b4emov rbx, [rdi+32]
00127b52mov rax, [rdi+24]
00127b56mov rdx, [rdi+16]
00127b5alea rdi, [rip+0x175caf]
00127b61mov rsi, [rsp+8]
00127b66add rsp, 16
00127b6ajmp 0x1268e0
00127b6f
00127b6f 90 .
00127b70
00127b70loc_127b70:
00127b70mov eax, 1
00127b75add rsp, 16
00127b79ret
00127b7a
00127b7a 66 90 f.
00127b7c
00127b7cloc_127b7c:
00127b7cmov eax, 1
00127b81add rsp, 16
00127b85ret
00127b86
00127b86loc_127b86:
00127b86push 35
00127b88call caml_call_realloc_stack
00127b8dpop r10
00127b8fjmp 0x127b0e
00127b00
00127b00camlLatexscan.check_alltt_skip_1797:
00127b00lea r10, [rsp-336]
00127b08cmp r10, [r14+40]
00127b0cjb 0x127b86
00127b0e
00127b0eloc_127b0e:
00127b0esub rsp, 16
00127b12lea rdi, [rip+0x1eee87]
00127b19mov rdi, [rdi+168]
00127b20mov rdi, [rdi]
00127b23cmp rdi, 3
00127b27je 0x127b7c
00127b29mov [rsp], rbx
00127b2dmov [rsp+8], rax
00127b32mov rdi, [rbx+40]
00127b36add rdi, 24
00127b3amov ebx, 343
00127b3fcall Latexscan..ocaml_lex_skip_blanks_rec
00127b44cmp rax, 1
00127b48je 0x127b70
00127b4amov rdi, [rsp]
00127b4emov rbx, [rdi+32]
00127b52mov rax, [rdi+24]
00127b56mov rdx, [rdi+16]
00127b5alea rdi, [rip+0x175caf]
00127b61mov rsi, [rsp+8]
00127b66add rsp, 16
00127b6ajmp 0x1268e0
00127b6f
00127b6f 90 .
00127b70
00127b70loc_127b70:
00127b70mov eax, 1
00127b75add rsp, 16
00127b79ret
00127b7a
00127b7a 66 90 f.
00127b7c
00127b7cloc_127b7c:
00127b7cmov eax, 1
00127b81add rsp, 16
00127b85ret
00127b86
00127b86loc_127b86:
00127b86push 35
00127b88call caml_call_realloc_stack
00127b8dpop r10
00127b8fjmp 0x127b0e
00127b00
00127b94
00127b94 // align 0x10
00127b94 // align 0x10
00127ba0
00127ba0camlLatexscan.skip_pop_1798:
00127ba0lea r10, [rsp-336]
00127ba8cmp r10, [r14+40]
00127bacjb 0x127bee
00127bae
00127baeloc_127bae:
00127baesub rsp, 16
00127bb2mov [rsp+8], rax
00127bb7mov [rsp], rbx
00127bbbmov eax, 1
00127bc0call camlLexstate.save_lexstate_881
00127bc5mov rax, [rsp]
00127bc9mov rdi, [rax+16]
00127bcdadd rdi, 24
00127bd1mov ebx, 327
00127bd6mov rax, [rsp+8]
00127bdbcall Latexscan..ocaml_lex_skip_blanks_pop_rec
00127be0mov eax, 1
00127be5add rsp, 16
00127be9jmp 0x17d370
00127bee
00127beeloc_127bee:
00127beepush 35
00127bf0call caml_call_realloc_stack
00127bf5pop r10
00127bf7jmp 0x127bae
00127ba0
00127ba0camlLatexscan.skip_pop_1798:
00127ba0lea r10, [rsp-336]
00127ba8cmp r10, [r14+40]
00127bacjb 0x127bee
00127bae
00127baeloc_127bae:
00127baesub rsp, 16
00127bb2mov [rsp+8], rax
00127bb7mov [rsp], rbx
00127bbbmov eax, 1
00127bc0call camlLexstate.save_lexstate_881
00127bc5mov rax, [rsp]
00127bc9mov rdi, [rax+16]
00127bcdadd rdi, 24
00127bd1mov ebx, 327
00127bd6mov rax, [rsp+8]
00127bdbcall Latexscan..ocaml_lex_skip_blanks_pop_rec
00127be0mov eax, 1
00127be5add rsp, 16
00127be9jmp 0x17d370
00127bee
00127beeloc_127bee:
00127beepush 35
00127bf0call caml_call_realloc_stack
00127bf5pop r10
00127bf7jmp 0x127bae
00127ba0
00127bf9
00127bf9 // align 0x10
00127bf9 // align 0x10
00127c05
00127c05 // align 0x10
00127c05 // align 0x10
00127c10
00127c10camlLatexscan.def_name_code_1807:
00127c10lea r10, [rsp-328]
00127c18cmp r10, [r14+40]
00127c1cjb 0x127c3b
00127c1e
00127c1eloc_127c1e:
00127c1esub rsp, 8
00127c22mov [rsp], rax
00127c26mov rdi, [rbx]
00127c29call rdi
00127c2bmov rbx, rax
00127c2emov rax, [rsp]
00127c32add rsp, 8
00127c36jmp 0x17b120
00127c3b
00127c3bloc_127c3b:
00127c3bpush 34
00127c3dcall caml_call_realloc_stack
00127c42pop r10
00127c44jmp 0x127c1e
00127c10
00127c10camlLatexscan.def_name_code_1807:
00127c10lea r10, [rsp-328]
00127c18cmp r10, [r14+40]
00127c1cjb 0x127c3b
00127c1e
00127c1eloc_127c1e:
00127c1esub rsp, 8
00127c22mov [rsp], rax
00127c26mov rdi, [rbx]
00127c29call rdi
00127c2bmov rbx, rax
00127c2emov rax, [rsp]
00127c32add rsp, 8
00127c36jmp 0x17b120
00127c3b
00127c3bloc_127c3b:
00127c3bpush 34
00127c3dcall caml_call_realloc_stack
00127c42pop r10
00127c44jmp 0x127c1e
00127c10
00127c46
00127c46 // align 0x10
00127c46 // align 0x10
00127c50
00127c50camlLatexscan.expand_command_1811:
00127c50mov rcx, rax
00127c53mov rsi, rbx
00127c56mov rbx, [rdi+40]
00127c5amov rax, [rdi+32]
00127c5emov rdx, [rdi+24]
00127c62mov rdi, rcx
00127c65jmp 0x1268e0
00127c50
00127c50camlLatexscan.expand_command_1811:
00127c50mov rcx, rax
00127c53mov rsi, rbx
00127c56mov rbx, [rdi+40]
00127c5amov rax, [rdi+32]
00127c5emov rdx, [rdi+24]
00127c62mov rdi, rcx
00127c65jmp 0x1268e0
00127c50
00127c6a
00127c6a // align 0x10
00127c6a // align 0x10
00127c70
00127c70camlLatexscan.expand_command_no_skip_1812:
00127c70mov rcx, rax
00127c73mov rsi, rbx
00127c76mov rbx, [rdi+40]
00127c7amov rax, [rdi+32]
00127c7emov rdx, [rdi+24]
00127c82mov rdi, rcx
00127c85jmp 0x1268e0
00127c70
00127c70camlLatexscan.expand_command_no_skip_1812:
00127c70mov rcx, rax
00127c73mov rsi, rbx
00127c76mov rbx, [rdi+40]
00127c7amov rax, [rdi+32]
00127c7emov rdx, [rdi+24]
00127c82mov rdi, rcx
00127c85jmp 0x1268e0
00127c70
00127c8a
00127c8a // align 0x10
00127c8a // align 0x10
00127c90
00127c90camlLatexscan.fun_4152:
00127c90lea r10, [rsp-336]
00127c98cmp r10, [r14+40]
00127c9cjb 0x127cd3
00127c9e
00127c9eloc_127c9e:
00127c9esub rsp, 16
00127ca2mov [rsp+8], rax
00127ca7mov [rsp], rbx
00127cabmov rax, [rbx+24]
00127cafmov rdi, [rbx+16]
00127cb3mov ebx, 3
00127cb8call camlLatexscan.top_open_maths_1618
00127cbdmov rax, [rsp]
00127cc1mov rbx, [rax+32]
00127cc5mov rax, [rsp+8]
00127ccaadd rsp, 16
00127ccejmp 0x127ba0
00127cd3
00127cd3loc_127cd3:
00127cd3push 35
00127cd5call caml_call_realloc_stack
00127cdapop r10
00127cdcjmp 0x127c9e
00127c90
00127c90camlLatexscan.fun_4152:
00127c90lea r10, [rsp-336]
00127c98cmp r10, [r14+40]
00127c9cjb 0x127cd3
00127c9e
00127c9eloc_127c9e:
00127c9esub rsp, 16
00127ca2mov [rsp+8], rax
00127ca7mov [rsp], rbx
00127cabmov rax, [rbx+24]
00127cafmov rdi, [rbx+16]
00127cb3mov ebx, 3
00127cb8call camlLatexscan.top_open_maths_1618
00127cbdmov rax, [rsp]
00127cc1mov rbx, [rax+32]
00127cc5mov rax, [rsp+8]
00127ccaadd rsp, 16
00127ccejmp 0x127ba0
00127cd3
00127cd3loc_127cd3:
00127cd3push 35
00127cd5call caml_call_realloc_stack
00127cdapop r10
00127cdcjmp 0x127c9e
00127c90
00127cde
00127cde // align 0x10
00127cde // align 0x10
00127ce0
00127ce0camlLatexscan.fun_4162:
00127ce0mov rbx, [rbx+16]
00127ce4mov eax, 3
00127ce9jmp 0x1277d0
00127ce0
00127ce0camlLatexscan.fun_4162:
00127ce0mov rbx, [rbx+16]
00127ce4mov eax, 3
00127ce9jmp 0x1277d0
00127ce0
00127cee
00127cee // align 0x10
00127cee // align 0x10
00127cf9
00127cf9 // align 0x10
00127cf9 // align 0x10
00127d00
00127d00camlLatexscan.fun_4174:
00127d00lea r10, [rsp-336]
00127d08cmp r10, [r14+40]
00127d0cjb 0x127e03
00127d12
00127d12loc_127d12:
00127d12sub rsp, 16
00127d16mov [rsp+8], rax
00127d1bmov [rsp], rbx
00127d1flea rax, [rip+0x1eec7a]
00127d26mov rax, [rax+168]
00127d2dmov rax, [rax]
00127d30cmp rax, 3
00127d34je 0x127db4
00127d36mov eax, 75
00127d3bcall camlLexstate.is_plain_833
00127d40cmp rax, 1
00127d44je 0x127db4
00127d46mov rax, [rsp]
00127d4amov rdi, [rax+48]
00127d4eadd rdi, 24
00127d52mov ebx, 407
00127d57mov rax, [rsp+8]
00127d5ccall Latexscan..ocaml_lex_comment_rec
00127d61mov rax, [rsp]
00127d65mov rdi, [rax+40]
00127d69add rdi, 24
00127d6dmov ebx, 343
00127d72mov rax, [rsp+8]
00127d77call Latexscan..ocaml_lex_skip_blanks_rec
00127d7ccmp rax, 1
00127d80je 0x127da8
00127d82mov rdi, [rsp]
00127d86mov rbx, [rdi+32]
00127d8amov rax, [rdi+24]
00127d8emov rdx, [rdi+16]
00127d92lea rdi, [rip+0x175a77]
00127d99mov rsi, [rsp+8]
00127d9eadd rsp, 16
00127da2jmp 0x1268e0
00127da7
00127da7 90 .
00127da8
00127da8loc_127da8:
00127da8mov eax, 1
00127dadadd rsp, 16
00127db1ret
00127db2
00127db2 66 90 f.
00127db4
00127db4loc_127db4:
00127db4mov rax, [rsp+8]
00127db9mov rbx, [rax+32]
00127dbdmov rdi, [rax+40]
00127dc1sub rdi, rbx
00127dc4inc rdi
00127dc7mov rax, [rax+8]
00127dcbcall Stdlib.Bytes.sub
00127dd0mov rbx, [rsp]
00127dd4mov rbx, [rbx+56]
00127dd8mov rbx, [rbx+352]
00127ddfmov rdi, [rbx]
00127de2call rdi
00127de4mov rax, [rsp]
00127de8mov rdi, [rax+24]
00127decadd rdi, 24
00127df0mov ebx, 1
00127df5mov rax, [rsp+8]
00127dfaadd rsp, 16
00127dfejmp 0x1166c0
00127e03
00127e03loc_127e03:
00127e03push 35
00127e05call caml_call_realloc_stack
00127e0apop r10
00127e0cjmp 0x127d12
00127d00
00127d00camlLatexscan.fun_4174:
00127d00lea r10, [rsp-336]
00127d08cmp r10, [r14+40]
00127d0cjb 0x127e03
00127d12
00127d12loc_127d12:
00127d12sub rsp, 16
00127d16mov [rsp+8], rax
00127d1bmov [rsp], rbx
00127d1flea rax, [rip+0x1eec7a]
00127d26mov rax, [rax+168]
00127d2dmov rax, [rax]
00127d30cmp rax, 3
00127d34je 0x127db4
00127d36mov eax, 75
00127d3bcall camlLexstate.is_plain_833
00127d40cmp rax, 1
00127d44je 0x127db4
00127d46mov rax, [rsp]
00127d4amov rdi, [rax+48]
00127d4eadd rdi, 24
00127d52mov ebx, 407
00127d57mov rax, [rsp+8]
00127d5ccall Latexscan..ocaml_lex_comment_rec
00127d61mov rax, [rsp]
00127d65mov rdi, [rax+40]
00127d69add rdi, 24
00127d6dmov ebx, 343
00127d72mov rax, [rsp+8]
00127d77call Latexscan..ocaml_lex_skip_blanks_rec
00127d7ccmp rax, 1
00127d80je 0x127da8
00127d82mov rdi, [rsp]
00127d86mov rbx, [rdi+32]
00127d8amov rax, [rdi+24]
00127d8emov rdx, [rdi+16]
00127d92lea rdi, [rip+0x175a77]
00127d99mov rsi, [rsp+8]
00127d9eadd rsp, 16
00127da2jmp 0x1268e0
00127da7
00127da7 90 .
00127da8
00127da8loc_127da8:
00127da8mov eax, 1
00127dadadd rsp, 16
00127db1ret
00127db2
00127db2 66 90 f.
00127db4
00127db4loc_127db4:
00127db4mov rax, [rsp+8]
00127db9mov rbx, [rax+32]
00127dbdmov rdi, [rax+40]
00127dc1sub rdi, rbx
00127dc4inc rdi
00127dc7mov rax, [rax+8]
00127dcbcall Stdlib.Bytes.sub
00127dd0mov rbx, [rsp]
00127dd4mov rbx, [rbx+56]
00127dd8mov rbx, [rbx+352]
00127ddfmov rdi, [rbx]
00127de2call rdi
00127de4mov rax, [rsp]
00127de8mov rdi, [rax+24]
00127decadd rdi, 24
00127df0mov ebx, 1
00127df5mov rax, [rsp+8]
00127dfaadd rsp, 16
00127dfejmp 0x1166c0
00127e03
00127e03loc_127e03:
00127e03push 35
00127e05call caml_call_realloc_stack
00127e0apop r10
00127e0cjmp 0x127d12
00127d00
00127e11
00127e11 // align 0x10
00127e11 // align 0x10
00127e20
00127e20camlLatexscan.fun_4198:
00127e20lea r10, [rsp-344]
00127e28cmp r10, [r14+40]
00127e2cjb 0x127f87
00127e32
00127e32loc_127e32:
00127e32sub rsp, 24
00127e36mov [rsp+16], rax
00127e3bmov [rsp+8], rbx
00127e40cmp r15, [r14]
00127e43jbe 0x127f7d
00127e49
00127e49loc_127e49:
00127e49mov rdi, [rbx+24]
00127e4dadd rdi, 24
00127e51mov ebx, 83
00127e56call Latexscan..ocaml_lex_complete_newline_rec
00127e5bmov [rsp], rax
00127e5fcall camlLatexscan.count_newlines_1496
00127e64lea rbx, [rip+0x1eeb35]
00127e6bmov rdi, [rbx+264]
00127e72mov rdi, [rdi]
00127e75cmp rdi, 1
00127e79je 0x127edc
00127e7bmov [rsp], rax
00127e7flea rax, [rip+0x2021ea]
00127e86mov rax, [rax+80]
00127e8amov rax, [rax]
00127e8dcmp rax, 5
00127e91jle 0x127e9f
00127e93lea rax, [rip+0x1722c6]
00127e9acall camlStdlib.prerr_endline_390
00127e9f
00127e9floc_127e9f:
00127e9fsub r15, 24
00127ea3cmp r15, [r14]
00127ea6jb 0x127f73
00127eac
00127eacloc_127eac:
00127eaclea rax, [r15+8]
00127eb0mov [rax-8], 2048
00127eb8lea rbx, [rip+0x2021b1]
00127ebfmov rbx, [rbx+64]
00127ec3mov [rax], rbx
00127ec6mov rbx, [rsp]
00127ecamov [rax+8], rbx
00127ecemov rsp, [r14+48]
00127ed2pop [r14+48]
00127ed6pop r11
00127ed8jmp r11
00127edbnop
00127edc
00127edcloc_127edc:
00127edcmov rbx, [rbx+168]
00127ee3mov rbx, [rbx]
00127ee6cmp rbx, 3
00127eeaje 0x127f3c
00127eeccmp rax, 3
00127ef0jl 0x127f1c
00127ef2mov rax, [rsp+8]
00127ef7mov rdi, [rax+32]
00127efbmov rbx, [rdi+40]
00127effmov rax, [rdi+32]
00127f03mov rdx, [rdi+24]
00127f07lea rdi, [rip+0x175902]
00127f0emov rsi, [rsp+16]
00127f13add rsp, 24
00127f17jmp 0x1268e0
00127f1c
00127f1cloc_127f1c:
00127f1cmov rax, [rsp+8]
00127f21mov rax, [rax+40]
00127f25mov rbx, [rax+456]
00127f2cmov eax, 1
00127f31mov rdi, [rbx]
00127f34add rsp, 24
00127f38jmp rdi
00127f3anop
00127f3c
00127f3cloc_127f3c:
00127f3cmov rax, [rsp+8]
00127f41mov rax, [rax+40]
00127f45mov rbx, [rax+360]
00127f4cmov eax, 21
00127f51mov rdi, [rbx]
00127f54call rdi
00127f56mov rax, [rsp+8]
00127f5bmov rax, [rax+40]
00127f5fmov rbx, [rax+352]
00127f66mov rdi, [rbx]
00127f69mov rax, [rsp]
00127f6dadd rsp, 24
00127f71jmp rdi
00127f73
00127f73loc_127f73:
00127f73call caml_call_gc
00127f78jmp 0x127eac
00127f7d
00127f7dloc_127f7d:
00127f7dcall caml_call_gc
00127f82jmp 0x127e49
00127f87
00127f87loc_127f87:
00127f87push 36
00127f89call caml_call_realloc_stack
00127f8epop r10
00127f90jmp 0x127e32
00127e20
00127e20camlLatexscan.fun_4198:
00127e20lea r10, [rsp-344]
00127e28cmp r10, [r14+40]
00127e2cjb 0x127f87
00127e32
00127e32loc_127e32:
00127e32sub rsp, 24
00127e36mov [rsp+16], rax
00127e3bmov [rsp+8], rbx
00127e40cmp r15, [r14]
00127e43jbe 0x127f7d
00127e49
00127e49loc_127e49:
00127e49mov rdi, [rbx+24]
00127e4dadd rdi, 24
00127e51mov ebx, 83
00127e56call Latexscan..ocaml_lex_complete_newline_rec
00127e5bmov [rsp], rax
00127e5fcall camlLatexscan.count_newlines_1496
00127e64lea rbx, [rip+0x1eeb35]
00127e6bmov rdi, [rbx+264]
00127e72mov rdi, [rdi]
00127e75cmp rdi, 1
00127e79je 0x127edc
00127e7bmov [rsp], rax
00127e7flea rax, [rip+0x2021ea]
00127e86mov rax, [rax+80]
00127e8amov rax, [rax]
00127e8dcmp rax, 5
00127e91jle 0x127e9f
00127e93lea rax, [rip+0x1722c6]
00127e9acall camlStdlib.prerr_endline_390
00127e9f
00127e9floc_127e9f:
00127e9fsub r15, 24
00127ea3cmp r15, [r14]
00127ea6jb 0x127f73
00127eac
00127eacloc_127eac:
00127eaclea rax, [r15+8]
00127eb0mov [rax-8], 2048
00127eb8lea rbx, [rip+0x2021b1]
00127ebfmov rbx, [rbx+64]
00127ec3mov [rax], rbx
00127ec6mov rbx, [rsp]
00127ecamov [rax+8], rbx
00127ecemov rsp, [r14+48]
00127ed2pop [r14+48]
00127ed6pop r11
00127ed8jmp r11
00127edbnop
00127edc
00127edcloc_127edc:
00127edcmov rbx, [rbx+168]
00127ee3mov rbx, [rbx]
00127ee6cmp rbx, 3
00127eeaje 0x127f3c
00127eeccmp rax, 3
00127ef0jl 0x127f1c
00127ef2mov rax, [rsp+8]
00127ef7mov rdi, [rax+32]
00127efbmov rbx, [rdi+40]
00127effmov rax, [rdi+32]
00127f03mov rdx, [rdi+24]
00127f07lea rdi, [rip+0x175902]
00127f0emov rsi, [rsp+16]
00127f13add rsp, 24
00127f17jmp 0x1268e0
00127f1c
00127f1cloc_127f1c:
00127f1cmov rax, [rsp+8]
00127f21mov rax, [rax+40]
00127f25mov rbx, [rax+456]
00127f2cmov eax, 1
00127f31mov rdi, [rbx]
00127f34add rsp, 24
00127f38jmp rdi
00127f3anop
00127f3c
00127f3cloc_127f3c:
00127f3cmov rax, [rsp+8]
00127f41mov rax, [rax+40]
00127f45mov rbx, [rax+360]
00127f4cmov eax, 21
00127f51mov rdi, [rbx]
00127f54call rdi
00127f56mov rax, [rsp+8]
00127f5bmov rax, [rax+40]
00127f5fmov rbx, [rax+352]
00127f66mov rdi, [rbx]
00127f69mov rax, [rsp]
00127f6dadd rsp, 24
00127f71jmp rdi
00127f73
00127f73loc_127f73:
00127f73call caml_call_gc
00127f78jmp 0x127eac
00127f7d
00127f7dloc_127f7d:
00127f7dcall caml_call_gc
00127f82jmp 0x127e49
00127f87
00127f87loc_127f87:
00127f87push 36
00127f89call caml_call_realloc_stack
00127f8epop r10
00127f90jmp 0x127e32
00127e20
00127f95
00127f95 // align 0x10
00127f95 // align 0x10
00127fa0
00127fa0camlLatexscan.sub_sup_1828:
00127fa0lea r10, [rsp-344]
00127fa8cmp r10, [r14+40]
00127facjb 0x1281cf
00127fb2
00127fb2loc_127fb2:
00127fb2sub rsp, 24
00127fb6mov [rsp+8], rax
00127fbbmov [rsp], rdi
00127fbfcmp r15, [r14]
00127fc2jbe 0x1281c5
00127fc8
00127fc8loc_127fc8:
00127fc8lea rdi, [rip+0x1ee9d1]
00127fcfmov rdi, [rdi+168]
00127fd6mov rdi, [rdi]
00127fd9cmp rdi, 3
00127fddje 0x128194
00127fe3mov [rsp+16], rbx
00127fe8call camlLexstate.is_plain_833
00127fedcmp rax, 1
00127ff1je 0x128194
00127ff7lea rax, [rip+0x1ee9a2]
00127ffemov rax, [rax+144]
00128005mov rax, [rax]
00128008cmp rax, 1
0012800cje 0x12813c
00128012mov rax, [rsp+8]
00128017cmp rax, 189
0012801dje 0x128098
0012801fcmp rax, 191
00128025je 0x128064
00128027sub r15, 24
0012802bcmp r15, [r14]
0012802ejb 0x1281bb
00128034
00128034loc_128034:
00128034lea rax, [r15+8]
00128038mov [rax-8], 2048
00128040lea rbx, [rip+0x14e1c1]
00128047mov [rax], rbx
0012804alea rbx, [rip+0x1720c7]
00128051mov [rax+8], rbx
00128055mov rsp, [r14+48]
00128059pop [r14+48]
0012805dpop r11
0012805fjmp r11
00128062nop
00128064
00128064loc_128064:
00128064mov rax, [rsp+16]
00128069call camlLexstate.save_arg_1030
0012806emov [rsp+8], rax
00128073mov rax, [rsp+16]
00128078call camlLexstate.save_sup_1078
0012807dtest al, 1
0012807fje 0x12808c
00128081lea rdi, [rip+0x1eef28]
00128088jmp 0x12808f
0012808anop
0012808c
0012808cloc_12808c:
0012808cmov rdi, [rax]
0012808f
0012808floc_12808f:
0012808fmov rsi, [rsp+8]
00128094jmp 0x1280c8
00128096nop
00128098
00128098loc_128098:
00128098mov rax, [rsp+16]
0012809dcall camlLexstate.save_arg_1030
001280a2mov [rsp+8], rax
001280a7mov rax, [rsp+16]
001280accall camlLexstate.save_sub_1079
001280b1test al, 1
001280b3je 0x1280c0
001280b5lea rsi, [rip+0x1eeef4]
001280bcjmp 0x1280c3
001280benop
001280c0
001280c0loc_1280c0:
001280c0mov rsi, [rax]
001280c3
001280c3loc_1280c3:
001280c3mov rdi, [rsp+8]
001280c8
001280c8loc_1280c8:
001280c8mov r9, [rsp]
001280ccmov rbx, [r9+24]
001280d0lea rdx, [rip+0x1ee8c9]
001280d7mov rcx, [rdx+648]
001280desub r15, 40
001280e2cmp r15, [r14]
001280e5jb 0x1281b1
001280eb
001280ebloc_1280eb:
001280eblea rax, [r15+8]
001280efmov [rax-8], 4343
001280f7lea r8, [rip+226]
001280femov [rax], r8
00128101mov r8, 0x100000000000005
0012810bmov [rax+8], r8
0012810fmov [rax+16], rbx
00128113mov [rax+24], rcx
00128117mov rbx, [r9+40]
0012811bmov rcx, [rbx+232]
00128122mov rbx, [rdx+136]
00128129mov rdx, [rbx]
0012812clea rbx, [rip+0x16f3bd]
00128133add rsp, 24
00128137jmp 0xf7260
0012813c
0012813cloc_12813c:
0012813cmov rax, [rsp]
00128140mov rax, [rax+32]
00128144mov rax, [rax]
00128147cmp rax, 1
0012814bje 0x128177
0012814dmov rax, [rsp+8]
00128152call Stdlib.Char.escaped
00128157lea rbx, [rip+0x171fda]
0012815ecall camlStdlib.$5e_139
00128163mov rbx, rax
00128166lea rax, [rip+0x1719bb]
0012816dcall camlStdlib.$5e_139
00128172call camlMisc.warning_287
00128177
00128177loc_128177:
00128177mov rax, [rsp]
0012817bmov rax, [rax+40]
0012817fmov rbx, [rax+360]
00128186mov rdi, [rbx]
00128189mov rax, [rsp+8]
0012818eadd rsp, 24
00128192jmp rdi
00128194
00128194loc_128194:
00128194mov rax, [rsp]
00128198mov rax, [rax+40]
0012819cmov rbx, [rax+360]
001281a3mov rdi, [rbx]
001281a6mov rax, [rsp+8]
001281abadd rsp, 24
001281afjmp rdi
001281b1
001281b1loc_1281b1:
001281b1call caml_call_gc
001281b6jmp 0x1280eb
001281bb
001281bbloc_1281bb:
001281bbcall caml_call_gc
001281c0jmp 0x128034
001281c5
001281c5loc_1281c5:
001281c5call caml_call_gc
001281cajmp 0x127fc8
001281cf
001281cfloc_1281cf:
001281cfpush 36
001281d1call caml_call_realloc_stack
001281d6pop r10
001281d8jmp 0x127fb2
00127fa0
00127fa0camlLatexscan.sub_sup_1828:
00127fa0lea r10, [rsp-344]
00127fa8cmp r10, [r14+40]
00127facjb 0x1281cf
00127fb2
00127fb2loc_127fb2:
00127fb2sub rsp, 24
00127fb6mov [rsp+8], rax
00127fbbmov [rsp], rdi
00127fbfcmp r15, [r14]
00127fc2jbe 0x1281c5
00127fc8
00127fc8loc_127fc8:
00127fc8lea rdi, [rip+0x1ee9d1]
00127fcfmov rdi, [rdi+168]
00127fd6mov rdi, [rdi]
00127fd9cmp rdi, 3
00127fddje 0x128194
00127fe3mov [rsp+16], rbx
00127fe8call camlLexstate.is_plain_833
00127fedcmp rax, 1
00127ff1je 0x128194
00127ff7lea rax, [rip+0x1ee9a2]
00127ffemov rax, [rax+144]
00128005mov rax, [rax]
00128008cmp rax, 1
0012800cje 0x12813c
00128012mov rax, [rsp+8]
00128017cmp rax, 189
0012801dje 0x128098
0012801fcmp rax, 191
00128025je 0x128064
00128027sub r15, 24
0012802bcmp r15, [r14]
0012802ejb 0x1281bb
00128034
00128034loc_128034:
00128034lea rax, [r15+8]
00128038mov [rax-8], 2048
00128040lea rbx, [rip+0x14e1c1]
00128047mov [rax], rbx
0012804alea rbx, [rip+0x1720c7]
00128051mov [rax+8], rbx
00128055mov rsp, [r14+48]
00128059pop [r14+48]
0012805dpop r11
0012805fjmp r11
00128062nop
00128064
00128064loc_128064:
00128064mov rax, [rsp+16]
00128069call camlLexstate.save_arg_1030
0012806emov [rsp+8], rax
00128073mov rax, [rsp+16]
00128078call camlLexstate.save_sup_1078
0012807dtest al, 1
0012807fje 0x12808c
00128081lea rdi, [rip+0x1eef28]
00128088jmp 0x12808f
0012808anop
0012808c
0012808cloc_12808c:
0012808cmov rdi, [rax]
0012808f
0012808floc_12808f:
0012808fmov rsi, [rsp+8]
00128094jmp 0x1280c8
00128096nop
00128098
00128098loc_128098:
00128098mov rax, [rsp+16]
0012809dcall camlLexstate.save_arg_1030
001280a2mov [rsp+8], rax
001280a7mov rax, [rsp+16]
001280accall camlLexstate.save_sub_1079
001280b1test al, 1
001280b3je 0x1280c0
001280b5lea rsi, [rip+0x1eeef4]
001280bcjmp 0x1280c3
001280benop
001280c0
001280c0loc_1280c0:
001280c0mov rsi, [rax]
001280c3
001280c3loc_1280c3:
001280c3mov rdi, [rsp+8]
001280c8
001280c8loc_1280c8:
001280c8mov r9, [rsp]
001280ccmov rbx, [r9+24]
001280d0lea rdx, [rip+0x1ee8c9]
001280d7mov rcx, [rdx+648]
001280desub r15, 40
001280e2cmp r15, [r14]
001280e5jb 0x1281b1
001280eb
001280ebloc_1280eb:
001280eblea rax, [r15+8]
001280efmov [rax-8], 4343
001280f7lea r8, [rip+226]
001280femov [rax], r8
00128101mov r8, 0x100000000000005
0012810bmov [rax+8], r8
0012810fmov [rax+16], rbx
00128113mov [rax+24], rcx
00128117mov rbx, [r9+40]
0012811bmov rcx, [rbx+232]
00128122mov rbx, [rdx+136]
00128129mov rdx, [rbx]
0012812clea rbx, [rip+0x16f3bd]
00128133add rsp, 24
00128137jmp 0xf7260
0012813c
0012813cloc_12813c:
0012813cmov rax, [rsp]
00128140mov rax, [rax+32]
00128144mov rax, [rax]
00128147cmp rax, 1
0012814bje 0x128177
0012814dmov rax, [rsp+8]
00128152call Stdlib.Char.escaped
00128157lea rbx, [rip+0x171fda]
0012815ecall camlStdlib.$5e_139
00128163mov rbx, rax
00128166lea rax, [rip+0x1719bb]
0012816dcall camlStdlib.$5e_139
00128172call camlMisc.warning_287
00128177
00128177loc_128177:
00128177mov rax, [rsp]
0012817bmov rax, [rax+40]
0012817fmov rbx, [rax+360]
00128186mov rdi, [rbx]
00128189mov rax, [rsp+8]
0012818eadd rsp, 24
00128192jmp rdi
00128194
00128194loc_128194:
00128194mov rax, [rsp]
00128198mov rax, [rax+40]
0012819cmov rbx, [rax+360]
001281a3mov rdi, [rbx]
001281a6mov rax, [rsp+8]
001281abadd rsp, 24
001281afjmp rdi
001281b1
001281b1loc_1281b1:
001281b1call caml_call_gc
001281b6jmp 0x1280eb
001281bb
001281bbloc_1281bb:
001281bbcall caml_call_gc
001281c0jmp 0x128034
001281c5
001281c5loc_1281c5:
001281c5call caml_call_gc
001281cajmp 0x127fc8
001281cf
001281cfloc_1281cf:
001281cfpush 36
001281d1call caml_call_realloc_stack
001281d6pop r10
001281d8jmp 0x127fb2
00127fa0
001281dd
001281dd // align 0x10
001281dd // align 0x10
001281e0
001281e0camlLatexscan.fun_4229:
001281e0mov rdi, rax
001281e3mov rax, [rbx+16]
001281e7mov rbx, rdi
001281eajmp 0x17f340
001281e0
001281e0camlLatexscan.fun_4229:
001281e0mov rdi, rax
001281e3mov rax, [rbx+16]
001281e7mov rbx, rdi
001281eajmp 0x17f340
001281e0
001281ef
001281ef // align 0x10
001281ef // align 0x10
001281f6
001281f6 // align 0x10
001281f6 // align 0x10
00128200
00128200camlLatexscan.fun_4234:
00128200mov rsi, rax
00128203mov rdi, [rbx+16]
00128207mov eax, 191
0012820cmov rbx, rsi
0012820fjmp 0x127fa0
00128200
00128200camlLatexscan.fun_4234:
00128200mov rsi, rax
00128203mov rdi, [rbx+16]
00128207mov eax, 191
0012820cmov rbx, rsi
0012820fjmp 0x127fa0
00128200
00128214
00128214 // align 0x10
00128214 // align 0x10
00128220
00128220camlLatexscan.fun_4240:
00128220mov rsi, rax
00128223mov rdi, [rbx+16]
00128227mov eax, 189
0012822cmov rbx, rsi
0012822fjmp 0x127fa0
00128220
00128220camlLatexscan.fun_4240:
00128220mov rsi, rax
00128223mov rdi, [rbx+16]
00128227mov eax, 189
0012822cmov rbx, rsi
0012822fjmp 0x127fa0
00128220
00128234
00128234 // align 0x10
00128234 // align 0x10
00128240
00128240camlLatexscan.fun_4246:
00128240lea r10, [rsp-352]
00128248cmp r10, [r14+40]
0012824cjb 0x1284c8
00128252
00128252loc_128252:
00128252sub rsp, 32
00128256mov [rsp], rax
0012825amov [rsp+16], rbx
0012825fcall camlLexstate.save_arg_1030
00128264mov [rsp+24], rax
00128269mov rax, [rsp]
0012826dcall camlLexstate.save_sup_sub_1088
00128272mov rcx, [rax+16]
00128276mov [rsp+8], rcx
0012827bmov r12, [rax+8]
0012827fmov [rsp], r12
00128283mov rax, [rax]
00128286test al, 1
00128288jne 0x128364
0012828emov rax, [rax]
00128291sar rax, 1
00128294cmp rax, 1
00128298jb 0x128364
0012829eje 0x128420
001282a4lea rax, [rip+0x1ee6f5]
001282abmov rdx, [rax+136]
001282b2mov rbx, [rdx]
001282b5cmp rbx, 1
001282b9je 0x128420
001282bfsub r15, 80
001282c3cmp r15, [r14]
001282c6jb 0x1284be
001282cc
001282ccloc_1282cc:
001282cclea rsi, [r15+8]
001282d0add rsi, 40
001282d4mov [rsi-8], 4343
001282dclea rbx, [rip+557]
001282e3mov [rsi], rbx
001282e6mov rbx, 0x100000000000005
001282f0mov [rsi+8], rbx
001282f4mov rbx, [rsp+16]
001282f9mov r8, [rbx+16]
001282fdmov [rsi+16], r8
00128301mov rdi, [rsp+24]
00128306mov [rsi+24], rdi
0012830amov rax, [rax+648]
00128311lea rdi, [rsi-40]
00128315mov [rdi-8], 4343
0012831dlea r9, [rip+476]
00128324mov [rdi], r9
00128327mov r9, 0x100000000000005
00128331mov [rdi+8], r9
00128335mov [rdi+16], r8
00128339mov [rdi+24], rax
0012833dmov rax, [rbx+24]
00128341mov r9, [rax+248]
00128348mov r8, [rdx]
0012834bmov ebx, 7
00128350mov eax, 3
00128355mov rdx, r12
00128358add rsp, 32
0012835cjmp 0xf71a0
00128361
00128361 0f 1f 00 ...
00128364
00128364loc_128364:
00128364lea rax, [rip+0x1ee635]
0012836bmov rsi, [rax+136]
00128372mov rbx, [rsi]
00128375cmp rbx, 1
00128379je 0x128420
0012837fsub r15, 80
00128383cmp r15, [r14]
00128386jb 0x1284b4
0012838c
0012838cloc_12838c:
0012838clea rbx, [r15+8]
00128390add rbx, 40
00128394mov [rbx-8], 4343
0012839clea rdi, [rip+333]
001283a3mov [rbx], rdi
001283a6mov rdi, 0x100000000000005
001283b0mov [rbx+8], rdi
001283b4mov rdi, [rsp+16]
001283b9mov rdx, [rdi+16]
001283bdmov [rbx+16], rdx
001283c1mov r8, [rsp+24]
001283c6mov [rbx+24], r8
001283camov r8, [rax+648]
001283d1lea rax, [rbx-40]
001283d5mov [rax-8], 4343
001283ddlea r9, [rip+252]
001283e4mov [rax], r9
001283e7mov r9, 0x100000000000005
001283f1mov [rax+8], r9
001283f5mov [rax+16], rdx
001283f9mov [rax+24], r8
001283fdmov rdi, [rdi+24]
00128401mov r8, [rdi+240]
00128408mov rdx, [rsi]
0012840bmov rdi, r12
0012840emov rsi, rcx
00128411mov rcx, r8
00128414add rsp, 32
00128418jmp 0xf7260
0012841d
0012841d 0f 1f 00 ...
00128420
00128420loc_128420:
00128420mov rax, [rsp+16]
00128425mov rax, [rax+16]
00128429mov rbx, [rsp+24]
0012842ecall camlLexstate.scan_this_arg_1187
00128433mov rcx, [rsp+16]
00128438mov rbx, [rcx+16]
0012843clea rdi, [rip+0x1ee55d]
00128443mov rsi, [rdi+648]
0012844asub r15, 40
0012844ecmp r15, [r14]
00128451jb 0x1284ad
00128453
00128453loc_128453:
00128453lea rax, [r15+8]
00128457mov [rax-8], 4343
0012845flea rdx, [rip+186]
00128466mov [rax], rdx
00128469mov rdx, 0x100000000000005
00128473mov [rax+8], rdx
00128477mov [rax+16], rbx
0012847bmov [rax+24], rsi
0012847fmov rbx, [rcx+24]
00128483mov rcx, [rbx+232]
0012848amov rbx, [rdi+136]
00128491mov rdx, [rbx]
00128494lea rbx, [rip+0x16ef45]
0012849bmov rdi, [rsp]
0012849fmov rsi, [rsp+8]
001284a4add rsp, 32
001284a8jmp 0xf7260
001284ad
001284adloc_1284ad:
001284adcall caml_call_gc
001284b2jmp 0x128453
001284b4
001284b4loc_1284b4:
001284b4call caml_call_gc
001284b9jmp 0x12838c
001284be
001284beloc_1284be:
001284becall caml_call_gc
001284c3jmp 0x1282cc
001284c8
001284c8loc_1284c8:
001284c8push 37
001284cacall caml_call_realloc_stack
001284cfpop r10
001284d1jmp 0x128252
00128240
00128240camlLatexscan.fun_4246:
00128240lea r10, [rsp-352]
00128248cmp r10, [r14+40]
0012824cjb 0x1284c8
00128252
00128252loc_128252:
00128252sub rsp, 32
00128256mov [rsp], rax
0012825amov [rsp+16], rbx
0012825fcall camlLexstate.save_arg_1030
00128264mov [rsp+24], rax
00128269mov rax, [rsp]
0012826dcall camlLexstate.save_sup_sub_1088
00128272mov rcx, [rax+16]
00128276mov [rsp+8], rcx
0012827bmov r12, [rax+8]
0012827fmov [rsp], r12
00128283mov rax, [rax]
00128286test al, 1
00128288jne 0x128364
0012828emov rax, [rax]
00128291sar rax, 1
00128294cmp rax, 1
00128298jb 0x128364
0012829eje 0x128420
001282a4lea rax, [rip+0x1ee6f5]
001282abmov rdx, [rax+136]
001282b2mov rbx, [rdx]
001282b5cmp rbx, 1
001282b9je 0x128420
001282bfsub r15, 80
001282c3cmp r15, [r14]
001282c6jb 0x1284be
001282cc
001282ccloc_1282cc:
001282cclea rsi, [r15+8]
001282d0add rsi, 40
001282d4mov [rsi-8], 4343
001282dclea rbx, [rip+557]
001282e3mov [rsi], rbx
001282e6mov rbx, 0x100000000000005
001282f0mov [rsi+8], rbx
001282f4mov rbx, [rsp+16]
001282f9mov r8, [rbx+16]
001282fdmov [rsi+16], r8
00128301mov rdi, [rsp+24]
00128306mov [rsi+24], rdi
0012830amov rax, [rax+648]
00128311lea rdi, [rsi-40]
00128315mov [rdi-8], 4343
0012831dlea r9, [rip+476]
00128324mov [rdi], r9
00128327mov r9, 0x100000000000005
00128331mov [rdi+8], r9
00128335mov [rdi+16], r8
00128339mov [rdi+24], rax
0012833dmov rax, [rbx+24]
00128341mov r9, [rax+248]
00128348mov r8, [rdx]
0012834bmov ebx, 7
00128350mov eax, 3
00128355mov rdx, r12
00128358add rsp, 32
0012835cjmp 0xf71a0
00128361
00128361 0f 1f 00 ...
00128364
00128364loc_128364:
00128364lea rax, [rip+0x1ee635]
0012836bmov rsi, [rax+136]
00128372mov rbx, [rsi]
00128375cmp rbx, 1
00128379je 0x128420
0012837fsub r15, 80
00128383cmp r15, [r14]
00128386jb 0x1284b4
0012838c
0012838cloc_12838c:
0012838clea rbx, [r15+8]
00128390add rbx, 40
00128394mov [rbx-8], 4343
0012839clea rdi, [rip+333]
001283a3mov [rbx], rdi
001283a6mov rdi, 0x100000000000005
001283b0mov [rbx+8], rdi
001283b4mov rdi, [rsp+16]
001283b9mov rdx, [rdi+16]
001283bdmov [rbx+16], rdx
001283c1mov r8, [rsp+24]
001283c6mov [rbx+24], r8
001283camov r8, [rax+648]
001283d1lea rax, [rbx-40]
001283d5mov [rax-8], 4343
001283ddlea r9, [rip+252]
001283e4mov [rax], r9
001283e7mov r9, 0x100000000000005
001283f1mov [rax+8], r9
001283f5mov [rax+16], rdx
001283f9mov [rax+24], r8
001283fdmov rdi, [rdi+24]
00128401mov r8, [rdi+240]
00128408mov rdx, [rsi]
0012840bmov rdi, r12
0012840emov rsi, rcx
00128411mov rcx, r8
00128414add rsp, 32
00128418jmp 0xf7260
0012841d
0012841d 0f 1f 00 ...
00128420
00128420loc_128420:
00128420mov rax, [rsp+16]
00128425mov rax, [rax+16]
00128429mov rbx, [rsp+24]
0012842ecall camlLexstate.scan_this_arg_1187
00128433mov rcx, [rsp+16]
00128438mov rbx, [rcx+16]
0012843clea rdi, [rip+0x1ee55d]
00128443mov rsi, [rdi+648]
0012844asub r15, 40
0012844ecmp r15, [r14]
00128451jb 0x1284ad
00128453
00128453loc_128453:
00128453lea rax, [r15+8]
00128457mov [rax-8], 4343
0012845flea rdx, [rip+186]
00128466mov [rax], rdx
00128469mov rdx, 0x100000000000005
00128473mov [rax+8], rdx
00128477mov [rax+16], rbx
0012847bmov [rax+24], rsi
0012847fmov rbx, [rcx+24]
00128483mov rcx, [rbx+232]
0012848amov rbx, [rdi+136]
00128491mov rdx, [rbx]
00128494lea rbx, [rip+0x16ef45]
0012849bmov rdi, [rsp]
0012849fmov rsi, [rsp+8]
001284a4add rsp, 32
001284a8jmp 0xf7260
001284ad
001284adloc_1284ad:
001284adcall caml_call_gc
001284b2jmp 0x128453
001284b4
001284b4loc_1284b4:
001284b4call caml_call_gc
001284b9jmp 0x12838c
001284be
001284beloc_1284be:
001284becall caml_call_gc
001284c3jmp 0x1282cc
001284c8
001284c8loc_1284c8:
001284c8push 37
001284cacall caml_call_realloc_stack
001284cfpop r10
001284d1jmp 0x128252
00128240
001284d6
001284d6 // align 0x10
001284d6 // align 0x10
001284e0
001284e0camlLatexscan.fun_4287:
001284e0mov rdi, rax
001284e3mov rax, [rbx+16]
001284e7mov rbx, rdi
001284eajmp 0x17f340
001284e0
001284e0camlLatexscan.fun_4287:
001284e0mov rdi, rax
001284e3mov rax, [rbx+16]
001284e7mov rbx, rdi
001284eajmp 0x17f340
001284e0
001284ef
001284ef // align 0x10
001284ef // align 0x10
001284f0
001284f0camlLatexscan.fun_4290:
001284f0mov rdi, [rbx+24]
001284f4mov rax, [rbx+16]
001284f8mov rbx, rdi
001284fbjmp 0x17f340
001284f0
001284f0camlLatexscan.fun_4290:
001284f0mov rdi, [rbx+24]
001284f4mov rax, [rbx+16]
001284f8mov rbx, rdi
001284fbjmp 0x17f340
001284f0
00128500
00128500camlLatexscan.fun_4278:
00128500mov rdi, rax
00128503mov rax, [rbx+16]
00128507mov rbx, rdi
0012850ajmp 0x17f340
00128500
00128500camlLatexscan.fun_4278:
00128500mov rdi, rax
00128503mov rax, [rbx+16]
00128507mov rbx, rdi
0012850ajmp 0x17f340
00128500
0012850f
0012850f // align 0x10
0012850f // align 0x10
00128510
00128510camlLatexscan.fun_4281:
00128510mov rdi, [rbx+24]
00128514mov rax, [rbx+16]
00128518mov rbx, rdi
0012851bjmp 0x17f340
00128510
00128510camlLatexscan.fun_4281:
00128510mov rdi, [rbx+24]
00128514mov rax, [rbx+16]
00128518mov rbx, rdi
0012851bjmp 0x17f340
00128510
00128520
00128520camlLatexscan.fun_4296:
00128520mov rdi, rax
00128523mov rax, [rbx+16]
00128527mov rbx, rdi
0012852ajmp 0x17f340
00128520
00128520camlLatexscan.fun_4296:
00128520mov rdi, rax
00128523mov rax, [rbx+16]
00128527mov rbx, rdi
0012852ajmp 0x17f340
00128520
0012852f
0012852f // align 0x10
0012852f // align 0x10
00128536
00128536 // align 0x10
00128536 // align 0x10
00128540
00128540camlLatexscan.fun_4302:
00128540lea r10, [rsp-352]
00128548cmp r10, [r14+40]
0012854cjb 0x1287c8
00128552
00128552loc_128552:
00128552sub rsp, 32
00128556mov [rsp], rax
0012855amov [rsp+16], rbx
0012855fcall camlLexstate.save_arg_1030
00128564mov [rsp+24], rax
00128569mov rax, [rsp]
0012856dcall camlLexstate.save_sup_sub_1088
00128572mov rcx, [rax+16]
00128576mov [rsp+8], rcx
0012857bmov r12, [rax+8]
0012857fmov [rsp], r12
00128583mov rax, [rax]
00128586test al, 1
00128588jne 0x128660
0012858emov rax, [rax]
00128591sar rax, 1
00128594cmp rax, 1
00128598je 0x128720
0012859eja 0x128660
001285a4lea rax, [rip+0x1ee3f5]
001285abmov rsi, [rax+136]
001285b2mov rbx, [rsi]
001285b5cmp rbx, 1
001285b9je 0x128720
001285bfsub r15, 80
001285c3cmp r15, [r14]
001285c6jb 0x1287be
001285cc
001285ccloc_1285cc:
001285cclea rbx, [r15+8]
001285d0add rbx, 40
001285d4mov [rbx-8], 4343
001285dclea rdi, [rip+525]
001285e3mov [rbx], rdi
001285e6mov rdi, 0x100000000000005
001285f0mov [rbx+8], rdi
001285f4mov rdi, [rsp+16]
001285f9mov rdx, [rdi+16]
001285fdmov [rbx+16], rdx
00128601mov r8, [rsp+24]
00128606mov [rbx+24], r8
0012860amov r8, [rax+648]
00128611lea rax, [rbx-40]
00128615mov [rax-8], 4343
0012861dlea r9, [rip+444]
00128624mov [rax], r9
00128627mov r9, 0x100000000000005
00128631mov [rax+8], r9
00128635mov [rax+16], rdx
00128639mov [rax+24], r8
0012863dmov rdi, [rdi+24]
00128641mov r8, [rdi+240]
00128648mov rdx, [rsi]
0012864bmov rdi, r12
0012864emov rsi, rcx
00128651mov rcx, r8
00128654add rsp, 32
00128658jmp 0xf7260
0012865d
0012865d 0f 1f 00 ...
00128660
00128660loc_128660:
00128660lea rax, [rip+0x1ee339]
00128667mov rdx, [rax+136]
0012866emov rbx, [rdx]
00128671cmp rbx, 1
00128675je 0x128720
0012867bsub r15, 80
0012867fcmp r15, [r14]
00128682jb 0x1287b4
00128688
00128688loc_128688:
00128688lea rsi, [r15+8]
0012868cadd rsi, 40
00128690mov [rsi-8], 4343
00128698lea rbx, [rip+369]
0012869fmov [rsi], rbx
001286a2mov rbx, 0x100000000000005
001286acmov [rsi+8], rbx
001286b0mov rbx, [rsp+16]
001286b5mov r8, [rbx+16]
001286b9mov [rsi+16], r8
001286bdmov rdi, [rsp+24]
001286c2mov [rsi+24], rdi
001286c6mov rax, [rax+648]
001286cdlea rdi, [rsi-40]
001286d1mov [rdi-8], 4343
001286d9lea r9, [rip+288]
001286e0mov [rdi], r9
001286e3mov r9, 0x100000000000005
001286edmov [rdi+8], r9
001286f1mov [rdi+16], r8
001286f5mov [rdi+24], rax
001286f9mov rax, [rbx+24]
001286fdmov r9, [rax+248]
00128704mov r8, [rdx]
00128707mov ebx, 7
0012870cmov eax, 3
00128711mov rdx, r12
00128714add rsp, 32
00128718jmp 0xf71a0
0012871d
0012871d 0f 1f 00 ...
00128720
00128720loc_128720:
00128720mov rax, [rsp+16]
00128725mov rax, [rax+16]
00128729mov rbx, [rsp+24]
0012872ecall camlLexstate.scan_this_arg_1187
00128733mov rcx, [rsp+16]
00128738mov rbx, [rcx+16]
0012873clea rdi, [rip+0x1ee25d]
00128743mov rsi, [rdi+648]
0012874asub r15, 40
0012874ecmp r15, [r14]
00128751jb 0x1287ad
00128753
00128753loc_128753:
00128753lea rax, [r15+8]
00128757mov [rax-8], 4343
0012875flea rdx, [rip+186]
00128766mov [rax], rdx
00128769mov rdx, 0x100000000000005
00128773mov [rax+8], rdx
00128777mov [rax+16], rbx
0012877bmov [rax+24], rsi
0012877fmov rbx, [rcx+24]
00128783mov rcx, [rbx+232]
0012878amov rbx, [rdi+136]
00128791mov rdx, [rbx]
00128794lea rbx, [rip+0x16ec5d]
0012879bmov rdi, [rsp]
0012879fmov rsi, [rsp+8]
001287a4add rsp, 32
001287a8jmp 0xf7260
001287ad
001287adloc_1287ad:
001287adcall caml_call_gc
001287b2jmp 0x128753
001287b4
001287b4loc_1287b4:
001287b4call caml_call_gc
001287b9jmp 0x128688
001287be
001287beloc_1287be:
001287becall caml_call_gc
001287c3jmp 0x1285cc
001287c8
001287c8loc_1287c8:
001287c8push 37
001287cacall caml_call_realloc_stack
001287cfpop r10
001287d1jmp 0x128552
00128540
00128540camlLatexscan.fun_4302:
00128540lea r10, [rsp-352]
00128548cmp r10, [r14+40]
0012854cjb 0x1287c8
00128552
00128552loc_128552:
00128552sub rsp, 32
00128556mov [rsp], rax
0012855amov [rsp+16], rbx
0012855fcall camlLexstate.save_arg_1030
00128564mov [rsp+24], rax
00128569mov rax, [rsp]
0012856dcall camlLexstate.save_sup_sub_1088
00128572mov rcx, [rax+16]
00128576mov [rsp+8], rcx
0012857bmov r12, [rax+8]
0012857fmov [rsp], r12
00128583mov rax, [rax]
00128586test al, 1
00128588jne 0x128660
0012858emov rax, [rax]
00128591sar rax, 1
00128594cmp rax, 1
00128598je 0x128720
0012859eja 0x128660
001285a4lea rax, [rip+0x1ee3f5]
001285abmov rsi, [rax+136]
001285b2mov rbx, [rsi]
001285b5cmp rbx, 1
001285b9je 0x128720
001285bfsub r15, 80
001285c3cmp r15, [r14]
001285c6jb 0x1287be
001285cc
001285ccloc_1285cc:
001285cclea rbx, [r15+8]
001285d0add rbx, 40
001285d4mov [rbx-8], 4343
001285dclea rdi, [rip+525]
001285e3mov [rbx], rdi
001285e6mov rdi, 0x100000000000005
001285f0mov [rbx+8], rdi
001285f4mov rdi, [rsp+16]
001285f9mov rdx, [rdi+16]
001285fdmov [rbx+16], rdx
00128601mov r8, [rsp+24]
00128606mov [rbx+24], r8
0012860amov r8, [rax+648]
00128611lea rax, [rbx-40]
00128615mov [rax-8], 4343
0012861dlea r9, [rip+444]
00128624mov [rax], r9
00128627mov r9, 0x100000000000005
00128631mov [rax+8], r9
00128635mov [rax+16], rdx
00128639mov [rax+24], r8
0012863dmov rdi, [rdi+24]
00128641mov r8, [rdi+240]
00128648mov rdx, [rsi]
0012864bmov rdi, r12
0012864emov rsi, rcx
00128651mov rcx, r8
00128654add rsp, 32
00128658jmp 0xf7260
0012865d
0012865d 0f 1f 00 ...
00128660
00128660loc_128660:
00128660lea rax, [rip+0x1ee339]
00128667mov rdx, [rax+136]
0012866emov rbx, [rdx]
00128671cmp rbx, 1
00128675je 0x128720
0012867bsub r15, 80
0012867fcmp r15, [r14]
00128682jb 0x1287b4
00128688
00128688loc_128688:
00128688lea rsi, [r15+8]
0012868cadd rsi, 40
00128690mov [rsi-8], 4343
00128698lea rbx, [rip+369]
0012869fmov [rsi], rbx
001286a2mov rbx, 0x100000000000005
001286acmov [rsi+8], rbx
001286b0mov rbx, [rsp+16]
001286b5mov r8, [rbx+16]
001286b9mov [rsi+16], r8
001286bdmov rdi, [rsp+24]
001286c2mov [rsi+24], rdi
001286c6mov rax, [rax+648]
001286cdlea rdi, [rsi-40]
001286d1mov [rdi-8], 4343
001286d9lea r9, [rip+288]
001286e0mov [rdi], r9
001286e3mov r9, 0x100000000000005
001286edmov [rdi+8], r9
001286f1mov [rdi+16], r8
001286f5mov [rdi+24], rax
001286f9mov rax, [rbx+24]
001286fdmov r9, [rax+248]
00128704mov r8, [rdx]
00128707mov ebx, 7
0012870cmov eax, 3
00128711mov rdx, r12
00128714add rsp, 32
00128718jmp 0xf71a0
0012871d
0012871d 0f 1f 00 ...
00128720
00128720loc_128720:
00128720mov rax, [rsp+16]
00128725mov rax, [rax+16]
00128729mov rbx, [rsp+24]
0012872ecall camlLexstate.scan_this_arg_1187
00128733mov rcx, [rsp+16]
00128738mov rbx, [rcx+16]
0012873clea rdi, [rip+0x1ee25d]
00128743mov rsi, [rdi+648]
0012874asub r15, 40
0012874ecmp r15, [r14]
00128751jb 0x1287ad
00128753
00128753loc_128753:
00128753lea rax, [r15+8]
00128757mov [rax-8], 4343
0012875flea rdx, [rip+186]
00128766mov [rax], rdx
00128769mov rdx, 0x100000000000005
00128773mov [rax+8], rdx
00128777mov [rax+16], rbx
0012877bmov [rax+24], rsi
0012877fmov rbx, [rcx+24]
00128783mov rcx, [rbx+232]
0012878amov rbx, [rdi+136]
00128791mov rdx, [rbx]
00128794lea rbx, [rip+0x16ec5d]
0012879bmov rdi, [rsp]
0012879fmov rsi, [rsp+8]
001287a4add rsp, 32
001287a8jmp 0xf7260
001287ad
001287adloc_1287ad:
001287adcall caml_call_gc
001287b2jmp 0x128753
001287b4
001287b4loc_1287b4:
001287b4call caml_call_gc
001287b9jmp 0x128688
001287be
001287beloc_1287be:
001287becall caml_call_gc
001287c3jmp 0x1285cc
001287c8
001287c8loc_1287c8:
001287c8push 37
001287cacall caml_call_realloc_stack
001287cfpop r10
001287d1jmp 0x128552
00128540
Loading..