Similarity

0012d200
0012d200camlLatexscan.fun_5325:
0012d200lea r10, [rsp-328]
0012d208cmp r10, [r14+40]
0012d20cjb 0x12d24c
0012d20e
0012d20eloc_12d20e:
0012d20esub rsp, 8
0012d212mov [rsp], rbx
0012d216cmp r15, [r14]
0012d219jbe 0x12d245
0012d21b
0012d21bloc_12d21b:
0012d21bcall camlLexstate.save_arg_1030
0012d220mov rbx, rax
0012d223mov eax, 3
0012d228call camlSubst.do_do_subst_this_697
0012d22dmov rbx, [rsp]
0012d231mov rbx, [rbx+16]
0012d235mov rbx, [rbx+352]
0012d23cmov rdi, [rbx]
0012d23fadd rsp, 8
0012d243jmp rdi
0012d245
0012d245loc_12d245:
0012d245call caml_call_gc
0012d24ajmp 0x12d21b
0012d24c
0012d24cloc_12d24c:
0012d24cpush 34
0012d24ecall caml_call_realloc_stack
0012d253pop r10
0012d255jmp 0x12d20e
0012d200

0012d257
0012d257 // align 0x10

0012d260
0012d260camlLatexscan.fun_5329:
0012d260lea r10, [rsp-328]
0012d268cmp r10, [r14+40]
0012d26cjb 0x12d2a8
0012d26e
0012d26eloc_12d26e:
0012d26esub rsp, 8
0012d272mov [rsp], rbx
0012d276call camlLexstate.save_arg_1030
0012d27bmov rdx, rax
0012d27emov rax, [rsp]
0012d282mov rsi, [rax+24]
0012d286mov rcx, [rax+16]
0012d28amov rdi, [rcx+40]
0012d28emov rbx, [rcx+32]
0012d292mov rax, [rcx+24]
0012d296mov rcx, [rcx+48]
0012d29acall camlLatexscan.do_get_this_1062
0012d29fadd rsp, 8
0012d2a3jmp 0x18eb30
0012d2a8
0012d2a8loc_12d2a8:
0012d2a8push 34
0012d2aacall caml_call_realloc_stack
0012d2afpop r10
0012d2b1jmp 0x12d26e
0012d260

0012d2b3
0012d2b3 // align 0x10

0012d2c0
0012d2c0camlLatexscan.fun_5345:
0012d2c0lea r10, [rsp-320]
0012d2c8cmp r10, [r14+40]
0012d2ccjb 0x12d2e5
0012d2ce
0012d2celoc_12d2ce:
0012d2cecall camlLexstate.save_arg_1030
0012d2d3mov rbx, rax
0012d2d6mov eax, 1
0012d2dbcall camlSubst.do_do_subst_this_697
0012d2e0jmp 0x18eb30
0012d2e5
0012d2e5loc_12d2e5:
0012d2e5push 33
0012d2e7call caml_call_realloc_stack
0012d2ecpop r10
0012d2eejmp 0x12d2ce
0012d2c0

0012d2f0
0012d2f0camlLatexscan.fun_5349:
0012d2f0lea r10, [rsp-360]
0012d2f8cmp r10, [r14+40]
0012d2fcjb 0x12d3d8
0012d302
0012d302loc_12d302:
0012d302sub rsp, 40
0012d306mov [rsp+16], rax
0012d30bmov [rsp+8], rbx
0012d310mov rbx, [rbx+16]
0012d314mov [rsp], rbx
0012d318call camlLexstate.save_arg_1030
0012d31dmov rbx, rax
0012d320mov rax, [rsp]
0012d324mov rdi, [rax+16]
0012d328mov rax, [rdi+16]
0012d32cmov rdi, [rdi+24]
0012d330call camlLatexscan.do_get_prim_onarg_1872
0012d335mov [rsp+24], rax
0012d33amov rax, [rsp+8]
0012d33fmov rax, [rax+16]
0012d343mov [rsp], rax
0012d347mov rax, [rsp+16]
0012d34ccall camlLexstate.save_arg_1030
0012d351mov rbx, rax
0012d354mov rax, [rsp]
0012d358mov rdi, [rax+16]
0012d35cmov rax, [rdi+16]
0012d360mov rdi, [rdi+24]
0012d364call camlLatexscan.do_get_prim_onarg_1872
0012d369mov [rsp], rax
0012d36dmov rax, [rsp+16]
0012d372call camlLatexscan.get_num_arg_2113
0012d377mov [rsp+32], rax
0012d37cmov rax, [rsp+16]
0012d381call camlLexstate.save_arg_1030
0012d386mov rax, [rax]
0012d389mov [rsp+16], rax
0012d38emov rax, [rsp]
0012d392mov [rsp+8], rax
0012d397mov rax, [rsp+24]
0012d39cmov [rsp], rax
0012d3a0lea rax, [rip+0x16bb81]
0012d3a7call Stdlib.Printf.sprintf
0012d3acmov rsi, rax
0012d3afmov rax, [rsp]
0012d3b3mov rbx, [rsp+8]
0012d3b8mov rdi, [rsp+16]
0012d3bdcall caml_apply3
0012d3c2mov rdi, rax
0012d3c5mov rax, [rsp+24]
0012d3camov rbx, [rsp+32]
0012d3cfadd rsp, 40
0012d3d3jmp 0x18f0f0
0012d3d8
0012d3d8loc_12d3d8:
0012d3d8push 38
0012d3dacall caml_call_realloc_stack
0012d3dfpop r10
0012d3e1jmp 0x12d302
0012d2f0

0012d3e6
0012d3e6 // align 0x10

0012d3f0
0012d3f0camlLatexscan.fun_5381:
0012d3f0lea r10, [rsp-360]
0012d3f8cmp r10, [r14+40]
0012d3fcjb 0x12d4c9
0012d402
0012d402loc_12d402:
0012d402sub rsp, 40
0012d406mov [rsp+16], rax
0012d40bmov [rsp+8], rbx
0012d410mov rbx, [rbx+16]
0012d414mov [rsp], rbx
0012d418call camlLexstate.save_arg_1030
0012d41dmov rbx, rax
0012d420mov rax, [rsp]
0012d424mov rdi, [rax+16]
0012d428mov rax, [rdi+16]
0012d42cmov rdi, [rdi+24]
0012d430call camlLatexscan.do_get_prim_onarg_1872
0012d435mov [rsp+24], rax
0012d43amov rax, [rsp+8]
0012d43fmov rax, [rax+16]
0012d443mov [rsp], rax
0012d447mov rax, [rsp+16]
0012d44ccall camlLexstate.save_arg_1030
0012d451mov rbx, rax
0012d454mov rax, [rsp]
0012d458mov rdi, [rax+16]
0012d45cmov rax, [rdi+16]
0012d460mov rdi, [rdi+24]
0012d464call camlLatexscan.do_get_prim_onarg_1872
0012d469mov [rsp], rax
0012d46dmov rax, [rsp+16]
0012d472call camlLatexscan.get_num_arg_2113
0012d477mov [rsp+32], rax
0012d47cmov rax, [rsp+16]
0012d481call camlLexstate.save_arg_1030
0012d486mov rax, [rax]
0012d489mov [rsp+8], rax
0012d48emov rax, [rsp]
0012d492mov [rsp], rax
0012d496lea rax, [rip+0x16b9cb]
0012d49dcall Stdlib.Printf.sprintf
0012d4a2mov rdi, rax
0012d4a5mov rax, [rsp]
0012d4a9mov rbx, [rsp+8]
0012d4aecall caml_apply2
0012d4b3mov rdi, rax
0012d4b6mov rax, [rsp+24]
0012d4bbmov rbx, [rsp+32]
0012d4c0add rsp, 40
0012d4c4jmp 0x18f0f0
0012d4c9
0012d4c9loc_12d4c9:
0012d4c9push 38
0012d4cbcall caml_call_realloc_stack
0012d4d0pop r10
0012d4d2jmp 0x12d402
0012d3f0

0012d4d7
0012d4d7 // align 0x10

0012d4e0
0012d4e0camlLatexscan.fun_5411:
0012d4e0lea r10, [rsp-376]
0012d4e8cmp r10, [r14+40]
0012d4ecjb 0x12d5dd
0012d4f2
0012d4f2loc_12d4f2:
0012d4f2sub rsp, 40
0012d4f6mov [rsp+24], rax
0012d4fbmov [rsp+16], rbx
0012d500mov rbx, [rbx+16]
0012d504mov eax, 1
0012d509call camlLatexscan.check_all_989
0012d50emov [rsp], rax
0012d512lea r11, [rip+119]
0012d519push r11
0012d51bpush [r14+48]
0012d51fmov [r14+48], rsp
0012d523mov rax, [rsp+32]
0012d528mov rax, [rax+32]
0012d52cmov [rsp+24], rax
0012d531mov rax, [rsp+40]
0012d536call camlLexstate.save_arg_1030
0012d53bmov rbx, rax
0012d53emov rax, [rsp+24]
0012d543mov rdi, [rax+16]
0012d547mov rax, [rdi+16]
0012d54bmov rdi, [rdi+24]
0012d54fcall camlLatexscan.do_get_prim_onarg_1872
0012d554mov [rsp+24], rax
0012d559mov rax, [rsp+40]
0012d55ecall camlLatexscan.get_num_arg_2113
0012d563mov [rsp+48], rax
0012d568mov rax, [rsp+40]
0012d56dcall camlLexstate.save_arg_1030
0012d572mov rdi, [rax]
0012d575mov rax, [rsp+24]
0012d57amov rbx, [rsp+48]
0012d57fcall camlAuxx.addtoc_549
0012d584pop [r14+48]
0012d588add rsp, 8
0012d58cjmp 0x12d5d8
0012d58e
0012d58e 66 90 f.
0012d590mov [rsp+8], rax
0012d595mov rax, [rsp+16]
0012d59amov rbx, [rax+24]
0012d59emov rax, [rsp]
0012d5a2call camlLatexscan.hot_all_990
0012d5a7mov rax, [rsp+8]
0012d5accall Stdlib.Printexc.to_string
0012d5b1mov [rsp], rax
0012d5b5lea rax, [rip+0x16b78c]
0012d5bccall Stdlib.Printf.sprintf
0012d5c1mov rbx, rax
0012d5c4mov rdi, [rbx]
0012d5c7mov rax, [rsp]
0012d5cbcall rdi
0012d5cdadd rsp, 40
0012d5d1jmp 0x1919c0
0012d5d6
0012d5d6 66 90 f.
0012d5d8
0012d5d8loc_12d5d8:
0012d5d8add rsp, 40
0012d5dcret
0012d5dd
0012d5ddloc_12d5dd:
0012d5ddpush 40
0012d5dfcall caml_call_realloc_stack
0012d5e4pop r10
0012d5e6jmp 0x12d4f2
0012d4e0

0012d5eb
0012d5eb // align 0x10

0012d5f0
0012d5f0camlLatexscan.fun_5433:
0012d5f0lea r10, [rsp-328]
0012d5f8cmp r10, [r14+40]
0012d5fcjb 0x12d674
0012d5fe
0012d5feloc_12d5fe:
0012d5fesub rsp, 8
0012d602mov [rsp], rbx
0012d606cmp r15, [r14]
0012d609jbe 0x12d66d
0012d60b
0012d60bloc_12d60b:
0012d60bcall camlLexstate.save_arg_1030
0012d610mov rdx, rax
0012d613mov rax, [rsp]
0012d617mov rsi, [rax+24]
0012d61bmov rcx, [rax+16]
0012d61fmov rdi, [rcx+40]
0012d623mov rbx, [rcx+32]
0012d627mov rax, [rcx+24]
0012d62bmov rcx, [rcx+48]
0012d62fcall camlLatexscan.do_get_this_1062
0012d634call camlMyLexing.from_string_309
0012d639lea rbx, [rip+0x1edb10]
0012d640mov rdi, [rbx+264]
0012d647add rdi, 24
0012d64bmov ebx, 269
0012d650call Save..ocaml_lex_tagout_rec
0012d655mov rbx, [rsp]
0012d659mov rbx, [rbx+32]
0012d65dmov rbx, [rbx+352]
0012d664mov rdi, [rbx]
0012d667add rsp, 8
0012d66bjmp rdi
0012d66d
0012d66dloc_12d66d:
0012d66dcall caml_call_gc
0012d672jmp 0x12d60b
0012d674
0012d674loc_12d674:
0012d674push 34
0012d676call caml_call_realloc_stack
0012d67bpop r10
0012d67djmp 0x12d5fe
0012d5f0

0012d682
0012d682 // align 0x10

0012d690
0012d690camlLatexscan.fun_5451:
0012d690lea r10, [rsp-336]
0012d698cmp r10, [r14+40]
0012d69cjb 0x12d774
0012d6a2
0012d6a2loc_12d6a2:
0012d6a2sub rsp, 16
0012d6a6mov [rsp], rbx
0012d6aacall camlLexstate.save_arg_1030
0012d6afmov rbx, rax
0012d6b2sub r15, 40
0012d6b6cmp r15, [r14]
0012d6b9jb 0x12d76a
0012d6bf
0012d6bfloc_12d6bf:
0012d6bflea rax, [r15+8]
0012d6c3mov [rax-8], 4343
0012d6cblea rdi, [rip+190]
0012d6d2mov [rax], rdi
0012d6d5mov rdi, 0x100000000000005
0012d6dfmov [rax+8], rdi
0012d6e3mov rsi, [rsp]
0012d6e7mov rdi, [rsi+24]
0012d6ebmov [rax+16], rdi
0012d6efmov rdi, [rsi+32]
0012d6f3mov [rax+24], rdi
0012d6f7mov rdi, [rsi+16]
0012d6fbcall camlLatexscan.get_style_1337
0012d700mov [rsp+8], rax
0012d705lea rax, [rip+0x1fc964]
0012d70cmov rax, [rax+80]
0012d710mov rax, [rax]
0012d713cmp rax, 5
0012d717jle 0x12d750
0012d719lea rbx, [rip+0x16b5e8]
0012d720lea rax, [rip+0x1ffef1]
0012d727mov rax, [rax+312]
0012d72ecall camlStdlib.output_string_253
0012d733lea rax, [rip+0x169cd6]
0012d73amov rbx, [rsp+8]
0012d73fcall Stdlib.List.iter
0012d744lea rax, [rip+0x170f1d]
0012d74bcall camlStdlib.prerr_endline_390
0012d750
0012d750loc_12d750:
0012d750mov rax, [rsp]
0012d754mov rax, [rax+32]
0012d758mov rbx, [rax+72]
0012d75cmov rdi, [rbx]
0012d75fmov rax, [rsp+8]
0012d764add rsp, 16
0012d768jmp rdi
0012d76a
0012d76aloc_12d76a:
0012d76acall caml_call_gc
0012d76fjmp 0x12d6bf
0012d774
0012d774loc_12d774:
0012d774push 35
0012d776call caml_call_realloc_stack
0012d77bpop r10
0012d77djmp 0x12d6a2
0012d690

0012d782
0012d782 // align 0x10

0012d790
0012d790camlLatexscan.fun_5464:
0012d790lea r10, [rsp-336]
0012d798cmp r10, [r14+40]
0012d79cjb 0x12d7dc
0012d79e
0012d79eloc_12d79e:
0012d79esub rsp, 16
0012d7a2mov [rsp+8], rax
0012d7a7mov [rsp], rbx
0012d7abmov rax, [rbx+24]
0012d7afmov rbx, [rax+56]
0012d7b3mov eax, 1
0012d7b8mov rdi, [rbx]
0012d7bbcall rdi
0012d7bdmov rax, [rsp]
0012d7c1mov rdi, [rax+16]
0012d7c5add rdi, 24
0012d7c9mov ebx, 1
0012d7cemov rax, [rsp+8]
0012d7d3add rsp, 16
0012d7d7jmp 0x1166c0
0012d7dc
0012d7dcloc_12d7dc:
0012d7dcpush 35
0012d7decall caml_call_realloc_stack
0012d7e3pop r10
0012d7e5jmp 0x12d79e
0012d790

0012d7e7
0012d7e7 // align 0x10

0012d7f0
0012d7f0camlLatexscan.fun_5471:
0012d7f0lea r10, [rsp-320]
0012d7f8cmp r10, [r14+40]
0012d7fcjb 0x12d825
0012d7fe
0012d7feloc_12d7fe:
0012d7fecall camlElement.pretty_text_275
0012d803lea rbx, [rip+0x16b4ee]
0012d80acall camlStdlib.$5e_139
0012d80fmov rbx, rax
0012d812lea rax, [rip+0x1ffdff]
0012d819mov rax, [rax+312]
0012d820jmp 0x1963d0
0012d825
0012d825loc_12d825:
0012d825push 33
0012d827call caml_call_realloc_stack
0012d82cpop r10
0012d82ejmp 0x12d7fe
0012d7f0

0012d830
0012d830camlLatexscan.fun_5475:
0012d830lea r10, [rsp-328]
0012d838cmp r10, [r14+40]
0012d83cjb 0x12d8a1
0012d83e
0012d83eloc_12d83e:
0012d83esub rsp, 8
0012d842mov [rsp], rbx
0012d846mov rax, [rbx+24]
0012d84amov rdi, [rbx+16]
0012d84elea rbx, [rip+0x16cb13]
0012d855call camlLatexscan.get_style_1337
0012d85amov rbx, [rsp]
0012d85emov rdi, [rbx+32]
0012d862sub r15, 24
0012d866cmp r15, [r14]
0012d869jb 0x12d89a
0012d86b
0012d86bloc_12d86b:
0012d86blea rsi, [r15+8]
0012d86fmov [rsi-8], 2048
0012d877mov [rsi], rax
0012d87amov rax, [rdi]
0012d87dmov [rsi+8], rax
0012d881mov rbx, rsp
0012d884mov rsp, [r14+64]
0012d888call caml_modify
0012d88dmov rsp, rbx
0012d890mov eax, 1
0012d895add rsp, 8
0012d899ret
0012d89a
0012d89aloc_12d89a:
0012d89acall caml_call_gc
0012d89fjmp 0x12d86b
0012d8a1
0012d8a1loc_12d8a1:
0012d8a1push 34
0012d8a3call caml_call_realloc_stack
0012d8a8pop r10
0012d8aajmp 0x12d83e
0012d830

0012d8ac
0012d8ac // align 0x10

0012d8b0
0012d8b0camlLatexscan.fun_5485:
0012d8b0lea r10, [rsp-336]
0012d8b8cmp r10, [r14+40]
0012d8bcjb 0x12d912
0012d8be
0012d8beloc_12d8be:
0012d8besub rsp, 16
0012d8c2mov [rsp+8], rbx
0012d8c7mov rax, [rbx+16]
0012d8cbcall camlMyStack.pop_292
0012d8d0mov [rsp], rax
0012d8d4mov rax, [rsp+8]
0012d8d9mov rax, [rax+24]
0012d8ddmov rbx, [rax+56]
0012d8e1mov eax, 1
0012d8e6mov rdi, [rbx]
0012d8e9call rdi
0012d8ebmov ebx, 1
0012d8f0mov rax, [rsp]
0012d8f4call Stdlib.List.rev_append
0012d8f9mov rbx, rax
0012d8fcmov rax, [rsp+8]
0012d901mov rax, [rax+24]
0012d905mov rax, [rax+64]
0012d909add rsp, 16
0012d90djmp 0x1a0330
0012d912
0012d912loc_12d912:
0012d912push 35
0012d914call caml_call_realloc_stack
0012d919pop r10
0012d91bjmp 0x12d8be
0012d8b0

0012d91d
0012d91d // align 0x10

0012d920
0012d920camlLatexscan.fun_5489:
0012d920lea r10, [rsp-336]
0012d928cmp r10, [r14+40]
0012d92cjb 0x12d994
0012d92e
0012d92eloc_12d92e:
0012d92esub rsp, 16
0012d932mov [rsp+8], rbx
0012d937mov rbx, [rbx+16]
0012d93bmov [rsp], rbx
0012d93fcall camlLexstate.save_arg_1030
0012d944mov rbx, rax
0012d947mov rax, [rsp]
0012d94bmov rdi, [rax+16]
0012d94fmov rax, [rdi+16]
0012d953mov rdi, [rdi+24]
0012d957call camlLatexscan.do_get_prim_onarg_1872
0012d95cmov rbx, [rsp+8]
0012d961mov rbx, [rbx+24]
0012d965mov rbx, [rbx+64]
0012d969sub r15, 16
0012d96dcmp r15, [r14]
0012d970jb 0x12d98d
0012d972
0012d972loc_12d972:
0012d972lea rdi, [r15+8]
0012d976mov [rdi-8], 1024
0012d97emov [rdi], rax
0012d981mov rsi, [rbx]
0012d984mov rax, rdi
0012d987add rsp, 16
0012d98bjmp rsi
0012d98d
0012d98dloc_12d98d:
0012d98dcall caml_call_gc
0012d992jmp 0x12d972
0012d994
0012d994loc_12d994:
0012d994push 35
0012d996call caml_call_realloc_stack
0012d99bpop r10
0012d99djmp 0x12d92e
0012d920

0012d99f
0012d99f // align 0x10

0012d9a0
0012d9a0camlLatexscan.fun_5503:
0012d9a0lea r10, [rsp-352]
0012d9a8cmp r10, [r14+40]
0012d9acjb 0x12da5a
0012d9b2
0012d9b2loc_12d9b2:
0012d9b2sub rsp, 32
0012d9b6mov [rsp+8], rax
0012d9bbmov [rsp+16], rbx
0012d9c0mov rbx, [rbx+16]
0012d9c4mov [rsp], rbx
0012d9c8call camlLexstate.save_arg_1030
0012d9cdmov rbx, rax
0012d9d0mov rax, [rsp]
0012d9d4mov rdi, [rax+16]
0012d9d8mov rax, [rdi+16]
0012d9dcmov rdi, [rdi+24]
0012d9e0call camlLatexscan.do_get_prim_onarg_1872
0012d9e5mov [rsp+24], rax
0012d9eamov rax, [rsp+16]
0012d9efmov rax, [rax+16]
0012d9f3mov [rsp], rax
0012d9f7mov rax, [rsp+8]
0012d9fccall camlLexstate.save_arg_1030
0012da01mov rbx, rax
0012da04mov rax, [rsp]
0012da08mov rdi, [rax+16]
0012da0cmov rax, [rdi+16]
0012da10mov rdi, [rdi+24]
0012da14call camlLatexscan.do_get_prim_onarg_1872
0012da19mov rbx, [rsp+16]
0012da1emov rbx, [rbx+24]
0012da22mov rbx, [rbx+64]
0012da26sub r15, 24
0012da2acmp r15, [r14]
0012da2djb 0x12da53
0012da2f
0012da2floc_12da2f:
0012da2flea rdi, [r15+8]
0012da33mov [rdi-8], 2051
0012da3bmov rsi, [rsp+24]
0012da40mov [rdi], rsi
0012da43mov [rdi+8], rax
0012da47mov rsi, [rbx]
0012da4amov rax, rdi
0012da4dadd rsp, 32
0012da51jmp rsi
0012da53
0012da53loc_12da53:
0012da53call caml_call_gc
0012da58jmp 0x12da2f
0012da5a
0012da5aloc_12da5a:
0012da5apush 37
0012da5ccall caml_call_realloc_stack
0012da61pop r10
0012da63jmp 0x12d9b2
0012d9a0

0012da68
0012da68 // align 0x10

0012da70
0012da70camlLatexscan.fun_5527:
0012da70lea r10, [rsp-336]
0012da78cmp r10, [r14+40]
0012da7cjb 0x12daef
0012da7e
0012da7eloc_12da7e:
0012da7esub rsp, 16
0012da82mov [rsp+8], rbx
0012da87mov rbx, [rbx+16]
0012da8bmov [rsp], rbx
0012da8fcall camlLexstate.save_arg_1030
0012da94mov rbx, rax
0012da97mov rax, [rsp]
0012da9bmov rdi, [rax+16]
0012da9fmov rax, [rdi+16]
0012daa3mov rdi, [rdi+24]
0012daa7call camlLatexscan.do_get_prim_onarg_1872
0012daacmov rbx, [rsp+8]
0012dab1mov rbx, [rbx+24]
0012dab5mov rbx, [rbx+64]
0012dab9sub r15, 24
0012dabdcmp r15, [r14]
0012dac0jb 0x12dae8
0012dac2
0012dac2loc_12dac2:
0012dac2lea rdi, [r15+8]
0012dac6mov [rdi-8], 2051
0012dacelea rsi, [rip+0x16a36b]
0012dad5mov [rdi], rsi
0012dad8mov [rdi+8], rax
0012dadcmov rsi, [rbx]
0012dadfmov rax, rdi
0012dae2add rsp, 16
0012dae6jmp rsi
0012dae8
0012dae8loc_12dae8:
0012dae8call caml_call_gc
0012daedjmp 0x12dac2
0012daef
0012daefloc_12daef:
0012daefpush 35
0012daf1call caml_call_realloc_stack
0012daf6pop r10
0012daf8jmp 0x12da7e
0012da70

0012dafa
0012dafa // align 0x10

0012db00
0012db00camlLatexscan.fun_5541:
0012db00lea r10, [rsp-336]
0012db08cmp r10, [r14+40]
0012db0cjb 0x12db74
0012db0e
0012db0eloc_12db0e:
0012db0esub rsp, 16
0012db12mov [rsp+8], rbx
0012db17mov rbx, [rbx+16]
0012db1bmov [rsp], rbx
0012db1fcall camlLexstate.save_arg_1030
0012db24mov rbx, rax
0012db27mov rax, [rsp]
0012db2bmov rdi, [rax+16]
0012db2fmov rax, [rdi+16]
0012db33mov rdi, [rdi+24]
0012db37call camlLatexscan.do_get_prim_onarg_1872
0012db3cmov rbx, [rsp+8]
0012db41mov rbx, [rbx+24]
0012db45mov rbx, [rbx+64]
0012db49sub r15, 16
0012db4dcmp r15, [r14]
0012db50jb 0x12db6d
0012db52
0012db52loc_12db52:
0012db52lea rdi, [r15+8]
0012db56mov [rdi-8], 1026
0012db5emov [rdi], rax
0012db61mov rsi, [rbx]
0012db64mov rax, rdi
0012db67add rsp, 16
0012db6bjmp rsi
0012db6d
0012db6dloc_12db6d:
0012db6dcall caml_call_gc
0012db72jmp 0x12db52
0012db74
0012db74loc_12db74:
0012db74push 35
0012db76call caml_call_realloc_stack
0012db7bpop r10
0012db7djmp 0x12db0e
0012db00

0012db7f
0012db7f // align 0x10

0012db80
0012db80camlLatexscan.fun_5555:
0012db80lea r10, [rsp-328]
0012db88cmp r10, [r14+40]
0012db8cjb 0x12dbf0
0012db8e
0012db8eloc_12db8e:
0012db8esub rsp, 8
0012db92mov [rsp], rbx
0012db96call camlLexstate.save_body_1031
0012db9bmov rbx, rax
0012db9emov rax, [rsp]
0012dba2mov rax, [rax+16]
0012dba6mov rax, [rax+64]
0012dbaamov [rsp], rax
0012dbaelea rax, [rip+0x1c7cab]
0012dbb5mov rax, [rax+280]
0012dbbccall camlGet.do_get_int_873
0012dbc1sub r15, 16
0012dbc5cmp r15, [r14]
0012dbc8jb 0x12dbe9
0012dbca
0012dbcaloc_12dbca:
0012dbcalea rdi, [r15+8]
0012dbcemov [rdi-8], 1025
0012dbd6mov [rdi], rax
0012dbd9mov rbx, [rsp]
0012dbddmov rsi, [rbx]
0012dbe0mov rax, rdi
0012dbe3add rsp, 8
0012dbe7jmp rsi
0012dbe9
0012dbe9loc_12dbe9:
0012dbe9call caml_call_gc
0012dbeejmp 0x12dbca
0012dbf0
0012dbf0loc_12dbf0:
0012dbf0push 34
0012dbf2call caml_call_realloc_stack
0012dbf7pop r10
0012dbf9jmp 0x12db8e
0012db80

0012dbfb
0012dbfb // align 0x10

0012dc00
0012dc00camlLatexscan.fun_5559:
0012dc00lea r10, [rsp-336]
0012dc08cmp r10, [r14+40]
0012dc0cjb 0x12dc43
0012dc0e
0012dc0eloc_12dc0e:
0012dc0esub rsp, 16
0012dc12mov [rsp+8], rax
0012dc17mov [rsp], rbx
0012dc1bmov rax, [rbx+24]
0012dc1fmov rbx, [rax+48]
0012dc23mov eax, 1
0012dc28mov rdi, [rbx]
0012dc2bcall rdi
0012dc2dmov rax, [rsp]
0012dc31mov rbx, [rax+16]
0012dc35mov rax, [rsp+8]
0012dc3aadd rsp, 16
0012dc3ejmp 0x127b00
0012dc43
0012dc43loc_12dc43:
0012dc43push 35
0012dc45call caml_call_realloc_stack
0012dc4apop r10
0012dc4cjmp 0x12dc0e
0012dc00

0012dc4e
0012dc4e // align 0x10

0012dc50
0012dc50camlLatexscan.fun_5565:
0012dc50lea r10, [rsp-336]
0012dc58cmp r10, [r14+40]
0012dc5cjb 0x12dc93
0012dc5e
0012dc5eloc_12dc5e:
0012dc5esub rsp, 16
0012dc62mov [rsp+8], rax
0012dc67mov [rsp], rbx
0012dc6bmov rax, [rbx+24]
0012dc6fmov rbx, [rax+56]
0012dc73mov eax, 1
0012dc78mov rdi, [rbx]
0012dc7bcall rdi
0012dc7dmov rax, [rsp]
0012dc81mov rbx, [rax+16]
0012dc85mov rax, [rsp+8]
0012dc8aadd rsp, 16
0012dc8ejmp 0x127b00
0012dc93
0012dc93loc_12dc93:
0012dc93push 35
0012dc95call caml_call_realloc_stack
0012dc9apop r10
0012dc9cjmp 0x12dc5e
0012dc50

0012dc9e
0012dc9e // align 0x10

0012dca0
0012dca0camlLatexscan.fun_5571:
0012dca0lea r10, [rsp-328]
0012dca8cmp r10, [r14+40]
0012dcacjb 0x12dce2
0012dcae
0012dcaeloc_12dcae:
0012dcaesub rsp, 8
0012dcb2mov [rsp], rbx
0012dcb6call camlLexstate.save_body_1031
0012dcbbmov rbx, rax
0012dcbelea rax, [rip+0x1c7b9b]
0012dcc5mov rax, [rax+280]
0012dccccall camlGet.do_get_int_873
0012dcd1mov rbx, [rsp]
0012dcd5mov rbx, [rbx+16]
0012dcd9add rsp, 8
0012dcddjmp 0x122b30
0012dce2
0012dce2loc_12dce2:
0012dce2push 34
0012dce4call caml_call_realloc_stack
0012dce9pop r10
0012dcebjmp 0x12dcae
0012dca0

0012dced
0012dced // align 0x10

0012dcf0
0012dcf0camlLatexscan.fun_5579:
0012dcf0lea r10, [rsp-336]
0012dcf8cmp r10, [r14+40]
0012dcfcjb 0x12dd8b
0012dd02
0012dd02loc_12dd02:
0012dd02sub rsp, 16
0012dd06mov [rsp+8], rbx
0012dd0bmov rbx, [rbx+16]
0012dd0fmov [rsp], rbx
0012dd13call camlLexstate.save_arg_1030
0012dd18mov rbx, rax
0012dd1bmov rax, [rsp]
0012dd1fmov rdi, [rax+16]
0012dd23mov rax, [rdi+16]
0012dd27mov rdi, [rdi+24]
0012dd2bcall camlLatexscan.do_get_prim_onarg_1872
0012dd30mov rbx, [rsp+8]
0012dd35mov rbx, [rbx+24]
0012dd39mov rbx, [rbx+64]
0012dd3dmov [rsp], rbx
0012dd41lea rbx, [rip+0x16ae68]
0012dd48call camlStdlib.$5e_139
0012dd4dmov rbx, rax
0012dd50lea rax, [rip+0x16ae69]
0012dd57call camlStdlib.$5e_139
0012dd5csub r15, 16
0012dd60cmp r15, [r14]
0012dd63jb 0x12dd84
0012dd65
0012dd65loc_12dd65:
0012dd65lea rdi, [r15+8]
0012dd69mov [rdi-8], 1026
0012dd71mov [rdi], rax
0012dd74mov rbx, [rsp]
0012dd78mov rsi, [rbx]
0012dd7bmov rax, rdi
0012dd7eadd rsp, 16
0012dd82jmp rsi
0012dd84
0012dd84loc_12dd84:
0012dd84call caml_call_gc
0012dd89jmp 0x12dd65
0012dd8b
0012dd8bloc_12dd8b:
0012dd8bpush 35
0012dd8dcall caml_call_realloc_stack
0012dd92pop r10
0012dd94jmp 0x12dd02
0012dcf0

0012dd99
0012dd99 // align 0x10

0012dda0
0012dda0camlLatexscan.fun_5593:
0012dda0lea r10, [rsp-336]
0012dda8cmp r10, [r14+40]
0012ddacjb 0x12de13
0012ddae
0012ddaeloc_12ddae:
0012ddaesub rsp, 16
0012ddb2mov [rsp+8], rbx
0012ddb7cmp r15, [r14]
0012ddbajbe 0x12de0c
0012ddbc
0012ddbcloc_12ddbc:
0012ddbcmov rbx, [rbx+16]
0012ddc0mov [rsp], rbx
0012ddc4call camlLexstate.save_arg_1030
0012ddc9mov rbx, rax
0012ddccmov rax, [rsp]
0012ddd0mov rdi, [rax+16]
0012ddd4mov rax, [rdi+16]
0012ddd8mov rdi, [rdi+24]
0012dddccall camlLatexscan.do_get_prim_onarg_1872
0012dde1mov [rsp], rax
0012dde5mov ebx, 1
0012ddeacall camlCounter.set_counter_698
0012ddefmov rax, [rsp+8]
0012ddf4mov rax, [rax+24]
0012ddf8mov rbx, [rax+288]
0012ddffmov rdi, [rbx]
0012de02mov rax, [rsp]
0012de06add rsp, 16
0012de0ajmp rdi
0012de0c
0012de0cloc_12de0c:
0012de0ccall caml_call_gc
0012de11jmp 0x12ddbc
0012de13
0012de13loc_12de13:
0012de13push 35
0012de15call caml_call_realloc_stack
0012de1apop r10
0012de1cjmp 0x12ddae
0012dda0

0012de1e
0012de1e // align 0x10

0012de20
0012de20camlLatexscan.fun_5607:
0012de20lea r10, [rsp-336]
0012de28cmp r10, [r14+40]
0012de2cjb 0x12dea1
0012de2e
0012de2eloc_12de2e:
0012de2esub rsp, 16
0012de32mov [rsp+8], rbx
0012de37mov rbx, [rbx+16]
0012de3bmov [rsp], rbx
0012de3fcall camlLexstate.save_arg_1030
0012de44mov rbx, rax
0012de47mov rax, [rsp]
0012de4bmov rdi, [rax+16]
0012de4fmov rax, [rdi+16]
0012de53mov rdi, [rdi+24]
0012de57call camlLatexscan.do_get_prim_onarg_1872
0012de5cmov [rsp], rax
0012de60mov eax, 1
0012de65call camlLexstate.start_lexstate_907
0012de6alea rax, [rip+0x1fbeff]
0012de71mov rax, [rax+8]
0012de75mov rbx, [rsp]
0012de79call Stdlib.Filename.concat
0012de7emov rbx, [rsp+8]
0012de83mov rbx, [rbx+24]
0012de87mov rbx, [rbx+352]
0012de8ecall camlMysys.put_from_file_271
0012de93mov eax, 1
0012de98add rsp, 16
0012de9cjmp 0x17d370
0012dea1
0012dea1loc_12dea1:
0012dea1push 35
0012dea3call caml_call_realloc_stack
0012dea8pop r10
0012deaajmp 0x12de2e
0012de20

0012deac
0012deac // align 0x10

0012deb0
0012deb0camlLatexscan.fun_5621:
0012deb0lea r10, [rsp-336]
0012deb8cmp r10, [r14+40]
0012debcjb 0x12def3
0012debe
0012debeloc_12debe:
0012debesub rsp, 16
0012dec2mov [rsp+8], rax
0012dec7mov [rsp], rbx
0012decbmov rax, [rbx+24]
0012decfmov rbx, [rax+48]
0012ded3mov eax, 1
0012ded8mov rdi, [rbx]
0012dedbcall rdi
0012deddmov rax, [rsp]
0012dee1mov rbx, [rax+16]
0012dee5mov rax, [rsp+8]
0012deeaadd rsp, 16
0012deeejmp 0x127b00
0012def3
0012def3loc_12def3:
0012def3push 35
0012def5call caml_call_realloc_stack
0012defapop r10
0012defcjmp 0x12debe
0012deb0

0012defe
0012defe // align 0x10

0012df00
0012df00camlLatexscan.fun_5627:
0012df00lea r10, [rsp-352]
0012df08cmp r10, [r14+40]
0012df0cjb 0x12e002
0012df12
0012df12loc_12df12:
0012df12sub rsp, 32
0012df16mov rsi, rax
0012df19mov [rsp], rsi
0012df1dmov [rsp+16], rbx
0012df22mov rdi, [rbx+24]
0012df26lea rax, [rip+0x16abfb]
0012df2dmov rbx, rsi
0012df30call camlLatexscan.get_prim_opt_1900
0012df35mov [rsp+8], rax
0012df3amov rax, [rsp]
0012df3ecall camlLexstate.save_arg_1030
0012df43mov [rsp], rax
0012df47lea rax, [rip+0x1e8a52]
0012df4emov rax, [rax+168]
0012df55mov rax, [rax]
0012df58mov [rsp+24], rax
0012df5dlea rbx, [rip+0x16abb4]
0012df64mov rax, [rsp+16]
0012df69mov rax, [rax+16]
0012df6dcall camlLexstate.scan_this_1185
0012df72lea rax, [rip+0x1e8a27]
0012df79mov rax, [rax+168]
0012df80mov [rax], 3
0012df87mov rax, [rsp+16]
0012df8cmov rax, [rax+32]
0012df90mov rbx, [rax+328]
0012df97mov rdi, [rbx]
0012df9amov rax, [rsp+8]
0012df9fcall rdi
0012dfa1mov rax, [rsp+16]
0012dfa6mov rax, [rax+16]
0012dfaamov rbx, [rsp]
0012dfaecall camlLexstate.scan_this_arg_1187
0012dfb3mov rax, [rsp+16]
0012dfb8mov rax, [rax+32]
0012dfbcmov rbx, [rax+344]
0012dfc3mov eax, 1
0012dfc8mov rdi, [rbx]
0012dfcbcall rdi
0012dfcdlea rbx, [rip+0x16fea4]
0012dfd4mov rax, [rsp+16]
0012dfd9mov rax, [rax+16]
0012dfddcall camlLexstate.scan_this_1185
0012dfe2lea rax, [rip+0x1e89b7]
0012dfe9mov rax, [rax+168]
0012dff0mov rbx, [rsp+24]
0012dff5mov [rax], rbx
0012dff8mov eax, 1
0012dffdadd rsp, 32
0012e001ret
0012e002
0012e002loc_12e002:
0012e002push 37
0012e004call caml_call_realloc_stack
0012e009pop r10
0012e00bjmp 0x12df12
0012df00

0012e010
0012e010camlLatexscan.fun_5633:
0012e010cmp r15, [r14]
0012e013jbe 0x12e02a
0012e015
0012e015loc_12e015:
0012e015mov rax, [rbx+16]
0012e019mov rbx, [rax+216]
0012e020mov eax, 1
0012e025mov rdi, [rbx]
0012e028jmp rdi
0012e02a
0012e02aloc_12e02a:
0012e02acall caml_call_gc
0012e02fjmp 0x12e015
0012e010

0012e031
0012e031 // align 0x10

0012e040
0012e040camlLatexscan.fun_5637:
0012e040cmp r15, [r14]
0012e043jbe 0x12e05a
0012e045
0012e045loc_12e045:
0012e045mov rax, [rbx+16]
0012e049mov rbx, [rax+384]
0012e050mov eax, 1
0012e055mov rdi, [rbx]
0012e058jmp rdi
0012e05a
0012e05aloc_12e05a:
0012e05acall caml_call_gc
0012e05fjmp 0x12e045
0012e040

0012e061
0012e061 // align 0x10

0012e070
0012e070camlLatexscan.testif_2314:
0012e070mov rsi, rbx
0012e073mov rax, [rax]
0012e076cmp rax, 1
0012e07aje 0x12e088
0012e07cmov rbx, [rdi+32]
0012e080mov rax, rsi
0012e083jmp 0x127b00
0012e088
0012e088loc_12e088:
0012e088mov rdi, [rdi+24]
0012e08cadd rdi, 24
0012e090mov ebx, 361
0012e095mov rax, rsi
0012e098jmp 0x118e50
0012e070

0012e09d
0012e09d // align 0x10

0012e0a0
0012e0a0camlLatexscan.setif_2318:
0012e0a0lea r10, [rsp-352]
0012e0a8cmp r10, [r14+40]
0012e0acjb 0x12e143
0012e0b2
0012e0b2loc_12e0b2:
0012e0b2sub rsp, 32
0012e0b6mov [rsp], rax
0012e0bamov [rsp+8], rbx
0012e0bfmov [rsp+24], rdi
0012e0c4mov [rsp+16], rsi
0012e0c9mov rbx, [rax]
0012e0ccsub r15, 40
0012e0d0cmp r15, [r14]
0012e0d3jb 0x12e13c
0012e0d5
0012e0d5loc_12e0d5:
0012e0d5lea rdi, [r15+8]
0012e0d9mov [rdi-8], 4343
0012e0e1lea rdx, [rip+120]
0012e0e8mov [rdi], rdx
0012e0ebmov rdx, 0x100000000000005
0012e0f5mov [rdi+8], rdx
0012e0f9mov [rdi+16], rax
0012e0fdmov [rdi+24], rbx
0012e101mov rbx, [rsi+24]
0012e105mov rax, rdi
0012e108call camlLatexscan.fun_register_813
0012e10dmov rdi, [rsp]
0012e111mov rsi, [rsp+8]
0012e116mov rbx, rsp
0012e119mov rsp, [r14+64]
0012e11dcall caml_modify
0012e122mov rsp, rbx
0012e125mov rax, [rsp+16]
0012e12amov rbx, [rax+32]
0012e12emov rax, [rsp+24]
0012e133add rsp, 32
0012e137jmp 0x127b00
0012e13c
0012e13cloc_12e13c:
0012e13ccall caml_call_gc
0012e141jmp 0x12e0d5
0012e143
0012e143loc_12e143:
0012e143push 37
0012e145call caml_call_realloc_stack
0012e14apop r10
0012e14cjmp 0x12e0b2
0012e0a0

0012e151
0012e151 // align 0x10

0012e160
0012e160camlLatexscan.fun_5655:
0012e160mov rsi, [rbx+24]
0012e164mov rdi, [rbx+16]
0012e168mov rbx, rsp
0012e16bmov rsp, [r14+64]
0012e16fcall caml_modify
0012e174mov rsp, rbx
0012e177mov eax, 1
0012e17cret
0012e160

0012e17d
0012e17d // align 0x10

0012e180
0012e180camlLatexscan.extract_if_2325:
0012e180lea r10, [rsp-336]
0012e188cmp r10, [r14+40]
0012e18cjb 0x12e25b
0012e192
0012e192loc_12e192:
0012e192sub rsp, 16
0012e196mov [rsp+8], rax
0012e19bmov rbx, [rax-8]
0012e19fshr rbx, 10
0012e1a3lea rbx, [8*rbx-1]
0012e1abmovzx rdi, [rax+rbx]
0012e1b0sub rbx, rdi
0012e1b3lea rbx, [rbx+rbx+1]
0012e1b8cmp rbx, 7
0012e1bcjle 0x12e1f0
0012e1bemov [rsp], rbx
0012e1c2mov edi, 7
0012e1c7mov ebx, 1
0012e1cccall Stdlib.Bytes.sub
0012e1d1lea rsi, [rip+0x16a908]
0012e1d8mov rdi, rax
0012e1dbmov rbx, rsp
0012e1demov rsp, [r14+64]
0012e1e2call caml_string_notequal
0012e1e7mov rsp, rbx
0012e1eacmp rax, 1
0012e1eeje 0x12e238
0012e1f0
0012e1f0loc_12e1f0:
0012e1f0lea rax, [rip+0x16a8d1]
0012e1f7mov rbx, [rsp+8]
0012e1fccall camlStdlib.$5e_139
0012e201sub r15, 24
0012e205cmp r15, [r14]
0012e208jb 0x12e254
0012e20a
0012e20aloc_12e20a:
0012e20alea rbx, [r15+8]
0012e20emov [rbx-8], 2048
0012e216lea rdi, [rip+0x1fbe53]
0012e21dmov rdi, [rdi+24]
0012e221mov [rbx], rdi
0012e224mov [rbx+8], rax
0012e228mov rax, rbx
0012e22bmov rsp, [r14+48]
0012e22fpop [r14+48]
0012e233pop r11
0012e235jmp r11
0012e238
0012e238loc_12e238:
0012e238mov rdi, [rsp]
0012e23cadd rdi, -6
0012e240mov ebx, 7
0012e245mov rax, [rsp+8]
0012e24acall Stdlib.Bytes.sub
0012e24fadd rsp, 16
0012e253ret
0012e254
0012e254loc_12e254:
0012e254call caml_call_gc
0012e259jmp 0x12e20a
0012e25b
0012e25bloc_12e25b:
0012e25bpush 35
0012e25dcall caml_call_realloc_stack
0012e262pop r10
0012e264jmp 0x12e192
0012e180

0012e269
0012e269 // align 0x10

0012e270
0012e270camlLatexscan.def_and_register_2329:
0012e270sub r15, 16
0012e274cmp r15, [r14]
0012e277jb 0x12e298
0012e279
0012e279loc_12e279:
0012e279lea rdi, [r15+8]
0012e27dmov [rdi-8], 1026
0012e285mov [rdi], rbx
0012e288lea rbx, [rip+0x1e8711]
0012e28fmov rbx, [rbx+56]
0012e293jmp 0x17af20
0012e298
0012e298loc_12e298:
0012e298call caml_call_gc
0012e29djmp 0x12e279
0012e270

0012e29f
0012e29f // align 0x10

0012e2a0
0012e2a0camlLatexscan.tbool_2333:
0012e2a0cmp rax, 1
0012e2a4je 0x12e2b0
0012e2a6lea rax, [rip+0x16aa3b]
0012e2adret
0012e2ae
0012e2ae 66 90 f.
0012e2b0
0012e2b0loc_12e2b0:
0012e2b0lea rax, [rip+0x16a949]
0012e2b7ret
0012e2a0

0012e2b8
0012e2b8 // align 0x10

0012e2c0
0012e2c0camlLatexscan.tverb_2336:
0012e2c0lea r10, [rsp-360]
0012e2c8cmp r10, [r14+40]
0012e2ccjb 0x12e368
0012e2d2
0012e2d2loc_12e2d2:
0012e2d2sub rsp, 40
0012e2d6mov [rsp+8], rbx
0012e2dbmov [rsp+16], rdi
0012e2e0mov [rsp], rsi
0012e2e4lea rdi, [rip+0x1fbd85]
0012e2ebmov rdi, [rdi+80]
0012e2efmov rdi, [rdi]
0012e2f2cmp rdi, 3
0012e2f6jle 0x12e34d
0012e2f8mov rbx, [rbx]
0012e2fbcmp rbx, 1
0012e2ffje 0x12e310
0012e301lea rbx, [rip+0x16a9e0]
0012e308mov [rsp+32], rbx
0012e30djmp 0x12e31c
0012e30f
0012e30f 90 .
0012e310
0012e310loc_12e310:
0012e310lea rbx, [rip+0x16a8e9]
0012e317mov [rsp+32], rbx
0012e31c
0012e31cloc_12e31c:
0012e31cmov [rsp+24], rax
0012e321lea rbx, [rip+0x16a6f8]
0012e328lea rax, [rip+0x1ff2e9]
0012e32fmov rax, [rax+312]
0012e336call Stdlib.Printf.fprintf
0012e33bmov rdi, rax
0012e33emov rax, [rsp+24]
0012e343mov rbx, [rsp+32]
0012e348call caml_apply2
0012e34d
0012e34dloc_12e34d:
0012e34dmov rax, [rsp]
0012e351mov rdi, [rax+24]
0012e355mov rax, [rsp+8]
0012e35amov rbx, [rsp+16]
0012e35fadd rsp, 40
0012e363jmp 0x12e070
0012e368
0012e368loc_12e368:
0012e368push 38
0012e36acall caml_call_realloc_stack
0012e36fpop r10
0012e371jmp 0x12e2d2
0012e2c0

0012e376
0012e376 // align 0x10

0012e380
0012e380camlLatexscan.newif_ref_2341:
0012e380lea r10, [rsp-352]
0012e388cmp r10, [r14+40]
0012e38cjb 0x12e60e
0012e392
0012e392loc_12e392:
0012e392sub rsp, 32
0012e396mov rsi, rax
0012e399mov [rsp+16], rsi
0012e39emov [rsp+8], rbx
0012e3a3mov [rsp+24], rdi
0012e3a8mov rax, [rdi+48]
0012e3acsub r15, 48
0012e3b0cmp r15, [r14]
0012e3b3jb 0x12e604
0012e3b9
0012e3b9loc_12e3b9:
0012e3b9lea rdi, [r15+8]
0012e3bdmov [rsp], rdi
0012e3c1mov [rdi-8], 5367
0012e3c9lea rdx, [rip+592]
0012e3d0mov [rdi], rdx
0012e3d3mov rdx, 0x100000000000005
0012e3ddmov [rdi+8], rdx
0012e3e1mov [rdi+16], rsi
0012e3e5mov [rdi+24], rbx
0012e3e9mov [rdi+32], rax
0012e3edlea rax, [rip+0x16a6ec]
0012e3f4mov rbx, rsi
0012e3f7call camlStdlib.$5e_139
0012e3fcsub r15, 16
0012e400cmp r15, [r14]
0012e403jb 0x12e5fa
0012e409
0012e409loc_12e409:
0012e409lea rdi, [r15+8]
0012e40dmov [rdi-8], 1026
0012e415mov rbx, [rsp]
0012e419mov [rdi], rbx
0012e41clea rbx, [rip+0x1e857d]
0012e423mov rbx, [rbx+56]
0012e427call camlLatexmacros.def_952
0012e42cmov eax, 3
0012e431mov rbx, [rsp+8]
0012e436mov rdi, [rsp+24]
0012e43bmov rdi, [rdi+32]
0012e43fsub r15, 48
0012e443cmp r15, [r14]
0012e446jb 0x12e5f0
0012e44c
0012e44cloc_12e44c:
0012e44clea rsi, [r15+8]
0012e450mov [rsp], rsi
0012e454mov [rsi-8], 5367
0012e45clea rdx, [rip+477]
0012e463mov [rsi], rdx
0012e466mov rdx, 0x100000000000005
0012e470mov [rsi+8], rdx
0012e474mov [rsi+16], rbx
0012e478mov [rsi+24], rax
0012e47cmov [rsi+32], rdi
0012e480lea rbx, [rip+0x16a439]
0012e487mov rax, [rsp+16]
0012e48ccall camlStdlib.$5e_139
0012e491mov rbx, rax
0012e494lea rax, [rip+0x16b15d]
0012e49bcall camlStdlib.$5e_139
0012e4a0sub r15, 16
0012e4a4cmp r15, [r14]
0012e4a7jb 0x12e5e6
0012e4ad
0012e4adloc_12e4ad:
0012e4adlea rdi, [r15+8]
0012e4b1mov [rdi-8], 1026
0012e4b9mov rbx, [rsp]
0012e4bdmov [rdi], rbx
0012e4c0lea rbx, [rip+0x1e84d9]
0012e4c7mov rbx, [rbx+56]
0012e4cbcall camlLatexmacros.def_952
0012e4d0mov eax, 1
0012e4d5mov rbx, [rsp+8]
0012e4damov rdi, [rsp+24]
0012e4dfmov rdi, [rdi+32]
0012e4e3sub r15, 48
0012e4e7cmp r15, [r14]
0012e4eajb 0x12e5dc
0012e4f0
0012e4f0loc_12e4f0:
0012e4f0lea rsi, [r15+8]
0012e4f4mov [rsp], rsi
0012e4f8mov [rsi-8], 5367
0012e500lea rdx, [rip+345]
0012e507mov [rsi], rdx
0012e50amov rdx, 0x100000000000005
0012e514mov [rsi+8], rdx
0012e518mov [rsi+16], rbx
0012e51cmov [rsi+24], rax
0012e520mov [rsi+32], rdi
0012e524lea rbx, [rip+0x169c35]
0012e52bmov rax, [rsp+16]
0012e530call camlStdlib.$5e_139
0012e535mov rbx, rax
0012e538lea rax, [rip+0x16b0b9]
0012e53fcall camlStdlib.$5e_139
0012e544sub r15, 16
0012e548cmp r15, [r14]
0012e54bjb 0x12e5d2
0012e551
0012e551loc_12e551:
0012e551lea rdi, [r15+8]
0012e555mov [rdi-8], 1026
0012e55dmov rbx, [rsp]
0012e561mov [rdi], rbx
0012e564lea rbx, [rip+0x1e8435]
0012e56bmov rbx, [rbx+56]
0012e56fcall camlLatexmacros.def_952
0012e574mov rax, [rsp+16]
0012e579mov rbx, [rsp+8]
0012e57ecall camlLexstate.register_cell_1278
0012e583sub r15, 32
0012e587cmp r15, [r14]
0012e58ajb 0x12e5cb
0012e58c
0012e58cloc_12e58c:
0012e58clea rax, [r15+8]
0012e590mov [rax-8], 3319
0012e598lea rbx, [rip+225]
0012e59fmov [rax], rbx
0012e5a2mov rbx, 0x100000000000005
0012e5acmov [rax+8], rbx
0012e5b0mov rbx, [rsp+16]
0012e5b5mov [rax+16], rbx
0012e5b9mov rbx, [rsp+24]
0012e5bemov rbx, [rbx+24]
0012e5c2add rsp, 32
0012e5c6jmp 0x122ad0
0012e5cb
0012e5cbloc_12e5cb:
0012e5cbcall caml_call_gc
0012e5d0jmp 0x12e58c
0012e5d2
0012e5d2loc_12e5d2:
0012e5d2call caml_call_gc
0012e5d7jmp 0x12e551
0012e5dc
0012e5dcloc_12e5dc:
0012e5dccall caml_call_gc
0012e5e1jmp 0x12e4f0
0012e5e6
0012e5e6loc_12e5e6:
0012e5e6call caml_call_gc
0012e5ebjmp 0x12e4ad
0012e5f0
0012e5f0loc_12e5f0:
0012e5f0call caml_call_gc
0012e5f5jmp 0x12e44c
0012e5fa
0012e5faloc_12e5fa:
0012e5facall caml_call_gc
0012e5ffjmp 0x12e409
0012e604
0012e604loc_12e604:
0012e604call caml_call_gc
0012e609jmp 0x12e3b9
0012e60e
0012e60eloc_12e60e:
0012e60epush 37
0012e610call caml_call_realloc_stack
0012e615pop r10
0012e617jmp 0x12e392
0012e380

0012e61c
0012e61c // align 0x10

0012e620
0012e620camlLatexscan.fun_5737:
0012e620mov rdi, rax
0012e623mov rdx, [rbx+24]
0012e627mov rax, [rbx+16]
0012e62bmov rsi, [rbx+32]
0012e62fmov rbx, rdx
0012e632jmp 0x12e2c0
0012e620

0012e637
0012e637 // align 0x10

0012e640
0012e640camlLatexscan.fun_5752:
0012e640mov rdi, rax
0012e643mov rdx, [rbx+24]
0012e647mov rax, [rbx+16]
0012e64bmov rsi, [rbx+32]
0012e64fmov rbx, rdx
0012e652jmp 0x12e0a0
0012e640

0012e657
0012e657 // align 0x10

0012e660
0012e660camlLatexscan.fun_5767:
0012e660mov rdi, rax
0012e663mov rdx, [rbx+24]
0012e667mov rax, [rbx+16]
0012e66bmov rsi, [rbx+32]
0012e66fmov rbx, rdx
0012e672jmp 0x12e0a0
0012e660

0012e677
0012e677 // align 0x10

0012e680
0012e680camlLatexscan.fun_5778:
0012e680mov rax, [rbx+16]
0012e684jmp 0x17fe00
0012e680

0012e689
0012e689 // align 0x10

0012e690
0012e690camlLatexscan.newif_2346:
0012e690lea r10, [rsp-344]
0012e698cmp r10, [r14+40]
0012e69cjb 0x12e738
0012e6a2
0012e6a2loc_12e6a2:
0012e6a2sub rsp, 8
0012e6a6mov [rsp], rbx
0012e6aamov rbx, [rbx+16]
0012e6aecall camlLatexscan.get_csname_1908
0012e6b3lea r11, [rip+70]
0012e6bapush r11
0012e6bcpush [r14+48]
0012e6c0mov [r14+48], rsp
0012e6c4call camlLatexscan.extract_if_2325
0012e6c9sub r15, 16
0012e6cdcmp r15, [r14]
0012e6d0jb 0x12e731
0012e6d2
0012e6d2loc_12e6d2:
0012e6d2lea rbx, [r15+8]
0012e6d6mov [rbx-8], 1024
0012e6demov [rbx], 1
0012e6e5mov rdi, [rsp+16]
0012e6eamov rdi, [rdi+32]
0012e6eecall camlLatexscan.newif_ref_2341
0012e6f3pop [r14+48]
0012e6f7add rsp, 8
0012e6fbjmp 0x12e72c
0012e6fdnop [rax]
0012e700lea rbx, [rip+0x1e6261]
0012e707mov rbx, [rbx]
0012e70acmp rax, rbx
0012e70djne 0x12e71c
0012e70fmov eax, 1
0012e714add rsp, 8
0012e718ret
0012e719nop [rax]
0012e71c
0012e71cloc_12e71c:
0012e71cmov rsp, [r14+48]
0012e720pop [r14+48]
0012e724pop r11
0012e726jmp r11
0012e729nop [rax]
0012e72c
0012e72cloc_12e72c:
0012e72cadd rsp, 8
0012e730ret
0012e731
0012e731loc_12e731:
0012e731call caml_call_gc
0012e736jmp 0x12e6d2
0012e738
0012e738loc_12e738:
0012e738push 36
0012e73acall caml_call_realloc_stack
0012e73fpop r10
0012e741jmp 0x12e6a2
0012e690

0012e746
0012e746 // align 0x10

0012e750
0012e750camlLatexscan.norm_body_2353:
0012e750cmp r15, [r14]
0012e753jbe 0x12e7de
0012e759
0012e759loc_12e759:
0012e759test bl, 1
0012e75cje 0x12e780
0012e75esub r15, 24
0012e762cmp r15, [r14]
0012e765jb 0x12e7d7
0012e767
0012e767loc_12e767:
0012e767lea rax, [r15+8]
0012e76bmov [rax-8], 2048
0012e773mov [rax], 1
0012e77amov [rax+8], rbx
0012e77eret
0012e77f
0012e77f 90 .
0012e780
0012e780loc_12e780:
0012e780mov rdi, [rbx]
0012e783mov rsi, [rdi-8]
0012e787shr rsi, 10
0012e78blea rsi, [8*rsi-1]
0012e793movzx rdi, [rdi+rsi]
0012e798sub rsi, rdi
0012e79blea rdi, [rsi+rsi+1]
0012e7a0cmp rax, rdi
0012e7a3jl 0x12e7b0
0012e7a5mov rbx, [rbx+8]
0012e7a9mov eax, 1
0012e7aejmp 0x12e750
0012e7b0
0012e7b0loc_12e7b0:
0012e7b0sub r15, 24
0012e7b4cmp r15, [r14]
0012e7b7jb 0x12e7d0
0012e7b9
0012e7b9loc_12e7b9:
0012e7b9lea rdi, [r15+8]
0012e7bdmov [rdi-8], 2048
0012e7c5mov [rdi], rax
0012e7c8mov [rdi+8], rbx
0012e7ccmov rax, rdi
0012e7cfret
0012e7d0
0012e7d0loc_12e7d0:
0012e7d0call caml_call_gc
0012e7d5jmp 0x12e7b9
0012e7d7
0012e7d7loc_12e7d7:
0012e7d7call caml_call_gc
0012e7dcjmp 0x12e767
0012e7de
0012e7deloc_12e7de:
0012e7decall caml_call_gc
0012e7e3jmp 0x12e759
0012e750

0012e7e8
0012e7e8 // align 0x10

0012e7f0
0012e7f0camlLatexscan.do_rec_2359:
0012e7f0lea r10, [rsp-344]
0012e7f8cmp r10, [r14+40]
0012e7fcjb 0x12e909
0012e802
0012e802loc_12e802:
0012e802sub rsp, 24
0012e806
0012e806loc_12e806:
0012e806mov [rsp], rbx
0012e80amov rbx, rdi
0012e80dmov [rsp+8], rsi
0012e812cmp r15, [r14]
0012e815jbe 0x12e8fa
0012e81b
0012e81bloc_12e81b:
0012e81bcall camlLatexscan.norm_body_2353
0012e820mov [rsp+16], rax
0012e825mov rax, [rsp]
0012e829mov rbx, [rsp+8]
0012e82ecall camlLatexscan.norm_body_2353
0012e833mov rbx, rax
0012e836mov rax, [rsp+16]
0012e83bmov rdi, [rax+8]
0012e83fmov rax, [rax]
0012e842test dil, 1
0012e846je 0x12e860
0012e848mov rax, [rbx+8]
0012e84ctest al, 1
0012e84eje 0x12e8f0
0012e854mov eax, 3
0012e859add rsp, 24
0012e85dret
0012e85e
0012e85e 66 90 f.
0012e860
0012e860loc_12e860:
0012e860mov rsi, [rbx+8]
0012e864test sil, 1
0012e868jne 0x12e8f0
0012e86emov rbx, [rbx]
0012e871mov rdx, rax
0012e874sar rdx, 1
0012e877mov rcx, [rdi]
0012e87amov r8, [rcx-8]
0012e87eshr r8, 10
0012e882lea r8, [8*r8-1]
0012e88amovzx r9, [rcx+r8]
0012e88fsub r8, r9
0012e892cmp r8, rdx
0012e895jbe 0x12e904
0012e897movzx rdx, [rcx+rdx]
0012e89clea rdx, [rdx+rdx+1]
0012e8a1mov rcx, rbx
0012e8a4sar rcx, 1
0012e8a7mov r8, [rsi]
0012e8aamov r9, [r8-8]
0012e8aeshr r9, 10
0012e8b2lea r9, [8*r9-1]
0012e8bamovzx r12, [r8+r9]
0012e8bfsub r9, r12
0012e8c2cmp r9, rcx
0012e8c5jbe 0x12e904
0012e8c7movzx rcx, [r8+rcx]
0012e8cclea rcx, [rcx+rcx+1]
0012e8d1cmp rdx, rcx
0012e8d4jne 0x12e8e4
0012e8d6add rbx, 2
0012e8daadd rax, 2
0012e8dejmp 0x12e806
0012e8e3
0012e8e3 90 .
0012e8e4
0012e8e4loc_12e8e4:
0012e8e4mov eax, 1
0012e8e9add rsp, 24
0012e8edret
0012e8ee
0012e8ee 66 90 f.
0012e8f0
0012e8f0loc_12e8f0:
0012e8f0mov eax, 1
0012e8f5add rsp, 24
0012e8f9ret
0012e8fa
0012e8faloc_12e8fa:
0012e8facall caml_call_gc
0012e8ffjmp 0x12e81b
0012e904
0012e904loc_12e904:
0012e904call caml_ml_array_bound_error
0012e909
0012e909loc_12e909:
0012e909push 36
0012e90bcall caml_call_realloc_stack
0012e910pop r10
0012e912jmp 0x12e802
0012e7f0

0012e917
0012e917 // align 0x10

0012e920
0012e920camlLatexscan.fun_5798:
0012e920mov rdx, rax
0012e923mov rsi, rbx
0012e926mov rbx, [rdi+32]
0012e92amov rax, [rdi+24]
0012e92emov rdi, rdx
0012e931jmp 0x12e7f0
0012e920

0012e936
0012e936 // align 0x10

0012e940
0012e940camlLatexscan.same_expn_2372:
0012e940sub rsp, 24
0012e944mov [rsp+16], rdi
0012e949mov rdi, [rbx+8]
0012e94dmov [rsp+8], rdi
0012e952mov rdi, [rax+8]
0012e956mov [rsp], rdi
0012e95amov rsi, [rbx]
0012e95dmov rdi, [rax]
0012e960lea rax, [rip+0xd1f79]
0012e967call caml_c_call
0012e96ccmp rax, 1
0012e970je 0x12e9d0
0012e972mov rdi, [rsp]
0012e976movzx rax, [rdi-8]
0012e97btest rax, rax
0012e97ejne 0x12e9b8
0012e980mov rbx, [rsp+8]
0012e985movzx rax, [rbx-8]
0012e98atest rax, rax
0012e98dje 0x12e998
0012e98fmov [rsp+8], rbx
0012e994jmp 0x12e9b8
0012e996
0012e996 66 90 f.
0012e998
0012e998loc_12e998:
0012e998mov rsi, [rbx]
0012e99bmov rdi, [rdi]
0012e99emov rax, [rsp+16]
0012e9a3mov rax, [rax+24]
0012e9a7mov rbx, [rax+32]
0012e9abmov rax, [rax+24]
0012e9afadd rsp, 24
0012e9b3jmp 0x12e7f0
0012e9b8
0012e9b8loc_12e9b8:
0012e9b8mov rsi, [rsp+8]
0012e9bdlea rax, [rip+0xd1f1c]
0012e9c4call caml_c_call
0012e9c9add rsp, 24
0012e9cdret
0012e9ce
0012e9ce 66 90 f.
0012e9d0
0012e9d0loc_12e9d0:
0012e9d0mov eax, 1
0012e9d5add rsp, 24
0012e9d9ret
0012e940

0012e9da
0012e9da // align 0x10

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

0012ebf2
0012ebf2 // align 0x10

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

0012ecaf
0012ecaf // align 0x10

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

0012ed44
0012ed44 // align 0x10

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

0012ed62
0012ed62 // align 0x10

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

0012ed79
0012ed79 // align 0x10

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

0012ed93
0012ed93 // align 0x10

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

0012edb3
0012edb3 // align 0x10

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

0012edf2
0012edf2 // align 0x10

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

0012eec3
0012eec3 // align 0x10

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

0012ef3f
0012ef3f // align 0x10

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

0012f1df
0012f1df // align 0x10

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