Similarity

0012b7a0
0012b7a0camlLatexscan.fun_4829:
0012b7a0lea r10, [rsp-344]
0012b7a8cmp r10, [r14+40]
0012b7acjb 0x12b84c
0012b7b2
0012b7b2loc_12b7b2:
0012b7b2sub rsp, 24
0012b7b6mov [rsp+16], rax
0012b7bbmov [rsp], rbx
0012b7bfmov rdi, [rbx+16]
0012b7c3add rdi, 24
0012b7c7mov ebx, 343
0012b7cccall Latexscan..ocaml_lex_skip_blanks_rec
0012b7d1lea rax, [rip+0x1ef978]
0012b7d8mov rdi, [rax+160]
0012b7dfadd rdi, 24
0012b7e3mov ebx, 93
0012b7e8mov rax, [rsp+16]
0012b7edcall Save..ocaml_lex_incsname_rec
0012b7f2mov rbx, [rsp]
0012b7f6mov rbx, [rbx+40]
0012b7facall camlLatexscan.get_prim_1896
0012b7ffmov rbx, rax
0012b802lea rax, [rip+0x16ddef]
0012b809call camlStdlib.$5e_139
0012b80emov [rsp+8], rax
0012b813mov rax, [rsp]
0012b817mov rbx, [rax+24]
0012b81bmov rax, [rsp+16]
0012b820call camlLatexscan.check_alltt_skip_1797
0012b825mov rax, [rsp]
0012b829mov rdi, [rax+32]
0012b82dmov rbx, [rdi+40]
0012b831mov rax, [rdi+32]
0012b835mov rdx, [rdi+24]
0012b839mov rdi, [rsp+8]
0012b83emov rsi, [rsp+16]
0012b843add rsp, 24
0012b847jmp 0x1268e0
0012b84c
0012b84cloc_12b84c:
0012b84cpush 36
0012b84ecall caml_call_realloc_stack
0012b853pop r10
0012b855jmp 0x12b7b2
0012b7a0

0012b85a
0012b85a // align 0x10

0012b860
0012b860camlLatexscan.fun_4851:
0012b860lea r10, [rsp-328]
0012b868cmp r10, [r14+40]
0012b86cjb 0x12b8ac
0012b86e
0012b86eloc_12b86e:
0012b86esub rsp, 8
0012b872mov [rsp], rbx
0012b876cmp r15, [r14]
0012b879jbe 0x12b8a5
0012b87b
0012b87bloc_12b87b:
0012b87bcall camlLexstate.save_arg_1030
0012b880mov rbx, rax
0012b883mov eax, 1
0012b888call camlSubst.do_do_subst_this_697
0012b88dmov rbx, [rsp]
0012b891mov rbx, [rbx+16]
0012b895mov rbx, [rbx+352]
0012b89cmov rdi, [rbx]
0012b89fadd rsp, 8
0012b8a3jmp rdi
0012b8a5
0012b8a5loc_12b8a5:
0012b8a5call caml_call_gc
0012b8aajmp 0x12b87b
0012b8ac
0012b8acloc_12b8ac:
0012b8acpush 34
0012b8aecall caml_call_realloc_stack
0012b8b3pop r10
0012b8b5jmp 0x12b86e
0012b860

0012b8b7
0012b8b7 // align 0x10

0012b8c0
0012b8c0camlLatexscan.get_num_arg_2113:
0012b8c0lea r10, [rsp-328]
0012b8c8cmp r10, [r14+40]
0012b8ccjb 0x12b915
0012b8ce
0012b8celoc_12b8ce:
0012b8cesub rsp, 8
0012b8d2cmp r15, [r14]
0012b8d5jbe 0x12b90e
0012b8d7
0012b8d7loc_12b8d7:
0012b8d7lea rbx, [rip+0x16bbfa]
0012b8demov [rsp], rbx
0012b8e2lea rbx, [rip+0x1ef867]
0012b8e9mov rdi, [rbx+184]
0012b8f0add rdi, 24
0012b8f4mov ebx, 143
0012b8f9call Save..ocaml_lex_num_arg_rec
0012b8femov rbx, rax
0012b901mov rdi, [rbx]
0012b904mov rax, [rsp]
0012b908add rsp, 8
0012b90cjmp rdi
0012b90e
0012b90eloc_12b90e:
0012b90ecall caml_call_gc
0012b913jmp 0x12b8d7
0012b915
0012b915loc_12b915:
0012b915push 34
0012b917call caml_call_realloc_stack
0012b91cpop r10
0012b91ejmp 0x12b8ce
0012b8c0

0012b920
0012b920camlLatexscan.fun_4858:
0012b920sub r15, 24
0012b924cmp r15, [r14]
0012b927jb 0x12b960
0012b929
0012b929loc_12b929:
0012b929lea rbx, [r15+8]
0012b92dmov [rbx-8], 2048
0012b935mov [rbx], rax
0012b938lea rax, [rip+0x1eb061]
0012b93fmov rax, [rax+728]
0012b946mov rax, [rax]
0012b949mov [rbx+8], rax
0012b94dlea rax, [rip+0x1c9f0c]
0012b954mov rax, [rax+272]
0012b95bjmp 0x165770
0012b960
0012b960loc_12b960:
0012b960call caml_call_gc
0012b965jmp 0x12b929
0012b920

0012b967
0012b967 // align 0x10

0012b970
0012b970camlLatexscan.top_plain_2117:
0012b970lea r10, [rsp-336]
0012b978cmp r10, [r14+40]
0012b97cjb 0x12b9f7
0012b97e
0012b97eloc_12b97e:
0012b97esub rsp, 16
0012b982mov [rsp], rax
0012b986mov [rsp+8], rbx
0012b98bcall camlLexstate.is_plain_833
0012b990cmp rax, 1
0012b994je 0x12b9a0
0012b996mov eax, 1
0012b99badd rsp, 16
0012b99fret
0012b9a0
0012b9a0loc_12b9a0:
0012b9a0mov rax, [rsp]
0012b9a4call camlLexstate.set_plain_834
0012b9a9sub r15, 32
0012b9adcmp r15, [r14]
0012b9b0jb 0x12b9f0
0012b9b2
0012b9b2loc_12b9b2:
0012b9b2lea rax, [r15+8]
0012b9b6mov [rax-8], 3319
0012b9belea rbx, [rip+75]
0012b9c5mov [rax], rbx
0012b9c8mov rbx, 0x100000000000005
0012b9d2mov [rax+8], rbx
0012b9d6mov rbx, [rsp]
0012b9damov [rax+16], rbx
0012b9demov rbx, [rsp+8]
0012b9e3mov rbx, [rbx+16]
0012b9e7add rsp, 16
0012b9ebjmp 0x122ad0
0012b9f0
0012b9f0loc_12b9f0:
0012b9f0call caml_call_gc
0012b9f5jmp 0x12b9b2
0012b9f7
0012b9f7loc_12b9f7:
0012b9f7push 35
0012b9f9call caml_call_realloc_stack
0012b9fepop r10
0012ba00jmp 0x12b97e
0012b970

0012ba05
0012ba05 // align 0x10

0012ba10
0012ba10camlLatexscan.fun_4871:
0012ba10mov rax, [rbx+16]
0012ba14jmp 0x17cdc0
0012ba10

0012ba19
0012ba19 // align 0x10

0012ba20
0012ba20camlLatexscan.top_unplain_2118:
0012ba20lea r10, [rsp-336]
0012ba28cmp r10, [r14+40]
0012ba2cjb 0x12baa9
0012ba2e
0012ba2eloc_12ba2e:
0012ba2esub rsp, 16
0012ba32mov [rsp], rax
0012ba36mov [rsp+8], rbx
0012ba3bcall camlLexstate.is_plain_833
0012ba40cmp rax, 1
0012ba44je 0x12ba98
0012ba46mov rax, [rsp]
0012ba4acall camlLexstate.unset_plain_835
0012ba4fsub r15, 32
0012ba53cmp r15, [r14]
0012ba56jb 0x12baa2
0012ba58
0012ba58loc_12ba58:
0012ba58lea rax, [r15+8]
0012ba5cmov [rax-8], 3319
0012ba64lea rbx, [rip+85]
0012ba6bmov [rax], rbx
0012ba6emov rbx, 0x100000000000005
0012ba78mov [rax+8], rbx
0012ba7cmov rbx, [rsp]
0012ba80mov [rax+16], rbx
0012ba84mov rbx, [rsp+8]
0012ba89mov rbx, [rbx+16]
0012ba8dadd rsp, 16
0012ba91jmp 0x122ad0
0012ba96
0012ba96 66 90 f.
0012ba98
0012ba98loc_12ba98:
0012ba98mov eax, 1
0012ba9dadd rsp, 16
0012baa1ret
0012baa2
0012baa2loc_12baa2:
0012baa2call caml_call_gc
0012baa7jmp 0x12ba58
0012baa9
0012baa9loc_12baa9:
0012baa9push 35
0012baabcall caml_call_realloc_stack
0012bab0pop r10
0012bab2jmp 0x12ba2e
0012ba20

0012bab7
0012bab7 // align 0x10

0012bac0
0012bac0camlLatexscan.fun_4883:
0012bac0mov rax, [rbx+16]
0012bac4jmp 0x17cd70
0012bac0

0012bac9
0012bac9 // align 0x10

0012bad0
0012bad0camlLatexscan.fun_4888:
0012bad0lea r10, [rsp-344]
0012bad8cmp r10, [r14+40]
0012badcjb 0x12bd7c
0012bae2
0012bae2loc_12bae2:
0012bae2sub rsp, 24
0012bae6mov rdi, rax
0012bae9mov [rsp], rdi
0012baedmov [rsp+8], rbx
0012baf2lea rax, [rip+0x16dac7]
0012baf9mov rbx, rdi
0012bafccall camlLexstate.save_arg_with_delim_1032
0012bb01mov rbx, rax
0012bb04lea rax, [rip+0x1c9d55]
0012bb0bmov rax, [rax+272]
0012bb12call camlGet.do_get_int_873
0012bb17call Stdlib.Char.chr
0012bb1cmov [rsp+16], rax
0012bb21mov rax, [rsp]
0012bb25call camlLatexscan.get_num_arg_2113
0012bb2amov rbx, rax
0012bb2dmov rdi, [rsp+16]
0012bb32cmp rdi, 185
0012bb39jl 0x12bc94
0012bb3fcmp rdi, 247
0012bb46jl 0x12bbf0
0012bb4ccmp rdi, 255
0012bb53jge 0x12bd2a
0012bb59mov rax, rdi
0012bb5cadd rax, -246
0012bb62sar rax, 1
0012bb65lea rdx, [rip+0xfeb48]
0012bb6cmovsxd rax, [rdx+4*rax]
0012bb70add rdx, rax
0012bb73jmp rdx
0012bb75nop [rax]
0012bb78cmp rbx, 23
0012bb7cjl 0x12bb90
0012bb7ecmp rbx, 27
0012bb82jl 0x12bd4c
0012bb88jmp 0x12bd2a
0012bb8dnop [rax]
0012bb90
0012bb90loc_12bb90:
0012bb90cmp rbx, 3
0012bb94je 0x12bd38
0012bb9ajmp 0x12bd2a
0012bb9fnop
0012bba0cmp rbx, 23
0012bba4jl 0x12bbb8
0012bba6cmp rbx, 27
0012bbaajl 0x12bd4c
0012bbb0jmp 0x12bd2a
0012bbb5nop [rax]
0012bbb8
0012bbb8loc_12bbb8:
0012bbb8cmp rbx, 5
0012bbbcje 0x12bd38
0012bbc2jmp 0x12bd2a
0012bbc7nop
0012bbc8cmp rbx, 27
0012bbccjl 0x12bbe0
0012bbcecmp rbx, 29
0012bbd2jl 0x12bd38
0012bbd8jmp 0x12bd2a
0012bbddnop [rax]
0012bbe0
0012bbe0loc_12bbe0:
0012bbe0cmp rbx, 23
0012bbe4jge 0x12bd4c
0012bbeajmp 0x12bd2a
0012bbefnop
0012bbf0
0012bbf0loc_12bbf0:
0012bbf0cmp rdi, 193
0012bbf7jge 0x12bd2a
0012bbfdmov rax, rdi
0012bc00add rax, -184
0012bc06sar rax, 1
0012bc09lea rdx, [rip+0xfeab4]
0012bc10movsxd rax, [rdx+4*rax]
0012bc14add rdx, rax
0012bc17jmp rdx
0012bc19nop [rax]
0012bc1ccmp rbx, 23
0012bc20jl 0x12bc34
0012bc22cmp rbx, 27
0012bc26jl 0x12bd4c
0012bc2cjmp 0x12bd2a
0012bc31nop [rax]
0012bc34
0012bc34loc_12bc34:
0012bc34cmp rbx, 1
0012bc38je 0x12bd38
0012bc3ejmp 0x12bd2a
0012bc43nop
0012bc44cmp rbx, 23
0012bc48jl 0x12bc5c
0012bc4acmp rbx, 27
0012bc4ejl 0x12bd4c
0012bc54jmp 0x12bd2a
0012bc59nop [rax]
0012bc5c
0012bc5cloc_12bc5c:
0012bc5ccmp rbx, 15
0012bc60je 0x12bd38
0012bc66jmp 0x12bd2a
0012bc6bnop
0012bc6ccmp rbx, 23
0012bc70jl 0x12bc84
0012bc72cmp rbx, 27
0012bc76jl 0x12bd4c
0012bc7cjmp 0x12bd2a
0012bc81nop [rax]
0012bc84
0012bc84loc_12bc84:
0012bc84cmp rbx, 17
0012bc88je 0x12bd38
0012bc8ejmp 0x12bd2a
0012bc93nop
0012bc94
0012bc94loc_12bc94:
0012bc94mov rax, rdi
0012bc97add rax, -68
0012bc9bcmp rax, 9
0012bc9fja 0x12bd2a
0012bca5sar rax, 1
0012bca8lea rdx, [rip+0xfea25]
0012bcafmovsxd rax, [rdx+4*rax]
0012bcb3add rdx, rax
0012bcb6jmp rdx
0012bcb8cmp rbx, 25
0012bcbcje 0x12bd38
0012bcbecmp rbx, 27
0012bcc2je 0x12bd4c
0012bcc8jmp 0x12bd2a
0012bccanop
0012bccccmp rbx, 23
0012bcd0jl 0x12bcdc
0012bcd2cmp rbx, 27
0012bcd6jl 0x12bd4c
0012bcd8jmp 0x12bd2a
0012bcdanop
0012bcdc
0012bcdcloc_12bcdc:
0012bcdccmp rbx, 13
0012bce0je 0x12bd38
0012bce2jmp 0x12bd2a
0012bce4cmp rbx, 23
0012bce8jl 0x12bcf4
0012bceacmp rbx, 27
0012bceejl 0x12bd4c
0012bcf0jmp 0x12bd2a
0012bcf2nop
0012bcf4
0012bcf4loc_12bcf4:
0012bcf4cmp rbx, 7
0012bcf8je 0x12bd38
0012bcfajmp 0x12bd2a
0012bcfccmp rbx, 27
0012bd00jl 0x12bd0c
0012bd02cmp rbx, 29
0012bd06je 0x12bd38
0012bd08jmp 0x12bd2a
0012bd0anop
0012bd0c
0012bd0cloc_12bd0c:
0012bd0ccmp rbx, 23
0012bd10jge 0x12bd4c
0012bd12jmp 0x12bd2a
0012bd14cmp rbx, 23
0012bd18jl 0x12bd24
0012bd1acmp rbx, 27
0012bd1ejl 0x12bd4c
0012bd20jmp 0x12bd2a
0012bd22nop
0012bd24
0012bd24loc_12bd24:
0012bd24cmp rbx, 9
0012bd28je 0x12bd38
0012bd2a
0012bd2aloc_12bd2a:
0012bd2alea rax, [rip+0x16d857]
0012bd31call camlMisc.warning_287
0012bd36jmp 0x12bd5d
0012bd38
0012bd38loc_12bd38:
0012bd38mov rax, [rsp+8]
0012bd3dmov rbx, [rax+32]
0012bd41mov rax, rdi
0012bd44call camlLatexscan.top_plain_2117
0012bd49jmp 0x12bd5d
0012bd4bnop
0012bd4c
0012bd4cloc_12bd4c:
0012bd4cmov rax, [rsp+8]
0012bd51mov rbx, [rax+40]
0012bd55mov rax, rdi
0012bd58call camlLatexscan.top_unplain_2118
0012bd5d
0012bd5dloc_12bd5d:
0012bd5dmov rax, [rsp+8]
0012bd62mov rdi, [rax+16]
0012bd66add rdi, 24
0012bd6amov ebx, 1
0012bd6fmov rax, [rsp]
0012bd73add rsp, 24
0012bd77jmp 0x1166c0
0012bd7c
0012bd7cloc_12bd7c:
0012bd7cpush 36
0012bd7ecall caml_call_realloc_stack
0012bd83pop r10
0012bd85jmp 0x12bae2
0012bad0

0012bd8a
0012bd8a // align 0x10

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