File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
00123900
00123900camlLatexscan.top_open_block_1029:
00123900lea r10, [rsp-344]
00123908cmp r10, [r14+40]
0012390cjb 0x123cff
00123912
00123912loc_123912:
00123912sub rsp, 24
00123916mov r13, rax
00123919mov [rsp], r13
0012391dmov rbp, rbx
00123920mov [rsp+16], rbp
00123925mov r12, rdi
00123928mov [rsp+8], r12
0012392dmov rax, [r12+40]
00123932mov rax, [rax]
00123935mov rdi, [r12+48]
0012393asub r15, 24
0012393ecmp r15, [r14]
00123941jb 0x123cf5
00123947
00123947loc_123947:
00123947lea rsi, [r15+8]
0012394bmov [rsi-8], 2048
00123953mov [rsi], rax
00123956mov rax, [rdi]
00123959mov [rsi+8], rax
0012395dmov rbx, rsp
00123960mov rsp, [r14+64]
00123964call caml_modify
00123969mov rsp, rbx
0012396cmov esi, 1
00123971mov rdi, [r12+40]
00123976mov rbx, rsp
00123979mov rsp, [r14+64]
0012397dcall caml_modify
00123982mov rsp, rbx
00123985mov rax, [r13-8]
00123989shr rax, 10
0012398dcmp rax, 4
00123991jge 0x123c58
00123997dec rax
0012399acmp rax, 1
0012399eje 0x123c58
001239a4ja 0x123bfc
001239aamov rax, [r13]
001239aemov rbx, 0x400000000657270
001239b8cmp rax, rbx
001239bbjge 0x123ac0
001239c1mov rbx, 0x79616c70736964
001239cbcmp rax, rbx
001239cejne 0x123a48
001239d0lea rax, [rip+0x1f2fc9]
001239d7mov rbx, [rax+136]
001239demov rbx, [rbx]
001239e1mov rdi, [rax+448]
001239e8sub r15, 24
001239eccmp r15, [r14]
001239efjb 0x123ceb
001239f5
001239f5loc_1239f5:
001239f5lea rsi, [r15+8]
001239f9mov [rsi-8], 2048
00123a01mov [rsi], rbx
00123a04mov rax, [rdi]
00123a07mov [rsi+8], rax
00123a0bmov rbx, rsp
00123a0emov rsp, [r14+64]
00123a12call caml_modify
00123a17mov rsp, rbx
00123a1alea rax, [rip+0x1f2f7f]
00123a21mov rax, [rax+136]
00123a28mov [rax], 3
00123a2fmov rax, [r12+64]
00123a34mov rbx, [rax+184]
00123a3bmov rdi, [rbx]
00123a3emov rax, rbp
00123a41add rsp, 24
00123a45jmp rdi
00123a47nop
00123a48
00123a48loc_123a48:
00123a48mov rbx, 0x20000656c626174
00123a52cmp rax, rbx
00123a55jne 0x123c58
00123a5bmov rbx, [r12+56]
00123a60mov eax, 1
00123a65call camlLatexscan.save_array_state_1023
00123a6amov esi, 1
00123a6fmov r12, [rsp+8]
00123a74mov rdi, [r12+40]
00123a79mov rbx, rsp
00123a7cmov rsp, [r14+64]
00123a80call caml_modify
00123a85mov rsp, rbx
00123a88mov rbx, [r12+32]
00123a8dmov eax, 1
00123a92call camlLatexscan.top_force_item_display_824
00123a97mov rax, [rsp+8]
00123a9cmov rax, [rax+64]
00123aa0mov rsi, [rax+120]
00123aa4lea rbx, [rip+0x1742d5]
00123aabmov eax, 1
00123ab0mov rdi, [rsp+16]
00123ab5add rsp, 24
00123ab9jmp 0xf7370
00123abenop
00123ac0
00123ac0loc_123ac0:
00123ac0mov rbx, 0x400000000657270
00123acacmp rax, rbx
00123acdjne 0x123b88
00123ad3lea rax, [rip+0x1f2ec6]
00123adamov rbx, [rax+136]
00123ae1mov rbx, [rbx]
00123ae4mov rdi, [rax+448]
00123aebsub r15, 24
00123aefcmp r15, [r14]
00123af2jb 0x123ce1
00123af8
00123af8loc_123af8:
00123af8lea rsi, [r15+8]
00123afcmov [rsi-8], 2048
00123b04mov [rsi], rbx
00123b07mov rax, [rdi]
00123b0amov [rsi+8], rax
00123b0emov rbx, rsp
00123b11mov rsp, [r14+64]
00123b15call caml_modify
00123b1amov rsp, rbx
00123b1dlea rax, [rip+0x1f2e7c]
00123b24mov rax, [rax+136]
00123b2bmov rax, [rax]
00123b2ecmp rax, 1
00123b32je 0x123b5f
00123b34mov rax, [r12+64]
00123b39mov rbx, [rax+208]
00123b40mov eax, 1
00123b45mov rdi, [rbx]
00123b48call rdi
00123b4alea rax, [rip+0x1f2e4f]
00123b51mov rax, [rax+136]
00123b58mov [rax], 1
00123b5f
00123b5floc_123b5f:
00123b5fmov rax, [rsp+8]
00123b64mov rax, [rax+64]
00123b68mov rsi, [rax+120]
00123b6clea rbx, [rip+0x1743a5]
00123b73mov eax, 1
00123b78mov rdi, [rsp+16]
00123b7dadd rsp, 24
00123b81jmp 0xf7370
00123b86nop
00123b88
00123b88loc_123b88:
00123b88mov rbx, 0x500000000006474
00123b92cmp rax, rbx
00123b95jne 0x123bcc
00123b97mov rax, [r12+64]
00123b9cmov rsi, [rax+120]
00123ba0lea rbx, [rip+0x174149]
00123ba7mov eax, 1
00123bacmov rdi, rbp
00123bafcall caml_apply3
00123bb4mov rax, [rsp+8]
00123bb9mov rbx, [rax+24]
00123bbdmov eax, 1
00123bc2add rsp, 24
00123bc6jmp 0x122bd0
00123bcbnop
00123bcc
00123bccloc_123bcc:
00123bccmov rbx, 0x500000000007274
00123bd6cmp rax, rbx
00123bd9jne 0x123c58
00123bdbmov rax, [r12+64]
00123be0mov rsi, [rax+120]
00123be4lea rbx, [rip+0x17407d]
00123bebmov eax, 1
00123bf0mov rdi, rbp
00123bf3add rsp, 24
00123bf7jmp 0xf7370
00123bfc
00123bfcloc_123bfc:
00123bfcmov rax, [r13]
00123c00mov rbx, 0x6c6e69406e617073
00123c0acmp rax, rbx
00123c0djne 0x123c58
00123c0fmov rax, [r13+8]
00123c13mov rbx, 0x636f6c6240656e69
00123c1dcmp rax, rbx
00123c20jne 0x123c58
00123c22mov rax, [r13+16]
00123c26mov rbx, 0x60000000000006b
00123c30cmp rax, rbx
00123c33jne 0x123c58
00123c35mov rax, [r12+64]
00123c3amov rsi, [rax+120]
00123c3elea rbx, [rip+0x1741fb]
00123c45lea rax, [rip+0x174244]
00123c4cmov rdi, rbp
00123c4fadd rsp, 24
00123c53jmp 0xf7370
00123c58
00123c58loc_123c58:
00123c58lea rax, [rip+0x1f2d41]
00123c5fmov rax, [rax+136]
00123c66mov rax, [rax]
00123c69cmp rax, 1
00123c6dje 0x123cc4
00123c6fmov rax, [r12+64]
00123c74mov rbx, [rax+208]
00123c7bmov eax, 1
00123c80mov rdi, [rbx]
00123c83call rdi
00123c85mov rax, [rsp+8]
00123c8amov rax, [rax+64]
00123c8emov rsi, [rax+120]
00123c92mov eax, 1
00123c97mov rbx, [rsp]
00123c9bmov rdi, [rsp+16]
00123ca0call caml_apply3
00123ca5mov rax, [rsp+8]
00123caamov rax, [rax+64]
00123caemov rbx, [rax+192]
00123cb5mov eax, 1
00123cbamov rdi, [rbx]
00123cbdadd rsp, 24
00123cc1jmp rdi
00123cc3nop
00123cc4
00123cc4loc_123cc4:
00123cc4mov rax, [r12+64]
00123cc9mov rsi, [rax+120]
00123ccdmov eax, 1
00123cd2mov rbx, r13
00123cd5mov rdi, rbp
00123cd8add rsp, 24
00123cdcjmp 0xf7370
00123ce1
00123ce1loc_123ce1:
00123ce1call caml_call_gc
00123ce6jmp 0x123af8
00123ceb
00123cebloc_123ceb:
00123cebcall caml_call_gc
00123cf0jmp 0x1239f5
00123cf5
00123cf5loc_123cf5:
00123cf5call caml_call_gc
00123cfajmp 0x123947
00123cff
00123cffloc_123cff:
00123cffpush 36
00123d01call caml_call_realloc_stack
00123d06pop r10
00123d08jmp 0x123912
00123900
00123900camlLatexscan.top_open_block_1029:
00123900lea r10, [rsp-344]
00123908cmp r10, [r14+40]
0012390cjb 0x123cff
00123912
00123912loc_123912:
00123912sub rsp, 24
00123916mov r13, rax
00123919mov [rsp], r13
0012391dmov rbp, rbx
00123920mov [rsp+16], rbp
00123925mov r12, rdi
00123928mov [rsp+8], r12
0012392dmov rax, [r12+40]
00123932mov rax, [rax]
00123935mov rdi, [r12+48]
0012393asub r15, 24
0012393ecmp r15, [r14]
00123941jb 0x123cf5
00123947
00123947loc_123947:
00123947lea rsi, [r15+8]
0012394bmov [rsi-8], 2048
00123953mov [rsi], rax
00123956mov rax, [rdi]
00123959mov [rsi+8], rax
0012395dmov rbx, rsp
00123960mov rsp, [r14+64]
00123964call caml_modify
00123969mov rsp, rbx
0012396cmov esi, 1
00123971mov rdi, [r12+40]
00123976mov rbx, rsp
00123979mov rsp, [r14+64]
0012397dcall caml_modify
00123982mov rsp, rbx
00123985mov rax, [r13-8]
00123989shr rax, 10
0012398dcmp rax, 4
00123991jge 0x123c58
00123997dec rax
0012399acmp rax, 1
0012399eje 0x123c58
001239a4ja 0x123bfc
001239aamov rax, [r13]
001239aemov rbx, 0x400000000657270
001239b8cmp rax, rbx
001239bbjge 0x123ac0
001239c1mov rbx, 0x79616c70736964
001239cbcmp rax, rbx
001239cejne 0x123a48
001239d0lea rax, [rip+0x1f2fc9]
001239d7mov rbx, [rax+136]
001239demov rbx, [rbx]
001239e1mov rdi, [rax+448]
001239e8sub r15, 24
001239eccmp r15, [r14]
001239efjb 0x123ceb
001239f5
001239f5loc_1239f5:
001239f5lea rsi, [r15+8]
001239f9mov [rsi-8], 2048
00123a01mov [rsi], rbx
00123a04mov rax, [rdi]
00123a07mov [rsi+8], rax
00123a0bmov rbx, rsp
00123a0emov rsp, [r14+64]
00123a12call caml_modify
00123a17mov rsp, rbx
00123a1alea rax, [rip+0x1f2f7f]
00123a21mov rax, [rax+136]
00123a28mov [rax], 3
00123a2fmov rax, [r12+64]
00123a34mov rbx, [rax+184]
00123a3bmov rdi, [rbx]
00123a3emov rax, rbp
00123a41add rsp, 24
00123a45jmp rdi
00123a47nop
00123a48
00123a48loc_123a48:
00123a48mov rbx, 0x20000656c626174
00123a52cmp rax, rbx
00123a55jne 0x123c58
00123a5bmov rbx, [r12+56]
00123a60mov eax, 1
00123a65call camlLatexscan.save_array_state_1023
00123a6amov esi, 1
00123a6fmov r12, [rsp+8]
00123a74mov rdi, [r12+40]
00123a79mov rbx, rsp
00123a7cmov rsp, [r14+64]
00123a80call caml_modify
00123a85mov rsp, rbx
00123a88mov rbx, [r12+32]
00123a8dmov eax, 1
00123a92call camlLatexscan.top_force_item_display_824
00123a97mov rax, [rsp+8]
00123a9cmov rax, [rax+64]
00123aa0mov rsi, [rax+120]
00123aa4lea rbx, [rip+0x1742d5]
00123aabmov eax, 1
00123ab0mov rdi, [rsp+16]
00123ab5add rsp, 24
00123ab9jmp 0xf7370
00123abenop
00123ac0
00123ac0loc_123ac0:
00123ac0mov rbx, 0x400000000657270
00123acacmp rax, rbx
00123acdjne 0x123b88
00123ad3lea rax, [rip+0x1f2ec6]
00123adamov rbx, [rax+136]
00123ae1mov rbx, [rbx]
00123ae4mov rdi, [rax+448]
00123aebsub r15, 24
00123aefcmp r15, [r14]
00123af2jb 0x123ce1
00123af8
00123af8loc_123af8:
00123af8lea rsi, [r15+8]
00123afcmov [rsi-8], 2048
00123b04mov [rsi], rbx
00123b07mov rax, [rdi]
00123b0amov [rsi+8], rax
00123b0emov rbx, rsp
00123b11mov rsp, [r14+64]
00123b15call caml_modify
00123b1amov rsp, rbx
00123b1dlea rax, [rip+0x1f2e7c]
00123b24mov rax, [rax+136]
00123b2bmov rax, [rax]
00123b2ecmp rax, 1
00123b32je 0x123b5f
00123b34mov rax, [r12+64]
00123b39mov rbx, [rax+208]
00123b40mov eax, 1
00123b45mov rdi, [rbx]
00123b48call rdi
00123b4alea rax, [rip+0x1f2e4f]
00123b51mov rax, [rax+136]
00123b58mov [rax], 1
00123b5f
00123b5floc_123b5f:
00123b5fmov rax, [rsp+8]
00123b64mov rax, [rax+64]
00123b68mov rsi, [rax+120]
00123b6clea rbx, [rip+0x1743a5]
00123b73mov eax, 1
00123b78mov rdi, [rsp+16]
00123b7dadd rsp, 24
00123b81jmp 0xf7370
00123b86nop
00123b88
00123b88loc_123b88:
00123b88mov rbx, 0x500000000006474
00123b92cmp rax, rbx
00123b95jne 0x123bcc
00123b97mov rax, [r12+64]
00123b9cmov rsi, [rax+120]
00123ba0lea rbx, [rip+0x174149]
00123ba7mov eax, 1
00123bacmov rdi, rbp
00123bafcall caml_apply3
00123bb4mov rax, [rsp+8]
00123bb9mov rbx, [rax+24]
00123bbdmov eax, 1
00123bc2add rsp, 24
00123bc6jmp 0x122bd0
00123bcbnop
00123bcc
00123bccloc_123bcc:
00123bccmov rbx, 0x500000000007274
00123bd6cmp rax, rbx
00123bd9jne 0x123c58
00123bdbmov rax, [r12+64]
00123be0mov rsi, [rax+120]
00123be4lea rbx, [rip+0x17407d]
00123bebmov eax, 1
00123bf0mov rdi, rbp
00123bf3add rsp, 24
00123bf7jmp 0xf7370
00123bfc
00123bfcloc_123bfc:
00123bfcmov rax, [r13]
00123c00mov rbx, 0x6c6e69406e617073
00123c0acmp rax, rbx
00123c0djne 0x123c58
00123c0fmov rax, [r13+8]
00123c13mov rbx, 0x636f6c6240656e69
00123c1dcmp rax, rbx
00123c20jne 0x123c58
00123c22mov rax, [r13+16]
00123c26mov rbx, 0x60000000000006b
00123c30cmp rax, rbx
00123c33jne 0x123c58
00123c35mov rax, [r12+64]
00123c3amov rsi, [rax+120]
00123c3elea rbx, [rip+0x1741fb]
00123c45lea rax, [rip+0x174244]
00123c4cmov rdi, rbp
00123c4fadd rsp, 24
00123c53jmp 0xf7370
00123c58
00123c58loc_123c58:
00123c58lea rax, [rip+0x1f2d41]
00123c5fmov rax, [rax+136]
00123c66mov rax, [rax]
00123c69cmp rax, 1
00123c6dje 0x123cc4
00123c6fmov rax, [r12+64]
00123c74mov rbx, [rax+208]
00123c7bmov eax, 1
00123c80mov rdi, [rbx]
00123c83call rdi
00123c85mov rax, [rsp+8]
00123c8amov rax, [rax+64]
00123c8emov rsi, [rax+120]
00123c92mov eax, 1
00123c97mov rbx, [rsp]
00123c9bmov rdi, [rsp+16]
00123ca0call caml_apply3
00123ca5mov rax, [rsp+8]
00123caamov rax, [rax+64]
00123caemov rbx, [rax+192]
00123cb5mov eax, 1
00123cbamov rdi, [rbx]
00123cbdadd rsp, 24
00123cc1jmp rdi
00123cc3nop
00123cc4
00123cc4loc_123cc4:
00123cc4mov rax, [r12+64]
00123cc9mov rsi, [rax+120]
00123ccdmov eax, 1
00123cd2mov rbx, r13
00123cd5mov rdi, rbp
00123cd8add rsp, 24
00123cdcjmp 0xf7370
00123ce1
00123ce1loc_123ce1:
00123ce1call caml_call_gc
00123ce6jmp 0x123af8
00123ceb
00123cebloc_123ceb:
00123cebcall caml_call_gc
00123cf0jmp 0x1239f5
00123cf5
00123cf5loc_123cf5:
00123cf5call caml_call_gc
00123cfajmp 0x123947
00123cff
00123cffloc_123cff:
00123cffpush 36
00123d01call caml_call_realloc_stack
00123d06pop r10
00123d08jmp 0x123912
00123900
00123d0d
00123d0d // align 0x10
00123d0d // align 0x10
00123d10
00123d10camlLatexscan.top_close_block_aux_1030:
00123d10lea r10, [rsp-344]
00123d18cmp r10, [r14+40]
00123d1cjb 0x123fe7
00123d22
00123d22loc_123d22:
00123d22sub rsp, 24
00123d26mov [rsp+8], rax
00123d2bmov [rsp], rbx
00123d2fmov [rsp+16], rdi
00123d34cmp r15, [r14]
00123d37jbe 0x123fdd
00123d3d
00123d3dloc_123d3d:
00123d3dlea rax, [rip+0x20632c]
00123d44mov rax, [rax+80]
00123d48mov rax, [rax]
00123d4bcmp rax, 5
00123d4fjle 0x123d62
00123d51lea rax, [rip+0x17a8f8]
00123d58call camlStdlib.$5e_139
00123d5dcall camlStdlib.prerr_endline_390
00123d62
00123d62loc_123d62:
00123d62mov rax, [rsp+16]
00123d67mov rax, [rax+56]
00123d6bcall camlMyStack.pop_292
00123d70mov r12, [rsp+16]
00123d75mov rdi, [r12+48]
00123d7amov rsi, rax
00123d7dmov rbx, rsp
00123d80mov rsp, [r14+64]
00123d84call caml_modify
00123d89mov rsp, rbx
00123d8cmov rdi, [rsp]
00123d90mov rax, [rdi-8]
00123d94shr rax, 10
00123d98cmp rax, 4
00123d9cjge 0x123f70
00123da2dec rax
00123da5cmp rax, 1
00123da9je 0x123f70
00123dafja 0x123f20
00123db5mov rax, [rdi]
00123db8mov rbx, 0x400000000657270
00123dc2cmp rax, rbx
00123dc5jge 0x123e70
00123dcbmov rbx, 0x79616c70736964
00123dd5cmp rax, rbx
00123dd8jne 0x123e20
00123ddamov rax, [r12+72]
00123ddfmov rbx, [rax+200]
00123de6mov eax, 1
00123debmov rdi, [rbx]
00123deecall rdi
00123df0lea rax, [rip+0x1f2ba9]
00123df7mov rax, [rax+448]
00123dfecall camlMyStack.pop_292
00123e03lea rbx, [rip+0x1f2b96]
00123e0amov rbx, [rbx+136]
00123e11mov [rbx], rax
00123e14mov eax, 1
00123e19add rsp, 24
00123e1dret
00123e1enop
00123e20
00123e20loc_123e20:
00123e20mov rbx, 0x20000656c626174
00123e2acmp rax, rbx
00123e2djne 0x123f70
00123e33lea rax, [rip+0x173f46]
00123e3amov rbx, [rsp+8]
00123e3fmov rdi, [rbx]
00123e42call rdi
00123e44mov rax, [rsp+16]
00123e49mov rbx, [rax+32]
00123e4dmov eax, 1
00123e52call camlLatexscan.top_force_item_display_824
00123e57mov rax, [rsp+16]
00123e5cmov rbx, [rax+64]
00123e60mov eax, 1
00123e65add rsp, 24
00123e69jmp 0x1237f0
00123e6enop
00123e70
00123e70loc_123e70:
00123e70mov rbx, 0x400000000657270
00123e7acmp rax, rbx
00123e7djne 0x123ec8
00123e7flea rax, [rip+0x1f2b1a]
00123e86mov rax, [rax+448]
00123e8dcall camlMyStack.pop_292
00123e92lea rbx, [rip+0x1f2b07]
00123e99mov rbx, [rbx+136]
00123ea0mov [rbx], rax
00123ea3mov rbx, [rsp+8]
00123ea8mov rdi, [rbx]
00123eabmov rax, [rsp]
00123eafcall rdi
00123eb1mov rax, [rsp+16]
00123eb6mov rbx, [rax+24]
00123ebamov eax, 1
00123ebfadd rsp, 24
00123ec3jmp 0x122cd0
00123ec8
00123ec8loc_123ec8:
00123ec8mov rbx, 0x500000000006474
00123ed2cmp rax, rbx
00123ed5jne 0x123efc
00123ed7mov rbx, [r12+40]
00123edcmov eax, 1
00123ee1call camlLatexscan.top_close_display_839
00123ee6lea rax, [rip+0x173e03]
00123eedmov rbx, [rsp+8]
00123ef2mov rdi, [rbx]
00123ef5add rsp, 24
00123ef9jmp rdi
00123efbnop
00123efc
00123efcloc_123efc:
00123efcmov rbx, 0x500000000007274
00123f06cmp rax, rbx
00123f09jne 0x123f70
00123f0blea rax, [rip+0x173d56]
00123f12mov rbx, [rsp+8]
00123f17mov rdi, [rbx]
00123f1aadd rsp, 24
00123f1ejmp rdi
00123f20
00123f20loc_123f20:
00123f20mov rax, [rdi]
00123f23mov rbx, 0x6c6e69406e617073
00123f2dcmp rax, rbx
00123f30jne 0x123f70
00123f32mov rax, [rdi+8]
00123f36mov rbx, 0x636f6c6240656e69
00123f40cmp rax, rbx
00123f43jne 0x123f70
00123f45mov rax, [rdi+16]
00123f49mov rbx, 0x60000000000006b
00123f53cmp rax, rbx
00123f56jne 0x123f70
00123f58lea rax, [rip+0x173ee1]
00123f5fmov rbx, [rsp+8]
00123f64mov rdi, [rbx]
00123f67add rsp, 24
00123f6bjmp rdi
00123f6dnop [rax]
00123f70
00123f70loc_123f70:
00123f70lea rax, [rip+0x1f2a29]
00123f77mov rax, [rax+136]
00123f7emov rax, [rax]
00123f81cmp rax, 1
00123f85je 0x123fcc
00123f87mov rax, [r12+72]
00123f8cmov rbx, [rax+200]
00123f93mov eax, 1
00123f98mov rdi, [rbx]
00123f9bcall rdi
00123f9dmov rbx, [rsp+8]
00123fa2mov rdi, [rbx]
00123fa5mov rax, [rsp]
00123fa9call rdi
00123fabmov rax, [rsp+16]
00123fb0mov rax, [rax+72]
00123fb4mov rbx, [rax+208]
00123fbbmov eax, 1
00123fc0mov rdi, [rbx]
00123fc3add rsp, 24
00123fc7jmp rdi
00123fc9nop [rax]
00123fcc
00123fccloc_123fcc:
00123fccmov rbx, [rsp+8]
00123fd1mov rsi, [rbx]
00123fd4mov rax, rdi
00123fd7add rsp, 24
00123fdbjmp rsi
00123fdd
00123fddloc_123fdd:
00123fddcall caml_call_gc
00123fe2jmp 0x123d3d
00123fe7
00123fe7loc_123fe7:
00123fe7push 36
00123fe9call caml_call_realloc_stack
00123feepop r10
00123ff0jmp 0x123d22
00123d10
00123d10camlLatexscan.top_close_block_aux_1030:
00123d10lea r10, [rsp-344]
00123d18cmp r10, [r14+40]
00123d1cjb 0x123fe7
00123d22
00123d22loc_123d22:
00123d22sub rsp, 24
00123d26mov [rsp+8], rax
00123d2bmov [rsp], rbx
00123d2fmov [rsp+16], rdi
00123d34cmp r15, [r14]
00123d37jbe 0x123fdd
00123d3d
00123d3dloc_123d3d:
00123d3dlea rax, [rip+0x20632c]
00123d44mov rax, [rax+80]
00123d48mov rax, [rax]
00123d4bcmp rax, 5
00123d4fjle 0x123d62
00123d51lea rax, [rip+0x17a8f8]
00123d58call camlStdlib.$5e_139
00123d5dcall camlStdlib.prerr_endline_390
00123d62
00123d62loc_123d62:
00123d62mov rax, [rsp+16]
00123d67mov rax, [rax+56]
00123d6bcall camlMyStack.pop_292
00123d70mov r12, [rsp+16]
00123d75mov rdi, [r12+48]
00123d7amov rsi, rax
00123d7dmov rbx, rsp
00123d80mov rsp, [r14+64]
00123d84call caml_modify
00123d89mov rsp, rbx
00123d8cmov rdi, [rsp]
00123d90mov rax, [rdi-8]
00123d94shr rax, 10
00123d98cmp rax, 4
00123d9cjge 0x123f70
00123da2dec rax
00123da5cmp rax, 1
00123da9je 0x123f70
00123dafja 0x123f20
00123db5mov rax, [rdi]
00123db8mov rbx, 0x400000000657270
00123dc2cmp rax, rbx
00123dc5jge 0x123e70
00123dcbmov rbx, 0x79616c70736964
00123dd5cmp rax, rbx
00123dd8jne 0x123e20
00123ddamov rax, [r12+72]
00123ddfmov rbx, [rax+200]
00123de6mov eax, 1
00123debmov rdi, [rbx]
00123deecall rdi
00123df0lea rax, [rip+0x1f2ba9]
00123df7mov rax, [rax+448]
00123dfecall camlMyStack.pop_292
00123e03lea rbx, [rip+0x1f2b96]
00123e0amov rbx, [rbx+136]
00123e11mov [rbx], rax
00123e14mov eax, 1
00123e19add rsp, 24
00123e1dret
00123e1enop
00123e20
00123e20loc_123e20:
00123e20mov rbx, 0x20000656c626174
00123e2acmp rax, rbx
00123e2djne 0x123f70
00123e33lea rax, [rip+0x173f46]
00123e3amov rbx, [rsp+8]
00123e3fmov rdi, [rbx]
00123e42call rdi
00123e44mov rax, [rsp+16]
00123e49mov rbx, [rax+32]
00123e4dmov eax, 1
00123e52call camlLatexscan.top_force_item_display_824
00123e57mov rax, [rsp+16]
00123e5cmov rbx, [rax+64]
00123e60mov eax, 1
00123e65add rsp, 24
00123e69jmp 0x1237f0
00123e6enop
00123e70
00123e70loc_123e70:
00123e70mov rbx, 0x400000000657270
00123e7acmp rax, rbx
00123e7djne 0x123ec8
00123e7flea rax, [rip+0x1f2b1a]
00123e86mov rax, [rax+448]
00123e8dcall camlMyStack.pop_292
00123e92lea rbx, [rip+0x1f2b07]
00123e99mov rbx, [rbx+136]
00123ea0mov [rbx], rax
00123ea3mov rbx, [rsp+8]
00123ea8mov rdi, [rbx]
00123eabmov rax, [rsp]
00123eafcall rdi
00123eb1mov rax, [rsp+16]
00123eb6mov rbx, [rax+24]
00123ebamov eax, 1
00123ebfadd rsp, 24
00123ec3jmp 0x122cd0
00123ec8
00123ec8loc_123ec8:
00123ec8mov rbx, 0x500000000006474
00123ed2cmp rax, rbx
00123ed5jne 0x123efc
00123ed7mov rbx, [r12+40]
00123edcmov eax, 1
00123ee1call camlLatexscan.top_close_display_839
00123ee6lea rax, [rip+0x173e03]
00123eedmov rbx, [rsp+8]
00123ef2mov rdi, [rbx]
00123ef5add rsp, 24
00123ef9jmp rdi
00123efbnop
00123efc
00123efcloc_123efc:
00123efcmov rbx, 0x500000000007274
00123f06cmp rax, rbx
00123f09jne 0x123f70
00123f0blea rax, [rip+0x173d56]
00123f12mov rbx, [rsp+8]
00123f17mov rdi, [rbx]
00123f1aadd rsp, 24
00123f1ejmp rdi
00123f20
00123f20loc_123f20:
00123f20mov rax, [rdi]
00123f23mov rbx, 0x6c6e69406e617073
00123f2dcmp rax, rbx
00123f30jne 0x123f70
00123f32mov rax, [rdi+8]
00123f36mov rbx, 0x636f6c6240656e69
00123f40cmp rax, rbx
00123f43jne 0x123f70
00123f45mov rax, [rdi+16]
00123f49mov rbx, 0x60000000000006b
00123f53cmp rax, rbx
00123f56jne 0x123f70
00123f58lea rax, [rip+0x173ee1]
00123f5fmov rbx, [rsp+8]
00123f64mov rdi, [rbx]
00123f67add rsp, 24
00123f6bjmp rdi
00123f6dnop [rax]
00123f70
00123f70loc_123f70:
00123f70lea rax, [rip+0x1f2a29]
00123f77mov rax, [rax+136]
00123f7emov rax, [rax]
00123f81cmp rax, 1
00123f85je 0x123fcc
00123f87mov rax, [r12+72]
00123f8cmov rbx, [rax+200]
00123f93mov eax, 1
00123f98mov rdi, [rbx]
00123f9bcall rdi
00123f9dmov rbx, [rsp+8]
00123fa2mov rdi, [rbx]
00123fa5mov rax, [rsp]
00123fa9call rdi
00123fabmov rax, [rsp+16]
00123fb0mov rax, [rax+72]
00123fb4mov rbx, [rax+208]
00123fbbmov eax, 1
00123fc0mov rdi, [rbx]
00123fc3add rsp, 24
00123fc7jmp rdi
00123fc9nop [rax]
00123fcc
00123fccloc_123fcc:
00123fccmov rbx, [rsp+8]
00123fd1mov rsi, [rbx]
00123fd4mov rax, rdi
00123fd7add rsp, 24
00123fdbjmp rsi
00123fdd
00123fddloc_123fdd:
00123fddcall caml_call_gc
00123fe2jmp 0x123d3d
00123fe7
00123fe7loc_123fe7:
00123fe7push 36
00123fe9call caml_call_realloc_stack
00123feepop r10
00123ff0jmp 0x123d22
00123d10
00123ff5
00123ff5 // align 0x10
00123ff5 // align 0x10
00124000
00124000camlLatexscan.top_close_block_1037:
00124000mov rsi, rax
00124003mov rax, [rbx+24]
00124007mov rax, [rax+128]
0012400emov rdi, [rbx+16]
00124012mov rbx, rsi
00124015jmp 0x123d10
00124000
00124000camlLatexscan.top_close_block_1037:
00124000mov rsi, rax
00124003mov rax, [rbx+24]
00124007mov rax, [rax+128]
0012400emov rdi, [rbx+16]
00124012mov rbx, rsi
00124015jmp 0x123d10
00124000
0012401a
0012401a // align 0x10
0012401a // align 0x10
00124020
00124020camlLatexscan.top_force_block_1038:
00124020mov rsi, rax
00124023sub r15, 32
00124027cmp r15, [r14]
0012402ajb 0x124064
0012402c
0012402cloc_12402c:
0012402clea rax, [r15+8]
00124030mov [rax-8], 3319
00124038lea rdi, [rip+49]
0012403fmov [rax], rdi
00124042mov rdi, 0x100000000000005
0012404cmov [rax+8], rdi
00124050mov rdi, [rbx+24]
00124054mov [rax+16], rdi
00124058mov rdi, [rbx+16]
0012405cmov rbx, rsi
0012405fjmp 0x123d10
00124064
00124064loc_124064:
00124064call caml_call_gc
00124069jmp 0x12402c
00124020
00124020camlLatexscan.top_force_block_1038:
00124020mov rsi, rax
00124023sub r15, 32
00124027cmp r15, [r14]
0012402ajb 0x124064
0012402c
0012402cloc_12402c:
0012402clea rax, [r15+8]
00124030mov [rax-8], 3319
00124038lea rdi, [rip+49]
0012403fmov [rax], rdi
00124042mov rdi, 0x100000000000005
0012404cmov [rax+8], rdi
00124050mov rdi, [rbx+24]
00124054mov [rax+16], rdi
00124058mov rdi, [rbx+16]
0012405cmov rbx, rsi
0012405fjmp 0x123d10
00124064
00124064loc_124064:
00124064call caml_call_gc
00124069jmp 0x12402c
00124020
0012406b
0012406b // align 0x10
0012406b // align 0x10
00124070
00124070camlLatexscan.fun_3271:
00124070cmp r15, [r14]
00124073jbe 0x12408c
00124075
00124075loc_124075:
00124075mov rbx, [rbx+16]
00124079mov rdi, [rbx+136]
00124080lea rbx, [rip+0x17a5e1]
00124087jmp 0xf73e0
0012408c
0012408cloc_12408c:
0012408ccall caml_call_gc
00124091jmp 0x124075
00124070
00124070camlLatexscan.fun_3271:
00124070cmp r15, [r14]
00124073jbe 0x12408c
00124075
00124075loc_124075:
00124075mov rbx, [rbx+16]
00124079mov rdi, [rbx+136]
00124080lea rbx, [rip+0x17a5e1]
00124087jmp 0xf73e0
0012408c
0012408cloc_12408c:
0012408ccall caml_call_gc
00124091jmp 0x124075
00124070
00124093
00124093 // align 0x10
00124093 // align 0x10
001240a0
001240a0camlLatexscan.top_close_flow_1039:
001240a0mov rsi, rax
001240a3mov rax, [rbx+24]
001240a7mov rax, [rax+144]
001240aemov rdi, [rbx+16]
001240b2mov rbx, rsi
001240b5jmp 0x123d10
001240a0
001240a0camlLatexscan.top_close_flow_1039:
001240a0mov rsi, rax
001240a3mov rax, [rbx+24]
001240a7mov rax, [rax+144]
001240aemov rdi, [rbx+16]
001240b2mov rbx, rsi
001240b5jmp 0x123d10
001240a0
001240ba
001240ba // align 0x10
001240ba // align 0x10
001240c0
001240c0camlLatexscan.top_open_group_1047:
001240c0lea r10, [rsp-328]
001240c8cmp r10, [r14+40]
001240ccjb 0x124101
001240ce
001240celoc_1240ce:
001240cesub rsp, 8
001240d2mov [rsp], rbx
001240d6mov rdi, [rbx+24]
001240dalea rbx, [rip+0x17a587]
001240e1mov rax, rbx
001240e4call camlLatexscan.top_open_block_1029
001240e9mov rax, [rsp]
001240edmov rbx, [rax+16]
001240f1lea rax, [rip+0x17a570]
001240f8add rsp, 8
001240fcjmp 0x122e50
00124101
00124101loc_124101:
00124101push 34
00124103call caml_call_realloc_stack
00124108pop r10
0012410ajmp 0x1240ce
001240c0
001240c0camlLatexscan.top_open_group_1047:
001240c0lea r10, [rsp-328]
001240c8cmp r10, [r14+40]
001240ccjb 0x124101
001240ce
001240celoc_1240ce:
001240cesub rsp, 8
001240d2mov [rsp], rbx
001240d6mov rdi, [rbx+24]
001240dalea rbx, [rip+0x17a587]
001240e1mov rax, rbx
001240e4call camlLatexscan.top_open_block_1029
001240e9mov rax, [rsp]
001240edmov rbx, [rax+16]
001240f1lea rax, [rip+0x17a570]
001240f8add rsp, 8
001240fcjmp 0x122e50
00124101
00124101loc_124101:
00124101push 34
00124103call caml_call_realloc_stack
00124108pop r10
0012410ajmp 0x1240ce
001240c0
0012410c
0012410c // align 0x10
0012410c // align 0x10
00124110
00124110camlLatexscan.top_close_group_1048:
00124110lea r10, [rsp-328]
00124118cmp r10, [r14+40]
0012411cjb 0x124228
00124122
00124122loc_124122:
00124122sub rsp, 8
00124126mov r12, rbx
00124129mov [rsp], r12
0012412dlea rsi, [rip+0x17a394]
00124134mov rax, [r12+16]
00124139mov rdi, [rax]
0012413cmov rbx, rsp
0012413fmov rsp, [r14+64]
00124143call caml_string_equal
00124148mov rsp, rbx
0012414bcmp rax, 1
0012414fje 0x1241f0
00124155mov rbx, [r12+32]
0012415amov rax, [rbx+24]
0012415emov rax, [rax+128]
00124165mov rdi, [rbx+16]
00124169lea rbx, [rip+0x17a4f8]
00124170call camlLatexscan.top_close_block_aux_1030
00124175lea rax, [rip+0x1f2824]
0012417cmov rax, [rax+440]
00124183call camlMyStack.pop_292
00124188lea rbx, [rip+0x1f2811]
0012418fmov rdi, [rbx+144]
00124196mov [rdi], rax
00124199mov rax, [rbx+448]
001241a0call camlMyStack.pop_292
001241a5lea rbx, [rip+0x1f27f4]
001241acmov rbx, [rbx+136]
001241b3mov [rbx], rax
001241b6mov rax, [rbx]
001241b9cmp rax, 1
001241bdje 0x1241d8
001241bfmov rax, [rsp]
001241c3mov rax, [rax+40]
001241c7mov rbx, [rax+208]
001241cemov eax, 1
001241d3mov rdi, [rbx]
001241d6call rdi
001241d8
001241d8loc_1241d8:
001241d8mov rax, [rsp]
001241dcmov rbx, [rax+24]
001241e0lea rax, [rip+0x17a2e1]
001241e7add rsp, 8
001241ebjmp 0x123060
001241f0
001241f0loc_1241f0:
001241f0mov rbx, [r12+32]
001241f5mov rax, [rbx+24]
001241f9mov rax, [rax+128]
00124200mov rdi, [rbx+16]
00124204lea rbx, [rip+0x17a45d]
0012420bcall camlLatexscan.top_close_block_aux_1030
00124210mov rax, [rsp]
00124214mov rbx, [rax+24]
00124218lea rax, [rip+0x17a449]
0012421fadd rsp, 8
00124223jmp 0x123060
00124228
00124228loc_124228:
00124228push 34
0012422acall caml_call_realloc_stack
0012422fpop r10
00124231jmp 0x124122
00124110
00124110camlLatexscan.top_close_group_1048:
00124110lea r10, [rsp-328]
00124118cmp r10, [r14+40]
0012411cjb 0x124228
00124122
00124122loc_124122:
00124122sub rsp, 8
00124126mov r12, rbx
00124129mov [rsp], r12
0012412dlea rsi, [rip+0x17a394]
00124134mov rax, [r12+16]
00124139mov rdi, [rax]
0012413cmov rbx, rsp
0012413fmov rsp, [r14+64]
00124143call caml_string_equal
00124148mov rsp, rbx
0012414bcmp rax, 1
0012414fje 0x1241f0
00124155mov rbx, [r12+32]
0012415amov rax, [rbx+24]
0012415emov rax, [rax+128]
00124165mov rdi, [rbx+16]
00124169lea rbx, [rip+0x17a4f8]
00124170call camlLatexscan.top_close_block_aux_1030
00124175lea rax, [rip+0x1f2824]
0012417cmov rax, [rax+440]
00124183call camlMyStack.pop_292
00124188lea rbx, [rip+0x1f2811]
0012418fmov rdi, [rbx+144]
00124196mov [rdi], rax
00124199mov rax, [rbx+448]
001241a0call camlMyStack.pop_292
001241a5lea rbx, [rip+0x1f27f4]
001241acmov rbx, [rbx+136]
001241b3mov [rbx], rax
001241b6mov rax, [rbx]
001241b9cmp rax, 1
001241bdje 0x1241d8
001241bfmov rax, [rsp]
001241c3mov rax, [rax+40]
001241c7mov rbx, [rax+208]
001241cemov eax, 1
001241d3mov rdi, [rbx]
001241d6call rdi
001241d8
001241d8loc_1241d8:
001241d8mov rax, [rsp]
001241dcmov rbx, [rax+24]
001241e0lea rax, [rip+0x17a2e1]
001241e7add rsp, 8
001241ebjmp 0x123060
001241f0
001241f0loc_1241f0:
001241f0mov rbx, [r12+32]
001241f5mov rax, [rbx+24]
001241f9mov rax, [rax+128]
00124200mov rdi, [rbx+16]
00124204lea rbx, [rip+0x17a45d]
0012420bcall camlLatexscan.top_close_block_aux_1030
00124210mov rax, [rsp]
00124214mov rbx, [rax+24]
00124218lea rax, [rip+0x17a449]
0012421fadd rsp, 8
00124223jmp 0x123060
00124228
00124228loc_124228:
00124228push 34
0012422acall caml_call_realloc_stack
0012422fpop r10
00124231jmp 0x124122
00124110
00124236
00124236 // align 0x10
00124236 // align 0x10
00124240
00124240camlLatexscan.start_mbox_1053:
00124240lea r10, [rsp-328]
00124248cmp r10, [r14+40]
0012424cjb 0x1243e8
00124252
00124252loc_124252:
00124252sub rsp, 8
00124256mov r12, rbx
00124259mov [rsp], r12
0012425dmov rax, [r12+24]
00124262mov rax, [rax]
00124265mov rdi, [r12+32]
0012426asub r15, 24
0012426ecmp r15, [r14]
00124271jb 0x1243de
00124277
00124277loc_124277:
00124277lea rsi, [r15+8]
0012427bmov [rsi-8], 2048
00124283mov [rsi], rax
00124286mov rax, [rdi]
00124289mov [rsi+8], rax
0012428dmov rbx, rsp
00124290mov rsp, [r14+64]
00124294call caml_modify
00124299mov rsp, rbx
0012429cmov esi, 1
001242a1mov rdi, [r12+24]
001242a6mov rbx, rsp
001242a9mov rsp, [r14+64]
001242adcall caml_modify
001242b2mov rsp, rbx
001242b5lea rax, [rip+0x1f26e4]
001242bcmov rbx, [rax+144]
001242c3mov rbx, [rbx]
001242c6mov rdi, [rax+440]
001242cdsub r15, 24
001242d1cmp r15, [r14]
001242d4jb 0x1243d4
001242da
001242daloc_1242da:
001242dalea rsi, [r15+8]
001242demov [rsi-8], 2048
001242e6mov [rsi], rbx
001242e9mov rax, [rdi]
001242ecmov [rsi+8], rax
001242f0mov rbx, rsp
001242f3mov rsp, [r14+64]
001242f7call caml_modify
001242fcmov rsp, rbx
001242fflea rax, [rip+0x1f269a]
00124306mov rbx, [rax+144]
0012430dmov [rbx], 1
00124314mov rax, [rax+136]
0012431bmov rax, [rax]
0012431ecmp rax, 1
00124322je 0x12433a
00124324mov rax, [r12+40]
00124329mov rbx, [rax+208]
00124330mov eax, 1
00124335mov rdi, [rbx]
00124338call rdi
0012433a
0012433aloc_12433a:
0012433alea rax, [rip+0x1f265f]
00124341mov rbx, [rax+136]
00124348mov rbx, [rbx]
0012434bmov rdi, [rax+448]
00124352sub r15, 24
00124356cmp r15, [r14]
00124359jb 0x1243cd
0012435b
0012435bloc_12435b:
0012435blea rsi, [r15+8]
0012435fmov [rsi-8], 2048
00124367mov [rsi], rbx
0012436amov rax, [rdi]
0012436dmov [rsi+8], rax
00124371mov rbx, rsp
00124374mov rsp, [r14+64]
00124378call caml_modify
0012437dmov rsp, rbx
00124380lea rax, [rip+0x1f2619]
00124387mov rax, [rax+136]
0012438emov [rax], 1
00124395mov rax, [rsp]
00124399mov rax, [rax+40]
0012439dmov rsi, [rax+120]
001243a1lea rdi, [rip+0x17a2c0]
001243a8mov rbx, rdi
001243abmov eax, 1
001243b0call caml_apply3
001243b5mov rax, [rsp]
001243b9mov rbx, [rax+16]
001243bdlea rax, [rip+0x17a104]
001243c4add rsp, 8
001243c8jmp 0x122e50
001243cd
001243cdloc_1243cd:
001243cdcall caml_call_gc
001243d2jmp 0x12435b
001243d4
001243d4loc_1243d4:
001243d4call caml_call_gc
001243d9jmp 0x1242da
001243de
001243deloc_1243de:
001243decall caml_call_gc
001243e3jmp 0x124277
001243e8
001243e8loc_1243e8:
001243e8push 34
001243eacall caml_call_realloc_stack
001243efpop r10
001243f1jmp 0x124252
00124240
00124240camlLatexscan.start_mbox_1053:
00124240lea r10, [rsp-328]
00124248cmp r10, [r14+40]
0012424cjb 0x1243e8
00124252
00124252loc_124252:
00124252sub rsp, 8
00124256mov r12, rbx
00124259mov [rsp], r12
0012425dmov rax, [r12+24]
00124262mov rax, [rax]
00124265mov rdi, [r12+32]
0012426asub r15, 24
0012426ecmp r15, [r14]
00124271jb 0x1243de
00124277
00124277loc_124277:
00124277lea rsi, [r15+8]
0012427bmov [rsi-8], 2048
00124283mov [rsi], rax
00124286mov rax, [rdi]
00124289mov [rsi+8], rax
0012428dmov rbx, rsp
00124290mov rsp, [r14+64]
00124294call caml_modify
00124299mov rsp, rbx
0012429cmov esi, 1
001242a1mov rdi, [r12+24]
001242a6mov rbx, rsp
001242a9mov rsp, [r14+64]
001242adcall caml_modify
001242b2mov rsp, rbx
001242b5lea rax, [rip+0x1f26e4]
001242bcmov rbx, [rax+144]
001242c3mov rbx, [rbx]
001242c6mov rdi, [rax+440]
001242cdsub r15, 24
001242d1cmp r15, [r14]
001242d4jb 0x1243d4
001242da
001242daloc_1242da:
001242dalea rsi, [r15+8]
001242demov [rsi-8], 2048
001242e6mov [rsi], rbx
001242e9mov rax, [rdi]
001242ecmov [rsi+8], rax
001242f0mov rbx, rsp
001242f3mov rsp, [r14+64]
001242f7call caml_modify
001242fcmov rsp, rbx
001242fflea rax, [rip+0x1f269a]
00124306mov rbx, [rax+144]
0012430dmov [rbx], 1
00124314mov rax, [rax+136]
0012431bmov rax, [rax]
0012431ecmp rax, 1
00124322je 0x12433a
00124324mov rax, [r12+40]
00124329mov rbx, [rax+208]
00124330mov eax, 1
00124335mov rdi, [rbx]
00124338call rdi
0012433a
0012433aloc_12433a:
0012433alea rax, [rip+0x1f265f]
00124341mov rbx, [rax+136]
00124348mov rbx, [rbx]
0012434bmov rdi, [rax+448]
00124352sub r15, 24
00124356cmp r15, [r14]
00124359jb 0x1243cd
0012435b
0012435bloc_12435b:
0012435blea rsi, [r15+8]
0012435fmov [rsi-8], 2048
00124367mov [rsi], rbx
0012436amov rax, [rdi]
0012436dmov [rsi+8], rax
00124371mov rbx, rsp
00124374mov rsp, [r14+64]
00124378call caml_modify
0012437dmov rsp, rbx
00124380lea rax, [rip+0x1f2619]
00124387mov rax, [rax+136]
0012438emov [rax], 1
00124395mov rax, [rsp]
00124399mov rax, [rax+40]
0012439dmov rsi, [rax+120]
001243a1lea rdi, [rip+0x17a2c0]
001243a8mov rbx, rdi
001243abmov eax, 1
001243b0call caml_apply3
001243b5mov rax, [rsp]
001243b9mov rbx, [rax+16]
001243bdlea rax, [rip+0x17a104]
001243c4add rsp, 8
001243c8jmp 0x122e50
001243cd
001243cdloc_1243cd:
001243cdcall caml_call_gc
001243d2jmp 0x12435b
001243d4
001243d4loc_1243d4:
001243d4call caml_call_gc
001243d9jmp 0x1242da
001243de
001243deloc_1243de:
001243decall caml_call_gc
001243e3jmp 0x124277
001243e8
001243e8loc_1243e8:
001243e8push 34
001243eacall caml_call_realloc_stack
001243efpop r10
001243f1jmp 0x124252
00124240
001243f6
001243f6 // align 0x10
001243f6 // align 0x10
00124400
00124400camlLatexscan.get_fun_result_1056:
00124400lea r10, [rsp-344]
00124408cmp r10, [r14+40]
0012440cjb 0x1244fa
00124412
00124412loc_124412:
00124412sub rsp, 24
00124416mov [rsp+8], rax
0012441bmov [rsp+16], rbx
00124420mov [rsp], rdi
00124424lea rax, [rip+0x205c45]
0012442bmov rax, [rax+80]
0012442fmov rax, [rax]
00124432cmp rax, 3
00124436jle 0x124444
00124438lea rax, [rip+0x179e19]
0012443fcall camlStdlib.prerr_endline_390
00124444
00124444loc_124444:
00124444mov rdx, [rsp]
00124448mov rdi, [rdx+40]
0012444cmov rbx, [rdi+416]
00124453sub r15, 64
00124457cmp r15, [r14]
0012445ajb 0x1244f0
00124460
00124460loc_124460:
00124460lea rax, [r15+8]
00124464mov [rax-8], 7415
0012446clea rsi, [rip+157]
00124473mov [rax], rsi
00124476mov rsi, 0x100000000000005
00124480mov [rax+8], rsi
00124484mov rsi, [rdx+24]
00124488mov [rax+16], rsi
0012448cmov rsi, [rdx+32]
00124490mov [rax+24], rsi
00124494mov rsi, [rsp+8]
00124499mov [rax+32], rsi
0012449dmov rsi, [rsp+16]
001244a2mov [rax+40], rsi
001244a6mov [rax+48], rdi
001244aamov rdi, [rbx]
001244adcall rdi
001244afmov [rsp], rax
001244b3lea rbx, [rip+0x205bb6]
001244bamov rbx, [rbx+80]
001244bemov rbx, [rbx]
001244c1cmp rbx, 3
001244c5jle 0x1244e7
001244c7lea rbx, [rip+0x17565a]
001244cecall camlStdlib.$5e_139
001244d3mov rbx, rax
001244d6lea rax, [rip+0x179d33]
001244ddcall camlStdlib.$5e_139
001244e2call camlStdlib.prerr_endline_390
001244e7
001244e7loc_1244e7:
001244e7mov rax, [rsp]
001244ebadd rsp, 24
001244efret
001244f0
001244f0loc_1244f0:
001244f0call caml_call_gc
001244f5jmp 0x124460
001244fa
001244faloc_1244fa:
001244fapush 36
001244fccall caml_call_realloc_stack
00124501pop r10
00124503jmp 0x124412
00124400
00124400camlLatexscan.get_fun_result_1056:
00124400lea r10, [rsp-344]
00124408cmp r10, [r14+40]
0012440cjb 0x1244fa
00124412
00124412loc_124412:
00124412sub rsp, 24
00124416mov [rsp+8], rax
0012441bmov [rsp+16], rbx
00124420mov [rsp], rdi
00124424lea rax, [rip+0x205c45]
0012442bmov rax, [rax+80]
0012442fmov rax, [rax]
00124432cmp rax, 3
00124436jle 0x124444
00124438lea rax, [rip+0x179e19]
0012443fcall camlStdlib.prerr_endline_390
00124444
00124444loc_124444:
00124444mov rdx, [rsp]
00124448mov rdi, [rdx+40]
0012444cmov rbx, [rdi+416]
00124453sub r15, 64
00124457cmp r15, [r14]
0012445ajb 0x1244f0
00124460
00124460loc_124460:
00124460lea rax, [r15+8]
00124464mov [rax-8], 7415
0012446clea rsi, [rip+157]
00124473mov [rax], rsi
00124476mov rsi, 0x100000000000005
00124480mov [rax+8], rsi
00124484mov rsi, [rdx+24]
00124488mov [rax+16], rsi
0012448cmov rsi, [rdx+32]
00124490mov [rax+24], rsi
00124494mov rsi, [rsp+8]
00124499mov [rax+32], rsi
0012449dmov rsi, [rsp+16]
001244a2mov [rax+40], rsi
001244a6mov [rax+48], rdi
001244aamov rdi, [rbx]
001244adcall rdi
001244afmov [rsp], rax
001244b3lea rbx, [rip+0x205bb6]
001244bamov rbx, [rbx+80]
001244bemov rbx, [rbx]
001244c1cmp rbx, 3
001244c5jle 0x1244e7
001244c7lea rbx, [rip+0x17565a]
001244cecall camlStdlib.$5e_139
001244d3mov rbx, rax
001244d6lea rax, [rip+0x179d33]
001244ddcall camlStdlib.$5e_139
001244e2call camlStdlib.prerr_endline_390
001244e7
001244e7loc_1244e7:
001244e7mov rax, [rsp]
001244ebadd rsp, 24
001244efret
001244f0
001244f0loc_1244f0:
001244f0call caml_call_gc
001244f5jmp 0x124460
001244fa
001244faloc_1244fa:
001244fapush 36
001244fccall caml_call_realloc_stack
00124501pop r10
00124503jmp 0x124412
00124400
00124508
00124508 // align 0x10
00124508 // align 0x10
00124510
00124510camlLatexscan.fun_3331:
00124510lea r10, [rsp-328]
00124518cmp r10, [r14+40]
0012451cjb 0x124571
0012451e
0012451eloc_12451e:
0012451esub rsp, 8
00124522mov [rsp], rbx
00124526mov rbx, [rbx+16]
0012452amov eax, 1
0012452fcall camlLatexscan.top_open_group_1047
00124534mov rax, [rsp]
00124538mov rax, [rax+48]
0012453cmov rbx, [rax+48]
00124540mov eax, 1
00124545mov rdi, [rbx]
00124548call rdi
0012454amov rax, [rsp]
0012454emov rbx, [rax+32]
00124552mov rax, [rax+40]
00124556mov rdi, [rbx]
00124559call rdi
0012455bmov rax, [rsp]
0012455fmov rbx, [rax+24]
00124563mov eax, 1
00124568add rsp, 8
0012456cjmp 0x124110
00124571
00124571loc_124571:
00124571push 34
00124573call caml_call_realloc_stack
00124578pop r10
0012457ajmp 0x12451e
00124510
00124510camlLatexscan.fun_3331:
00124510lea r10, [rsp-328]
00124518cmp r10, [r14+40]
0012451cjb 0x124571
0012451e
0012451eloc_12451e:
0012451esub rsp, 8
00124522mov [rsp], rbx
00124526mov rbx, [rbx+16]
0012452amov eax, 1
0012452fcall camlLatexscan.top_open_group_1047
00124534mov rax, [rsp]
00124538mov rax, [rax+48]
0012453cmov rbx, [rax+48]
00124540mov eax, 1
00124545mov rdi, [rbx]
00124548call rdi
0012454amov rax, [rsp]
0012454emov rbx, [rax+32]
00124552mov rax, [rax+40]
00124556mov rdi, [rbx]
00124559call rdi
0012455bmov rax, [rsp]
0012455fmov rbx, [rax+24]
00124563mov eax, 1
00124568add rsp, 8
0012456cjmp 0x124110
00124571
00124571loc_124571:
00124571push 34
00124573call caml_call_realloc_stack
00124578pop r10
0012457ajmp 0x12451e
00124510
0012457c
0012457c // align 0x10
0012457c // align 0x10
00124580
00124580camlLatexscan.do_get_this_1062:
00124580lea r10, [rsp-360]
00124588cmp r10, [r14+40]
0012458cjb 0x12470a
00124592
00124592loc_124592:
00124592sub rsp, 40
00124596mov r8, rax
00124599mov [rsp+24], rbx
0012459emov [rsp+8], rdi
001245a3mov [rsp+16], rsi
001245a8mov [rsp], rcx
001245acmov rax, [rdx]
001245afmov [rsp+32], rax
001245b4mov rax, [rdx+8]
001245b8mov rdi, [r8]
001245bbmov rbx, r8
001245becall rdi
001245c0lea rax, [rip+0x205aa9]
001245c7mov rax, [rax+80]
001245cbmov rax, [rax]
001245cecmp rax, 3
001245d2jle 0x1245f9
001245d4lea rbx, [rip+0x17554d]
001245dbmov rax, [rsp+32]
001245e0call camlStdlib.$5e_139
001245e5mov rbx, rax
001245e8lea rax, [rip+0x179bf1]
001245efcall camlStdlib.$5e_139
001245f4call camlStdlib.prerr_endline_390
001245f9
001245f9loc_1245f9:
001245f9lea rax, [rip+0x205a70]
00124600mov rax, [rax+80]
00124604mov rbx, [rax]
00124607add rbx, -2
0012460bmov [rax], rbx
0012460emov rax, [rsp+32]
00124613call camlMyLexing.from_string_309
00124618mov rcx, [rsp]
0012461cmov rdi, [rcx+40]
00124620mov rbx, [rdi+416]
00124627sub r15, 72
0012462bcmp r15, [r14]
0012462ejb 0x124700
00124634
00124634loc_124634:
00124634lea rsi, [r15+8]
00124638mov [rsi-8], 8439
00124640lea rdx, [rip+217]
00124647mov [rsi], rdx
0012464amov rdx, 0x100000000000005
00124654mov [rsi+8], rdx
00124658mov rdx, [rcx+24]
0012465cmov [rsi+16], rdx
00124660mov rdx, [rcx+32]
00124664mov [rsi+24], rdx
00124668mov rdx, [rsp+8]
0012466dmov [rsi+32], rdx
00124671mov rdx, [rsp+16]
00124676mov [rsi+40], rdx
0012467amov [rsi+48], rax
0012467emov [rsi+56], rdi
00124682mov rdi, [rbx]
00124685mov rax, rsi
00124688call rdi
0012468amov [rsp], rax
0012468elea rbx, [rip+0x2059db]
00124695mov rbx, [rbx+80]
00124699mov rdi, [rbx]
0012469cadd rdi, 2
001246a0mov [rbx], rdi
001246a3mov rbx, [rbx]
001246a6cmp rbx, 3
001246aajle 0x1246e8
001246aclea rbx, [rip+0x175475]
001246b3call camlStdlib.$5e_139
001246b8mov rbx, rax
001246bblea rax, [rip+0x179af6]
001246c2call camlStdlib.$5e_139
001246c7mov rbx, rax
001246camov rax, [rsp+32]
001246cfcall camlStdlib.$5e_139
001246d4mov rbx, rax
001246d7lea rax, [rip+0x179aea]
001246decall camlStdlib.$5e_139
001246e3call camlStdlib.prerr_endline_390
001246e8
001246e8loc_1246e8:
001246e8mov eax, 1
001246edmov rbx, [rsp+24]
001246f2mov rdi, [rbx]
001246f5call rdi
001246f7mov rax, [rsp]
001246fbadd rsp, 40
001246ffret
00124700
00124700loc_124700:
00124700call caml_call_gc
00124705jmp 0x124634
0012470a
0012470aloc_12470a:
0012470apush 38
0012470ccall caml_call_realloc_stack
00124711pop r10
00124713jmp 0x124592
00124580
00124580camlLatexscan.do_get_this_1062:
00124580lea r10, [rsp-360]
00124588cmp r10, [r14+40]
0012458cjb 0x12470a
00124592
00124592loc_124592:
00124592sub rsp, 40
00124596mov r8, rax
00124599mov [rsp+24], rbx
0012459emov [rsp+8], rdi
001245a3mov [rsp+16], rsi
001245a8mov [rsp], rcx
001245acmov rax, [rdx]
001245afmov [rsp+32], rax
001245b4mov rax, [rdx+8]
001245b8mov rdi, [r8]
001245bbmov rbx, r8
001245becall rdi
001245c0lea rax, [rip+0x205aa9]
001245c7mov rax, [rax+80]
001245cbmov rax, [rax]
001245cecmp rax, 3
001245d2jle 0x1245f9
001245d4lea rbx, [rip+0x17554d]
001245dbmov rax, [rsp+32]
001245e0call camlStdlib.$5e_139
001245e5mov rbx, rax
001245e8lea rax, [rip+0x179bf1]
001245efcall camlStdlib.$5e_139
001245f4call camlStdlib.prerr_endline_390
001245f9
001245f9loc_1245f9:
001245f9lea rax, [rip+0x205a70]
00124600mov rax, [rax+80]
00124604mov rbx, [rax]
00124607add rbx, -2
0012460bmov [rax], rbx
0012460emov rax, [rsp+32]
00124613call camlMyLexing.from_string_309
00124618mov rcx, [rsp]
0012461cmov rdi, [rcx+40]
00124620mov rbx, [rdi+416]
00124627sub r15, 72
0012462bcmp r15, [r14]
0012462ejb 0x124700
00124634
00124634loc_124634:
00124634lea rsi, [r15+8]
00124638mov [rsi-8], 8439
00124640lea rdx, [rip+217]
00124647mov [rsi], rdx
0012464amov rdx, 0x100000000000005
00124654mov [rsi+8], rdx
00124658mov rdx, [rcx+24]
0012465cmov [rsi+16], rdx
00124660mov rdx, [rcx+32]
00124664mov [rsi+24], rdx
00124668mov rdx, [rsp+8]
0012466dmov [rsi+32], rdx
00124671mov rdx, [rsp+16]
00124676mov [rsi+40], rdx
0012467amov [rsi+48], rax
0012467emov [rsi+56], rdi
00124682mov rdi, [rbx]
00124685mov rax, rsi
00124688call rdi
0012468amov [rsp], rax
0012468elea rbx, [rip+0x2059db]
00124695mov rbx, [rbx+80]
00124699mov rdi, [rbx]
0012469cadd rdi, 2
001246a0mov [rbx], rdi
001246a3mov rbx, [rbx]
001246a6cmp rbx, 3
001246aajle 0x1246e8
001246aclea rbx, [rip+0x175475]
001246b3call camlStdlib.$5e_139
001246b8mov rbx, rax
001246bblea rax, [rip+0x179af6]
001246c2call camlStdlib.$5e_139
001246c7mov rbx, rax
001246camov rax, [rsp+32]
001246cfcall camlStdlib.$5e_139
001246d4mov rbx, rax
001246d7lea rax, [rip+0x179aea]
001246decall camlStdlib.$5e_139
001246e3call camlStdlib.prerr_endline_390
001246e8
001246e8loc_1246e8:
001246e8mov eax, 1
001246edmov rbx, [rsp+24]
001246f2mov rdi, [rbx]
001246f5call rdi
001246f7mov rax, [rsp]
001246fbadd rsp, 40
001246ffret
00124700
00124700loc_124700:
00124700call caml_call_gc
00124705jmp 0x124634
0012470a
0012470aloc_12470a:
0012470apush 38
0012470ccall caml_call_realloc_stack
00124711pop r10
00124713jmp 0x124592
00124580
00124718
00124718 // align 0x10
00124718 // align 0x10
00124720
00124720camlLatexscan.fun_3347:
00124720lea r10, [rsp-328]
00124728cmp r10, [r14+40]
0012472cjb 0x124800
00124732
00124732loc_124732:
00124732sub rsp, 8
00124736mov [rsp], rbx
0012473acmp r15, [r14]
0012473djbe 0x1247f6
00124743
00124743loc_124743:
00124743lea rax, [rip+0x1f2256]
0012474amov rax, [rax+136]
00124751mov rax, [rax]
00124754cmp rax, 1
00124758je 0x12476f
0012475amov rax, [rbx+56]
0012475emov rbx, [rax+192]
00124765mov eax, 1
0012476amov rdi, [rbx]
0012476dcall rdi
0012476f
0012476floc_12476f:
0012476fmov rax, [rsp]
00124773mov rbx, [rax+16]
00124777mov eax, 1
0012477ccall camlLatexscan.top_open_group_1047
00124781mov rax, [rsp]
00124785mov rbx, [rax+32]
00124789mov eax, 1
0012478emov rdi, [rbx]
00124791call rdi
00124793mov rax, [rsp]
00124797mov rbx, [rax+40]
0012479bmov rax, [rax+48]
0012479fmov rdi, [rbx]
001247a2call rdi
001247a4mov rax, [rsp]
001247a8mov rbx, [rax+24]
001247acmov eax, 1
001247b1call camlLatexscan.top_close_group_1048
001247b6lea rax, [rip+0x1f21e3]
001247bdmov rax, [rax+136]
001247c4mov rax, [rax]
001247c7cmp rax, 1
001247cbje 0x1247ec
001247cdmov rax, [rsp]
001247d1mov rax, [rax+56]
001247d5mov rbx, [rax+200]
001247dcmov eax, 1
001247e1mov rdi, [rbx]
001247e4add rsp, 8
001247e8jmp rdi
001247eanop
001247ec
001247ecloc_1247ec:
001247ecmov eax, 1
001247f1add rsp, 8
001247f5ret
001247f6
001247f6loc_1247f6:
001247f6call caml_call_gc
001247fbjmp 0x124743
00124800
00124800loc_124800:
00124800push 34
00124802call caml_call_realloc_stack
00124807pop r10
00124809jmp 0x124732
00124720
00124720camlLatexscan.fun_3347:
00124720lea r10, [rsp-328]
00124728cmp r10, [r14+40]
0012472cjb 0x124800
00124732
00124732loc_124732:
00124732sub rsp, 8
00124736mov [rsp], rbx
0012473acmp r15, [r14]
0012473djbe 0x1247f6
00124743
00124743loc_124743:
00124743lea rax, [rip+0x1f2256]
0012474amov rax, [rax+136]
00124751mov rax, [rax]
00124754cmp rax, 1
00124758je 0x12476f
0012475amov rax, [rbx+56]
0012475emov rbx, [rax+192]
00124765mov eax, 1
0012476amov rdi, [rbx]
0012476dcall rdi
0012476f
0012476floc_12476f:
0012476fmov rax, [rsp]
00124773mov rbx, [rax+16]
00124777mov eax, 1
0012477ccall camlLatexscan.top_open_group_1047
00124781mov rax, [rsp]
00124785mov rbx, [rax+32]
00124789mov eax, 1
0012478emov rdi, [rbx]
00124791call rdi
00124793mov rax, [rsp]
00124797mov rbx, [rax+40]
0012479bmov rax, [rax+48]
0012479fmov rdi, [rbx]
001247a2call rdi
001247a4mov rax, [rsp]
001247a8mov rbx, [rax+24]
001247acmov eax, 1
001247b1call camlLatexscan.top_close_group_1048
001247b6lea rax, [rip+0x1f21e3]
001247bdmov rax, [rax+136]
001247c4mov rax, [rax]
001247c7cmp rax, 1
001247cbje 0x1247ec
001247cdmov rax, [rsp]
001247d1mov rax, [rax+56]
001247d5mov rbx, [rax+200]
001247dcmov eax, 1
001247e1mov rdi, [rbx]
001247e4add rsp, 8
001247e8jmp rdi
001247eanop
001247ec
001247ecloc_1247ec:
001247ecmov eax, 1
001247f1add rsp, 8
001247f5ret
001247f6
001247f6loc_1247f6:
001247f6call caml_call_gc
001247fbjmp 0x124743
00124800
00124800loc_124800:
00124800push 34
00124802call caml_call_realloc_stack
00124807pop r10
00124809jmp 0x124732
00124720
0012480e
0012480e // align 0x10
0012480e // align 0x10
00124810
00124810camlLatexscan.do_get_this_list_1100:
00124810lea r10, [rsp-376]
00124818cmp r10, [r14+40]
0012481cjb 0x1249d3
00124822
00124822loc_124822:
00124822sub rsp, 56
00124826mov r8, rax
00124829mov [rsp+24], rbx
0012482emov [rsp+8], rdi
00124833mov [rsp+16], rsi
00124838mov [rsp], rcx
0012483cmov rax, [rdx]
0012483fmov [rsp+40], rax
00124844mov rax, [rdx+8]
00124848mov rdi, [r8]
0012484bmov rbx, r8
0012484ecall rdi
00124850lea rax, [rip+0x205819]
00124857mov rax, [rax+80]
0012485bmov rax, [rax]
0012485ecmp rax, 3
00124862jle 0x1248a9
00124864mov rax, [rsp+40]
00124869mov [rsp+48], rax
0012486elea rax, [rip+0x1f212b]
00124875mov rax, [rax]
00124878mov [rsp+32], rax
0012487dlea rbx, [rip+0x17987c]
00124884lea rax, [rip+0x208d8d]
0012488bmov rax, [rax+312]
00124892call Stdlib.Printf.fprintf
00124897mov rdi, rax
0012489amov rax, [rsp+32]
0012489fmov rbx, [rsp+48]
001248a4call caml_apply2
001248a9
001248a9loc_1248a9:
001248a9lea rax, [rip+0x2057c0]
001248b0mov rax, [rax+80]
001248b4mov rbx, [rax]
001248b7add rbx, -2
001248bbmov [rax], rbx
001248bemov rax, [rsp+40]
001248c3call camlMyLexing.from_list_562
001248c8mov rcx, [rsp]
001248ccmov rdi, [rcx+40]
001248d0mov rbx, [rdi+416]
001248d7sub r15, 72
001248dbcmp r15, [r14]
001248dejb 0x1249c9
001248e4
001248e4loc_1248e4:
001248e4lea rsi, [r15+8]
001248e8mov [rsi-8], 8439
001248f0lea rdx, [rip+249]
001248f7mov [rsi], rdx
001248famov rdx, 0x100000000000005
00124904mov [rsi+8], rdx
00124908mov rdx, [rcx+24]
0012490cmov [rsi+16], rdx
00124910mov rdx, [rcx+32]
00124914mov [rsi+24], rdx
00124918mov rdx, [rsp+8]
0012491dmov [rsi+32], rdx
00124921mov rdx, [rsp+16]
00124926mov [rsi+40], rdx
0012492amov [rsi+48], rax
0012492emov [rsi+56], rdi
00124932mov rdi, [rbx]
00124935mov rax, rsi
00124938call rdi
0012493amov [rsp], rax
0012493elea rbx, [rip+0x20572b]
00124945mov rbx, [rbx+80]
00124949mov rdi, [rbx]
0012494cadd rdi, 2
00124950mov [rbx], rdi
00124953mov rbx, [rbx]
00124956cmp rbx, 3
0012495ajle 0x1249b1
0012495ccmp rbx, 3
00124960jle 0x1249b1
00124962mov [rsp+32], rax
00124967mov rax, [rsp+40]
0012496cmov [rsp+16], rax
00124971lea rax, [rip+0x1f2028]
00124978mov rax, [rax]
0012497bmov [rsp+8], rax
00124980lea rbx, [rip+0x1796d9]
00124987lea rax, [rip+0x208c8a]
0012498emov rax, [rax+312]
00124995call Stdlib.Printf.fprintf
0012499amov rsi, rax
0012499dmov rax, [rsp+8]
001249a2mov rbx, [rsp+16]
001249a7mov rdi, [rsp+32]
001249accall caml_apply3
001249b1
001249b1loc_1249b1:
001249b1mov eax, 1
001249b6mov rbx, [rsp+24]
001249bbmov rdi, [rbx]
001249becall rdi
001249c0mov rax, [rsp]
001249c4add rsp, 56
001249c8ret
001249c9
001249c9loc_1249c9:
001249c9call caml_call_gc
001249cejmp 0x1248e4
001249d3
001249d3loc_1249d3:
001249d3push 40
001249d5call caml_call_realloc_stack
001249dapop r10
001249dcjmp 0x124822
00124810
00124810camlLatexscan.do_get_this_list_1100:
00124810lea r10, [rsp-376]
00124818cmp r10, [r14+40]
0012481cjb 0x1249d3
00124822
00124822loc_124822:
00124822sub rsp, 56
00124826mov r8, rax
00124829mov [rsp+24], rbx
0012482emov [rsp+8], rdi
00124833mov [rsp+16], rsi
00124838mov [rsp], rcx
0012483cmov rax, [rdx]
0012483fmov [rsp+40], rax
00124844mov rax, [rdx+8]
00124848mov rdi, [r8]
0012484bmov rbx, r8
0012484ecall rdi
00124850lea rax, [rip+0x205819]
00124857mov rax, [rax+80]
0012485bmov rax, [rax]
0012485ecmp rax, 3
00124862jle 0x1248a9
00124864mov rax, [rsp+40]
00124869mov [rsp+48], rax
0012486elea rax, [rip+0x1f212b]
00124875mov rax, [rax]
00124878mov [rsp+32], rax
0012487dlea rbx, [rip+0x17987c]
00124884lea rax, [rip+0x208d8d]
0012488bmov rax, [rax+312]
00124892call Stdlib.Printf.fprintf
00124897mov rdi, rax
0012489amov rax, [rsp+32]
0012489fmov rbx, [rsp+48]
001248a4call caml_apply2
001248a9
001248a9loc_1248a9:
001248a9lea rax, [rip+0x2057c0]
001248b0mov rax, [rax+80]
001248b4mov rbx, [rax]
001248b7add rbx, -2
001248bbmov [rax], rbx
001248bemov rax, [rsp+40]
001248c3call camlMyLexing.from_list_562
001248c8mov rcx, [rsp]
001248ccmov rdi, [rcx+40]
001248d0mov rbx, [rdi+416]
001248d7sub r15, 72
001248dbcmp r15, [r14]
001248dejb 0x1249c9
001248e4
001248e4loc_1248e4:
001248e4lea rsi, [r15+8]
001248e8mov [rsi-8], 8439
001248f0lea rdx, [rip+249]
001248f7mov [rsi], rdx
001248famov rdx, 0x100000000000005
00124904mov [rsi+8], rdx
00124908mov rdx, [rcx+24]
0012490cmov [rsi+16], rdx
00124910mov rdx, [rcx+32]
00124914mov [rsi+24], rdx
00124918mov rdx, [rsp+8]
0012491dmov [rsi+32], rdx
00124921mov rdx, [rsp+16]
00124926mov [rsi+40], rdx
0012492amov [rsi+48], rax
0012492emov [rsi+56], rdi
00124932mov rdi, [rbx]
00124935mov rax, rsi
00124938call rdi
0012493amov [rsp], rax
0012493elea rbx, [rip+0x20572b]
00124945mov rbx, [rbx+80]
00124949mov rdi, [rbx]
0012494cadd rdi, 2
00124950mov [rbx], rdi
00124953mov rbx, [rbx]
00124956cmp rbx, 3
0012495ajle 0x1249b1
0012495ccmp rbx, 3
00124960jle 0x1249b1
00124962mov [rsp+32], rax
00124967mov rax, [rsp+40]
0012496cmov [rsp+16], rax
00124971lea rax, [rip+0x1f2028]
00124978mov rax, [rax]
0012497bmov [rsp+8], rax
00124980lea rbx, [rip+0x1796d9]
00124987lea rax, [rip+0x208c8a]
0012498emov rax, [rax+312]
00124995call Stdlib.Printf.fprintf
0012499amov rsi, rax
0012499dmov rax, [rsp+8]
001249a2mov rbx, [rsp+16]
001249a7mov rdi, [rsp+32]
001249accall caml_apply3
001249b1
001249b1loc_1249b1:
001249b1mov eax, 1
001249b6mov rbx, [rsp+24]
001249bbmov rdi, [rbx]
001249becall rdi
001249c0mov rax, [rsp]
001249c4add rsp, 56
001249c8ret
001249c9
001249c9loc_1249c9:
001249c9call caml_call_gc
001249cejmp 0x1248e4
001249d3
001249d3loc_1249d3:
001249d3push 40
001249d5call caml_call_realloc_stack
001249dapop r10
001249dcjmp 0x124822
00124810
001249e1
001249e1 // align 0x10
001249e1 // align 0x10
001249f0
001249f0camlLatexscan.fun_3373:
001249f0lea r10, [rsp-328]
001249f8cmp r10, [r14+40]
001249fcjb 0x124ad0
00124a02
00124a02loc_124a02:
00124a02sub rsp, 8
00124a06mov [rsp], rbx
00124a0acmp r15, [r14]
00124a0djbe 0x124ac6
00124a13
00124a13loc_124a13:
00124a13lea rax, [rip+0x1f1f86]
00124a1amov rax, [rax+136]
00124a21mov rax, [rax]
00124a24cmp rax, 1
00124a28je 0x124a3f
00124a2amov rax, [rbx+56]
00124a2emov rbx, [rax+192]
00124a35mov eax, 1
00124a3amov rdi, [rbx]
00124a3dcall rdi
00124a3f
00124a3floc_124a3f:
00124a3fmov rax, [rsp]
00124a43mov rbx, [rax+16]
00124a47mov eax, 1
00124a4ccall camlLatexscan.top_open_group_1047
00124a51mov rax, [rsp]
00124a55mov rbx, [rax+32]
00124a59mov eax, 1
00124a5emov rdi, [rbx]
00124a61call rdi
00124a63mov rax, [rsp]
00124a67mov rbx, [rax+40]
00124a6bmov rax, [rax+48]
00124a6fmov rdi, [rbx]
00124a72call rdi
00124a74mov rax, [rsp]
00124a78mov rbx, [rax+24]
00124a7cmov eax, 1
00124a81call camlLatexscan.top_close_group_1048
00124a86lea rax, [rip+0x1f1f13]
00124a8dmov rax, [rax+136]
00124a94mov rax, [rax]
00124a97cmp rax, 1
00124a9bje 0x124abc
00124a9dmov rax, [rsp]
00124aa1mov rax, [rax+56]
00124aa5mov rbx, [rax+200]
00124aacmov eax, 1
00124ab1mov rdi, [rbx]
00124ab4add rsp, 8
00124ab8jmp rdi
00124abanop
00124abc
00124abcloc_124abc:
00124abcmov eax, 1
00124ac1add rsp, 8
00124ac5ret
00124ac6
00124ac6loc_124ac6:
00124ac6call caml_call_gc
00124acbjmp 0x124a13
00124ad0
00124ad0loc_124ad0:
00124ad0push 34
00124ad2call caml_call_realloc_stack
00124ad7pop r10
00124ad9jmp 0x124a02
001249f0
001249f0camlLatexscan.fun_3373:
001249f0lea r10, [rsp-328]
001249f8cmp r10, [r14+40]
001249fcjb 0x124ad0
00124a02
00124a02loc_124a02:
00124a02sub rsp, 8
00124a06mov [rsp], rbx
00124a0acmp r15, [r14]
00124a0djbe 0x124ac6
00124a13
00124a13loc_124a13:
00124a13lea rax, [rip+0x1f1f86]
00124a1amov rax, [rax+136]
00124a21mov rax, [rax]
00124a24cmp rax, 1
00124a28je 0x124a3f
00124a2amov rax, [rbx+56]
00124a2emov rbx, [rax+192]
00124a35mov eax, 1
00124a3amov rdi, [rbx]
00124a3dcall rdi
00124a3f
00124a3floc_124a3f:
00124a3fmov rax, [rsp]
00124a43mov rbx, [rax+16]
00124a47mov eax, 1
00124a4ccall camlLatexscan.top_open_group_1047
00124a51mov rax, [rsp]
00124a55mov rbx, [rax+32]
00124a59mov eax, 1
00124a5emov rdi, [rbx]
00124a61call rdi
00124a63mov rax, [rsp]
00124a67mov rbx, [rax+40]
00124a6bmov rax, [rax+48]
00124a6fmov rdi, [rbx]
00124a72call rdi
00124a74mov rax, [rsp]
00124a78mov rbx, [rax+24]
00124a7cmov eax, 1
00124a81call camlLatexscan.top_close_group_1048
00124a86lea rax, [rip+0x1f1f13]
00124a8dmov rax, [rax+136]
00124a94mov rax, [rax]
00124a97cmp rax, 1
00124a9bje 0x124abc
00124a9dmov rax, [rsp]
00124aa1mov rax, [rax+56]
00124aa5mov rbx, [rax+200]
00124aacmov eax, 1
00124ab1mov rdi, [rbx]
00124ab4add rsp, 8
00124ab8jmp rdi
00124abanop
00124abc
00124abcloc_124abc:
00124abcmov eax, 1
00124ac1add rsp, 8
00124ac5ret
00124ac6
00124ac6loc_124ac6:
00124ac6call caml_call_gc
00124acbjmp 0x124a13
00124ad0
00124ad0loc_124ad0:
00124ad0push 34
00124ad2call caml_call_realloc_stack
00124ad7pop r10
00124ad9jmp 0x124a02
001249f0
00124ade
00124ade // align 0x10
00124ade // align 0x10
00124ae0
00124ae0camlLatexscan.fun_3392:
00124ae0mov rsi, rax
00124ae3mov rdx, rbx
00124ae6mov r8, [rdi+40]
00124aeamov rbx, [rdi+32]
00124aeemov rax, [rdi+24]
00124af2mov rcx, [rdi+48]
00124af6mov rdi, r8
00124af9jmp 0x124580
00124ae0
00124ae0camlLatexscan.fun_3392:
00124ae0mov rsi, rax
00124ae3mov rdx, rbx
00124ae6mov r8, [rdi+40]
00124aeamov rbx, [rdi+32]
00124aeemov rax, [rdi+24]
00124af2mov rcx, [rdi+48]
00124af6mov rdi, r8
00124af9jmp 0x124580
00124ae0
00124afe
00124afe // align 0x10
00124afe // align 0x10
00124b06
00124b06 // align 0x10
00124b06 // align 0x10
00124b10
00124b10camlLatexscan.get_this_string_1113:
00124b10mov rsi, rax
00124b13sub r15, 24
00124b17cmp r15, [r14]
00124b1ajb 0x124b61
00124b1c
00124b1cloc_124b1c:
00124b1clea rdx, [r15+8]
00124b20mov [rdx-8], 2048
00124b28mov [rdx], rbx
00124b2blea rax, [rip+0x1f1e6e]
00124b32mov rbx, [rax+728]
00124b39mov rbx, [rbx]
00124b3cmov [rdx+8], rbx
00124b40lea r8, [rip+0x1729d9]
00124b47mov rbx, [rax+392]
00124b4emov rax, [rax+408]
00124b55mov rcx, [rdi+24]
00124b59mov rdi, r8
00124b5cjmp 0x124580
00124b61
00124b61loc_124b61:
00124b61call caml_call_gc
00124b66jmp 0x124b1c
00124b10
00124b10camlLatexscan.get_this_string_1113:
00124b10mov rsi, rax
00124b13sub r15, 24
00124b17cmp r15, [r14]
00124b1ajb 0x124b61
00124b1c
00124b1cloc_124b1c:
00124b1clea rdx, [r15+8]
00124b20mov [rdx-8], 2048
00124b28mov [rdx], rbx
00124b2blea rax, [rip+0x1f1e6e]
00124b32mov rbx, [rax+728]
00124b39mov rbx, [rbx]
00124b3cmov [rdx+8], rbx
00124b40lea r8, [rip+0x1729d9]
00124b47mov rbx, [rax+392]
00124b4emov rax, [rax+408]
00124b55mov rcx, [rdi+24]
00124b59mov rdi, r8
00124b5cjmp 0x124580
00124b61
00124b61loc_124b61:
00124b61call caml_call_gc
00124b66jmp 0x124b1c
00124b10
00124b68
00124b68 // align 0x10
00124b68 // align 0x10
00124b76
00124b76 // align 0x10
00124b76 // align 0x10
00124b80
00124b80camlLatexscan.is_table_1153:
00124b80and rax, 1
00124b84mov rbx, rax
00124b87shl rbx, 1
00124b8amov eax, 3
00124b8fsub rax, rbx
00124b92ret
00124b80
00124b80camlLatexscan.is_table_1153:
00124b80and rax, 1
00124b84mov rbx, rax
00124b87shl rbx, 1
00124b8amov eax, 3
00124b8fsub rax, rbx
00124b92ret
00124b80
00124b93
00124b93 // align 0x10
00124b93 // align 0x10
00124ba0
00124ba0camlLatexscan.is_noborder_table_1154:
00124ba0test al, 1
00124ba2je 0x124bac
00124ba4mov eax, 1
00124ba9ret
00124baa
00124baa 66 90 f.
00124bac
00124bacloc_124bac:
00124bacmov rax, [rax]
00124bafmov rbx, [rax+8]
00124bb3mov eax, 4
00124bb8sub rax, rbx
00124bbbret
00124ba0
00124ba0camlLatexscan.is_noborder_table_1154:
00124ba0test al, 1
00124ba2je 0x124bac
00124ba4mov eax, 1
00124ba9ret
00124baa
00124baa 66 90 f.
00124bac
00124bacloc_124bac:
00124bacmov rax, [rax]
00124bafmov rbx, [rax+8]
00124bb3mov eax, 4
00124bb8sub rax, rbx
00124bbbret
00124ba0
00124bbc
00124bbc // align 0x10
00124bbc // align 0x10
00124bc0
00124bc0camlLatexscan.is_border_table_1155:
00124bc0test al, 1
00124bc2je 0x124c00
00124bc4sub r15, 24
00124bc8cmp r15, [r14]
00124bcbjb 0x124c08
00124bcd
00124bcdloc_124bcd:
00124bcdlea rax, [r15+8]
00124bd1mov [rax-8], 2048
00124bd9lea rbx, [rip+0x205490]
00124be0mov rbx, [rbx]
00124be3mov [rax], rbx
00124be6lea rbx, [rip+0x17944b]
00124bedmov [rax+8], rbx
00124bf1mov rsp, [r14+48]
00124bf5pop [r14+48]
00124bf9pop r11
00124bfbjmp r11
00124bfenop
00124c00
00124c00loc_124c00:
00124c00mov rax, [rax]
00124c03mov rax, [rax+8]
00124c07ret
00124c08
00124c08loc_124c08:
00124c08call caml_call_gc
00124c0djmp 0x124bcd
00124bc0
00124bc0camlLatexscan.is_border_table_1155:
00124bc0test al, 1
00124bc2je 0x124c00
00124bc4sub r15, 24
00124bc8cmp r15, [r14]
00124bcbjb 0x124c08
00124bcd
00124bcdloc_124bcd:
00124bcdlea rax, [r15+8]
00124bd1mov [rax-8], 2048
00124bd9lea rbx, [rip+0x205490]
00124be0mov rbx, [rbx]
00124be3mov [rax], rbx
00124be6lea rbx, [rip+0x17944b]
00124bedmov [rax+8], rbx
00124bf1mov rsp, [r14+48]
00124bf5pop [r14+48]
00124bf9pop r11
00124bfbjmp r11
00124bfenop
00124c00
00124c00loc_124c00:
00124c00mov rax, [rax]
00124c03mov rax, [rax+8]
00124c07ret
00124c08
00124c08loc_124c08:
00124c08call caml_call_gc
00124c0djmp 0x124bcd
00124bc0
00124c0f
00124c0f // align 0x10
00124c0f // align 0x10
00124c10
00124c10camlLatexscan.is_tabbing_1156:
00124c10test al, 1
00124c12je 0x124c20
00124c14cmp rax, 1
00124c18je 0x124c20
00124c1amov eax, 3
00124c1fret
00124c20
00124c20loc_124c20:
00124c20mov eax, 1
00124c25ret
00124c10
00124c10camlLatexscan.is_tabbing_1156:
00124c10test al, 1
00124c12je 0x124c20
00124c14cmp rax, 1
00124c18je 0x124c20
00124c1amov eax, 3
00124c1fret
00124c20
00124c20loc_124c20:
00124c20mov eax, 1
00124c25ret
00124c10
00124c26
00124c26 // align 0x10
00124c26 // align 0x10
00124c30
00124c30camlLatexscan.math_table_1157:
00124c30test al, 1
00124c32je 0x124c70
00124c34sub r15, 24
00124c38cmp r15, [r14]
00124c3bjb 0x124c77
00124c3d
00124c3dloc_124c3d:
00124c3dlea rax, [r15+8]
00124c41mov [rax-8], 2048
00124c49lea rbx, [rip+0x205420]
00124c50mov rbx, [rbx]
00124c53mov [rax], rbx
00124c56lea rbx, [rip+0x1793ab]
00124c5dmov [rax+8], rbx
00124c61mov rsp, [r14+48]
00124c65pop [r14+48]
00124c69pop r11
00124c6bjmp r11
00124c6enop
00124c70
00124c70loc_124c70:
00124c70mov rax, [rax]
00124c73mov rax, [rax]
00124c76ret
00124c77
00124c77loc_124c77:
00124c77call caml_call_gc
00124c7cjmp 0x124c3d
00124c30
00124c30camlLatexscan.math_table_1157:
00124c30test al, 1
00124c32je 0x124c70
00124c34sub r15, 24
00124c38cmp r15, [r14]
00124c3bjb 0x124c77
00124c3d
00124c3dloc_124c3d:
00124c3dlea rax, [r15+8]
00124c41mov [rax-8], 2048
00124c49lea rbx, [rip+0x205420]
00124c50mov rbx, [rbx]
00124c53mov [rax], rbx
00124c56lea rbx, [rip+0x1793ab]
00124c5dmov [rax+8], rbx
00124c61mov rsp, [r14+48]
00124c65pop [r14+48]
00124c69pop r11
00124c6bjmp r11
00124c6enop
00124c70
00124c70loc_124c70:
00124c70mov rax, [rax]
00124c73mov rax, [rax]
00124c76ret
00124c77
00124c77loc_124c77:
00124c77call caml_call_gc
00124c7cjmp 0x124c3d
00124c30
00124c7e
00124c7e // align 0x10
00124c7e // align 0x10
00124c80
00124c80camlLatexscan.is_inside_1172:
00124c80movzx rax, [rax-8]
00124c85cmp rax, 1
00124c89jne 0x124c94
00124c8bmov eax, 3
00124c90ret
00124c91
00124c91 0f 1f 00 ...
00124c94
00124c94loc_124c94:
00124c94mov eax, 1
00124c99ret
00124c80
00124c80camlLatexscan.is_inside_1172:
00124c80movzx rax, [rax-8]
00124c85cmp rax, 1
00124c89jne 0x124c94
00124c8bmov eax, 3
00124c90ret
00124c91
00124c91 0f 1f 00 ...
00124c94
00124c94loc_124c94:
00124c94mov eax, 1
00124c99ret
00124c80
00124c9a
00124c9a // align 0x10
00124c9a // align 0x10
00124ca0
00124ca0camlLatexscan.is_border_1175:
00124ca0movzx rax, [rax-8]
00124ca5cmp rax, 2
00124ca9jl 0x124cb4
00124cabmov eax, 3
00124cb0ret
00124cb1
00124cb1 0f 1f 00 ...
00124cb4
00124cb4loc_124cb4:
00124cb4mov eax, 1
00124cb9ret
00124ca0
00124ca0camlLatexscan.is_border_1175:
00124ca0movzx rax, [rax-8]
00124ca5cmp rax, 2
00124ca9jl 0x124cb4
00124cabmov eax, 3
00124cb0ret
00124cb1
00124cb1 0f 1f 00 ...
00124cb4
00124cb4loc_124cb4:
00124cb4mov eax, 1
00124cb9ret
00124ca0
00124cba
00124cba // align 0x10
00124cba // align 0x10
00124cc0
00124cc0camlLatexscan.as_wrap_1176:
00124cc0movzx rbx, [rax-8]
00124cc5test rbx, rbx
00124cc8jne 0x124cd4
00124ccamov rax, [rax]
00124ccdmov rax, [rax+16]
00124cd1ret
00124cd2
00124cd2 66 90 f.
00124cd4
00124cd4loc_124cd4:
00124cd4mov eax, 1
00124cd9ret
00124cc0
00124cc0camlLatexscan.as_wrap_1176:
00124cc0movzx rbx, [rax-8]
00124cc5test rbx, rbx
00124cc8jne 0x124cd4
00124ccamov rax, [rax]
00124ccdmov rax, [rax+16]
00124cd1ret
00124cd2
00124cd2 66 90 f.
00124cd4
00124cd4loc_124cd4:
00124cd4mov eax, 1
00124cd9ret
00124cc0
00124cda
00124cda // align 0x10
00124cda // align 0x10
00124ce0
00124ce0camlLatexscan.as_pre_1177:
00124ce0movzx rbx, [rax-8]
00124ce5test rbx, rbx
00124ce8jne 0x124cf4
00124ceamov rax, [rax]
00124cedmov rax, [rax+24]
00124cf1ret
00124cf2nop
00124cf4
00124cf4loc_124cf4:
00124cf4sub r15, 24
00124cf8cmp r15, [r14]
00124cfbjb 0x124d2e
00124cfd
00124cfdloc_124cfd:
00124cfdlea rax, [r15+8]
00124d01mov [rax-8], 2048
00124d09lea rbx, [rip+0x205360]
00124d10mov rbx, [rbx]
00124d13mov [rax], rbx
00124d16lea rbx, [rip+0x1792ab]
00124d1dmov [rax+8], rbx
00124d21mov rsp, [r14+48]
00124d25pop [r14+48]
00124d29pop r11
00124d2bjmp r11
00124d2e
00124d2eloc_124d2e:
00124d2ecall caml_call_gc
00124d33jmp 0x124cfd
00124ce0
00124ce0camlLatexscan.as_pre_1177:
00124ce0movzx rbx, [rax-8]
00124ce5test rbx, rbx
00124ce8jne 0x124cf4
00124ceamov rax, [rax]
00124cedmov rax, [rax+24]
00124cf1ret
00124cf2nop
00124cf4
00124cf4loc_124cf4:
00124cf4sub r15, 24
00124cf8cmp r15, [r14]
00124cfbjb 0x124d2e
00124cfd
00124cfdloc_124cfd:
00124cfdlea rax, [r15+8]
00124d01mov [rax-8], 2048
00124d09lea rbx, [rip+0x205360]
00124d10mov rbx, [rbx]
00124d13mov [rax], rbx
00124d16lea rbx, [rip+0x1792ab]
00124d1dmov [rax+8], rbx
00124d21mov rsp, [r14+48]
00124d25pop [r14+48]
00124d29pop r11
00124d2bjmp r11
00124d2e
00124d2eloc_124d2e:
00124d2ecall caml_call_gc
00124d33jmp 0x124cfd
00124ce0
00124d35
00124d35 // align 0x10
00124d35 // align 0x10
00124d40
00124d40camlLatexscan.as_post_1178:
00124d40lea r10, [rsp-320]
00124d48cmp r10, [r14+40]
00124d4cjb 0x124db1
00124d4e
00124d4eloc_124d4e:
00124d4emovzx rbx, [rax-8]
00124d53test rbx, rbx
00124d56jne 0x124d60
00124d58mov rax, [rax]
00124d5bmov rax, [rax+32]
00124d5fret
00124d60
00124d60loc_124d60:
00124d60call camlTabular.pretty_format_546
00124d65mov rbx, rax
00124d68lea rax, [rip+0x179241]
00124d6fcall camlStdlib.$5e_139
00124d74sub r15, 24
00124d78cmp r15, [r14]
00124d7bjb 0x124daa
00124d7d
00124d7dloc_124d7d:
00124d7dlea rbx, [r15+8]
00124d81mov [rbx-8], 2048
00124d89lea rdi, [rip+0x2052e0]
00124d90mov rdi, [rdi]
00124d93mov [rbx], rdi
00124d96mov [rbx+8], rax
00124d9amov rax, rbx
00124d9dmov rsp, [r14+48]
00124da1pop [r14+48]
00124da5pop r11
00124da7jmp r11
00124daa
00124daaloc_124daa:
00124daacall caml_call_gc
00124dafjmp 0x124d7d
00124db1
00124db1loc_124db1:
00124db1push 33
00124db3call caml_call_realloc_stack
00124db8pop r10
00124dbajmp 0x124d4e
00124d40
00124d40camlLatexscan.as_post_1178:
00124d40lea r10, [rsp-320]
00124d48cmp r10, [r14+40]
00124d4cjb 0x124db1
00124d4e
00124d4eloc_124d4e:
00124d4emovzx rbx, [rax-8]
00124d53test rbx, rbx
00124d56jne 0x124d60
00124d58mov rax, [rax]
00124d5bmov rax, [rax+32]
00124d5fret
00124d60
00124d60loc_124d60:
00124d60call camlTabular.pretty_format_546
00124d65mov rbx, rax
00124d68lea rax, [rip+0x179241]
00124d6fcall camlStdlib.$5e_139
00124d74sub r15, 24
00124d78cmp r15, [r14]
00124d7bjb 0x124daa
00124d7d
00124d7dloc_124d7d:
00124d7dlea rbx, [r15+8]
00124d81mov [rbx-8], 2048
00124d89lea rdi, [rip+0x2052e0]
00124d90mov rdi, [rdi]
00124d93mov [rbx], rdi
00124d96mov [rbx+8], rax
00124d9amov rax, rbx
00124d9dmov rsp, [r14+48]
00124da1pop [r14+48]
00124da5pop r11
00124da7jmp r11
00124daa
00124daaloc_124daa:
00124daacall caml_call_gc
00124dafjmp 0x124d7d
00124db1
00124db1loc_124db1:
00124db1push 33
00124db3call caml_call_realloc_stack
00124db8pop r10
00124dbajmp 0x124d4e
00124d40
00124dbc
00124dbc // align 0x10
00124dbc // align 0x10
00124dc0
00124dc0camlLatexscan.get_col_1190:
00124dc0lea r10, [rsp-344]
00124dc8cmp r10, [r14+40]
00124dccjb 0x124eec
00124dd2
00124dd2loc_124dd2:
00124dd2sub rsp, 24
00124dd6mov rsi, [rax-8]
00124ddashr rsi, 9
00124ddemov rdx, rsi
00124de1or rdx, 1
00124de5mov rcx, rdx
00124de8add rcx, 2
00124deccmp rbx, rcx
00124defjl 0x124e30
00124df1sub r15, 24
00124df5cmp r15, [r14]
00124df8jb 0x124edd
00124dfe
00124dfeloc_124dfe:
00124dfelea rax, [r15+8]
00124e02mov [rax-8], 2048
00124e0alea rbx, [rip+0x20525f]
00124e11mov rbx, [rbx+24]
00124e15mov [rax], rbx
00124e18lea rbx, [rip+0x179159]
00124e1fmov [rax+8], rbx
00124e23mov rsp, [r14+48]
00124e27pop [r14+48]
00124e2bpop r11
00124e2djmp r11
00124e30
00124e30loc_124e30:
00124e30cmp rbx, rdx
00124e33jne 0x124e40
00124e35mov rdi, [rdi+24]
00124e39mov [rsp+8], rdi
00124e3ejmp 0x124e53
00124e40
00124e40loc_124e40:
00124e40cmp rsi, rbx
00124e43jbe 0x124ee7
00124e49mov rdi, [rax+4*rbx-4]
00124e4emov [rsp+8], rdi
00124e53
00124e53loc_124e53:
00124e53lea rdi, [rip+0x205216]
00124e5amov rdi, [rdi+80]
00124e5emov rdi, [rdi]
00124e61cmp rdi, 5
00124e65jle 0x124ed3
00124e67mov [rsp+16], rax
00124e6cmov [rsp], rbx
00124e70lea rbx, [rip+0x179051]
00124e77lea rax, [rip+0x20879a]
00124e7emov rax, [rax+312]
00124e85call Stdlib.Printf.fprintf
00124e8amov rbx, rax
00124e8dmov rdi, [rbx]
00124e90mov rax, [rsp]
00124e94call rdi
00124e96mov rax, [rsp+8]
00124e9bcall camlTabular.pretty_format_546
00124ea0call camlStdlib.prerr_endline_390
00124ea5lea rbx, [rip+0x17900c]
00124eaclea rax, [rip+0x208765]
00124eb3mov rax, [rax+312]
00124ebacall camlStdlib.output_string_253
00124ebfmov rax, [rsp+16]
00124ec4call camlTabular.pretty_formats_557
00124ec9mov eax, 1
00124ececall camlStdlib.prerr_newline_393
00124ed3
00124ed3loc_124ed3:
00124ed3mov rax, [rsp+8]
00124ed8add rsp, 24
00124edcret
00124edd
00124eddloc_124edd:
00124eddcall caml_call_gc
00124ee2jmp 0x124dfe
00124ee7
00124ee7loc_124ee7:
00124ee7call caml_ml_array_bound_error
00124eec
00124eecloc_124eec:
00124eecpush 36
00124eeecall caml_call_realloc_stack
00124ef3pop r10
00124ef5jmp 0x124dd2
00124dc0
00124dc0camlLatexscan.get_col_1190:
00124dc0lea r10, [rsp-344]
00124dc8cmp r10, [r14+40]
00124dccjb 0x124eec
00124dd2
00124dd2loc_124dd2:
00124dd2sub rsp, 24
00124dd6mov rsi, [rax-8]
00124ddashr rsi, 9
00124ddemov rdx, rsi
00124de1or rdx, 1
00124de5mov rcx, rdx
00124de8add rcx, 2
00124deccmp rbx, rcx
00124defjl 0x124e30
00124df1sub r15, 24
00124df5cmp r15, [r14]
00124df8jb 0x124edd
00124dfe
00124dfeloc_124dfe:
00124dfelea rax, [r15+8]
00124e02mov [rax-8], 2048
00124e0alea rbx, [rip+0x20525f]
00124e11mov rbx, [rbx+24]
00124e15mov [rax], rbx
00124e18lea rbx, [rip+0x179159]
00124e1fmov [rax+8], rbx
00124e23mov rsp, [r14+48]
00124e27pop [r14+48]
00124e2bpop r11
00124e2djmp r11
00124e30
00124e30loc_124e30:
00124e30cmp rbx, rdx
00124e33jne 0x124e40
00124e35mov rdi, [rdi+24]
00124e39mov [rsp+8], rdi
00124e3ejmp 0x124e53
00124e40
00124e40loc_124e40:
00124e40cmp rsi, rbx
00124e43jbe 0x124ee7
00124e49mov rdi, [rax+4*rbx-4]
00124e4emov [rsp+8], rdi
00124e53
00124e53loc_124e53:
00124e53lea rdi, [rip+0x205216]
00124e5amov rdi, [rdi+80]
00124e5emov rdi, [rdi]
00124e61cmp rdi, 5
00124e65jle 0x124ed3
00124e67mov [rsp+16], rax
00124e6cmov [rsp], rbx
00124e70lea rbx, [rip+0x179051]
00124e77lea rax, [rip+0x20879a]
00124e7emov rax, [rax+312]
00124e85call Stdlib.Printf.fprintf
00124e8amov rbx, rax
00124e8dmov rdi, [rbx]
00124e90mov rax, [rsp]
00124e94call rdi
00124e96mov rax, [rsp+8]
00124e9bcall camlTabular.pretty_format_546
00124ea0call camlStdlib.prerr_endline_390
00124ea5lea rbx, [rip+0x17900c]
00124eaclea rax, [rip+0x208765]
00124eb3mov rax, [rax+312]
00124ebacall camlStdlib.output_string_253
00124ebfmov rax, [rsp+16]
00124ec4call camlTabular.pretty_formats_557
00124ec9mov eax, 1
00124ececall camlStdlib.prerr_newline_393
00124ed3
00124ed3loc_124ed3:
00124ed3mov rax, [rsp+8]
00124ed8add rsp, 24
00124edcret
00124edd
00124eddloc_124edd:
00124eddcall caml_call_gc
00124ee2jmp 0x124dfe
00124ee7
00124ee7loc_124ee7:
00124ee7call caml_ml_array_bound_error
00124eec
00124eecloc_124eec:
00124eecpush 36
00124eeecall caml_call_realloc_stack
00124ef3pop r10
00124ef5jmp 0x124dd2
00124dc0
00124efa
00124efa // align 0x10
00124efa // align 0x10
00124f00
00124f00camlLatexscan.par_val_1245:
00124f00lea r10, [rsp-320]
00124f08cmp r10, [r14+40]
00124f0cjb 0x124f5c
00124f0e
00124f0eloc_124f0e:
00124f0etest al, 1
00124f10je 0x124f1c
00124f12lea rax, [rip+0x172f77]
00124f19ret
00124f1a
00124f1a 66 90 f.
00124f1c
00124f1cloc_124f1c:
00124f1cmov rax, [rbx+24]
00124f20mov rsi, [rax]
00124f23mov rax, [rbx+16]
00124f27mov rax, [rax]
00124f2amov rdi, [rbx+40]
00124f2emov rbx, rsi
00124f31call camlLatexscan.get_col_1190
00124f36movzx rbx, [rax-8]
00124f3btest rbx, rbx
00124f3ejne 0x124f54
00124f40mov rax, [rax]
00124f43mov rax, [rax+16]
00124f47cmp rax, 1
00124f4bjne 0x124f54
00124f4dmov eax, 1
00124f52ret
00124f53
00124f53 90 .
00124f54
00124f54loc_124f54:
00124f54lea rax, [rip+0x178f4d]
00124f5bret
00124f5c
00124f5cloc_124f5c:
00124f5cpush 33
00124f5ecall caml_call_realloc_stack
00124f63pop r10
00124f65jmp 0x124f0e
00124f00
00124f00camlLatexscan.par_val_1245:
00124f00lea r10, [rsp-320]
00124f08cmp r10, [r14+40]
00124f0cjb 0x124f5c
00124f0e
00124f0eloc_124f0e:
00124f0etest al, 1
00124f10je 0x124f1c
00124f12lea rax, [rip+0x172f77]
00124f19ret
00124f1a
00124f1a 66 90 f.
00124f1c
00124f1cloc_124f1c:
00124f1cmov rax, [rbx+24]
00124f20mov rsi, [rax]
00124f23mov rax, [rbx+16]
00124f27mov rax, [rax]
00124f2amov rdi, [rbx+40]
00124f2emov rbx, rsi
00124f31call camlLatexscan.get_col_1190
00124f36movzx rbx, [rax-8]
00124f3btest rbx, rbx
00124f3ejne 0x124f54
00124f40mov rax, [rax]
00124f43mov rax, [rax+16]
00124f47cmp rax, 1
00124f4bjne 0x124f54
00124f4dmov eax, 1
00124f52ret
00124f53
00124f53 90 .
00124f54
00124f54loc_124f54:
00124f54lea rax, [rip+0x178f4d]
00124f5bret
00124f5c
00124f5cloc_124f5c:
00124f5cpush 33
00124f5ecall caml_call_realloc_stack
00124f63pop r10
00124f65jmp 0x124f0e
00124f00
00124f67
00124f67 // align 0x10
00124f67 // align 0x10
00124f70
00124f70camlLatexscan.show_inside_1248:
00124f70lea r10, [rsp-400]
00124f78cmp r10, [r14+40]
00124f7cjb 0x12517c
00124f82
00124f82loc_124f82:
00124f82sub rsp, 64
00124f86mov [rsp+48], rax
00124f8bmov [rsp+16], rbx
00124f90mov rbx, rdi
00124f93mov [rsp], rbx
00124f97mov [rsp+8], rsi
00124f9cmov [rsp+56], rdx
00124fa1mov [rsp+24], rbx
00124fa6lea r11, [rip+347]
00124fadpush r11
00124fafpush [r14+48]
00124fb3mov [r14+48], rsp
00124fb7
00124fb7loc_124fb7:
00124fb7mov rax, [rsp+72]
00124fbcmov rdi, [rax+72]
00124fc0mov rax, [rsp+32]
00124fc5call camlLatexscan.get_col_1190
00124fcamov rdi, rax
00124fcdmov [rsp+48], rdi
00124fd2movzx rax, [rdi-8]
00124fd7cmp rax, 1
00124fdbje 0x124ffc
00124fddja 0x1250b4
00124fe3mov rax, [rsp+72]
00124fe8mov rax, [rax+24]
00124fecmov rsp, [r14+48]
00124ff0pop [r14+48]
00124ff4pop r11
00124ff6jmp r11
00124ff9nop [rax]
00124ffc
00124ffcloc_124ffc:
00124ffcmov rax, [rsp+72]
00125001mov rax, [rax+32]
00125005mov rax, [rax]
00125008mov [rsp+56], rax
0012500dcall camlLatexscan.math_table_1157
00125012cmp rax, 1
00125016je 0x12502c
00125018lea rbx, [rip+0x178e79]
0012501fmov rax, [rsp+64]
00125024call camlLexstate.scan_this_1185
00125029jmp 0x12503d
0012502bnop
0012502c
0012502cloc_12502c:
0012502clea rbx, [rip+0x178e55]
00125033mov rax, [rsp+64]
00125038call camlLexstate.scan_this_1185
0012503d
0012503dloc_12503d:
0012503dmov rax, [rsp+48]
00125042mov rbx, [rax]
00125045mov rax, [rsp+72]
0012504amov rdi, [rax+56]
0012504emov rax, [rsp+64]
00125053call camlLatexscan.get_this_string_1113
00125058mov [rsp+48], rax
0012505dmov rax, [rsp+56]
00125062call camlLatexscan.math_table_1157
00125067cmp rax, 1
0012506bje 0x125080
0012506dlea rbx, [rip+0x178e24]
00125074mov rax, [rsp+64]
00125079call camlLexstate.scan_this_1185
0012507ejmp 0x125091
00125080
00125080loc_125080:
00125080lea rbx, [rip+0x178df1]
00125087mov rax, [rsp+64]
0012508ccall camlLexstate.scan_this_1185
00125091
00125091loc_125091:
00125091mov rbx, [rsp+72]
00125096mov rax, [rbx+80]
0012509amov rdi, [rax+616]
001250a1mov rax, [rbx+48]
001250a5mov rbx, [rax]
001250a8mov rax, [rsp+48]
001250adcall caml_apply2
001250b2jmp 0x1250e5
001250b4
001250b4loc_1250b4:
001250b4mov rax, [rsp+72]
001250b9mov rax, [rax+80]
001250bdmov rbx, [rax+608]
001250c4mov rax, [rdi]
001250c7mov rdi, [rbx]
001250cacall rdi
001250ccmov rax, [rsp+72]
001250d1mov rax, [rax+40]
001250d5mov rbx, [rax]
001250d8cmp rbx, 1
001250dcje 0x1250e5
001250demov [rax], 1
001250e5
001250e5loc_1250e5:
001250e5mov rbx, [rsp+40]
001250eaadd rbx, 2
001250eemov [rsp+40], rbx
001250f3cmp r15, [r14]
001250f6ja 0x124fb7
001250fcjmp 0x125172
001250fepop [r14+48]
00125102add rsp, 8
00125106jmp 0x125168
00125108mov rdi, [rsp+56]
0012510dmov rbx, [rdi+24]
00125111cmp rax, rbx
00125114jne 0x125158
00125116mov rax, [rsp+24]
0012511bmov rbx, [rsp]
0012511fcmp rax, rbx
00125122jne 0x125168
00125124mov rax, [rsp+8]
00125129cmp rax, 1
0012512djne 0x12513c
0012512fmov rax, [rdi+40]
00125133mov rax, [rax]
00125136cmp rax, 1
0012513aje 0x125168
0012513c
0012513cloc_12513c:
0012513cmov rax, [rdi+80]
00125140mov rbx, [rax+608]
00125147lea rax, [rip+0x178d1a]
0012514emov rdi, [rbx]
00125151call rdi
00125153jmp 0x125168
00125155nop [rax]
00125158
00125158loc_125158:
00125158mov rsp, [r14+48]
0012515cpop [r14+48]
00125160pop r11
00125162jmp r11
00125165nop [rax]
00125168
00125168loc_125168:
00125168mov rax, [rsp+24]
0012516dadd rsp, 64
00125171ret
00125172
00125172loc_125172:
00125172call caml_call_gc
00125177jmp 0x124fb7
0012517c
0012517cloc_12517c:
0012517cpush 43
0012517ecall caml_call_realloc_stack
00125183pop r10
00125185jmp 0x124f82
00124f70
00124f70camlLatexscan.show_inside_1248:
00124f70lea r10, [rsp-400]
00124f78cmp r10, [r14+40]
00124f7cjb 0x12517c
00124f82
00124f82loc_124f82:
00124f82sub rsp, 64
00124f86mov [rsp+48], rax
00124f8bmov [rsp+16], rbx
00124f90mov rbx, rdi
00124f93mov [rsp], rbx
00124f97mov [rsp+8], rsi
00124f9cmov [rsp+56], rdx
00124fa1mov [rsp+24], rbx
00124fa6lea r11, [rip+347]
00124fadpush r11
00124fafpush [r14+48]
00124fb3mov [r14+48], rsp
00124fb7
00124fb7loc_124fb7:
00124fb7mov rax, [rsp+72]
00124fbcmov rdi, [rax+72]
00124fc0mov rax, [rsp+32]
00124fc5call camlLatexscan.get_col_1190
00124fcamov rdi, rax
00124fcdmov [rsp+48], rdi
00124fd2movzx rax, [rdi-8]
00124fd7cmp rax, 1
00124fdbje 0x124ffc
00124fddja 0x1250b4
00124fe3mov rax, [rsp+72]
00124fe8mov rax, [rax+24]
00124fecmov rsp, [r14+48]
00124ff0pop [r14+48]
00124ff4pop r11
00124ff6jmp r11
00124ff9nop [rax]
00124ffc
00124ffcloc_124ffc:
00124ffcmov rax, [rsp+72]
00125001mov rax, [rax+32]
00125005mov rax, [rax]
00125008mov [rsp+56], rax
0012500dcall camlLatexscan.math_table_1157
00125012cmp rax, 1
00125016je 0x12502c
00125018lea rbx, [rip+0x178e79]
0012501fmov rax, [rsp+64]
00125024call camlLexstate.scan_this_1185
00125029jmp 0x12503d
0012502bnop
0012502c
0012502cloc_12502c:
0012502clea rbx, [rip+0x178e55]
00125033mov rax, [rsp+64]
00125038call camlLexstate.scan_this_1185
0012503d
0012503dloc_12503d:
0012503dmov rax, [rsp+48]
00125042mov rbx, [rax]
00125045mov rax, [rsp+72]
0012504amov rdi, [rax+56]
0012504emov rax, [rsp+64]
00125053call camlLatexscan.get_this_string_1113
00125058mov [rsp+48], rax
0012505dmov rax, [rsp+56]
00125062call camlLatexscan.math_table_1157
00125067cmp rax, 1
0012506bje 0x125080
0012506dlea rbx, [rip+0x178e24]
00125074mov rax, [rsp+64]
00125079call camlLexstate.scan_this_1185
0012507ejmp 0x125091
00125080
00125080loc_125080:
00125080lea rbx, [rip+0x178df1]
00125087mov rax, [rsp+64]
0012508ccall camlLexstate.scan_this_1185
00125091
00125091loc_125091:
00125091mov rbx, [rsp+72]
00125096mov rax, [rbx+80]
0012509amov rdi, [rax+616]
001250a1mov rax, [rbx+48]
001250a5mov rbx, [rax]
001250a8mov rax, [rsp+48]
001250adcall caml_apply2
001250b2jmp 0x1250e5
001250b4
001250b4loc_1250b4:
001250b4mov rax, [rsp+72]
001250b9mov rax, [rax+80]
001250bdmov rbx, [rax+608]
001250c4mov rax, [rdi]
001250c7mov rdi, [rbx]
001250cacall rdi
001250ccmov rax, [rsp+72]
001250d1mov rax, [rax+40]
001250d5mov rbx, [rax]
001250d8cmp rbx, 1
001250dcje 0x1250e5
001250demov [rax], 1
001250e5
001250e5loc_1250e5:
001250e5mov rbx, [rsp+40]
001250eaadd rbx, 2
001250eemov [rsp+40], rbx
001250f3cmp r15, [r14]
001250f6ja 0x124fb7
001250fcjmp 0x125172
001250fepop [r14+48]
00125102add rsp, 8
00125106jmp 0x125168
00125108mov rdi, [rsp+56]
0012510dmov rbx, [rdi+24]
00125111cmp rax, rbx
00125114jne 0x125158
00125116mov rax, [rsp+24]
0012511bmov rbx, [rsp]
0012511fcmp rax, rbx
00125122jne 0x125168
00125124mov rax, [rsp+8]
00125129cmp rax, 1
0012512djne 0x12513c
0012512fmov rax, [rdi+40]
00125133mov rax, [rax]
00125136cmp rax, 1
0012513aje 0x125168
0012513c
0012513cloc_12513c:
0012513cmov rax, [rdi+80]
00125140mov rbx, [rax+608]
00125147lea rax, [rip+0x178d1a]
0012514emov rdi, [rbx]
00125151call rdi
00125153jmp 0x125168
00125155nop [rax]
00125158
00125158loc_125158:
00125158mov rsp, [r14+48]
0012515cpop [r14+48]
00125160pop r11
00125162jmp r11
00125165nop [rax]
00125168
00125168loc_125168:
00125168mov rax, [rsp+24]
0012516dadd rsp, 64
00125171ret
00125172
00125172loc_125172:
00125172call caml_call_gc
00125177jmp 0x124fb7
0012517c
0012517cloc_12517c:
0012517cpush 43
0012517ecall caml_call_realloc_stack
00125183pop r10
00125185jmp 0x124f82
00124f70
0012518a
0012518a // align 0x10
0012518a // align 0x10
00125190
00125190camlLatexscan.eat_inside_1259:
00125190lea r10, [rsp-360]
00125198cmp r10, [r14+40]
0012519cjb 0x1252e2
001251a2
001251a2loc_1251a2:
001251a2sub rsp, 40
001251a6
001251a6loc_1251a6:
001251a6cmp r15, [r14]
001251a9jbe 0x1252d8
001251af
001251afloc_1251af:
001251afmov rcx, [rax-8]
001251b3shr rcx, 9
001251b7or rcx, 1
001251bbcmp rbx, rcx
001251bejl 0x1251ec
001251c0sub r15, 32
001251c4cmp r15, [r14]
001251c7jb 0x1252ce
001251cd
001251cdloc_1251cd:
001251cdlea rax, [r15+8]
001251d1mov [rax-8], 3072
001251d9mov [rax], rbx
001251dcmov [rax+8], rdi
001251e0mov [rax+16], rsi
001251e4add rsp, 40
001251e8ret
001251e9
001251e9 0f 1f 00 ...
001251ec
001251ecloc_1251ec:
001251ecmov [rsp+32], rdx
001251f1mov [rsp], rsi
001251f5mov [rsp+24], rdi
001251famov [rsp+8], rbx
001251ffmov [rsp+16], rax
00125204mov rdi, [rdx+40]
00125208call camlLatexscan.get_col_1190
0012520dmovzx rbx, [rax-8]
00125212cmp rbx, 1
00125216jne 0x125220
00125218mov ebx, 3
0012521djmp 0x125225
0012521f
0012521f 90 .
00125220
00125220loc_125220:
00125220mov ebx, 1
00125225
00125225loc_125225:
00125225cmp rbx, 1
00125229je 0x125250
0012522bmov rsi, [rsp]
0012522fadd rsi, 2
00125233mov rbx, [rsp+8]
00125238add rbx, 2
0012523cmov rax, [rsp+16]
00125241mov rdi, [rsp+24]
00125246mov rdx, [rsp+32]
0012524bjmp 0x1251a6
00125250
00125250loc_125250:
00125250movzx rax, [rax-8]
00125255cmp rax, 2
00125259jl 0x125264
0012525bmov eax, 3
00125260jmp 0x125269
00125262
00125262 66 90 f.
00125264
00125264loc_125264:
00125264mov eax, 1
00125269
00125269loc_125269:
00125269cmp rax, 1
0012526dje 0x125294
0012526fmov rdi, [rsp+24]
00125274add rdi, 2
00125278mov rbx, [rsp+8]
0012527dadd rbx, 2
00125281mov rax, [rsp+16]
00125286mov rsi, [rsp]
0012528amov rdx, [rsp+32]
0012528fjmp 0x1251a6
00125294
00125294loc_125294:
00125294sub r15, 32
00125298cmp r15, [r14]
0012529bjb 0x1252c7
0012529d
0012529dloc_12529d:
0012529dlea rax, [r15+8]
001252a1mov [rax-8], 3072
001252a9mov rbx, [rsp+8]
001252aemov [rax], rbx
001252b1mov rbx, [rsp+24]
001252b6mov [rax+8], rbx
001252bamov rbx, [rsp]
001252bemov [rax+16], rbx
001252c2add rsp, 40
001252c6ret
001252c7
001252c7loc_1252c7:
001252c7call caml_call_gc
001252ccjmp 0x12529d
001252ce
001252celoc_1252ce:
001252cecall caml_call_gc
001252d3jmp 0x1251cd
001252d8
001252d8loc_1252d8:
001252d8call caml_call_gc
001252ddjmp 0x1251af
001252e2
001252e2loc_1252e2:
001252e2push 38
001252e4call caml_call_realloc_stack
001252e9pop r10
001252ebjmp 0x1251a2
00125190
00125190camlLatexscan.eat_inside_1259:
00125190lea r10, [rsp-360]
00125198cmp r10, [r14+40]
0012519cjb 0x1252e2
001251a2
001251a2loc_1251a2:
001251a2sub rsp, 40
001251a6
001251a6loc_1251a6:
001251a6cmp r15, [r14]
001251a9jbe 0x1252d8
001251af
001251afloc_1251af:
001251afmov rcx, [rax-8]
001251b3shr rcx, 9
001251b7or rcx, 1
001251bbcmp rbx, rcx
001251bejl 0x1251ec
001251c0sub r15, 32
001251c4cmp r15, [r14]
001251c7jb 0x1252ce
001251cd
001251cdloc_1251cd:
001251cdlea rax, [r15+8]
001251d1mov [rax-8], 3072
001251d9mov [rax], rbx
001251dcmov [rax+8], rdi
001251e0mov [rax+16], rsi
001251e4add rsp, 40
001251e8ret
001251e9
001251e9 0f 1f 00 ...
001251ec
001251ecloc_1251ec:
001251ecmov [rsp+32], rdx
001251f1mov [rsp], rsi
001251f5mov [rsp+24], rdi
001251famov [rsp+8], rbx
001251ffmov [rsp+16], rax
00125204mov rdi, [rdx+40]
00125208call camlLatexscan.get_col_1190
0012520dmovzx rbx, [rax-8]
00125212cmp rbx, 1
00125216jne 0x125220
00125218mov ebx, 3
0012521djmp 0x125225
0012521f
0012521f 90 .
00125220
00125220loc_125220:
00125220mov ebx, 1
00125225
00125225loc_125225:
00125225cmp rbx, 1
00125229je 0x125250
0012522bmov rsi, [rsp]
0012522fadd rsi, 2
00125233mov rbx, [rsp+8]
00125238add rbx, 2
0012523cmov rax, [rsp+16]
00125241mov rdi, [rsp+24]
00125246mov rdx, [rsp+32]
0012524bjmp 0x1251a6
00125250
00125250loc_125250:
00125250movzx rax, [rax-8]
00125255cmp rax, 2
00125259jl 0x125264
0012525bmov eax, 3
00125260jmp 0x125269
00125262
00125262 66 90 f.
00125264
00125264loc_125264:
00125264mov eax, 1
00125269
00125269loc_125269:
00125269cmp rax, 1
0012526dje 0x125294
0012526fmov rdi, [rsp+24]
00125274add rdi, 2
00125278mov rbx, [rsp+8]
0012527dadd rbx, 2
00125281mov rax, [rsp+16]
00125286mov rsi, [rsp]
0012528amov rdx, [rsp+32]
0012528fjmp 0x1251a6
00125294
00125294loc_125294:
00125294sub r15, 32
00125298cmp r15, [r14]
0012529bjb 0x1252c7
0012529d
0012529dloc_12529d:
0012529dlea rax, [r15+8]
001252a1mov [rax-8], 3072
001252a9mov rbx, [rsp+8]
001252aemov [rax], rbx
001252b1mov rbx, [rsp+24]
001252b6mov [rax+8], rbx
001252bamov rbx, [rsp]
001252bemov [rax+16], rbx
001252c2add rsp, 40
001252c6ret
001252c7
001252c7loc_1252c7:
001252c7call caml_call_gc
001252ccjmp 0x12529d
001252ce
001252celoc_1252ce:
001252cecall caml_call_gc
001252d3jmp 0x1251cd
001252d8
001252d8loc_1252d8:
001252d8call caml_call_gc
001252ddjmp 0x1251af
001252e2
001252e2loc_1252e2:
001252e2push 38
001252e4call caml_call_realloc_stack
001252e9pop r10
001252ebjmp 0x1251a2
00125190
001252f0
001252f0camlLatexscan.find_end_1265:
001252f0lea r10, [rsp-368]
001252f8cmp r10, [r14+40]
001252fcjb 0x125427
00125302
00125302loc_125302:
00125302sub rsp, 48
00125306
00125306loc_125306:
00125306mov r8, rax
00125309mov rax, rbx
0012530cmov rbx, rdi
0012530fmov rdi, rsi
00125312mov rsi, rdx
00125315cmp r15, [r14]
00125318jbe 0x12541d
0012531e
0012531eloc_12531e:
0012531ecmp r8, 1
00125322je 0x125410
00125328mov [rsp+40], rcx
0012532dmov [rsp], rsi
00125331mov [rsp+32], rdi
00125336mov [rsp+8], rbx
0012533bmov [rsp+24], rax
00125340mov [rsp+16], r8
00125345mov rdi, [rcx+40]
00125349call camlLatexscan.get_col_1190
0012534emovzx rbx, [rax-8]
00125353cmp rbx, 1
00125357jne 0x125360
00125359mov ebx, 3
0012535ejmp 0x125365
00125360
00125360loc_125360:
00125360mov ebx, 1
00125365
00125365loc_125365:
00125365cmp rbx, 1
00125369je 0x125398
0012536bmov rdx, [rsp]
0012536fadd rdx, 2
00125373mov rdi, [rsp+8]
00125378add rdi, 2
0012537cmov rax, [rsp+16]
00125381mov rbx, [rsp+24]
00125386mov rsi, [rsp+32]
0012538bmov rcx, [rsp+40]
00125390jmp 0x125306
00125395
00125395 0f 1f 00 ...
00125398
00125398loc_125398:
00125398movzx rax, [rax-8]
0012539dcmp rax, 2
001253a1jl 0x1253ac
001253a3mov eax, 3
001253a8jmp 0x1253b1
001253aa
001253aa 66 90 f.
001253ac
001253acloc_1253ac:
001253acmov eax, 1
001253b1
001253b1loc_1253b1:
001253b1cmp rax, 1
001253b5je 0x1253e4
001253b7mov rsi, [rsp+32]
001253bcadd rsi, 2
001253c0mov rdi, [rsp+8]
001253c5add rdi, 2
001253c9mov rax, [rsp+16]
001253cemov rbx, [rsp+24]
001253d3mov rdx, [rsp]
001253d7mov rcx, [rsp+40]
001253dcjmp 0x125306
001253e1
001253e1 0f 1f 00 ...
001253e4
001253e4loc_1253e4:
001253e4mov rdi, [rsp+8]
001253e9add rdi, 2
001253edmov rax, [rsp+16]
001253f2add rax, -2
001253f6mov rbx, [rsp+24]
001253fbmov rsi, [rsp+32]
00125400mov rdx, [rsp]
00125404mov rcx, [rsp+40]
00125409jmp 0x125306
0012540e
0012540e 66 90 f.
00125410
00125410loc_125410:
00125410mov rdx, [rcx+48]
00125414add rsp, 48
00125418jmp 0x125190
0012541d
0012541dloc_12541d:
0012541dcall caml_call_gc
00125422jmp 0x12531e
00125427
00125427loc_125427:
00125427push 39
00125429call caml_call_realloc_stack
0012542epop r10
00125430jmp 0x125302
001252f0
001252f0camlLatexscan.find_end_1265:
001252f0lea r10, [rsp-368]
001252f8cmp r10, [r14+40]
001252fcjb 0x125427
00125302
00125302loc_125302:
00125302sub rsp, 48
00125306
00125306loc_125306:
00125306mov r8, rax
00125309mov rax, rbx
0012530cmov rbx, rdi
0012530fmov rdi, rsi
00125312mov rsi, rdx
00125315cmp r15, [r14]
00125318jbe 0x12541d
0012531e
0012531eloc_12531e:
0012531ecmp r8, 1
00125322je 0x125410
00125328mov [rsp+40], rcx
0012532dmov [rsp], rsi
00125331mov [rsp+32], rdi
00125336mov [rsp+8], rbx
0012533bmov [rsp+24], rax
00125340mov [rsp+16], r8
00125345mov rdi, [rcx+40]
00125349call camlLatexscan.get_col_1190
0012534emovzx rbx, [rax-8]
00125353cmp rbx, 1
00125357jne 0x125360
00125359mov ebx, 3
0012535ejmp 0x125365
00125360
00125360loc_125360:
00125360mov ebx, 1
00125365
00125365loc_125365:
00125365cmp rbx, 1
00125369je 0x125398
0012536bmov rdx, [rsp]
0012536fadd rdx, 2
00125373mov rdi, [rsp+8]
00125378add rdi, 2
0012537cmov rax, [rsp+16]
00125381mov rbx, [rsp+24]
00125386mov rsi, [rsp+32]
0012538bmov rcx, [rsp+40]
00125390jmp 0x125306
00125395
00125395 0f 1f 00 ...
00125398
00125398loc_125398:
00125398movzx rax, [rax-8]
0012539dcmp rax, 2
001253a1jl 0x1253ac
001253a3mov eax, 3
001253a8jmp 0x1253b1
001253aa
001253aa 66 90 f.
001253ac
001253acloc_1253ac:
001253acmov eax, 1
001253b1
001253b1loc_1253b1:
001253b1cmp rax, 1
001253b5je 0x1253e4
001253b7mov rsi, [rsp+32]
001253bcadd rsi, 2
001253c0mov rdi, [rsp+8]
001253c5add rdi, 2
001253c9mov rax, [rsp+16]
001253cemov rbx, [rsp+24]
001253d3mov rdx, [rsp]
001253d7mov rcx, [rsp+40]
001253dcjmp 0x125306
001253e1
001253e1 0f 1f 00 ...
001253e4
001253e4loc_1253e4:
001253e4mov rdi, [rsp+8]
001253e9add rdi, 2
001253edmov rax, [rsp+16]
001253f2add rax, -2
001253f6mov rbx, [rsp+24]
001253fbmov rsi, [rsp+32]
00125400mov rdx, [rsp]
00125404mov rcx, [rsp+40]
00125409jmp 0x125306
0012540e
0012540e 66 90 f.
00125410
00125410loc_125410:
00125410mov rdx, [rcx+48]
00125414add rsp, 48
00125418jmp 0x125190
0012541d
0012541dloc_12541d:
0012541dcall caml_call_gc
00125422jmp 0x12531e
00125427
00125427loc_125427:
00125427push 39
00125429call caml_call_realloc_stack
0012542epop r10
00125430jmp 0x125302
001252f0
00125435
00125435 // align 0x10
00125435 // align 0x10
00125440
00125440camlLatexscan.find_start_1272:
00125440mov rbx, [rbx+16]
00125444mov rbx, [rbx]
00125447cmp rbx, 1
0012544bje 0x125454
0012544dmov eax, 1
00125452ret
00125453
00125453 90 .
00125454
00125454loc_125454:
00125454ret
00125440
00125440camlLatexscan.find_start_1272:
00125440mov rbx, [rbx+16]
00125444mov rbx, [rbx]
00125447cmp rbx, 1
0012544bje 0x125454
0012544dmov eax, 1
00125452ret
00125453
00125453 90 .
00125454
00125454loc_125454:
00125454ret
00125440
00125455
00125455 // align 0x10
00125455 // align 0x10
00125460
00125460camlLatexscan.next_no_border_1275:
00125460lea r10, [rsp-344]
00125468cmp r10, [r14+40]
0012546cjb 0x1254d5
0012546e
0012546eloc_12546e:
0012546esub rsp, 24
00125472mov [rsp+8], rax
00125477mov [rsp], rdi
0012547bmov [rsp+16], rbx
00125480
00125480loc_125480:
00125480mov rax, [rsp]
00125484mov rdi, [rax+32]
00125488mov rax, [rsp+8]
0012548dcall camlLatexscan.get_col_1190
00125492movzx rax, [rax-8]
00125497cmp rax, 2
0012549bjl 0x1254a4
0012549dmov eax, 3
001254a2jmp 0x1254a9
001254a4
001254a4loc_1254a4:
001254a4mov eax, 1
001254a9
001254a9loc_1254a9:
001254a9cmp rax, 1
001254adje 0x1254c4
001254afmov rbx, [rsp+16]
001254b4add rbx, 2
001254b8mov [rsp+16], rbx
001254bdcmp r15, [r14]
001254c0ja 0x125480
001254c2jmp 0x1254ce
001254c4
001254c4loc_1254c4:
001254c4mov rax, [rsp+16]
001254c9add rsp, 24
001254cdret
001254ce
001254celoc_1254ce:
001254cecall caml_call_gc
001254d3jmp 0x125480
001254d5
001254d5loc_1254d5:
001254d5push 36
001254d7call caml_call_realloc_stack
001254dcpop r10
001254dejmp 0x12546e
00125460
00125460camlLatexscan.next_no_border_1275:
00125460lea r10, [rsp-344]
00125468cmp r10, [r14+40]
0012546cjb 0x1254d5
0012546e
0012546eloc_12546e:
0012546esub rsp, 24
00125472mov [rsp+8], rax
00125477mov [rsp], rdi
0012547bmov [rsp+16], rbx
00125480
00125480loc_125480:
00125480mov rax, [rsp]
00125484mov rdi, [rax+32]
00125488mov rax, [rsp+8]
0012548dcall camlLatexscan.get_col_1190
00125492movzx rax, [rax-8]
00125497cmp rax, 2
0012549bjl 0x1254a4
0012549dmov eax, 3
001254a2jmp 0x1254a9
001254a4
001254a4loc_1254a4:
001254a4mov eax, 1
001254a9
001254a9loc_1254a9:
001254a9cmp rax, 1
001254adje 0x1254c4
001254afmov rbx, [rsp+16]
001254b4add rbx, 2
001254b8mov [rsp+16], rbx
001254bdcmp r15, [r14]
001254c0ja 0x125480
001254c2jmp 0x1254ce
001254c4
001254c4loc_1254c4:
001254c4mov rax, [rsp+16]
001254c9add rsp, 24
001254cdret
001254ce
001254celoc_1254ce:
001254cecall caml_call_gc
001254d3jmp 0x125480
001254d5
001254d5loc_1254d5:
001254d5push 36
001254d7call caml_call_realloc_stack
001254dcpop r10
001254dejmp 0x12546e
00125460
001254e0
001254e0camlLatexscan.do_open_col_1280:
001254e0lea r10, [rsp-368]
001254e8cmp r10, [r14+40]
001254ecjb 0x1256aa
001254f2
001254f2loc_1254f2:
001254f2sub rsp, 48
001254f6mov [rsp+24], rax
001254fbmov [rsp+40], rbx
00125500mov [rsp], rdi
00125504mov [rsp+8], rsi
00125509mov [rsp+32], rdx
0012550emov rax, [rdx+32]
00125512mov rax, [rax]
00125515mov [rsp+16], rax
0012551acall camlLatexscan.is_border_table_1155
0012551fmov rsi, rax
00125522mov rax, [rsp+32]
00125527mov rax, [rax+72]
0012552bmov rdx, [rax+528]
00125532mov rax, [rsp+40]
00125537mov rbx, [rsp]
0012553bmov rdi, [rsp+8]
00125540call caml_apply4
00125545mov rbx, [rsp+40]
0012554amovzx rax, [rbx-8]
0012554ftest rax, rax
00125552jne 0x125560
00125554mov rax, [rbx]
00125557mov rax, [rax+16]
0012555bjmp 0x125565
0012555d
0012555d 0f 1f 00 ...
00125560
00125560loc_125560:
00125560mov eax, 1
00125565
00125565loc_125565:
00125565cmp rax, 1
00125569jne 0x1255b1
0012556bmov rax, [rsp+32]
00125570mov rax, [rax+32]
00125574mov rax, [rax]
00125577call camlLatexscan.math_table_1157
0012557ccmp rax, 1
00125580je 0x1255b1
00125582lea rax, [rip+0x1f1417]
00125589mov rax, [rax+136]
00125590mov [rax], 3
00125597mov rax, [rsp+32]
0012559cmov rax, [rax+72]
001255a0mov rbx, [rax+192]
001255a7mov eax, 1
001255acmov rdi, [rbx]
001255afcall rdi
001255b1
001255b1loc_1255b1:
001255b1mov rax, [rsp+32]
001255b6mov rax, [rax+32]
001255bamov rax, [rax]
001255bdcall camlLatexscan.math_table_1157
001255c2cmp rax, 1
001255c6je 0x125600
001255c8mov rbx, [rsp+40]
001255cdmovzx rax, [rbx-8]
001255d2test rax, rax
001255d5jne 0x1255e0
001255d7mov rax, [rbx]
001255damov rax, [rax+16]
001255dejmp 0x1255e5
001255e0
001255e0loc_1255e0:
001255e0mov eax, 1
001255e5
001255e5loc_1255e5:
001255e5cmp rax, 1
001255e9jne 0x125600
001255eblea rbx, [rip+0x1788a6]
001255f2mov rax, [rsp+24]
001255f7call camlLexstate.scan_this_1185
001255fcjmp 0x125611
001255fe
001255fe 66 90 f.
00125600
00125600loc_125600:
00125600lea rbx, [rip+0x178881]
00125607mov rax, [rsp+24]
0012560ccall camlLexstate.scan_this_1185
00125611
00125611loc_125611:
00125611sub r15, 16
00125615cmp r15, [r14]
00125618jb 0x1256a0
0012561e
0012561eloc_12561e:
0012561elea rsi, [r15+8]
00125622mov [rsi-8], 1024
0012562amov r12, [rsp+40]
0012562fmov [rsi], r12
00125632mov rax, [rsp+32]
00125637mov rdi, [rax+24]
0012563bmov rbx, rsp
0012563emov rsp, [r14+64]
00125642call caml_modify
00125647mov rsp, rbx
0012564amov rax, r12
0012564dcall camlLatexscan.as_pre_1177
00125652mov rbx, rax
00125655mov rax, [rsp+24]
0012565acall camlLexstate.scan_this_1185
0012565fmov esi, 1
00125664mov r12, [rsp+32]
00125669mov rdi, [r12+24]
0012566emov rbx, rsp
00125671mov rsp, [r14+64]
00125675call caml_modify
0012567amov rsp, rbx
0012567dmov rdi, [r12+32]
00125682mov rsi, [rsp+16]
00125687mov rbx, rsp
0012568amov rsp, [r14+64]
0012568ecall caml_modify
00125693mov rsp, rbx
00125696mov eax, 1
0012569badd rsp, 48
0012569fret
001256a0
001256a0loc_1256a0:
001256a0call caml_call_gc
001256a5jmp 0x12561e
001256aa
001256aaloc_1256aa:
001256aapush 39
001256accall caml_call_realloc_stack
001256b1pop r10
001256b3jmp 0x1254f2
001254e0
001254e0camlLatexscan.do_open_col_1280:
001254e0lea r10, [rsp-368]
001254e8cmp r10, [r14+40]
001254ecjb 0x1256aa
001254f2
001254f2loc_1254f2:
001254f2sub rsp, 48
001254f6mov [rsp+24], rax
001254fbmov [rsp+40], rbx
00125500mov [rsp], rdi
00125504mov [rsp+8], rsi
00125509mov [rsp+32], rdx
0012550emov rax, [rdx+32]
00125512mov rax, [rax]
00125515mov [rsp+16], rax
0012551acall camlLatexscan.is_border_table_1155
0012551fmov rsi, rax
00125522mov rax, [rsp+32]
00125527mov rax, [rax+72]
0012552bmov rdx, [rax+528]
00125532mov rax, [rsp+40]
00125537mov rbx, [rsp]
0012553bmov rdi, [rsp+8]
00125540call caml_apply4
00125545mov rbx, [rsp+40]
0012554amovzx rax, [rbx-8]
0012554ftest rax, rax
00125552jne 0x125560
00125554mov rax, [rbx]
00125557mov rax, [rax+16]
0012555bjmp 0x125565
0012555d
0012555d 0f 1f 00 ...
00125560
00125560loc_125560:
00125560mov eax, 1
00125565
00125565loc_125565:
00125565cmp rax, 1
00125569jne 0x1255b1
0012556bmov rax, [rsp+32]
00125570mov rax, [rax+32]
00125574mov rax, [rax]
00125577call camlLatexscan.math_table_1157
0012557ccmp rax, 1
00125580je 0x1255b1
00125582lea rax, [rip+0x1f1417]
00125589mov rax, [rax+136]
00125590mov [rax], 3
00125597mov rax, [rsp+32]
0012559cmov rax, [rax+72]
001255a0mov rbx, [rax+192]
001255a7mov eax, 1
001255acmov rdi, [rbx]
001255afcall rdi
001255b1
001255b1loc_1255b1:
001255b1mov rax, [rsp+32]
001255b6mov rax, [rax+32]
001255bamov rax, [rax]
001255bdcall camlLatexscan.math_table_1157
001255c2cmp rax, 1
001255c6je 0x125600
001255c8mov rbx, [rsp+40]
001255cdmovzx rax, [rbx-8]
001255d2test rax, rax
001255d5jne 0x1255e0
001255d7mov rax, [rbx]
001255damov rax, [rax+16]
001255dejmp 0x1255e5
001255e0
001255e0loc_1255e0:
001255e0mov eax, 1
001255e5
001255e5loc_1255e5:
001255e5cmp rax, 1
001255e9jne 0x125600
001255eblea rbx, [rip+0x1788a6]
001255f2mov rax, [rsp+24]
001255f7call camlLexstate.scan_this_1185
001255fcjmp 0x125611
001255fe
001255fe 66 90 f.
00125600
00125600loc_125600:
00125600lea rbx, [rip+0x178881]
00125607mov rax, [rsp+24]
0012560ccall camlLexstate.scan_this_1185
00125611
00125611loc_125611:
00125611sub r15, 16
00125615cmp r15, [r14]
00125618jb 0x1256a0
0012561e
0012561eloc_12561e:
0012561elea rsi, [r15+8]
00125622mov [rsi-8], 1024
0012562amov r12, [rsp+40]
0012562fmov [rsi], r12
00125632mov rax, [rsp+32]
00125637mov rdi, [rax+24]
0012563bmov rbx, rsp
0012563emov rsp, [r14+64]
00125642call caml_modify
00125647mov rsp, rbx
0012564amov rax, r12
0012564dcall camlLatexscan.as_pre_1177
00125652mov rbx, rax
00125655mov rax, [rsp+24]
0012565acall camlLexstate.scan_this_1185
0012565fmov esi, 1
00125664mov r12, [rsp+32]
00125669mov rdi, [r12+24]
0012566emov rbx, rsp
00125671mov rsp, [r14+64]
00125675call caml_modify
0012567amov rsp, rbx
0012567dmov rdi, [r12+32]
00125682mov rsi, [rsp+16]
00125687mov rbx, rsp
0012568amov rsp, [r14+64]
0012568ecall caml_modify
00125693mov rsp, rbx
00125696mov eax, 1
0012569badd rsp, 48
0012569fret
001256a0
001256a0loc_1256a0:
001256a0call caml_call_gc
001256a5jmp 0x12561e
001256aa
001256aaloc_1256aa:
001256aapush 39
001256accall caml_call_realloc_stack
001256b1pop r10
001256b3jmp 0x1254f2
001254e0
001256b8
001256b8 // align 0x10
001256b8 // align 0x10
001256c0
001256c0camlLatexscan.open_col_1287:
001256c0lea r10, [rsp-336]
001256c8cmp r10, [r14+40]
001256ccjb 0x125770
001256d2
001256d2loc_1256d2:
001256d2sub rsp, 16
001256d6mov [rsp+8], rax
001256dbmov [rsp], rbx
001256dfmov rax, [rbx+56]
001256e3mov rbx, [rax+88]
001256e7mov eax, 1
001256ecmov rdi, [rbx]
001256efcall rdi
001256f1mov rax, [rsp]
001256f5mov rax, [rax+56]
001256f9mov rbx, [rax+560]
00125700mov eax, 1
00125705mov rdi, [rbx]
00125708call rdi
0012570amov rsi, [rsp]
0012570emov rax, [rsi+24]
00125712mov rdi, [rax]
00125715mov rax, [rsi+16]
00125719mov rbx, [rax]
0012571cmov rdx, [rsi+40]
00125720mov esi, 1
00125725mov rax, [rsp+8]
0012572acall camlLatexscan.show_inside_1248
0012572fmov rdi, [rsp]
00125733mov rbx, [rdi+24]
00125737mov [rbx], rax
0012573amov rbx, [rbx]
0012573dmov rax, [rdi+16]
00125741mov rax, [rax]
00125744mov rdi, [rdi+32]
00125748call camlLatexscan.get_col_1190
0012574dmov rbx, rax
00125750mov rax, [rsp]
00125754mov rdx, [rax+48]
00125758mov esi, 1
0012575dmov edi, 3
00125762mov rax, [rsp+8]
00125767add rsp, 16
0012576bjmp 0x1254e0
00125770
00125770loc_125770:
00125770push 35
00125772call caml_call_realloc_stack
00125777pop r10
00125779jmp 0x1256d2
001256c0
001256c0camlLatexscan.open_col_1287:
001256c0lea r10, [rsp-336]
001256c8cmp r10, [r14+40]
001256ccjb 0x125770
001256d2
001256d2loc_1256d2:
001256d2sub rsp, 16
001256d6mov [rsp+8], rax
001256dbmov [rsp], rbx
001256dfmov rax, [rbx+56]
001256e3mov rbx, [rax+88]
001256e7mov eax, 1
001256ecmov rdi, [rbx]
001256efcall rdi
001256f1mov rax, [rsp]
001256f5mov rax, [rax+56]
001256f9mov rbx, [rax+560]
00125700mov eax, 1
00125705mov rdi, [rbx]
00125708call rdi
0012570amov rsi, [rsp]
0012570emov rax, [rsi+24]
00125712mov rdi, [rax]
00125715mov rax, [rsi+16]
00125719mov rbx, [rax]
0012571cmov rdx, [rsi+40]
00125720mov esi, 1
00125725mov rax, [rsp+8]
0012572acall camlLatexscan.show_inside_1248
0012572fmov rdi, [rsp]
00125733mov rbx, [rdi+24]
00125737mov [rbx], rax
0012573amov rbx, [rbx]
0012573dmov rax, [rdi+16]
00125741mov rax, [rax]
00125744mov rdi, [rdi+32]
00125748call camlLatexscan.get_col_1190
0012574dmov rbx, rax
00125750mov rax, [rsp]
00125754mov rdx, [rax+48]
00125758mov esi, 1
0012575dmov edi, 3
00125762mov rax, [rsp+8]
00125767add rsp, 16
0012576bjmp 0x1254e0
00125770
00125770loc_125770:
00125770push 35
00125772call caml_call_realloc_stack
00125777pop r10
00125779jmp 0x1256d2
001256c0
0012577e
0012577e // align 0x10
0012577e // align 0x10
00125780
00125780camlLatexscan.open_first_col_1291:
00125780mov rdi, [rbx+16]
00125784mov [rdi], 3
0012578bmov rdi, [rbx+24]
0012578fmov [rdi], 3
00125796mov rbx, [rbx+32]
0012579ajmp 0x1256c0
00125780
00125780camlLatexscan.open_first_col_1291:
00125780mov rdi, [rbx+16]
00125784mov [rdi], 3
0012578bmov rdi, [rbx+24]
0012578fmov [rdi], 3
00125796mov rbx, [rbx+32]
0012579ajmp 0x1256c0
00125780
0012579f
0012579f // align 0x10
0012579f // align 0x10
001257a0
001257a0camlLatexscan.erase_col_1294:
001257a0lea r10, [rsp-344]
001257a8cmp r10, [r14+40]
001257acjb 0x1258de
001257b2
001257b2loc_1257b2:
001257b2sub rsp, 24
001257b6mov [rsp+8], rax
001257bbmov [rsp], rbx
001257bfcmp r15, [r14]
001257c2jbe 0x1258d4
001257c8
001257c8loc_1257c8:
001257c8mov rax, [rbx+24]
001257ccmov rsi, [rax]
001257cfmov rax, [rbx+16]
001257d3mov rax, [rax]
001257d6mov rdi, [rbx+64]
001257damov rbx, rsi
001257ddcall camlLatexscan.get_col_1190
001257e2mov [rsp+16], rax
001257e7call camlLatexscan.as_post_1178
001257ecmov rbx, rax
001257efmov rax, [rsp+8]
001257f4call camlLexstate.scan_this_1185
001257f9mov rax, [rsp]
001257fdmov rax, [rax+32]
00125801mov rax, [rax]
00125804call camlLatexscan.math_table_1157
00125809cmp rax, 1
0012580dje 0x125848
0012580fmov rbx, [rsp+16]
00125814movzx rax, [rbx-8]
00125819test rax, rax
0012581cjne 0x125828
0012581emov rax, [rbx]
00125821mov rax, [rax+16]
00125825jmp 0x12582d
00125827nop
00125828
00125828loc_125828:
00125828mov eax, 1
0012582d
0012582dloc_12582d:
0012582dcmp rax, 1
00125831jne 0x125848
00125833lea rbx, [rip+0x17865e]
0012583amov rax, [rsp+8]
0012583fcall camlLexstate.scan_this_1185
00125844jmp 0x125859
00125846nop
00125848
00125848loc_125848:
00125848lea rbx, [rip+0x178629]
0012584fmov rax, [rsp+8]
00125854call camlLexstate.scan_this_1185
00125859
00125859loc_125859:
00125859lea rax, [rip+0x1f1140]
00125860mov rax, [rax+136]
00125867mov rax, [rax]
0012586acmp rax, 1
0012586eje 0x12589e
00125870mov rax, [rsp]
00125874mov rax, [rax+72]
00125878mov rbx, [rax+200]
0012587fmov eax, 1
00125884mov rdi, [rbx]
00125887call rdi
00125889lea rax, [rip+0x1f1110]
00125890mov rax, [rax+136]
00125897mov [rax], 1
0012589e
0012589eloc_12589e:
0012589emov rax, [rsp]
001258a2mov rax, [rax+72]
001258a6mov rbx, [rax+536]
001258admov eax, 1
001258b2mov rdi, [rbx]
001258b5call rdi
001258b7mov rax, [rsp]
001258bbmov rax, [rax+72]
001258bfmov rbx, [rax+576]
001258c6mov eax, 1
001258cbmov rdi, [rbx]
001258ceadd rsp, 24
001258d2jmp rdi
001258d4
001258d4loc_1258d4:
001258d4call caml_call_gc
001258d9jmp 0x1257c8
001258de
001258deloc_1258de:
001258depush 36
001258e0call caml_call_realloc_stack
001258e5pop r10
001258e7jmp 0x1257b2
001257a0
001257a0camlLatexscan.erase_col_1294:
001257a0lea r10, [rsp-344]
001257a8cmp r10, [r14+40]
001257acjb 0x1258de
001257b2
001257b2loc_1257b2:
001257b2sub rsp, 24
001257b6mov [rsp+8], rax
001257bbmov [rsp], rbx
001257bfcmp r15, [r14]
001257c2jbe 0x1258d4
001257c8
001257c8loc_1257c8:
001257c8mov rax, [rbx+24]
001257ccmov rsi, [rax]
001257cfmov rax, [rbx+16]
001257d3mov rax, [rax]
001257d6mov rdi, [rbx+64]
001257damov rbx, rsi
001257ddcall camlLatexscan.get_col_1190
001257e2mov [rsp+16], rax
001257e7call camlLatexscan.as_post_1178
001257ecmov rbx, rax
001257efmov rax, [rsp+8]
001257f4call camlLexstate.scan_this_1185
001257f9mov rax, [rsp]
001257fdmov rax, [rax+32]
00125801mov rax, [rax]
00125804call camlLatexscan.math_table_1157
00125809cmp rax, 1
0012580dje 0x125848
0012580fmov rbx, [rsp+16]
00125814movzx rax, [rbx-8]
00125819test rax, rax
0012581cjne 0x125828
0012581emov rax, [rbx]
00125821mov rax, [rax+16]
00125825jmp 0x12582d
00125827nop
00125828
00125828loc_125828:
00125828mov eax, 1
0012582d
0012582dloc_12582d:
0012582dcmp rax, 1
00125831jne 0x125848
00125833lea rbx, [rip+0x17865e]
0012583amov rax, [rsp+8]
0012583fcall camlLexstate.scan_this_1185
00125844jmp 0x125859
00125846nop
00125848
00125848loc_125848:
00125848lea rbx, [rip+0x178629]
0012584fmov rax, [rsp+8]
00125854call camlLexstate.scan_this_1185
00125859
00125859loc_125859:
00125859lea rax, [rip+0x1f1140]
00125860mov rax, [rax+136]
00125867mov rax, [rax]
0012586acmp rax, 1
0012586eje 0x12589e
00125870mov rax, [rsp]
00125874mov rax, [rax+72]
00125878mov rbx, [rax+200]
0012587fmov eax, 1
00125884mov rdi, [rbx]
00125887call rdi
00125889lea rax, [rip+0x1f1110]
00125890mov rax, [rax+136]
00125897mov [rax], 1
0012589e
0012589eloc_12589e:
0012589emov rax, [rsp]
001258a2mov rax, [rax+72]
001258a6mov rbx, [rax+536]
001258admov eax, 1
001258b2mov rdi, [rbx]
001258b5call rdi
001258b7mov rax, [rsp]
001258bbmov rax, [rax+72]
001258bfmov rbx, [rax+576]
001258c6mov eax, 1
001258cbmov rdi, [rbx]
001258ceadd rsp, 24
001258d2jmp rdi
001258d4
001258d4loc_1258d4:
001258d4call caml_call_gc
001258d9jmp 0x1257c8
001258de
001258deloc_1258de:
001258depush 36
001258e0call caml_call_realloc_stack
001258e5pop r10
001258e7jmp 0x1257b2
001257a0
001258ec
001258ec // align 0x10
001258ec // align 0x10
001258f0
001258f0camlLatexscan.open_row_1298:
001258f0cmp r15, [r14]
001258f3jbe 0x125915
001258f5
001258f5loc_1258f5:
001258f5mov rax, [rbx+16]
001258f9mov [rax], 1
00125900mov rax, [rbx+24]
00125904mov rbx, [rax+520]
0012590bmov eax, 1
00125910mov rdi, [rbx]
00125913jmp rdi
00125915
00125915loc_125915:
00125915call caml_call_gc
0012591ajmp 0x1258f5
001258f0
001258f0camlLatexscan.open_row_1298:
001258f0cmp r15, [r14]
001258f3jbe 0x125915
001258f5
001258f5loc_1258f5:
001258f5mov rax, [rbx+16]
001258f9mov [rax], 1
00125900mov rax, [rbx+24]
00125904mov rbx, [rax+520]
0012590bmov eax, 1
00125910mov rdi, [rbx]
00125913jmp rdi
00125915
00125915loc_125915:
00125915call caml_call_gc
0012591ajmp 0x1258f5
001258f0
0012591c
0012591c // align 0x10
0012591c // align 0x10
00125920
00125920camlLatexscan.close_row_1299:
00125920cmp r15, [r14]
00125923jbe 0x12593a
00125925
00125925loc_125925:
00125925mov rax, [rbx+16]
00125929mov rbx, [rax+584]
00125930mov eax, 1
00125935mov rdi, [rbx]
00125938jmp rdi
0012593a
0012593aloc_12593a:
0012593acall caml_call_gc
0012593fjmp 0x125925
00125920
00125920camlLatexscan.close_row_1299:
00125920cmp r15, [r14]
00125923jbe 0x12593a
00125925
00125925loc_125925:
00125925mov rax, [rbx+16]
00125929mov rbx, [rax+584]
00125930mov eax, 1
00125935mov rdi, [rbx]
00125938jmp rdi
0012593a
0012593aloc_12593a:
0012593acall caml_call_gc
0012593fjmp 0x125925
00125920
00125941
00125941 // align 0x10
00125941 // align 0x10
00125950
00125950camlLatexscan.do_hline_1304:
00125950lea r10, [rsp-352]
00125958cmp r10, [r14+40]
0012595cjb 0x125aaa
00125962
00125962loc_125962:
00125962sub rsp, 32
00125966mov [rsp+8], rax
0012596bmov [rsp], rbx
0012596flea rax, [rip+0x2046fa]
00125976mov rax, [rax+80]
0012597amov rax, [rax]
0012597dcmp rax, 5
00125981jle 0x1259dd
00125983mov rax, [rbx+16]
00125987mov rax, [rax]
0012598amov rax, [rax-8]
0012598eshr rax, 9
00125992or rax, 1
00125996mov [rsp+24], rax
0012599bmov rax, [rbx+24]
0012599fmov rax, [rax]
001259a2mov [rsp+16], rax
001259a7lea rbx, [rip+0x1783fa]
001259aelea rax, [rip+0x207c63]
001259b5mov rax, [rax+312]
001259bccall Stdlib.Printf.fprintf
001259c1mov rdi, rax
001259c4mov rax, [rsp+16]
001259c9mov rbx, [rsp+24]
001259cecall caml_apply2
001259d3mov eax, 1
001259d8call camlStdlib.prerr_newline_393
001259dd
001259ddloc_1259dd:
001259ddmov rax, [rsp]
001259e1mov rbx, [rax+56]
001259e5mov rax, [rsp+8]
001259eacall camlLatexscan.erase_col_1294
001259efmov rax, [rsp]
001259f3mov rax, [rax+72]
001259f7mov rbx, [rax+592]
001259femov eax, 1
00125a03mov rdi, [rbx]
00125a06call rdi
00125a08mov rsi, [rsp]
00125a0cmov rax, [rsi+32]
00125a10mov rax, [rax]
00125a13test al, 1
00125a15je 0x125a20
00125a17mov ebx, 1
00125a1cjmp 0x125a2f
00125a1e
00125a1e 66 90 f.
00125a20
00125a20loc_125a20:
00125a20mov rax, [rax]
00125a23mov rax, [rax+8]
00125a27mov ebx, 4
00125a2csub rbx, rax
00125a2f
00125a2floc_125a2f:
00125a2fmov rax, [rsi+72]
00125a33mov rdi, [rax+624]
00125a3amov rax, [rsi+16]
00125a3emov rax, [rax]
00125a41mov rax, [rax-8]
00125a45shr rax, 9
00125a49or rax, 1
00125a4dcall caml_apply2
00125a52mov rax, [rsp]
00125a56mov rax, [rax+64]
00125a5amov rbx, [rax+16]
00125a5emov [rbx], 1
00125a65mov rax, [rax+24]
00125a69mov rbx, [rax+520]
00125a70mov eax, 1
00125a75mov rdi, [rbx]
00125a78call rdi
00125a7amov rax, [rsp]
00125a7emov rax, [rax+48]
00125a82mov rbx, [rax+16]
00125a86mov [rbx], 3
00125a8dmov rbx, [rax+24]
00125a91mov [rbx], 3
00125a98mov rbx, [rax+32]
00125a9cmov rax, [rsp+8]
00125aa1add rsp, 32
00125aa5jmp 0x1256c0
00125aaa
00125aaaloc_125aaa:
00125aaapush 37
00125aaccall caml_call_realloc_stack
00125ab1pop r10
00125ab3jmp 0x125962
00125950
00125950camlLatexscan.do_hline_1304:
00125950lea r10, [rsp-352]
00125958cmp r10, [r14+40]
0012595cjb 0x125aaa
00125962
00125962loc_125962:
00125962sub rsp, 32
00125966mov [rsp+8], rax
0012596bmov [rsp], rbx
0012596flea rax, [rip+0x2046fa]
00125976mov rax, [rax+80]
0012597amov rax, [rax]
0012597dcmp rax, 5
00125981jle 0x1259dd
00125983mov rax, [rbx+16]
00125987mov rax, [rax]
0012598amov rax, [rax-8]
0012598eshr rax, 9
00125992or rax, 1
00125996mov [rsp+24], rax
0012599bmov rax, [rbx+24]
0012599fmov rax, [rax]
001259a2mov [rsp+16], rax
001259a7lea rbx, [rip+0x1783fa]
001259aelea rax, [rip+0x207c63]
001259b5mov rax, [rax+312]
001259bccall Stdlib.Printf.fprintf
001259c1mov rdi, rax
001259c4mov rax, [rsp+16]
001259c9mov rbx, [rsp+24]
001259cecall caml_apply2
001259d3mov eax, 1
001259d8call camlStdlib.prerr_newline_393
001259dd
001259ddloc_1259dd:
001259ddmov rax, [rsp]
001259e1mov rbx, [rax+56]
001259e5mov rax, [rsp+8]
001259eacall camlLatexscan.erase_col_1294
001259efmov rax, [rsp]
001259f3mov rax, [rax+72]
001259f7mov rbx, [rax+592]
001259femov eax, 1
00125a03mov rdi, [rbx]
00125a06call rdi
00125a08mov rsi, [rsp]
00125a0cmov rax, [rsi+32]
00125a10mov rax, [rax]
00125a13test al, 1
00125a15je 0x125a20
00125a17mov ebx, 1
00125a1cjmp 0x125a2f
00125a1e
00125a1e 66 90 f.
00125a20
00125a20loc_125a20:
00125a20mov rax, [rax]
00125a23mov rax, [rax+8]
00125a27mov ebx, 4
00125a2csub rbx, rax
00125a2f
00125a2floc_125a2f:
00125a2fmov rax, [rsi+72]
00125a33mov rdi, [rax+624]
00125a3amov rax, [rsi+16]
00125a3emov rax, [rax]
00125a41mov rax, [rax-8]
00125a45shr rax, 9
00125a49or rax, 1
00125a4dcall caml_apply2
00125a52mov rax, [rsp]
00125a56mov rax, [rax+64]
00125a5amov rbx, [rax+16]
00125a5emov [rbx], 1
00125a65mov rax, [rax+24]
00125a69mov rbx, [rax+520]
00125a70mov eax, 1
00125a75mov rdi, [rbx]
00125a78call rdi
00125a7amov rax, [rsp]
00125a7emov rax, [rax+48]
00125a82mov rbx, [rax+16]
00125a86mov [rbx], 3
00125a8dmov rbx, [rax+24]
00125a91mov [rbx], 3
00125a98mov rbx, [rax+32]
00125a9cmov rax, [rsp+8]
00125aa1add rsp, 32
00125aa5jmp 0x1256c0
00125aaa
00125aaaloc_125aaa:
00125aaapush 37
00125aaccall caml_call_realloc_stack
00125ab1pop r10
00125ab3jmp 0x125962
00125950
Loading..