File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
00131640
00131640camlLatexscan.fun_6615:
00131640mov rdi, rax
00131643mov rsi, rbx
00131646sub r15, 96
0013164acmp r15, [r14]
0013164djb 0x1316d3
00131653
00131653loc_131653:
00131653lea rax, [r15+8]
00131657add rax, 80
0013165bmov [rax-8], 1024
00131663mov [rax], 3
0013166alea rbx, [rax-48]
0013166emov [rbx-8], 5367
00131676lea rdx, [rip+179]
0013167dmov [rbx], rdx
00131680mov rdx, 0x100000000000005
0013168amov [rbx+8], rdx
0013168emov rdx, [rsi+16]
00131692mov [rbx+16], rdx
00131696mov [rbx+24], rax
0013169amov rax, [rsi+32]
0013169emov [rbx+32], rax
001316a2lea rax, [rbx-32]
001316a6mov [rax-8], 3319
001316aelea rcx, [rip+43]
001316b5mov [rax], rcx
001316b8mov rcx, 0x100000000000005
001316c2mov [rax+8], rcx
001316c6mov [rax+16], rdx
001316camov rsi, [rsi+24]
001316cejmp 0x1313c0
001316d3
001316d3loc_1316d3:
001316d3call caml_call_gc
001316d8jmp 0x131653
00131640
00131640camlLatexscan.fun_6615:
00131640mov rdi, rax
00131643mov rsi, rbx
00131646sub r15, 96
0013164acmp r15, [r14]
0013164djb 0x1316d3
00131653
00131653loc_131653:
00131653lea rax, [r15+8]
00131657add rax, 80
0013165bmov [rax-8], 1024
00131663mov [rax], 3
0013166alea rbx, [rax-48]
0013166emov [rbx-8], 5367
00131676lea rdx, [rip+179]
0013167dmov [rbx], rdx
00131680mov rdx, 0x100000000000005
0013168amov [rbx+8], rdx
0013168emov rdx, [rsi+16]
00131692mov [rbx+16], rdx
00131696mov [rbx+24], rax
0013169amov rax, [rsi+32]
0013169emov [rbx+32], rax
001316a2lea rax, [rbx-32]
001316a6mov [rax-8], 3319
001316aelea rcx, [rip+43]
001316b5mov [rax], rcx
001316b8mov rcx, 0x100000000000005
001316c2mov [rax+8], rcx
001316c6mov [rax+16], rdx
001316camov rsi, [rsi+24]
001316cejmp 0x1313c0
001316d3
001316d3loc_1316d3:
001316d3call caml_call_gc
001316d8jmp 0x131653
00131640
001316dd
001316dd // align 0x10
001316dd // align 0x10
001316e0
001316e0camlLatexscan.fun_6627:
001316e0lea r10, [rsp-328]
001316e8cmp r10, [r14+40]
001316ecjb 0x131725
001316ee
001316eeloc_1316ee:
001316eesub rsp, 8
001316f2mov rdi, rax
001316f5mov [rsp], rbx
001316f9lea rax, [rip+0x1667f8]
00131700mov rbx, rdi
00131703call camlStdlib.$5e_139
00131708call camlMisc.warning_287
0013170dlea rbx, [rip+0x1667d4]
00131714mov rax, [rsp]
00131718mov rax, [rax+16]
0013171cadd rsp, 8
00131720jmp 0x17f150
00131725
00131725loc_131725:
00131725push 34
00131727call caml_call_realloc_stack
0013172cpop r10
0013172ejmp 0x1316ee
001316e0
001316e0camlLatexscan.fun_6627:
001316e0lea r10, [rsp-328]
001316e8cmp r10, [r14+40]
001316ecjb 0x131725
001316ee
001316eeloc_1316ee:
001316eesub rsp, 8
001316f2mov rdi, rax
001316f5mov [rsp], rbx
001316f9lea rax, [rip+0x1667f8]
00131700mov rbx, rdi
00131703call camlStdlib.$5e_139
00131708call camlMisc.warning_287
0013170dlea rbx, [rip+0x1667d4]
00131714mov rax, [rsp]
00131718mov rax, [rax+16]
0013171cadd rsp, 8
00131720jmp 0x17f150
00131725
00131725loc_131725:
00131725push 34
00131727call caml_call_realloc_stack
0013172cpop r10
0013172ejmp 0x1316ee
001316e0
00131730
00131730camlLatexscan.fun_6630:
00131730lea r10, [rsp-328]
00131738cmp r10, [r14+40]
0013173cjb 0x131789
0013173e
0013173eloc_13173e:
0013173esub rsp, 8
00131742mov [rsp], rbx
00131746mov rax, [rbx+24]
0013174amov rdi, [rax]
0013174dcmp rdi, 1
00131751je 0x13175c
00131753mov [rax], 1
0013175ajmp 0x131771
0013175c
0013175cloc_13175c:
0013175cmov rax, [rbx+32]
00131760mov rbx, [rax+384]
00131767mov eax, 1
0013176cmov rdi, [rbx]
0013176fcall rdi
00131771
00131771loc_131771:
00131771lea rbx, [rip+0x166770]
00131778mov rax, [rsp]
0013177cmov rax, [rax+16]
00131780add rsp, 8
00131784jmp 0x17f150
00131789
00131789loc_131789:
00131789push 34
0013178bcall caml_call_realloc_stack
00131790pop r10
00131792jmp 0x13173e
00131730
00131730camlLatexscan.fun_6630:
00131730lea r10, [rsp-328]
00131738cmp r10, [r14+40]
0013173cjb 0x131789
0013173e
0013173eloc_13173e:
0013173esub rsp, 8
00131742mov [rsp], rbx
00131746mov rax, [rbx+24]
0013174amov rdi, [rax]
0013174dcmp rdi, 1
00131751je 0x13175c
00131753mov [rax], 1
0013175ajmp 0x131771
0013175c
0013175cloc_13175c:
0013175cmov rax, [rbx+32]
00131760mov rbx, [rax+384]
00131767mov eax, 1
0013176cmov rdi, [rbx]
0013176fcall rdi
00131771
00131771loc_131771:
00131771lea rbx, [rip+0x166770]
00131778mov rax, [rsp]
0013177cmov rax, [rax+16]
00131780add rsp, 8
00131784jmp 0x17f150
00131789
00131789loc_131789:
00131789push 34
0013178bcall caml_call_realloc_stack
00131790pop r10
00131792jmp 0x13173e
00131730
00131794
00131794 // align 0x10
00131794 // align 0x10
001317a0
001317a0camlLatexscan.fun_6637:
001317a0lea r10, [rsp-336]
001317a8cmp r10, [r14+40]
001317acjb 0x1317f8
001317ae
001317aeloc_1317ae:
001317aesub rsp, 16
001317b2mov [rsp+8], rax
001317b7mov [rsp], rbx
001317bbmov rbx, [rbx+16]
001317bflea rax, [rip+0x1666b2]
001317c6call camlLatexscan.new_env_859
001317cbmov rax, [rsp]
001317cfmov rdi, [rax+24]
001317d3lea rbx, [rip+0x16ce8e]
001317damov rax, rbx
001317ddcall camlLatexscan.top_open_block_1029
001317e2mov rax, [rsp]
001317e6mov rbx, [rax+32]
001317eamov rax, [rsp+8]
001317efadd rsp, 16
001317f3jmp 0x127b00
001317f8
001317f8loc_1317f8:
001317f8push 35
001317facall caml_call_realloc_stack
001317ffpop r10
00131801jmp 0x1317ae
001317a0
001317a0camlLatexscan.fun_6637:
001317a0lea r10, [rsp-336]
001317a8cmp r10, [r14+40]
001317acjb 0x1317f8
001317ae
001317aeloc_1317ae:
001317aesub rsp, 16
001317b2mov [rsp+8], rax
001317b7mov [rsp], rbx
001317bbmov rbx, [rbx+16]
001317bflea rax, [rip+0x1666b2]
001317c6call camlLatexscan.new_env_859
001317cbmov rax, [rsp]
001317cfmov rdi, [rax+24]
001317d3lea rbx, [rip+0x16ce8e]
001317damov rax, rbx
001317ddcall camlLatexscan.top_open_block_1029
001317e2mov rax, [rsp]
001317e6mov rbx, [rax+32]
001317eamov rax, [rsp+8]
001317efadd rsp, 16
001317f3jmp 0x127b00
001317f8
001317f8loc_1317f8:
001317f8push 35
001317facall caml_call_realloc_stack
001317ffpop r10
00131801jmp 0x1317ae
001317a0
00131803
00131803 // align 0x10
00131803 // align 0x10
00131810
00131810camlLatexscan.fun_6647:
00131810lea r10, [rsp-336]
00131818cmp r10, [r14+40]
0013181cjb 0x131874
0013181e
0013181eloc_13181e:
0013181esub rsp, 16
00131822mov [rsp+8], rax
00131827mov [rsp], rbx
0013182bmov rbx, [rbx+32]
0013182fmov rax, [rbx+24]
00131833mov rax, [rax+128]
0013183amov rdi, [rbx+16]
0013183elea rbx, [rip+0x16ce23]
00131845call camlLatexscan.top_close_block_aux_1030
0013184amov rbx, [rsp]
0013184emov rax, [rbx+16]
00131852mov rax, [rax]
00131855mov rbx, [rbx+24]
00131859call camlLatexscan.close_env_866
0013185emov rax, [rsp]
00131862mov rbx, [rax+40]
00131866mov rax, [rsp+8]
0013186badd rsp, 16
0013186fjmp 0x127b00
00131874
00131874loc_131874:
00131874push 35
00131876call caml_call_realloc_stack
0013187bpop r10
0013187djmp 0x13181e
00131810
00131810camlLatexscan.fun_6647:
00131810lea r10, [rsp-336]
00131818cmp r10, [r14+40]
0013181cjb 0x131874
0013181e
0013181eloc_13181e:
0013181esub rsp, 16
00131822mov [rsp+8], rax
00131827mov [rsp], rbx
0013182bmov rbx, [rbx+32]
0013182fmov rax, [rbx+24]
00131833mov rax, [rax+128]
0013183amov rdi, [rbx+16]
0013183elea rbx, [rip+0x16ce23]
00131845call camlLatexscan.top_close_block_aux_1030
0013184amov rbx, [rsp]
0013184emov rax, [rbx+16]
00131852mov rax, [rax]
00131855mov rbx, [rbx+24]
00131859call camlLatexscan.close_env_866
0013185emov rax, [rsp]
00131862mov rbx, [rax+40]
00131866mov rax, [rsp+8]
0013186badd rsp, 16
0013186fjmp 0x127b00
00131874
00131874loc_131874:
00131874push 35
00131876call caml_call_realloc_stack
0013187bpop r10
0013187djmp 0x13181e
00131810
0013187f
0013187f // align 0x10
0013187f // align 0x10
00131880
00131880camlLatexscan.fun_6663:
00131880lea r10, [rsp-328]
00131888cmp r10, [r14+40]
0013188cjb 0x131944
00131892
00131892loc_131892:
00131892sub rsp, 8
00131896mov [rsp], rbx
0013189asub r15, 40
0013189ecmp r15, [r14]
001318a1jb 0x13193a
001318a7
001318a7loc_1318a7:
001318a7lea rdi, [r15+8]
001318abmov [rdi-8], 4343
001318b3lea rax, [rip+166]
001318bamov [rdi], rax
001318bdmov rax, 0x100000000000005
001318c7mov [rdi+8], rax
001318cbmov rax, [rbx+16]
001318cfmov [rdi+16], rax
001318d3mov rax, [rbx+32]
001318d7mov [rdi+24], rax
001318dblea rax, [rip+0x16654e]
001318e2mov rbx, rdi
001318e5call camlLatexmacros.def_init_965
001318easub r15, 32
001318eecmp r15, [r14]
001318f1jb 0x131933
001318f3
001318f3loc_1318f3:
001318f3lea rbx, [r15+8]
001318f7mov [rbx-8], 3319
001318fflea rax, [rip+330]
00131906mov [rbx], rax
00131909mov rax, 0x100000000000005
00131913mov [rbx+8], rax
00131917mov rax, [rsp]
0013191bmov rax, [rax+32]
0013191fmov [rbx+16], rax
00131923lea rax, [rip+0x1664d6]
0013192aadd rsp, 8
0013192ejmp 0x17b120
00131933
00131933loc_131933:
00131933call caml_call_gc
00131938jmp 0x1318f3
0013193a
0013193aloc_13193a:
0013193acall caml_call_gc
0013193fjmp 0x1318a7
00131944
00131944loc_131944:
00131944push 34
00131946call caml_call_realloc_stack
0013194bpop r10
0013194djmp 0x131892
00131880
00131880camlLatexscan.fun_6663:
00131880lea r10, [rsp-328]
00131888cmp r10, [r14+40]
0013188cjb 0x131944
00131892
00131892loc_131892:
00131892sub rsp, 8
00131896mov [rsp], rbx
0013189asub r15, 40
0013189ecmp r15, [r14]
001318a1jb 0x13193a
001318a7
001318a7loc_1318a7:
001318a7lea rdi, [r15+8]
001318abmov [rdi-8], 4343
001318b3lea rax, [rip+166]
001318bamov [rdi], rax
001318bdmov rax, 0x100000000000005
001318c7mov [rdi+8], rax
001318cbmov rax, [rbx+16]
001318cfmov [rdi+16], rax
001318d3mov rax, [rbx+32]
001318d7mov [rdi+24], rax
001318dblea rax, [rip+0x16654e]
001318e2mov rbx, rdi
001318e5call camlLatexmacros.def_init_965
001318easub r15, 32
001318eecmp r15, [r14]
001318f1jb 0x131933
001318f3
001318f3loc_1318f3:
001318f3lea rbx, [r15+8]
001318f7mov [rbx-8], 3319
001318fflea rax, [rip+330]
00131906mov [rbx], rax
00131909mov rax, 0x100000000000005
00131913mov [rbx+8], rax
00131917mov rax, [rsp]
0013191bmov rax, [rax+32]
0013191fmov [rbx+16], rax
00131923lea rax, [rip+0x1664d6]
0013192aadd rsp, 8
0013192ejmp 0x17b120
00131933
00131933loc_131933:
00131933call caml_call_gc
00131938jmp 0x1318f3
0013193a
0013193aloc_13193a:
0013193acall caml_call_gc
0013193fjmp 0x1318a7
00131944
00131944loc_131944:
00131944push 34
00131946call caml_call_realloc_stack
0013194bpop r10
0013194djmp 0x131892
00131880
00131952
00131952 // align 0x10
00131952 // align 0x10
00131960
00131960camlLatexscan.fun_6682:
00131960lea r10, [rsp-328]
00131968cmp r10, [r14+40]
0013196cjb 0x131a19
00131972
00131972loc_131972:
00131972sub rsp, 8
00131976mov [rsp], rbx
0013197acmp r15, [r14]
0013197djbe 0x131a0f
00131983
00131983loc_131983:
00131983lea rax, [rip+0x1f86e6]
0013198amov rax, [rax+80]
0013198emov rax, [rax]
00131991cmp rax, 3
00131995jle 0x1319a3
00131997lea rax, [rip+0x16647a]
0013199ecall camlStdlib.prerr_endline_390
001319a3
001319a3loc_1319a3:
001319a3lea rax, [rip+0x1e4ff6]
001319aamov rax, [rax+168]
001319b1mov [rax], 3
001319b8lea rax, [rip+0x1659f1]
001319bfmov rbx, [rsp]
001319c3mov rbx, [rbx+16]
001319c7call camlLatexscan.fun_register_813
001319ccmov rax, [rsp]
001319d0mov rax, [rax+24]
001319d4mov rbx, [rax+128]
001319dblea rax, [rip+0x16cc86]
001319e2mov rdi, [rbx]
001319e5call rdi
001319e7mov rax, [rsp]
001319ebmov rax, [rax+24]
001319efmov rsi, [rax+120]
001319f3lea rdi, [rip+0x16cc6e]
001319falea rbx, [rip+0x166517]
00131a01mov eax, 1
00131a06add rsp, 8
00131a0ajmp 0xf7370
00131a0f
00131a0floc_131a0f:
00131a0fcall caml_call_gc
00131a14jmp 0x131983
00131a19
00131a19loc_131a19:
00131a19push 34
00131a1bcall caml_call_realloc_stack
00131a20pop r10
00131a22jmp 0x131972
00131960
00131960camlLatexscan.fun_6682:
00131960lea r10, [rsp-328]
00131968cmp r10, [r14+40]
0013196cjb 0x131a19
00131972
00131972loc_131972:
00131972sub rsp, 8
00131976mov [rsp], rbx
0013197acmp r15, [r14]
0013197djbe 0x131a0f
00131983
00131983loc_131983:
00131983lea rax, [rip+0x1f86e6]
0013198amov rax, [rax+80]
0013198emov rax, [rax]
00131991cmp rax, 3
00131995jle 0x1319a3
00131997lea rax, [rip+0x16647a]
0013199ecall camlStdlib.prerr_endline_390
001319a3
001319a3loc_1319a3:
001319a3lea rax, [rip+0x1e4ff6]
001319aamov rax, [rax+168]
001319b1mov [rax], 3
001319b8lea rax, [rip+0x1659f1]
001319bfmov rbx, [rsp]
001319c3mov rbx, [rbx+16]
001319c7call camlLatexscan.fun_register_813
001319ccmov rax, [rsp]
001319d0mov rax, [rax+24]
001319d4mov rbx, [rax+128]
001319dblea rax, [rip+0x16cc86]
001319e2mov rdi, [rbx]
001319e5call rdi
001319e7mov rax, [rsp]
001319ebmov rax, [rax+24]
001319efmov rsi, [rax+120]
001319f3lea rdi, [rip+0x16cc6e]
001319falea rbx, [rip+0x166517]
00131a01mov eax, 1
00131a06add rsp, 8
00131a0ajmp 0xf7370
00131a0f
00131a0floc_131a0f:
00131a0fcall caml_call_gc
00131a14jmp 0x131983
00131a19
00131a19loc_131a19:
00131a19push 34
00131a1bcall caml_call_realloc_stack
00131a20pop r10
00131a22jmp 0x131972
00131960
00131a27
00131a27 // align 0x10
00131a27 // align 0x10
00131a30
00131a30camlLatexscan.fun_6689:
00131a30lea rax, [rip+0x1e4f69]
00131a37mov rax, [rax+168]
00131a3emov [rax], 1
00131a45mov eax, 1
00131a4aret
00131a30
00131a30camlLatexscan.fun_6689:
00131a30lea rax, [rip+0x1e4f69]
00131a37mov rax, [rax+168]
00131a3emov [rax], 1
00131a45mov eax, 1
00131a4aret
00131a30
00131a4b
00131a4b // align 0x10
00131a4b // align 0x10
00131a50
00131a50camlLatexscan.fun_6694:
00131a50lea r10, [rsp-328]
00131a58cmp r10, [r14+40]
00131a5cjb 0x131ad1
00131a5e
00131a5eloc_131a5e:
00131a5esub rsp, 8
00131a62mov [rsp], rbx
00131a66cmp r15, [r14]
00131a69jbe 0x131aca
00131a6b
00131a6bloc_131a6b:
00131a6blea rax, [rip+0x1f85fe]
00131a72mov rax, [rax+80]
00131a76mov rax, [rax]
00131a79cmp rax, 3
00131a7djle 0x131a8b
00131a7flea rax, [rip+0x166362]
00131a86call camlStdlib.prerr_endline_390
00131a8b
00131a8bloc_131a8b:
00131a8bmov rax, [rsp]
00131a8fmov rax, [rax+16]
00131a93mov rbx, [rax+128]
00131a9alea rax, [rip+0x166477]
00131aa1mov rdi, [rbx]
00131aa4call rdi
00131aa6mov rax, [rsp]
00131aaamov rax, [rax+16]
00131aaemov rsi, [rax+120]
00131ab2lea rdi, [rip+0x16cbaf]
00131ab9mov rbx, rdi
00131abcmov eax, 1
00131ac1add rsp, 8
00131ac5jmp 0xf7370
00131aca
00131acaloc_131aca:
00131acacall caml_call_gc
00131acfjmp 0x131a6b
00131ad1
00131ad1loc_131ad1:
00131ad1push 34
00131ad3call caml_call_realloc_stack
00131ad8pop r10
00131adajmp 0x131a5e
00131a50
00131a50camlLatexscan.fun_6694:
00131a50lea r10, [rsp-328]
00131a58cmp r10, [r14+40]
00131a5cjb 0x131ad1
00131a5e
00131a5eloc_131a5e:
00131a5esub rsp, 8
00131a62mov [rsp], rbx
00131a66cmp r15, [r14]
00131a69jbe 0x131aca
00131a6b
00131a6bloc_131a6b:
00131a6blea rax, [rip+0x1f85fe]
00131a72mov rax, [rax+80]
00131a76mov rax, [rax]
00131a79cmp rax, 3
00131a7djle 0x131a8b
00131a7flea rax, [rip+0x166362]
00131a86call camlStdlib.prerr_endline_390
00131a8b
00131a8bloc_131a8b:
00131a8bmov rax, [rsp]
00131a8fmov rax, [rax+16]
00131a93mov rbx, [rax+128]
00131a9alea rax, [rip+0x166477]
00131aa1mov rdi, [rbx]
00131aa4call rdi
00131aa6mov rax, [rsp]
00131aaamov rax, [rax+16]
00131aaemov rsi, [rax+120]
00131ab2lea rdi, [rip+0x16cbaf]
00131ab9mov rbx, rdi
00131abcmov eax, 1
00131ac1add rsp, 8
00131ac5jmp 0xf7370
00131aca
00131acaloc_131aca:
00131acacall caml_call_gc
00131acfjmp 0x131a6b
00131ad1
00131ad1loc_131ad1:
00131ad1push 34
00131ad3call caml_call_realloc_stack
00131ad8pop r10
00131adajmp 0x131a5e
00131a50
00131adc
00131adc // align 0x10
00131adc // align 0x10
00131ae0
00131ae0camlLatexscan.fun_6698:
00131ae0lea r10, [rsp-344]
00131ae8cmp r10, [r14+40]
00131aecjb 0x131ba2
00131af2
00131af2loc_131af2:
00131af2sub rsp, 24
00131af6mov rdi, [rbx+16]
00131afamov rdi, [rdi]
00131afdtest dil, 1
00131b01jne 0x131b10
00131b03mov [rsp+8], rbx
00131b08mov [rsp], rax
00131b0cjmp 0x131b4c
00131b0enop
00131b10
00131b10loc_131b10:
00131b10sub r15, 24
00131b14cmp r15, [r14]
00131b17jb 0x131b98
00131b19
00131b19loc_131b19:
00131b19lea rax, [r15+8]
00131b1dmov [rax-8], 2048
00131b25lea rbx, [rip+0x1f8544]
00131b2cmov rbx, [rbx+24]
00131b30mov [rax], rbx
00131b33lea rbx, [rip+0x166266]
00131b3amov [rax+8], rbx
00131b3emov rsp, [r14+48]
00131b42pop [r14+48]
00131b46pop r11
00131b48jmp r11
00131b4bnop
00131b4c
00131b4cloc_131b4c:
00131b4ccall camlLexstate.save_body_1031
00131b51mov rbx, rax
00131b54lea rax, [rip+0x1c3d05]
00131b5bmov rax, [rax+280]
00131b62call camlGet.do_get_int_873
00131b67mov [rsp+16], rax
00131b6cmov rax, [rsp]
00131b70call camlLexstate.save_arg_1030
00131b75call camlTabular.main_902
00131b7amov rbx, rax
00131b7dmov rax, [rsp+8]
00131b82mov rdi, [rax+40]
00131b86mov rsi, [rax+32]
00131b8amov rax, [rsp+16]
00131b8fadd rsp, 24
00131b93jmp 0x125ac0
00131b98
00131b98loc_131b98:
00131b98call caml_call_gc
00131b9djmp 0x131b19
00131ba2
00131ba2loc_131ba2:
00131ba2push 36
00131ba4call caml_call_realloc_stack
00131ba9pop r10
00131babjmp 0x131af2
00131ae0
00131ae0camlLatexscan.fun_6698:
00131ae0lea r10, [rsp-344]
00131ae8cmp r10, [r14+40]
00131aecjb 0x131ba2
00131af2
00131af2loc_131af2:
00131af2sub rsp, 24
00131af6mov rdi, [rbx+16]
00131afamov rdi, [rdi]
00131afdtest dil, 1
00131b01jne 0x131b10
00131b03mov [rsp+8], rbx
00131b08mov [rsp], rax
00131b0cjmp 0x131b4c
00131b0enop
00131b10
00131b10loc_131b10:
00131b10sub r15, 24
00131b14cmp r15, [r14]
00131b17jb 0x131b98
00131b19
00131b19loc_131b19:
00131b19lea rax, [r15+8]
00131b1dmov [rax-8], 2048
00131b25lea rbx, [rip+0x1f8544]
00131b2cmov rbx, [rbx+24]
00131b30mov [rax], rbx
00131b33lea rbx, [rip+0x166266]
00131b3amov [rax+8], rbx
00131b3emov rsp, [r14+48]
00131b42pop [r14+48]
00131b46pop r11
00131b48jmp r11
00131b4bnop
00131b4c
00131b4cloc_131b4c:
00131b4ccall camlLexstate.save_body_1031
00131b51mov rbx, rax
00131b54lea rax, [rip+0x1c3d05]
00131b5bmov rax, [rax+280]
00131b62call camlGet.do_get_int_873
00131b67mov [rsp+16], rax
00131b6cmov rax, [rsp]
00131b70call camlLexstate.save_arg_1030
00131b75call camlTabular.main_902
00131b7amov rbx, rax
00131b7dmov rax, [rsp+8]
00131b82mov rdi, [rax+40]
00131b86mov rsi, [rax+32]
00131b8amov rax, [rsp+16]
00131b8fadd rsp, 24
00131b93jmp 0x125ac0
00131b98
00131b98loc_131b98:
00131b98call caml_call_gc
00131b9djmp 0x131b19
00131ba2
00131ba2loc_131ba2:
00131ba2push 36
00131ba4call caml_call_realloc_stack
00131ba9pop r10
00131babjmp 0x131af2
00131ae0
00131bb0
00131bb0camlLatexscan.fun_6710:
00131bb0lea r10, [rsp-336]
00131bb8cmp r10, [r14+40]
00131bbcjb 0x131c6f
00131bc2
00131bc2loc_131bc2:
00131bc2sub rsp, 16
00131bc6mov rdi, [rbx+16]
00131bcamov rdi, [rdi]
00131bcdtest dil, 1
00131bd1jne 0x131be0
00131bd3mov [rsp+8], rbx
00131bd8mov [rsp], rax
00131bdcjmp 0x131c1c
00131bdenop
00131be0
00131be0loc_131be0:
00131be0sub r15, 24
00131be4cmp r15, [r14]
00131be7jb 0x131c65
00131be9
00131be9loc_131be9:
00131be9lea rax, [r15+8]
00131bedmov [rax-8], 2048
00131bf5lea rbx, [rip+0x1f8474]
00131bfcmov rbx, [rbx+24]
00131c00mov [rax], rbx
00131c03lea rbx, [rip+0x166146]
00131c0amov [rax+8], rbx
00131c0emov rsp, [r14+48]
00131c12pop [r14+48]
00131c16pop r11
00131c18jmp r11
00131c1bnop
00131c1c
00131c1cloc_131c1c:
00131c1cmov rax, [rbx+40]
00131c20mov rbx, [rbx+32]
00131c24call camlLatexscan.do_hline_1304
00131c29mov rax, [rsp+8]
00131c2emov rdi, [rax+48]
00131c32add rdi, 24
00131c36mov ebx, 327
00131c3bmov rax, [rsp]
00131c3fcall Latexscan..ocaml_lex_skip_blanks_pop_rec
00131c44mov rax, [rsp+8]
00131c49mov rax, [rax+56]
00131c4dmov rbx, [rax+88]
00131c51mov eax, 1
00131c56mov rdi, [rbx]
00131c59call rdi
00131c5bmov eax, 1
00131c60add rsp, 16
00131c64ret
00131c65
00131c65loc_131c65:
00131c65call caml_call_gc
00131c6ajmp 0x131be9
00131c6f
00131c6floc_131c6f:
00131c6fpush 35
00131c71call caml_call_realloc_stack
00131c76pop r10
00131c78jmp 0x131bc2
00131bb0
00131bb0camlLatexscan.fun_6710:
00131bb0lea r10, [rsp-336]
00131bb8cmp r10, [r14+40]
00131bbcjb 0x131c6f
00131bc2
00131bc2loc_131bc2:
00131bc2sub rsp, 16
00131bc6mov rdi, [rbx+16]
00131bcamov rdi, [rdi]
00131bcdtest dil, 1
00131bd1jne 0x131be0
00131bd3mov [rsp+8], rbx
00131bd8mov [rsp], rax
00131bdcjmp 0x131c1c
00131bdenop
00131be0
00131be0loc_131be0:
00131be0sub r15, 24
00131be4cmp r15, [r14]
00131be7jb 0x131c65
00131be9
00131be9loc_131be9:
00131be9lea rax, [r15+8]
00131bedmov [rax-8], 2048
00131bf5lea rbx, [rip+0x1f8474]
00131bfcmov rbx, [rbx+24]
00131c00mov [rax], rbx
00131c03lea rbx, [rip+0x166146]
00131c0amov [rax+8], rbx
00131c0emov rsp, [r14+48]
00131c12pop [r14+48]
00131c16pop r11
00131c18jmp r11
00131c1bnop
00131c1c
00131c1cloc_131c1c:
00131c1cmov rax, [rbx+40]
00131c20mov rbx, [rbx+32]
00131c24call camlLatexscan.do_hline_1304
00131c29mov rax, [rsp+8]
00131c2emov rdi, [rax+48]
00131c32add rdi, 24
00131c36mov ebx, 327
00131c3bmov rax, [rsp]
00131c3fcall Latexscan..ocaml_lex_skip_blanks_pop_rec
00131c44mov rax, [rsp+8]
00131c49mov rax, [rax+56]
00131c4dmov rbx, [rax+88]
00131c51mov eax, 1
00131c56mov rdi, [rbx]
00131c59call rdi
00131c5bmov eax, 1
00131c60add rsp, 16
00131c64ret
00131c65
00131c65loc_131c65:
00131c65call caml_call_gc
00131c6ajmp 0x131be9
00131c6f
00131c6floc_131c6f:
00131c6fpush 35
00131c71call caml_call_realloc_stack
00131c76pop r10
00131c78jmp 0x131bc2
00131bb0
00131c7d
00131c7d // align 0x10
00131c7d // align 0x10
00131c80
00131c80camlLatexscan.do_tabul_2618:
00131c80lea r10, [rsp-336]
00131c88cmp r10, [r14+40]
00131c8cjb 0x131d34
00131c92
00131c92loc_131c92:
00131c92sub rsp, 16
00131c96mov [rsp], rax
00131c9amov [rsp+8], rbx
00131c9fmov rax, [rbx+16]
00131ca3mov rax, [rax]
00131ca6test al, 1
00131ca8je 0x131cb8
00131caacmp rax, 1
00131caeje 0x131cb8
00131cb0mov eax, 3
00131cb5jmp 0x131cbd
00131cb7
00131cb7 90 .
00131cb8
00131cb8loc_131cb8:
00131cb8mov eax, 1
00131cbd
00131cbdloc_131cbd:
00131cbdcmp rax, 1
00131cc1je 0x131d15
00131cc3mov rbx, [rbx+48]
00131cc7mov eax, 1
00131ccccall camlLatexscan.do_unskip_1919
00131cd1mov rax, [rsp+8]
00131cd6mov rax, [rax+56]
00131cdamov rbx, [rax+544]
00131ce1lea rax, [rip+0x16c980]
00131ce8mov rdi, [rbx]
00131cebcall rdi
00131cedmov rcx, [rsp+8]
00131cf2mov rax, [rcx+56]
00131cf6mov rdx, [rax+528]
00131cfdmov esi, 1
00131d02mov edi, 1
00131d07mov ebx, 3
00131d0cmov rax, [rcx+24]
00131d10call caml_apply4
00131d15
00131d15loc_131d15:
00131d15mov rax, [rsp+8]
00131d1amov rdi, [rax+40]
00131d1eadd rdi, 24
00131d22mov ebx, 327
00131d27mov rax, [rsp]
00131d2badd rsp, 16
00131d2fjmp 0x118950
00131d34
00131d34loc_131d34:
00131d34push 35
00131d36call caml_call_realloc_stack
00131d3bpop r10
00131d3djmp 0x131c92
00131c80
00131c80camlLatexscan.do_tabul_2618:
00131c80lea r10, [rsp-336]
00131c88cmp r10, [r14+40]
00131c8cjb 0x131d34
00131c92
00131c92loc_131c92:
00131c92sub rsp, 16
00131c96mov [rsp], rax
00131c9amov [rsp+8], rbx
00131c9fmov rax, [rbx+16]
00131ca3mov rax, [rax]
00131ca6test al, 1
00131ca8je 0x131cb8
00131caacmp rax, 1
00131caeje 0x131cb8
00131cb0mov eax, 3
00131cb5jmp 0x131cbd
00131cb7
00131cb7 90 .
00131cb8
00131cb8loc_131cb8:
00131cb8mov eax, 1
00131cbd
00131cbdloc_131cbd:
00131cbdcmp rax, 1
00131cc1je 0x131d15
00131cc3mov rbx, [rbx+48]
00131cc7mov eax, 1
00131ccccall camlLatexscan.do_unskip_1919
00131cd1mov rax, [rsp+8]
00131cd6mov rax, [rax+56]
00131cdamov rbx, [rax+544]
00131ce1lea rax, [rip+0x16c980]
00131ce8mov rdi, [rbx]
00131cebcall rdi
00131cedmov rcx, [rsp+8]
00131cf2mov rax, [rcx+56]
00131cf6mov rdx, [rax+528]
00131cfdmov esi, 1
00131d02mov edi, 1
00131d07mov ebx, 3
00131d0cmov rax, [rcx+24]
00131d10call caml_apply4
00131d15
00131d15loc_131d15:
00131d15mov rax, [rsp+8]
00131d1amov rdi, [rax+40]
00131d1eadd rdi, 24
00131d22mov ebx, 327
00131d27mov rax, [rsp]
00131d2badd rsp, 16
00131d2fjmp 0x118950
00131d34
00131d34loc_131d34:
00131d34push 35
00131d36call caml_call_realloc_stack
00131d3bpop r10
00131d3djmp 0x131c92
00131c80
00131d42
00131d42 // align 0x10
00131d42 // align 0x10
00131d50
00131d50camlLatexscan.tabbing_kill_2621:
00131d50lea r10, [rsp-336]
00131d58cmp r10, [r14+40]
00131d5cjb 0x131e3c
00131d62
00131d62loc_131d62:
00131d62sub rsp, 16
00131d66mov [rsp], rax
00131d6amov [rsp+8], rbx
00131d6fmov rax, [rbx+16]
00131d73mov rax, [rax]
00131d76test al, 1
00131d78je 0x131d88
00131d7acmp rax, 1
00131d7eje 0x131d88
00131d80mov eax, 3
00131d85jmp 0x131d8d
00131d87
00131d87 90 .
00131d88
00131d88loc_131d88:
00131d88mov eax, 1
00131d8d
00131d8dloc_131d8d:
00131d8dcmp rax, 1
00131d91je 0x131e1d
00131d97mov rbx, [rbx+48]
00131d9bmov eax, 1
00131da0call camlLatexscan.do_unskip_1919
00131da5mov rax, [rsp+8]
00131daamov rax, [rax+56]
00131daemov rbx, [rax+544]
00131db5lea rax, [rip+0x16c8ac]
00131dbcmov rdi, [rbx]
00131dbfcall rdi
00131dc1mov rax, [rsp+8]
00131dc6mov rax, [rax+56]
00131dcamov rbx, [rax+592]
00131dd1mov eax, 1
00131dd6mov rdi, [rbx]
00131dd9call rdi
00131ddbmov rax, [rsp+8]
00131de0mov rax, [rax+56]
00131de4mov rbx, [rax+520]
00131debmov eax, 1
00131df0mov rdi, [rbx]
00131df3call rdi
00131df5mov rcx, [rsp+8]
00131dfamov rax, [rcx+56]
00131dfemov rdx, [rax+528]
00131e05mov esi, 1
00131e0amov edi, 1
00131e0fmov ebx, 3
00131e14mov rax, [rcx+24]
00131e18call caml_apply4
00131e1d
00131e1dloc_131e1d:
00131e1dmov rax, [rsp+8]
00131e22mov rdi, [rax+40]
00131e26add rdi, 24
00131e2amov ebx, 327
00131e2fmov rax, [rsp]
00131e33add rsp, 16
00131e37jmp 0x118950
00131e3c
00131e3cloc_131e3c:
00131e3cpush 35
00131e3ecall caml_call_realloc_stack
00131e43pop r10
00131e45jmp 0x131d62
00131d50
00131d50camlLatexscan.tabbing_kill_2621:
00131d50lea r10, [rsp-336]
00131d58cmp r10, [r14+40]
00131d5cjb 0x131e3c
00131d62
00131d62loc_131d62:
00131d62sub rsp, 16
00131d66mov [rsp], rax
00131d6amov [rsp+8], rbx
00131d6fmov rax, [rbx+16]
00131d73mov rax, [rax]
00131d76test al, 1
00131d78je 0x131d88
00131d7acmp rax, 1
00131d7eje 0x131d88
00131d80mov eax, 3
00131d85jmp 0x131d8d
00131d87
00131d87 90 .
00131d88
00131d88loc_131d88:
00131d88mov eax, 1
00131d8d
00131d8dloc_131d8d:
00131d8dcmp rax, 1
00131d91je 0x131e1d
00131d97mov rbx, [rbx+48]
00131d9bmov eax, 1
00131da0call camlLatexscan.do_unskip_1919
00131da5mov rax, [rsp+8]
00131daamov rax, [rax+56]
00131daemov rbx, [rax+544]
00131db5lea rax, [rip+0x16c8ac]
00131dbcmov rdi, [rbx]
00131dbfcall rdi
00131dc1mov rax, [rsp+8]
00131dc6mov rax, [rax+56]
00131dcamov rbx, [rax+592]
00131dd1mov eax, 1
00131dd6mov rdi, [rbx]
00131dd9call rdi
00131ddbmov rax, [rsp+8]
00131de0mov rax, [rax+56]
00131de4mov rbx, [rax+520]
00131debmov eax, 1
00131df0mov rdi, [rbx]
00131df3call rdi
00131df5mov rcx, [rsp+8]
00131dfamov rax, [rcx+56]
00131dfemov rdx, [rax+528]
00131e05mov esi, 1
00131e0amov edi, 1
00131e0fmov ebx, 3
00131e14mov rax, [rcx+24]
00131e18call caml_apply4
00131e1d
00131e1dloc_131e1d:
00131e1dmov rax, [rsp+8]
00131e22mov rdi, [rax+40]
00131e26add rdi, 24
00131e2amov ebx, 327
00131e2fmov rax, [rsp]
00131e33add rsp, 16
00131e37jmp 0x118950
00131e3c
00131e3cloc_131e3c:
00131e3cpush 35
00131e3ecall caml_call_realloc_stack
00131e43pop r10
00131e45jmp 0x131d62
00131d50
00131e4a
00131e4a // align 0x10
00131e4a // align 0x10
00131e50
00131e50camlLatexscan.def_no_fail_2624:
00131e50sub r15, 16
00131e54cmp r15, [r14]
00131e57jb 0x131e78
00131e59
00131e59loc_131e59:
00131e59lea rdi, [r15+8]
00131e5dmov [rdi-8], 1026
00131e65mov [rdi], rbx
00131e68lea rbx, [rip+0x1e4b31]
00131e6fmov rbx, [rbx+56]
00131e73jmp 0x17af20
00131e78
00131e78loc_131e78:
00131e78call caml_call_gc
00131e7djmp 0x131e59
00131e50
00131e50camlLatexscan.def_no_fail_2624:
00131e50sub r15, 16
00131e54cmp r15, [r14]
00131e57jb 0x131e78
00131e59
00131e59loc_131e59:
00131e59lea rdi, [r15+8]
00131e5dmov [rdi-8], 1026
00131e65mov [rdi], rbx
00131e68lea rbx, [rip+0x1e4b31]
00131e6fmov rbx, [rbx+56]
00131e73jmp 0x17af20
00131e78
00131e78loc_131e78:
00131e78call caml_call_gc
00131e7djmp 0x131e59
00131e50
00131e7f
00131e7f // align 0x10
00131e7f // align 0x10
00131e80
00131e80camlLatexscan.def_tabbing_commands_2628:
00131e80lea r10, [rsp-328]
00131e88cmp r10, [r14+40]
00131e8cjb 0x131f5b
00131e92
00131e92loc_131e92:
00131e92sub rsp, 8
00131e96mov [rsp], rbx
00131e9amov rax, [rbx+16]
00131e9esub r15, 16
00131ea2cmp r15, [r14]
00131ea5jb 0x131f51
00131eab
00131eabloc_131eab:
00131eablea rdi, [r15+8]
00131eafmov [rdi-8], 1026
00131eb7mov [rdi], rax
00131ebalea rax, [rip+0x1e4adf]
00131ec1mov rbx, [rax+56]
00131ec5lea rax, [rip+0x165e74]
00131ecccall camlLatexmacros.def_952
00131ed1mov rax, [rsp]
00131ed5mov rax, [rax+16]
00131ed9sub r15, 16
00131eddcmp r15, [r14]
00131ee0jb 0x131f4a
00131ee2
00131ee2loc_131ee2:
00131ee2lea rdi, [r15+8]
00131ee6mov [rdi-8], 1026
00131eeemov [rdi], rax
00131ef1lea rax, [rip+0x1e4aa8]
00131ef8mov rbx, [rax+56]
00131efclea rax, [rip+0x165e2d]
00131f03call camlLatexmacros.def_952
00131f08mov rax, [rsp]
00131f0cmov rax, [rax+24]
00131f10sub r15, 16
00131f14cmp r15, [r14]
00131f17jb 0x131f43
00131f19
00131f19loc_131f19:
00131f19lea rdi, [r15+8]
00131f1dmov [rdi-8], 1026
00131f25mov [rdi], rax
00131f28lea rax, [rip+0x1e4a71]
00131f2fmov rbx, [rax+56]
00131f33lea rax, [rip+0x165de6]
00131f3aadd rsp, 8
00131f3ejmp 0x17af20
00131f43
00131f43loc_131f43:
00131f43call caml_call_gc
00131f48jmp 0x131f19
00131f4a
00131f4aloc_131f4a:
00131f4acall caml_call_gc
00131f4fjmp 0x131ee2
00131f51
00131f51loc_131f51:
00131f51call caml_call_gc
00131f56jmp 0x131eab
00131f5b
00131f5bloc_131f5b:
00131f5bpush 34
00131f5dcall caml_call_realloc_stack
00131f62pop r10
00131f64jmp 0x131e92
00131e80
00131e80camlLatexscan.def_tabbing_commands_2628:
00131e80lea r10, [rsp-328]
00131e88cmp r10, [r14+40]
00131e8cjb 0x131f5b
00131e92
00131e92loc_131e92:
00131e92sub rsp, 8
00131e96mov [rsp], rbx
00131e9amov rax, [rbx+16]
00131e9esub r15, 16
00131ea2cmp r15, [r14]
00131ea5jb 0x131f51
00131eab
00131eabloc_131eab:
00131eablea rdi, [r15+8]
00131eafmov [rdi-8], 1026
00131eb7mov [rdi], rax
00131ebalea rax, [rip+0x1e4adf]
00131ec1mov rbx, [rax+56]
00131ec5lea rax, [rip+0x165e74]
00131ecccall camlLatexmacros.def_952
00131ed1mov rax, [rsp]
00131ed5mov rax, [rax+16]
00131ed9sub r15, 16
00131eddcmp r15, [r14]
00131ee0jb 0x131f4a
00131ee2
00131ee2loc_131ee2:
00131ee2lea rdi, [r15+8]
00131ee6mov [rdi-8], 1026
00131eeemov [rdi], rax
00131ef1lea rax, [rip+0x1e4aa8]
00131ef8mov rbx, [rax+56]
00131efclea rax, [rip+0x165e2d]
00131f03call camlLatexmacros.def_952
00131f08mov rax, [rsp]
00131f0cmov rax, [rax+24]
00131f10sub r15, 16
00131f14cmp r15, [r14]
00131f17jb 0x131f43
00131f19
00131f19loc_131f19:
00131f19lea rdi, [r15+8]
00131f1dmov [rdi-8], 1026
00131f25mov [rdi], rax
00131f28lea rax, [rip+0x1e4a71]
00131f2fmov rbx, [rax+56]
00131f33lea rax, [rip+0x165de6]
00131f3aadd rsp, 8
00131f3ejmp 0x17af20
00131f43
00131f43loc_131f43:
00131f43call caml_call_gc
00131f48jmp 0x131f19
00131f4a
00131f4aloc_131f4a:
00131f4acall caml_call_gc
00131f4fjmp 0x131ee2
00131f51
00131f51loc_131f51:
00131f51call caml_call_gc
00131f56jmp 0x131eab
00131f5b
00131f5bloc_131f5b:
00131f5bpush 34
00131f5dcall caml_call_realloc_stack
00131f62pop r10
00131f64jmp 0x131e92
00131e80
00131f69
00131f69 // align 0x10
00131f69 // align 0x10
00131f70
00131f70camlLatexscan.check_width_2631:
00131f70lea r10, [rsp-320]
00131f78cmp r10, [r14+40]
00131f7cjb 0x132020
00131f82
00131f82loc_131f82:
00131f82mov rbx, rax
00131f85test bl, 1
00131f88jne 0x132018
00131f8emovzx rax, [rbx-8]
00131f93lea rdx, [rip+0xf8776]
00131f9amovsxd rax, [rdx+4*rax]
00131f9eadd rdx, rax
00131fa1jmp rdx
00131fa3nop
00131fa4mov rax, [rbx]
00131fa7shl rax, 4
00131fabadd rax, -15
00131fafcall camlStdlib.string_of_int_175
00131fb4lea rbx, [rip+0x165d45]
00131fbbcall camlStdlib.$5e_139
00131fc0mov rbx, rax
00131fc3lea rax, [rip+0x165d46]
00131fcajmp 0x195ba0
00131fcfnop
00131fd0mov rax, [rbx]
00131fd3call camlStdlib.string_of_int_175
00131fd8lea rbx, [rip+0x165d21]
00131fdfcall camlStdlib.$5e_139
00131fe4mov rbx, rax
00131fe7lea rax, [rip+0x165d22]
00131feejmp 0x195ba0
00131ff3nop
00131ff4mov rax, [rbx]
00131ff7call camlStdlib.string_of_int_175
00131ffclea rbx, [rip+0x165cdd]
00132003call camlStdlib.$5e_139
00132008mov rbx, rax
0013200blea rax, [rip+0x165cfe]
00132012jmp 0x195ba0
00132017nop
00132018
00132018loc_132018:
00132018lea rax, [rip+0x16c649]
0013201fret
00132020
00132020loc_132020:
00132020push 33
00132022call caml_call_realloc_stack
00132027pop r10
00132029jmp 0x131f82
00131f70
00131f70camlLatexscan.check_width_2631:
00131f70lea r10, [rsp-320]
00131f78cmp r10, [r14+40]
00131f7cjb 0x132020
00131f82
00131f82loc_131f82:
00131f82mov rbx, rax
00131f85test bl, 1
00131f88jne 0x132018
00131f8emovzx rax, [rbx-8]
00131f93lea rdx, [rip+0xf8776]
00131f9amovsxd rax, [rdx+4*rax]
00131f9eadd rdx, rax
00131fa1jmp rdx
00131fa3nop
00131fa4mov rax, [rbx]
00131fa7shl rax, 4
00131fabadd rax, -15
00131fafcall camlStdlib.string_of_int_175
00131fb4lea rbx, [rip+0x165d45]
00131fbbcall camlStdlib.$5e_139
00131fc0mov rbx, rax
00131fc3lea rax, [rip+0x165d46]
00131fcajmp 0x195ba0
00131fcfnop
00131fd0mov rax, [rbx]
00131fd3call camlStdlib.string_of_int_175
00131fd8lea rbx, [rip+0x165d21]
00131fdfcall camlStdlib.$5e_139
00131fe4mov rbx, rax
00131fe7lea rax, [rip+0x165d22]
00131feejmp 0x195ba0
00131ff3nop
00131ff4mov rax, [rbx]
00131ff7call camlStdlib.string_of_int_175
00131ffclea rbx, [rip+0x165cdd]
00132003call camlStdlib.$5e_139
00132008mov rbx, rax
0013200blea rax, [rip+0x165cfe]
00132012jmp 0x195ba0
00132017nop
00132018
00132018loc_132018:
00132018lea rax, [rip+0x16c649]
0013201fret
00132020
00132020loc_132020:
00132020push 33
00132022call caml_call_realloc_stack
00132027pop r10
00132029jmp 0x131f82
00131f70
0013202e
0013202e // align 0x10
0013202e // align 0x10
00132030
00132030camlLatexscan.get_table_attributes_2637:
00132030lea r10, [rsp-336]
00132038cmp r10, [r14+40]
0013203cjb 0x1320a0
0013203e
0013203eloc_13203e:
0013203esub rsp, 16
00132042mov [rsp], rbx
00132046cmp rax, 1
0013204aje 0x132058
0013204clea rax, [rip+0x165c65]
00132053jmp 0x13205f
00132055
00132055 0f 1f 00 ...
00132058
00132058loc_132058:
00132058lea rax, [rip+0x165c39]
0013205f
0013205floc_13205f:
0013205fmov rbx, [rdi+24]
00132063call camlLatexscan.get_prim_1896
00132068mov [rsp+8], rax
0013206dmov rax, [rsp]
00132071call camlLatexscan.check_width_2631
00132076mov [rsp], rax
0013207amov rax, [rsp+8]
0013207fcall camlMyLexing.from_string_309
00132084mov rsi, rax
00132087mov edi, 1
0013208clea rax, [rip+0x19b795]
00132093mov rbx, [rsp]
00132097add rsp, 16
0013209bjmp 0x1340b0
001320a0
001320a0loc_1320a0:
001320a0push 35
001320a2call caml_call_realloc_stack
001320a7pop r10
001320a9jmp 0x13203e
00132030
00132030camlLatexscan.get_table_attributes_2637:
00132030lea r10, [rsp-336]
00132038cmp r10, [r14+40]
0013203cjb 0x1320a0
0013203e
0013203eloc_13203e:
0013203esub rsp, 16
00132042mov [rsp], rbx
00132046cmp rax, 1
0013204aje 0x132058
0013204clea rax, [rip+0x165c65]
00132053jmp 0x13205f
00132055
00132055 0f 1f 00 ...
00132058
00132058loc_132058:
00132058lea rax, [rip+0x165c39]
0013205f
0013205floc_13205f:
0013205fmov rbx, [rdi+24]
00132063call camlLatexscan.get_prim_1896
00132068mov [rsp+8], rax
0013206dmov rax, [rsp]
00132071call camlLatexscan.check_width_2631
00132076mov [rsp], rax
0013207amov rax, [rsp+8]
0013207fcall camlMyLexing.from_string_309
00132084mov rsi, rax
00132087mov edi, 1
0013208clea rax, [rip+0x19b795]
00132093mov rbx, [rsp]
00132097add rsp, 16
0013209bjmp 0x1340b0
001320a0
001320a0loc_1320a0:
001320a0push 35
001320a2call caml_call_realloc_stack
001320a7pop r10
001320a9jmp 0x13203e
00132030
001320ab
001320ab // align 0x10
001320ab // align 0x10
001320b0
001320b0camlLatexscan.open_tabbing_2643:
001320b0lea r10, [rsp-328]
001320b8cmp r10, [r14+40]
001320bcjb 0x132227
001320c2
001320c2loc_1320c2:
001320c2sub rsp, 8
001320c6mov r12, rbx
001320c9mov [rsp], r12
001320cdmov rax, [r12+24]
001320d2mov rax, [rax]
001320d5mov rdi, [r12+32]
001320dasub r15, 24
001320decmp r15, [r14]
001320e1jb 0x13221d
001320e7
001320e7loc_1320e7:
001320e7lea rsi, [r15+8]
001320ebmov [rsi-8], 2048
001320f3mov [rsi], rax
001320f6mov rax, [rdi]
001320f9mov [rsi+8], rax
001320fdmov rbx, rsp
00132100mov rsp, [r14+64]
00132104call caml_modify
00132109mov rsp, rbx
0013210cmov esi, 3
00132111mov rdi, [r12+24]
00132116mov rbx, rsp
00132119mov rsp, [r14+64]
0013211dcall caml_modify
00132122mov rsp, rbx
00132125mov rbx, [r12+16]
0013212alea rax, [rip+0x165b57]
00132131call camlLatexscan.new_env_859
00132136mov rax, [rsp]
0013213amov rbx, [rax+56]
0013213emov eax, 1
00132143call camlLatexscan.def_tabbing_commands_2628
00132148sub r15, 48
0013214ccmp r15, [r14]
0013214fjb 0x132213
00132155
00132155loc_132155:
00132155lea rax, [r15+8]
00132159add rax, 16
0013215dmov [rax-8], 3319
00132165lea rbx, [rip+212]
0013216cmov [rax], rbx
0013216fmov rbx, 0x100000000000005
00132179mov [rax+8], rbx
0013217dmov rbx, [rsp]
00132181mov rbx, [rbx+48]
00132185mov [rax+16], rbx
00132189lea rdi, [rax-16]
0013218dmov [rdi-8], 1026
00132195mov [rdi], rax
00132198lea rax, [rip+0x1e4801]
0013219fmov rbx, [rax+56]
001321a3lea rax, [rip+0x165ace]
001321aacall camlLatexmacros.def_952
001321afmov rax, [rsp]
001321b3mov rax, [rax+64]
001321b7mov rdi, [rax+512]
001321belea rbx, [rip+0x165a63]
001321c5mov eax, 1
001321cacall caml_apply2
001321cfmov rax, [rsp]
001321d3mov rax, [rax+64]
001321d7mov rbx, [rax+520]
001321demov eax, 1
001321e3mov rdi, [rbx]
001321e6call rdi
001321e8mov rcx, [rsp]
001321ecmov rax, [rcx+64]
001321f0mov rdx, [rax+528]
001321f7mov esi, 1
001321fcmov edi, 1
00132201mov ebx, 3
00132206mov rax, [rcx+40]
0013220aadd rsp, 8
0013220ejmp 0xf72f0
00132213
00132213loc_132213:
00132213call caml_call_gc
00132218jmp 0x132155
0013221d
0013221dloc_13221d:
0013221dcall caml_call_gc
00132222jmp 0x1320e7
00132227
00132227loc_132227:
00132227push 34
00132229call caml_call_realloc_stack
0013222epop r10
00132230jmp 0x1320c2
001320b0
001320b0camlLatexscan.open_tabbing_2643:
001320b0lea r10, [rsp-328]
001320b8cmp r10, [r14+40]
001320bcjb 0x132227
001320c2
001320c2loc_1320c2:
001320c2sub rsp, 8
001320c6mov r12, rbx
001320c9mov [rsp], r12
001320cdmov rax, [r12+24]
001320d2mov rax, [rax]
001320d5mov rdi, [r12+32]
001320dasub r15, 24
001320decmp r15, [r14]
001320e1jb 0x13221d
001320e7
001320e7loc_1320e7:
001320e7lea rsi, [r15+8]
001320ebmov [rsi-8], 2048
001320f3mov [rsi], rax
001320f6mov rax, [rdi]
001320f9mov [rsi+8], rax
001320fdmov rbx, rsp
00132100mov rsp, [r14+64]
00132104call caml_modify
00132109mov rsp, rbx
0013210cmov esi, 3
00132111mov rdi, [r12+24]
00132116mov rbx, rsp
00132119mov rsp, [r14+64]
0013211dcall caml_modify
00132122mov rsp, rbx
00132125mov rbx, [r12+16]
0013212alea rax, [rip+0x165b57]
00132131call camlLatexscan.new_env_859
00132136mov rax, [rsp]
0013213amov rbx, [rax+56]
0013213emov eax, 1
00132143call camlLatexscan.def_tabbing_commands_2628
00132148sub r15, 48
0013214ccmp r15, [r14]
0013214fjb 0x132213
00132155
00132155loc_132155:
00132155lea rax, [r15+8]
00132159add rax, 16
0013215dmov [rax-8], 3319
00132165lea rbx, [rip+212]
0013216cmov [rax], rbx
0013216fmov rbx, 0x100000000000005
00132179mov [rax+8], rbx
0013217dmov rbx, [rsp]
00132181mov rbx, [rbx+48]
00132185mov [rax+16], rbx
00132189lea rdi, [rax-16]
0013218dmov [rdi-8], 1026
00132195mov [rdi], rax
00132198lea rax, [rip+0x1e4801]
0013219fmov rbx, [rax+56]
001321a3lea rax, [rip+0x165ace]
001321aacall camlLatexmacros.def_952
001321afmov rax, [rsp]
001321b3mov rax, [rax+64]
001321b7mov rdi, [rax+512]
001321belea rbx, [rip+0x165a63]
001321c5mov eax, 1
001321cacall caml_apply2
001321cfmov rax, [rsp]
001321d3mov rax, [rax+64]
001321d7mov rbx, [rax+520]
001321demov eax, 1
001321e3mov rdi, [rbx]
001321e6call rdi
001321e8mov rcx, [rsp]
001321ecmov rax, [rcx+64]
001321f0mov rdx, [rax+528]
001321f7mov esi, 1
001321fcmov edi, 1
00132201mov ebx, 3
00132206mov rax, [rcx+40]
0013220aadd rsp, 8
0013220ejmp 0xf72f0
00132213
00132213loc_132213:
00132213call caml_call_gc
00132218jmp 0x132155
0013221d
0013221dloc_13221d:
0013221dcall caml_call_gc
00132222jmp 0x1320e7
00132227
00132227loc_132227:
00132227push 34
00132229call caml_call_realloc_stack
0013222epop r10
00132230jmp 0x1320c2
001320b0
00132235
00132235 // align 0x10
00132235 // align 0x10
00132240
00132240camlLatexscan.fun_6774:
00132240lea r10, [rsp-344]
00132248cmp r10, [r14+40]
0013224cjb 0x1322b9
0013224e
0013224eloc_13224e:
0013224esub rsp, 24
00132252mov [rsp], rax
00132256mov [rsp+16], rbx
0013225bcall camlLexstate.save_arg_1030
00132260mov rbx, rax
00132263mov eax, 1
00132268call camlSubst.do_do_subst_this_697
0013226dmov [rsp+8], rax
00132272mov rax, [rsp]
00132276call camlLexstate.save_arg_1030
0013227bmov rbx, rax
0013227emov eax, 1
00132283call camlSubst.do_do_subst_this_697
00132288mov rbx, rax
0013228bmov rax, [rsp+8]
00132290call camlStdlib.$5e_139
00132295mov rbx, rax
00132298lea rax, [rip+0x167359]
0013229fcall camlStdlib.$5e_139
001322a4mov rbx, rax
001322a7mov rax, [rsp+16]
001322acmov rax, [rax+16]
001322b0add rsp, 24
001322b4jmp 0x17f150
001322b9
001322b9loc_1322b9:
001322b9push 36
001322bbcall caml_call_realloc_stack
001322c0pop r10
001322c2jmp 0x13224e
00132240
00132240camlLatexscan.fun_6774:
00132240lea r10, [rsp-344]
00132248cmp r10, [r14+40]
0013224cjb 0x1322b9
0013224e
0013224eloc_13224e:
0013224esub rsp, 24
00132252mov [rsp], rax
00132256mov [rsp+16], rbx
0013225bcall camlLexstate.save_arg_1030
00132260mov rbx, rax
00132263mov eax, 1
00132268call camlSubst.do_do_subst_this_697
0013226dmov [rsp+8], rax
00132272mov rax, [rsp]
00132276call camlLexstate.save_arg_1030
0013227bmov rbx, rax
0013227emov eax, 1
00132283call camlSubst.do_do_subst_this_697
00132288mov rbx, rax
0013228bmov rax, [rsp+8]
00132290call camlStdlib.$5e_139
00132295mov rbx, rax
00132298lea rax, [rip+0x167359]
0013229fcall camlStdlib.$5e_139
001322a4mov rbx, rax
001322a7mov rax, [rsp+16]
001322acmov rax, [rax+16]
001322b0add rsp, 24
001322b4jmp 0x17f150
001322b9
001322b9loc_1322b9:
001322b9push 36
001322bbcall caml_call_realloc_stack
001322c0pop r10
001322c2jmp 0x13224e
00132240
001322c4
001322c4 // align 0x10
001322c4 // align 0x10
001322d0
001322d0camlLatexscan.close_tabbing_2653:
001322d0lea r10, [rsp-328]
001322d8cmp r10, [r14+40]
001322dcjb 0x13236e
001322e2
001322e2loc_1322e2:
001322e2sub rsp, 8
001322e6mov [rsp], rbx
001322eamov rax, [rbx+40]
001322eemov rbx, [rax+552]
001322f5mov eax, 1
001322famov rdi, [rbx]
001322fdcall rdi
001322ffmov rax, [rsp]
00132303mov rax, [rax+40]
00132307mov rbx, [rax+584]
0013230emov eax, 1
00132313mov rdi, [rbx]
00132316call rdi
00132318mov rax, [rsp]
0013231cmov rax, [rax+40]
00132320mov rbx, [rax+600]
00132327mov eax, 1
0013232cmov rdi, [rbx]
0013232fcall rdi
00132331mov rax, [rsp]
00132335mov rax, [rax+32]
00132339call camlMyStack.pop_292
0013233emov r12, [rsp]
00132342mov rdi, [r12+24]
00132347mov rsi, rax
0013234amov rbx, rsp
0013234dmov rsp, [r14+64]
00132351call caml_modify
00132356mov rsp, rbx
00132359mov rbx, [r12+16]
0013235elea rax, [rip+0x165923]
00132365add rsp, 8
00132369jmp 0x123060
0013236e
0013236eloc_13236e:
0013236epush 34
00132370call caml_call_realloc_stack
00132375pop r10
00132377jmp 0x1322e2
001322d0
001322d0camlLatexscan.close_tabbing_2653:
001322d0lea r10, [rsp-328]
001322d8cmp r10, [r14+40]
001322dcjb 0x13236e
001322e2
001322e2loc_1322e2:
001322e2sub rsp, 8
001322e6mov [rsp], rbx
001322eamov rax, [rbx+40]
001322eemov rbx, [rax+552]
001322f5mov eax, 1
001322famov rdi, [rbx]
001322fdcall rdi
001322ffmov rax, [rsp]
00132303mov rax, [rax+40]
00132307mov rbx, [rax+584]
0013230emov eax, 1
00132313mov rdi, [rbx]
00132316call rdi
00132318mov rax, [rsp]
0013231cmov rax, [rax+40]
00132320mov rbx, [rax+600]
00132327mov eax, 1
0013232cmov rdi, [rbx]
0013232fcall rdi
00132331mov rax, [rsp]
00132335mov rax, [rax+32]
00132339call camlMyStack.pop_292
0013233emov r12, [rsp]
00132342mov rdi, [r12+24]
00132347mov rsi, rax
0013234amov rbx, rsp
0013234dmov rsp, [r14+64]
00132351call caml_modify
00132356mov rsp, rbx
00132359mov rbx, [r12+16]
0013235elea rax, [rip+0x165923]
00132365add rsp, 8
00132369jmp 0x123060
0013236e
0013236eloc_13236e:
0013236epush 34
00132370call caml_call_realloc_stack
00132375pop r10
00132377jmp 0x1322e2
001322d0
0013237c
0013237c // align 0x10
0013237c // align 0x10
00132380
00132380camlLatexscan.open_array_2656:
00132380lea r10, [rsp-360]
00132388cmp r10, [r14+40]
0013238cjb 0x13287d
00132392
00132392loc_132392:
00132392sub rsp, 40
00132396mov [rsp+32], rax
0013239bmov [rsp+16], rbx
001323a0mov [rsp+24], rdi
001323a5mov rbx, [rdi+40]
001323a9mov eax, 1
001323aecall camlLatexscan.save_array_state_1023
001323b3lea rax, [rip+0x1bcb46]
001323bamov rax, [rax+8]
001323bemov [rax], 1
001323c5mov rdi, [rsp+32]
001323camov rax, [rdi-8]
001323ceshr rax, 10
001323d2cmp rax, 2
001323d6jne 0x13240c
001323d8mov rax, [rdi+8]
001323dcmov rbx, 0x700000000000000
001323e6cmp rax, rbx
001323e9jne 0x13240c
001323ebmov rax, [rdi]
001323eemov rbx, 0x2a72616c75626154
001323f8cmp rax, rbx
001323fbje 0x132418
001323fdmov rbx, 0x2a72616c75626174
00132407cmp rax, rbx
0013240aje 0x132418
0013240c
0013240cloc_13240c:
0013240cmov eax, 1
00132411mov [rsp], rax
00132415jmp 0x132480
00132417
00132417 90 .
00132418
00132418loc_132418:
00132418mov rax, [rsp+16]
0013241dcall camlLexstate.save_arg_1030
00132422mov rbx, rax
00132425mov [rsp], rbx
00132429mov rax, [rsp+24]
0013242emov rdi, [rax+80]
00132432mov rax, [rdi+16]
00132436mov rdi, [rdi+24]
0013243acall camlLatexscan.do_get_prim_onarg_1872
0013243fcall camlGet.get_length_920
00132444test al, 1
00132446jne 0x13247c
00132448movzx rbx, [rax-8]
0013244dcmp rbx, 3
00132451jl 0x13247c
00132453mov eax, 1
00132458mov rbx, [rsp]
0013245ccall camlSubst.do_do_subst_this_697
00132461mov rbx, rax
00132464lea rax, [rip+0x16575d]
0013246bcall camlStdlib.$5e_139
00132470call camlMisc.warning_287
00132475mov eax, 1
0013247ajmp 0x13247c
0013247c
0013247cloc_13247c:
0013247cmov [rsp], rax
00132480
00132480loc_132480:
00132480mov rdi, [rsp+32]
00132485mov rax, [rdi-8]
00132489shr rax, 10
0013248dcmp rax, 2
00132491je 0x1324bc
00132493cmp rax, 2
00132497jge 0x1324e1
00132499mov rax, [rdi]
0013249cmov rbx, 0x72616c75626154
001324a6cmp rax, rbx
001324a9je 0x132500
001324abmov rbx, 0x200007961727241
001324b5cmp rax, rbx
001324b8je 0x132500
001324bajmp 0x1324e1
001324bc
001324bcloc_1324bc:
001324bcmov rax, [rdi]
001324bfmov rbx, 0x2a72616c75626154
001324c9cmp rax, rbx
001324ccjne 0x1324e1
001324cemov rax, [rdi+8]
001324d2mov rbx, 0x700000000000000
001324dccmp rax, rbx
001324dfje 0x132500
001324e1
001324e1loc_1324e1:
001324e1lea rax, [rip+0x1e5798]
001324e8mov rbx, [rsp+16]
001324edcall camlLexstate.save_arg_opt_1107
001324f2lea rax, [rip+0x16c16f]
001324f9mov [rsp+8], rax
001324fejmp 0x13251f
00132500
00132500loc_132500:
00132500mov rax, [rsp+24]
00132505mov rdi, [rax+88]
00132509lea rax, [rip+0x16c158]
00132510mov rbx, [rsp+16]
00132515call camlLatexscan.get_prim_opt_1900
0013251amov [rsp+8], rax
0013251f
0013251floc_13251f:
0013251flea rax, [rip+0x1e575a]
00132526mov rbx, [rsp+16]
0013252bcall camlLexstate.save_arg_opt_1107
00132530mov rax, [rsp+16]
00132535call camlLexstate.save_arg_1030
0013253acall camlTabular.main_902
0013253fmov r12, [rsp+24]
00132544mov rdi, [r12+24]
00132549mov rsi, rax
0013254cmov rbx, rsp
0013254fmov rsp, [r14+64]
00132553call caml_modify
00132558mov rsp, rbx
0013255blea rax, [rip+0x1e443e]
00132562mov rbx, [rax+144]
00132569mov rbx, [rbx]
0013256cmov rdi, [rax+440]
00132573sub r15, 24
00132577cmp r15, [r14]
0013257ajb 0x132873
00132580
00132580loc_132580:
00132580lea rsi, [r15+8]
00132584mov [rsi-8], 2048
0013258cmov [rsi], rbx
0013258fmov rax, [rdi]
00132592mov [rsi+8], rax
00132596mov rbx, rsp
00132599mov rsp, [r14+64]
0013259dcall caml_modify
001325a2mov rsp, rbx
001325a5lea rax, [rip+0x1bc954]
001325acmov rax, [rax+8]
001325b0mov rax, [rax]
001325b3mov rdi, [rsp+32]
001325b8mov rbx, [rdi-8]
001325bcshr rbx, 10
001325c0cmp rbx, 2
001325c4jge 0x1325e7
001325c6mov rbx, [rdi]
001325c9mov rdi, 0x200007961727241
001325d3cmp rbx, rdi
001325d6je 0x1325f0
001325d8mov rdi, 0x200007961727261
001325e2cmp rbx, rdi
001325e5je 0x1325f0
001325e7
001325e7loc_1325e7:
001325e7mov ebx, 1
001325ecjmp 0x1325f5
001325ee
001325ee 66 90 f.
001325f0
001325f0loc_1325f0:
001325f0mov ebx, 3
001325f5
001325f5loc_1325f5:
001325f5sub r15, 40
001325f9cmp r15, [r14]
001325fcjb 0x132869
00132602
00132602loc_132602:
00132602lea rdi, [r15+8]
00132606add rdi, 16
0013260amov [rdi-8], 2048
00132612mov [rdi], rbx
00132615mov [rdi+8], rax
00132619lea rsi, [rdi-16]
0013261dmov [rsi-8], 1024
00132625mov [rsi], rdi
00132628mov rdi, [r12+32]
0013262dmov rbx, rsp
00132630mov rsp, [r14+64]
00132634call caml_modify
00132639mov rsp, rbx
0013263clea rax, [rip+0x1e435d]
00132643mov rax, [rax+136]
0013264amov rax, [rax]
0013264dcmp rax, 1
00132651je 0x132669
00132653mov rax, [r12+112]
00132658mov rbx, [rax+216]
0013265fmov eax, 1
00132664mov rdi, [rbx]
00132667call rdi
00132669
00132669loc_132669:
00132669lea rax, [rip+0x1e4330]
00132670mov rbx, [rax+144]
00132677mov [rbx], 1
0013267emov rbx, [rax+136]
00132685mov rbx, [rbx]
00132688mov rdi, [rax+448]
0013268fsub r15, 24
00132693cmp r15, [r14]
00132696jb 0x13285f
0013269c
0013269cloc_13269c:
0013269clea rsi, [r15+8]
001326a0mov [rsi-8], 2048
001326a8mov [rsi], rbx
001326abmov rax, [rdi]
001326aemov [rsi+8], rax
001326b2mov rbx, rsp
001326b5mov rsp, [r14+64]
001326b9call caml_modify
001326bemov rsp, rbx
001326c1lea rax, [rip+0x1e42d8]
001326c8mov rax, [rax+136]
001326cfmov [rax], 1
001326d6mov rdi, [rsp+8]
001326dbmov rax, [rdi-8]
001326dfshr rax, 10
001326e3cmp rax, 2
001326e7jl 0x1326f4
001326e9mov [rsp+8], rdi
001326eejmp 0x132795
001326f3
001326f3 90 .
001326f4
001326f4loc_1326f4:
001326f4mov rax, [rdi]
001326f7mov rbx, 0x700000000000000
00132701cmp rax, rbx
00132704jne 0x132790
0013270alea rax, [rip+0x1bc7ef]
00132711mov rax, [rax+8]
00132715mov rax, [rax]
00132718cmp rax, 1
0013271cje 0x132758
0013271emov rax, [rsp+24]
00132723mov rdi, [rax+104]
00132727mov eax, 3
0013272cmov rbx, [rsp]
00132730call camlLatexscan.get_table_attributes_2637
00132735mov rbx, rax
00132738mov rax, [rsp+24]
0013273dmov rax, [rax+112]
00132741mov rdi, [rax+512]
00132748mov eax, 3
0013274dcall caml_apply2
00132752jmp 0x1327ea
00132757
00132757 90 .
00132758
00132758loc_132758:
00132758mov rax, [rsp+24]
0013275dmov rdi, [rax+104]
00132761mov eax, 1
00132766mov rbx, [rsp]
0013276acall camlLatexscan.get_table_attributes_2637
0013276fmov rbx, rax
00132772mov rax, [rsp+24]
00132777mov rax, [rax+112]
0013277bmov rdi, [rax+512]
00132782mov eax, 1
00132787call caml_apply2
0013278cjmp 0x1327ea
0013278e
0013278e 66 90 f.
00132790
00132790loc_132790:
00132790mov [rsp+8], rdi
00132795
00132795loc_132795:
00132795mov rax, [rsp]
00132799call camlLatexscan.check_width_2631
0013279emov [rsp], rax
001327a2mov rax, [rsp+8]
001327a7call camlMyLexing.from_string_309
001327acmov rsi, rax
001327afmov edi, 1
001327b4lea rax, [rip+0x19b06d]
001327bbmov rbx, [rsp]
001327bfcall camlLexattr.add_style_acc_295
001327c4mov rbx, rax
001327c7mov rax, [rsp+24]
001327ccmov rax, [rax+112]
001327d0mov rdi, [rax+512]
001327d7lea rax, [rip+0x1bc722]
001327demov rax, [rax+8]
001327e2mov rax, [rax]
001327e5call caml_apply2
001327ea
001327ealoc_1327ea:
001327eamov rax, [rsp+24]
001327efmov rax, [rax+56]
001327f3mov rbx, [rax+16]
001327f7mov [rbx], 1
001327femov rax, [rax+24]
00132802mov rbx, [rax+520]
00132809mov eax, 1
0013280emov rdi, [rbx]
00132811call rdi
00132813mov rbx, [rsp+24]
00132818mov rax, [rbx+64]
0013281cmov rbx, [rbx+48]
00132820mov rdi, [rbx+16]
00132824mov [rdi], 3
0013282bmov rdi, [rbx+24]
0013282fmov [rdi], 3
00132836mov rbx, [rbx+32]
0013283acall camlLatexscan.open_col_1287
0013283fmov rax, [rsp+24]
00132844mov rdi, [rax+72]
00132848add rdi, 24
0013284cmov ebx, 327
00132851mov rax, [rsp+16]
00132856add rsp, 40
0013285ajmp 0x118950
0013285f
0013285floc_13285f:
0013285fcall caml_call_gc
00132864jmp 0x13269c
00132869
00132869loc_132869:
00132869call caml_call_gc
0013286ejmp 0x132602
00132873
00132873loc_132873:
00132873call caml_call_gc
00132878jmp 0x132580
0013287d
0013287dloc_13287d:
0013287dpush 38
0013287fcall caml_call_realloc_stack
00132884pop r10
00132886jmp 0x132392
00132380
00132380camlLatexscan.open_array_2656:
00132380lea r10, [rsp-360]
00132388cmp r10, [r14+40]
0013238cjb 0x13287d
00132392
00132392loc_132392:
00132392sub rsp, 40
00132396mov [rsp+32], rax
0013239bmov [rsp+16], rbx
001323a0mov [rsp+24], rdi
001323a5mov rbx, [rdi+40]
001323a9mov eax, 1
001323aecall camlLatexscan.save_array_state_1023
001323b3lea rax, [rip+0x1bcb46]
001323bamov rax, [rax+8]
001323bemov [rax], 1
001323c5mov rdi, [rsp+32]
001323camov rax, [rdi-8]
001323ceshr rax, 10
001323d2cmp rax, 2
001323d6jne 0x13240c
001323d8mov rax, [rdi+8]
001323dcmov rbx, 0x700000000000000
001323e6cmp rax, rbx
001323e9jne 0x13240c
001323ebmov rax, [rdi]
001323eemov rbx, 0x2a72616c75626154
001323f8cmp rax, rbx
001323fbje 0x132418
001323fdmov rbx, 0x2a72616c75626174
00132407cmp rax, rbx
0013240aje 0x132418
0013240c
0013240cloc_13240c:
0013240cmov eax, 1
00132411mov [rsp], rax
00132415jmp 0x132480
00132417
00132417 90 .
00132418
00132418loc_132418:
00132418mov rax, [rsp+16]
0013241dcall camlLexstate.save_arg_1030
00132422mov rbx, rax
00132425mov [rsp], rbx
00132429mov rax, [rsp+24]
0013242emov rdi, [rax+80]
00132432mov rax, [rdi+16]
00132436mov rdi, [rdi+24]
0013243acall camlLatexscan.do_get_prim_onarg_1872
0013243fcall camlGet.get_length_920
00132444test al, 1
00132446jne 0x13247c
00132448movzx rbx, [rax-8]
0013244dcmp rbx, 3
00132451jl 0x13247c
00132453mov eax, 1
00132458mov rbx, [rsp]
0013245ccall camlSubst.do_do_subst_this_697
00132461mov rbx, rax
00132464lea rax, [rip+0x16575d]
0013246bcall camlStdlib.$5e_139
00132470call camlMisc.warning_287
00132475mov eax, 1
0013247ajmp 0x13247c
0013247c
0013247cloc_13247c:
0013247cmov [rsp], rax
00132480
00132480loc_132480:
00132480mov rdi, [rsp+32]
00132485mov rax, [rdi-8]
00132489shr rax, 10
0013248dcmp rax, 2
00132491je 0x1324bc
00132493cmp rax, 2
00132497jge 0x1324e1
00132499mov rax, [rdi]
0013249cmov rbx, 0x72616c75626154
001324a6cmp rax, rbx
001324a9je 0x132500
001324abmov rbx, 0x200007961727241
001324b5cmp rax, rbx
001324b8je 0x132500
001324bajmp 0x1324e1
001324bc
001324bcloc_1324bc:
001324bcmov rax, [rdi]
001324bfmov rbx, 0x2a72616c75626154
001324c9cmp rax, rbx
001324ccjne 0x1324e1
001324cemov rax, [rdi+8]
001324d2mov rbx, 0x700000000000000
001324dccmp rax, rbx
001324dfje 0x132500
001324e1
001324e1loc_1324e1:
001324e1lea rax, [rip+0x1e5798]
001324e8mov rbx, [rsp+16]
001324edcall camlLexstate.save_arg_opt_1107
001324f2lea rax, [rip+0x16c16f]
001324f9mov [rsp+8], rax
001324fejmp 0x13251f
00132500
00132500loc_132500:
00132500mov rax, [rsp+24]
00132505mov rdi, [rax+88]
00132509lea rax, [rip+0x16c158]
00132510mov rbx, [rsp+16]
00132515call camlLatexscan.get_prim_opt_1900
0013251amov [rsp+8], rax
0013251f
0013251floc_13251f:
0013251flea rax, [rip+0x1e575a]
00132526mov rbx, [rsp+16]
0013252bcall camlLexstate.save_arg_opt_1107
00132530mov rax, [rsp+16]
00132535call camlLexstate.save_arg_1030
0013253acall camlTabular.main_902
0013253fmov r12, [rsp+24]
00132544mov rdi, [r12+24]
00132549mov rsi, rax
0013254cmov rbx, rsp
0013254fmov rsp, [r14+64]
00132553call caml_modify
00132558mov rsp, rbx
0013255blea rax, [rip+0x1e443e]
00132562mov rbx, [rax+144]
00132569mov rbx, [rbx]
0013256cmov rdi, [rax+440]
00132573sub r15, 24
00132577cmp r15, [r14]
0013257ajb 0x132873
00132580
00132580loc_132580:
00132580lea rsi, [r15+8]
00132584mov [rsi-8], 2048
0013258cmov [rsi], rbx
0013258fmov rax, [rdi]
00132592mov [rsi+8], rax
00132596mov rbx, rsp
00132599mov rsp, [r14+64]
0013259dcall caml_modify
001325a2mov rsp, rbx
001325a5lea rax, [rip+0x1bc954]
001325acmov rax, [rax+8]
001325b0mov rax, [rax]
001325b3mov rdi, [rsp+32]
001325b8mov rbx, [rdi-8]
001325bcshr rbx, 10
001325c0cmp rbx, 2
001325c4jge 0x1325e7
001325c6mov rbx, [rdi]
001325c9mov rdi, 0x200007961727241
001325d3cmp rbx, rdi
001325d6je 0x1325f0
001325d8mov rdi, 0x200007961727261
001325e2cmp rbx, rdi
001325e5je 0x1325f0
001325e7
001325e7loc_1325e7:
001325e7mov ebx, 1
001325ecjmp 0x1325f5
001325ee
001325ee 66 90 f.
001325f0
001325f0loc_1325f0:
001325f0mov ebx, 3
001325f5
001325f5loc_1325f5:
001325f5sub r15, 40
001325f9cmp r15, [r14]
001325fcjb 0x132869
00132602
00132602loc_132602:
00132602lea rdi, [r15+8]
00132606add rdi, 16
0013260amov [rdi-8], 2048
00132612mov [rdi], rbx
00132615mov [rdi+8], rax
00132619lea rsi, [rdi-16]
0013261dmov [rsi-8], 1024
00132625mov [rsi], rdi
00132628mov rdi, [r12+32]
0013262dmov rbx, rsp
00132630mov rsp, [r14+64]
00132634call caml_modify
00132639mov rsp, rbx
0013263clea rax, [rip+0x1e435d]
00132643mov rax, [rax+136]
0013264amov rax, [rax]
0013264dcmp rax, 1
00132651je 0x132669
00132653mov rax, [r12+112]
00132658mov rbx, [rax+216]
0013265fmov eax, 1
00132664mov rdi, [rbx]
00132667call rdi
00132669
00132669loc_132669:
00132669lea rax, [rip+0x1e4330]
00132670mov rbx, [rax+144]
00132677mov [rbx], 1
0013267emov rbx, [rax+136]
00132685mov rbx, [rbx]
00132688mov rdi, [rax+448]
0013268fsub r15, 24
00132693cmp r15, [r14]
00132696jb 0x13285f
0013269c
0013269cloc_13269c:
0013269clea rsi, [r15+8]
001326a0mov [rsi-8], 2048
001326a8mov [rsi], rbx
001326abmov rax, [rdi]
001326aemov [rsi+8], rax
001326b2mov rbx, rsp
001326b5mov rsp, [r14+64]
001326b9call caml_modify
001326bemov rsp, rbx
001326c1lea rax, [rip+0x1e42d8]
001326c8mov rax, [rax+136]
001326cfmov [rax], 1
001326d6mov rdi, [rsp+8]
001326dbmov rax, [rdi-8]
001326dfshr rax, 10
001326e3cmp rax, 2
001326e7jl 0x1326f4
001326e9mov [rsp+8], rdi
001326eejmp 0x132795
001326f3
001326f3 90 .
001326f4
001326f4loc_1326f4:
001326f4mov rax, [rdi]
001326f7mov rbx, 0x700000000000000
00132701cmp rax, rbx
00132704jne 0x132790
0013270alea rax, [rip+0x1bc7ef]
00132711mov rax, [rax+8]
00132715mov rax, [rax]
00132718cmp rax, 1
0013271cje 0x132758
0013271emov rax, [rsp+24]
00132723mov rdi, [rax+104]
00132727mov eax, 3
0013272cmov rbx, [rsp]
00132730call camlLatexscan.get_table_attributes_2637
00132735mov rbx, rax
00132738mov rax, [rsp+24]
0013273dmov rax, [rax+112]
00132741mov rdi, [rax+512]
00132748mov eax, 3
0013274dcall caml_apply2
00132752jmp 0x1327ea
00132757
00132757 90 .
00132758
00132758loc_132758:
00132758mov rax, [rsp+24]
0013275dmov rdi, [rax+104]
00132761mov eax, 1
00132766mov rbx, [rsp]
0013276acall camlLatexscan.get_table_attributes_2637
0013276fmov rbx, rax
00132772mov rax, [rsp+24]
00132777mov rax, [rax+112]
0013277bmov rdi, [rax+512]
00132782mov eax, 1
00132787call caml_apply2
0013278cjmp 0x1327ea
0013278e
0013278e 66 90 f.
00132790
00132790loc_132790:
00132790mov [rsp+8], rdi
00132795
00132795loc_132795:
00132795mov rax, [rsp]
00132799call camlLatexscan.check_width_2631
0013279emov [rsp], rax
001327a2mov rax, [rsp+8]
001327a7call camlMyLexing.from_string_309
001327acmov rsi, rax
001327afmov edi, 1
001327b4lea rax, [rip+0x19b06d]
001327bbmov rbx, [rsp]
001327bfcall camlLexattr.add_style_acc_295
001327c4mov rbx, rax
001327c7mov rax, [rsp+24]
001327ccmov rax, [rax+112]
001327d0mov rdi, [rax+512]
001327d7lea rax, [rip+0x1bc722]
001327demov rax, [rax+8]
001327e2mov rax, [rax]
001327e5call caml_apply2
001327ea
001327ealoc_1327ea:
001327eamov rax, [rsp+24]
001327efmov rax, [rax+56]
001327f3mov rbx, [rax+16]
001327f7mov [rbx], 1
001327femov rax, [rax+24]
00132802mov rbx, [rax+520]
00132809mov eax, 1
0013280emov rdi, [rbx]
00132811call rdi
00132813mov rbx, [rsp+24]
00132818mov rax, [rbx+64]
0013281cmov rbx, [rbx+48]
00132820mov rdi, [rbx+16]
00132824mov [rdi], 3
0013282bmov rdi, [rbx+24]
0013282fmov [rdi], 3
00132836mov rbx, [rbx+32]
0013283acall camlLatexscan.open_col_1287
0013283fmov rax, [rsp+24]
00132844mov rdi, [rax+72]
00132848add rdi, 24
0013284cmov ebx, 327
00132851mov rax, [rsp+16]
00132856add rsp, 40
0013285ajmp 0x118950
0013285f
0013285floc_13285f:
0013285fcall caml_call_gc
00132864jmp 0x13269c
00132869
00132869loc_132869:
00132869call caml_call_gc
0013286ejmp 0x132602
00132873
00132873loc_132873:
00132873call caml_call_gc
00132878jmp 0x132580
0013287d
0013287dloc_13287d:
0013287dpush 38
0013287fcall caml_call_realloc_stack
00132884pop r10
00132886jmp 0x132392
00132380
0013288b
0013288b // align 0x10
0013288b // align 0x10
00132890
00132890camlLatexscan.fun_6824:
00132890mov rsi, rax
00132893mov rax, [rbx+16]
00132897mov rdi, [rbx+24]
0013289bmov rbx, rsi
0013289ejmp 0x132380
00132890
00132890camlLatexscan.fun_6824:
00132890mov rsi, rax
00132893mov rax, [rbx+16]
00132897mov rdi, [rbx+24]
0013289bmov rbx, rsi
0013289ejmp 0x132380
00132890
001328a3
001328a3 // align 0x10
001328a3 // align 0x10
001328b0
001328b0camlLatexscan.fun_6835:
001328b0mov rsi, rax
001328b3mov rax, [rbx+16]
001328b7mov rdi, [rbx+24]
001328bbmov rbx, rsi
001328bejmp 0x132380
001328b0
001328b0camlLatexscan.fun_6835:
001328b0mov rsi, rax
001328b3mov rax, [rbx+16]
001328b7mov rdi, [rbx+24]
001328bbmov rbx, rsi
001328bejmp 0x132380
001328b0
001328c3
001328c3 // align 0x10
001328c3 // align 0x10
001328d0
001328d0camlLatexscan.fun_6846:
001328d0mov rsi, rax
001328d3mov rax, [rbx+16]
001328d7mov rdi, [rbx+24]
001328dbmov rbx, rsi
001328dejmp 0x132380
001328d0
001328d0camlLatexscan.fun_6846:
001328d0mov rsi, rax
001328d3mov rax, [rbx+16]
001328d7mov rdi, [rbx+24]
001328dbmov rbx, rsi
001328dejmp 0x132380
001328d0
001328e3
001328e3 // align 0x10
001328e3 // align 0x10
001328f0
001328f0camlLatexscan.fun_6857:
001328f0mov rsi, rax
001328f3mov rax, [rbx+16]
001328f7mov rdi, [rbx+24]
001328fbmov rbx, rsi
001328fejmp 0x132380
001328f0
001328f0camlLatexscan.fun_6857:
001328f0mov rsi, rax
001328f3mov rax, [rbx+16]
001328f7mov rdi, [rbx+24]
001328fbmov rbx, rsi
001328fejmp 0x132380
001328f0
00132903
00132903 // align 0x10
00132903 // align 0x10
00132910
00132910camlLatexscan.fun_6868:
00132910mov rsi, rax
00132913mov rax, [rbx+16]
00132917mov rdi, [rbx+24]
0013291bmov rbx, rsi
0013291ejmp 0x132380
00132910
00132910camlLatexscan.fun_6868:
00132910mov rsi, rax
00132913mov rax, [rbx+16]
00132917mov rdi, [rbx+24]
0013291bmov rbx, rsi
0013291ejmp 0x132380
00132910
00132923
00132923 // align 0x10
00132923 // align 0x10
00132930
00132930camlLatexscan.fun_6879:
00132930mov rsi, rax
00132933mov rax, [rbx+16]
00132937mov rdi, [rbx+24]
0013293bmov rbx, rsi
0013293ejmp 0x132380
00132930
00132930camlLatexscan.fun_6879:
00132930mov rsi, rax
00132933mov rax, [rbx+16]
00132937mov rdi, [rbx+24]
0013293bmov rbx, rsi
0013293ejmp 0x132380
00132930
00132943
00132943 // align 0x10
00132943 // align 0x10
00132950
00132950camlLatexscan.close_array_2666:
00132950lea r10, [rsp-328]
00132958cmp r10, [r14+40]
0013295cjb 0x132a5c
00132962
00132962loc_132962:
00132962sub rsp, 8
00132966mov [rsp], rbx
0013296acmp r15, [r14]
0013296djbe 0x132a52
00132973
00132973loc_132973:
00132973mov rbx, [rbx+48]
00132977mov eax, 1
0013297ccall camlLatexscan.do_unskip_1919
00132981mov rbx, [rsp]
00132985mov rax, [rbx+40]
00132989mov rbx, [rbx+24]
0013298dmov rsi, [rbx+24]
00132991mov edi, 3
00132996lea rbx, [rip+0x16bccb]
0013299dcall camlLatexscan.close_col_aux_1318
001329a2mov rax, [rsp]
001329a6mov rbx, [rax+32]
001329aamov eax, 1
001329afcall camlLatexscan.close_last_row_1328
001329b4mov rax, [rsp]
001329b8mov rax, [rax+56]
001329bcmov rbx, [rax+600]
001329c3mov eax, 1
001329c8mov rdi, [rbx]
001329cbcall rdi
001329cdmov rax, [rsp]
001329d1mov rbx, [rax+16]
001329d5mov eax, 1
001329dacall camlLatexscan.restore_array_state_1024
001329dflea rax, [rip+0x1e3fba]
001329e6mov rax, [rax+440]
001329edcall camlMyStack.pop_292
001329f2lea rbx, [rip+0x1e3fa7]
001329f9mov rdi, [rbx+144]
00132a00mov [rdi], rax
00132a03mov rax, [rbx+448]
00132a0acall camlMyStack.pop_292
00132a0flea rbx, [rip+0x1e3f8a]
00132a16mov rbx, [rbx+136]
00132a1dmov [rbx], rax
00132a20mov rax, [rbx]
00132a23cmp rax, 1
00132a27je 0x132a48
00132a29mov rax, [rsp]
00132a2dmov rax, [rax+56]
00132a31mov rbx, [rax+216]
00132a38mov eax, 1
00132a3dmov rdi, [rbx]
00132a40add rsp, 8
00132a44jmp rdi
00132a46nop
00132a48
00132a48loc_132a48:
00132a48mov eax, 1
00132a4dadd rsp, 8
00132a51ret
00132a52
00132a52loc_132a52:
00132a52call caml_call_gc
00132a57jmp 0x132973
00132a5c
00132a5cloc_132a5c:
00132a5cpush 34
00132a5ecall caml_call_realloc_stack
00132a63pop r10
00132a65jmp 0x132962
00132950
00132950camlLatexscan.close_array_2666:
00132950lea r10, [rsp-328]
00132958cmp r10, [r14+40]
0013295cjb 0x132a5c
00132962
00132962loc_132962:
00132962sub rsp, 8
00132966mov [rsp], rbx
0013296acmp r15, [r14]
0013296djbe 0x132a52
00132973
00132973loc_132973:
00132973mov rbx, [rbx+48]
00132977mov eax, 1
0013297ccall camlLatexscan.do_unskip_1919
00132981mov rbx, [rsp]
00132985mov rax, [rbx+40]
00132989mov rbx, [rbx+24]
0013298dmov rsi, [rbx+24]
00132991mov edi, 3
00132996lea rbx, [rip+0x16bccb]
0013299dcall camlLatexscan.close_col_aux_1318
001329a2mov rax, [rsp]
001329a6mov rbx, [rax+32]
001329aamov eax, 1
001329afcall camlLatexscan.close_last_row_1328
001329b4mov rax, [rsp]
001329b8mov rax, [rax+56]
001329bcmov rbx, [rax+600]
001329c3mov eax, 1
001329c8mov rdi, [rbx]
001329cbcall rdi
001329cdmov rax, [rsp]
001329d1mov rbx, [rax+16]
001329d5mov eax, 1
001329dacall camlLatexscan.restore_array_state_1024
001329dflea rax, [rip+0x1e3fba]
001329e6mov rax, [rax+440]
001329edcall camlMyStack.pop_292
001329f2lea rbx, [rip+0x1e3fa7]
001329f9mov rdi, [rbx+144]
00132a00mov [rdi], rax
00132a03mov rax, [rbx+448]
00132a0acall camlMyStack.pop_292
00132a0flea rbx, [rip+0x1e3f8a]
00132a16mov rbx, [rbx+136]
00132a1dmov [rbx], rax
00132a20mov rax, [rbx]
00132a23cmp rax, 1
00132a27je 0x132a48
00132a29mov rax, [rsp]
00132a2dmov rax, [rax+56]
00132a31mov rbx, [rax+216]
00132a38mov eax, 1
00132a3dmov rdi, [rbx]
00132a40add rsp, 8
00132a44jmp rdi
00132a46nop
00132a48
00132a48loc_132a48:
00132a48mov eax, 1
00132a4dadd rsp, 8
00132a51ret
00132a52
00132a52loc_132a52:
00132a52call caml_call_gc
00132a57jmp 0x132973
00132a5c
00132a5cloc_132a5c:
00132a5cpush 34
00132a5ecall caml_call_realloc_stack
00132a63pop r10
00132a65jmp 0x132962
00132950
00132a6a
00132a6a // align 0x10
00132a6a // align 0x10
00132a70
00132a70camlLatexscan.do_amper_2669:
00132a70lea r10, [rsp-344]
00132a78cmp r10, [r14+40]
00132a7cjb 0x132b8a
00132a82
00132a82loc_132a82:
00132a82sub rsp, 24
00132a86mov [rsp], rax
00132a8amov [rsp+16], rbx
00132a8flea rax, [rip+0x1e3f0a]
00132a96mov rax, [rax+168]
00132a9dmov rax, [rax]
00132aa0cmp rax, 3
00132aa4je 0x132afc
00132aa6mov eax, 77
00132aabcall camlLexstate.is_plain_833
00132ab0cmp rax, 1
00132ab4je 0x132afc
00132ab6mov rbx, [rsp+16]
00132abbmov rax, [rbx+16]
00132abfmov rax, [rax]
00132ac2test al, 1
00132ac4je 0x132ac8
00132ac6jmp 0x132b38
00132ac8
00132ac8loc_132ac8:
00132ac8mov rax, [rbx+56]
00132accmov rbx, [rbx+40]
00132ad0mov rsi, [rbx+24]
00132ad4mov edi, 1
00132ad9lea rbx, [rip+0x16bb18]
00132ae0call camlLatexscan.close_col_aux_1318
00132ae5mov rbx, [rsp+16]
00132aeamov rax, [rbx+56]
00132aeemov rbx, [rbx+32]
00132af2call camlLatexscan.open_col_1287
00132af7jmp 0x132b38
00132af9
00132af9 0f 1f 00 ...
00132afc
00132afcloc_132afc:
00132afcmov rax, [rsp]
00132b00mov rbx, [rax+32]
00132b04mov rdi, [rax+40]
00132b08sub rdi, rbx
00132b0binc rdi
00132b0emov rax, [rax+8]
00132b12call Stdlib.Bytes.sub
00132b17mov rbx, [rsp+16]
00132b1cmov rbx, [rbx+48]
00132b20mov [rsp+8], rbx
00132b25call camlMisc.next_of_string_736
00132b2amov rbx, [rsp+8]
00132b2fmov rbx, [rbx+16]
00132b33call camlLatexscan.translate_next_1611
00132b38
00132b38loc_132b38:
00132b38lea rax, [rip+0x1e3e61]
00132b3fmov rax, [rax+168]
00132b46mov rax, [rax]
00132b49cmp rax, 3
00132b4dje 0x132b80
00132b4fmov eax, 77
00132b54call camlLexstate.is_plain_833
00132b59cmp rax, 1
00132b5dje 0x132b80
00132b5fmov rax, [rsp+16]
00132b64mov rdi, [rax+64]
00132b68add rdi, 24
00132b6cmov ebx, 327
00132b71mov rax, [rsp]
00132b75add rsp, 24
00132b79jmp 0x118950
00132b7e
00132b7e 66 90 f.
00132b80
00132b80loc_132b80:
00132b80mov eax, 1
00132b85add rsp, 24
00132b89ret
00132b8a
00132b8aloc_132b8a:
00132b8apush 36
00132b8ccall caml_call_realloc_stack
00132b91pop r10
00132b93jmp 0x132a82
00132a70
00132a70camlLatexscan.do_amper_2669:
00132a70lea r10, [rsp-344]
00132a78cmp r10, [r14+40]
00132a7cjb 0x132b8a
00132a82
00132a82loc_132a82:
00132a82sub rsp, 24
00132a86mov [rsp], rax
00132a8amov [rsp+16], rbx
00132a8flea rax, [rip+0x1e3f0a]
00132a96mov rax, [rax+168]
00132a9dmov rax, [rax]
00132aa0cmp rax, 3
00132aa4je 0x132afc
00132aa6mov eax, 77
00132aabcall camlLexstate.is_plain_833
00132ab0cmp rax, 1
00132ab4je 0x132afc
00132ab6mov rbx, [rsp+16]
00132abbmov rax, [rbx+16]
00132abfmov rax, [rax]
00132ac2test al, 1
00132ac4je 0x132ac8
00132ac6jmp 0x132b38
00132ac8
00132ac8loc_132ac8:
00132ac8mov rax, [rbx+56]
00132accmov rbx, [rbx+40]
00132ad0mov rsi, [rbx+24]
00132ad4mov edi, 1
00132ad9lea rbx, [rip+0x16bb18]
00132ae0call camlLatexscan.close_col_aux_1318
00132ae5mov rbx, [rsp+16]
00132aeamov rax, [rbx+56]
00132aeemov rbx, [rbx+32]
00132af2call camlLatexscan.open_col_1287
00132af7jmp 0x132b38
00132af9
00132af9 0f 1f 00 ...
00132afc
00132afcloc_132afc:
00132afcmov rax, [rsp]
00132b00mov rbx, [rax+32]
00132b04mov rdi, [rax+40]
00132b08sub rdi, rbx
00132b0binc rdi
00132b0emov rax, [rax+8]
00132b12call Stdlib.Bytes.sub
00132b17mov rbx, [rsp+16]
00132b1cmov rbx, [rbx+48]
00132b20mov [rsp+8], rbx
00132b25call camlMisc.next_of_string_736
00132b2amov rbx, [rsp+8]
00132b2fmov rbx, [rbx+16]
00132b33call camlLatexscan.translate_next_1611
00132b38
00132b38loc_132b38:
00132b38lea rax, [rip+0x1e3e61]
00132b3fmov rax, [rax+168]
00132b46mov rax, [rax]
00132b49cmp rax, 3
00132b4dje 0x132b80
00132b4fmov eax, 77
00132b54call camlLexstate.is_plain_833
00132b59cmp rax, 1
00132b5dje 0x132b80
00132b5fmov rax, [rsp+16]
00132b64mov rdi, [rax+64]
00132b68add rdi, 24
00132b6cmov ebx, 327
00132b71mov rax, [rsp]
00132b75add rsp, 24
00132b79jmp 0x118950
00132b7e
00132b7e 66 90 f.
00132b80
00132b80loc_132b80:
00132b80mov eax, 1
00132b85add rsp, 24
00132b89ret
00132b8a
00132b8aloc_132b8a:
00132b8apush 36
00132b8ccall caml_call_realloc_stack
00132b91pop r10
00132b93jmp 0x132a82
00132a70
00132b98
00132b98 // align 0x10
00132b98 // align 0x10
00132ba0
00132ba0camlLatexscan.do_bsbs_2670:
00132ba0lea r10, [rsp-336]
00132ba8cmp r10, [r14+40]
00132bacjb 0x132da0
00132bb2
00132bb2loc_132bb2:
00132bb2sub rsp, 16
00132bb6mov [rsp], rax
00132bbamov [rsp+8], rbx
00132bbfmov rbx, [rbx+96]
00132bc3mov eax, 1
00132bc8call camlLatexscan.do_unskip_1919
00132bcdlea rax, [rip+0x1e50ac]
00132bd4mov rbx, [rsp]
00132bd8call camlLexstate.save_arg_opt_1107
00132bddmov rbx, [rsp+8]
00132be2mov rax, [rbx+16]
00132be6mov rax, [rax]
00132be9test al, 1
00132bebje 0x132cd4
00132bf1mov rax, [rbx+16]
00132bf5mov rax, [rax]
00132bf8test al, 1
00132bfaje 0x132c0c
00132bfccmp rax, 1
00132c00je 0x132c0c
00132c02mov eax, 3
00132c07jmp 0x132c11
00132c09
00132c09 0f 1f 00 ...
00132c0c
00132c0cloc_132c0c:
00132c0cmov eax, 1
00132c11
00132c11loc_132c11:
00132c11cmp rax, 1
00132c15je 0x132c90
00132c17mov rax, [rbx+104]
00132c1bmov rbx, [rax+544]
00132c22lea rax, [rip+0x16ba3f]
00132c29mov rdi, [rbx]
00132c2ccall rdi
00132c2emov rax, [rsp+8]
00132c33mov rax, [rax+104]
00132c37mov rbx, [rax+584]
00132c3emov eax, 1
00132c43mov rdi, [rbx]
00132c46call rdi
00132c48mov rax, [rsp+8]
00132c4dmov rax, [rax+104]
00132c51mov rbx, [rax+520]
00132c58mov eax, 1
00132c5dmov rdi, [rbx]
00132c60call rdi
00132c62mov rcx, [rsp+8]
00132c67mov rax, [rcx+104]
00132c6bmov rdx, [rax+528]
00132c72mov esi, 1
00132c77mov edi, 1
00132c7cmov ebx, 3
00132c81mov rax, [rcx+24]
00132c85call caml_apply4
00132c8ajmp 0x132d64
00132c8f
00132c8f 90 .
00132c90
00132c90loc_132c90:
00132c90lea rax, [rip+0x1e3d09]
00132c97mov rax, [rax+136]
00132c9emov rax, [rax]
00132ca1cmp rax, 1
00132ca5je 0x132cb8
00132ca7lea rax, [rip+0x16b922]
00132caecall camlMisc.warning_287
00132cb3jmp 0x132d64
00132cb8
00132cb8loc_132cb8:
00132cb8mov rax, [rbx+104]
00132cbcmov rbx, [rax+384]
00132cc3mov eax, 1
00132cc8mov rdi, [rbx]
00132ccbcall rdi
00132ccdjmp 0x132d64
00132cd2
00132cd2 66 90 f.
00132cd4
00132cd4loc_132cd4:
00132cd4mov rax, [rbx+80]
00132cd8mov rbx, [rbx+72]
00132cdcmov rsi, [rbx+24]
00132ce0mov edi, 1
00132ce5lea rbx, [rip+0x16b90c]
00132ceccall camlLatexscan.close_col_aux_1318
00132cf1mov rax, [rsp+8]
00132cf6mov rax, [rax+64]
00132cfamov rax, [rax+16]
00132cfemov rbx, [rax+584]
00132d05mov eax, 1
00132d0amov rdi, [rbx]
00132d0dcall rdi
00132d0fmov rax, [rsp+8]
00132d14mov rax, [rax+56]
00132d18mov rbx, [rax+16]
00132d1cmov [rbx], 1
00132d23mov rax, [rax+24]
00132d27mov rbx, [rax+520]
00132d2emov eax, 1
00132d33mov rdi, [rbx]
00132d36call rdi
00132d38mov rbx, [rsp+8]
00132d3dmov rax, [rbx+80]
00132d41mov rbx, [rbx+48]
00132d45mov rdi, [rbx+16]
00132d49mov [rdi], 3
00132d50mov rdi, [rbx+24]
00132d54mov [rdi], 3
00132d5bmov rbx, [rbx+32]
00132d5fcall camlLatexscan.open_col_1287
00132d64
00132d64loc_132d64:
00132d64mov rax, [rsp+8]
00132d69mov rdi, [rax+88]
00132d6dadd rdi, 24
00132d71mov ebx, 327
00132d76mov rax, [rsp]
00132d7acall Latexscan..ocaml_lex_skip_blanks_pop_rec
00132d7fmov rax, [rsp+8]
00132d84mov rax, [rax+104]
00132d88mov rbx, [rax+88]
00132d8cmov eax, 1
00132d91mov rdi, [rbx]
00132d94call rdi
00132d96mov eax, 1
00132d9badd rsp, 16
00132d9fret
00132da0
00132da0loc_132da0:
00132da0push 35
00132da2call caml_call_realloc_stack
00132da7pop r10
00132da9jmp 0x132bb2
00132ba0
00132ba0camlLatexscan.do_bsbs_2670:
00132ba0lea r10, [rsp-336]
00132ba8cmp r10, [r14+40]
00132bacjb 0x132da0
00132bb2
00132bb2loc_132bb2:
00132bb2sub rsp, 16
00132bb6mov [rsp], rax
00132bbamov [rsp+8], rbx
00132bbfmov rbx, [rbx+96]
00132bc3mov eax, 1
00132bc8call camlLatexscan.do_unskip_1919
00132bcdlea rax, [rip+0x1e50ac]
00132bd4mov rbx, [rsp]
00132bd8call camlLexstate.save_arg_opt_1107
00132bddmov rbx, [rsp+8]
00132be2mov rax, [rbx+16]
00132be6mov rax, [rax]
00132be9test al, 1
00132bebje 0x132cd4
00132bf1mov rax, [rbx+16]
00132bf5mov rax, [rax]
00132bf8test al, 1
00132bfaje 0x132c0c
00132bfccmp rax, 1
00132c00je 0x132c0c
00132c02mov eax, 3
00132c07jmp 0x132c11
00132c09
00132c09 0f 1f 00 ...
00132c0c
00132c0cloc_132c0c:
00132c0cmov eax, 1
00132c11
00132c11loc_132c11:
00132c11cmp rax, 1
00132c15je 0x132c90
00132c17mov rax, [rbx+104]
00132c1bmov rbx, [rax+544]
00132c22lea rax, [rip+0x16ba3f]
00132c29mov rdi, [rbx]
00132c2ccall rdi
00132c2emov rax, [rsp+8]
00132c33mov rax, [rax+104]
00132c37mov rbx, [rax+584]
00132c3emov eax, 1
00132c43mov rdi, [rbx]
00132c46call rdi
00132c48mov rax, [rsp+8]
00132c4dmov rax, [rax+104]
00132c51mov rbx, [rax+520]
00132c58mov eax, 1
00132c5dmov rdi, [rbx]
00132c60call rdi
00132c62mov rcx, [rsp+8]
00132c67mov rax, [rcx+104]
00132c6bmov rdx, [rax+528]
00132c72mov esi, 1
00132c77mov edi, 1
00132c7cmov ebx, 3
00132c81mov rax, [rcx+24]
00132c85call caml_apply4
00132c8ajmp 0x132d64
00132c8f
00132c8f 90 .
00132c90
00132c90loc_132c90:
00132c90lea rax, [rip+0x1e3d09]
00132c97mov rax, [rax+136]
00132c9emov rax, [rax]
00132ca1cmp rax, 1
00132ca5je 0x132cb8
00132ca7lea rax, [rip+0x16b922]
00132caecall camlMisc.warning_287
00132cb3jmp 0x132d64
00132cb8
00132cb8loc_132cb8:
00132cb8mov rax, [rbx+104]
00132cbcmov rbx, [rax+384]
00132cc3mov eax, 1
00132cc8mov rdi, [rbx]
00132ccbcall rdi
00132ccdjmp 0x132d64
00132cd2
00132cd2 66 90 f.
00132cd4
00132cd4loc_132cd4:
00132cd4mov rax, [rbx+80]
00132cd8mov rbx, [rbx+72]
00132cdcmov rsi, [rbx+24]
00132ce0mov edi, 1
00132ce5lea rbx, [rip+0x16b90c]
00132ceccall camlLatexscan.close_col_aux_1318
00132cf1mov rax, [rsp+8]
00132cf6mov rax, [rax+64]
00132cfamov rax, [rax+16]
00132cfemov rbx, [rax+584]
00132d05mov eax, 1
00132d0amov rdi, [rbx]
00132d0dcall rdi
00132d0fmov rax, [rsp+8]
00132d14mov rax, [rax+56]
00132d18mov rbx, [rax+16]
00132d1cmov [rbx], 1
00132d23mov rax, [rax+24]
00132d27mov rbx, [rax+520]
00132d2emov eax, 1
00132d33mov rdi, [rbx]
00132d36call rdi
00132d38mov rbx, [rsp+8]
00132d3dmov rax, [rbx+80]
00132d41mov rbx, [rbx+48]
00132d45mov rdi, [rbx+16]
00132d49mov [rdi], 3
00132d50mov rdi, [rbx+24]
00132d54mov [rdi], 3
00132d5bmov rbx, [rbx+32]
00132d5fcall camlLatexscan.open_col_1287
00132d64
00132d64loc_132d64:
00132d64mov rax, [rsp+8]
00132d69mov rdi, [rax+88]
00132d6dadd rdi, 24
00132d71mov ebx, 327
00132d76mov rax, [rsp]
00132d7acall Latexscan..ocaml_lex_skip_blanks_pop_rec
00132d7fmov rax, [rsp+8]
00132d84mov rax, [rax+104]
00132d88mov rbx, [rax+88]
00132d8cmov eax, 1
00132d91mov rdi, [rbx]
00132d94call rdi
00132d96mov eax, 1
00132d9badd rsp, 16
00132d9fret
00132da0
00132da0loc_132da0:
00132da0push 35
00132da2call caml_call_realloc_stack
00132da7pop r10
00132da9jmp 0x132bb2
00132ba0
00132dae
00132dae // align 0x10
00132dae // align 0x10
00132db0
00132db0camlLatexscan.get_tt_mode_2676:
00132db0lea r10, [rsp-328]
00132db8cmp r10, [r14+40]
00132dbcjb 0x132ea3
00132dc2
00132dc2loc_132dc2:
00132dc2sub rsp, 8
00132dc6sub r15, 64
00132dcacmp r15, [r14]
00132dcdjb 0x132e99
00132dd3
00132dd3loc_132dd3:
00132dd3lea rsi, [r15+8]
00132dd7add rsi, 40
00132ddbmov [rsi-8], 2048
00132de3lea rax, [rip+0x16b78e]
00132deamov [rsi], rax
00132dedlea rax, [rip+0x1e3bac]
00132df4mov rax, [rax+728]
00132dfbmov rax, [rax]
00132dfemov [rsi+8], rax
00132e02lea rax, [rsi-40]
00132e06mov [rax-8], 4343
00132e0elea rdi, [rip+171]
00132e15mov [rax], rdi
00132e18mov rdi, 0x100000000000005
00132e22mov [rax+8], rdi
00132e26mov rdi, [rbx+24]
00132e2amov [rax+16], rdi
00132e2emov rdi, [rbx+32]
00132e32mov [rax+24], rdi
00132e36mov rdi, [rbx+16]
00132e3amov rbx, rsi
00132e3dcall camlLatexscan.get_style_1337
00132e42test al, 1
00132e44je 0x132e6c
00132e46lea rax, [rip+0x16b703]
00132e4dcall camlMisc.warning_287
00132e52lea rax, [rip+0x1fa7bf]
00132e59mov rax, [rax+16]
00132e5dmov rsp, [r14+48]
00132e61pop [r14+48]
00132e65pop r11
00132e67jmp r11
00132e6anop
00132e6c
00132e6cloc_132e6c:
00132e6cmov rbx, [rax]
00132e6fmov rax, [rax+8]
00132e73test al, 1
00132e75je 0x132e80
00132e77mov rax, rbx
00132e7aadd rsp, 8
00132e7eret
00132e7fnop
00132e80
00132e80loc_132e80:
00132e80mov [rsp], rbx
00132e84lea rax, [rip+0x16b69d]
00132e8bcall camlMisc.warning_287
00132e90mov rax, [rsp]
00132e94add rsp, 8
00132e98ret
00132e99
00132e99loc_132e99:
00132e99call caml_call_gc
00132e9ejmp 0x132dd3
00132ea3
00132ea3loc_132ea3:
00132ea3push 34
00132ea5call caml_call_realloc_stack
00132eaapop r10
00132eacjmp 0x132dc2
00132db0
00132db0camlLatexscan.get_tt_mode_2676:
00132db0lea r10, [rsp-328]
00132db8cmp r10, [r14+40]
00132dbcjb 0x132ea3
00132dc2
00132dc2loc_132dc2:
00132dc2sub rsp, 8
00132dc6sub r15, 64
00132dcacmp r15, [r14]
00132dcdjb 0x132e99
00132dd3
00132dd3loc_132dd3:
00132dd3lea rsi, [r15+8]
00132dd7add rsi, 40
00132ddbmov [rsi-8], 2048
00132de3lea rax, [rip+0x16b78e]
00132deamov [rsi], rax
00132dedlea rax, [rip+0x1e3bac]
00132df4mov rax, [rax+728]
00132dfbmov rax, [rax]
00132dfemov [rsi+8], rax
00132e02lea rax, [rsi-40]
00132e06mov [rax-8], 4343
00132e0elea rdi, [rip+171]
00132e15mov [rax], rdi
00132e18mov rdi, 0x100000000000005
00132e22mov [rax+8], rdi
00132e26mov rdi, [rbx+24]
00132e2amov [rax+16], rdi
00132e2emov rdi, [rbx+32]
00132e32mov [rax+24], rdi
00132e36mov rdi, [rbx+16]
00132e3amov rbx, rsi
00132e3dcall camlLatexscan.get_style_1337
00132e42test al, 1
00132e44je 0x132e6c
00132e46lea rax, [rip+0x16b703]
00132e4dcall camlMisc.warning_287
00132e52lea rax, [rip+0x1fa7bf]
00132e59mov rax, [rax+16]
00132e5dmov rsp, [r14+48]
00132e61pop [r14+48]
00132e65pop r11
00132e67jmp r11
00132e6anop
00132e6c
00132e6cloc_132e6c:
00132e6cmov rbx, [rax]
00132e6fmov rax, [rax+8]
00132e73test al, 1
00132e75je 0x132e80
00132e77mov rax, rbx
00132e7aadd rsp, 8
00132e7eret
00132e7fnop
00132e80
00132e80loc_132e80:
00132e80mov [rsp], rbx
00132e84lea rax, [rip+0x16b69d]
00132e8bcall camlMisc.warning_287
00132e90mov rax, [rsp]
00132e94add rsp, 8
00132e98ret
00132e99
00132e99loc_132e99:
00132e99call caml_call_gc
00132e9ejmp 0x132dd3
00132ea3
00132ea3loc_132ea3:
00132ea3push 34
00132ea5call caml_call_realloc_stack
00132eaapop r10
00132eacjmp 0x132dc2
00132db0
00132eb1
00132eb1 // align 0x10
00132eb1 // align 0x10
00132ec0
00132ec0camlLatexscan.fun_6969:
00132ec0lea r10, [rsp-336]
00132ec8cmp r10, [r14+40]
00132eccjb 0x132f0c
00132ece
00132eceloc_132ece:
00132ecesub rsp, 16
00132ed2mov [rsp+8], rax
00132ed7mov [rsp], rbx
00132edbmov rax, [rbx+24]
00132edfmov rbx, [rax+56]
00132ee3mov eax, 1
00132ee8mov rdi, [rbx]
00132eebcall rdi
00132eedmov rax, [rsp]
00132ef1mov rdi, [rax+16]
00132ef5add rdi, 24
00132ef9mov ebx, 1
00132efemov rax, [rsp+8]
00132f03add rsp, 16
00132f07jmp 0x1166c0
00132f0c
00132f0cloc_132f0c:
00132f0cpush 35
00132f0ecall caml_call_realloc_stack
00132f13pop r10
00132f15jmp 0x132ece
00132ec0
00132ec0camlLatexscan.fun_6969:
00132ec0lea r10, [rsp-336]
00132ec8cmp r10, [r14+40]
00132eccjb 0x132f0c
00132ece
00132eceloc_132ece:
00132ecesub rsp, 16
00132ed2mov [rsp+8], rax
00132ed7mov [rsp], rbx
00132edbmov rax, [rbx+24]
00132edfmov rbx, [rax+56]
00132ee3mov eax, 1
00132ee8mov rdi, [rbx]
00132eebcall rdi
00132eedmov rax, [rsp]
00132ef1mov rdi, [rax+16]
00132ef5add rdi, 24
00132ef9mov ebx, 1
00132efemov rax, [rsp+8]
00132f03add rsp, 16
00132f07jmp 0x1166c0
00132f0c
00132f0cloc_132f0c:
00132f0cpush 35
00132f0ecall caml_call_realloc_stack
00132f13pop r10
00132f15jmp 0x132ece
00132ec0
00132f17
00132f17 // align 0x10
00132f17 // align 0x10
00132f20
00132f20camlLatexscan.fun_6977:
00132f20lea r10, [rsp-352]
00132f28cmp r10, [r14+40]
00132f2cjb 0x132fba
00132f32
00132f32loc_132f32:
00132f32sub rsp, 16
00132f36mov [rsp], rax
00132f3amov [rsp+8], rbx
00132f3flea r11, [rip+62]
00132f46push r11
00132f48push [r14+48]
00132f4cmov [r14+48], rsp
00132f50mov rbx, [rbx+24]
00132f54mov eax, 1
00132f59call camlLatexscan.get_tt_mode_2676
00132f5emov rbx, [rsp+24]
00132f63mov rdi, [rbx+32]
00132f67mov rsi, rax
00132f6amov rbx, rsp
00132f6dmov rsp, [r14+64]
00132f71call caml_modify
00132f76mov rsp, rbx
00132f79pop [r14+48]
00132f7dadd rsp, 8
00132f81jmp 0x132fa4
00132f83nop
00132f84lea rbx, [rip+0x1fa68d]
00132f8bmov rbx, [rbx+16]
00132f8fcmp rax, rbx
00132f92je 0x132fa4
00132f94mov rsp, [r14+48]
00132f98pop [r14+48]
00132f9cpop r11
00132f9ejmp r11
00132fa1nop [rax]
00132fa4
00132fa4loc_132fa4:
00132fa4mov rax, [rsp+8]
00132fa9mov rbx, [rax+16]
00132fadmov rax, [rsp]
00132fb1add rsp, 16
00132fb5jmp 0x127b00
00132fba
00132fbaloc_132fba:
00132fbapush 37
00132fbccall caml_call_realloc_stack
00132fc1pop r10
00132fc3jmp 0x132f32
00132f20
00132f20camlLatexscan.fun_6977:
00132f20lea r10, [rsp-352]
00132f28cmp r10, [r14+40]
00132f2cjb 0x132fba
00132f32
00132f32loc_132f32:
00132f32sub rsp, 16
00132f36mov [rsp], rax
00132f3amov [rsp+8], rbx
00132f3flea r11, [rip+62]
00132f46push r11
00132f48push [r14+48]
00132f4cmov [r14+48], rsp
00132f50mov rbx, [rbx+24]
00132f54mov eax, 1
00132f59call camlLatexscan.get_tt_mode_2676
00132f5emov rbx, [rsp+24]
00132f63mov rdi, [rbx+32]
00132f67mov rsi, rax
00132f6amov rbx, rsp
00132f6dmov rsp, [r14+64]
00132f71call caml_modify
00132f76mov rsp, rbx
00132f79pop [r14+48]
00132f7dadd rsp, 8
00132f81jmp 0x132fa4
00132f83nop
00132f84lea rbx, [rip+0x1fa68d]
00132f8bmov rbx, [rbx+16]
00132f8fcmp rax, rbx
00132f92je 0x132fa4
00132f94mov rsp, [r14+48]
00132f98pop [r14+48]
00132f9cpop r11
00132f9ejmp r11
00132fa1nop [rax]
00132fa4
00132fa4loc_132fa4:
00132fa4mov rax, [rsp+8]
00132fa9mov rbx, [rax+16]
00132fadmov rax, [rsp]
00132fb1add rsp, 16
00132fb5jmp 0x127b00
00132fba
00132fbaloc_132fba:
00132fbapush 37
00132fbccall caml_call_realloc_stack
00132fc1pop r10
00132fc3jmp 0x132f32
00132f20
00132fc8
00132fc8 // align 0x10
00132fc8 // align 0x10
00132fd0
00132fd0camlLatexscan.has_tt_2684:
00132fd0cmp r15, [r14]
00132fd3jbe 0x132fec
00132fd5
00132fd5loc_132fd5:
00132fd5mov rax, [rbx+24]
00132fd9mov rdi, [rax+80]
00132fddmov rax, [rbx+16]
00132fe1mov rax, [rax]
00132fe4mov rsi, [rdi]
00132fe7mov rbx, rdi
00132feajmp rsi
00132fec
00132fecloc_132fec:
00132feccall caml_call_gc
00132ff1jmp 0x132fd5
00132fd0
00132fd0camlLatexscan.has_tt_2684:
00132fd0cmp r15, [r14]
00132fd3jbe 0x132fec
00132fd5
00132fd5loc_132fd5:
00132fd5mov rax, [rbx+24]
00132fd9mov rdi, [rax+80]
00132fddmov rax, [rbx+16]
00132fe1mov rax, [rax]
00132fe4mov rsi, [rdi]
00132fe7mov rbx, rdi
00132feajmp rsi
00132fec
00132fecloc_132fec:
00132feccall caml_call_gc
00132ff1jmp 0x132fd5
00132fd0
00132ff3
00132ff3 // align 0x10
00132ff3 // align 0x10
00133000
00133000camlLatexscan.do_minus_2687:
00133000lea r10, [rsp-336]
00133008cmp r10, [r14+40]
0013300cjb 0x133198
00133012
00133012loc_133012:
00133012sub rsp, 16
00133016mov [rsp+8], rbx
0013301bcmp r15, [r14]
0013301ejbe 0x13318e
00133024
00133024loc_133024:
00133024lea rbx, [rip+0x1e3975]
0013302bmov rbx, [rbx+168]
00133032mov rbx, [rbx]
00133035cmp rbx, 3
00133039je 0x133170
0013303fmov [rsp], rax
00133043mov eax, 91
00133048call camlLexstate.is_plain_833
0013304dcmp rax, 1
00133051je 0x133170
00133057mov rax, [rsp+8]
0013305cmov rax, [rax+24]
00133060mov rbx, [rax+24]
00133064mov rbx, [rbx+80]
00133068mov rax, [rax+16]
0013306cmov rax, [rax]
0013306fmov rdi, [rbx]
00133072call rdi
00133074cmp rax, 1
00133078jne 0x133170
0013307emov eax, 91
00133083mov rbx, [rsp]
00133087call camlSave.if_next_char_480
0013308ccmp rax, 1
00133090je 0x133110
00133092lea rax, [rip+0x1e80b7]
00133099mov rdi, [rax+64]
0013309dadd rdi, 24
001330a1mov ebx, 405
001330a6mov rax, [rsp]
001330aacall Save..ocaml_lex_gobble_one_char_rec
001330afmov eax, 91
001330b4mov rbx, [rsp]
001330b8call camlSave.if_next_char_480
001330bdcmp rax, 1
001330c1je 0x1330f8
001330c3lea rax, [rip+0x1e8086]
001330camov rdi, [rax+64]
001330ceadd rdi, 24
001330d2mov ebx, 405
001330d7mov rax, [rsp]
001330dbcall Save..ocaml_lex_gobble_one_char_rec
001330e0mov rax, [rsp+8]
001330e5mov rbx, [rax+16]
001330e9mov eax, 16425
001330eeadd rsp, 16
001330f2jmp 0x12ce20
001330f7nop
001330f8
001330f8loc_1330f8:
001330f8mov rax, [rsp+8]
001330fdmov rbx, [rax+16]
00133101mov eax, 16423
00133106add rsp, 16
0013310ajmp 0x12ce20
0013310fnop
00133110
00133110loc_133110:
00133110lea rax, [rip+0x1e3889]
00133117mov rbx, [rax+144]
0013311emov rbx, [rbx]
00133121cmp rbx, 1
00133125je 0x133150
00133127mov rax, [rax+128]
0013312emov rax, [rax]
00133131cmp rax, 1
00133135jne 0x133150
00133137mov rax, [rsp+8]
0013313cmov rbx, [rax+16]
00133140mov eax, 17445
00133145add rsp, 16
00133149jmp 0x12ce20
0013314enop
00133150
00133150loc_133150:
00133150mov rax, [rsp+8]
00133155mov rax, [rax+32]
00133159mov rbx, [rax+360]
00133160mov eax, 91
00133165mov rdi, [rbx]
00133168add rsp, 16
0013316cjmp rdi
0013316enop
00133170
00133170loc_133170:
00133170mov rax, [rsp+8]
00133175mov rax, [rax+32]
00133179mov rbx, [rax+360]
00133180mov eax, 91
00133185mov rdi, [rbx]
00133188add rsp, 16
0013318cjmp rdi
0013318e
0013318eloc_13318e:
0013318ecall caml_call_gc
00133193jmp 0x133024
00133198
00133198loc_133198:
00133198push 35
0013319acall caml_call_realloc_stack
0013319fpop r10
001331a1jmp 0x133012
00133000
00133000camlLatexscan.do_minus_2687:
00133000lea r10, [rsp-336]
00133008cmp r10, [r14+40]
0013300cjb 0x133198
00133012
00133012loc_133012:
00133012sub rsp, 16
00133016mov [rsp+8], rbx
0013301bcmp r15, [r14]
0013301ejbe 0x13318e
00133024
00133024loc_133024:
00133024lea rbx, [rip+0x1e3975]
0013302bmov rbx, [rbx+168]
00133032mov rbx, [rbx]
00133035cmp rbx, 3
00133039je 0x133170
0013303fmov [rsp], rax
00133043mov eax, 91
00133048call camlLexstate.is_plain_833
0013304dcmp rax, 1
00133051je 0x133170
00133057mov rax, [rsp+8]
0013305cmov rax, [rax+24]
00133060mov rbx, [rax+24]
00133064mov rbx, [rbx+80]
00133068mov rax, [rax+16]
0013306cmov rax, [rax]
0013306fmov rdi, [rbx]
00133072call rdi
00133074cmp rax, 1
00133078jne 0x133170
0013307emov eax, 91
00133083mov rbx, [rsp]
00133087call camlSave.if_next_char_480
0013308ccmp rax, 1
00133090je 0x133110
00133092lea rax, [rip+0x1e80b7]
00133099mov rdi, [rax+64]
0013309dadd rdi, 24
001330a1mov ebx, 405
001330a6mov rax, [rsp]
001330aacall Save..ocaml_lex_gobble_one_char_rec
001330afmov eax, 91
001330b4mov rbx, [rsp]
001330b8call camlSave.if_next_char_480
001330bdcmp rax, 1
001330c1je 0x1330f8
001330c3lea rax, [rip+0x1e8086]
001330camov rdi, [rax+64]
001330ceadd rdi, 24
001330d2mov ebx, 405
001330d7mov rax, [rsp]
001330dbcall Save..ocaml_lex_gobble_one_char_rec
001330e0mov rax, [rsp+8]
001330e5mov rbx, [rax+16]
001330e9mov eax, 16425
001330eeadd rsp, 16
001330f2jmp 0x12ce20
001330f7nop
001330f8
001330f8loc_1330f8:
001330f8mov rax, [rsp+8]
001330fdmov rbx, [rax+16]
00133101mov eax, 16423
00133106add rsp, 16
0013310ajmp 0x12ce20
0013310fnop
00133110
00133110loc_133110:
00133110lea rax, [rip+0x1e3889]
00133117mov rbx, [rax+144]
0013311emov rbx, [rbx]
00133121cmp rbx, 1
00133125je 0x133150
00133127mov rax, [rax+128]
0013312emov rax, [rax]
00133131cmp rax, 1
00133135jne 0x133150
00133137mov rax, [rsp+8]
0013313cmov rbx, [rax+16]
00133140mov eax, 17445
00133145add rsp, 16
00133149jmp 0x12ce20
0013314enop
00133150
00133150loc_133150:
00133150mov rax, [rsp+8]
00133155mov rax, [rax+32]
00133159mov rbx, [rax+360]
00133160mov eax, 91
00133165mov rdi, [rbx]
00133168add rsp, 16
0013316cjmp rdi
0013316enop
00133170
00133170loc_133170:
00133170mov rax, [rsp+8]
00133175mov rax, [rax+32]
00133179mov rbx, [rax+360]
00133180mov eax, 91
00133185mov rdi, [rbx]
00133188add rsp, 16
0013318cjmp rdi
0013318e
0013318eloc_13318e:
0013318ecall caml_call_gc
00133193jmp 0x133024
00133198
00133198loc_133198:
00133198push 35
0013319acall caml_call_realloc_stack
0013319fpop r10
001331a1jmp 0x133012
00133000
001331a6
001331a6 // align 0x10
001331a6 // align 0x10
001331b0
001331b0camlLatexscan.do_backquote_2690:
001331b0lea r10, [rsp-336]
001331b8cmp r10, [r14+40]
001331bcjb 0x133374
001331c2
001331c2loc_1331c2:
001331c2sub rsp, 16
001331c6mov [rsp], rax
001331camov [rsp+8], rbx
001331cfcmp r15, [r14]
001331d2jbe 0x13336a
001331d8
001331d8loc_1331d8:
001331d8mov eax, 193
001331ddcall camlLexstate.is_plain_833
001331e2cmp rax, 1
001331e6je 0x13334c
001331eclea rax, [rip+0x1e37ad]
001331f3mov rax, [rax+144]
001331famov rax, [rax]
001331fdcmp rax, 1
00133201je 0x1332b0
00133207mov eax, 193
0013320cmov rbx, [rsp]
00133210call camlSave.if_next_char_480
00133215cmp rax, 1
00133219je 0x133298
0013321blea rax, [rip+0x1e7f2e]
00133222mov rdi, [rax+64]
00133226add rdi, 24
0013322amov ebx, 405
0013322fmov rax, [rsp]
00133233call Save..ocaml_lex_gobble_one_char_rec
00133238mov eax, 193
0013323dmov rbx, [rsp]
00133241call camlSave.if_next_char_480
00133246cmp rax, 1
0013324aje 0x133280
0013324clea rax, [rip+0x1e7efd]
00133253mov rdi, [rax+64]
00133257add rdi, 24
0013325bmov ebx, 405
00133260mov rax, [rsp]
00133264call Save..ocaml_lex_gobble_one_char_rec
00133269mov rax, [rsp+8]
0013326emov rbx, [rax+16]
00133272mov eax, 16495
00133277add rsp, 16
0013327bjmp 0x12ce20
00133280
00133280loc_133280:
00133280mov rax, [rsp+8]
00133285mov rbx, [rax+16]
00133289mov eax, 16493
0013328eadd rsp, 16
00133292jmp 0x12ce20
00133297nop
00133298
00133298loc_133298:
00133298mov rax, [rsp+8]
0013329dmov rbx, [rax+16]
001332a1mov eax, 16491
001332a6add rsp, 16
001332aajmp 0x12ce20
001332afnop
001332b0
001332b0loc_1332b0:
001332b0mov rax, [rsp+8]
001332b5mov rax, [rax+24]
001332b9mov rbx, [rax+24]
001332bdmov rbx, [rbx+80]
001332c1mov rax, [rax+16]
001332c5mov rax, [rax]
001332c8mov rdi, [rbx]
001332cbcall rdi
001332cdcmp rax, 1
001332d1je 0x1332ec
001332d3mov rax, [rsp+8]
001332d8mov rbx, [rax+16]
001332dcmov eax, 16433
001332e1add rsp, 16
001332e5jmp 0x12ce20
001332eanop
001332ec
001332ecloc_1332ec:
001332ecmov eax, 193
001332f1mov rbx, [rsp]
001332f5call camlSave.if_next_char_480
001332facmp rax, 1
001332feje 0x133334
00133300lea rax, [rip+0x1e7e49]
00133307mov rdi, [rax+64]
0013330badd rdi, 24
0013330fmov ebx, 405
00133314mov rax, [rsp]
00133318call Save..ocaml_lex_gobble_one_char_rec
0013331dmov rax, [rsp+8]
00133322mov rbx, [rax+16]
00133326mov eax, 16441
0013332badd rsp, 16
0013332fjmp 0x12ce20
00133334
00133334loc_133334:
00133334mov rax, [rsp+8]
00133339mov rbx, [rax+16]
0013333dmov eax, 16433
00133342add rsp, 16
00133346jmp 0x12ce20
0013334bnop
0013334c
0013334cloc_13334c:
0013334cmov rax, [rsp+8]
00133351mov rax, [rax+32]
00133355mov rbx, [rax+360]
0013335cmov eax, 193
00133361mov rdi, [rbx]
00133364add rsp, 16
00133368jmp rdi
0013336a
0013336aloc_13336a:
0013336acall caml_call_gc
0013336fjmp 0x1331d8
00133374
00133374loc_133374:
00133374push 35
00133376call caml_call_realloc_stack
0013337bpop r10
0013337djmp 0x1331c2
001331b0
001331b0camlLatexscan.do_backquote_2690:
001331b0lea r10, [rsp-336]
001331b8cmp r10, [r14+40]
001331bcjb 0x133374
001331c2
001331c2loc_1331c2:
001331c2sub rsp, 16
001331c6mov [rsp], rax
001331camov [rsp+8], rbx
001331cfcmp r15, [r14]
001331d2jbe 0x13336a
001331d8
001331d8loc_1331d8:
001331d8mov eax, 193
001331ddcall camlLexstate.is_plain_833
001331e2cmp rax, 1
001331e6je 0x13334c
001331eclea rax, [rip+0x1e37ad]
001331f3mov rax, [rax+144]
001331famov rax, [rax]
001331fdcmp rax, 1
00133201je 0x1332b0
00133207mov eax, 193
0013320cmov rbx, [rsp]
00133210call camlSave.if_next_char_480
00133215cmp rax, 1
00133219je 0x133298
0013321blea rax, [rip+0x1e7f2e]
00133222mov rdi, [rax+64]
00133226add rdi, 24
0013322amov ebx, 405
0013322fmov rax, [rsp]
00133233call Save..ocaml_lex_gobble_one_char_rec
00133238mov eax, 193
0013323dmov rbx, [rsp]
00133241call camlSave.if_next_char_480
00133246cmp rax, 1
0013324aje 0x133280
0013324clea rax, [rip+0x1e7efd]
00133253mov rdi, [rax+64]
00133257add rdi, 24
0013325bmov ebx, 405
00133260mov rax, [rsp]
00133264call Save..ocaml_lex_gobble_one_char_rec
00133269mov rax, [rsp+8]
0013326emov rbx, [rax+16]
00133272mov eax, 16495
00133277add rsp, 16
0013327bjmp 0x12ce20
00133280
00133280loc_133280:
00133280mov rax, [rsp+8]
00133285mov rbx, [rax+16]
00133289mov eax, 16493
0013328eadd rsp, 16
00133292jmp 0x12ce20
00133297nop
00133298
00133298loc_133298:
00133298mov rax, [rsp+8]
0013329dmov rbx, [rax+16]
001332a1mov eax, 16491
001332a6add rsp, 16
001332aajmp 0x12ce20
001332afnop
001332b0
001332b0loc_1332b0:
001332b0mov rax, [rsp+8]
001332b5mov rax, [rax+24]
001332b9mov rbx, [rax+24]
001332bdmov rbx, [rbx+80]
001332c1mov rax, [rax+16]
001332c5mov rax, [rax]
001332c8mov rdi, [rbx]
001332cbcall rdi
001332cdcmp rax, 1
001332d1je 0x1332ec
001332d3mov rax, [rsp+8]
001332d8mov rbx, [rax+16]
001332dcmov eax, 16433
001332e1add rsp, 16
001332e5jmp 0x12ce20
001332eanop
001332ec
001332ecloc_1332ec:
001332ecmov eax, 193
001332f1mov rbx, [rsp]
001332f5call camlSave.if_next_char_480
001332facmp rax, 1
001332feje 0x133334
00133300lea rax, [rip+0x1e7e49]
00133307mov rdi, [rax+64]
0013330badd rdi, 24
0013330fmov ebx, 405
00133314mov rax, [rsp]
00133318call Save..ocaml_lex_gobble_one_char_rec
0013331dmov rax, [rsp+8]
00133322mov rbx, [rax+16]
00133326mov eax, 16441
0013332badd rsp, 16
0013332fjmp 0x12ce20
00133334
00133334loc_133334:
00133334mov rax, [rsp+8]
00133339mov rbx, [rax+16]
0013333dmov eax, 16433
00133342add rsp, 16
00133346jmp 0x12ce20
0013334bnop
0013334c
0013334cloc_13334c:
0013334cmov rax, [rsp+8]
00133351mov rax, [rax+32]
00133355mov rbx, [rax+360]
0013335cmov eax, 193
00133361mov rdi, [rbx]
00133364add rsp, 16
00133368jmp rdi
0013336a
0013336aloc_13336a:
0013336acall caml_call_gc
0013336fjmp 0x1331d8
00133374
00133374loc_133374:
00133374push 35
00133376call caml_call_realloc_stack
0013337bpop r10
0013337djmp 0x1331c2
001331b0
00133382
00133382 // align 0x10
00133382 // align 0x10
00133390
00133390camlLatexscan.do_quote_2691:
00133390lea r10, [rsp-336]
00133398cmp r10, [r14+40]
0013339cjb 0x133554
001333a2
001333a2loc_1333a2:
001333a2sub rsp, 16
001333a6mov [rsp], rax
001333aamov [rsp+8], rbx
001333afcmp r15, [r14]
001333b2jbe 0x13354a
001333b8
001333b8loc_1333b8:
001333b8mov eax, 79
001333bdcall camlLexstate.is_plain_833
001333c2cmp rax, 1
001333c6je 0x13352c
001333cclea rax, [rip+0x1e35cd]
001333d3mov rax, [rax+144]
001333damov rax, [rax]
001333ddcmp rax, 1
001333e1je 0x133490
001333e7mov eax, 79
001333ecmov rbx, [rsp]
001333f0call camlSave.if_next_char_480
001333f5cmp rax, 1
001333f9je 0x133478
001333fblea rax, [rip+0x1e7d4e]
00133402mov rdi, [rax+64]
00133406add rdi, 24
0013340amov ebx, 405
0013340fmov rax, [rsp]
00133413call Save..ocaml_lex_gobble_one_char_rec
00133418mov eax, 79
0013341dmov rbx, [rsp]
00133421call camlSave.if_next_char_480
00133426cmp rax, 1
0013342aje 0x133460
0013342clea rax, [rip+0x1e7d1d]
00133433mov rdi, [rax+64]
00133437add rdi, 24
0013343bmov ebx, 405
00133440mov rax, [rsp]
00133444call Save..ocaml_lex_gobble_one_char_rec
00133449mov rax, [rsp+8]
0013344emov rbx, [rax+16]
00133452mov eax, 16489
00133457add rsp, 16
0013345bjmp 0x12ce20
00133460
00133460loc_133460:
00133460mov rax, [rsp+8]
00133465mov rbx, [rax+16]
00133469mov eax, 16487
0013346eadd rsp, 16
00133472jmp 0x12ce20
00133477nop
00133478
00133478loc_133478:
00133478mov rax, [rsp+8]
0013347dmov rbx, [rax+16]
00133481mov eax, 16485
00133486add rsp, 16
0013348ajmp 0x12ce20
0013348fnop
00133490
00133490loc_133490:
00133490mov rax, [rsp+8]
00133495mov rax, [rax+24]
00133499mov rbx, [rax+24]
0013349dmov rbx, [rbx+80]
001334a1mov rax, [rax+16]
001334a5mov rax, [rax]
001334a8mov rdi, [rbx]
001334abcall rdi
001334adcmp rax, 1
001334b1je 0x1334cc
001334b3mov rax, [rsp+8]
001334b8mov rbx, [rax+16]
001334bcmov eax, 16435
001334c1add rsp, 16
001334c5jmp 0x12ce20
001334canop
001334cc
001334ccloc_1334cc:
001334ccmov eax, 79
001334d1mov rbx, [rsp]
001334d5call camlSave.if_next_char_480
001334dacmp rax, 1
001334deje 0x133514
001334e0lea rax, [rip+0x1e7c69]
001334e7mov rdi, [rax+64]
001334ebadd rdi, 24
001334efmov ebx, 405
001334f4mov rax, [rsp]
001334f8call Save..ocaml_lex_gobble_one_char_rec
001334fdmov rax, [rsp+8]
00133502mov rbx, [rax+16]
00133506mov eax, 16443
0013350badd rsp, 16
0013350fjmp 0x12ce20
00133514
00133514loc_133514:
00133514mov rax, [rsp+8]
00133519mov rbx, [rax+16]
0013351dmov eax, 16435
00133522add rsp, 16
00133526jmp 0x12ce20
0013352bnop
0013352c
0013352cloc_13352c:
0013352cmov rax, [rsp+8]
00133531mov rax, [rax+32]
00133535mov rbx, [rax+360]
0013353cmov eax, 79
00133541mov rdi, [rbx]
00133544add rsp, 16
00133548jmp rdi
0013354a
0013354aloc_13354a:
0013354acall caml_call_gc
0013354fjmp 0x1333b8
00133554
00133554loc_133554:
00133554push 35
00133556call caml_call_realloc_stack
0013355bpop r10
0013355djmp 0x1333a2
00133390
00133390camlLatexscan.do_quote_2691:
00133390lea r10, [rsp-336]
00133398cmp r10, [r14+40]
0013339cjb 0x133554
001333a2
001333a2loc_1333a2:
001333a2sub rsp, 16
001333a6mov [rsp], rax
001333aamov [rsp+8], rbx
001333afcmp r15, [r14]
001333b2jbe 0x13354a
001333b8
001333b8loc_1333b8:
001333b8mov eax, 79
001333bdcall camlLexstate.is_plain_833
001333c2cmp rax, 1
001333c6je 0x13352c
001333cclea rax, [rip+0x1e35cd]
001333d3mov rax, [rax+144]
001333damov rax, [rax]
001333ddcmp rax, 1
001333e1je 0x133490
001333e7mov eax, 79
001333ecmov rbx, [rsp]
001333f0call camlSave.if_next_char_480
001333f5cmp rax, 1
001333f9je 0x133478
001333fblea rax, [rip+0x1e7d4e]
00133402mov rdi, [rax+64]
00133406add rdi, 24
0013340amov ebx, 405
0013340fmov rax, [rsp]
00133413call Save..ocaml_lex_gobble_one_char_rec
00133418mov eax, 79
0013341dmov rbx, [rsp]
00133421call camlSave.if_next_char_480
00133426cmp rax, 1
0013342aje 0x133460
0013342clea rax, [rip+0x1e7d1d]
00133433mov rdi, [rax+64]
00133437add rdi, 24
0013343bmov ebx, 405
00133440mov rax, [rsp]
00133444call Save..ocaml_lex_gobble_one_char_rec
00133449mov rax, [rsp+8]
0013344emov rbx, [rax+16]
00133452mov eax, 16489
00133457add rsp, 16
0013345bjmp 0x12ce20
00133460
00133460loc_133460:
00133460mov rax, [rsp+8]
00133465mov rbx, [rax+16]
00133469mov eax, 16487
0013346eadd rsp, 16
00133472jmp 0x12ce20
00133477nop
00133478
00133478loc_133478:
00133478mov rax, [rsp+8]
0013347dmov rbx, [rax+16]
00133481mov eax, 16485
00133486add rsp, 16
0013348ajmp 0x12ce20
0013348fnop
00133490
00133490loc_133490:
00133490mov rax, [rsp+8]
00133495mov rax, [rax+24]
00133499mov rbx, [rax+24]
0013349dmov rbx, [rbx+80]
001334a1mov rax, [rax+16]
001334a5mov rax, [rax]
001334a8mov rdi, [rbx]
001334abcall rdi
001334adcmp rax, 1
001334b1je 0x1334cc
001334b3mov rax, [rsp+8]
001334b8mov rbx, [rax+16]
001334bcmov eax, 16435
001334c1add rsp, 16
001334c5jmp 0x12ce20
001334canop
001334cc
001334ccloc_1334cc:
001334ccmov eax, 79
001334d1mov rbx, [rsp]
001334d5call camlSave.if_next_char_480
001334dacmp rax, 1
001334deje 0x133514
001334e0lea rax, [rip+0x1e7c69]
001334e7mov rdi, [rax+64]
001334ebadd rdi, 24
001334efmov ebx, 405
001334f4mov rax, [rsp]
001334f8call Save..ocaml_lex_gobble_one_char_rec
001334fdmov rax, [rsp+8]
00133502mov rbx, [rax+16]
00133506mov eax, 16443
0013350badd rsp, 16
0013350fjmp 0x12ce20
00133514
00133514loc_133514:
00133514mov rax, [rsp+8]
00133519mov rbx, [rax+16]
0013351dmov eax, 16435
00133522add rsp, 16
00133526jmp 0x12ce20
0013352bnop
0013352c
0013352cloc_13352c:
0013352cmov rax, [rsp+8]
00133531mov rax, [rax+32]
00133535mov rbx, [rax+360]
0013353cmov eax, 79
00133541mov rdi, [rbx]
00133544add rsp, 16
00133548jmp rdi
0013354a
0013354aloc_13354a:
0013354acall caml_call_gc
0013354fjmp 0x1333b8
00133554
00133554loc_133554:
00133554push 35
00133556call caml_call_realloc_stack
0013355bpop r10
0013355djmp 0x1333a2
00133390
00133562
00133562 // align 0x10
00133562 // align 0x10
00133570
00133570camlLatexscan.fun_7047:
00133570mov rdi, rax
00133573mov rdx, [rbx+24]
00133577mov rsi, [rbx+16]
0013357blea rax, [rip+0x166e66]
00133582mov rbx, rdx
00133585jmp 0x126140
00133570
00133570camlLatexscan.fun_7047:
00133570mov rdi, rax
00133573mov rdx, [rbx+24]
00133577mov rsi, [rbx+16]
0013357blea rax, [rip+0x166e66]
00133582mov rbx, rdx
00133585jmp 0x126140
00133570
0013358a
0013358a // align 0x10
0013358a // align 0x10
00133590
00133590camlLatexscan.fun_7055:
00133590mov rdi, rax
00133593mov rdx, [rbx+24]
00133597mov rsi, [rbx+16]
0013359blea rax, [rip+0x16b0c6]
001335a2mov rbx, rdx
001335a5jmp 0x1262a0
00133590
00133590camlLatexscan.fun_7055:
00133590mov rdi, rax
00133593mov rdx, [rbx+24]
00133597mov rsi, [rbx+16]
0013359blea rax, [rip+0x16b0c6]
001335a2mov rbx, rdx
001335a5jmp 0x1262a0
00133590
001335aa
001335aa // align 0x10
001335aa // align 0x10
001335b0
001335b0camlLatexscan.fun_7063:
001335b0lea r10, [rsp-336]
001335b8cmp r10, [r14+40]
001335bcjb 0x1335f3
001335be
001335beloc_1335be:
001335besub rsp, 16
001335c2mov [rsp+8], rax
001335c7mov [rsp], rbx
001335cbmov rax, [rbx+24]
001335cfmov rbx, [rax+8]
001335d3mov eax, 1
001335d8mov rdi, [rbx]
001335dbcall rdi
001335ddmov rax, [rsp]
001335e1mov rbx, [rax+16]
001335e5mov rax, [rsp+8]
001335eaadd rsp, 16
001335eejmp 0x127b00
001335f3
001335f3loc_1335f3:
001335f3push 35
001335f5call caml_call_realloc_stack
001335fapop r10
001335fcjmp 0x1335be
001335b0
001335b0camlLatexscan.fun_7063:
001335b0lea r10, [rsp-336]
001335b8cmp r10, [r14+40]
001335bcjb 0x1335f3
001335be
001335beloc_1335be:
001335besub rsp, 16
001335c2mov [rsp+8], rax
001335c7mov [rsp], rbx
001335cbmov rax, [rbx+24]
001335cfmov rbx, [rax+8]
001335d3mov eax, 1
001335d8mov rdi, [rbx]
001335dbcall rdi
001335ddmov rax, [rsp]
001335e1mov rbx, [rax+16]
001335e5mov rax, [rsp+8]
001335eaadd rsp, 16
001335eejmp 0x127b00
001335f3
001335f3loc_1335f3:
001335f3push 35
001335f5call caml_call_realloc_stack
001335fapop r10
001335fcjmp 0x1335be
001335b0
001335fe
001335fe // align 0x10
001335fe // align 0x10
00133600
00133600camlLatexscan.fun_7069:
00133600lea r10, [rsp-336]
00133608cmp r10, [r14+40]
0013360cjb 0x133643
0013360e
0013360eloc_13360e:
0013360esub rsp, 16
00133612mov [rsp+8], rax
00133617mov [rsp], rbx
0013361bmov rax, [rbx+24]
0013361fmov rbx, [rax+16]
00133623mov eax, 1
00133628mov rdi, [rbx]
0013362bcall rdi
0013362dmov rax, [rsp]
00133631mov rbx, [rax+16]
00133635mov rax, [rsp+8]
0013363aadd rsp, 16
0013363ejmp 0x127b00
00133643
00133643loc_133643:
00133643push 35
00133645call caml_call_realloc_stack
0013364apop r10
0013364cjmp 0x13360e
00133600
00133600camlLatexscan.fun_7069:
00133600lea r10, [rsp-336]
00133608cmp r10, [r14+40]
0013360cjb 0x133643
0013360e
0013360eloc_13360e:
0013360esub rsp, 16
00133612mov [rsp+8], rax
00133617mov [rsp], rbx
0013361bmov rax, [rbx+24]
0013361fmov rbx, [rax+16]
00133623mov eax, 1
00133628mov rdi, [rbx]
0013362bcall rdi
0013362dmov rax, [rsp]
00133631mov rbx, [rax+16]
00133635mov rax, [rsp+8]
0013363aadd rsp, 16
0013363ejmp 0x127b00
00133643
00133643loc_133643:
00133643push 35
00133645call caml_call_realloc_stack
0013364apop r10
0013364cjmp 0x13360e
00133600
0013364e
0013364e // align 0x10
0013364e // align 0x10
00133650
00133650camlLatexscan.fun_7075:
00133650lea r10, [rsp-336]
00133658cmp r10, [r14+40]
0013365cjb 0x133693
0013365e
0013365eloc_13365e:
0013365esub rsp, 16
00133662mov [rsp+8], rax
00133667mov [rsp], rbx
0013366bmov rax, [rbx+24]
0013366fmov rbx, [rax+16]
00133673mov eax, 1
00133678mov rdi, [rbx]
0013367bcall rdi
0013367dmov rax, [rsp]
00133681mov rbx, [rax+16]
00133685mov rax, [rsp+8]
0013368aadd rsp, 16
0013368ejmp 0x127b00
00133693
00133693loc_133693:
00133693push 35
00133695call caml_call_realloc_stack
0013369apop r10
0013369cjmp 0x13365e
00133650
00133650camlLatexscan.fun_7075:
00133650lea r10, [rsp-336]
00133658cmp r10, [r14+40]
0013365cjb 0x133693
0013365e
0013365eloc_13365e:
0013365esub rsp, 16
00133662mov [rsp+8], rax
00133667mov [rsp], rbx
0013366bmov rax, [rbx+24]
0013366fmov rbx, [rax+16]
00133673mov eax, 1
00133678mov rdi, [rbx]
0013367bcall rdi
0013367dmov rax, [rsp]
00133681mov rbx, [rax+16]
00133685mov rax, [rsp+8]
0013368aadd rsp, 16
0013368ejmp 0x127b00
00133693
00133693loc_133693:
00133693push 35
00133695call caml_call_realloc_stack
0013369apop r10
0013369cjmp 0x13365e
00133650
Loading..