Similarity

0012af50
0012af50camlLatexscan.do_def_2066:
0012af50lea r10, [rsp-384]
0012af58cmp r10, [r14+40]
0012af5cjb 0x12b1a4
0012af62
0012af62loc_12af62:
0012af62sub rsp, 64
0012af66mov [rsp+56], rax
0012af6bmov [rsp+24], rbx
0012af70mov [rsp+8], rdi
0012af75mov [rsp+48], rsi
0012af7alea rax, [rip+0x1f65bf]
0012af81mov rbx, [rax+80]
0012af85mov [rbx], 3
0012af8cmov rax, [rax+64]
0012af90call camlDoOut.reset_705
0012af95mov rax, [rsp+48]
0012af9amov rbx, [rax+40]
0012af9emov rax, [rsp+8]
0012afa3call camlLatexscan.get_csname_1908
0012afa8mov [rsp+16], rax
0012afadlea rax, [rip+0x1f019c]
0012afb4mov rdi, [rax+384]
0012afbbadd rdi, 24
0012afbfmov ebx, 23
0012afc4mov rax, [rsp+8]
0012afc9call Save..ocaml_lex_skip_blanks_rec
0012afcelea rax, [rip+0x1eb9cb]
0012afd5mov rax, [rax+728]
0012afdcmov rax, [rax]
0012afdftest al, 1
0012afe1je 0x12b024
0012afe3lea rax, [rip+0x1f0166]
0012afeamov rdi, [rax+248]
0012aff1add rdi, 24
0012aff5mov ebx, 249
0012affamov rax, [rsp+8]
0012afffcall Save..ocaml_lex_defargs_rec
0012b004mov [rsp], rax
0012b008mov rax, [rsp+8]
0012b00dcall camlLexstate.save_body_1031
0012b012mov rax, [rax]
0012b015mov rbx, [rsp]
0012b019mov [rsp+8], rbx
0012b01emov [rsp], rax
0012b022jmp 0x12b093
0012b024
0012b024loc_12b024:
0012b024lea rax, [rip+0x1f0125]
0012b02bmov rdi, [rax+256]
0012b032add rdi, 24
0012b036mov ebx, 267
0012b03bmov rax, [rsp+8]
0012b040call Save..ocaml_lex_get_defargs_rec
0012b045call camlSubst.subst_this_796
0012b04acall camlMyLexing.from_string_309
0012b04flea rbx, [rip+0x1f00fa]
0012b056mov rdi, [rbx+248]
0012b05dadd rdi, 24
0012b061mov ebx, 249
0012b066call Save..ocaml_lex_defargs_rec
0012b06bmov [rsp], rax
0012b06fmov rax, [rsp+8]
0012b074call camlLexstate.save_body_1031
0012b079mov rbx, rax
0012b07cmov eax, 1
0012b081call camlSubst.do_do_subst_this_list_777
0012b086mov rbx, [rsp]
0012b08amov [rsp+8], rbx
0012b08fmov [rsp], rax
0012b093
0012b093loc_12b093:
0012b093lea rax, [rip+0x1f64a6]
0012b09amov rbx, [rax+80]
0012b09emov [rbx], 1
0012b0a5mov rax, [rax+64]
0012b0a9call camlDoOut.to_string_830
0012b0aemov [rsp+32], rax
0012b0b3mov eax, 1
0012b0b8call camlLatexscan.echo_toimage_802
0012b0bdcmp rax, 1
0012b0c1jne 0x12b0e8
0012b0c3mov rax, [rsp+56]
0012b0c8cmp rax, 1
0012b0ccje 0x12b12a
0012b0celea rax, [rip+0x1eb8cb]
0012b0d5mov rax, [rax+728]
0012b0dcmov rax, [rax]
0012b0dftest al, 1
0012b0e1jne 0x12b0e8
0012b0e3jmp 0x12b12a
0012b0e5
0012b0e5 0f 1f 00 ...
0012b0e8
0012b0e8loc_12b0e8:
0012b0e8mov rax, [rsp+48]
0012b0edmov rax, [rax+48]
0012b0f1mov rax, [rax+32]
0012b0f5mov [rsp+40], rax
0012b0famov rax, [rsp+24]
0012b0ffmov rbx, [rsp+32]
0012b104call camlStdlib.$5e_139
0012b109mov rbx, [rsp+40]
0012b10emov rdi, [rbx]
0012b111call rdi
0012b113mov rax, [rsp+48]
0012b118mov rax, [rax+48]
0012b11cmov rbx, [rax+24]
0012b120mov eax, 21
0012b125mov rdi, [rbx]
0012b128call rdi
0012b12a
0012b12aloc_12b12a:
0012b12amov rax, [rsp+56]
0012b12fcmp rax, 1
0012b133je 0x12b148
0012b135lea rax, [rip+0x1e982c]
0012b13cmov rsi, [rax+128]
0012b143jmp 0x12b153
0012b145
0012b145 0f 1f 00 ...
0012b148
0012b148loc_12b148:
0012b148lea rax, [rip+0x1e9819]
0012b14fmov rsi, [rax+120]
0012b153
0012b153loc_12b153:
0012b153sub r15, 40
0012b157cmp r15, [r14]
0012b15ajb 0x12b19d
0012b15c
0012b15cloc_12b15c:
0012b15clea rdi, [r15+8]
0012b160add rdi, 24
0012b164mov [rdi-8], 1024
0012b16cmov rax, [rsp]
0012b170mov [rdi], rax
0012b173lea rbx, [rdi-24]
0012b177mov [rbx-8], 2048
0012b17fmov [rbx], 1
0012b186mov rax, [rsp+8]
0012b18bmov [rbx+8], rax
0012b18fmov rax, [rsp+16]
0012b194add rsp, 64
0012b198jmp 0xf7370
0012b19d
0012b19dloc_12b19d:
0012b19dcall caml_call_gc
0012b1a2jmp 0x12b15c
0012b1a4
0012b1a4loc_12b1a4:
0012b1a4push 41
0012b1a6call caml_call_realloc_stack
0012b1abpop r10
0012b1adjmp 0x12af62
0012af50

0012b1b2
0012b1b2 // align 0x10

0012b1c0
0012b1c0camlLatexscan.fun_4731:
0012b1c0mov rdx, rax
0012b1c3mov rcx, rbx
0012b1c6mov rax, [rdi+24]
0012b1camov rsi, [rdi+32]
0012b1cemov rbx, rdx
0012b1d1mov rdi, rcx
0012b1d4jmp 0x12af50
0012b1c0

0012b1d9
0012b1d9 // align 0x10

0012b1e0
0012b1e0camlLatexscan.fun_4743:
0012b1e0mov rdx, rax
0012b1e3mov rcx, rbx
0012b1e6mov rax, [rdi+24]
0012b1eamov rsi, [rdi+32]
0012b1eemov rbx, rdx
0012b1f1mov rdi, rcx
0012b1f4jmp 0x12af50
0012b1e0

0012b1f9
0012b1f9 // align 0x10

0012b200
0012b200camlLatexscan.caml_print_2079:
0012b200sub r15, 56
0012b204cmp r15, [r14]
0012b207jb 0x12b24d
0012b209
0012b209loc_12b209:
0012b209lea rdi, [r15+8]
0012b20dadd rdi, 16
0012b211mov [rdi-8], 4343
0012b219lea rsi, [rip+64]
0012b220mov [rdi], rsi
0012b223mov rsi, 0x100000000000005
0012b22dmov [rdi+8], rsi
0012b231mov [rdi+16], rax
0012b235mov rax, [rbx+16]
0012b239mov [rdi+24], rax
0012b23dlea rax, [rdi-16]
0012b241mov [rax-8], 1026
0012b249mov [rax], rdi
0012b24cret
0012b24d
0012b24dloc_12b24d:
0012b24dcall caml_call_gc
0012b252jmp 0x12b209
0012b200

0012b254
0012b254 // align 0x10

0012b260
0012b260camlLatexscan.fun_4756:
0012b260cmp r15, [r14]
0012b263jbe 0x12b27c
0012b265
0012b265loc_12b265:
0012b265mov rax, [rbx+24]
0012b269mov rdi, [rax+352]
0012b270mov rax, [rbx+16]
0012b274mov rsi, [rdi]
0012b277mov rbx, rdi
0012b27ajmp rsi
0012b27c
0012b27cloc_12b27c:
0012b27ccall caml_call_gc
0012b281jmp 0x12b265
0012b260

0012b283
0012b283 // align 0x10

0012b290
0012b290camlLatexscan.fun_4759:
0012b290lea r10, [rsp-352]
0012b298cmp r10, [r14+40]
0012b29cjb 0x12b337
0012b2a2
0012b2a2loc_12b2a2:
0012b2a2sub rsp, 32
0012b2a6mov [rsp], rax
0012b2aamov [rsp+16], rbx
0012b2afmov rbx, [rbx+24]
0012b2b3call camlLatexscan.get_csname_1908
0012b2b8mov [rsp+24], rax
0012b2bdlea rax, [rip+0x1efe8c]
0012b2c4mov rdi, [rax+384]
0012b2cbadd rdi, 24
0012b2cfmov ebx, 23
0012b2d4mov rax, [rsp]
0012b2d8call Save..ocaml_lex_skip_blanks_rec
0012b2ddmov rax, [rsp+16]
0012b2e2mov rax, [rax+16]
0012b2e6mov [rsp+8], rax
0012b2ebmov rax, [rsp]
0012b2efcall camlLexstate.save_arg_1030
0012b2f4mov rbx, rax
0012b2f7mov rax, [rsp+8]
0012b2fcmov rdi, [rax+16]
0012b300mov rax, [rdi+16]
0012b304mov rdi, [rdi+24]
0012b308call camlLatexscan.do_get_prim_onarg_1872
0012b30dmov rbx, [rsp+16]
0012b312mov rbx, [rbx+32]
0012b316call camlLatexscan.caml_print_2079
0012b31bmov rdi, rax
0012b31elea rax, [rip+0x1eb67b]
0012b325mov rbx, [rax+56]
0012b329mov rax, [rsp+24]
0012b32eadd rsp, 32
0012b332jmp 0x17af20
0012b337
0012b337loc_12b337:
0012b337push 37
0012b339call caml_call_realloc_stack
0012b33epop r10
0012b340jmp 0x12b2a2
0012b290

0012b345
0012b345 // align 0x10

0012b350
0012b350camlLatexscan.fun_4779:
0012b350lea r10, [rsp-320]
0012b358cmp r10, [r14+40]
0012b35cjb 0x12b36c
0012b35e
0012b35eloc_12b35e:
0012b35emov rbx, [rbx+16]
0012b362call camlLatexscan.get_csname_1908
0012b367jmp 0x17b0c0
0012b36c
0012b36cloc_12b36c:
0012b36cpush 33
0012b36ecall caml_call_realloc_stack
0012b373pop r10
0012b375jmp 0x12b35e
0012b350

0012b377
0012b377 // align 0x10

0012b380
0012b380camlLatexscan.do_let_2088:
0012b380lea r10, [rsp-384]
0012b388cmp r10, [r14+40]
0012b38cjb 0x12b595
0012b392
0012b392loc_12b392:
0012b392sub rsp, 48
0012b396mov [rsp+40], rax
0012b39bmov [rsp+16], rbx
0012b3a0mov [rsp], rdi
0012b3a4mov [rsp+32], rsi
0012b3a9lea rax, [rip+0x1f6190]
0012b3b0mov rbx, [rax+80]
0012b3b4mov [rbx], 3
0012b3bbmov rax, [rax+64]
0012b3bfcall camlDoOut.reset_705
0012b3c4mov rax, [rsp+32]
0012b3c9mov rbx, [rax+40]
0012b3cdmov rax, [rsp]
0012b3d1call camlLatexscan.get_csname_1908
0012b3d6mov [rsp+8], rax
0012b3dblea rax, [rip+0x1efd6e]
0012b3e2mov rdi, [rax+192]
0012b3e9add rdi, 24
0012b3edmov ebx, 31
0012b3f2mov rax, [rsp]
0012b3f6call Save..ocaml_lex_skip_equal_rec
0012b3fbmov rax, [rsp+32]
0012b400mov rbx, [rax+40]
0012b404mov rax, [rsp]
0012b408call camlLatexscan.get_csname_1908
0012b40dmov [rsp], rax
0012b411lea rax, [rip+0x1f6128]
0012b418mov rbx, [rax+80]
0012b41cmov [rbx], 1
0012b423mov rax, [rax+64]
0012b427call camlDoOut.to_string_830
0012b42cmov [rsp+24], rax
0012b431lea r11, [rip+216]
0012b438push r11
0012b43apush [r14+48]
0012b43emov [r14+48], rsp
0012b442mov rax, [rsp+16]
0012b447call camlLatexmacros.find_fail_942
0012b44cmov rbx, [rsp+56]
0012b451cmp rbx, 1
0012b455je 0x12b468
0012b457lea rbx, [rip+0x1e950a]
0012b45emov rsi, [rbx+128]
0012b465jmp 0x12b473
0012b467nop
0012b468
0012b468loc_12b468:
0012b468lea rbx, [rip+0x1e94f9]
0012b46fmov rsi, [rbx+120]
0012b473
0012b473loc_12b473:
0012b473mov rdi, [rax+8]
0012b477mov rbx, [rax]
0012b47amov rax, [rsp+24]
0012b47fcall caml_apply3
0012b484mov eax, 1
0012b489call camlLatexscan.echo_toimage_802
0012b48ecmp rax, 1
0012b492jne 0x12b4bc
0012b494mov rax, [rsp+56]
0012b499cmp rax, 1
0012b49dje 0x12b4b4
0012b49flea rax, [rip+0x1eb4fa]
0012b4a6mov rax, [rax+728]
0012b4admov rax, [rax]
0012b4b0test al, 1
0012b4b2jne 0x12b4bc
0012b4b4
0012b4b4loc_12b4b4:
0012b4b4mov eax, 1
0012b4b9jmp 0x12b503
0012b4bbnop
0012b4bc
0012b4bcloc_12b4bc:
0012b4bcmov rax, [rsp+48]
0012b4c1mov rax, [rax+48]
0012b4c5mov rbx, [rax+32]
0012b4c9mov rdi, [rbx]
0012b4ccmov rax, [rsp+32]
0012b4d1call rdi
0012b4d3mov rax, [rsp+48]
0012b4d8mov rax, [rax+48]
0012b4dcmov rbx, [rax+32]
0012b4e0mov rdi, [rbx]
0012b4e3mov rax, [rsp+40]
0012b4e8call rdi
0012b4eamov rax, [rsp+48]
0012b4efmov rax, [rax+48]
0012b4f3mov rbx, [rax+32]
0012b4f7lea rax, [rip+0x16e67a]
0012b4femov rdi, [rbx]
0012b501call rdi
0012b503
0012b503loc_12b503:
0012b503pop [r14+48]
0012b507add rsp, 8
0012b50bjmp 0x12b590
0012b510lea rbx, [rip+0x1e9451]
0012b517mov rbx, [rbx]
0012b51acmp rax, rbx
0012b51djne 0x12b580
0012b51flea rbx, [rip+0x16e172]
0012b526mov rax, [rsp]
0012b52acall camlStdlib.$5e_139
0012b52fmov rbx, rax
0012b532lea rax, [rip+0x16e177]
0012b539call camlStdlib.$5e_139
0012b53emov rbx, rax
0012b541mov rax, [rsp+16]
0012b546call camlStdlib.$5e_139
0012b54bmov rbx, rax
0012b54elea rax, [rip+0x16e1bb]
0012b555call camlStdlib.$5e_139
0012b55amov rbx, rax
0012b55dmov rax, [rsp+8]
0012b562call camlStdlib.$5e_139
0012b567mov rbx, rax
0012b56alea rax, [rip+0x16e1af]
0012b571call camlStdlib.$5e_139
0012b576add rsp, 48
0012b57ajmp 0x1919c0
0012b57fnop
0012b580
0012b580loc_12b580:
0012b580mov rsp, [r14+48]
0012b584pop [r14+48]
0012b588pop r11
0012b58ajmp r11
0012b58dnop [rax]
0012b590
0012b590loc_12b590:
0012b590add rsp, 48
0012b594ret
0012b595
0012b595loc_12b595:
0012b595push 41
0012b597call caml_call_realloc_stack
0012b59cpop r10
0012b59ejmp 0x12b392
0012b380

0012b5a3
0012b5a3 // align 0x10

0012b5b0
0012b5b0camlLatexscan.fun_4799:
0012b5b0mov rdx, rax
0012b5b3mov rcx, rbx
0012b5b6mov rax, [rdi+24]
0012b5bamov rsi, [rdi+32]
0012b5bemov rbx, rdx
0012b5c1mov rdi, rcx
0012b5c4jmp 0x12b380
0012b5b0

0012b5c9
0012b5c9 // align 0x10

0012b5d0
0012b5d0camlLatexscan.do_global_2098:
0012b5d0lea r10, [rsp-344]
0012b5d8cmp r10, [r14+40]
0012b5dcjb 0x12b69c
0012b5e2
0012b5e2loc_12b5e2:
0012b5e2sub rsp, 24
0012b5e6mov [rsp], rax
0012b5eamov rax, rbx
0012b5edmov [rsp+16], rax
0012b5f2mov [rsp+8], rdi
0012b5f7call camlLexstate.save_arg_1030
0012b5fcmov rbx, rax
0012b5ffmov eax, 1
0012b604call camlSubst.do_do_subst_this_697
0012b609mov rbx, rax
0012b60cmov rax, [rbx-8]
0012b610shr rax, 10
0012b614cmp rax, 2
0012b618jge 0x12b68c
0012b61amov rax, [rbx]
0012b61dmov rdi, 0x30000006665645c
0012b627cmp rax, rdi
0012b62ajne 0x12b654
0012b62cmov rax, [rsp]
0012b630call camlStdlib.$5e_139
0012b635mov rbx, rax
0012b638mov rax, [rsp+8]
0012b63dmov rsi, [rax+24]
0012b641mov eax, 3
0012b646mov rdi, [rsp+16]
0012b64badd rsp, 24
0012b64fjmp 0x12af50
0012b654
0012b654loc_12b654:
0012b654mov rdi, 0x300000074656c5c
0012b65ecmp rax, rdi
0012b661jne 0x12b68c
0012b663mov rax, [rsp]
0012b667call camlStdlib.$5e_139
0012b66cmov rbx, rax
0012b66fmov rax, [rsp+8]
0012b674mov rsi, [rax+32]
0012b678mov eax, 3
0012b67dmov rdi, [rsp+16]
0012b682add rsp, 24
0012b686jmp 0x12b380
0012b68b
0012b68b 90 .
0012b68c
0012b68cloc_12b68c:
0012b68clea rax, [rip+0x16dfdd]
0012b693add rsp, 24
0012b697jmp 0x1919c0
0012b69c
0012b69cloc_12b69c:
0012b69cpush 36
0012b69ecall caml_call_realloc_stack
0012b6a3pop r10
0012b6a5jmp 0x12b5e2
0012b5d0

0012b6aa
0012b6aa // align 0x10

0012b6b0
0012b6b0camlLatexscan.fun_4819:
0012b6b0lea r10, [rsp-328]
0012b6b8cmp r10, [r14+40]
0012b6bcjb 0x12b6fc
0012b6be
0012b6beloc_12b6be:
0012b6besub rsp, 8
0012b6c2mov [rsp], rbx
0012b6c6cmp r15, [r14]
0012b6c9jbe 0x12b6f5
0012b6cb
0012b6cbloc_12b6cb:
0012b6cbcall camlLexstate.save_arg_1030
0012b6d0mov rbx, rax
0012b6d3mov eax, 1
0012b6d8call camlSubst.do_do_subst_this_697
0012b6ddmov rbx, [rsp]
0012b6e1mov rbx, [rbx+16]
0012b6e5mov rbx, [rbx+352]
0012b6ecmov rdi, [rbx]
0012b6efadd rsp, 8
0012b6f3jmp rdi
0012b6f5
0012b6f5loc_12b6f5:
0012b6f5call caml_call_gc
0012b6fajmp 0x12b6cb
0012b6fc
0012b6fcloc_12b6fc:
0012b6fcpush 34
0012b6fecall caml_call_realloc_stack
0012b703pop r10
0012b705jmp 0x12b6be
0012b6b0

0012b707
0012b707 // align 0x10

0012b710
0012b710camlLatexscan.fun_4825:
0012b710lea r10, [rsp-352]
0012b718cmp r10, [r14+40]
0012b71cjb 0x12b78a
0012b71e
0012b71eloc_12b71e:
0012b71esub rsp, 32
0012b722mov [rsp+8], rax
0012b727mov [rsp], rbx
0012b72bcall camlLexstate.save_arg_1030
0012b730mov [rsp+24], rax
0012b735mov rax, [rsp+8]
0012b73acall camlLexstate.save_arg_1030
0012b73fmov rsi, rax
0012b742lea rax, [rip+0x1eb257]
0012b749mov rax, [rax+728]
0012b750mov rdi, [rax]
0012b753mov [rsp+16], rdi
0012b758mov rax, [rsp]
0012b75cmov rax, [rax+16]
0012b760mov rbx, [rsp+8]
0012b765call camlLexstate.scan_this_may_cont_1215
0012b76amov rax, [rsp]
0012b76emov rax, [rax+16]
0012b772mov rbx, [rsp+8]
0012b777mov rdi, [rsp+16]
0012b77cmov rsi, [rsp+24]
0012b781add rsp, 32
0012b785jmp 0x17f580
0012b78a
0012b78aloc_12b78a:
0012b78apush 37
0012b78ccall caml_call_realloc_stack
0012b791pop r10
0012b793jmp 0x12b71e
0012b710

0012b795
0012b795 // align 0x10

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