File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001166c0
001166c0Latexscan..ocaml_lex_main_rec:
001166c0lea r10, [rsp-368]
001166c8cmp r10, [r14+40]
001166ccjb 0x1173c4
001166d2
001166d2loc_1166d2:
001166d2sub rsp, 32
001166d6
001166d6loc_1166d6:
001166d6mov rsi, rax
001166d9mov [rsp+16], rsi
001166demov [rsp+24], rdi
001166e3cmp r15, [r14]
001166e6jbe 0x1173b5
001166ec
001166ecloc_1166ec:
001166eclea rax, [rip+0x183f15]
001166f3mov rdi, rsi
001166f6call Stdlib.Lexing.engine
001166fbcmp rax, 45
001166ffjbe 0x116724
00116701mov [rsp], rax
00116705mov rax, [rsp+16]
0011670amov rbx, [rax]
0011670dmov rdi, [rbx]
00116710call rdi
00116712mov rax, [rsp+16]
00116717mov rbx, [rsp]
0011671bmov rdi, [rsp+24]
00116720jmp 0x1166d6
00116722nop
00116724
00116724loc_116724:
00116724sar rax, 1
00116727lea rdx, [rip+0x113e96]
0011672emovsxd rax, [rdx+4*rax]
00116732add rdx, rax
00116735jmp rdx
00116737nop
00116738mov rax, [rsp+24]
0011673dmov rdx, [rax+1184]
00116744lea rdi, [rip+0x183ea5]
0011674bmov rbx, rax
0011674eadd rbx, 648
00116755add rax, -24
00116759mov rsi, [rsp+16]
0011675ecall camlLatexscan.do_expand_command_1473
00116763mov rdi, [rsp+24]
00116768add rdi, -24
0011676cadd rdi, 24
00116770mov ebx, 1
00116775mov rax, [rsp+16]
0011677ajmp 0x1166d6
0011677fnop
00116780mov rax, [rsp+24]
00116785mov rdx, [rax+1184]
0011678clea rdi, [rip+0x183e45]
00116793mov rbx, rax
00116796add rbx, 648
0011679dadd rax, -24
001167a1mov rsi, [rsp+16]
001167a6call camlLatexscan.do_expand_command_1473
001167abmov rdi, [rsp+24]
001167b0add rdi, -24
001167b4add rdi, 24
001167b8mov ebx, 1
001167bdmov rax, [rsp+16]
001167c2jmp 0x1166d6
001167c7nop
001167c8mov rax, [rsp+24]
001167cdmov rdx, [rax+1184]
001167d4lea rdi, [rip+0x183ddd]
001167dbmov rbx, rax
001167deadd rbx, 648
001167e5add rax, -24
001167e9mov rsi, [rsp+16]
001167eecall camlLatexscan.do_expand_command_1473
001167f3mov rdi, [rsp+24]
001167f8add rdi, -24
001167fcadd rdi, 24
00116800mov ebx, 1
00116805mov rax, [rsp+16]
0011680ajmp 0x1166d6
0011680fnop
00116810mov rax, [rsp+24]
00116815mov rdx, [rax+1184]
0011681clea rdi, [rip+0x183d7d]
00116823mov rbx, rax
00116826add rbx, 648
0011682dadd rax, -24
00116831mov rsi, [rsp+16]
00116836call camlLatexscan.do_expand_command_1473
0011683bmov rdi, [rsp+24]
00116840add rdi, -24
00116844add rdi, 24
00116848mov ebx, 1
0011684dmov rax, [rsp+16]
00116852jmp 0x1166d6
00116857nop
00116858mov rax, [rsp+16]
0011685dmov rdi, [rax+40]
00116861mov rbx, [rax+32]
00116865sub rdi, rbx
00116868inc rdi
0011686bmov rax, [rax+8]
0011686fcall Stdlib.Bytes.sub
00116874mov [rsp], rax
00116878lea rsi, [rip+0x183d11]
0011687fmov rdi, rax
00116882mov rbx, rsp
00116885mov rsp, [r14+64]
00116889call caml_string_equal
0011688emov rsp, rbx
00116891mov [rsp+8], rax
00116896lea rax, [rip+0x200103]
0011689dmov rax, [rax+168]
001168a4mov rax, [rax]
001168a7cmp rax, 3
001168abje 0x116a50
001168b1mov eax, 73
001168b6call camlLexstate.is_plain_833
001168bbcmp rax, 1
001168bfje 0x116a50
001168c5mov rdi, [rsp+8]
001168cacmp rdi, 1
001168ceje 0x116928
001168d0lea rax, [rip+0x2000c9]
001168d7mov rbx, [rax+136]
001168demov rbx, [rbx]
001168e1cmp rbx, 1
001168e5jne 0x116928
001168e7mov rax, [rax+144]
001168eemov rax, [rax]
001168f1cmp rax, 1
001168f5je 0x116928
001168f7lea rbx, [rip+0x183c82]
001168femov rax, [rsp+24]
00116903add rax, -24
00116907call camlLexstate.scan_this_1185
0011690cmov rdi, [rsp+24]
00116911add rdi, -24
00116915add rdi, 24
00116919mov ebx, 1
0011691emov rax, [rsp+16]
00116923jmp 0x1166d6
00116928
00116928loc_116928:
00116928cmp rdi, 1
0011692cje 0x11693c
0011692elea rax, [rip+0x183c33]
00116935mov [rsp], rax
00116939jmp 0x116947
0011693bnop
0011693c
0011693cloc_11693c:
0011693clea rax, [rip+0x183bfd]
00116943mov [rsp], rax
00116947
00116947loc_116947:
00116947lea rbx, [rip+0x200052]
0011694emov rbx, [rbx+144]
00116955mov rbx, [rbx]
00116958cmp rbx, 1
0011695cje 0x11698c
0011695emov rax, [rsp+24]
00116963mov rbx, [rax+1224]
0011696amov rax, rdi
0011696dcall camlLatexscan.top_close_maths_1619
00116972mov rax, [rsp+24]
00116977mov rbx, [rax+1120]
0011697emov rax, [rsp]
00116982call camlLatexscan.close_env_866
00116987jmp 0x1169d8
00116989nop [rax]
0011698c
0011698cloc_11698c:
0011698cmov rbx, [rsp+24]
00116991mov rbx, [rbx+1112]
00116998call camlLatexscan.new_env_859
0011699dmov rax, [rsp+24]
001169a2mov rdi, [rax+1216]
001169a9add rax, -24
001169admov rbx, [rsp+8]
001169b2call camlLatexscan.top_open_maths_1618
001169b7mov rax, [rsp+8]
001169bccmp rax, 1
001169c0je 0x1169d8
001169c2mov rbx, [rsp+24]
001169c7add rbx, 648
001169cemov rax, [rsp+16]
001169d3call camlLatexscan.skip_blanks_1650
001169d8
001169d8loc_1169d8:
001169d8lea rax, [rip+0x1fffc1]
001169dfmov rax, [rax+152]
001169e6mov rax, [rax]
001169e9cmp rax, 1
001169edje 0x116a34
001169efmov rax, [rsp+8]
001169f4cmp rax, 1
001169f8je 0x116a04
001169famov ebx, 5
001169ffjmp 0x116a09
00116a01nop [rax]
00116a04
00116a04loc_116a04:
00116a04mov ebx, 3
00116a09
00116a09loc_116a09:
00116a09lea rdi, [rip+0x1fff90]
00116a10mov rdi, [rdi+160]
00116a17mov [rdi], rbx
00116a1amov rdi, [rsp+24]
00116a1fadd rdi, 1040
00116a26mov rbx, [rsp+16]
00116a2badd rsp, 32
00116a2fjmp 0x119450
00116a34
00116a34loc_116a34:
00116a34mov rdi, [rsp+24]
00116a39add rdi, -24
00116a3dadd rdi, 24
00116a41mov ebx, 1
00116a46mov rax, [rsp+16]
00116a4bjmp 0x1166d6
00116a50
00116a50loc_116a50:
00116a50mov rax, [rsp+24]
00116a55mov rax, [rax+1248]
00116a5cmov rbx, [rax+352]
00116a63mov rdi, [rbx]
00116a66mov rax, [rsp]
00116a6acall rdi
00116a6cmov rdi, [rsp+24]
00116a71add rdi, -24
00116a75add rdi, 24
00116a79mov ebx, 1
00116a7emov rax, [rsp+16]
00116a83jmp 0x1166d6
00116a88mov rax, [rsp+24]
00116a8dmov rdx, [rax+1184]
00116a94lea rdi, [rip+0x183a8d]
00116a9bmov rbx, rax
00116a9eadd rbx, 648
00116aa5add rax, -24
00116aa9mov rsi, [rsp+16]
00116aaecall camlLatexscan.do_expand_command_1473
00116ab3mov rdi, [rsp+24]
00116ab8add rdi, -24
00116abcadd rdi, 24
00116ac0mov ebx, 1
00116ac5mov rax, [rsp+16]
00116acajmp 0x1166d6
00116acfnop
00116ad0mov rax, [rsp+16]
00116ad5mov rbx, [rax+32]
00116ad9mov rdi, [rax+40]
00116addsub rdi, rbx
00116ae0inc rdi
00116ae3mov rax, [rax+8]
00116ae7call Stdlib.Bytes.sub
00116aecmov [rsp], rax
00116af0lea rax, [rip+0x1ffea9]
00116af7mov rax, [rax+168]
00116afemov rax, [rax]
00116b01cmp rax, 3
00116b05je 0x116c44
00116b0bmov eax, 71
00116b10call camlLexstate.is_plain_833
00116b15cmp rax, 1
00116b19je 0x116c44
00116b1fmov rdi, [rsp]
00116b23mov rax, [rdi-8]
00116b27shr rax, 10
00116b2blea rax, [8*rax-1]
00116b33movzx rbx, [rdi+rax]
00116b38sub rax, rbx
00116b3bcmp rax, 1
00116b3fjbe 0x1173bf
00116b45movzx rax, [rdi+1]
00116b4alea rbx, [rax+rax-97]
00116b4flea r11, [rip+194]
00116b56push r11
00116b58push [r14+48]
00116b5cmov [r14+48], rsp
00116b60lea rax, [rip+0x1ffe39]
00116b67mov rax, [rax+224]
00116b6emov rax, [rax]
00116b71cmp rax, 1
00116b75je 0x116bc0
00116b77sub r15, 40
00116b7bcmp r15, [r14]
00116b7ejb 0x1173ab
00116b84
00116b84loc_116b84:
00116b84lea rax, [r15+8]
00116b88mov [rax-8], 4343
00116b90lea rdi, [rip+0x10d99]
00116b97mov [rax], rdi
00116b9amov rdi, 0x100000000000005
00116ba4mov [rax+8], rdi
00116ba8mov rdi, [rsp+40]
00116badadd rdi, -24
00116bb1mov [rax+16], rdi
00116bb5mov rdi, [rsp+32]
00116bbamov [rax+24], rdi
00116bbejmp 0x116c07
00116bc0
00116bc0loc_116bc0:
00116bc0sub r15, 40
00116bc4cmp r15, [r14]
00116bc7jb 0x1173a1
00116bcd
00116bcdloc_116bcd:
00116bcdlea rax, [r15+8]
00116bd1mov [rax-8], 4343
00116bd9lea rdi, [rip+0x10e30]
00116be0mov [rax], rdi
00116be3mov rdi, 0x100000000000005
00116bedmov [rax+8], rdi
00116bf1mov rdi, [rsp+40]
00116bf6add rdi, -24
00116bfamov [rax+16], rdi
00116bfemov rdi, [rsp+32]
00116c03mov [rax+24], rdi
00116c07
00116c07loc_116c07:
00116c07call camlLexstate.scan_arg_855
00116c0cpop [r14+48]
00116c10add rsp, 8
00116c14jmp 0x116c60
00116c16nop
00116c18lea rbx, [rip+0x1ffd81]
00116c1fmov rbx, [rbx+112]
00116c23cmp rax, rbx
00116c26jne 0x116c34
00116c28mov rax, [rsp]
00116c2ccall camlLatexscan.error_subst_top_693
00116c31jmp 0x116c60
00116c33nop
00116c34
00116c34loc_116c34:
00116c34mov rsp, [r14+48]
00116c38pop [r14+48]
00116c3cpop r11
00116c3ejmp r11
00116c41nop [rax]
00116c44
00116c44loc_116c44:
00116c44mov rax, [rsp+24]
00116c49mov rax, [rax+1248]
00116c50mov rbx, [rax+352]
00116c57mov rdi, [rbx]
00116c5amov rax, [rsp]
00116c5ecall rdi
00116c60
00116c60loc_116c60:
00116c60mov rdi, [rsp+24]
00116c65add rdi, -24
00116c69add rdi, 24
00116c6dmov ebx, 1
00116c72mov rax, [rsp+16]
00116c77jmp 0x1166d6
00116c7cmov rax, [rsp+16]
00116c81mov rbx, [rax+32]
00116c85mov rdi, [rax+40]
00116c89sub rdi, rbx
00116c8cinc rdi
00116c8fmov rax, [rax+8]
00116c93call Stdlib.Bytes.sub
00116c98mov rdi, rax
00116c9bmov rax, [rsp+24]
00116ca0mov rdx, [rax+1184]
00116ca7mov rbx, rax
00116caaadd rbx, 648
00116cb1add rax, -24
00116cb5mov rsi, [rsp+16]
00116cbacall camlLatexscan.do_expand_command_1473
00116cbflea rax, [rip+0x1ffcda]
00116cc6mov rax, [rax+160]
00116ccdmov rax, [rax]
00116cd0sar rax, 1
00116cd3cmp rax, 1
00116cd7je 0x116cf8
00116cd9ja 0x116d18
00116cdbmov rdi, [rsp+24]
00116ce0add rdi, -24
00116ce4add rdi, 24
00116ce8mov ebx, 1
00116cedmov rax, [rsp+16]
00116cf2jmp 0x1166d6
00116cf7nop
00116cf8
00116cf8loc_116cf8:
00116cf8mov rdi, [rsp+24]
00116cfdadd rdi, 1040
00116d04mov eax, 1
00116d09mov rbx, [rsp+16]
00116d0eadd rsp, 32
00116d12jmp 0x119450
00116d17nop
00116d18
00116d18loc_116d18:
00116d18mov rdi, [rsp+24]
00116d1dadd rdi, 1040
00116d24mov eax, 3
00116d29mov rbx, [rsp+16]
00116d2eadd rsp, 32
00116d32jmp 0x119450
00116d37nop
00116d38mov rax, [rsp+24]
00116d3dmov rdx, [rax+1184]
00116d44lea rdi, [rip+0x1837c5]
00116d4bmov rbx, rax
00116d4eadd rbx, 648
00116d55add rax, -24
00116d59mov rsi, [rsp+16]
00116d5ecall camlLatexscan.do_expand_command_1473
00116d63mov rdi, [rsp+24]
00116d68add rdi, -24
00116d6cadd rdi, 24
00116d70mov ebx, 1
00116d75mov rax, [rsp+16]
00116d7ajmp 0x1166d6
00116d7fnop
00116d80mov rax, [rsp+24]
00116d85mov rdx, [rax+1184]
00116d8clea rdi, [rip+0x183765]
00116d93mov rbx, rax
00116d96add rbx, 648
00116d9dadd rax, -24
00116da1mov rsi, [rsp+16]
00116da6call camlLatexscan.do_expand_command_1473
00116dabmov rdi, [rsp+24]
00116db0add rdi, -24
00116db4add rdi, 24
00116db8mov ebx, 1
00116dbdmov rax, [rsp+16]
00116dc2jmp 0x1166d6
00116dc7nop
00116dc8mov eax, 1
00116dcdadd rsp, 32
00116dd1ret
00116dd2nop
00116dd4mov rax, [rsp+16]
00116dd9mov rdi, [rax+40]
00116dddmov rbx, [rax+32]
00116de1sub rdi, rbx
00116de4inc rdi
00116de7mov rax, [rax+8]
00116debcall Stdlib.Bytes.sub
00116df0lea rbx, [rip+0x1ffba9]
00116df7mov rbx, [rbx+168]
00116dfemov rbx, [rbx]
00116e01cmp rbx, 3
00116e05je 0x116e9c
00116e0blea rbx, [rip+0x1ffb8e]
00116e12mov rbx, [rbx+136]
00116e19mov rbx, [rbx]
00116e1ccmp rbx, 1
00116e20je 0x116e7c
00116e22sub r15, 16
00116e26cmp r15, [r14]
00116e29jb 0x117397
00116e2f
00116e2floc_116e2f:
00116e2flea rbx, [r15+8]
00116e33mov [rbx-8], 1024
00116e3bmov rdi, [rax-8]
00116e3fshr rdi, 10
00116e43lea rdi, [8*rdi-1]
00116e4bmovzx rax, [rax+rdi]
00116e50sub rdi, rax
00116e53lea rax, [rdi+rdi+1]
00116e58mov [rbx], rax
00116e5bmov rax, [rsp+24]
00116e60mov rax, [rax+1248]
00116e67mov rdi, [rax+480]
00116e6emov eax, 1
00116e73call caml_apply2
00116e78jmp 0x116eb4
00116e7anop
00116e7c
00116e7cloc_116e7c:
00116e7cmov rax, [rsp+24]
00116e81mov rax, [rax+1248]
00116e88mov rbx, [rax+360]
00116e8fmov eax, 65
00116e94mov rdi, [rbx]
00116e97call rdi
00116e99jmp 0x116eb4
00116e9bnop
00116e9c
00116e9cloc_116e9c:
00116e9cmov rbx, [rsp+24]
00116ea1mov rbx, [rbx+1248]
00116ea8mov rbx, [rbx+352]
00116eafmov rdi, [rbx]
00116eb2call rdi
00116eb4
00116eb4loc_116eb4:
00116eb4mov rdi, [rsp+24]
00116eb9add rdi, -24
00116ebdadd rdi, 24
00116ec1mov ebx, 1
00116ec6mov rax, [rsp+16]
00116ecbjmp 0x1166d6
00116ed0mov rax, [rsp+16]
00116ed5mov rdi, [rax+40]
00116ed9mov rbx, [rax+32]
00116eddsub rdi, rbx
00116ee0inc rdi
00116ee3mov rax, [rax+8]
00116ee7call Stdlib.Bytes.sub
00116eeccall camlLatexscan.check_case_1502
00116ef1mov [rsp], rax
00116ef5lea rbx, [rip+0x1ffaa4]
00116efcmov rbx, [rbx+144]
00116f03mov rbx, [rbx]
00116f06cmp rbx, 1
00116f0aje 0x116f54
00116f0clea rbx, [rip+0x1835d5]
00116f13mov rax, [rsp+24]
00116f18add rax, -24
00116f1ccall camlLexstate.scan_this_1185
00116f21mov rax, [rsp+24]
00116f26mov rax, [rax+1248]
00116f2dmov rbx, [rax+352]
00116f34mov rdi, [rbx]
00116f37mov rax, [rsp]
00116f3bcall rdi
00116f3dlea rbx, [rip+0x186f34]
00116f44mov rax, [rsp+24]
00116f49add rax, -24
00116f4dcall camlLexstate.scan_this_1185
00116f52jmp 0x116f6c
00116f54
00116f54loc_116f54:
00116f54mov rbx, [rsp+24]
00116f59mov rbx, [rbx+1248]
00116f60mov rbx, [rbx+352]
00116f67mov rdi, [rbx]
00116f6acall rdi
00116f6c
00116f6cloc_116f6c:
00116f6cmov rdi, [rsp+24]
00116f71add rdi, -24
00116f75add rdi, 24
00116f79mov ebx, 1
00116f7emov rax, [rsp+16]
00116f83jmp 0x1166d6
00116f88mov rax, [rsp+16]
00116f8dmov rbx, [rax+32]
00116f91mov rdi, [rax+40]
00116f95sub rdi, rbx
00116f98inc rdi
00116f9bmov rax, [rax+8]
00116f9fcall Stdlib.Bytes.sub
00116fa4mov rbx, [rsp+24]
00116fa9mov rbx, [rbx+1248]
00116fb0mov rbx, [rbx+352]
00116fb7mov rdi, [rbx]
00116fbacall rdi
00116fbcmov rdi, [rsp+24]
00116fc1add rdi, -24
00116fc5add rdi, 24
00116fc9mov ebx, 1
00116fcemov rax, [rsp+16]
00116fd3jmp 0x1166d6
00116fd8mov rax, [rsp+24]
00116fddmov rdx, [rax+1184]
00116fe4lea rdi, [rip+0x1834e5]
00116febmov rbx, rax
00116feeadd rbx, 648
00116ff5add rax, -24
00116ff9mov rsi, [rsp+16]
00116ffecall camlLatexscan.do_expand_command_1473
00117003mov rdi, [rsp+24]
00117008add rdi, -24
0011700cadd rdi, 24
00117010mov ebx, 1
00117015mov rax, [rsp+16]
0011701ajmp 0x1166d6
0011701fnop
00117020mov rax, [rsp+24]
00117025mov rdx, [rax+1184]
0011702clea rdi, [rip+0x18347d]
00117033mov rbx, rax
00117036add rbx, 648
0011703dadd rax, -24
00117041mov rsi, [rsp+16]
00117046call camlLatexscan.do_expand_command_1473
0011704bmov rdi, [rsp+24]
00117050add rdi, -24
00117054add rdi, 24
00117058mov ebx, 1
0011705dmov rax, [rsp+16]
00117062jmp 0x1166d6
00117067nop
00117068mov rax, [rsp+24]
0011706dmov rdx, [rax+1184]
00117074lea rdi, [rip+0x18341d]
0011707bmov rbx, rax
0011707eadd rbx, 648
00117085add rax, -24
00117089mov rsi, [rsp+16]
0011708ecall camlLatexscan.do_expand_command_1473
00117093mov rdi, [rsp+24]
00117098add rdi, -24
0011709cadd rdi, 24
001170a0mov ebx, 1
001170a5mov rax, [rsp+16]
001170aajmp 0x1166d6
001170afnop
001170b0mov rax, [rsp+24]
001170b5mov rdx, [rax+1184]
001170bclea rdi, [rip+0x1833bd]
001170c3mov rbx, rax
001170c6add rbx, 648
001170cdadd rax, -24
001170d1mov rsi, [rsp+16]
001170d6call camlLatexscan.do_expand_command_1473
001170dbmov rdi, [rsp+24]
001170e0add rdi, -24
001170e4add rdi, 24
001170e8mov ebx, 1
001170edmov rax, [rsp+16]
001170f2jmp 0x1166d6
001170f7nop
001170f8mov rax, [rsp+24]
001170fdmov rdx, [rax+1184]
00117104lea rdi, [rip+0x183355]
0011710bmov rbx, rax
0011710eadd rbx, 648
00117115add rax, -24
00117119mov rsi, [rsp+16]
0011711ecall camlLatexscan.do_expand_command_1473
00117123mov rdi, [rsp+24]
00117128add rdi, -24
0011712cadd rdi, 24
00117130mov ebx, 1
00117135mov rax, [rsp+16]
0011713ajmp 0x1166d6
0011713fnop
00117140mov rax, [rsp+24]
00117145mov rdx, [rax+1184]
0011714clea rdi, [rip+0x1832f5]
00117153mov rbx, rax
00117156add rbx, 648
0011715dadd rax, -24
00117161mov rsi, [rsp+16]
00117166call camlLatexscan.do_expand_command_1473
0011716bmov rdi, [rsp+24]
00117170add rdi, -24
00117174add rdi, 24
00117178mov ebx, 1
0011717dmov rax, [rsp+16]
00117182jmp 0x1166d6
00117187nop
00117188mov eax, 69
0011718dcall camlLexstate.is_plain_833
00117192cmp rax, 1
00117196je 0x1171b8
00117198mov rax, [rsp+24]
0011719dmov rax, [rax+1248]
001171a4mov rbx, [rax+360]
001171abmov eax, 69
001171b0mov rdi, [rbx]
001171b3call rdi
001171b5jmp 0x1171e3
001171b7nop
001171b8
001171b8loc_1171b8:
001171b8mov rax, [rsp+24]
001171bdmov rdx, [rax+1184]
001171c4lea rdi, [rip+0x183265]
001171cbmov rbx, rax
001171ceadd rbx, 648
001171d5add rax, -24
001171d9mov rsi, [rsp+16]
001171decall camlLatexscan.do_expand_command_1473
001171e3
001171e3loc_1171e3:
001171e3mov rdi, [rsp+24]
001171e8add rdi, -24
001171ecadd rdi, 24
001171f0mov ebx, 1
001171f5mov rax, [rsp+16]
001171fajmp 0x1166d6
001171ffnop
00117200mov rdi, [rsp+16]
00117205mov rbx, [rdi+32]
00117209mov rax, rbx
0011720cadd rax, 4
00117210sar rax, 1
00117213mov rdi, [rdi+8]
00117217mov rsi, [rdi-8]
0011721bshr rsi, 10
0011721flea rsi, [8*rsi-1]
00117227movzx rdx, [rdi+rsi]
0011722csub rsi, rdx
0011722fcmp rsi, rax
00117232jbe 0x1173bf
00117238movzx rax, [rdi+rax]
0011723dlea rax, [rax+rax+1]
00117242add rbx, 6
00117246sar rbx, 1
00117249cmp rsi, rbx
0011724cjbe 0x1173bf
00117252movzx rbx, [rdi+rbx]
00117257lea rbx, [rbx+rbx+1]
0011725ccall camlMisc.hexa_code_826
00117261call Stdlib.Char.chr
00117266sub r15, 40
0011726acmp r15, [r14]
0011726djb 0x11738d
00117273
00117273loc_117273:
00117273lea rbx, [r15+8]
00117277mov [rbx-8], 4343
0011727flea rdi, [rip+0x107ba]
00117286mov [rbx], rdi
00117289mov rdi, 0x100000000000005
00117293mov [rbx+8], rdi
00117297mov rsi, [rsp+24]
0011729cmov rdi, rsi
0011729fadd rdi, 32
001172a3mov [rbx+16], rdi
001172a7mov rdi, [rsp+16]
001172acmov [rbx+24], rdi
001172b0mov rdi, [rsi+1208]
001172b7call camlLatexscan.translate_put_unicode_1519
001172bcmov rdi, [rsp+24]
001172c1add rdi, -24
001172c5add rdi, 24
001172c9mov ebx, 1
001172cemov rax, [rsp+16]
001172d3jmp 0x1166d6
001172d8mov rbx, [rsp+16]
001172ddmov rax, [rbx+32]
001172e1sar rax, 1
001172e4mov rbx, [rbx+8]
001172e8mov rdi, [rbx-8]
001172ecshr rdi, 10
001172f0lea rdi, [8*rdi-1]
001172f8movzx rsi, [rbx+rdi]
001172fdsub rdi, rsi
00117300cmp rdi, rax
00117303jbe 0x1173bf
00117309movzx rax, [rbx+rax]
0011730elea rax, [rax+rax+1]
00117313call camlLatexscan.check_case_char_1503
00117318sub r15, 40
0011731ccmp r15, [r14]
0011731fjb 0x117386
00117321
00117321loc_117321:
00117321lea rbx, [r15+8]
00117325mov [rbx-8], 4343
0011732dlea rdi, [rip+0x1071c]
00117334mov [rbx], rdi
00117337mov rdi, 0x100000000000005
00117341mov [rbx+8], rdi
00117345mov rsi, [rsp+24]
0011734amov rdi, rsi
0011734dadd rdi, 32
00117351mov [rbx+16], rdi
00117355mov rdi, [rsp+16]
0011735amov [rbx+24], rdi
0011735emov rdi, [rsi+1208]
00117365call camlLatexscan.translate_put_unicode_1519
0011736amov rdi, [rsp+24]
0011736fadd rdi, -24
00117373add rdi, 24
00117377mov ebx, 1
0011737cmov rax, [rsp+16]
00117381jmp 0x1166d6
00117386
00117386loc_117386:
00117386call caml_call_gc
0011738bjmp 0x117321
0011738d
0011738dloc_11738d:
0011738dcall caml_call_gc
00117392jmp 0x117273
00117397
00117397loc_117397:
00117397call caml_call_gc
0011739cjmp 0x116e2f
001173a1
001173a1loc_1173a1:
001173a1call caml_call_gc
001173a6jmp 0x116bcd
001173ab
001173abloc_1173ab:
001173abcall caml_call_gc
001173b0jmp 0x116b84
001173b5
001173b5loc_1173b5:
001173b5call caml_call_gc
001173bajmp 0x1166ec
001173bf
001173bfloc_1173bf:
001173bfcall caml_ml_array_bound_error
001173c4
001173c4loc_1173c4:
001173c4push 39
001173c6call caml_call_realloc_stack
001173cbpop r10
001173cdjmp 0x1166d2
001166c0
001166c0Latexscan..ocaml_lex_main_rec:
001166c0lea r10, [rsp-368]
001166c8cmp r10, [r14+40]
001166ccjb 0x1173c4
001166d2
001166d2loc_1166d2:
001166d2sub rsp, 32
001166d6
001166d6loc_1166d6:
001166d6mov rsi, rax
001166d9mov [rsp+16], rsi
001166demov [rsp+24], rdi
001166e3cmp r15, [r14]
001166e6jbe 0x1173b5
001166ec
001166ecloc_1166ec:
001166eclea rax, [rip+0x183f15]
001166f3mov rdi, rsi
001166f6call Stdlib.Lexing.engine
001166fbcmp rax, 45
001166ffjbe 0x116724
00116701mov [rsp], rax
00116705mov rax, [rsp+16]
0011670amov rbx, [rax]
0011670dmov rdi, [rbx]
00116710call rdi
00116712mov rax, [rsp+16]
00116717mov rbx, [rsp]
0011671bmov rdi, [rsp+24]
00116720jmp 0x1166d6
00116722nop
00116724
00116724loc_116724:
00116724sar rax, 1
00116727lea rdx, [rip+0x113e96]
0011672emovsxd rax, [rdx+4*rax]
00116732add rdx, rax
00116735jmp rdx
00116737nop
00116738mov rax, [rsp+24]
0011673dmov rdx, [rax+1184]
00116744lea rdi, [rip+0x183ea5]
0011674bmov rbx, rax
0011674eadd rbx, 648
00116755add rax, -24
00116759mov rsi, [rsp+16]
0011675ecall camlLatexscan.do_expand_command_1473
00116763mov rdi, [rsp+24]
00116768add rdi, -24
0011676cadd rdi, 24
00116770mov ebx, 1
00116775mov rax, [rsp+16]
0011677ajmp 0x1166d6
0011677fnop
00116780mov rax, [rsp+24]
00116785mov rdx, [rax+1184]
0011678clea rdi, [rip+0x183e45]
00116793mov rbx, rax
00116796add rbx, 648
0011679dadd rax, -24
001167a1mov rsi, [rsp+16]
001167a6call camlLatexscan.do_expand_command_1473
001167abmov rdi, [rsp+24]
001167b0add rdi, -24
001167b4add rdi, 24
001167b8mov ebx, 1
001167bdmov rax, [rsp+16]
001167c2jmp 0x1166d6
001167c7nop
001167c8mov rax, [rsp+24]
001167cdmov rdx, [rax+1184]
001167d4lea rdi, [rip+0x183ddd]
001167dbmov rbx, rax
001167deadd rbx, 648
001167e5add rax, -24
001167e9mov rsi, [rsp+16]
001167eecall camlLatexscan.do_expand_command_1473
001167f3mov rdi, [rsp+24]
001167f8add rdi, -24
001167fcadd rdi, 24
00116800mov ebx, 1
00116805mov rax, [rsp+16]
0011680ajmp 0x1166d6
0011680fnop
00116810mov rax, [rsp+24]
00116815mov rdx, [rax+1184]
0011681clea rdi, [rip+0x183d7d]
00116823mov rbx, rax
00116826add rbx, 648
0011682dadd rax, -24
00116831mov rsi, [rsp+16]
00116836call camlLatexscan.do_expand_command_1473
0011683bmov rdi, [rsp+24]
00116840add rdi, -24
00116844add rdi, 24
00116848mov ebx, 1
0011684dmov rax, [rsp+16]
00116852jmp 0x1166d6
00116857nop
00116858mov rax, [rsp+16]
0011685dmov rdi, [rax+40]
00116861mov rbx, [rax+32]
00116865sub rdi, rbx
00116868inc rdi
0011686bmov rax, [rax+8]
0011686fcall Stdlib.Bytes.sub
00116874mov [rsp], rax
00116878lea rsi, [rip+0x183d11]
0011687fmov rdi, rax
00116882mov rbx, rsp
00116885mov rsp, [r14+64]
00116889call caml_string_equal
0011688emov rsp, rbx
00116891mov [rsp+8], rax
00116896lea rax, [rip+0x200103]
0011689dmov rax, [rax+168]
001168a4mov rax, [rax]
001168a7cmp rax, 3
001168abje 0x116a50
001168b1mov eax, 73
001168b6call camlLexstate.is_plain_833
001168bbcmp rax, 1
001168bfje 0x116a50
001168c5mov rdi, [rsp+8]
001168cacmp rdi, 1
001168ceje 0x116928
001168d0lea rax, [rip+0x2000c9]
001168d7mov rbx, [rax+136]
001168demov rbx, [rbx]
001168e1cmp rbx, 1
001168e5jne 0x116928
001168e7mov rax, [rax+144]
001168eemov rax, [rax]
001168f1cmp rax, 1
001168f5je 0x116928
001168f7lea rbx, [rip+0x183c82]
001168femov rax, [rsp+24]
00116903add rax, -24
00116907call camlLexstate.scan_this_1185
0011690cmov rdi, [rsp+24]
00116911add rdi, -24
00116915add rdi, 24
00116919mov ebx, 1
0011691emov rax, [rsp+16]
00116923jmp 0x1166d6
00116928
00116928loc_116928:
00116928cmp rdi, 1
0011692cje 0x11693c
0011692elea rax, [rip+0x183c33]
00116935mov [rsp], rax
00116939jmp 0x116947
0011693bnop
0011693c
0011693cloc_11693c:
0011693clea rax, [rip+0x183bfd]
00116943mov [rsp], rax
00116947
00116947loc_116947:
00116947lea rbx, [rip+0x200052]
0011694emov rbx, [rbx+144]
00116955mov rbx, [rbx]
00116958cmp rbx, 1
0011695cje 0x11698c
0011695emov rax, [rsp+24]
00116963mov rbx, [rax+1224]
0011696amov rax, rdi
0011696dcall camlLatexscan.top_close_maths_1619
00116972mov rax, [rsp+24]
00116977mov rbx, [rax+1120]
0011697emov rax, [rsp]
00116982call camlLatexscan.close_env_866
00116987jmp 0x1169d8
00116989nop [rax]
0011698c
0011698cloc_11698c:
0011698cmov rbx, [rsp+24]
00116991mov rbx, [rbx+1112]
00116998call camlLatexscan.new_env_859
0011699dmov rax, [rsp+24]
001169a2mov rdi, [rax+1216]
001169a9add rax, -24
001169admov rbx, [rsp+8]
001169b2call camlLatexscan.top_open_maths_1618
001169b7mov rax, [rsp+8]
001169bccmp rax, 1
001169c0je 0x1169d8
001169c2mov rbx, [rsp+24]
001169c7add rbx, 648
001169cemov rax, [rsp+16]
001169d3call camlLatexscan.skip_blanks_1650
001169d8
001169d8loc_1169d8:
001169d8lea rax, [rip+0x1fffc1]
001169dfmov rax, [rax+152]
001169e6mov rax, [rax]
001169e9cmp rax, 1
001169edje 0x116a34
001169efmov rax, [rsp+8]
001169f4cmp rax, 1
001169f8je 0x116a04
001169famov ebx, 5
001169ffjmp 0x116a09
00116a01nop [rax]
00116a04
00116a04loc_116a04:
00116a04mov ebx, 3
00116a09
00116a09loc_116a09:
00116a09lea rdi, [rip+0x1fff90]
00116a10mov rdi, [rdi+160]
00116a17mov [rdi], rbx
00116a1amov rdi, [rsp+24]
00116a1fadd rdi, 1040
00116a26mov rbx, [rsp+16]
00116a2badd rsp, 32
00116a2fjmp 0x119450
00116a34
00116a34loc_116a34:
00116a34mov rdi, [rsp+24]
00116a39add rdi, -24
00116a3dadd rdi, 24
00116a41mov ebx, 1
00116a46mov rax, [rsp+16]
00116a4bjmp 0x1166d6
00116a50
00116a50loc_116a50:
00116a50mov rax, [rsp+24]
00116a55mov rax, [rax+1248]
00116a5cmov rbx, [rax+352]
00116a63mov rdi, [rbx]
00116a66mov rax, [rsp]
00116a6acall rdi
00116a6cmov rdi, [rsp+24]
00116a71add rdi, -24
00116a75add rdi, 24
00116a79mov ebx, 1
00116a7emov rax, [rsp+16]
00116a83jmp 0x1166d6
00116a88mov rax, [rsp+24]
00116a8dmov rdx, [rax+1184]
00116a94lea rdi, [rip+0x183a8d]
00116a9bmov rbx, rax
00116a9eadd rbx, 648
00116aa5add rax, -24
00116aa9mov rsi, [rsp+16]
00116aaecall camlLatexscan.do_expand_command_1473
00116ab3mov rdi, [rsp+24]
00116ab8add rdi, -24
00116abcadd rdi, 24
00116ac0mov ebx, 1
00116ac5mov rax, [rsp+16]
00116acajmp 0x1166d6
00116acfnop
00116ad0mov rax, [rsp+16]
00116ad5mov rbx, [rax+32]
00116ad9mov rdi, [rax+40]
00116addsub rdi, rbx
00116ae0inc rdi
00116ae3mov rax, [rax+8]
00116ae7call Stdlib.Bytes.sub
00116aecmov [rsp], rax
00116af0lea rax, [rip+0x1ffea9]
00116af7mov rax, [rax+168]
00116afemov rax, [rax]
00116b01cmp rax, 3
00116b05je 0x116c44
00116b0bmov eax, 71
00116b10call camlLexstate.is_plain_833
00116b15cmp rax, 1
00116b19je 0x116c44
00116b1fmov rdi, [rsp]
00116b23mov rax, [rdi-8]
00116b27shr rax, 10
00116b2blea rax, [8*rax-1]
00116b33movzx rbx, [rdi+rax]
00116b38sub rax, rbx
00116b3bcmp rax, 1
00116b3fjbe 0x1173bf
00116b45movzx rax, [rdi+1]
00116b4alea rbx, [rax+rax-97]
00116b4flea r11, [rip+194]
00116b56push r11
00116b58push [r14+48]
00116b5cmov [r14+48], rsp
00116b60lea rax, [rip+0x1ffe39]
00116b67mov rax, [rax+224]
00116b6emov rax, [rax]
00116b71cmp rax, 1
00116b75je 0x116bc0
00116b77sub r15, 40
00116b7bcmp r15, [r14]
00116b7ejb 0x1173ab
00116b84
00116b84loc_116b84:
00116b84lea rax, [r15+8]
00116b88mov [rax-8], 4343
00116b90lea rdi, [rip+0x10d99]
00116b97mov [rax], rdi
00116b9amov rdi, 0x100000000000005
00116ba4mov [rax+8], rdi
00116ba8mov rdi, [rsp+40]
00116badadd rdi, -24
00116bb1mov [rax+16], rdi
00116bb5mov rdi, [rsp+32]
00116bbamov [rax+24], rdi
00116bbejmp 0x116c07
00116bc0
00116bc0loc_116bc0:
00116bc0sub r15, 40
00116bc4cmp r15, [r14]
00116bc7jb 0x1173a1
00116bcd
00116bcdloc_116bcd:
00116bcdlea rax, [r15+8]
00116bd1mov [rax-8], 4343
00116bd9lea rdi, [rip+0x10e30]
00116be0mov [rax], rdi
00116be3mov rdi, 0x100000000000005
00116bedmov [rax+8], rdi
00116bf1mov rdi, [rsp+40]
00116bf6add rdi, -24
00116bfamov [rax+16], rdi
00116bfemov rdi, [rsp+32]
00116c03mov [rax+24], rdi
00116c07
00116c07loc_116c07:
00116c07call camlLexstate.scan_arg_855
00116c0cpop [r14+48]
00116c10add rsp, 8
00116c14jmp 0x116c60
00116c16nop
00116c18lea rbx, [rip+0x1ffd81]
00116c1fmov rbx, [rbx+112]
00116c23cmp rax, rbx
00116c26jne 0x116c34
00116c28mov rax, [rsp]
00116c2ccall camlLatexscan.error_subst_top_693
00116c31jmp 0x116c60
00116c33nop
00116c34
00116c34loc_116c34:
00116c34mov rsp, [r14+48]
00116c38pop [r14+48]
00116c3cpop r11
00116c3ejmp r11
00116c41nop [rax]
00116c44
00116c44loc_116c44:
00116c44mov rax, [rsp+24]
00116c49mov rax, [rax+1248]
00116c50mov rbx, [rax+352]
00116c57mov rdi, [rbx]
00116c5amov rax, [rsp]
00116c5ecall rdi
00116c60
00116c60loc_116c60:
00116c60mov rdi, [rsp+24]
00116c65add rdi, -24
00116c69add rdi, 24
00116c6dmov ebx, 1
00116c72mov rax, [rsp+16]
00116c77jmp 0x1166d6
00116c7cmov rax, [rsp+16]
00116c81mov rbx, [rax+32]
00116c85mov rdi, [rax+40]
00116c89sub rdi, rbx
00116c8cinc rdi
00116c8fmov rax, [rax+8]
00116c93call Stdlib.Bytes.sub
00116c98mov rdi, rax
00116c9bmov rax, [rsp+24]
00116ca0mov rdx, [rax+1184]
00116ca7mov rbx, rax
00116caaadd rbx, 648
00116cb1add rax, -24
00116cb5mov rsi, [rsp+16]
00116cbacall camlLatexscan.do_expand_command_1473
00116cbflea rax, [rip+0x1ffcda]
00116cc6mov rax, [rax+160]
00116ccdmov rax, [rax]
00116cd0sar rax, 1
00116cd3cmp rax, 1
00116cd7je 0x116cf8
00116cd9ja 0x116d18
00116cdbmov rdi, [rsp+24]
00116ce0add rdi, -24
00116ce4add rdi, 24
00116ce8mov ebx, 1
00116cedmov rax, [rsp+16]
00116cf2jmp 0x1166d6
00116cf7nop
00116cf8
00116cf8loc_116cf8:
00116cf8mov rdi, [rsp+24]
00116cfdadd rdi, 1040
00116d04mov eax, 1
00116d09mov rbx, [rsp+16]
00116d0eadd rsp, 32
00116d12jmp 0x119450
00116d17nop
00116d18
00116d18loc_116d18:
00116d18mov rdi, [rsp+24]
00116d1dadd rdi, 1040
00116d24mov eax, 3
00116d29mov rbx, [rsp+16]
00116d2eadd rsp, 32
00116d32jmp 0x119450
00116d37nop
00116d38mov rax, [rsp+24]
00116d3dmov rdx, [rax+1184]
00116d44lea rdi, [rip+0x1837c5]
00116d4bmov rbx, rax
00116d4eadd rbx, 648
00116d55add rax, -24
00116d59mov rsi, [rsp+16]
00116d5ecall camlLatexscan.do_expand_command_1473
00116d63mov rdi, [rsp+24]
00116d68add rdi, -24
00116d6cadd rdi, 24
00116d70mov ebx, 1
00116d75mov rax, [rsp+16]
00116d7ajmp 0x1166d6
00116d7fnop
00116d80mov rax, [rsp+24]
00116d85mov rdx, [rax+1184]
00116d8clea rdi, [rip+0x183765]
00116d93mov rbx, rax
00116d96add rbx, 648
00116d9dadd rax, -24
00116da1mov rsi, [rsp+16]
00116da6call camlLatexscan.do_expand_command_1473
00116dabmov rdi, [rsp+24]
00116db0add rdi, -24
00116db4add rdi, 24
00116db8mov ebx, 1
00116dbdmov rax, [rsp+16]
00116dc2jmp 0x1166d6
00116dc7nop
00116dc8mov eax, 1
00116dcdadd rsp, 32
00116dd1ret
00116dd2nop
00116dd4mov rax, [rsp+16]
00116dd9mov rdi, [rax+40]
00116dddmov rbx, [rax+32]
00116de1sub rdi, rbx
00116de4inc rdi
00116de7mov rax, [rax+8]
00116debcall Stdlib.Bytes.sub
00116df0lea rbx, [rip+0x1ffba9]
00116df7mov rbx, [rbx+168]
00116dfemov rbx, [rbx]
00116e01cmp rbx, 3
00116e05je 0x116e9c
00116e0blea rbx, [rip+0x1ffb8e]
00116e12mov rbx, [rbx+136]
00116e19mov rbx, [rbx]
00116e1ccmp rbx, 1
00116e20je 0x116e7c
00116e22sub r15, 16
00116e26cmp r15, [r14]
00116e29jb 0x117397
00116e2f
00116e2floc_116e2f:
00116e2flea rbx, [r15+8]
00116e33mov [rbx-8], 1024
00116e3bmov rdi, [rax-8]
00116e3fshr rdi, 10
00116e43lea rdi, [8*rdi-1]
00116e4bmovzx rax, [rax+rdi]
00116e50sub rdi, rax
00116e53lea rax, [rdi+rdi+1]
00116e58mov [rbx], rax
00116e5bmov rax, [rsp+24]
00116e60mov rax, [rax+1248]
00116e67mov rdi, [rax+480]
00116e6emov eax, 1
00116e73call caml_apply2
00116e78jmp 0x116eb4
00116e7anop
00116e7c
00116e7cloc_116e7c:
00116e7cmov rax, [rsp+24]
00116e81mov rax, [rax+1248]
00116e88mov rbx, [rax+360]
00116e8fmov eax, 65
00116e94mov rdi, [rbx]
00116e97call rdi
00116e99jmp 0x116eb4
00116e9bnop
00116e9c
00116e9cloc_116e9c:
00116e9cmov rbx, [rsp+24]
00116ea1mov rbx, [rbx+1248]
00116ea8mov rbx, [rbx+352]
00116eafmov rdi, [rbx]
00116eb2call rdi
00116eb4
00116eb4loc_116eb4:
00116eb4mov rdi, [rsp+24]
00116eb9add rdi, -24
00116ebdadd rdi, 24
00116ec1mov ebx, 1
00116ec6mov rax, [rsp+16]
00116ecbjmp 0x1166d6
00116ed0mov rax, [rsp+16]
00116ed5mov rdi, [rax+40]
00116ed9mov rbx, [rax+32]
00116eddsub rdi, rbx
00116ee0inc rdi
00116ee3mov rax, [rax+8]
00116ee7call Stdlib.Bytes.sub
00116eeccall camlLatexscan.check_case_1502
00116ef1mov [rsp], rax
00116ef5lea rbx, [rip+0x1ffaa4]
00116efcmov rbx, [rbx+144]
00116f03mov rbx, [rbx]
00116f06cmp rbx, 1
00116f0aje 0x116f54
00116f0clea rbx, [rip+0x1835d5]
00116f13mov rax, [rsp+24]
00116f18add rax, -24
00116f1ccall camlLexstate.scan_this_1185
00116f21mov rax, [rsp+24]
00116f26mov rax, [rax+1248]
00116f2dmov rbx, [rax+352]
00116f34mov rdi, [rbx]
00116f37mov rax, [rsp]
00116f3bcall rdi
00116f3dlea rbx, [rip+0x186f34]
00116f44mov rax, [rsp+24]
00116f49add rax, -24
00116f4dcall camlLexstate.scan_this_1185
00116f52jmp 0x116f6c
00116f54
00116f54loc_116f54:
00116f54mov rbx, [rsp+24]
00116f59mov rbx, [rbx+1248]
00116f60mov rbx, [rbx+352]
00116f67mov rdi, [rbx]
00116f6acall rdi
00116f6c
00116f6cloc_116f6c:
00116f6cmov rdi, [rsp+24]
00116f71add rdi, -24
00116f75add rdi, 24
00116f79mov ebx, 1
00116f7emov rax, [rsp+16]
00116f83jmp 0x1166d6
00116f88mov rax, [rsp+16]
00116f8dmov rbx, [rax+32]
00116f91mov rdi, [rax+40]
00116f95sub rdi, rbx
00116f98inc rdi
00116f9bmov rax, [rax+8]
00116f9fcall Stdlib.Bytes.sub
00116fa4mov rbx, [rsp+24]
00116fa9mov rbx, [rbx+1248]
00116fb0mov rbx, [rbx+352]
00116fb7mov rdi, [rbx]
00116fbacall rdi
00116fbcmov rdi, [rsp+24]
00116fc1add rdi, -24
00116fc5add rdi, 24
00116fc9mov ebx, 1
00116fcemov rax, [rsp+16]
00116fd3jmp 0x1166d6
00116fd8mov rax, [rsp+24]
00116fddmov rdx, [rax+1184]
00116fe4lea rdi, [rip+0x1834e5]
00116febmov rbx, rax
00116feeadd rbx, 648
00116ff5add rax, -24
00116ff9mov rsi, [rsp+16]
00116ffecall camlLatexscan.do_expand_command_1473
00117003mov rdi, [rsp+24]
00117008add rdi, -24
0011700cadd rdi, 24
00117010mov ebx, 1
00117015mov rax, [rsp+16]
0011701ajmp 0x1166d6
0011701fnop
00117020mov rax, [rsp+24]
00117025mov rdx, [rax+1184]
0011702clea rdi, [rip+0x18347d]
00117033mov rbx, rax
00117036add rbx, 648
0011703dadd rax, -24
00117041mov rsi, [rsp+16]
00117046call camlLatexscan.do_expand_command_1473
0011704bmov rdi, [rsp+24]
00117050add rdi, -24
00117054add rdi, 24
00117058mov ebx, 1
0011705dmov rax, [rsp+16]
00117062jmp 0x1166d6
00117067nop
00117068mov rax, [rsp+24]
0011706dmov rdx, [rax+1184]
00117074lea rdi, [rip+0x18341d]
0011707bmov rbx, rax
0011707eadd rbx, 648
00117085add rax, -24
00117089mov rsi, [rsp+16]
0011708ecall camlLatexscan.do_expand_command_1473
00117093mov rdi, [rsp+24]
00117098add rdi, -24
0011709cadd rdi, 24
001170a0mov ebx, 1
001170a5mov rax, [rsp+16]
001170aajmp 0x1166d6
001170afnop
001170b0mov rax, [rsp+24]
001170b5mov rdx, [rax+1184]
001170bclea rdi, [rip+0x1833bd]
001170c3mov rbx, rax
001170c6add rbx, 648
001170cdadd rax, -24
001170d1mov rsi, [rsp+16]
001170d6call camlLatexscan.do_expand_command_1473
001170dbmov rdi, [rsp+24]
001170e0add rdi, -24
001170e4add rdi, 24
001170e8mov ebx, 1
001170edmov rax, [rsp+16]
001170f2jmp 0x1166d6
001170f7nop
001170f8mov rax, [rsp+24]
001170fdmov rdx, [rax+1184]
00117104lea rdi, [rip+0x183355]
0011710bmov rbx, rax
0011710eadd rbx, 648
00117115add rax, -24
00117119mov rsi, [rsp+16]
0011711ecall camlLatexscan.do_expand_command_1473
00117123mov rdi, [rsp+24]
00117128add rdi, -24
0011712cadd rdi, 24
00117130mov ebx, 1
00117135mov rax, [rsp+16]
0011713ajmp 0x1166d6
0011713fnop
00117140mov rax, [rsp+24]
00117145mov rdx, [rax+1184]
0011714clea rdi, [rip+0x1832f5]
00117153mov rbx, rax
00117156add rbx, 648
0011715dadd rax, -24
00117161mov rsi, [rsp+16]
00117166call camlLatexscan.do_expand_command_1473
0011716bmov rdi, [rsp+24]
00117170add rdi, -24
00117174add rdi, 24
00117178mov ebx, 1
0011717dmov rax, [rsp+16]
00117182jmp 0x1166d6
00117187nop
00117188mov eax, 69
0011718dcall camlLexstate.is_plain_833
00117192cmp rax, 1
00117196je 0x1171b8
00117198mov rax, [rsp+24]
0011719dmov rax, [rax+1248]
001171a4mov rbx, [rax+360]
001171abmov eax, 69
001171b0mov rdi, [rbx]
001171b3call rdi
001171b5jmp 0x1171e3
001171b7nop
001171b8
001171b8loc_1171b8:
001171b8mov rax, [rsp+24]
001171bdmov rdx, [rax+1184]
001171c4lea rdi, [rip+0x183265]
001171cbmov rbx, rax
001171ceadd rbx, 648
001171d5add rax, -24
001171d9mov rsi, [rsp+16]
001171decall camlLatexscan.do_expand_command_1473
001171e3
001171e3loc_1171e3:
001171e3mov rdi, [rsp+24]
001171e8add rdi, -24
001171ecadd rdi, 24
001171f0mov ebx, 1
001171f5mov rax, [rsp+16]
001171fajmp 0x1166d6
001171ffnop
00117200mov rdi, [rsp+16]
00117205mov rbx, [rdi+32]
00117209mov rax, rbx
0011720cadd rax, 4
00117210sar rax, 1
00117213mov rdi, [rdi+8]
00117217mov rsi, [rdi-8]
0011721bshr rsi, 10
0011721flea rsi, [8*rsi-1]
00117227movzx rdx, [rdi+rsi]
0011722csub rsi, rdx
0011722fcmp rsi, rax
00117232jbe 0x1173bf
00117238movzx rax, [rdi+rax]
0011723dlea rax, [rax+rax+1]
00117242add rbx, 6
00117246sar rbx, 1
00117249cmp rsi, rbx
0011724cjbe 0x1173bf
00117252movzx rbx, [rdi+rbx]
00117257lea rbx, [rbx+rbx+1]
0011725ccall camlMisc.hexa_code_826
00117261call Stdlib.Char.chr
00117266sub r15, 40
0011726acmp r15, [r14]
0011726djb 0x11738d
00117273
00117273loc_117273:
00117273lea rbx, [r15+8]
00117277mov [rbx-8], 4343
0011727flea rdi, [rip+0x107ba]
00117286mov [rbx], rdi
00117289mov rdi, 0x100000000000005
00117293mov [rbx+8], rdi
00117297mov rsi, [rsp+24]
0011729cmov rdi, rsi
0011729fadd rdi, 32
001172a3mov [rbx+16], rdi
001172a7mov rdi, [rsp+16]
001172acmov [rbx+24], rdi
001172b0mov rdi, [rsi+1208]
001172b7call camlLatexscan.translate_put_unicode_1519
001172bcmov rdi, [rsp+24]
001172c1add rdi, -24
001172c5add rdi, 24
001172c9mov ebx, 1
001172cemov rax, [rsp+16]
001172d3jmp 0x1166d6
001172d8mov rbx, [rsp+16]
001172ddmov rax, [rbx+32]
001172e1sar rax, 1
001172e4mov rbx, [rbx+8]
001172e8mov rdi, [rbx-8]
001172ecshr rdi, 10
001172f0lea rdi, [8*rdi-1]
001172f8movzx rsi, [rbx+rdi]
001172fdsub rdi, rsi
00117300cmp rdi, rax
00117303jbe 0x1173bf
00117309movzx rax, [rbx+rax]
0011730elea rax, [rax+rax+1]
00117313call camlLatexscan.check_case_char_1503
00117318sub r15, 40
0011731ccmp r15, [r14]
0011731fjb 0x117386
00117321
00117321loc_117321:
00117321lea rbx, [r15+8]
00117325mov [rbx-8], 4343
0011732dlea rdi, [rip+0x1071c]
00117334mov [rbx], rdi
00117337mov rdi, 0x100000000000005
00117341mov [rbx+8], rdi
00117345mov rsi, [rsp+24]
0011734amov rdi, rsi
0011734dadd rdi, 32
00117351mov [rbx+16], rdi
00117355mov rdi, [rsp+16]
0011735amov [rbx+24], rdi
0011735emov rdi, [rsi+1208]
00117365call camlLatexscan.translate_put_unicode_1519
0011736amov rdi, [rsp+24]
0011736fadd rdi, -24
00117373add rdi, 24
00117377mov ebx, 1
0011737cmov rax, [rsp+16]
00117381jmp 0x1166d6
00117386
00117386loc_117386:
00117386call caml_call_gc
0011738bjmp 0x117321
0011738d
0011738dloc_11738d:
0011738dcall caml_call_gc
00117392jmp 0x117273
00117397
00117397loc_117397:
00117397call caml_call_gc
0011739cjmp 0x116e2f
001173a1
001173a1loc_1173a1:
001173a1call caml_call_gc
001173a6jmp 0x116bcd
001173ab
001173abloc_1173ab:
001173abcall caml_call_gc
001173b0jmp 0x116b84
001173b5
001173b5loc_1173b5:
001173b5call caml_call_gc
001173bajmp 0x1166ec
001173bf
001173bfloc_1173bf:
001173bfcall caml_ml_array_bound_error
001173c4
001173c4loc_1173c4:
001173c4push 39
001173c6call caml_call_realloc_stack
001173cbpop r10
001173cdjmp 0x1166d2
001166c0
001173d2
001173d2 // align 0x10
001173d2 // align 0x10
001173e0
001173e0camlLatexscan.read_lexbuf_1628:
001173e0mov rdi, rbx
001173e3cmp r15, [r14]
001173e6jbe 0x1173f6
001173e8
001173e8loc_1173e8:
001173e8add rdi, 24
001173ecmov ebx, 69
001173f1jmp 0x117400
001173f6
001173f6loc_1173f6:
001173f6call caml_call_gc
001173fbjmp 0x1173e8
001173e0
001173e0camlLatexscan.read_lexbuf_1628:
001173e0mov rdi, rbx
001173e3cmp r15, [r14]
001173e6jbe 0x1173f6
001173e8
001173e8loc_1173e8:
001173e8add rdi, 24
001173ecmov ebx, 69
001173f1jmp 0x117400
001173f6
001173f6loc_1173f6:
001173f6call caml_call_gc
001173fbjmp 0x1173e8
001173e0
001173fd
001173fd // align 0x10
001173fd // align 0x10
00117400
00117400Latexscan..ocaml_lex_read_lexbuf_rec:
00117400lea r10, [rsp-344]
00117408cmp r10, [r14+40]
0011740cjb 0x117522
00117412
00117412loc_117412:
00117412sub rsp, 24
00117416
00117416loc_117416:
00117416mov rsi, rax
00117419mov [rsp], rsi
0011741dmov [rsp+16], rdi
00117422cmp r15, [r14]
00117425jbe 0x117513
0011742b
0011742bloc_11742b:
0011742blea rax, [rip+0x1831d6]
00117432mov rdi, rsi
00117435call Stdlib.Lexing.engine
0011743acmp rax, 5
0011743ejbe 0x117464
00117440mov [rsp+8], rax
00117445mov rax, [rsp]
00117449mov rbx, [rax]
0011744cmov rdi, [rbx]
0011744fcall rdi
00117451mov rax, [rsp]
00117455mov rbx, [rsp+8]
0011745amov rdi, [rsp+16]
0011745fjmp 0x117416
00117461
00117461 0f 1f 00 ...
00117464
00117464loc_117464:
00117464sar rax, 1
00117467cmp rax, 1
0011746bje 0x11747c
0011746dja 0x1174d8
0011746fmov rax, -1
00117476add rsp, 24
0011747aret
0011747b
0011747b 90 .
0011747c
0011747cloc_11747c:
0011747cmov rdi, [rsp]
00117480mov rbx, [rdi+32]
00117484mov rax, rbx
00117487add rax, 4
0011748bsar rax, 1
0011748emov rdi, [rdi+8]
00117492mov rsi, [rdi-8]
00117496shr rsi, 10
0011749alea rsi, [8*rsi-1]
001174a2movzx rdx, [rdi+rsi]
001174a7sub rsi, rdx
001174aacmp rsi, rax
001174adjbe 0x11751d
001174afmovzx rax, [rdi+rax]
001174b4lea rax, [rax+rax+1]
001174b9add rbx, 6
001174bdsar rbx, 1
001174c0cmp rsi, rbx
001174c3jbe 0x11751d
001174c5movzx rbx, [rdi+rbx]
001174calea rbx, [rbx+rbx+1]
001174cfadd rsp, 24
001174d3jmp 0x1922e0
001174d8
001174d8loc_1174d8:
001174d8mov rbx, [rsp]
001174dcmov rax, [rbx+32]
001174e0sar rax, 1
001174e3mov rbx, [rbx+8]
001174e7mov rdi, [rbx-8]
001174ebshr rdi, 10
001174eflea rdi, [8*rdi-1]
001174f7movzx rsi, [rbx+rdi]
001174fcsub rdi, rsi
001174ffcmp rdi, rax
00117502jbe 0x11751d
00117504movzx rax, [rbx+rax]
00117509lea rax, [rax+rax+1]
0011750eadd rsp, 24
00117512ret
00117513
00117513loc_117513:
00117513call caml_call_gc
00117518jmp 0x11742b
0011751d
0011751dloc_11751d:
0011751dcall caml_ml_array_bound_error
00117522
00117522loc_117522:
00117522push 36
00117524call caml_call_realloc_stack
00117529pop r10
0011752bjmp 0x117412
00117400
00117400Latexscan..ocaml_lex_read_lexbuf_rec:
00117400lea r10, [rsp-344]
00117408cmp r10, [r14+40]
0011740cjb 0x117522
00117412
00117412loc_117412:
00117412sub rsp, 24
00117416
00117416loc_117416:
00117416mov rsi, rax
00117419mov [rsp], rsi
0011741dmov [rsp+16], rdi
00117422cmp r15, [r14]
00117425jbe 0x117513
0011742b
0011742bloc_11742b:
0011742blea rax, [rip+0x1831d6]
00117432mov rdi, rsi
00117435call Stdlib.Lexing.engine
0011743acmp rax, 5
0011743ejbe 0x117464
00117440mov [rsp+8], rax
00117445mov rax, [rsp]
00117449mov rbx, [rax]
0011744cmov rdi, [rbx]
0011744fcall rdi
00117451mov rax, [rsp]
00117455mov rbx, [rsp+8]
0011745amov rdi, [rsp+16]
0011745fjmp 0x117416
00117461
00117461 0f 1f 00 ...
00117464
00117464loc_117464:
00117464sar rax, 1
00117467cmp rax, 1
0011746bje 0x11747c
0011746dja 0x1174d8
0011746fmov rax, -1
00117476add rsp, 24
0011747aret
0011747b
0011747b 90 .
0011747c
0011747cloc_11747c:
0011747cmov rdi, [rsp]
00117480mov rbx, [rdi+32]
00117484mov rax, rbx
00117487add rax, 4
0011748bsar rax, 1
0011748emov rdi, [rdi+8]
00117492mov rsi, [rdi-8]
00117496shr rsi, 10
0011749alea rsi, [8*rsi-1]
001174a2movzx rdx, [rdi+rsi]
001174a7sub rsi, rdx
001174aacmp rsi, rax
001174adjbe 0x11751d
001174afmovzx rax, [rdi+rax]
001174b4lea rax, [rax+rax+1]
001174b9add rbx, 6
001174bdsar rbx, 1
001174c0cmp rsi, rbx
001174c3jbe 0x11751d
001174c5movzx rbx, [rdi+rbx]
001174calea rbx, [rbx+rbx+1]
001174cfadd rsp, 24
001174d3jmp 0x1922e0
001174d8
001174d8loc_1174d8:
001174d8mov rbx, [rsp]
001174dcmov rax, [rbx+32]
001174e0sar rax, 1
001174e3mov rbx, [rbx+8]
001174e7mov rdi, [rbx-8]
001174ebshr rdi, 10
001174eflea rdi, [8*rdi-1]
001174f7movzx rsi, [rbx+rdi]
001174fcsub rdi, rsi
001174ffcmp rdi, rax
00117502jbe 0x11751d
00117504movzx rax, [rbx+rax]
00117509lea rax, [rax+rax+1]
0011750eadd rsp, 24
00117512ret
00117513
00117513loc_117513:
00117513call caml_call_gc
00117518jmp 0x11742b
0011751d
0011751dloc_11751d:
0011751dcall caml_ml_array_bound_error
00117522
00117522loc_117522:
00117522push 36
00117524call caml_call_realloc_stack
00117529pop r10
0011752bjmp 0x117412
00117400
00117530
00117530camlLatexscan.complete_newline_1630:
00117530mov rdi, rbx
00117533cmp r15, [r14]
00117536jbe 0x117546
00117538
00117538loc_117538:
00117538add rdi, 24
0011753cmov ebx, 83
00117541jmp 0x117550
00117546
00117546loc_117546:
00117546call caml_call_gc
0011754bjmp 0x117538
00117530
00117530camlLatexscan.complete_newline_1630:
00117530mov rdi, rbx
00117533cmp r15, [r14]
00117536jbe 0x117546
00117538
00117538loc_117538:
00117538add rdi, 24
0011753cmov ebx, 83
00117541jmp 0x117550
00117546
00117546loc_117546:
00117546call caml_call_gc
0011754bjmp 0x117538
00117530
0011754d
0011754d // align 0x10
0011754d // align 0x10
00117550
00117550Latexscan..ocaml_lex_complete_newline_rec:
00117550lea r10, [rsp-344]
00117558cmp r10, [r14+40]
0011755cjb 0x1175d2
0011755e
0011755eloc_11755e:
0011755esub rsp, 24
00117562
00117562loc_117562:
00117562mov rsi, rax
00117565mov [rsp], rsi
00117569mov [rsp+16], rdi
0011756ecmp r15, [r14]
00117571jbe 0x1175cb
00117573
00117573loc_117573:
00117573lea rax, [rip+0x18308e]
0011757amov rdi, rsi
0011757dcall Stdlib.Lexing.engine
00117582cmp rax, 1
00117586je 0x1175ac
00117588mov [rsp+8], rax
0011758dmov rax, [rsp]
00117591mov rbx, [rax]
00117594mov rdi, [rbx]
00117597call rdi
00117599mov rax, [rsp]
0011759dmov rbx, [rsp+8]
001175a2mov rdi, [rsp+16]
001175a7jmp 0x117562
001175a9
001175a9 0f 1f 00 ...
001175ac
001175acloc_1175ac:
001175acmov rax, [rsp]
001175b0mov rdi, [rax+40]
001175b4mov rbx, [rax+32]
001175b8sub rdi, rbx
001175bbinc rdi
001175bemov rax, [rax+8]
001175c2add rsp, 24
001175c6jmp 0x1a63e0
001175cb
001175cbloc_1175cb:
001175cbcall caml_call_gc
001175d0jmp 0x117573
001175d2
001175d2loc_1175d2:
001175d2push 36
001175d4call caml_call_realloc_stack
001175d9pop r10
001175dbjmp 0x11755e
00117550
00117550Latexscan..ocaml_lex_complete_newline_rec:
00117550lea r10, [rsp-344]
00117558cmp r10, [r14+40]
0011755cjb 0x1175d2
0011755e
0011755eloc_11755e:
0011755esub rsp, 24
00117562
00117562loc_117562:
00117562mov rsi, rax
00117565mov [rsp], rsi
00117569mov [rsp+16], rdi
0011756ecmp r15, [r14]
00117571jbe 0x1175cb
00117573
00117573loc_117573:
00117573lea rax, [rip+0x18308e]
0011757amov rdi, rsi
0011757dcall Stdlib.Lexing.engine
00117582cmp rax, 1
00117586je 0x1175ac
00117588mov [rsp+8], rax
0011758dmov rax, [rsp]
00117591mov rbx, [rax]
00117594mov rdi, [rbx]
00117597call rdi
00117599mov rax, [rsp]
0011759dmov rbx, [rsp+8]
001175a2mov rdi, [rsp+16]
001175a7jmp 0x117562
001175a9
001175a9 0f 1f 00 ...
001175ac
001175acloc_1175ac:
001175acmov rax, [rsp]
001175b0mov rdi, [rax+40]
001175b4mov rbx, [rax+32]
001175b8sub rdi, rbx
001175bbinc rdi
001175bemov rax, [rax+8]
001175c2add rsp, 24
001175c6jmp 0x1a63e0
001175cb
001175cbloc_1175cb:
001175cbcall caml_call_gc
001175d0jmp 0x117573
001175d2
001175d2loc_1175d2:
001175d2push 36
001175d4call caml_call_realloc_stack
001175d9pop r10
001175dbjmp 0x11755e
00117550
001175dd
001175dd // align 0x10
001175dd // align 0x10
001175e0
001175e0camlLatexscan.latex2html_latexonly_1632:
001175e0mov rdi, rbx
001175e3cmp r15, [r14]
001175e6jbe 0x1175f6
001175e8
001175e8loc_1175e8:
001175e8add rdi, 24
001175ecmov ebx, 87
001175f1jmp 0x117600
001175f6
001175f6loc_1175f6:
001175f6call caml_call_gc
001175fbjmp 0x1175e8
001175e0
001175e0camlLatexscan.latex2html_latexonly_1632:
001175e0mov rdi, rbx
001175e3cmp r15, [r14]
001175e6jbe 0x1175f6
001175e8
001175e8loc_1175e8:
001175e8add rdi, 24
001175ecmov ebx, 87
001175f1jmp 0x117600
001175f6
001175f6loc_1175f6:
001175f6call caml_call_gc
001175fbjmp 0x1175e8
001175e0
001175fd
001175fd // align 0x10
001175fd // align 0x10
00117600
00117600Latexscan..ocaml_lex_latex2html_latexonly_rec:
00117600lea r10, [rsp-344]
00117608cmp r10, [r14+40]
0011760cjb 0x1176a7
00117612
00117612loc_117612:
00117612sub rsp, 24
00117616
00117616loc_117616:
00117616mov rsi, rax
00117619mov [rsp], rsi
0011761dmov [rsp+16], rdi
00117622cmp r15, [r14]
00117625jbe 0x1176a0
00117627
00117627loc_117627:
00117627lea rax, [rip+0x182fda]
0011762emov rdi, rsi
00117631call Stdlib.Lexing.engine
00117636cmp rax, 5
0011763ajbe 0x117660
0011763cmov [rsp+8], rax
00117641mov rax, [rsp]
00117645mov rbx, [rax]
00117648mov rdi, [rbx]
0011764bcall rdi
0011764dmov rax, [rsp]
00117651mov rbx, [rsp+8]
00117656mov rdi, [rsp+16]
0011765bjmp 0x117616
0011765d
0011765d 0f 1f 00 ...
00117660
00117660loc_117660:
00117660sar rax, 1
00117663cmp rax, 1
00117667je 0x117678
00117669ja 0x117690
0011766bmov eax, 1
00117670add rsp, 24
00117674ret
00117675
00117675 0f 1f 00 ...
00117678
00117678loc_117678:
00117678mov rdi, [rsp+16]
0011767dadd rdi, -24
00117681add rdi, 24
00117685mov ebx, 87
0011768amov rax, [rsp]
0011768ejmp 0x117616
00117690
00117690loc_117690:
00117690lea rax, [rip+0x182d69]
00117697add rsp, 24
0011769bjmp 0x191ae0
001176a0
001176a0loc_1176a0:
001176a0call caml_call_gc
001176a5jmp 0x117627
001176a7
001176a7loc_1176a7:
001176a7push 36
001176a9call caml_call_realloc_stack
001176aepop r10
001176b0jmp 0x117612
00117600
00117600Latexscan..ocaml_lex_latex2html_latexonly_rec:
00117600lea r10, [rsp-344]
00117608cmp r10, [r14+40]
0011760cjb 0x1176a7
00117612
00117612loc_117612:
00117612sub rsp, 24
00117616
00117616loc_117616:
00117616mov rsi, rax
00117619mov [rsp], rsi
0011761dmov [rsp+16], rdi
00117622cmp r15, [r14]
00117625jbe 0x1176a0
00117627
00117627loc_117627:
00117627lea rax, [rip+0x182fda]
0011762emov rdi, rsi
00117631call Stdlib.Lexing.engine
00117636cmp rax, 5
0011763ajbe 0x117660
0011763cmov [rsp+8], rax
00117641mov rax, [rsp]
00117645mov rbx, [rax]
00117648mov rdi, [rbx]
0011764bcall rdi
0011764dmov rax, [rsp]
00117651mov rbx, [rsp+8]
00117656mov rdi, [rsp+16]
0011765bjmp 0x117616
0011765d
0011765d 0f 1f 00 ...
00117660
00117660loc_117660:
00117660sar rax, 1
00117663cmp rax, 1
00117667je 0x117678
00117669ja 0x117690
0011766bmov eax, 1
00117670add rsp, 24
00117674ret
00117675
00117675 0f 1f 00 ...
00117678
00117678loc_117678:
00117678mov rdi, [rsp+16]
0011767dadd rdi, -24
00117681add rdi, 24
00117685mov ebx, 87
0011768amov rax, [rsp]
0011768ejmp 0x117616
00117690
00117690loc_117690:
00117690lea rax, [rip+0x182d69]
00117697add rsp, 24
0011769bjmp 0x191ae0
001176a0
001176a0loc_1176a0:
001176a0call caml_call_gc
001176a5jmp 0x117627
001176a7
001176a7loc_1176a7:
001176a7push 36
001176a9call caml_call_realloc_stack
001176aepop r10
001176b0jmp 0x117612
00117600
001176b5
001176b5 // align 0x10
001176b5 // align 0x10
001176c0
001176c0camlLatexscan.latexonly_1634:
001176c0mov rdi, rbx
001176c3cmp r15, [r14]
001176c6jbe 0x1176d6
001176c8
001176c8loc_1176c8:
001176c8add rdi, 24
001176ccmov ebx, 131
001176d1jmp 0x1176e0
001176d6
001176d6loc_1176d6:
001176d6call caml_call_gc
001176dbjmp 0x1176c8
001176c0
001176c0camlLatexscan.latexonly_1634:
001176c0mov rdi, rbx
001176c3cmp r15, [r14]
001176c6jbe 0x1176d6
001176c8
001176c8loc_1176c8:
001176c8add rdi, 24
001176ccmov ebx, 131
001176d1jmp 0x1176e0
001176d6
001176d6loc_1176d6:
001176d6call caml_call_gc
001176dbjmp 0x1176c8
001176c0
001176dd
001176dd // align 0x10
001176dd // align 0x10
001176e0
001176e0Latexscan..ocaml_lex_latexonly_rec:
001176e0lea r10, [rsp-344]
001176e8cmp r10, [r14+40]
001176ecjb 0x117a34
001176f2
001176f2loc_1176f2:
001176f2sub rsp, 24
001176f6
001176f6loc_1176f6:
001176f6mov rsi, rax
001176f9mov [rsp+8], rsi
001176femov [rsp+16], rdi
00117703cmp r15, [r14]
00117706jbe 0x117a2a
0011770c
0011770cloc_11770c:
0011770clea rax, [rip+0x182ef5]
00117713mov rdi, rsi
00117716call Stdlib.Lexing.engine
0011771bcmp rax, 11
0011771fjbe 0x117744
00117721mov [rsp], rax
00117725mov rax, [rsp+8]
0011772amov rbx, [rax]
0011772dmov rdi, [rbx]
00117730call rdi
00117732mov rax, [rsp+8]
00117737mov rbx, [rsp]
0011773bmov rdi, [rsp+16]
00117740jmp 0x1176f6
00117742nop
00117744
00117744loc_117744:
00117744sar rax, 1
00117747lea rdx, [rip+0x112ed2]
0011774emovsxd rax, [rdx+4*rax]
00117752add rdx, rax
00117755jmp rdx
00117757nop
00117758mov rbx, [rsp+16]
0011775dmov rsi, [rbx+952]
00117764add rbx, -248
0011776bmov eax, 3
00117770mov rdi, [rsp+8]
00117775add rsp, 24
00117779jmp 0x126410
0011777enop
00117780mov rbx, [rsp+16]
00117785add rbx, 32
00117789mov rax, [rsp+8]
0011778ecall camlLatexscan.latex_comment_1636
00117793mov rdi, [rsp+16]
00117798add rdi, -24
0011779cadd rdi, 24
001177a0mov ebx, 131
001177a5mov rax, [rsp+8]
001177aajmp 0x1176f6
001177afnop
001177b0mov rax, [rsp+8]
001177b5call camlLexstate.save_arg_1030
001177bamov rdi, [rax]
001177bdmov [rsp], rdi
001177c1lea rsi, [rip+0x182c20]
001177c8mov rbx, rsp
001177cbmov rsp, [r14+64]
001177cfcall caml_string_equal
001177d4mov rsp, rbx
001177d7cmp rax, 1
001177dbje 0x11782c
001177ddmov rax, [rsp+16]
001177e2mov rbx, [rax+904]
001177e9mov rax, [rbx+24]
001177edmov rax, [rax+128]
001177f4mov rdi, [rbx+16]
001177f8lea rbx, [rip+0x186e69]
001177ffcall camlLatexscan.top_close_block_aux_1030
00117804mov rbx, [rsp+16]
00117809mov rsi, [rbx+952]
00117810add rbx, -248
00117817mov eax, 1
0011781cmov rdi, [rsp+8]
00117821add rsp, 24
00117825jmp 0x126410
0011782anop
0011782c
0011782cloc_11782c:
0011782cmov rax, [rsp+16]
00117831mov rbx, [rax+928]
00117838mov rax, [rbx]
0011783btest al, 1
0011783dje 0x117850
0011783flea rax, [rip+0x213d2a]
00117846call camlMyStack.bottom_285
0011784bjmp 0x117853
0011784dnop [rax]
00117850
00117850loc_117850:
00117850mov rax, [rax]
00117853
00117853loc_117853:
00117853mov rdi, [rsp]
00117857mov rsi, rax
0011785amov rbx, rsp
0011785dmov rsp, [r14+64]
00117861call caml_string_equal
00117866mov rsp, rbx
00117869cmp rax, 1
0011786dje 0x117990
00117873mov rax, [rsp+16]
00117878mov rax, [rax+928]
0011787fcall camlMyStack.pop_292
00117884mov rax, [rsp+16]
00117889mov rdi, [rax+936]
00117890sub r15, 24
00117894cmp r15, [r14]
00117897jb 0x117a20
0011789d
0011789dloc_11789d:
0011789dlea rsi, [r15+8]
001178a1mov [rsi-8], 2048
001178a9mov r12, [rsp]
001178admov [rsi], r12
001178b0mov rax, [rdi]
001178b3mov [rsi+8], rax
001178b7mov rbx, rsp
001178bamov rsp, [r14+64]
001178becall caml_modify
001178c3mov rsp, rbx
001178c6lea rax, [rip+0x2129e3]
001178cdmov rbx, r12
001178d0call camlStdlib.$5e_139
001178d5call camlLatexmacros.find_941
001178damov rax, [rax+8]
001178demovzx rbx, [rax-8]
001178e3test rbx, rbx
001178e6jne 0x117934
001178e8mov rax, [rax]
001178ebsub r15, 24
001178efcmp r15, [r14]
001178f2jb 0x117a16
001178f8
001178f8loc_1178f8:
001178f8lea rsi, [r15+8]
001178fcmov [rsi-8], 2048
00117904mov [rsi], rax
00117907lea rax, [rip+0x1ff092]
0011790emov rax, [rax+728]
00117915mov rdi, [rax]
00117918mov [rsi+8], rdi
0011791cmov rax, [rsp+16]
00117921add rax, -24
00117925mov rbx, [rsp+8]
0011792aadd rsp, 24
0011792ejmp 0x17f6f0
00117933nop
00117934
00117934loc_117934:
00117934lea rbx, [rip+0x1821ed]
0011793bmov rax, [rsp]
0011793fcall camlStdlib.$5e_139
00117944mov rbx, rax
00117947lea rax, [rip+0x182a6a]
0011794ecall camlStdlib.$5e_139
00117953sub r15, 24
00117957cmp r15, [r14]
0011795ajb 0x117a0c
00117960
00117960loc_117960:
00117960lea rbx, [r15+8]
00117964mov [rbx-8], 2048
0011796clea rdi, [rip+0x2126fd]
00117973mov rdi, [rdi+24]
00117977mov [rbx], rdi
0011797amov [rbx+8], rax
0011797emov rax, rbx
00117981mov rsp, [r14+48]
00117985pop [r14+48]
00117989pop r11
0011798bjmp r11
0011798enop
00117990
00117990loc_117990:
00117990mov rdi, [rsp+16]
00117995add rdi, -24
00117999add rdi, 24
0011799dmov ebx, 131
001179a2mov rax, [rsp+8]
001179a7jmp 0x1176f6
001179aclea rax, [rip+0x1fefed]
001179b3mov rax, [rax+344]
001179bamov rax, [rax]
001179bdtest al, 1
001179bfje 0x1179cc
001179c1mov eax, 1
001179c6add rsp, 24
001179caret
001179cbnop
001179cc
001179ccloc_1179cc:
001179ccmov eax, 1
001179d1call camlLexstate.previous_lexbuf_870
001179d6mov rdi, [rsp+16]
001179dbadd rdi, -24
001179dfadd rdi, 24
001179e3mov ebx, 131
001179e8jmp 0x1176f6
001179ednop [rax]
001179f0mov rdi, [rsp+16]
001179f5add rdi, -24
001179f9add rdi, 24
001179fdmov ebx, 131
00117a02mov rax, [rsp+8]
00117a07jmp 0x1176f6
00117a0c
00117a0cloc_117a0c:
00117a0ccall caml_call_gc
00117a11jmp 0x117960
00117a16
00117a16loc_117a16:
00117a16call caml_call_gc
00117a1bjmp 0x1178f8
00117a20
00117a20loc_117a20:
00117a20call caml_call_gc
00117a25jmp 0x11789d
00117a2a
00117a2aloc_117a2a:
00117a2acall caml_call_gc
00117a2fjmp 0x11770c
00117a34
00117a34loc_117a34:
00117a34push 36
00117a36call caml_call_realloc_stack
00117a3bpop r10
00117a3djmp 0x1176f2
001176e0
001176e0Latexscan..ocaml_lex_latexonly_rec:
001176e0lea r10, [rsp-344]
001176e8cmp r10, [r14+40]
001176ecjb 0x117a34
001176f2
001176f2loc_1176f2:
001176f2sub rsp, 24
001176f6
001176f6loc_1176f6:
001176f6mov rsi, rax
001176f9mov [rsp+8], rsi
001176femov [rsp+16], rdi
00117703cmp r15, [r14]
00117706jbe 0x117a2a
0011770c
0011770cloc_11770c:
0011770clea rax, [rip+0x182ef5]
00117713mov rdi, rsi
00117716call Stdlib.Lexing.engine
0011771bcmp rax, 11
0011771fjbe 0x117744
00117721mov [rsp], rax
00117725mov rax, [rsp+8]
0011772amov rbx, [rax]
0011772dmov rdi, [rbx]
00117730call rdi
00117732mov rax, [rsp+8]
00117737mov rbx, [rsp]
0011773bmov rdi, [rsp+16]
00117740jmp 0x1176f6
00117742nop
00117744
00117744loc_117744:
00117744sar rax, 1
00117747lea rdx, [rip+0x112ed2]
0011774emovsxd rax, [rdx+4*rax]
00117752add rdx, rax
00117755jmp rdx
00117757nop
00117758mov rbx, [rsp+16]
0011775dmov rsi, [rbx+952]
00117764add rbx, -248
0011776bmov eax, 3
00117770mov rdi, [rsp+8]
00117775add rsp, 24
00117779jmp 0x126410
0011777enop
00117780mov rbx, [rsp+16]
00117785add rbx, 32
00117789mov rax, [rsp+8]
0011778ecall camlLatexscan.latex_comment_1636
00117793mov rdi, [rsp+16]
00117798add rdi, -24
0011779cadd rdi, 24
001177a0mov ebx, 131
001177a5mov rax, [rsp+8]
001177aajmp 0x1176f6
001177afnop
001177b0mov rax, [rsp+8]
001177b5call camlLexstate.save_arg_1030
001177bamov rdi, [rax]
001177bdmov [rsp], rdi
001177c1lea rsi, [rip+0x182c20]
001177c8mov rbx, rsp
001177cbmov rsp, [r14+64]
001177cfcall caml_string_equal
001177d4mov rsp, rbx
001177d7cmp rax, 1
001177dbje 0x11782c
001177ddmov rax, [rsp+16]
001177e2mov rbx, [rax+904]
001177e9mov rax, [rbx+24]
001177edmov rax, [rax+128]
001177f4mov rdi, [rbx+16]
001177f8lea rbx, [rip+0x186e69]
001177ffcall camlLatexscan.top_close_block_aux_1030
00117804mov rbx, [rsp+16]
00117809mov rsi, [rbx+952]
00117810add rbx, -248
00117817mov eax, 1
0011781cmov rdi, [rsp+8]
00117821add rsp, 24
00117825jmp 0x126410
0011782anop
0011782c
0011782cloc_11782c:
0011782cmov rax, [rsp+16]
00117831mov rbx, [rax+928]
00117838mov rax, [rbx]
0011783btest al, 1
0011783dje 0x117850
0011783flea rax, [rip+0x213d2a]
00117846call camlMyStack.bottom_285
0011784bjmp 0x117853
0011784dnop [rax]
00117850
00117850loc_117850:
00117850mov rax, [rax]
00117853
00117853loc_117853:
00117853mov rdi, [rsp]
00117857mov rsi, rax
0011785amov rbx, rsp
0011785dmov rsp, [r14+64]
00117861call caml_string_equal
00117866mov rsp, rbx
00117869cmp rax, 1
0011786dje 0x117990
00117873mov rax, [rsp+16]
00117878mov rax, [rax+928]
0011787fcall camlMyStack.pop_292
00117884mov rax, [rsp+16]
00117889mov rdi, [rax+936]
00117890sub r15, 24
00117894cmp r15, [r14]
00117897jb 0x117a20
0011789d
0011789dloc_11789d:
0011789dlea rsi, [r15+8]
001178a1mov [rsi-8], 2048
001178a9mov r12, [rsp]
001178admov [rsi], r12
001178b0mov rax, [rdi]
001178b3mov [rsi+8], rax
001178b7mov rbx, rsp
001178bamov rsp, [r14+64]
001178becall caml_modify
001178c3mov rsp, rbx
001178c6lea rax, [rip+0x2129e3]
001178cdmov rbx, r12
001178d0call camlStdlib.$5e_139
001178d5call camlLatexmacros.find_941
001178damov rax, [rax+8]
001178demovzx rbx, [rax-8]
001178e3test rbx, rbx
001178e6jne 0x117934
001178e8mov rax, [rax]
001178ebsub r15, 24
001178efcmp r15, [r14]
001178f2jb 0x117a16
001178f8
001178f8loc_1178f8:
001178f8lea rsi, [r15+8]
001178fcmov [rsi-8], 2048
00117904mov [rsi], rax
00117907lea rax, [rip+0x1ff092]
0011790emov rax, [rax+728]
00117915mov rdi, [rax]
00117918mov [rsi+8], rdi
0011791cmov rax, [rsp+16]
00117921add rax, -24
00117925mov rbx, [rsp+8]
0011792aadd rsp, 24
0011792ejmp 0x17f6f0
00117933nop
00117934
00117934loc_117934:
00117934lea rbx, [rip+0x1821ed]
0011793bmov rax, [rsp]
0011793fcall camlStdlib.$5e_139
00117944mov rbx, rax
00117947lea rax, [rip+0x182a6a]
0011794ecall camlStdlib.$5e_139
00117953sub r15, 24
00117957cmp r15, [r14]
0011795ajb 0x117a0c
00117960
00117960loc_117960:
00117960lea rbx, [r15+8]
00117964mov [rbx-8], 2048
0011796clea rdi, [rip+0x2126fd]
00117973mov rdi, [rdi+24]
00117977mov [rbx], rdi
0011797amov [rbx+8], rax
0011797emov rax, rbx
00117981mov rsp, [r14+48]
00117985pop [r14+48]
00117989pop r11
0011798bjmp r11
0011798enop
00117990
00117990loc_117990:
00117990mov rdi, [rsp+16]
00117995add rdi, -24
00117999add rdi, 24
0011799dmov ebx, 131
001179a2mov rax, [rsp+8]
001179a7jmp 0x1176f6
001179aclea rax, [rip+0x1fefed]
001179b3mov rax, [rax+344]
001179bamov rax, [rax]
001179bdtest al, 1
001179bfje 0x1179cc
001179c1mov eax, 1
001179c6add rsp, 24
001179caret
001179cbnop
001179cc
001179ccloc_1179cc:
001179ccmov eax, 1
001179d1call camlLexstate.previous_lexbuf_870
001179d6mov rdi, [rsp+16]
001179dbadd rdi, -24
001179dfadd rdi, 24
001179e3mov ebx, 131
001179e8jmp 0x1176f6
001179ednop [rax]
001179f0mov rdi, [rsp+16]
001179f5add rdi, -24
001179f9add rdi, 24
001179fdmov ebx, 131
00117a02mov rax, [rsp+8]
00117a07jmp 0x1176f6
00117a0c
00117a0cloc_117a0c:
00117a0ccall caml_call_gc
00117a11jmp 0x117960
00117a16
00117a16loc_117a16:
00117a16call caml_call_gc
00117a1bjmp 0x1178f8
00117a20
00117a20loc_117a20:
00117a20call caml_call_gc
00117a25jmp 0x11789d
00117a2a
00117a2aloc_117a2a:
00117a2acall caml_call_gc
00117a2fjmp 0x11770c
00117a34
00117a34loc_117a34:
00117a34push 36
00117a36call caml_call_realloc_stack
00117a3bpop r10
00117a3djmp 0x1176f2
001176e0
00117a42
00117a42 // align 0x10
00117a42 // align 0x10
00117a50
00117a50camlLatexscan.latex_comment_1636:
00117a50mov rdi, rbx
00117a53cmp r15, [r14]
00117a56jbe 0x117a66
00117a58
00117a58loc_117a58:
00117a58add rdi, 24
00117a5cmov ebx, 205
00117a61jmp 0x117a70
00117a66
00117a66loc_117a66:
00117a66call caml_call_gc
00117a6bjmp 0x117a58
00117a50
00117a50camlLatexscan.latex_comment_1636:
00117a50mov rdi, rbx
00117a53cmp r15, [r14]
00117a56jbe 0x117a66
00117a58
00117a58loc_117a58:
00117a58add rdi, 24
00117a5cmov ebx, 205
00117a61jmp 0x117a70
00117a66
00117a66loc_117a66:
00117a66call caml_call_gc
00117a6bjmp 0x117a58
00117a50
00117a6d
00117a6d // align 0x10
00117a6d // align 0x10
00117a70
00117a70Latexscan..ocaml_lex_latex_comment_rec:
00117a70lea r10, [rsp-344]
00117a78cmp r10, [r14+40]
00117a7cjb 0x117af9
00117a7e
00117a7eloc_117a7e:
00117a7esub rsp, 24
00117a82
00117a82loc_117a82:
00117a82mov rsi, rax
00117a85mov [rsp], rsi
00117a89mov [rsp+16], rdi
00117a8ecmp r15, [r14]
00117a91jbe 0x117af2
00117a93
00117a93loc_117a93:
00117a93lea rax, [rip+0x182b6e]
00117a9amov rdi, rsi
00117a9dcall Stdlib.Lexing.engine
00117aa2cmp rax, 1
00117aa6je 0x117ae8
00117aa8cmp rax, 3
00117aacje 0x117ad0
00117aaemov [rsp+8], rax
00117ab3mov rax, [rsp]
00117ab7mov rbx, [rax]
00117abamov rdi, [rbx]
00117abdcall rdi
00117abfmov rax, [rsp]
00117ac3mov rbx, [rsp+8]
00117ac8mov rdi, [rsp+16]
00117acdjmp 0x117a82
00117acf
00117acf 90 .
00117ad0
00117ad0loc_117ad0:
00117ad0mov rdi, [rsp+16]
00117ad5add rdi, -24
00117ad9add rdi, 24
00117addmov ebx, 205
00117ae2mov rax, [rsp]
00117ae6jmp 0x117a82
00117ae8
00117ae8loc_117ae8:
00117ae8mov eax, 1
00117aedadd rsp, 24
00117af1ret
00117af2
00117af2loc_117af2:
00117af2call caml_call_gc
00117af7jmp 0x117a93
00117af9
00117af9loc_117af9:
00117af9push 36
00117afbcall caml_call_realloc_stack
00117b00pop r10
00117b02jmp 0x117a7e
00117a70
00117a70Latexscan..ocaml_lex_latex_comment_rec:
00117a70lea r10, [rsp-344]
00117a78cmp r10, [r14+40]
00117a7cjb 0x117af9
00117a7e
00117a7eloc_117a7e:
00117a7esub rsp, 24
00117a82
00117a82loc_117a82:
00117a82mov rsi, rax
00117a85mov [rsp], rsi
00117a89mov [rsp+16], rdi
00117a8ecmp r15, [r14]
00117a91jbe 0x117af2
00117a93
00117a93loc_117a93:
00117a93lea rax, [rip+0x182b6e]
00117a9amov rdi, rsi
00117a9dcall Stdlib.Lexing.engine
00117aa2cmp rax, 1
00117aa6je 0x117ae8
00117aa8cmp rax, 3
00117aacje 0x117ad0
00117aaemov [rsp+8], rax
00117ab3mov rax, [rsp]
00117ab7mov rbx, [rax]
00117abamov rdi, [rbx]
00117abdcall rdi
00117abfmov rax, [rsp]
00117ac3mov rbx, [rsp+8]
00117ac8mov rdi, [rsp+16]
00117acdjmp 0x117a82
00117acf
00117acf 90 .
00117ad0
00117ad0loc_117ad0:
00117ad0mov rdi, [rsp+16]
00117ad5add rdi, -24
00117ad9add rdi, 24
00117addmov ebx, 205
00117ae2mov rax, [rsp]
00117ae6jmp 0x117a82
00117ae8
00117ae8loc_117ae8:
00117ae8mov eax, 1
00117aedadd rsp, 24
00117af1ret
00117af2
00117af2loc_117af2:
00117af2call caml_call_gc
00117af7jmp 0x117a93
00117af9
00117af9loc_117af9:
00117af9push 36
00117afbcall caml_call_realloc_stack
00117b00pop r10
00117b02jmp 0x117a7e
00117a70
00117b07
00117b07 // align 0x10
00117b07 // align 0x10
00117b10
00117b10camlLatexscan.image_1638:
00117b10mov rdi, rbx
00117b13cmp r15, [r14]
00117b16jbe 0x117b26
00117b18
00117b18loc_117b18:
00117b18add rdi, 24
00117b1cmov ebx, 211
00117b21jmp 0x117b30
00117b26
00117b26loc_117b26:
00117b26call caml_call_gc
00117b2bjmp 0x117b18
00117b10
00117b10camlLatexscan.image_1638:
00117b10mov rdi, rbx
00117b13cmp r15, [r14]
00117b16jbe 0x117b26
00117b18
00117b18loc_117b18:
00117b18add rdi, 24
00117b1cmov ebx, 211
00117b21jmp 0x117b30
00117b26
00117b26loc_117b26:
00117b26call caml_call_gc
00117b2bjmp 0x117b18
00117b10
00117b2d
00117b2d // align 0x10
00117b2d // align 0x10
00117b30
00117b30Latexscan..ocaml_lex_image_rec:
00117b30lea r10, [rsp-376]
00117b38cmp r10, [r14+40]
00117b3cjb 0x11857b
00117b42
00117b42loc_117b42:
00117b42sub rsp, 40
00117b46
00117b46loc_117b46:
00117b46mov rsi, rax
00117b49mov [rsp+24], rsi
00117b4emov [rsp+32], rdi
00117b53cmp r15, [r14]
00117b56jbe 0x11856c
00117b5c
00117b5cloc_117b5c:
00117b5clea rax, [rip+0x182aa5]
00117b63mov rdi, rsi
00117b66call Stdlib.Lexing.engine
00117b6bcmp rax, 15
00117b6fjbe 0x117b94
00117b71mov [rsp], rax
00117b75mov rax, [rsp+24]
00117b7amov rbx, [rax]
00117b7dmov rdi, [rbx]
00117b80call rdi
00117b82mov rax, [rsp+24]
00117b87mov rbx, [rsp]
00117b8bmov rdi, [rsp+32]
00117b90jmp 0x117b46
00117b92nop
00117b94
00117b94loc_117b94:
00117b94sar rax, 1
00117b97lea rdx, [rip+0x112a9a]
00117b9emovsxd rax, [rdx+4*rax]
00117ba2add rdx, rax
00117ba5jmp rdx
00117ba7nop
00117ba8mov rbx, [rsp+32]
00117badmov rsi, [rbx+840]
00117bb4add rbx, -360
00117bbbmov eax, 3
00117bc0mov rdi, [rsp+24]
00117bc5add rsp, 40
00117bc9jmp 0x126410
00117bcenop
00117bd0mov rdi, [rsp+32]
00117bd5add rdi, -24
00117bd9add rdi, 24
00117bddmov ebx, 211
00117be2mov rax, [rsp+24]
00117be7jmp 0x117b46
00117becmov rax, [rsp+24]
00117bf1mov rbx, [rax+32]
00117bf5mov rdi, [rax+40]
00117bf9sub rdi, rbx
00117bfcinc rdi
00117bffmov rax, [rax+8]
00117c03call Stdlib.Bytes.sub
00117c08mov rbx, [rsp+32]
00117c0dmov rbx, [rbx+904]
00117c14mov rbx, [rbx+32]
00117c18mov rdi, [rbx]
00117c1bcall rdi
00117c1dmov rbx, [rsp+32]
00117c22add rbx, 32
00117c26mov rax, [rsp+24]
00117c2bcall camlLatexscan.image_comment_1640
00117c30mov rdi, [rsp+32]
00117c35add rdi, -24
00117c39add rdi, 24
00117c3dmov ebx, 211
00117c42mov rax, [rsp+24]
00117c47jmp 0x117b46
00117c4cmov rax, [rsp+24]
00117c51mov rbx, [rax+32]
00117c55mov rdi, [rax+40]
00117c59sub rdi, rbx
00117c5cinc rdi
00117c5fmov rax, [rax+8]
00117c63call Stdlib.Bytes.sub
00117c68mov [rsp], rax
00117c6cmov rbx, [rax-8]
00117c70shr rbx, 10
00117c74lea rbx, [8*rbx-1]
00117c7cmovzx rdi, [rax+rbx]
00117c81sub rbx, rdi
00117c84cmp rbx, 1
00117c88jbe 0x118576
00117c8emovzx rax, [rax+1]
00117c93lea rbx, [rax+rax-97]
00117c98lea r11, [rip+105]
00117c9fpush r11
00117ca1push [r14+48]
00117ca5mov [r14+48], rsp
00117ca9mov rdi, [rsp+48]
00117caeadd rdi, -24
00117cb2lea rax, [rip+0x1fece7]
00117cb9mov rsi, [rax+656]
00117cc0sub r15, 40
00117cc4cmp r15, [r14]
00117cc7jb 0x118562
00117ccd
00117ccdloc_117ccd:
00117ccdlea rax, [r15+8]
00117cd1mov [rax-8], 4343
00117cd9lea rdx, [rip+64896]
00117ce0mov [rax], rdx
00117ce3mov rdx, 0x100000000000005
00117cedmov [rax+8], rdx
00117cf1mov [rax+16], rdi
00117cf5mov [rax+24], rsi
00117cf9call camlLexstate.scan_arg_855
00117cfepop [r14+48]
00117d02add rsp, 8
00117d06jmp 0x117d34
00117d08lea rbx, [rip+0x1fec91]
00117d0fmov rbx, [rbx+112]
00117d13cmp rax, rbx
00117d16jne 0x117d24
00117d18mov rax, [rsp]
00117d1ccall camlLatexscan.error_subst_top_693
00117d21jmp 0x117d34
00117d23nop
00117d24
00117d24loc_117d24:
00117d24mov rsp, [r14+48]
00117d28pop [r14+48]
00117d2cpop r11
00117d2ejmp r11
00117d31nop [rax]
00117d34
00117d34loc_117d34:
00117d34mov rdi, [rsp+32]
00117d39add rdi, -24
00117d3dadd rdi, 24
00117d41mov ebx, 211
00117d46mov rax, [rsp+24]
00117d4bjmp 0x117b46
00117d50mov rax, [rsp+24]
00117d55mov rbx, [rax+32]
00117d59mov rdi, [rax+40]
00117d5dsub rdi, rbx
00117d60inc rdi
00117d63mov rax, [rax+8]
00117d67call Stdlib.Bytes.sub
00117d6cmov [rsp], rax
00117d70lea rax, [rip+0x2097c9]
00117d77mov rbx, [rax+80]
00117d7bmov [rbx], 3
00117d82mov rax, [rax+64]
00117d86call camlDoOut.reset_705
00117d8bmov rax, [rsp+24]
00117d90call camlLexstate.save_arg_1030
00117d95mov rax, [rax]
00117d98mov [rsp+16], rax
00117d9dlea rax, [rip+0x20979c]
00117da4mov rbx, [rax+80]
00117da8mov [rbx], 1
00117dafmov rax, [rax+64]
00117db3call camlDoOut.to_string_830
00117db8mov [rsp+8], rax
00117dbdlea rsi, [rip+0x185ed4]
00117dc4mov rdi, [rsp+16]
00117dc9mov rbx, rsp
00117dccmov rsp, [r14+64]
00117dd0call caml_string_equal
00117dd5mov rsp, rbx
00117dd8cmp rax, 1
00117ddcje 0x117e2c
00117ddemov rax, [rsp+32]
00117de3mov rbx, [rax+792]
00117deamov rax, [rbx+24]
00117deemov rax, [rax+128]
00117df5mov rdi, [rbx+16]
00117df9lea rbx, [rip+0x186868]
00117e00call camlLatexscan.top_close_block_aux_1030
00117e05mov rbx, [rsp+32]
00117e0amov rsi, [rbx+840]
00117e11add rbx, -360
00117e18mov eax, 1
00117e1dmov rdi, [rsp+24]
00117e22add rsp, 40
00117e26jmp 0x126410
00117e2bnop
00117e2c
00117e2cloc_117e2c:
00117e2cmov rax, [rsp+32]
00117e31mov rbx, [rax+816]
00117e38mov rax, [rbx]
00117e3btest al, 1
00117e3dje 0x117e50
00117e3flea rax, [rip+0x21372a]
00117e46call camlMyStack.bottom_285
00117e4bjmp 0x117e53
00117e4dnop [rax]
00117e50
00117e50loc_117e50:
00117e50mov rax, [rax]
00117e53
00117e53loc_117e53:
00117e53mov rdi, [rsp+16]
00117e58mov rsi, rax
00117e5bmov rbx, rsp
00117e5emov rsp, [r14+64]
00117e62call caml_string_equal
00117e67mov rsp, rbx
00117e6acmp rax, 1
00117e6eje 0x117f94
00117e74mov rax, [rsp+32]
00117e79mov rax, [rax+816]
00117e80call camlMyStack.pop_292
00117e85mov rax, [rsp+32]
00117e8amov rdi, [rax+824]
00117e91sub r15, 24
00117e95cmp r15, [r14]
00117e98jb 0x118558
00117e9e
00117e9eloc_117e9e:
00117e9elea rsi, [r15+8]
00117ea2mov [rsi-8], 2048
00117eaamov r12, [rsp+16]
00117eafmov [rsi], r12
00117eb2mov rax, [rdi]
00117eb5mov [rsi+8], rax
00117eb9mov rbx, rsp
00117ebcmov rsp, [r14+64]
00117ec0call caml_modify
00117ec5mov rsp, rbx
00117ec8lea rax, [rip+0x2123e1]
00117ecfmov rbx, r12
00117ed2call camlStdlib.$5e_139
00117ed7call camlLatexmacros.find_941
00117edcmov rax, [rax+8]
00117ee0movzx rbx, [rax-8]
00117ee5test rbx, rbx
00117ee8jne 0x117f38
00117eeamov rax, [rax]
00117eedsub r15, 24
00117ef1cmp r15, [r14]
00117ef4jb 0x11854e
00117efa
00117efaloc_117efa:
00117efalea rsi, [r15+8]
00117efemov [rsi-8], 2048
00117f06mov [rsi], rax
00117f09lea rax, [rip+0x1fea90]
00117f10mov rax, [rax+728]
00117f17mov rdi, [rax]
00117f1amov [rsi+8], rdi
00117f1emov rax, [rsp+32]
00117f23add rax, -24
00117f27mov rbx, [rsp+24]
00117f2cadd rsp, 40
00117f30jmp 0x17f6f0
00117f35nop [rax]
00117f38
00117f38loc_117f38:
00117f38lea rbx, [rip+0x181be9]
00117f3fmov rax, [rsp+16]
00117f44call camlStdlib.$5e_139
00117f49mov rbx, rax
00117f4clea rax, [rip+0x18243d]
00117f53call camlStdlib.$5e_139
00117f58sub r15, 24
00117f5ccmp r15, [r14]
00117f5fjb 0x118544
00117f65
00117f65loc_117f65:
00117f65lea rbx, [r15+8]
00117f69mov [rbx-8], 2048
00117f71lea rdi, [rip+0x2120f8]
00117f78mov rdi, [rdi+24]
00117f7cmov [rbx], rdi
00117f7fmov [rbx+8], rax
00117f83mov rax, rbx
00117f86mov rsp, [r14+48]
00117f8apop [r14+48]
00117f8epop r11
00117f90jmp r11
00117f93nop
00117f94
00117f94loc_117f94:
00117f94mov rax, [rsp+32]
00117f99mov rax, [rax+904]
00117fa0mov rbx, [rax+32]
00117fa4mov rdi, [rbx]
00117fa7mov rax, [rsp]
00117fabcall rdi
00117fadmov rax, [rsp+32]
00117fb2mov rax, [rax+904]
00117fb9mov rbx, [rax+32]
00117fbdmov rdi, [rbx]
00117fc0mov rax, [rsp+8]
00117fc5call rdi
00117fc7mov rdi, [rsp+32]
00117fccadd rdi, -24
00117fd0add rdi, 24
00117fd4mov ebx, 211
00117fd9mov rax, [rsp+24]
00117fdejmp 0x117b46
00117fe3nop
00117fe4mov rax, [rsp+24]
00117fe9mov rdi, [rax+40]
00117fedmov rbx, [rax+32]
00117ff1sub rdi, rbx
00117ff4inc rdi
00117ff7mov rax, [rax+8]
00117ffbcall Stdlib.Bytes.sub
00118000mov rdi, rax
00118003mov [rsp], rdi
00118007mov rax, [rdi-8]
0011800bshr rax, 10
0011800fcmp rax, 4
00118013jge 0x11821c
00118019dec rax
0011801ccmp rax, 1
00118020je 0x118058
00118022ja 0x11814c
00118028mov rax, [rdi]
0011802bmov rbx, 0x20000666564675c
00118035cmp rax, rbx
00118038je 0x11823c
0011803emov rbx, 0x30000006665645c
00118048cmp rax, rbx
0011804bje 0x11823c
00118051jmp 0x11821c
00118056nop
00118058
00118058loc_118058:
00118058mov rax, [rdi]
0011805bmov rbx, 0x6d6d6f6377656e5c
00118065cmp rax, rbx
00118068jge 0x1180c8
0011806amov rbx, 0x656469766f72705c
00118074cmp rax, rbx
00118077jne 0x118098
00118079mov rax, [rdi+8]
0011807dmov rbx, 0x646e616d6d6f63
00118087cmp rax, rbx
0011808aje 0x118308
00118090jmp 0x11821c
00118095nop [rax]
00118098
00118098loc_118098:
00118098mov rbx, 0x69766e6577656e5c
001180a2cmp rax, rbx
001180a5jne 0x11821c
001180abmov rax, [rdi+8]
001180afmov rbx, 0x746e656d6e6f72
001180b9cmp rax, rbx
001180bcje 0x118398
001180c2jmp 0x11821c
001180c7nop
001180c8
001180c8loc_1180c8:
001180c8mov rbx, 0x6d6d6f6377656e5c
001180d2cmp rax, rbx
001180d5jne 0x118108
001180d7mov rax, [rdi+8]
001180dbmov rbx, 0x30000002a646e61
001180e5cmp rax, rbx
001180e8je 0x118308
001180eemov rbx, 0x400000000646e61
001180f8cmp rax, rbx
001180fbje 0x118308
00118101jmp 0x11821c
00118106nop
00118108
00118108loc_118108:
00118108mov rbx, 0x6f6377656e65725c
00118112cmp rax, rbx
00118115jne 0x11821c
0011811bmov rax, [rdi+8]
0011811fmov rbx, 0x1002a646e616d6d
00118129cmp rax, rbx
0011812cje 0x118308
00118132mov rbx, 0x20000646e616d6d
0011813ccmp rax, rbx
0011813fje 0x118308
00118145jmp 0x11821c
0011814anop
0011814c
0011814cloc_11814c:
0011814cmov rax, [rdi]
0011814fmov rbx, 0x656469766f72705c
00118159cmp rax, rbx
0011815cjne 0x118194
0011815emov rax, [rdi+8]
00118162mov rbx, 0x2a646e616d6d6f63
0011816ccmp rax, rbx
0011816fjne 0x11821c
00118175mov rax, [rdi+16]
00118179mov rbx, 0x700000000000000
00118183cmp rax, rbx
00118186je 0x118308
0011818cjmp 0x11821c
00118191nop [rax]
00118194
00118194loc_118194:
00118194mov rbx, 0x69766e6577656e5c
0011819ecmp rax, rbx
001181a1jne 0x1181d0
001181a3mov rax, [rdi+8]
001181a7mov rbx, 0x2a746e656d6e6f72
001181b1cmp rax, rbx
001181b4jne 0x11821c
001181b6mov rax, [rdi+16]
001181bamov rbx, 0x700000000000000
001181c4cmp rax, rbx
001181c7je 0x118398
001181cdjmp 0x11821c
001181cfnop
001181d0
001181d0loc_1181d0:
001181d0mov rbx, 0x6e6577656e65725c
001181dacmp rax, rbx
001181ddjne 0x11821c
001181dfmov rax, [rdi+8]
001181e3mov rbx, 0x6e656d6e6f726976
001181edcmp rax, rbx
001181f0jne 0x11821c
001181f2mov rax, [rdi+16]
001181f6mov rbx, 0x500000000002a74
00118200cmp rax, rbx
00118203je 0x118398
00118209mov rbx, 0x600000000000074
00118213cmp rax, rbx
00118216je 0x118398
0011821c
0011821cloc_11821c:
0011821cmov rax, [rsp+32]
00118221mov rax, [rax+904]
00118228mov rbx, [rax+32]
0011822cmov rsi, [rbx]
0011822fmov rax, rdi
00118232call rsi
00118234jmp 0x118433
00118239nop [rax]
0011823c
0011823cloc_11823c:
0011823clea rax, [rip+0x2092fd]
00118243mov rbx, [rax+80]
00118247mov [rbx], 3
0011824emov rax, [rax+64]
00118252call camlDoOut.reset_705
00118257mov rax, [rsp+24]
0011825ccall camlLexstate.skip_csname_1146
00118261mov rbx, [rsp+32]
00118266add rbx, 312
0011826dmov rax, [rsp+24]
00118272call camlLatexscan.skip_blanks_1650
00118277lea rax, [rip+0x202ed2]
0011827emov rdi, [rax+248]
00118285add rdi, 24
00118289mov ebx, 249
0011828emov rax, [rsp+24]
00118293call Save..ocaml_lex_defargs_rec
00118298mov rax, [rsp+32]
0011829dmov rax, [rax+904]
001182a4mov rbx, [rax+32]
001182a8mov rdi, [rbx]
001182abmov rax, [rsp]
001182afcall rdi
001182b1lea rax, [rip+0x1fe6e8]
001182b8mov rax, [rax+728]
001182bfmov rax, [rax]
001182c2test al, 1
001182c4je 0x1182d0
001182c6mov rax, [rsp+24]
001182cbcall camlLexstate.save_arg_1030
001182d0
001182d0loc_1182d0:
001182d0lea rax, [rip+0x209269]
001182d7mov rbx, [rax+80]
001182dbmov [rbx], 1
001182e2mov rax, [rax+64]
001182e6call camlDoOut.to_string_830
001182ebmov rbx, [rsp+32]
001182f0mov rbx, [rbx+904]
001182f7mov rbx, [rbx+32]
001182fbmov rdi, [rbx]
001182fecall rdi
00118300jmp 0x118433
00118305nop [rax]
00118308
00118308loc_118308:
00118308lea rax, [rip+0x209231]
0011830fmov rbx, [rax+80]
00118313mov [rbx], 3
0011831amov rax, [rax+64]
0011831ecall camlDoOut.reset_705
00118323mov rax, [rsp+24]
00118328call camlLexstate.save_arg_1030
0011832dlea rax, [rip+0x18201c]
00118334mov rbx, [rsp+24]
00118339call camlLexstate.save_opts_1158
0011833emov rax, [rsp+24]
00118343call camlLexstate.save_arg_1030
00118348mov rax, [rsp+32]
0011834dmov rax, [rax+904]
00118354mov rbx, [rax+32]
00118358mov rdi, [rbx]
0011835bmov rax, [rsp]
0011835fcall rdi
00118361lea rax, [rip+0x2091d8]
00118368mov rbx, [rax+80]
0011836cmov [rbx], 1
00118373mov rax, [rax+64]
00118377call camlDoOut.to_string_830
0011837cmov rbx, [rsp+32]
00118381mov rbx, [rbx+904]
00118388mov rbx, [rbx+32]
0011838cmov rdi, [rbx]
0011838fcall rdi
00118391jmp 0x118433
00118396nop
00118398
00118398loc_118398:
00118398lea rax, [rip+0x2091a1]
0011839fmov rbx, [rax+80]
001183a3mov [rbx], 3
001183aamov rax, [rax+64]
001183aecall camlDoOut.reset_705
001183b3mov rax, [rsp+24]
001183b8call camlLexstate.save_arg_1030
001183bdlea rax, [rip+0x181f8c]
001183c4mov rbx, [rsp+24]
001183c9call camlLexstate.save_opts_1158
001183cemov rax, [rsp+24]
001183d3call camlLexstate.save_arg_1030
001183d8mov rax, [rsp+24]
001183ddcall camlLexstate.save_arg_1030
001183e2mov rax, [rsp+32]
001183e7mov rax, [rax+904]
001183eemov rbx, [rax+32]
001183f2mov rdi, [rbx]
001183f5mov rax, [rsp]
001183f9call rdi
001183fbmov rax, [rsp+32]
00118400mov rax, [rax+904]
00118407mov rax, [rax+32]
0011840bmov [rsp], rax
0011840flea rax, [rip+0x20912a]
00118416mov rbx, [rax+80]
0011841amov [rbx], 1
00118421mov rax, [rax+64]
00118425call camlDoOut.to_string_830
0011842amov rbx, [rsp]
0011842emov rdi, [rbx]
00118431call rdi
00118433
00118433loc_118433:
00118433mov rdi, [rsp+32]
00118438add rdi, -24
0011843cadd rdi, 24
00118440mov ebx, 211
00118445mov rax, [rsp+24]
0011844ajmp 0x117b46
0011844fnop
00118450mov rax, [rsp+24]
00118455mov rbx, [rax+32]
00118459mov rdi, [rax+40]
0011845dsub rdi, rbx
00118460inc rdi
00118463mov rax, [rax+8]
00118467call Stdlib.Bytes.sub
0011846cmov rbx, [rsp+32]
00118471mov rbx, [rbx+904]
00118478mov rbx, [rbx+32]
0011847cmov rdi, [rbx]
0011847fcall rdi
00118481mov rdi, [rsp+32]
00118486add rdi, -24
0011848aadd rdi, 24
0011848emov ebx, 211
00118493mov rax, [rsp+24]
00118498jmp 0x117b46
0011849dnop [rax]
001184a0lea rax, [rip+0x1fe4f9]
001184a7mov rbx, [rax+344]
001184aemov rbx, [rbx]
001184b1test bl, 1
001184b4je 0x11851c
001184b6lea rbx, [rip+0x210183]
001184bdmov rbx, [rbx+88]
001184c1cmp rbx, 1
001184c5jne 0x118510
001184c7mov rax, [rax+776]
001184cemov rax, [rax]
001184d1test al, 1
001184d3je 0x118510
001184d5sub r15, 24
001184d9cmp r15, [r14]
001184dcjb 0x11853d
001184de
001184deloc_1184de:
001184delea rax, [r15+8]
001184e2mov [rax-8], 2048
001184ealea rbx, [rip+0x211b7f]
001184f1mov rbx, [rbx+24]
001184f5mov [rax], rbx
001184f8lea rbx, [rip+0x181e31]
001184ffmov [rax+8], rbx
00118503mov rsp, [r14+48]
00118507pop [r14+48]
0011850bpop r11
0011850djmp r11
00118510
00118510loc_118510:
00118510mov eax, 1
00118515add rsp, 40
00118519ret
0011851anop
0011851c
0011851cloc_11851c:
0011851cmov eax, 1
00118521call camlLexstate.previous_lexbuf_870
00118526mov rdi, [rsp+32]
0011852badd rdi, -24
0011852fadd rdi, 24
00118533mov ebx, 211
00118538jmp 0x117b46
0011853d
0011853dloc_11853d:
0011853dcall caml_call_gc
00118542jmp 0x1184de
00118544
00118544loc_118544:
00118544call caml_call_gc
00118549jmp 0x117f65
0011854e
0011854eloc_11854e:
0011854ecall caml_call_gc
00118553jmp 0x117efa
00118558
00118558loc_118558:
00118558call caml_call_gc
0011855djmp 0x117e9e
00118562
00118562loc_118562:
00118562call caml_call_gc
00118567jmp 0x117ccd
0011856c
0011856cloc_11856c:
0011856ccall caml_call_gc
00118571jmp 0x117b5c
00118576
00118576loc_118576:
00118576call caml_ml_array_bound_error
0011857b
0011857bloc_11857b:
0011857bpush 40
0011857dcall caml_call_realloc_stack
00118582pop r10
00118584jmp 0x117b42
00117b30
00117b30Latexscan..ocaml_lex_image_rec:
00117b30lea r10, [rsp-376]
00117b38cmp r10, [r14+40]
00117b3cjb 0x11857b
00117b42
00117b42loc_117b42:
00117b42sub rsp, 40
00117b46
00117b46loc_117b46:
00117b46mov rsi, rax
00117b49mov [rsp+24], rsi
00117b4emov [rsp+32], rdi
00117b53cmp r15, [r14]
00117b56jbe 0x11856c
00117b5c
00117b5cloc_117b5c:
00117b5clea rax, [rip+0x182aa5]
00117b63mov rdi, rsi
00117b66call Stdlib.Lexing.engine
00117b6bcmp rax, 15
00117b6fjbe 0x117b94
00117b71mov [rsp], rax
00117b75mov rax, [rsp+24]
00117b7amov rbx, [rax]
00117b7dmov rdi, [rbx]
00117b80call rdi
00117b82mov rax, [rsp+24]
00117b87mov rbx, [rsp]
00117b8bmov rdi, [rsp+32]
00117b90jmp 0x117b46
00117b92nop
00117b94
00117b94loc_117b94:
00117b94sar rax, 1
00117b97lea rdx, [rip+0x112a9a]
00117b9emovsxd rax, [rdx+4*rax]
00117ba2add rdx, rax
00117ba5jmp rdx
00117ba7nop
00117ba8mov rbx, [rsp+32]
00117badmov rsi, [rbx+840]
00117bb4add rbx, -360
00117bbbmov eax, 3
00117bc0mov rdi, [rsp+24]
00117bc5add rsp, 40
00117bc9jmp 0x126410
00117bcenop
00117bd0mov rdi, [rsp+32]
00117bd5add rdi, -24
00117bd9add rdi, 24
00117bddmov ebx, 211
00117be2mov rax, [rsp+24]
00117be7jmp 0x117b46
00117becmov rax, [rsp+24]
00117bf1mov rbx, [rax+32]
00117bf5mov rdi, [rax+40]
00117bf9sub rdi, rbx
00117bfcinc rdi
00117bffmov rax, [rax+8]
00117c03call Stdlib.Bytes.sub
00117c08mov rbx, [rsp+32]
00117c0dmov rbx, [rbx+904]
00117c14mov rbx, [rbx+32]
00117c18mov rdi, [rbx]
00117c1bcall rdi
00117c1dmov rbx, [rsp+32]
00117c22add rbx, 32
00117c26mov rax, [rsp+24]
00117c2bcall camlLatexscan.image_comment_1640
00117c30mov rdi, [rsp+32]
00117c35add rdi, -24
00117c39add rdi, 24
00117c3dmov ebx, 211
00117c42mov rax, [rsp+24]
00117c47jmp 0x117b46
00117c4cmov rax, [rsp+24]
00117c51mov rbx, [rax+32]
00117c55mov rdi, [rax+40]
00117c59sub rdi, rbx
00117c5cinc rdi
00117c5fmov rax, [rax+8]
00117c63call Stdlib.Bytes.sub
00117c68mov [rsp], rax
00117c6cmov rbx, [rax-8]
00117c70shr rbx, 10
00117c74lea rbx, [8*rbx-1]
00117c7cmovzx rdi, [rax+rbx]
00117c81sub rbx, rdi
00117c84cmp rbx, 1
00117c88jbe 0x118576
00117c8emovzx rax, [rax+1]
00117c93lea rbx, [rax+rax-97]
00117c98lea r11, [rip+105]
00117c9fpush r11
00117ca1push [r14+48]
00117ca5mov [r14+48], rsp
00117ca9mov rdi, [rsp+48]
00117caeadd rdi, -24
00117cb2lea rax, [rip+0x1fece7]
00117cb9mov rsi, [rax+656]
00117cc0sub r15, 40
00117cc4cmp r15, [r14]
00117cc7jb 0x118562
00117ccd
00117ccdloc_117ccd:
00117ccdlea rax, [r15+8]
00117cd1mov [rax-8], 4343
00117cd9lea rdx, [rip+64896]
00117ce0mov [rax], rdx
00117ce3mov rdx, 0x100000000000005
00117cedmov [rax+8], rdx
00117cf1mov [rax+16], rdi
00117cf5mov [rax+24], rsi
00117cf9call camlLexstate.scan_arg_855
00117cfepop [r14+48]
00117d02add rsp, 8
00117d06jmp 0x117d34
00117d08lea rbx, [rip+0x1fec91]
00117d0fmov rbx, [rbx+112]
00117d13cmp rax, rbx
00117d16jne 0x117d24
00117d18mov rax, [rsp]
00117d1ccall camlLatexscan.error_subst_top_693
00117d21jmp 0x117d34
00117d23nop
00117d24
00117d24loc_117d24:
00117d24mov rsp, [r14+48]
00117d28pop [r14+48]
00117d2cpop r11
00117d2ejmp r11
00117d31nop [rax]
00117d34
00117d34loc_117d34:
00117d34mov rdi, [rsp+32]
00117d39add rdi, -24
00117d3dadd rdi, 24
00117d41mov ebx, 211
00117d46mov rax, [rsp+24]
00117d4bjmp 0x117b46
00117d50mov rax, [rsp+24]
00117d55mov rbx, [rax+32]
00117d59mov rdi, [rax+40]
00117d5dsub rdi, rbx
00117d60inc rdi
00117d63mov rax, [rax+8]
00117d67call Stdlib.Bytes.sub
00117d6cmov [rsp], rax
00117d70lea rax, [rip+0x2097c9]
00117d77mov rbx, [rax+80]
00117d7bmov [rbx], 3
00117d82mov rax, [rax+64]
00117d86call camlDoOut.reset_705
00117d8bmov rax, [rsp+24]
00117d90call camlLexstate.save_arg_1030
00117d95mov rax, [rax]
00117d98mov [rsp+16], rax
00117d9dlea rax, [rip+0x20979c]
00117da4mov rbx, [rax+80]
00117da8mov [rbx], 1
00117dafmov rax, [rax+64]
00117db3call camlDoOut.to_string_830
00117db8mov [rsp+8], rax
00117dbdlea rsi, [rip+0x185ed4]
00117dc4mov rdi, [rsp+16]
00117dc9mov rbx, rsp
00117dccmov rsp, [r14+64]
00117dd0call caml_string_equal
00117dd5mov rsp, rbx
00117dd8cmp rax, 1
00117ddcje 0x117e2c
00117ddemov rax, [rsp+32]
00117de3mov rbx, [rax+792]
00117deamov rax, [rbx+24]
00117deemov rax, [rax+128]
00117df5mov rdi, [rbx+16]
00117df9lea rbx, [rip+0x186868]
00117e00call camlLatexscan.top_close_block_aux_1030
00117e05mov rbx, [rsp+32]
00117e0amov rsi, [rbx+840]
00117e11add rbx, -360
00117e18mov eax, 1
00117e1dmov rdi, [rsp+24]
00117e22add rsp, 40
00117e26jmp 0x126410
00117e2bnop
00117e2c
00117e2cloc_117e2c:
00117e2cmov rax, [rsp+32]
00117e31mov rbx, [rax+816]
00117e38mov rax, [rbx]
00117e3btest al, 1
00117e3dje 0x117e50
00117e3flea rax, [rip+0x21372a]
00117e46call camlMyStack.bottom_285
00117e4bjmp 0x117e53
00117e4dnop [rax]
00117e50
00117e50loc_117e50:
00117e50mov rax, [rax]
00117e53
00117e53loc_117e53:
00117e53mov rdi, [rsp+16]
00117e58mov rsi, rax
00117e5bmov rbx, rsp
00117e5emov rsp, [r14+64]
00117e62call caml_string_equal
00117e67mov rsp, rbx
00117e6acmp rax, 1
00117e6eje 0x117f94
00117e74mov rax, [rsp+32]
00117e79mov rax, [rax+816]
00117e80call camlMyStack.pop_292
00117e85mov rax, [rsp+32]
00117e8amov rdi, [rax+824]
00117e91sub r15, 24
00117e95cmp r15, [r14]
00117e98jb 0x118558
00117e9e
00117e9eloc_117e9e:
00117e9elea rsi, [r15+8]
00117ea2mov [rsi-8], 2048
00117eaamov r12, [rsp+16]
00117eafmov [rsi], r12
00117eb2mov rax, [rdi]
00117eb5mov [rsi+8], rax
00117eb9mov rbx, rsp
00117ebcmov rsp, [r14+64]
00117ec0call caml_modify
00117ec5mov rsp, rbx
00117ec8lea rax, [rip+0x2123e1]
00117ecfmov rbx, r12
00117ed2call camlStdlib.$5e_139
00117ed7call camlLatexmacros.find_941
00117edcmov rax, [rax+8]
00117ee0movzx rbx, [rax-8]
00117ee5test rbx, rbx
00117ee8jne 0x117f38
00117eeamov rax, [rax]
00117eedsub r15, 24
00117ef1cmp r15, [r14]
00117ef4jb 0x11854e
00117efa
00117efaloc_117efa:
00117efalea rsi, [r15+8]
00117efemov [rsi-8], 2048
00117f06mov [rsi], rax
00117f09lea rax, [rip+0x1fea90]
00117f10mov rax, [rax+728]
00117f17mov rdi, [rax]
00117f1amov [rsi+8], rdi
00117f1emov rax, [rsp+32]
00117f23add rax, -24
00117f27mov rbx, [rsp+24]
00117f2cadd rsp, 40
00117f30jmp 0x17f6f0
00117f35nop [rax]
00117f38
00117f38loc_117f38:
00117f38lea rbx, [rip+0x181be9]
00117f3fmov rax, [rsp+16]
00117f44call camlStdlib.$5e_139
00117f49mov rbx, rax
00117f4clea rax, [rip+0x18243d]
00117f53call camlStdlib.$5e_139
00117f58sub r15, 24
00117f5ccmp r15, [r14]
00117f5fjb 0x118544
00117f65
00117f65loc_117f65:
00117f65lea rbx, [r15+8]
00117f69mov [rbx-8], 2048
00117f71lea rdi, [rip+0x2120f8]
00117f78mov rdi, [rdi+24]
00117f7cmov [rbx], rdi
00117f7fmov [rbx+8], rax
00117f83mov rax, rbx
00117f86mov rsp, [r14+48]
00117f8apop [r14+48]
00117f8epop r11
00117f90jmp r11
00117f93nop
00117f94
00117f94loc_117f94:
00117f94mov rax, [rsp+32]
00117f99mov rax, [rax+904]
00117fa0mov rbx, [rax+32]
00117fa4mov rdi, [rbx]
00117fa7mov rax, [rsp]
00117fabcall rdi
00117fadmov rax, [rsp+32]
00117fb2mov rax, [rax+904]
00117fb9mov rbx, [rax+32]
00117fbdmov rdi, [rbx]
00117fc0mov rax, [rsp+8]
00117fc5call rdi
00117fc7mov rdi, [rsp+32]
00117fccadd rdi, -24
00117fd0add rdi, 24
00117fd4mov ebx, 211
00117fd9mov rax, [rsp+24]
00117fdejmp 0x117b46
00117fe3nop
00117fe4mov rax, [rsp+24]
00117fe9mov rdi, [rax+40]
00117fedmov rbx, [rax+32]
00117ff1sub rdi, rbx
00117ff4inc rdi
00117ff7mov rax, [rax+8]
00117ffbcall Stdlib.Bytes.sub
00118000mov rdi, rax
00118003mov [rsp], rdi
00118007mov rax, [rdi-8]
0011800bshr rax, 10
0011800fcmp rax, 4
00118013jge 0x11821c
00118019dec rax
0011801ccmp rax, 1
00118020je 0x118058
00118022ja 0x11814c
00118028mov rax, [rdi]
0011802bmov rbx, 0x20000666564675c
00118035cmp rax, rbx
00118038je 0x11823c
0011803emov rbx, 0x30000006665645c
00118048cmp rax, rbx
0011804bje 0x11823c
00118051jmp 0x11821c
00118056nop
00118058
00118058loc_118058:
00118058mov rax, [rdi]
0011805bmov rbx, 0x6d6d6f6377656e5c
00118065cmp rax, rbx
00118068jge 0x1180c8
0011806amov rbx, 0x656469766f72705c
00118074cmp rax, rbx
00118077jne 0x118098
00118079mov rax, [rdi+8]
0011807dmov rbx, 0x646e616d6d6f63
00118087cmp rax, rbx
0011808aje 0x118308
00118090jmp 0x11821c
00118095nop [rax]
00118098
00118098loc_118098:
00118098mov rbx, 0x69766e6577656e5c
001180a2cmp rax, rbx
001180a5jne 0x11821c
001180abmov rax, [rdi+8]
001180afmov rbx, 0x746e656d6e6f72
001180b9cmp rax, rbx
001180bcje 0x118398
001180c2jmp 0x11821c
001180c7nop
001180c8
001180c8loc_1180c8:
001180c8mov rbx, 0x6d6d6f6377656e5c
001180d2cmp rax, rbx
001180d5jne 0x118108
001180d7mov rax, [rdi+8]
001180dbmov rbx, 0x30000002a646e61
001180e5cmp rax, rbx
001180e8je 0x118308
001180eemov rbx, 0x400000000646e61
001180f8cmp rax, rbx
001180fbje 0x118308
00118101jmp 0x11821c
00118106nop
00118108
00118108loc_118108:
00118108mov rbx, 0x6f6377656e65725c
00118112cmp rax, rbx
00118115jne 0x11821c
0011811bmov rax, [rdi+8]
0011811fmov rbx, 0x1002a646e616d6d
00118129cmp rax, rbx
0011812cje 0x118308
00118132mov rbx, 0x20000646e616d6d
0011813ccmp rax, rbx
0011813fje 0x118308
00118145jmp 0x11821c
0011814anop
0011814c
0011814cloc_11814c:
0011814cmov rax, [rdi]
0011814fmov rbx, 0x656469766f72705c
00118159cmp rax, rbx
0011815cjne 0x118194
0011815emov rax, [rdi+8]
00118162mov rbx, 0x2a646e616d6d6f63
0011816ccmp rax, rbx
0011816fjne 0x11821c
00118175mov rax, [rdi+16]
00118179mov rbx, 0x700000000000000
00118183cmp rax, rbx
00118186je 0x118308
0011818cjmp 0x11821c
00118191nop [rax]
00118194
00118194loc_118194:
00118194mov rbx, 0x69766e6577656e5c
0011819ecmp rax, rbx
001181a1jne 0x1181d0
001181a3mov rax, [rdi+8]
001181a7mov rbx, 0x2a746e656d6e6f72
001181b1cmp rax, rbx
001181b4jne 0x11821c
001181b6mov rax, [rdi+16]
001181bamov rbx, 0x700000000000000
001181c4cmp rax, rbx
001181c7je 0x118398
001181cdjmp 0x11821c
001181cfnop
001181d0
001181d0loc_1181d0:
001181d0mov rbx, 0x6e6577656e65725c
001181dacmp rax, rbx
001181ddjne 0x11821c
001181dfmov rax, [rdi+8]
001181e3mov rbx, 0x6e656d6e6f726976
001181edcmp rax, rbx
001181f0jne 0x11821c
001181f2mov rax, [rdi+16]
001181f6mov rbx, 0x500000000002a74
00118200cmp rax, rbx
00118203je 0x118398
00118209mov rbx, 0x600000000000074
00118213cmp rax, rbx
00118216je 0x118398
0011821c
0011821cloc_11821c:
0011821cmov rax, [rsp+32]
00118221mov rax, [rax+904]
00118228mov rbx, [rax+32]
0011822cmov rsi, [rbx]
0011822fmov rax, rdi
00118232call rsi
00118234jmp 0x118433
00118239nop [rax]
0011823c
0011823cloc_11823c:
0011823clea rax, [rip+0x2092fd]
00118243mov rbx, [rax+80]
00118247mov [rbx], 3
0011824emov rax, [rax+64]
00118252call camlDoOut.reset_705
00118257mov rax, [rsp+24]
0011825ccall camlLexstate.skip_csname_1146
00118261mov rbx, [rsp+32]
00118266add rbx, 312
0011826dmov rax, [rsp+24]
00118272call camlLatexscan.skip_blanks_1650
00118277lea rax, [rip+0x202ed2]
0011827emov rdi, [rax+248]
00118285add rdi, 24
00118289mov ebx, 249
0011828emov rax, [rsp+24]
00118293call Save..ocaml_lex_defargs_rec
00118298mov rax, [rsp+32]
0011829dmov rax, [rax+904]
001182a4mov rbx, [rax+32]
001182a8mov rdi, [rbx]
001182abmov rax, [rsp]
001182afcall rdi
001182b1lea rax, [rip+0x1fe6e8]
001182b8mov rax, [rax+728]
001182bfmov rax, [rax]
001182c2test al, 1
001182c4je 0x1182d0
001182c6mov rax, [rsp+24]
001182cbcall camlLexstate.save_arg_1030
001182d0
001182d0loc_1182d0:
001182d0lea rax, [rip+0x209269]
001182d7mov rbx, [rax+80]
001182dbmov [rbx], 1
001182e2mov rax, [rax+64]
001182e6call camlDoOut.to_string_830
001182ebmov rbx, [rsp+32]
001182f0mov rbx, [rbx+904]
001182f7mov rbx, [rbx+32]
001182fbmov rdi, [rbx]
001182fecall rdi
00118300jmp 0x118433
00118305nop [rax]
00118308
00118308loc_118308:
00118308lea rax, [rip+0x209231]
0011830fmov rbx, [rax+80]
00118313mov [rbx], 3
0011831amov rax, [rax+64]
0011831ecall camlDoOut.reset_705
00118323mov rax, [rsp+24]
00118328call camlLexstate.save_arg_1030
0011832dlea rax, [rip+0x18201c]
00118334mov rbx, [rsp+24]
00118339call camlLexstate.save_opts_1158
0011833emov rax, [rsp+24]
00118343call camlLexstate.save_arg_1030
00118348mov rax, [rsp+32]
0011834dmov rax, [rax+904]
00118354mov rbx, [rax+32]
00118358mov rdi, [rbx]
0011835bmov rax, [rsp]
0011835fcall rdi
00118361lea rax, [rip+0x2091d8]
00118368mov rbx, [rax+80]
0011836cmov [rbx], 1
00118373mov rax, [rax+64]
00118377call camlDoOut.to_string_830
0011837cmov rbx, [rsp+32]
00118381mov rbx, [rbx+904]
00118388mov rbx, [rbx+32]
0011838cmov rdi, [rbx]
0011838fcall rdi
00118391jmp 0x118433
00118396nop
00118398
00118398loc_118398:
00118398lea rax, [rip+0x2091a1]
0011839fmov rbx, [rax+80]
001183a3mov [rbx], 3
001183aamov rax, [rax+64]
001183aecall camlDoOut.reset_705
001183b3mov rax, [rsp+24]
001183b8call camlLexstate.save_arg_1030
001183bdlea rax, [rip+0x181f8c]
001183c4mov rbx, [rsp+24]
001183c9call camlLexstate.save_opts_1158
001183cemov rax, [rsp+24]
001183d3call camlLexstate.save_arg_1030
001183d8mov rax, [rsp+24]
001183ddcall camlLexstate.save_arg_1030
001183e2mov rax, [rsp+32]
001183e7mov rax, [rax+904]
001183eemov rbx, [rax+32]
001183f2mov rdi, [rbx]
001183f5mov rax, [rsp]
001183f9call rdi
001183fbmov rax, [rsp+32]
00118400mov rax, [rax+904]
00118407mov rax, [rax+32]
0011840bmov [rsp], rax
0011840flea rax, [rip+0x20912a]
00118416mov rbx, [rax+80]
0011841amov [rbx], 1
00118421mov rax, [rax+64]
00118425call camlDoOut.to_string_830
0011842amov rbx, [rsp]
0011842emov rdi, [rbx]
00118431call rdi
00118433
00118433loc_118433:
00118433mov rdi, [rsp+32]
00118438add rdi, -24
0011843cadd rdi, 24
00118440mov ebx, 211
00118445mov rax, [rsp+24]
0011844ajmp 0x117b46
0011844fnop
00118450mov rax, [rsp+24]
00118455mov rbx, [rax+32]
00118459mov rdi, [rax+40]
0011845dsub rdi, rbx
00118460inc rdi
00118463mov rax, [rax+8]
00118467call Stdlib.Bytes.sub
0011846cmov rbx, [rsp+32]
00118471mov rbx, [rbx+904]
00118478mov rbx, [rbx+32]
0011847cmov rdi, [rbx]
0011847fcall rdi
00118481mov rdi, [rsp+32]
00118486add rdi, -24
0011848aadd rdi, 24
0011848emov ebx, 211
00118493mov rax, [rsp+24]
00118498jmp 0x117b46
0011849dnop [rax]
001184a0lea rax, [rip+0x1fe4f9]
001184a7mov rbx, [rax+344]
001184aemov rbx, [rbx]
001184b1test bl, 1
001184b4je 0x11851c
001184b6lea rbx, [rip+0x210183]
001184bdmov rbx, [rbx+88]
001184c1cmp rbx, 1
001184c5jne 0x118510
001184c7mov rax, [rax+776]
001184cemov rax, [rax]
001184d1test al, 1
001184d3je 0x118510
001184d5sub r15, 24
001184d9cmp r15, [r14]
001184dcjb 0x11853d
001184de
001184deloc_1184de:
001184delea rax, [r15+8]
001184e2mov [rax-8], 2048
001184ealea rbx, [rip+0x211b7f]
001184f1mov rbx, [rbx+24]
001184f5mov [rax], rbx
001184f8lea rbx, [rip+0x181e31]
001184ffmov [rax+8], rbx
00118503mov rsp, [r14+48]
00118507pop [r14+48]
0011850bpop r11
0011850djmp r11
00118510
00118510loc_118510:
00118510mov eax, 1
00118515add rsp, 40
00118519ret
0011851anop
0011851c
0011851cloc_11851c:
0011851cmov eax, 1
00118521call camlLexstate.previous_lexbuf_870
00118526mov rdi, [rsp+32]
0011852badd rdi, -24
0011852fadd rdi, 24
00118533mov ebx, 211
00118538jmp 0x117b46
0011853d
0011853dloc_11853d:
0011853dcall caml_call_gc
00118542jmp 0x1184de
00118544
00118544loc_118544:
00118544call caml_call_gc
00118549jmp 0x117f65
0011854e
0011854eloc_11854e:
0011854ecall caml_call_gc
00118553jmp 0x117efa
00118558
00118558loc_118558:
00118558call caml_call_gc
0011855djmp 0x117e9e
00118562
00118562loc_118562:
00118562call caml_call_gc
00118567jmp 0x117ccd
0011856c
0011856cloc_11856c:
0011856ccall caml_call_gc
00118571jmp 0x117b5c
00118576
00118576loc_118576:
00118576call caml_ml_array_bound_error
0011857b
0011857bloc_11857b:
0011857bpush 40
0011857dcall caml_call_realloc_stack
00118582pop r10
00118584jmp 0x117b42
00117b30
00118589
00118589 // align 0x10
00118589 // align 0x10
00118590
00118590camlLatexscan.image_comment_1640:
00118590mov rdi, rbx
00118593cmp r15, [r14]
00118596jbe 0x1185a6
00118598
00118598loc_118598:
00118598add rdi, 24
0011859cmov ebx, 291
001185a1jmp 0x1185b0
001185a6
001185a6loc_1185a6:
001185a6call caml_call_gc
001185abjmp 0x118598
00118590
00118590camlLatexscan.image_comment_1640:
00118590mov rdi, rbx
00118593cmp r15, [r14]
00118596jbe 0x1185a6
00118598
00118598loc_118598:
00118598add rdi, 24
0011859cmov ebx, 291
001185a1jmp 0x1185b0
001185a6
001185a6loc_1185a6:
001185a6call caml_call_gc
001185abjmp 0x118598
00118590
001185ad
001185ad // align 0x10
001185ad // align 0x10
001185b0
001185b0Latexscan..ocaml_lex_image_comment_rec:
001185b0lea r10, [rsp-344]
001185b8cmp r10, [r14+40]
001185bcjb 0x1186a1
001185c2
001185c2loc_1185c2:
001185c2sub rsp, 24
001185c6
001185c6loc_1185c6:
001185c6mov rsi, rax
001185c9mov [rsp], rsi
001185cdmov [rsp+16], rdi
001185d2cmp r15, [r14]
001185d5jbe 0x118697
001185db
001185dbloc_1185db:
001185dblea rax, [rip+0x182026]
001185e2mov rdi, rsi
001185e5call Stdlib.Lexing.engine
001185eacmp rax, 5
001185eejbe 0x118614
001185f0mov [rsp+8], rax
001185f5mov rax, [rsp]
001185f9mov rbx, [rax]
001185fcmov rdi, [rbx]
001185ffcall rdi
00118601mov rax, [rsp]
00118605mov rbx, [rsp+8]
0011860amov rdi, [rsp+16]
0011860fjmp 0x1185c6
00118611nop [rax]
00118614
00118614loc_118614:
00118614sar rax, 1
00118617cmp rax, 1
0011861bje 0x118640
0011861dja 0x11864c
0011861fmov rax, [rsp+16]
00118624mov rax, [rax+848]
0011862bmov rbx, [rax+24]
0011862fmov eax, 21
00118634mov rdi, [rbx]
00118637add rsp, 24
0011863bjmp rdi
0011863dnop [rax]
00118640
00118640loc_118640:
00118640mov eax, 1
00118645add rsp, 24
00118649ret
0011864anop
0011864c
0011864cloc_11864c:
0011864cmov rax, [rsp]
00118650mov rbx, [rax+32]
00118654mov rdi, [rax+40]
00118658sub rdi, rbx
0011865binc rdi
0011865emov rax, [rax+8]
00118662call Stdlib.Bytes.sub
00118667mov rbx, [rsp+16]
0011866cmov rbx, [rbx+848]
00118673mov rbx, [rbx+32]
00118677mov rdi, [rbx]
0011867acall rdi
0011867cmov rdi, [rsp+16]
00118681add rdi, -24
00118685add rdi, 24
00118689mov ebx, 291
0011868emov rax, [rsp]
00118692jmp 0x1185c6
00118697
00118697loc_118697:
00118697call caml_call_gc
0011869cjmp 0x1185db
001186a1
001186a1loc_1186a1:
001186a1push 36
001186a3call caml_call_realloc_stack
001186a8pop r10
001186aajmp 0x1185c2
001185b0
001185b0Latexscan..ocaml_lex_image_comment_rec:
001185b0lea r10, [rsp-344]
001185b8cmp r10, [r14+40]
001185bcjb 0x1186a1
001185c2
001185c2loc_1185c2:
001185c2sub rsp, 24
001185c6
001185c6loc_1185c6:
001185c6mov rsi, rax
001185c9mov [rsp], rsi
001185cdmov [rsp+16], rdi
001185d2cmp r15, [r14]
001185d5jbe 0x118697
001185db
001185dbloc_1185db:
001185dblea rax, [rip+0x182026]
001185e2mov rdi, rsi
001185e5call Stdlib.Lexing.engine
001185eacmp rax, 5
001185eejbe 0x118614
001185f0mov [rsp+8], rax
001185f5mov rax, [rsp]
001185f9mov rbx, [rax]
001185fcmov rdi, [rbx]
001185ffcall rdi
00118601mov rax, [rsp]
00118605mov rbx, [rsp+8]
0011860amov rdi, [rsp+16]
0011860fjmp 0x1185c6
00118611nop [rax]
00118614
00118614loc_118614:
00118614sar rax, 1
00118617cmp rax, 1
0011861bje 0x118640
0011861dja 0x11864c
0011861fmov rax, [rsp+16]
00118624mov rax, [rax+848]
0011862bmov rbx, [rax+24]
0011862fmov eax, 21
00118634mov rdi, [rbx]
00118637add rsp, 24
0011863bjmp rdi
0011863dnop [rax]
00118640
00118640loc_118640:
00118640mov eax, 1
00118645add rsp, 24
00118649ret
0011864anop
0011864c
0011864cloc_11864c:
0011864cmov rax, [rsp]
00118650mov rbx, [rax+32]
00118654mov rdi, [rax+40]
00118658sub rdi, rbx
0011865binc rdi
0011865emov rax, [rax+8]
00118662call Stdlib.Bytes.sub
00118667mov rbx, [rsp+16]
0011866cmov rbx, [rbx+848]
00118673mov rbx, [rbx+32]
00118677mov rdi, [rbx]
0011867acall rdi
0011867cmov rdi, [rsp+16]
00118681add rdi, -24
00118685add rdi, 24
00118689mov ebx, 291
0011868emov rax, [rsp]
00118692jmp 0x1185c6
00118697
00118697loc_118697:
00118697call caml_call_gc
0011869cjmp 0x1185db
001186a1
001186a1loc_1186a1:
001186a1push 36
001186a3call caml_call_realloc_stack
001186a8pop r10
001186aajmp 0x1185c2
001185b0
001186af
001186af // align 0x10
001186af // align 0x10
001186b0
001186b0camlLatexscan.mbox_arg_1642:
001186b0mov rdi, rbx
001186b3cmp r15, [r14]
001186b6jbe 0x1186c6
001186b8
001186b8loc_1186b8:
001186b8add rdi, 24
001186bcmov ebx, 299
001186c1jmp 0x1186d0
001186c6
001186c6loc_1186c6:
001186c6call caml_call_gc
001186cbjmp 0x1186b8
001186b0
001186b0camlLatexscan.mbox_arg_1642:
001186b0mov rdi, rbx
001186b3cmp r15, [r14]
001186b6jbe 0x1186c6
001186b8
001186b8loc_1186b8:
001186b8add rdi, 24
001186bcmov ebx, 299
001186c1jmp 0x1186d0
001186c6
001186c6loc_1186c6:
001186c6call caml_call_gc
001186cbjmp 0x1186b8
001186b0
001186cd
001186cd // align 0x10
001186cd // align 0x10
001186d0
001186d0Latexscan..ocaml_lex_mbox_arg_rec:
001186d0lea r10, [rsp-344]
001186d8cmp r10, [r14+40]
001186dcjb 0x11887a
001186e2
001186e2loc_1186e2:
001186e2sub rsp, 24
001186e6
001186e6loc_1186e6:
001186e6mov rsi, rax
001186e9mov [rsp], rsi
001186edmov [rsp+16], rdi
001186f2cmp r15, [r14]
001186f5jbe 0x118870
001186fb
001186fbloc_1186fb:
001186fblea rax, [rip+0x181f06]
00118702mov rdi, rsi
00118705call Stdlib.Lexing.engine
0011870acmp rax, 7
0011870ejbe 0x118734
00118710mov [rsp+8], rax
00118715mov rax, [rsp]
00118719mov rbx, [rax]
0011871cmov rdi, [rbx]
0011871fcall rdi
00118721mov rax, [rsp]
00118725mov rbx, [rsp+8]
0011872amov rdi, [rsp+16]
0011872fjmp 0x1186e6
00118731nop [rax]
00118734
00118734loc_118734:
00118734sar rax, 1
00118737lea rdx, [rip+0x111f1a]
0011873emovsxd rax, [rdx+4*rax]
00118742add rdx, rax
00118745jmp rdx
00118747nop
00118748mov rdi, [rsp+16]
0011874dadd rdi, -24
00118751add rdi, 24
00118755mov ebx, 299
0011875amov rax, [rsp]
0011875ejmp 0x1186e6
00118760lea rax, [rip+0x1fe239]
00118767mov rax, [rax+344]
0011876emov rax, [rax]
00118771test al, 1
00118773je 0x1187b4
00118775sub r15, 24
00118779cmp r15, [r14]
0011877cjb 0x118866
00118782
00118782loc_118782:
00118782lea rax, [r15+8]
00118786mov [rax-8], 2048
0011878elea rbx, [rip+0x2118db]
00118795mov rbx, [rbx+24]
00118799mov [rax], rbx
0011879clea rbx, [rip+0x181b2d]
001187a3mov [rax+8], rbx
001187a7mov rsp, [r14+48]
001187abpop [r14+48]
001187afpop r11
001187b1jmp r11
001187b4
001187b4loc_1187b4:
001187b4mov eax, 1
001187b9call camlLexstate.previous_lexbuf_870
001187bemov [rsp], rax
001187c2lea rax, [rip+0x2118a7]
001187c9mov rax, [rax+80]
001187cdmov rax, [rax]
001187d0cmp rax, 5
001187d4jle 0x1187eb
001187d6lea rax, [rip+0x181b1b]
001187ddcall camlStdlib.prerr_endline_390
001187e2mov rax, [rsp]
001187e6call camlLexstate.pretty_lexbuf_726
001187eb
001187ebloc_1187eb:
001187ebmov rdi, [rsp+16]
001187f0add rdi, -24
001187f4add rdi, 24
001187f8mov ebx, 299
001187fdmov rax, [rsp]
00118801jmp 0x1186e6
00118806nop
00118808mov rax, [rsp+16]
0011880dmov rbx, [rax+688]
00118814mov eax, 1
00118819add rsp, 24
0011881djmp 0x124240
00118822nop
00118824sub r15, 24
00118828cmp r15, [r14]
0011882bjb 0x11885f
0011882d
0011882dloc_11882d:
0011882dlea rax, [r15+8]
00118831mov [rax-8], 2048
00118839lea rbx, [rip+0x211830]
00118840mov rbx, [rbx+24]
00118844mov [rax], rbx
00118847lea rbx, [rip+0x181a4a]
0011884emov [rax+8], rbx
00118852mov rsp, [r14+48]
00118856pop [r14+48]
0011885apop r11
0011885cjmp r11
0011885f
0011885floc_11885f:
0011885fcall caml_call_gc
00118864jmp 0x11882d
00118866
00118866loc_118866:
00118866call caml_call_gc
0011886bjmp 0x118782
00118870
00118870loc_118870:
00118870call caml_call_gc
00118875jmp 0x1186fb
0011887a
0011887aloc_11887a:
0011887apush 36
0011887ccall caml_call_realloc_stack
00118881pop r10
00118883jmp 0x1186e2
001186d0
001186d0Latexscan..ocaml_lex_mbox_arg_rec:
001186d0lea r10, [rsp-344]
001186d8cmp r10, [r14+40]
001186dcjb 0x11887a
001186e2
001186e2loc_1186e2:
001186e2sub rsp, 24
001186e6
001186e6loc_1186e6:
001186e6mov rsi, rax
001186e9mov [rsp], rsi
001186edmov [rsp+16], rdi
001186f2cmp r15, [r14]
001186f5jbe 0x118870
001186fb
001186fbloc_1186fb:
001186fblea rax, [rip+0x181f06]
00118702mov rdi, rsi
00118705call Stdlib.Lexing.engine
0011870acmp rax, 7
0011870ejbe 0x118734
00118710mov [rsp+8], rax
00118715mov rax, [rsp]
00118719mov rbx, [rax]
0011871cmov rdi, [rbx]
0011871fcall rdi
00118721mov rax, [rsp]
00118725mov rbx, [rsp+8]
0011872amov rdi, [rsp+16]
0011872fjmp 0x1186e6
00118731nop [rax]
00118734
00118734loc_118734:
00118734sar rax, 1
00118737lea rdx, [rip+0x111f1a]
0011873emovsxd rax, [rdx+4*rax]
00118742add rdx, rax
00118745jmp rdx
00118747nop
00118748mov rdi, [rsp+16]
0011874dadd rdi, -24
00118751add rdi, 24
00118755mov ebx, 299
0011875amov rax, [rsp]
0011875ejmp 0x1186e6
00118760lea rax, [rip+0x1fe239]
00118767mov rax, [rax+344]
0011876emov rax, [rax]
00118771test al, 1
00118773je 0x1187b4
00118775sub r15, 24
00118779cmp r15, [r14]
0011877cjb 0x118866
00118782
00118782loc_118782:
00118782lea rax, [r15+8]
00118786mov [rax-8], 2048
0011878elea rbx, [rip+0x2118db]
00118795mov rbx, [rbx+24]
00118799mov [rax], rbx
0011879clea rbx, [rip+0x181b2d]
001187a3mov [rax+8], rbx
001187a7mov rsp, [r14+48]
001187abpop [r14+48]
001187afpop r11
001187b1jmp r11
001187b4
001187b4loc_1187b4:
001187b4mov eax, 1
001187b9call camlLexstate.previous_lexbuf_870
001187bemov [rsp], rax
001187c2lea rax, [rip+0x2118a7]
001187c9mov rax, [rax+80]
001187cdmov rax, [rax]
001187d0cmp rax, 5
001187d4jle 0x1187eb
001187d6lea rax, [rip+0x181b1b]
001187ddcall camlStdlib.prerr_endline_390
001187e2mov rax, [rsp]
001187e6call camlLexstate.pretty_lexbuf_726
001187eb
001187ebloc_1187eb:
001187ebmov rdi, [rsp+16]
001187f0add rdi, -24
001187f4add rdi, 24
001187f8mov ebx, 299
001187fdmov rax, [rsp]
00118801jmp 0x1186e6
00118806nop
00118808mov rax, [rsp+16]
0011880dmov rbx, [rax+688]
00118814mov eax, 1
00118819add rsp, 24
0011881djmp 0x124240
00118822nop
00118824sub r15, 24
00118828cmp r15, [r14]
0011882bjb 0x11885f
0011882d
0011882dloc_11882d:
0011882dlea rax, [r15+8]
00118831mov [rax-8], 2048
00118839lea rbx, [rip+0x211830]
00118840mov rbx, [rbx+24]
00118844mov [rax], rbx
00118847lea rbx, [rip+0x181a4a]
0011884emov [rax+8], rbx
00118852mov rsp, [r14+48]
00118856pop [r14+48]
0011885apop r11
0011885cjmp r11
0011885f
0011885floc_11885f:
0011885fcall caml_call_gc
00118864jmp 0x11882d
00118866
00118866loc_118866:
00118866call caml_call_gc
0011886bjmp 0x118782
00118870
00118870loc_118870:
00118870call caml_call_gc
00118875jmp 0x1186fb
0011887a
0011887aloc_11887a:
0011887apush 36
0011887ccall caml_call_realloc_stack
00118881pop r10
00118883jmp 0x1186e2
001186d0
Loading..