Similarity

0012bd90
0012bd90camlLatexscan.fun_4898:
0012bd90lea r10, [rsp-336]
0012bd98cmp r10, [r14+40]
0012bd9cjb 0x12be39
0012bda2
0012bda2loc_12bda2:
0012bda2sub rsp, 16
0012bda6mov [rsp], rax
0012bdaamov rbx, [rbx+16]
0012bdaecall camlLatexscan.get_csname_1908
0012bdb3mov [rsp+8], rax
0012bdb8lea rax, [rip+0x1ef391]
0012bdbfmov rdi, [rax+192]
0012bdc6add rdi, 24
0012bdcamov ebx, 31
0012bdcfmov rax, [rsp]
0012bdd3call Save..ocaml_lex_skip_equal_rec
0012bdd8mov rax, [rsp]
0012bddccall camlLatexscan.get_num_arg_2113
0012bde1call camlStdlib.string_of_int_175
0012bde6sub r15, 40
0012bdeacmp r15, [r14]
0012bdedjb 0x12be32
0012bdef
0012bdefloc_12bdef:
0012bdeflea rbx, [r15+8]
0012bdf3add rbx, 16
0012bdf7mov [rbx-8], 2048
0012bdffmov [rbx], rax
0012be02mov [rbx+8], 1
0012be0alea rdi, [rbx-16]
0012be0emov [rdi-8], 1024
0012be16mov [rdi], rbx
0012be19lea rax, [rip+0x1eab80]
0012be20mov rbx, [rax+56]
0012be24mov rax, [rsp+8]
0012be29add rsp, 16
0012be2djmp 0x17af20
0012be32
0012be32loc_12be32:
0012be32call caml_call_gc
0012be37jmp 0x12bdef
0012be39
0012be39loc_12be39:
0012be39push 35
0012be3bcall caml_call_realloc_stack
0012be40pop r10
0012be42jmp 0x12bda2
0012bd90

0012be47
0012be47 // align 0x10

0012be50
0012be50camlLatexscan.displayleft_2132:
0012be50lea r10, [rsp-344]
0012be58cmp r10, [r14+40]
0012be5cjb 0x12bfb8
0012be62
0012be62loc_12be62:
0012be62sub rsp, 24
0012be66mov [rsp], rax
0012be6amov r13, rbx
0012be6dmov [rsp+8], r13
0012be72lea rax, [rip+0x1eab27]
0012be79mov rbx, [rax+136]
0012be80mov r12, [rbx]
0012be83mov rdi, [rax+448]
0012be8asub r15, 24
0012be8ecmp r15, [r14]
0012be91jb 0x12bfae
0012be97
0012be97loc_12be97:
0012be97lea rsi, [r15+8]
0012be9bmov [rsi-8], 2048
0012bea3mov [rsi], r12
0012bea6mov rax, [rdi]
0012bea9mov [rsi+8], rax
0012beadmov rbx, rsp
0012beb0mov rsp, [r14+64]
0012beb4call caml_modify
0012beb9mov rsp, rbx
0012bebclea rax, [rip+0x1eaadd]
0012bec3mov rax, [rax+136]
0012becamov [rax], 3
0012bed1cmp r12, 1
0012bed5jne 0x12bee5
0012bed7mov rbx, [r13+16]
0012bedbmov eax, 1
0012bee0call camlLatexscan.top_open_display_822
0012bee5
0012bee5loc_12bee5:
0012bee5mov rax, [rsp]
0012bee9call camlLexstate.save_arg_1030
0012beeemov rbx, rax
0012bef1mov eax, 1
0012bef6call camlSubst.do_do_subst_this_697
0012befbmov [rsp+16], rax
0012bf00mov rax, [rsp]
0012bf04call camlLexstate.save_sup_sub_1088
0012bf09mov rbx, [rax+16]
0012bf0dmov rax, [rax+8]
0012bf11sub r15, 96
0012bf15cmp r15, [r14]
0012bf18jb 0x12bfa4
0012bf1e
0012bf1eloc_12bf1e:
0012bf1elea rdi, [r15+8]
0012bf22add rdi, 40
0012bf26mov [rdi-8], 6391
0012bf2elea rsi, [rip+283]
0012bf35mov [rdi], rsi
0012bf38mov rsi, 0x100000000000005
0012bf42mov [rdi+8], rsi
0012bf46mov rdx, [rsp+8]
0012bf4bmov rsi, [rdx+24]
0012bf4fmov [rdi+16], rsi
0012bf53mov [rdi+24], rax
0012bf57mov [rdi+32], rbx
0012bf5bmov rdx, [rdx+32]
0012bf5fmov [rdi+40], rdx
0012bf63lea rbx, [rdi-40]
0012bf67mov [rbx-8], 4343
0012bf6flea rax, [rip+90]
0012bf76mov [rbx], rax
0012bf79mov rax, 0x100000000000005
0012bf83mov [rbx+8], rax
0012bf87mov [rbx+16], rsi
0012bf8bmov rax, [rsp+16]
0012bf90mov [rbx+24], rax
0012bf94mov rsi, [rdx+272]
0012bf9badd rsp, 24
0012bf9fjmp 0xf7370
0012bfa4
0012bfa4loc_12bfa4:
0012bfa4call caml_call_gc
0012bfa9jmp 0x12bf1e
0012bfae
0012bfaeloc_12bfae:
0012bfaecall caml_call_gc
0012bfb3jmp 0x12be97
0012bfb8
0012bfb8loc_12bfb8:
0012bfb8push 36
0012bfbacall caml_call_realloc_stack
0012bfbfpop r10
0012bfc1jmp 0x12be62
0012be50

0012bfc6
0012bfc6 // align 0x10

0012bfd0
0012bfd0camlLatexscan.fun_4936:
0012bfd0lea r10, [rsp-328]
0012bfd8cmp r10, [r14+40]
0012bfdcjb 0x12c039
0012bfde
0012bfdeloc_12bfde:
0012bfdesub rsp, 8
0012bfe2mov [rsp], rbx
0012bfe6call camlStdlib.string_of_int_175
0012bfeblea rbx, [rip+0x171e86]
0012bff2call camlStdlib.$5e_139
0012bff7mov rbx, rax
0012bffalea rax, [rip+0x16d7ff]
0012c001call camlStdlib.$5e_139
0012c006mov rbx, rax
0012c009mov rax, [rsp]
0012c00dmov rax, [rax+24]
0012c011call camlStdlib.$5e_139
0012c016mov rbx, rax
0012c019lea rax, [rip+0x16d520]
0012c020call camlStdlib.$5e_139
0012c025mov rbx, rax
0012c028mov rax, [rsp]
0012c02cmov rax, [rax+16]
0012c030add rsp, 8
0012c034jmp 0x17f150
0012c039
0012c039loc_12c039:
0012c039push 34
0012c03bcall caml_call_realloc_stack
0012c040pop r10
0012c042jmp 0x12bfde
0012bfd0

0012c044
0012c044 // align 0x10

0012c050
0012c050camlLatexscan.fun_4939:
0012c050mov r12, rax
0012c053mov rax, [rbx+16]
0012c057lea rdi, [rip+0x1ea942]
0012c05emov rsi, [rdi+648]
0012c065sub r15, 40
0012c069cmp r15, [r14]
0012c06cjb 0x12c0c7
0012c06e
0012c06eloc_12c06e:
0012c06elea rdi, [r15+8]
0012c072mov [rdi-8], 4343
0012c07alea rdx, [rip+79]
0012c081mov [rdi], rdx
0012c084mov rdx, 0x100000000000005
0012c08emov [rdi+8], rdx
0012c092mov [rdi+16], rax
0012c096mov [rdi+24], rsi
0012c09amov rax, [rbx+40]
0012c09emov r9, [rax+248]
0012c0a5mov r8l, 3
0012c0abmov rcx, [rbx+32]
0012c0afmov rdx, [rbx+24]
0012c0b3lea rsi, [rip+0x16b30e]
0012c0bamov eax, 1
0012c0bfmov rbx, r12
0012c0c2jmp 0xf71a0
0012c0c7
0012c0c7loc_12c0c7:
0012c0c7call caml_call_gc
0012c0ccjmp 0x12c06e
0012c050

0012c0ce
0012c0ce // align 0x10

0012c0d0
0012c0d0camlLatexscan.fun_4953:
0012c0d0mov rdi, rax
0012c0d3mov rax, [rbx+16]
0012c0d7mov rbx, rdi
0012c0dajmp 0x17f340
0012c0d0

0012c0df
0012c0df // align 0x10

0012c0e0
0012c0e0camlLatexscan.fun_4956:
0012c0e0mov eax, 1
0012c0e5ret
0012c0e0

0012c0e6
0012c0e6 // align 0x10

0012c0f0
0012c0f0camlLatexscan.displayright_2142:
0012c0f0lea r10, [rsp-344]
0012c0f8cmp r10, [r14+40]
0012c0fcjb 0x12c2f3
0012c102
0012c102loc_12c102:
0012c102sub rsp, 24
0012c106mov [rsp], rax
0012c10amov [rsp+16], rbx
0012c10fcall camlLexstate.save_arg_1030
0012c114mov rbx, rax
0012c117mov eax, 1
0012c11ccall camlSubst.do_do_subst_this_697
0012c121sub r15, 40
0012c125cmp r15, [r14]
0012c128jb 0x12c2e9
0012c12e
0012c12eloc_12c12e:
0012c12elea rbx, [r15+8]
0012c132mov [rbx-8], 4343
0012c13alea rdi, [rip+463]
0012c141mov [rbx], rdi
0012c144mov rdi, 0x100000000000005
0012c14emov [rbx+8], rdi
0012c152mov rsi, [rsp+16]
0012c157mov rdi, [rsi+24]
0012c15bmov [rbx+16], rdi
0012c15fmov [rbx+24], rax
0012c163mov rdi, [rsi+32]
0012c167mov rdi, [rdi+280]
0012c16ecall caml_apply2
0012c173mov [rsp+8], rax
0012c178mov rax, [rsp]
0012c17ccall camlLexstate.save_sup_sub_1088
0012c181mov r12, [rax+16]
0012c185mov rdx, [rax+8]
0012c189lea rsi, [rip+0x16b330]
0012c190mov rbx, [rsp+8]
0012c195cmp rbx, 3
0012c199jle 0x12c210
0012c19bmov r13, [rsp+16]
0012c1a0mov rcx, [r13+24]
0012c1a4lea rax, [rip+0x1ea7f5]
0012c1abmov r8, [rax+648]
0012c1b2sub r15, 40
0012c1b6cmp r15, [r14]
0012c1b9jb 0x12c2df
0012c1bf
0012c1bfloc_12c1bf:
0012c1bflea rdi, [r15+8]
0012c1c3mov [rdi-8], 4343
0012c1cblea r9, [rip+462]
0012c1d2mov [rdi], r9
0012c1d5mov r9, 0x100000000000005
0012c1dfmov [rdi+8], r9
0012c1e3mov [rdi+16], rcx
0012c1e7mov [rdi+24], r8
0012c1ebmov rcx, [r13+32]
0012c1efmov r9, [rcx+248]
0012c1f6mov rax, [rax+136]
0012c1fdmov r8, [rax]
0012c200mov eax, 1
0012c205mov rcx, r12
0012c208call caml_apply7
0012c20djmp 0x12c286
0012c20f
0012c20f 90 .
0012c210
0012c210loc_12c210:
0012c210mov r9, [rsp+16]
0012c215mov rdi, [r9+24]
0012c219lea rbx, [rip+0x1ea780]
0012c220mov rcx, [rbx+648]
0012c227sub r15, 40
0012c22bcmp r15, [r14]
0012c22ejb 0x12c2d5
0012c234
0012c234loc_12c234:
0012c234lea rax, [r15+8]
0012c238mov [rax-8], 4343
0012c240lea r8, [rip+361]
0012c247mov [rax], r8
0012c24amov r8, 0x100000000000005
0012c254mov [rax+8], r8
0012c258mov [rax+16], rdi
0012c25cmov [rax+24], rcx
0012c260mov rdi, [r9+32]
0012c264mov rcx, [rdi+232]
0012c26bmov rbx, [rbx+136]
0012c272mov r8, [rbx]
0012c275mov rbx, rsi
0012c278mov rdi, rdx
0012c27bmov rsi, r12
0012c27emov rdx, r8
0012c281call caml_apply5
0012c286
0012c286loc_12c286:
0012c286lea rax, [rip+0x1ea713]
0012c28dmov rax, [rax+448]
0012c294call camlMyStack.pop_292
0012c299mov [rsp], rax
0012c29dcmp rax, 1
0012c2a1jne 0x12c2b6
0012c2a3mov rax, [rsp+16]
0012c2a8mov rbx, [rax+16]
0012c2acmov eax, 1
0012c2b1call camlLatexscan.top_close_display_839
0012c2b6
0012c2b6loc_12c2b6:
0012c2b6lea rax, [rip+0x1ea6e3]
0012c2bdmov rax, [rax+136]
0012c2c4mov rbx, [rsp]
0012c2c8mov [rax], rbx
0012c2cbmov eax, 1
0012c2d0add rsp, 24
0012c2d4ret
0012c2d5
0012c2d5loc_12c2d5:
0012c2d5call caml_call_gc
0012c2dajmp 0x12c234
0012c2df
0012c2dfloc_12c2df:
0012c2dfcall caml_call_gc
0012c2e4jmp 0x12c1bf
0012c2e9
0012c2e9loc_12c2e9:
0012c2e9call caml_call_gc
0012c2eejmp 0x12c12e
0012c2f3
0012c2f3loc_12c2f3:
0012c2f3push 36
0012c2f5call caml_call_realloc_stack
0012c2fapop r10
0012c2fcjmp 0x12c102
0012c0f0

0012c301
0012c301 // align 0x10

0012c310
0012c310camlLatexscan.fun_4979:
0012c310lea r10, [rsp-328]
0012c318cmp r10, [r14+40]
0012c31cjb 0x12c379
0012c31e
0012c31eloc_12c31e:
0012c31esub rsp, 8
0012c322mov [rsp], rbx
0012c326call camlStdlib.string_of_int_175
0012c32blea rbx, [rip+0x171b46]
0012c332call camlStdlib.$5e_139
0012c337mov rbx, rax
0012c33alea rax, [rip+0x16d4bf]
0012c341call camlStdlib.$5e_139
0012c346mov rbx, rax
0012c349mov rax, [rsp]
0012c34dmov rax, [rax+24]
0012c351call camlStdlib.$5e_139
0012c356mov rbx, rax
0012c359lea rax, [rip+0x16d1e0]
0012c360call camlStdlib.$5e_139
0012c365mov rbx, rax
0012c368mov rax, [rsp]
0012c36cmov rax, [rax+16]
0012c370add rsp, 8
0012c374jmp 0x17f150
0012c379
0012c379loc_12c379:
0012c379push 34
0012c37bcall caml_call_realloc_stack
0012c380pop r10
0012c382jmp 0x12c31e
0012c310

0012c384
0012c384 // align 0x10

0012c390
0012c390camlLatexscan.do_what_2150:
0012c390mov eax, 1
0012c395ret
0012c390

0012c396
0012c396 // align 0x10

0012c3a0
0012c3a0camlLatexscan.fun_4986:
0012c3a0mov rdi, rax
0012c3a3mov rax, [rbx+16]
0012c3a7mov rbx, rdi
0012c3aajmp 0x17f340
0012c3a0

0012c3af
0012c3af // align 0x10

0012c3b0
0012c3b0camlLatexscan.fun_4992:
0012c3b0mov rdi, rax
0012c3b3mov rax, [rbx+16]
0012c3b7mov rbx, rdi
0012c3bajmp 0x17f340
0012c3b0

0012c3bf
0012c3bf // align 0x10

0012c3c0
0012c3c0camlLatexscan.fun_4996:
0012c3c0mov rsi, rax
0012c3c3lea rax, [rip+0x1ea5d6]
0012c3camov rax, [rax+136]
0012c3d1mov rax, [rax]
0012c3d4cmp rax, 1
0012c3d8je 0x12c3e8
0012c3damov rbx, [rbx+24]
0012c3demov rax, rsi
0012c3e1jmp 0x12be50
0012c3e6
0012c3e6 66 90 f.
0012c3e8
0012c3e8loc_12c3e8:
0012c3e8mov rdi, [rbx+16]
0012c3ecmov rbx, [rdi+40]
0012c3f0mov rax, [rdi+32]
0012c3f4mov rdx, [rdi+24]
0012c3f8lea rdi, [rip+0x16d119]
0012c3ffjmp 0x1268e0
0012c3c0

0012c404
0012c404 // align 0x10

0012c410
0012c410camlLatexscan.fun_5010:
0012c410mov rsi, rax
0012c413lea rax, [rip+0x1ea586]
0012c41amov rax, [rax+136]
0012c421mov rax, [rax]
0012c424cmp rax, 1
0012c428je 0x12c438
0012c42amov rbx, [rbx+24]
0012c42emov rax, rsi
0012c431jmp 0x12c0f0
0012c436
0012c436 66 90 f.
0012c438
0012c438loc_12c438:
0012c438mov rdi, [rbx+16]
0012c43cmov rbx, [rdi+40]
0012c440mov rax, [rdi+32]
0012c444mov rdx, [rdi+24]
0012c448lea rdi, [rip+0x16d0a1]
0012c44fjmp 0x1268e0
0012c410

0012c454
0012c454 // align 0x10

0012c460
0012c460camlLatexscan.fun_5024:
0012c460lea r10, [rsp-336]
0012c468cmp r10, [r14+40]
0012c46cjb 0x12c4de
0012c46e
0012c46eloc_12c46e:
0012c46esub rsp, 16
0012c472mov [rsp+8], rax
0012c477mov [rsp], rbx
0012c47blea rdi, [rip+0x1ea51e]
0012c482mov rdi, [rdi+136]
0012c489mov rdi, [rdi]
0012c48ccmp rdi, 1
0012c490je 0x12c4a4
0012c492mov rbx, [rbx+24]
0012c496mov rbx, [rbx+264]
0012c49dmov rdi, [rbx]
0012c4a0call rdi
0012c4a2jmp 0x12c4b9
0012c4a4
0012c4a4loc_12c4a4:
0012c4a4mov rax, [rbx+24]
0012c4a8mov rbx, [rax+360]
0012c4afmov eax, 95
0012c4b4mov rdi, [rbx]
0012c4b7call rdi
0012c4b9
0012c4b9loc_12c4b9:
0012c4b9mov rax, [rsp]
0012c4bdmov rdi, [rax+16]
0012c4c1add rdi, 24
0012c4c5mov ebx, 343
0012c4camov rax, [rsp+8]
0012c4cfcall Latexscan..ocaml_lex_skip_blanks_rec
0012c4d4mov eax, 1
0012c4d9add rsp, 16
0012c4ddret
0012c4de
0012c4deloc_12c4de:
0012c4depush 35
0012c4e0call caml_call_realloc_stack
0012c4e5pop r10
0012c4e7jmp 0x12c46e
0012c460

0012c4e9
0012c4e9 // align 0x10

0012c4f0
0012c4f0camlLatexscan.fun_5030:
0012c4f0lea r10, [rsp-336]
0012c4f8cmp r10, [r14+40]
0012c4fcjb 0x12c558
0012c4fe
0012c4feloc_12c4fe:
0012c4fesub rsp, 16
0012c502mov [rsp], rbx
0012c506call camlLexstate.save_arg_1030
0012c50bmov rbx, rax
0012c50elea rax, [rip+0x1ea48b]
0012c515mov rax, [rax+280]
0012c51cmov rdi, [rax]
0012c51fmov [rsp+8], rdi
0012c524mov [rax], 1
0012c52bmov rax, [rsp]
0012c52fmov rax, [rax+16]
0012c533call camlLexstate.scan_this_arg_1187
0012c538lea rax, [rip+0x1ea461]
0012c53fmov rax, [rax+280]
0012c546mov rbx, [rsp+8]
0012c54bmov [rax], rbx
0012c54emov eax, 1
0012c553add rsp, 16
0012c557ret
0012c558
0012c558loc_12c558:
0012c558push 35
0012c55acall caml_call_realloc_stack
0012c55fpop r10
0012c561jmp 0x12c4fe
0012c4f0

0012c563
0012c563 // align 0x10

0012c570
0012c570camlLatexscan.fun_5034:
0012c570lea r10, [rsp-336]
0012c578cmp r10, [r14+40]
0012c57cjb 0x12c5d8
0012c57e
0012c57eloc_12c57e:
0012c57esub rsp, 16
0012c582mov [rsp], rbx
0012c586call camlLexstate.save_arg_1030
0012c58bmov rbx, rax
0012c58elea rax, [rip+0x1ea40b]
0012c595mov rax, [rax+280]
0012c59cmov rdi, [rax]
0012c59fmov [rsp+8], rdi
0012c5a4mov [rax], 3
0012c5abmov rax, [rsp]
0012c5afmov rax, [rax+16]
0012c5b3call camlLexstate.scan_this_arg_1187
0012c5b8lea rax, [rip+0x1ea3e1]
0012c5bfmov rax, [rax+280]
0012c5c6mov rbx, [rsp+8]
0012c5cbmov [rax], rbx
0012c5cemov eax, 1
0012c5d3add rsp, 16
0012c5d7ret
0012c5d8
0012c5d8loc_12c5d8:
0012c5d8push 35
0012c5dacall caml_call_realloc_stack
0012c5dfpop r10
0012c5e1jmp 0x12c57e
0012c570

0012c5e3
0012c5e3 // align 0x10

0012c5f0
0012c5f0camlLatexscan.fun_5038:
0012c5f0lea r10, [rsp-336]
0012c5f8cmp r10, [r14+40]
0012c5fcjb 0x12c651
0012c5fe
0012c5feloc_12c5fe:
0012c5fesub rsp, 16
0012c602cmp r15, [r14]
0012c605jbe 0x12c64a
0012c607
0012c607loc_12c607:
0012c607mov rdi, [rbx+24]
0012c60bmov rdi, [rdi+296]
0012c612mov [rsp+8], rdi
0012c617mov rbx, [rbx+16]
0012c61bmov [rsp], rbx
0012c61fcall camlLexstate.save_arg_1030
0012c624mov rbx, rax
0012c627mov rax, [rsp]
0012c62bmov rdi, [rax+16]
0012c62fmov rax, [rdi+16]
0012c633mov rdi, [rdi+24]
0012c637call camlLatexscan.do_get_prim_onarg_1872
0012c63cmov rbx, [rsp+8]
0012c641mov rdi, [rbx]
0012c644add rsp, 16
0012c648jmp rdi
0012c64a
0012c64aloc_12c64a:
0012c64acall caml_call_gc
0012c64fjmp 0x12c607
0012c651
0012c651loc_12c651:
0012c651push 35
0012c653call caml_call_realloc_stack
0012c658pop r10
0012c65ajmp 0x12c5fe
0012c5f0

0012c65c
0012c65c // align 0x10

0012c660
0012c660camlLatexscan.fun_5052:
0012c660lea r10, [rsp-336]
0012c668cmp r10, [r14+40]
0012c66cjb 0x12c6c1
0012c66e
0012c66eloc_12c66e:
0012c66esub rsp, 16
0012c672cmp r15, [r14]
0012c675jbe 0x12c6ba
0012c677
0012c677loc_12c677:
0012c677mov rdi, [rbx+24]
0012c67bmov rdi, [rdi+304]
0012c682mov [rsp+8], rdi
0012c687mov rbx, [rbx+16]
0012c68bmov [rsp], rbx
0012c68fcall camlLexstate.save_arg_1030
0012c694mov rbx, rax
0012c697mov rax, [rsp]
0012c69bmov rdi, [rax+16]
0012c69fmov rax, [rdi+16]
0012c6a3mov rdi, [rdi+24]
0012c6a7call camlLatexscan.do_get_prim_onarg_1872
0012c6acmov rbx, [rsp+8]
0012c6b1mov rdi, [rbx]
0012c6b4add rsp, 16
0012c6b8jmp rdi
0012c6ba
0012c6baloc_12c6ba:
0012c6bacall caml_call_gc
0012c6bfjmp 0x12c677
0012c6c1
0012c6c1loc_12c6c1:
0012c6c1push 35
0012c6c3call caml_call_realloc_stack
0012c6c8pop r10
0012c6cajmp 0x12c66e
0012c660

0012c6cc
0012c6cc // align 0x10

0012c6d0
0012c6d0camlLatexscan.fun_5066:
0012c6d0lea r10, [rsp-360]
0012c6d8cmp r10, [r14+40]
0012c6dcjb 0x12c7f1
0012c6e2
0012c6e2loc_12c6e2:
0012c6e2sub rsp, 40
0012c6e6mov [rsp+32], rax
0012c6ebmov [rsp+24], rbx
0012c6f0call camlLexstate.save_arg_1030
0012c6f5mov rbx, rax
0012c6f8mov eax, 1
0012c6fdcall camlSubst.do_do_subst_this_697
0012c702mov [rsp+8], rax
0012c707mov rax, [rsp+24]
0012c70cmov rax, [rax+32]
0012c710mov [rsp], rax
0012c714mov rax, [rsp+32]
0012c719call camlLexstate.save_arg_1030
0012c71emov rbx, rax
0012c721mov rax, [rsp]
0012c725mov rdi, [rax+16]
0012c729mov rax, [rdi+16]
0012c72dmov rdi, [rdi+24]
0012c731call camlLatexscan.do_get_prim_onarg_1872
0012c736mov [rsp+16], rax
0012c73bmov rax, [rsp+24]
0012c740mov rax, [rax+32]
0012c744mov [rsp], rax
0012c748mov rax, [rsp+32]
0012c74dcall camlLexstate.save_arg_1030
0012c752mov rbx, rax
0012c755mov rax, [rsp]
0012c759mov rdi, [rax+16]
0012c75dmov rax, [rdi+16]
0012c761mov rdi, [rdi+24]
0012c765call camlLatexscan.do_get_prim_onarg_1872
0012c76amov rsi, rax
0012c76dmov rcx, [rsp+24]
0012c772mov rbx, [rcx+16]
0012c776lea rax, [rip+0x1ea223]
0012c77dmov rdi, [rax+632]
0012c784sub r15, 40
0012c788cmp r15, [r14]
0012c78bjb 0x12c7ea
0012c78d
0012c78dloc_12c78d:
0012c78dlea rax, [r15+8]
0012c791mov [rax-8], 4343
0012c799lea rdx, [rip+96]
0012c7a0mov [rax], rdx
0012c7a3mov rdx, 0x100000000000005
0012c7admov [rax+8], rdx
0012c7b1mov [rax+16], rbx
0012c7b5mov [rax+24], rdi
0012c7b9mov rbx, [rcx+40]
0012c7bdmov rdx, [rbx+312]
0012c7c4mov rbx, [rsp+8]
0012c7c9mov rdi, [rsp+16]
0012c7cecall caml_apply4
0012c7d3mov rax, [rsp+24]
0012c7d8mov rbx, [rax+24]
0012c7dcmov rax, [rsp+32]
0012c7e1add rsp, 40
0012c7e5jmp 0x127b00
0012c7ea
0012c7ealoc_12c7ea:
0012c7eacall caml_call_gc
0012c7efjmp 0x12c78d
0012c7f1
0012c7f1loc_12c7f1:
0012c7f1push 38
0012c7f3call caml_call_realloc_stack
0012c7f8pop r10
0012c7fajmp 0x12c6e2
0012c6d0

0012c7ff
0012c7ff // align 0x10

0012c800
0012c800camlLatexscan.fun_5101:
0012c800mov rdi, rax
0012c803mov rax, [rbx+16]
0012c807mov rbx, rdi
0012c80ajmp 0x17f150
0012c800

0012c80f
0012c80f // align 0x10

0012c810
0012c810camlLatexscan.fun_5106:
0012c810lea r10, [rsp-352]
0012c818cmp r10, [r14+40]
0012c81cjb 0x12c8a3
0012c822
0012c822loc_12c822:
0012c822sub rsp, 32
0012c826mov [rsp+8], rax
0012c82bmov [rsp+16], rbx
0012c830mov rbx, [rbx+24]
0012c834mov [rsp], rbx
0012c838call camlLexstate.save_arg_1030
0012c83dmov rbx, rax
0012c840mov rax, [rsp]
0012c844mov rdi, [rax+16]
0012c848mov rax, [rdi+16]
0012c84cmov rdi, [rdi+24]
0012c850call camlLatexscan.do_get_prim_onarg_1872
0012c855mov [rsp+24], rax
0012c85amov rax, [rsp+16]
0012c85fmov rax, [rax+24]
0012c863mov [rsp], rax
0012c867mov rax, [rsp+8]
0012c86ccall camlLexstate.save_arg_1030
0012c871mov rbx, rax
0012c874mov rax, [rsp]
0012c878mov rdi, [rax+16]
0012c87cmov rax, [rdi+16]
0012c880mov rdi, [rdi+24]
0012c884call camlLatexscan.do_get_prim_onarg_1872
0012c889mov rbx, rax
0012c88cmov rax, [rsp+16]
0012c891mov rdi, [rax+16]
0012c895mov rax, [rsp+24]
0012c89aadd rsp, 32
0012c89ejmp 0x123900
0012c8a3
0012c8a3loc_12c8a3:
0012c8a3push 37
0012c8a5call caml_call_realloc_stack
0012c8aapop r10
0012c8acjmp 0x12c822
0012c810

0012c8b1
0012c8b1 // align 0x10

0012c8c0
0012c8c0camlLatexscan.fun_5132:
0012c8c0lea r10, [rsp-352]
0012c8c8cmp r10, [r14+40]
0012c8ccjb 0x12c969
0012c8d2
0012c8d2loc_12c8d2:
0012c8d2sub rsp, 32
0012c8d6mov [rsp+8], rax
0012c8dbmov [rsp+16], rbx
0012c8e0cmp r15, [r14]
0012c8e3jbe 0x12c95f
0012c8e5
0012c8e5loc_12c8e5:
0012c8e5mov rbx, [rbx+16]
0012c8e9mov [rsp], rbx
0012c8edcall camlLexstate.save_arg_1030
0012c8f2mov rbx, rax
0012c8f5mov rax, [rsp]
0012c8f9mov rdi, [rax+16]
0012c8fdmov rax, [rdi+16]
0012c901mov rdi, [rdi+24]
0012c905call camlLatexscan.do_get_prim_onarg_1872
0012c90amov [rsp+24], rax
0012c90fmov rax, [rsp+16]
0012c914mov rax, [rax+16]
0012c918mov [rsp], rax
0012c91cmov rax, [rsp+8]
0012c921call camlLexstate.save_arg_1030
0012c926mov rbx, rax
0012c929mov rax, [rsp]
0012c92dmov rdi, [rax+16]
0012c931mov rax, [rdi+16]
0012c935mov rdi, [rdi+24]
0012c939call camlLatexscan.do_get_prim_onarg_1872
0012c93emov rbx, rax
0012c941mov rax, [rsp+16]
0012c946mov rax, [rax+24]
0012c94amov rdi, [rax+152]
0012c951mov rax, [rsp+24]
0012c956add rsp, 32
0012c95ajmp 0xf73e0
0012c95f
0012c95floc_12c95f:
0012c95fcall caml_call_gc
0012c964jmp 0x12c8e5
0012c969
0012c969loc_12c969:
0012c969push 37
0012c96bcall caml_call_realloc_stack
0012c970pop r10
0012c972jmp 0x12c8d2
0012c8c0

0012c977
0012c977 // align 0x10

0012c980
0012c980camlLatexscan.fun_5156:
0012c980lea r10, [rsp-336]
0012c988cmp r10, [r14+40]
0012c98cjb 0x12c9e0
0012c98e
0012c98eloc_12c98e:
0012c98esub rsp, 16
0012c992mov [rsp+8], rbx
0012c997mov rbx, [rbx+24]
0012c99bmov [rsp], rbx
0012c99fcall camlLexstate.save_arg_1030
0012c9a4mov rbx, rax
0012c9a7mov rax, [rsp]
0012c9abmov rdi, [rax+16]
0012c9afmov rax, [rdi+16]
0012c9b3mov rdi, [rdi+24]
0012c9b7call camlLatexscan.do_get_prim_onarg_1872
0012c9bcmov rbx, rax
0012c9bfmov rax, [rsp+8]
0012c9c4mov rdi, [rax+16]
0012c9c8mov rax, [rdi+24]
0012c9ccmov rax, [rax+128]
0012c9d3mov rdi, [rdi+16]
0012c9d7add rsp, 16
0012c9dbjmp 0x123d10
0012c9e0
0012c9e0loc_12c9e0:
0012c9e0push 35
0012c9e2call caml_call_realloc_stack
0012c9e7pop r10
0012c9e9jmp 0x12c98e
0012c980

0012c9eb
0012c9eb // align 0x10

0012c9f0
0012c9f0camlLatexscan.fun_5176:
0012c9f0lea r10, [rsp-336]
0012c9f8cmp r10, [r14+40]
0012c9fcjb 0x12ca3e
0012c9fe
0012c9feloc_12c9fe:
0012c9fesub rsp, 16
0012ca02mov [rsp+8], rbx
0012ca07mov rbx, [rbx+24]
0012ca0bmov [rsp], rbx
0012ca0fcall camlLexstate.save_arg_1030
0012ca14mov rbx, rax
0012ca17mov rax, [rsp]
0012ca1bmov rdi, [rax+16]
0012ca1fmov rax, [rdi+16]
0012ca23mov rdi, [rdi+24]
0012ca27call camlLatexscan.do_get_prim_onarg_1872
0012ca2cmov rbx, [rsp+8]
0012ca31mov rbx, [rbx+16]
0012ca35add rsp, 16
0012ca39jmp 0x124020
0012ca3e
0012ca3eloc_12ca3e:
0012ca3epush 35
0012ca40call caml_call_realloc_stack
0012ca45pop r10
0012ca47jmp 0x12c9fe
0012c9f0

0012ca49
0012ca49 // align 0x10

0012ca50
0012ca50camlLatexscan.fun_5192:
0012ca50lea r10, [rsp-336]
0012ca58cmp r10, [r14+40]
0012ca5cjb 0x12cab0
0012ca5e
0012ca5eloc_12ca5e:
0012ca5esub rsp, 16
0012ca62mov [rsp+8], rbx
0012ca67mov rbx, [rbx+24]
0012ca6bmov [rsp], rbx
0012ca6fcall camlLexstate.save_arg_1030
0012ca74mov rbx, rax
0012ca77mov rax, [rsp]
0012ca7bmov rdi, [rax+16]
0012ca7fmov rax, [rdi+16]
0012ca83mov rdi, [rdi+24]
0012ca87call camlLatexscan.do_get_prim_onarg_1872
0012ca8cmov rbx, rax
0012ca8fmov rax, [rsp+8]
0012ca94mov rdi, [rax+16]
0012ca98mov rax, [rdi+24]
0012ca9cmov rax, [rax+144]
0012caa3mov rdi, [rdi+16]
0012caa7add rsp, 16
0012caabjmp 0x123d10
0012cab0
0012cab0loc_12cab0:
0012cab0push 35
0012cab2call caml_call_realloc_stack
0012cab7pop r10
0012cab9jmp 0x12ca5e
0012ca50

0012cabb
0012cabb // align 0x10

0012cac0
0012cac0camlLatexscan.out_par_2181:
0012cac0lea r10, [rsp-344]
0012cac8cmp r10, [r14+40]
0012caccjb 0x12cb41
0012cace
0012caceloc_12cace:
0012cacesub rsp, 24
0012cad2mov [rsp], rax
0012cad6mov [rsp+16], rbx
0012cadbcmp r15, [r14]
0012cadejbe 0x12cb3a
0012cae0
0012cae0loc_12cae0:
0012cae0mov rax, [rbx+16]
0012cae4mov rbx, [rax+96]
0012cae8mov eax, 1
0012caedmov rdi, [rbx]
0012caf0call rdi
0012caf2mov [rsp+8], rax
0012caf7mov eax, 1
0012cafcmov rbx, [rsp]
0012cb00mov rdi, [rbx]
0012cb03call rdi
0012cb05mov rax, [rsp+8]
0012cb0acmp rax, 1
0012cb0eje 0x12cb30
0012cb10mov rax, [rsp+16]
0012cb15mov rax, [rax+16]
0012cb19mov rdi, [rax+104]
0012cb1dmov ebx, 1
0012cb22mov eax, 1
0012cb27add rsp, 24
0012cb2bjmp 0xf73e0
0012cb30
0012cb30loc_12cb30:
0012cb30mov eax, 1
0012cb35add rsp, 24
0012cb39ret
0012cb3a
0012cb3aloc_12cb3a:
0012cb3acall caml_call_gc
0012cb3fjmp 0x12cae0
0012cb41
0012cb41loc_12cb41:
0012cb41push 36
0012cb43call caml_call_realloc_stack
0012cb48pop r10
0012cb4ajmp 0x12cace
0012cac0

0012cb4c
0012cb4c // align 0x10

0012cb50
0012cb50camlLatexscan.fun_5214:
0012cb50lea r10, [rsp-336]
0012cb58cmp r10, [r14+40]
0012cb5cjb 0x12cb93
0012cb5e
0012cb5eloc_12cb5e:
0012cb5esub rsp, 16
0012cb62mov [rsp+8], rax
0012cb67mov [rsp], rbx
0012cb6bmov rax, [rbx+24]
0012cb6fmov rbx, [rax+96]
0012cb73mov eax, 1
0012cb78mov rdi, [rbx]
0012cb7bcall rdi
0012cb7dmov rax, [rsp]
0012cb81mov rbx, [rax+16]
0012cb85mov rax, [rsp+8]
0012cb8aadd rsp, 16
0012cb8ejmp 0x127b00
0012cb93
0012cb93loc_12cb93:
0012cb93push 35
0012cb95call caml_call_realloc_stack
0012cb9apop r10
0012cb9cjmp 0x12cb5e
0012cb50

0012cb9e
0012cb9e // align 0x10

0012cba0
0012cba0camlLatexscan.fun_5220:
0012cba0lea r10, [rsp-336]
0012cba8cmp r10, [r14+40]
0012cbacjb 0x12cc1f
0012cbae
0012cbaeloc_12cbae:
0012cbaesub rsp, 16
0012cbb2mov rsi, rax
0012cbb5mov [rsp+8], rsi
0012cbbamov [rsp], rbx
0012cbbemov rdi, [rbx+24]
0012cbc2lea rax, [rip+0x171a9f]
0012cbc9mov rbx, rsi
0012cbcccall camlLatexscan.get_prim_opt_1900
0012cbd1sub r15, 16
0012cbd5cmp r15, [r14]
0012cbd8jb 0x12cc18
0012cbda
0012cbdaloc_12cbda:
0012cbdalea rsi, [r15+8]
0012cbdemov [rsi-8], 1024
0012cbe6mov [rsi], rax
0012cbe9mov rax, [rsp]
0012cbedmov rax, [rax+32]
0012cbf1mov rdi, [rax+104]
0012cbf5mov ebx, 1
0012cbfamov rax, rsi
0012cbfdcall caml_apply2
0012cc02mov rax, [rsp]
0012cc06mov rbx, [rax+16]
0012cc0amov rax, [rsp+8]
0012cc0fadd rsp, 16
0012cc13jmp 0x127b00
0012cc18
0012cc18loc_12cc18:
0012cc18call caml_call_gc
0012cc1djmp 0x12cbda
0012cc1f
0012cc1floc_12cc1f:
0012cc1fpush 35
0012cc21call caml_call_realloc_stack
0012cc26pop r10
0012cc28jmp 0x12cbae
0012cba0

0012cc2a
0012cc2a // align 0x10

0012cc30
0012cc30camlLatexscan.fun_5228:
0012cc30lea r10, [rsp-328]
0012cc38cmp r10, [r14+40]
0012cc3cjb 0x12cc9f
0012cc3e
0012cc3eloc_12cc3e:
0012cc3esub rsp, 8
0012cc42mov [rsp], rbx
0012cc46call camlLexstate.save_arg_1030
0012cc4bsub r15, 40
0012cc4fcmp r15, [r14]
0012cc52jb 0x12cc98
0012cc54
0012cc54loc_12cc54:
0012cc54lea rdi, [r15+8]
0012cc58mov [rdi-8], 4343
0012cc60lea rbx, [rip+73]
0012cc67mov [rdi], rbx
0012cc6amov rbx, 0x100000000000005
0012cc74mov [rdi+8], rbx
0012cc78mov rsi, [rsp]
0012cc7cmov rbx, [rsi+16]
0012cc80mov [rdi+16], rbx
0012cc84mov [rdi+24], rax
0012cc88mov rbx, [rsi+24]
0012cc8cmov rax, rdi
0012cc8fadd rsp, 8
0012cc93jmp 0x12cac0
0012cc98
0012cc98loc_12cc98:
0012cc98call caml_call_gc
0012cc9djmp 0x12cc54
0012cc9f
0012cc9floc_12cc9f:
0012cc9fpush 34
0012cca1call caml_call_realloc_stack
0012cca6pop r10
0012cca8jmp 0x12cc3e
0012cc30

0012ccaa
0012ccaa // align 0x10

0012ccb0
0012ccb0camlLatexscan.fun_5236:
0012ccb0mov rdi, [rbx+24]
0012ccb4mov rax, [rbx+16]
0012ccb8mov rbx, rdi
0012ccbbjmp 0x17f340
0012ccb0

0012ccc0
0012ccc0camlLatexscan.fun_5242:
0012ccc0lea r10, [rsp-328]
0012ccc8cmp r10, [r14+40]
0012ccccjb 0x12cd02
0012ccce
0012ccceloc_12ccce:
0012cccesub rsp, 8
0012ccd2mov [rsp], rbx
0012ccd6cmp r15, [r14]
0012ccd9jbe 0x12ccfb
0012ccdb
0012ccdbloc_12ccdb:
0012ccdbcall camlLexstate.save_arg_1030
0012cce0mov rbx, [rsp]
0012cce4mov rbx, [rbx+16]
0012cce8mov rbx, [rbx+352]
0012ccefmov rax, [rax]
0012ccf2mov rdi, [rbx]
0012ccf5add rsp, 8
0012ccf9jmp rdi
0012ccfb
0012ccfbloc_12ccfb:
0012ccfbcall caml_call_gc
0012cd00jmp 0x12ccdb
0012cd02
0012cd02loc_12cd02:
0012cd02push 34
0012cd04call caml_call_realloc_stack
0012cd09pop r10
0012cd0bjmp 0x12ccce
0012ccc0

0012cd0d
0012cd0d // align 0x10

0012cd10
0012cd10camlLatexscan.put_unicode_default_2193:
0012cd10lea r10, [rsp-352]
0012cd18cmp r10, [r14+40]
0012cd1cjb 0x12ce0f
0012cd22
0012cd22loc_12cd22:
0012cd22sub rsp, 16
0012cd26mov rdi, rax
0012cd29mov [rsp], rdi
0012cd2dmov [rsp+8], rbx
0012cd32cmp r15, [r14]
0012cd35jbe 0x12ce05
0012cd3b
0012cd3bloc_12cd3b:
0012cd3blea r11, [rip+62]
0012cd42push r11
0012cd44push [r14+48]
0012cd48mov [r14+48], rsp
0012cd4clea rax, [rip+0x1c6fe5]
0012cd53mov rax, [rax+832]
0012cd5amov rbx, rdi
0012cd5dcall Stdlib.Hashtbl.find
0012cd62mov rbx, rax
0012cd65mov rax, [rsp+24]
0012cd6amov rax, [rax+16]
0012cd6ecall camlLexstate.scan_this_1185
0012cd73pop [r14+48]
0012cd77add rsp, 8
0012cd7bjmp 0x12ce00
0012cd80lea rbx, [rip+0x200891]
0012cd87mov rbx, [rbx+56]
0012cd8bcmp rax, rbx
0012cd8ejne 0x12cdf0
0012cd90mov rax, [rsp]
0012cd94mov [rsp], rax
0012cd98lea rax, [rip+0x1c7361]
0012cd9fcall Stdlib.Printf.sprintf
0012cda4mov rbx, rax
0012cda7mov rdi, [rbx]
0012cdaamov rax, [rsp]
0012cdaecall rdi
0012cdb0mov [rsp], rax
0012cdb4lea rax, [rip+0x16c505]
0012cdbbcall Stdlib.Printf.sprintf
0012cdc0mov rbx, rax
0012cdc3mov rdi, [rbx]
0012cdc6mov rax, [rsp]
0012cdcacall rdi
0012cdcccall camlMisc.warning_287
0012cdd1mov rax, [rsp+8]
0012cdd6mov rax, [rax+24]
0012cddamov rbx, [rax+360]
0012cde1mov eax, 127
0012cde6mov rdi, [rbx]
0012cde9add rsp, 16
0012cdedjmp rdi
0012cdefnop
0012cdf0
0012cdf0loc_12cdf0:
0012cdf0mov rsp, [r14+48]
0012cdf4pop [r14+48]
0012cdf8pop r11
0012cdfajmp r11
0012cdfdnop [rax]
0012ce00
0012ce00loc_12ce00:
0012ce00add rsp, 16
0012ce04ret
0012ce05
0012ce05loc_12ce05:
0012ce05call caml_call_gc
0012ce0ajmp 0x12cd3b
0012ce0f
0012ce0floc_12ce0f:
0012ce0fpush 37
0012ce11call caml_call_realloc_stack
0012ce16pop r10
0012ce18jmp 0x12cd22
0012cd10

0012ce1d
0012ce1d // align 0x10

0012ce20
0012ce20camlLatexscan.put_unicode_2197:
0012ce20lea r10, [rsp-352]
0012ce28cmp r10, [r14+40]
0012ce2cjb 0x12cea5
0012ce2e
0012ce2eloc_12ce2e:
0012ce2esub rsp, 16
0012ce32mov [rsp+8], rax
0012ce37mov [rsp], rbx
0012ce3blea r11, [rip+38]
0012ce42push r11
0012ce44push [r14+48]
0012ce48mov [r14+48], rsp
0012ce4cmov rbx, [rbx+24]
0012ce50mov rbx, [rbx+368]
0012ce57mov rdi, [rbx]
0012ce5acall rdi
0012ce5cpop [r14+48]
0012ce60add rsp, 8
0012ce64jmp 0x12cea0
0012ce66nop
0012ce68lea rbx, [rip+0x1fd201]
0012ce6fmov rbx, [rbx+72]
0012ce73cmp rax, rbx
0012ce76jne 0x12ce90
0012ce78mov rax, [rsp]
0012ce7cmov rbx, [rax+16]
0012ce80mov rax, [rsp+8]
0012ce85add rsp, 16
0012ce89jmp 0x12cd10
0012ce8enop
0012ce90
0012ce90loc_12ce90:
0012ce90mov rsp, [r14+48]
0012ce94pop [r14+48]
0012ce98pop r11
0012ce9ajmp r11
0012ce9dnop [rax]
0012cea0
0012cea0loc_12cea0:
0012cea0add rsp, 16
0012cea4ret
0012cea5
0012cea5loc_12cea5:
0012cea5push 37
0012cea7call caml_call_realloc_stack
0012ceacpop r10
0012ceaejmp 0x12ce2e
0012ce20

0012ceb3
0012ceb3 // align 0x10

0012cec0
0012cec0camlLatexscan.fun_5260:
0012cec0lea r10, [rsp-328]
0012cec8cmp r10, [r14+40]
0012ceccjb 0x12cef4
0012cece
0012ceceloc_12cece:
0012cecesub rsp, 8
0012ced2mov [rsp], rbx
0012ced6call camlLexstate.save_arg_1030
0012cedbmov rax, [rax]
0012cedecall camlOutUnicode.parse_402
0012cee3mov rbx, [rsp]
0012cee7mov rbx, [rbx+16]
0012ceebadd rsp, 8
0012ceefjmp 0x12ce20
0012cef4
0012cef4loc_12cef4:
0012cef4push 34
0012cef6call caml_call_realloc_stack
0012cefbpop r10
0012cefdjmp 0x12cece
0012cec0

0012ceff
0012ceff // align 0x10

0012cf00
0012cf00camlLatexscan.fun_5266:
0012cf00lea r10, [rsp-328]
0012cf08cmp r10, [r14+40]
0012cf0cjb 0x12cf34
0012cf0e
0012cf0eloc_12cf0e:
0012cf0esub rsp, 8
0012cf12mov [rsp], rbx
0012cf16call camlLexstate.save_arg_1030
0012cf1bmov rax, [rax]
0012cf1ecall camlOutUnicode.parse_402
0012cf23mov rbx, [rsp]
0012cf27mov rbx, [rbx+16]
0012cf2badd rsp, 8
0012cf2fjmp 0x12cd10
0012cf34
0012cf34loc_12cf34:
0012cf34push 34
0012cf36call caml_call_realloc_stack
0012cf3bpop r10
0012cf3djmp 0x12cf0e
0012cf00

0012cf3f
0012cf3f // align 0x10

0012cf40
0012cf40camlLatexscan.fun_5272:
0012cf40lea r10, [rsp-336]
0012cf48cmp r10, [r14+40]
0012cf4cjb 0x12cfa7
0012cf4e
0012cf4eloc_12cf4e:
0012cf4esub rsp, 16
0012cf52mov [rsp], rax
0012cf56call camlLexstate.save_arg_1030
0012cf5bmov rbx, rax
0012cf5emov eax, 1
0012cf63call camlSubst.do_do_subst_this_697
0012cf68call camlOutUnicode.parse_402
0012cf6dmov [rsp+8], rax
0012cf72mov rax, [rsp]
0012cf76call camlLexstate.save_arg_1030
0012cf7bmov rbx, rax
0012cf7emov eax, 1
0012cf83call camlSubst.do_do_subst_this_697
0012cf88mov rdi, rax
0012cf8blea rax, [rip+0x1c6da6]
0012cf92mov rax, [rax+832]
0012cf99mov rbx, [rsp+8]
0012cf9eadd rsp, 16
0012cfa2jmp 0x1e8060
0012cfa7
0012cfa7loc_12cfa7:
0012cfa7push 35
0012cfa9call caml_call_realloc_stack
0012cfaepop r10
0012cfb0jmp 0x12cf4e
0012cf40

0012cfb2
0012cfb2 // align 0x10

0012cfc0
0012cfc0camlLatexscan.fun_5277:
0012cfc0lea r10, [rsp-336]
0012cfc8cmp r10, [r14+40]
0012cfccjb 0x12d03d
0012cfce
0012cfceloc_12cfce:
0012cfcesub rsp, 16
0012cfd2mov [rsp+8], rbx
0012cfd7call camlLexstate.save_arg_1030
0012cfdcmov [rsp], rax
0012cfe0mov rax, [rsp+8]
0012cfe5mov rbx, [rax+16]
0012cfe9mov eax, 1
0012cfeecall camlLatexscan.top_open_group_1047
0012cff3mov rax, [rsp+8]
0012cff8mov rax, [rax+32]
0012cffcmov rbx, [rax+48]
0012d000mov eax, 1
0012d005mov rdi, [rbx]
0012d008call rdi
0012d00amov rax, [rsp+8]
0012d00fmov rax, [rax+32]
0012d013mov rbx, [rax+352]
0012d01amov rax, [rsp]
0012d01emov rax, [rax]
0012d021mov rdi, [rbx]
0012d024call rdi
0012d026mov rax, [rsp+8]
0012d02bmov rbx, [rax+24]
0012d02fmov eax, 1
0012d034add rsp, 16
0012d038jmp 0x124110
0012d03d
0012d03dloc_12d03d:
0012d03dpush 35
0012d03fcall caml_call_realloc_stack
0012d044pop r10
0012d046jmp 0x12cfce
0012cfc0

0012d048
0012d048 // align 0x10

0012d050
0012d050camlLatexscan.fun_5285:
0012d050lea r10, [rsp-344]
0012d058cmp r10, [r14+40]
0012d05cjb 0x12d0f0
0012d062
0012d062loc_12d062:
0012d062sub rsp, 24
0012d066mov [rsp], rax
0012d06amov [rsp+16], rbx
0012d06fmov rbx, [rbx+16]
0012d073mov eax, 1
0012d078call camlLatexscan.top_open_group_1047
0012d07dmov rax, [rsp+16]
0012d082mov rax, [rax+40]
0012d086mov rbx, [rax+48]
0012d08amov eax, 1
0012d08fmov rdi, [rbx]
0012d092call rdi
0012d094mov rax, [rsp+16]
0012d099mov rax, [rax+32]
0012d09dmov [rsp+8], rax
0012d0a2mov rax, [rsp]
0012d0a6call camlLexstate.save_arg_1030
0012d0abmov rbx, rax
0012d0aemov rax, [rsp+8]
0012d0b3mov rdi, [rax+16]
0012d0b7mov rax, [rdi+16]
0012d0bbmov rdi, [rdi+24]
0012d0bfcall camlLatexscan.do_get_prim_onarg_1872
0012d0c4mov rbx, [rsp+16]
0012d0c9mov rbx, [rbx+40]
0012d0cdmov rbx, [rbx+352]
0012d0d4mov rdi, [rbx]
0012d0d7call rdi
0012d0d9mov rax, [rsp+16]
0012d0demov rbx, [rax+24]
0012d0e2mov eax, 1
0012d0e7add rsp, 24
0012d0ebjmp 0x124110
0012d0f0
0012d0f0loc_12d0f0:
0012d0f0push 36
0012d0f2call caml_call_realloc_stack
0012d0f7pop r10
0012d0f9jmp 0x12d062
0012d050

0012d0fe
0012d0fe // align 0x10

0012d100
0012d100camlLatexscan.fun_5303:
0012d100lea r10, [rsp-336]
0012d108cmp r10, [r14+40]
0012d10cjb 0x12d18a
0012d10e
0012d10eloc_12d10e:
0012d10esub rsp, 16
0012d112mov [rsp+8], rbx
0012d117cmp r15, [r14]
0012d11ajbe 0x12d183
0012d11c
0012d11cloc_12d11c:
0012d11cmov rbx, [rbx+16]
0012d120mov [rsp], rbx
0012d124call camlLexstate.save_arg_1030
0012d129mov rbx, rax
0012d12cmov rax, [rsp]
0012d130mov rdi, [rax+16]
0012d134mov rax, [rdi+16]
0012d138mov rdi, [rdi+24]
0012d13ccall camlLatexscan.do_get_prim_onarg_1872
0012d141call camlMyLexing.from_string_309
0012d146mov rbx, [rsp+8]
0012d14bmov rbx, [rbx+24]
0012d14fmov rbx, [rbx+352]
0012d156mov [rsp], rbx
0012d15alea rbx, [rip+0x1edfef]
0012d161mov rdi, [rbx+264]
0012d168add rdi, 24
0012d16cmov ebx, 269
0012d171call Save..ocaml_lex_tagout_rec
0012d176mov rbx, [rsp]
0012d17amov rdi, [rbx]
0012d17dadd rsp, 16
0012d181jmp rdi
0012d183
0012d183loc_12d183:
0012d183call caml_call_gc
0012d188jmp 0x12d11c
0012d18a
0012d18aloc_12d18a:
0012d18apush 35
0012d18ccall caml_call_realloc_stack
0012d191pop r10
0012d193jmp 0x12d10e
0012d100

0012d198
0012d198 // align 0x10

0012d1a0
0012d1a0camlLatexscan.fun_5319:
0012d1a0lea r10, [rsp-328]
0012d1a8cmp r10, [r14+40]
0012d1acjb 0x12d1ec
0012d1ae
0012d1aeloc_12d1ae:
0012d1aesub rsp, 8
0012d1b2mov [rsp], rbx
0012d1b6cmp r15, [r14]
0012d1b9jbe 0x12d1e5
0012d1bb
0012d1bbloc_12d1bb:
0012d1bbcall camlLexstate.save_arg_1030
0012d1c0mov rbx, rax
0012d1c3mov eax, 1
0012d1c8call camlSubst.do_do_subst_this_697
0012d1cdmov rbx, [rsp]
0012d1d1mov rbx, [rbx+16]
0012d1d5mov rbx, [rbx+352]
0012d1dcmov rdi, [rbx]
0012d1dfadd rsp, 8
0012d1e3jmp rdi
0012d1e5
0012d1e5loc_12d1e5:
0012d1e5call caml_call_gc
0012d1eajmp 0x12d1bb
0012d1ec
0012d1ecloc_12d1ec:
0012d1ecpush 34
0012d1eecall caml_call_realloc_stack
0012d1f3pop r10
0012d1f5jmp 0x12d1ae
0012d1a0

0012d1f7
0012d1f7 // align 0x10

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