Similarity

0012a5f0
0012a5f0camlLatexscan.do_newenvironment_2022:
0012a5f0lea r10, [rsp-384]
0012a5f8cmp r10, [r14+40]
0012a5fcjb 0x12aa58
0012a602
0012a602loc_12a602:
0012a602sub rsp, 64
0012a606mov [rsp+56], rax
0012a60bmov [rsp+8], rbx
0012a610mov [rsp+48], rdi
0012a615lea rax, [rip+0x1f6f24]
0012a61cmov rbx, [rax+80]
0012a620mov [rbx], 3
0012a627mov rax, [rax+64]
0012a62bcall camlDoOut.reset_705
0012a630mov rax, [rsp+48]
0012a635mov rax, [rax+32]
0012a639mov [rsp], rax
0012a63dmov rax, [rsp+8]
0012a642call camlLexstate.save_arg_1030
0012a647mov rbx, rax
0012a64amov rax, [rsp]
0012a64emov rdi, [rax+16]
0012a652mov rax, [rdi+16]
0012a656mov rdi, [rdi+24]
0012a65acall camlLatexscan.do_get_prim_onarg_1872
0012a65fmov [rsp+40], rax
0012a664lea rax, [rip+0x16fce5]
0012a66bmov rbx, [rsp+8]
0012a670call camlLexstate.save_opts_1158
0012a675test al, 1
0012a677jne 0x12a9e8
0012a67dmov rbx, [rax+8]
0012a681test bl, 1
0012a684jne 0x12a9e8
0012a68amov rdi, [rbx+8]
0012a68etest dil, 1
0012a692je 0x12a9e8
0012a698mov rbx, [rbx]
0012a69bmov [rsp+24], rbx
0012a6a0mov rax, [rax]
0012a6a3mov [rsp+16], rax
0012a6a8mov rax, [rsp+8]
0012a6adcall camlLexstate.save_body_1031
0012a6b2mov rbx, rax
0012a6b5mov eax, 1
0012a6bacall camlSubst.do_do_subst_this_list_777
0012a6bfmov [rsp], rax
0012a6c3mov rax, [rsp+8]
0012a6c8call camlLexstate.save_body_1031
0012a6cdmov rbx, rax
0012a6d0mov eax, 1
0012a6d5call camlSubst.do_do_subst_this_list_777
0012a6damov [rsp+32], rax
0012a6dfmov eax, 1
0012a6e4call camlLatexscan.echo_toimage_802
0012a6e9cmp rax, 1
0012a6edje 0x12a73f
0012a6efmov rax, [rsp+48]
0012a6f4mov rax, [rax+40]
0012a6f8mov rax, [rax+32]
0012a6fcmov [rsp+8], rax
0012a701lea rax, [rip+0x1f6e38]
0012a708mov rbx, [rax+80]
0012a70cmov [rbx], 1
0012a713mov rax, [rax+64]
0012a717call camlDoOut.to_string_830
0012a71clea rbx, [rip+0x16f455]
0012a723call camlStdlib.$5e_139
0012a728mov rbx, rax
0012a72bmov rax, [rsp+56]
0012a730call camlStdlib.$5e_139
0012a735mov rbx, [rsp+8]
0012a73amov rdi, [rbx]
0012a73dcall rdi
0012a73f
0012a73floc_12a73f:
0012a73flea rsi, [rip+0x16f232]
0012a746mov r12, [rsp+56]
0012a74bmov rdi, r12
0012a74emov rbx, rsp
0012a751mov rsp, [r14+64]
0012a755call caml_string_equal
0012a75amov rsp, rbx
0012a75dcmp rax, 1
0012a761jne 0x12a7f8
0012a767lea rsi, [rip+0x16f1ea]
0012a76emov rdi, r12
0012a771mov rbx, rsp
0012a774mov rsp, [r14+64]
0012a778call caml_string_equal
0012a77dmov rsp, rbx
0012a780cmp rax, 1
0012a784jne 0x12a7f8
0012a786lea rax, [rip+0x1ffb33]
0012a78dmov rbx, [rsp+40]
0012a792call camlStdlib.$5e_139
0012a797call camlLatexmacros.exists_938
0012a79ccmp rax, 1
0012a7a0je 0x12a7c2
0012a7a2lea rax, [rip+0x1ffb07]
0012a7a9mov rbx, [rsp+40]
0012a7aecall camlStdlib.$5e_139
0012a7b3call camlLatexmacros.exists_938
0012a7b8cmp rax, 1
0012a7bcjne 0x12a868
0012a7c2
0012a7c2loc_12a7c2:
0012a7c2lea rax, [rip+0x16f157]
0012a7c9mov rbx, [rsp+56]
0012a7cecall camlStdlib.$5e_139
0012a7d3mov rbx, rax
0012a7d6mov rax, [rsp+40]
0012a7dbcall camlStdlib.$5e_139
0012a7e0mov rbx, rax
0012a7e3lea rax, [rip+0x16f116]
0012a7eacall camlStdlib.$5e_139
0012a7efcall camlMisc.warning_287
0012a7f4jmp 0x12a868
0012a7f6nop
0012a7f8
0012a7f8loc_12a7f8:
0012a7f8lea rax, [rip+0x1ffac1]
0012a7ffmov rbx, [rsp+40]
0012a804call camlStdlib.$5e_139
0012a809call camlLatexmacros.exists_938
0012a80ecmp rax, 1
0012a812jne 0x12a830
0012a814lea rax, [rip+0x1ffa95]
0012a81bmov rbx, [rsp+40]
0012a820call camlStdlib.$5e_139
0012a825call camlLatexmacros.exists_938
0012a82acmp rax, 1
0012a82eje 0x12a868
0012a830
0012a830loc_12a830:
0012a830lea rax, [rip+0x16f0e9]
0012a837mov rbx, [rsp+56]
0012a83ccall camlStdlib.$5e_139
0012a841mov rbx, rax
0012a844mov rax, [rsp+40]
0012a849call camlStdlib.$5e_139
0012a84emov rbx, rax
0012a851lea rax, [rip+0x16f0d8]
0012a858call camlStdlib.$5e_139
0012a85dadd rsp, 64
0012a861jmp 0x1919c0
0012a866nop
0012a868
0012a868loc_12a868:
0012a868sub r15, 16
0012a86ccmp r15, [r14]
0012a86fjb 0x12aa4e
0012a875
0012a875loc_12a875:
0012a875lea rax, [r15+8]
0012a879mov [rsp+8], rax
0012a87emov [rax-8], 1024
0012a886mov rbx, [rsp]
0012a88amov [rax], rbx
0012a88dmov rdi, [rsp+16]
0012a892mov rax, [rdi]
0012a895movzx rbx, [rax-8]
0012a89atest rbx, rbx
0012a89dje 0x12a8e0
0012a89fmov rdi, [rdi+8]
0012a8a3mov rax, [rax]
0012a8a6sub r15, 24
0012a8aacmp r15, [r14]
0012a8adjb 0x12aa44
0012a8b3
0012a8b3loc_12a8b3:
0012a8b3lea rbx, [r15+8]
0012a8b7mov [rbx-8], 2048
0012a8bfmov [rbx], rax
0012a8c2mov [rbx+8], rdi
0012a8c6lea rax, [rip+0x1caf93]
0012a8cdmov rax, [rax+280]
0012a8d4call camlGet.do_get_int_873
0012a8d9mov [rsp], rax
0012a8ddjmp 0x12a8e9
0012a8dfnop
0012a8e0
0012a8e0loc_12a8e0:
0012a8e0mov eax, 1
0012a8e5mov [rsp], rax
0012a8e9
0012a8e9loc_12a8e9:
0012a8e9mov rdi, [rsp+24]
0012a8eemov rax, [rdi]
0012a8f1movzx rbx, [rax-8]
0012a8f6test rbx, rbx
0012a8f9je 0x12a964
0012a8fbmov rdi, [rdi+8]
0012a8ffmov rax, [rax]
0012a902sub r15, 24
0012a906cmp r15, [r14]
0012a909jb 0x12aa3a
0012a90f
0012a90floc_12a90f:
0012a90flea rbx, [r15+8]
0012a913mov [rbx-8], 2048
0012a91bmov [rbx], rax
0012a91emov [rbx+8], rdi
0012a922mov eax, 1
0012a927call camlSubst.do_do_subst_this_list_777
0012a92cmov rbx, rax
0012a92flea rax, [rip+0x1c655a]
0012a936call Stdlib.String.concat
0012a93bsub r15, 24
0012a93fcmp r15, [r14]
0012a942jb 0x12aa30
0012a948
0012a948loc_12a948:
0012a948lea rbx, [r15+8]
0012a94cmov [rbx-8], 2048
0012a954mov [rbx], rax
0012a957mov [rbx+8], 1
0012a95fjmp 0x12a969
0012a961nop [rax]
0012a964
0012a964loc_12a964:
0012a964mov ebx, 1
0012a969
0012a969loc_12a969:
0012a969mov rax, rbx
0012a96cmov rbx, [rsp]
0012a970call camlLexstate.latex_pat_577
0012a975mov [rsp], rax
0012a979lea rax, [rip+0x1ff940]
0012a980mov rbx, [rsp+40]
0012a985call camlStdlib.$5e_139
0012a98amov rbx, [rsp]
0012a98emov rdi, [rsp+8]
0012a993call camlLatexmacros.def_952
0012a998sub r15, 16
0012a99ccmp r15, [r14]
0012a99fjb 0x12aa26
0012a9a5
0012a9a5loc_12a9a5:
0012a9a5lea rax, [r15+8]
0012a9a9mov [rsp], rax
0012a9admov [rax-8], 1024
0012a9b5mov rbx, [rsp+32]
0012a9bamov [rax], rbx
0012a9bdlea rax, [rip+0x1ff8ec]
0012a9c4mov rbx, [rsp+40]
0012a9c9call camlStdlib.$5e_139
0012a9celea rbx, [rip+0x1ebfcb]
0012a9d5mov rbx, [rbx+56]
0012a9d9mov rdi, [rsp]
0012a9ddadd rsp, 64
0012a9e1jmp 0x17af20
0012a9e6nop
0012a9e8
0012a9e8loc_12a9e8:
0012a9e8sub r15, 24
0012a9eccmp r15, [r14]
0012a9efjb 0x12aa1f
0012a9f1
0012a9f1loc_12a9f1:
0012a9f1lea rax, [r15+8]
0012a9f5mov [rax-8], 2048
0012a9fdlea rbx, [rip+0x14b804]
0012aa04mov [rax], rbx
0012aa07lea rbx, [rip+0x16eed2]
0012aa0emov [rax+8], rbx
0012aa12mov rsp, [r14+48]
0012aa16pop [r14+48]
0012aa1apop r11
0012aa1cjmp r11
0012aa1f
0012aa1floc_12aa1f:
0012aa1fcall caml_call_gc
0012aa24jmp 0x12a9f1
0012aa26
0012aa26loc_12aa26:
0012aa26call caml_call_gc
0012aa2bjmp 0x12a9a5
0012aa30
0012aa30loc_12aa30:
0012aa30call caml_call_gc
0012aa35jmp 0x12a948
0012aa3a
0012aa3aloc_12aa3a:
0012aa3acall caml_call_gc
0012aa3fjmp 0x12a90f
0012aa44
0012aa44loc_12aa44:
0012aa44call caml_call_gc
0012aa49jmp 0x12a8b3
0012aa4e
0012aa4eloc_12aa4e:
0012aa4ecall caml_call_gc
0012aa53jmp 0x12a875
0012aa58
0012aa58loc_12aa58:
0012aa58push 41
0012aa5acall caml_call_realloc_stack
0012aa5fpop r10
0012aa61jmp 0x12a602
0012a5f0

0012aa66
0012aa66 // align 0x10

0012aa70
0012aa70camlLatexscan.do_newcounter_2040:
0012aa70lea r10, [rsp-352]
0012aa78cmp r10, [r14+40]
0012aa7cjb 0x12ab67
0012aa82
0012aa82loc_12aa82:
0012aa82sub rsp, 16
0012aa86mov [rsp], rax
0012aa8alea r11, [rip+155]
0012aa91push r11
0012aa93push [r14+48]
0012aa97mov [r14+48], rsp
0012aa9bcall camlCounter.def_counter_662
0012aaa0lea rbx, [rip+0x1733d1]
0012aaa7mov rax, [rsp+16]
0012aaaccall camlStdlib.$5e_139
0012aab1mov rbx, rax
0012aab4lea rax, [rip+0x16edbd]
0012aabbcall camlStdlib.$5e_139
0012aac0sub r15, 40
0012aac4cmp r15, [r14]
0012aac7jb 0x12ab5d
0012aacd
0012aacdloc_12aacd:
0012aacdlea rbx, [r15+8]
0012aad1add rbx, 16
0012aad5mov [rbx-8], 2048
0012aaddmov [rbx], rax
0012aae0mov [rbx+8], 1
0012aae8lea rax, [rbx-16]
0012aaecmov [rsp+24], rax
0012aaf1mov [rax-8], 1024
0012aaf9mov [rax], rbx
0012aafclea rax, [rip+0x16ed8d]
0012ab03mov rbx, [rsp+16]
0012ab08call camlStdlib.$5e_139
0012ab0dlea rbx, [rip+0x1ebe8c]
0012ab14mov rbx, [rbx+56]
0012ab18mov rdi, [rsp+24]
0012ab1dcall camlLatexmacros.global_def_953
0012ab22pop [r14+48]
0012ab26add rsp, 8
0012ab2ajmp 0x12ab58
0012ab2clea rbx, [rip+0x1e9e35]
0012ab33mov rbx, [rbx]
0012ab36cmp rax, rbx
0012ab39jne 0x12ab48
0012ab3bmov eax, 1
0012ab40add rsp, 16
0012ab44ret
0012ab45nop [rax]
0012ab48
0012ab48loc_12ab48:
0012ab48mov rsp, [r14+48]
0012ab4cpop [r14+48]
0012ab50pop r11
0012ab52jmp r11
0012ab55nop [rax]
0012ab58
0012ab58loc_12ab58:
0012ab58add rsp, 16
0012ab5cret
0012ab5d
0012ab5dloc_12ab5d:
0012ab5dcall caml_call_gc
0012ab62jmp 0x12aacd
0012ab67
0012ab67loc_12ab67:
0012ab67push 37
0012ab69call caml_call_realloc_stack
0012ab6epop r10
0012ab70jmp 0x12aa82
0012aa70

0012ab75
0012ab75 // align 0x10

0012ab80
0012ab80camlLatexscan.do_newtheorem_2054:
0012ab80lea r10, [rsp-376]
0012ab88cmp r10, [r14+40]
0012ab8cjb 0x12af35
0012ab92
0012ab92loc_12ab92:
0012ab92sub rsp, 56
0012ab96mov [rsp+40], rax
0012ab9bmov [rsp+8], rbx
0012aba0mov [rsp+32], rdi
0012aba5lea rax, [rip+0x1f6994]
0012abacmov rbx, [rax+80]
0012abb0mov [rbx], 3
0012abb7mov rax, [rax+64]
0012abbbcall camlDoOut.reset_705
0012abc0mov rax, [rsp+32]
0012abc5mov rax, [rax+64]
0012abc9mov [rsp], rax
0012abcdmov rax, [rsp+8]
0012abd2call camlLexstate.save_arg_1030
0012abd7mov rbx, rax
0012abdamov rax, [rsp]
0012abdemov rdi, [rax+16]
0012abe2mov rax, [rdi+16]
0012abe6mov rdi, [rdi+24]
0012abeacall camlLatexscan.do_get_prim_onarg_1872
0012abefmov [rsp+24], rax
0012abf4lea rax, [rip+0x16f76d]
0012abfbmov rbx, [rsp+8]
0012ac00call camlLexstate.save_opts_1158
0012ac05test al, 1
0012ac07jne 0x12ac1c
0012ac09mov rbx, [rax+8]
0012ac0dtest bl, 1
0012ac10je 0x12ac1c
0012ac12mov rax, [rax]
0012ac15mov [rsp+16], rax
0012ac1ajmp 0x12ac58
0012ac1c
0012ac1cloc_12ac1c:
0012ac1csub r15, 24
0012ac20cmp r15, [r14]
0012ac23jb 0x12af2b
0012ac29
0012ac29loc_12ac29:
0012ac29lea rax, [r15+8]
0012ac2dmov [rax-8], 2048
0012ac35lea rbx, [rip+0x14b5cc]
0012ac3cmov [rax], rbx
0012ac3flea rbx, [rip+0x16ec12]
0012ac46mov [rax+8], rbx
0012ac4amov rsp, [r14+48]
0012ac4epop [r14+48]
0012ac52pop r11
0012ac54jmp r11
0012ac57nop
0012ac58
0012ac58loc_12ac58:
0012ac58mov rax, [rsp+8]
0012ac5dcall camlLexstate.save_arg_1030
0012ac62mov rbx, rax
0012ac65mov eax, 1
0012ac6acall camlSubst.do_do_subst_this_697
0012ac6fmov [rsp], rax
0012ac73lea rax, [rip+0x16f6ee]
0012ac7amov rbx, [rsp+8]
0012ac7fcall camlLexstate.save_opts_1158
0012ac84test al, 1
0012ac86jne 0x12ac9c
0012ac88mov rbx, [rax+8]
0012ac8ctest bl, 1
0012ac8fje 0x12ac9c
0012ac91mov rax, [rax]
0012ac94mov [rsp+8], rax
0012ac99jmp 0x12acd8
0012ac9bnop
0012ac9c
0012ac9cloc_12ac9c:
0012ac9csub r15, 24
0012aca0cmp r15, [r14]
0012aca3jb 0x12af21
0012aca9
0012aca9loc_12aca9:
0012aca9lea rax, [r15+8]
0012acadmov [rax-8], 2048
0012acb5lea rbx, [rip+0x14b54c]
0012acbcmov [rax], rbx
0012acbflea rbx, [rip+0x16eb72]
0012acc6mov [rax+8], rbx
0012accamov rsp, [r14+48]
0012accepop [r14+48]
0012acd2pop r11
0012acd4jmp r11
0012acd7nop
0012acd8
0012acd8loc_12acd8:
0012acd8lea rax, [rip+0x1ebcc1]
0012acdfmov rax, [rax+728]
0012ace6mov rax, [rax]
0012ace9test al, 1
0012acebje 0x12ad3d
0012acedmov rax, [rsp+32]
0012acf2mov rax, [rax+80]
0012acf6mov rax, [rax+32]
0012acfamov [rsp+48], rax
0012acfflea rax, [rip+0x1f683a]
0012ad06mov rbx, [rax+80]
0012ad0amov [rbx], 1
0012ad11mov rax, [rax+64]
0012ad15call camlDoOut.to_string_830
0012ad1alea rbx, [rip+0x16ee57]
0012ad21call camlStdlib.$5e_139
0012ad26mov rbx, rax
0012ad29mov rax, [rsp+40]
0012ad2ecall camlStdlib.$5e_139
0012ad33mov rbx, [rsp+48]
0012ad38mov rdi, [rbx]
0012ad3bcall rdi
0012ad3d
0012ad3dloc_12ad3d:
0012ad3dmov rax, [rsp+16]
0012ad42mov rbx, [rax]
0012ad45movzx rbx, [rbx-8]
0012ad4atest rbx, rbx
0012ad4djne 0x12ad88
0012ad4fmov rdi, [rsp+8]
0012ad54mov rbx, [rdi]
0012ad57movzx rbx, [rbx-8]
0012ad5ctest rbx, rbx
0012ad5fje 0x12ad68
0012ad61mov [rsp+8], rdi
0012ad66jmp 0x12ad88
0012ad68
0012ad68loc_12ad68:
0012ad68lea rbx, [rip+0x1738f9]
0012ad6fmov rax, [rsp+24]
0012ad74call camlLatexscan.do_newcounter_2040
0012ad79mov rax, [rsp+24]
0012ad7emov [rsp+8], rax
0012ad83jmp 0x12adf3
0012ad85nop [rax]
0012ad88
0012ad88loc_12ad88:
0012ad88mov rdi, [rsp+8]
0012ad8dmov rbx, [rdi]
0012ad90movzx rbx, [rbx-8]
0012ad95test rbx, rbx
0012ad98je 0x12add0
0012ad9amov rax, rdi
0012ad9dcall camlLexstate.from_ok_1113
0012ada2mov rbx, rax
0012ada5mov rax, [rsp+32]
0012adaamov rdi, [rax+56]
0012adaemov rax, [rdi+16]
0012adb2mov rdi, [rdi+24]
0012adb6call camlLatexscan.do_get_prim_onarg_1872
0012adbbmov rbx, rax
0012adbemov rax, [rsp+24]
0012adc3call camlLatexscan.do_newcounter_2040
0012adc8mov rax, [rsp+24]
0012adcdjmp 0x12adee
0012adcfnop
0012add0
0012add0loc_12add0:
0012add0call camlLexstate.from_ok_1113
0012add5mov rbx, rax
0012add8mov rax, [rsp+32]
0012adddmov rdi, [rax+56]
0012ade1mov rax, [rdi+16]
0012ade5mov rdi, [rdi+24]
0012ade9call camlLatexscan.do_get_prim_onarg_1872
0012adee
0012adeeloc_12adee:
0012adeemov [rsp+8], rax
0012adf3
0012adf3loc_12adf3:
0012adf3lea rbx, [rip+0x17307e]
0012adfamov rax, [rsp+24]
0012adffcall camlStdlib.$5e_139
0012ae04mov rbx, rax
0012ae07lea rax, [rip+0x17307a]
0012ae0ecall camlStdlib.$5e_139
0012ae13call camlMyLexing.from_string_309
0012ae18mov rsi, rax
0012ae1bmov rdi, [rsp+32]
0012ae20mov rbx, [rdi+48]
0012ae24mov rax, [rdi+40]
0012ae28mov rdx, [rdi+32]
0012ae2clea rdi, [rip+0x16e9f5]
0012ae33call camlLatexscan.do_expand_command_1473
0012ae38lea rbx, [rip+0x173039]
0012ae3fmov rax, [rsp]
0012ae43call camlStdlib.$5e_139
0012ae48mov rbx, rax
0012ae4blea rax, [rip+0x16e9ae]
0012ae52call camlStdlib.$5e_139
0012ae57mov rbx, rax
0012ae5amov rax, [rsp+8]
0012ae5fcall camlStdlib.$5e_139
0012ae64mov rbx, rax
0012ae67lea rax, [rip+0x16e992]
0012ae6ecall camlStdlib.$5e_139
0012ae73mov rbx, rax
0012ae76mov rax, [rsp+24]
0012ae7bcall camlStdlib.$5e_139
0012ae80mov rbx, rax
0012ae83lea rax, [rip+0x16e986]
0012ae8acall camlStdlib.$5e_139
0012ae8fsub r15, 40
0012ae93cmp r15, [r14]
0012ae96jb 0x12af17
0012ae98
0012ae98loc_12ae98:
0012ae98lea rbx, [r15+8]
0012ae9cadd rbx, 16
0012aea0mov [rbx-8], 2048
0012aea8mov [rbx], rax
0012aeabmov [rbx+8], 1
0012aeb3lea rax, [rbx-16]
0012aeb7mov [rsp], rax
0012aebbmov [rax-8], 1024
0012aec3mov [rax], rbx
0012aec6lea rax, [rip+0x1ff3f3]
0012aecdmov rbx, [rsp+24]
0012aed2call camlStdlib.$5e_139
0012aed7lea rbx, [rip+0x1ebac2]
0012aedemov rbx, [rbx+56]
0012aee2mov rdi, [rsp]
0012aee6call camlLatexmacros.global_def_953
0012aeeblea rax, [rip+0x1ff3be]
0012aef2mov rbx, [rsp+24]
0012aef7call camlStdlib.$5e_139
0012aefclea rdi, [rip+0x16e8bd]
0012af03lea rbx, [rip+0x1eba96]
0012af0amov rbx, [rbx+56]
0012af0eadd rsp, 56
0012af12jmp 0x17aff0
0012af17
0012af17loc_12af17:
0012af17call caml_call_gc
0012af1cjmp 0x12ae98
0012af21
0012af21loc_12af21:
0012af21call caml_call_gc
0012af26jmp 0x12aca9
0012af2b
0012af2bloc_12af2b:
0012af2bcall caml_call_gc
0012af30jmp 0x12ac29
0012af35
0012af35loc_12af35:
0012af35push 40
0012af37call caml_call_realloc_stack
0012af3cpop r10
0012af3ejmp 0x12ab92
0012ab80

0012af43
0012af43 // align 0x10

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