File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
00122a90
00122a90camlLatexscan.echo_global_toimage_803:
00122a90lea rax, [rip+0x1f3f09]
00122a97mov rax, [rax+728]
00122a9emov rax, [rax]
00122aa1and rax, 1
00122aa5lea rax, [rax+rax+1]
00122aaaret
00122a90
00122a90camlLatexscan.echo_global_toimage_803:
00122a90lea rax, [rip+0x1f3f09]
00122a97mov rax, [rax+728]
00122a9emov rax, [rax]
00122aa1and rax, 1
00122aa5lea rax, [rax+rax+1]
00122aaaret
00122a90
00122aab
00122aab // align 0x10
00122aab // align 0x10
00122ab1
00122ab1 // align 0x10
00122ab1 // align 0x10
00122ac0
00122ac0camlLatexscan.stack_env_pretty_808:
00122ac0mov rbx, [rbx+16]
00122ac4lea rax, [rip+0x174a85]
00122acbjmp 0x193dd0
00122ac0
00122ac0camlLatexscan.stack_env_pretty_808:
00122ac0mov rbx, [rbx+16]
00122ac4lea rax, [rip+0x174a85]
00122acbjmp 0x193dd0
00122ac0
00122ad0
00122ad0camlLatexscan.fun_register_813:
00122ad0lea rdi, [rip+0x1f1e91]
00122ad7mov rdi, [rdi+240]
00122ademov rdi, [rdi]
00122ae1cmp rdi, 1
00122ae5jle 0x122b20
00122ae7sub r15, 24
00122aebcmp r15, [r14]
00122aeejb 0x122b26
00122af0
00122af0loc_122af0:
00122af0lea rsi, [r15+8]
00122af4mov [rsi-8], 2048
00122afcmov [rsi], rax
00122affmov rdi, [rbx+16]
00122b03mov rax, [rdi]
00122b06mov [rsi+8], rax
00122b0amov rbx, rsp
00122b0dmov rsp, [r14+64]
00122b11call caml_modify
00122b16mov rsp, rbx
00122b19mov eax, 1
00122b1eret
00122b1f
00122b1f 90 .
00122b20
00122b20loc_122b20:
00122b20mov eax, 1
00122b25ret
00122b26
00122b26loc_122b26:
00122b26call caml_call_gc
00122b2bjmp 0x122af0
00122ad0
00122ad0camlLatexscan.fun_register_813:
00122ad0lea rdi, [rip+0x1f1e91]
00122ad7mov rdi, [rdi+240]
00122ademov rdi, [rdi]
00122ae1cmp rdi, 1
00122ae5jle 0x122b20
00122ae7sub r15, 24
00122aebcmp r15, [r14]
00122aeejb 0x122b26
00122af0
00122af0loc_122af0:
00122af0lea rsi, [r15+8]
00122af4mov [rsi-8], 2048
00122afcmov [rsi], rax
00122affmov rdi, [rbx+16]
00122b03mov rax, [rdi]
00122b06mov [rsi+8], rax
00122b0amov rbx, rsp
00122b0dmov rsp, [r14+64]
00122b11call caml_modify
00122b16mov rsp, rbx
00122b19mov eax, 1
00122b1eret
00122b1f
00122b1f 90 .
00122b20
00122b20loc_122b20:
00122b20mov eax, 1
00122b25ret
00122b26
00122b26loc_122b26:
00122b26call caml_call_gc
00122b2bjmp 0x122af0
00122ad0
00122b2d
00122b2d // align 0x10
00122b2d // align 0x10
00122b30
00122b30camlLatexscan.inc_size_816:
00122b30lea r10, [rsp-336]
00122b38cmp r10, [r14+40]
00122b3cjb 0x122bb7
00122b3e
00122b3eloc_122b3e:
00122b3esub rsp, 16
00122b42mov [rsp], rax
00122b46mov [rsp+8], rbx
00122b4bmov rax, [rbx+16]
00122b4fmov rbx, [rax+40]
00122b53mov eax, 1
00122b58mov rdi, [rbx]
00122b5bcall rdi
00122b5dmov rbx, [rsp]
00122b61lea rax, [rax+rbx-1]
00122b66cmp rax, 3
00122b6ajg 0x122b74
00122b6cmov eax, 3
00122b71jmp 0x122b7f
00122b73nop
00122b74
00122b74loc_122b74:
00122b74cmp rax, 15
00122b78jl 0x122b7f
00122b7amov eax, 15
00122b7f
00122b7floc_122b7f:
00122b7fmov rbx, [rsp+8]
00122b84mov rbx, [rbx+16]
00122b88mov rbx, [rbx+64]
00122b8csub r15, 16
00122b90cmp r15, [r14]
00122b93jb 0x122bb0
00122b95
00122b95loc_122b95:
00122b95lea rdi, [r15+8]
00122b99mov [rdi-8], 1025
00122ba1mov [rdi], rax
00122ba4mov rsi, [rbx]
00122ba7mov rax, rdi
00122baaadd rsp, 16
00122baejmp rsi
00122bb0
00122bb0loc_122bb0:
00122bb0call caml_call_gc
00122bb5jmp 0x122b95
00122bb7
00122bb7loc_122bb7:
00122bb7push 35
00122bb9call caml_call_realloc_stack
00122bbepop r10
00122bc0jmp 0x122b3e
00122b30
00122b30camlLatexscan.inc_size_816:
00122b30lea r10, [rsp-336]
00122b38cmp r10, [r14+40]
00122b3cjb 0x122bb7
00122b3e
00122b3eloc_122b3e:
00122b3esub rsp, 16
00122b42mov [rsp], rax
00122b46mov [rsp+8], rbx
00122b4bmov rax, [rbx+16]
00122b4fmov rbx, [rax+40]
00122b53mov eax, 1
00122b58mov rdi, [rbx]
00122b5bcall rdi
00122b5dmov rbx, [rsp]
00122b61lea rax, [rax+rbx-1]
00122b66cmp rax, 3
00122b6ajg 0x122b74
00122b6cmov eax, 3
00122b71jmp 0x122b7f
00122b73nop
00122b74
00122b74loc_122b74:
00122b74cmp rax, 15
00122b78jl 0x122b7f
00122b7amov eax, 15
00122b7f
00122b7floc_122b7f:
00122b7fmov rbx, [rsp+8]
00122b84mov rbx, [rbx+16]
00122b88mov rbx, [rbx+64]
00122b8csub r15, 16
00122b90cmp r15, [r14]
00122b93jb 0x122bb0
00122b95
00122b95loc_122b95:
00122b95lea rdi, [r15+8]
00122b99mov [rdi-8], 1025
00122ba1mov [rdi], rax
00122ba4mov rsi, [rbx]
00122ba7mov rax, rdi
00122baaadd rsp, 16
00122baejmp rsi
00122bb0
00122bb0loc_122bb0:
00122bb0call caml_call_gc
00122bb5jmp 0x122b95
00122bb7
00122bb7loc_122bb7:
00122bb7push 35
00122bb9call caml_call_realloc_stack
00122bbepop r10
00122bc0jmp 0x122b3e
00122b30
00122bc5
00122bc5 // align 0x10
00122bc5 // align 0x10
00122bd0
00122bd0camlLatexscan.top_open_display_822:
00122bd0lea r10, [rsp-336]
00122bd8cmp r10, [r14+40]
00122bdcjb 0x122cbc
00122be2
00122be2loc_122be2:
00122be2sub rsp, 16
00122be6cmp r15, [r14]
00122be9jbe 0x122cb2
00122bef
00122befloc_122bef:
00122beflea rax, [rip+0x1f3daa]
00122bf6mov rax, [rax+136]
00122bfdmov rax, [rax]
00122c00cmp rax, 1
00122c04je 0x122ca8
00122c0amov [rsp], rbx
00122c0elea rax, [rip+0x20745b]
00122c15mov rax, [rax+80]
00122c19mov rax, [rax]
00122c1ccmp rax, 3
00122c20jle 0x122c2e
00122c22lea rax, [rip+0x17b14f]
00122c29call camlStdlib.prerr_endline_390
00122c2e
00122c2eloc_122c2e:
00122c2emov rdi, [rsp]
00122c32mov rax, [rdi+16]
00122c36mov rax, [rax]
00122c39test al, 1
00122c3bjne 0x122c8c
00122c3dmov rax, [rax]
00122c40movzx rbx, [rax-8]
00122c45test rbx, rbx
00122c48jne 0x122c8c
00122c4amov rax, [rax]
00122c4dmov rax, [rax+8]
00122c51mov rbx, [rdi+24]
00122c55mov rbx, [rbx+184]
00122c5cmov [rsp+8], rbx
00122c61mov [rsp], rax
00122c65lea rax, [rip+0x17af3c]
00122c6ccall Stdlib.Printf.sprintf
00122c71mov rbx, rax
00122c74mov rdi, [rbx]
00122c77mov rax, [rsp]
00122c7bcall rdi
00122c7dmov rbx, [rsp+8]
00122c82mov rdi, [rbx]
00122c85add rsp, 16
00122c89jmp rdi
00122c8bnop
00122c8c
00122c8cloc_122c8c:
00122c8cmov rax, [rdi+24]
00122c90mov rbx, [rax+192]
00122c97mov eax, 1
00122c9cmov rdi, [rbx]
00122c9fadd rsp, 16
00122ca3jmp rdi
00122ca5nop [rax]
00122ca8
00122ca8loc_122ca8:
00122ca8mov eax, 1
00122cadadd rsp, 16
00122cb1ret
00122cb2
00122cb2loc_122cb2:
00122cb2call caml_call_gc
00122cb7jmp 0x122bef
00122cbc
00122cbcloc_122cbc:
00122cbcpush 35
00122cbecall caml_call_realloc_stack
00122cc3pop r10
00122cc5jmp 0x122be2
00122bd0
00122bd0camlLatexscan.top_open_display_822:
00122bd0lea r10, [rsp-336]
00122bd8cmp r10, [r14+40]
00122bdcjb 0x122cbc
00122be2
00122be2loc_122be2:
00122be2sub rsp, 16
00122be6cmp r15, [r14]
00122be9jbe 0x122cb2
00122bef
00122befloc_122bef:
00122beflea rax, [rip+0x1f3daa]
00122bf6mov rax, [rax+136]
00122bfdmov rax, [rax]
00122c00cmp rax, 1
00122c04je 0x122ca8
00122c0amov [rsp], rbx
00122c0elea rax, [rip+0x20745b]
00122c15mov rax, [rax+80]
00122c19mov rax, [rax]
00122c1ccmp rax, 3
00122c20jle 0x122c2e
00122c22lea rax, [rip+0x17b14f]
00122c29call camlStdlib.prerr_endline_390
00122c2e
00122c2eloc_122c2e:
00122c2emov rdi, [rsp]
00122c32mov rax, [rdi+16]
00122c36mov rax, [rax]
00122c39test al, 1
00122c3bjne 0x122c8c
00122c3dmov rax, [rax]
00122c40movzx rbx, [rax-8]
00122c45test rbx, rbx
00122c48jne 0x122c8c
00122c4amov rax, [rax]
00122c4dmov rax, [rax+8]
00122c51mov rbx, [rdi+24]
00122c55mov rbx, [rbx+184]
00122c5cmov [rsp+8], rbx
00122c61mov [rsp], rax
00122c65lea rax, [rip+0x17af3c]
00122c6ccall Stdlib.Printf.sprintf
00122c71mov rbx, rax
00122c74mov rdi, [rbx]
00122c77mov rax, [rsp]
00122c7bcall rdi
00122c7dmov rbx, [rsp+8]
00122c82mov rdi, [rbx]
00122c85add rsp, 16
00122c89jmp rdi
00122c8bnop
00122c8c
00122c8cloc_122c8c:
00122c8cmov rax, [rdi+24]
00122c90mov rbx, [rax+192]
00122c97mov eax, 1
00122c9cmov rdi, [rbx]
00122c9fadd rsp, 16
00122ca3jmp rdi
00122ca5nop [rax]
00122ca8
00122ca8loc_122ca8:
00122ca8mov eax, 1
00122cadadd rsp, 16
00122cb1ret
00122cb2
00122cb2loc_122cb2:
00122cb2call caml_call_gc
00122cb7jmp 0x122bef
00122cbc
00122cbcloc_122cbc:
00122cbcpush 35
00122cbecall caml_call_realloc_stack
00122cc3pop r10
00122cc5jmp 0x122be2
00122bd0
00122cca
00122cca // align 0x10
00122cca // align 0x10
00122cd0
00122cd0camlLatexscan.top_item_display_823:
00122cd0cmp r15, [r14]
00122cd3jbe 0x122d0a
00122cd5
00122cd5loc_122cd5:
00122cd5lea rax, [rip+0x1f3cc4]
00122cdcmov rax, [rax+136]
00122ce3mov rax, [rax]
00122ce6cmp rax, 1
00122ceaje 0x122d04
00122cecmov rax, [rbx+16]
00122cf0mov rbx, [rax+208]
00122cf7mov eax, 1
00122cfcmov rdi, [rbx]
00122cffjmp rdi
00122d01nop [rax]
00122d04
00122d04loc_122d04:
00122d04mov eax, 1
00122d09ret
00122d0a
00122d0aloc_122d0a:
00122d0acall caml_call_gc
00122d0fjmp 0x122cd5
00122cd0
00122cd0camlLatexscan.top_item_display_823:
00122cd0cmp r15, [r14]
00122cd3jbe 0x122d0a
00122cd5
00122cd5loc_122cd5:
00122cd5lea rax, [rip+0x1f3cc4]
00122cdcmov rax, [rax+136]
00122ce3mov rax, [rax]
00122ce6cmp rax, 1
00122ceaje 0x122d04
00122cecmov rax, [rbx+16]
00122cf0mov rbx, [rax+208]
00122cf7mov eax, 1
00122cfcmov rdi, [rbx]
00122cffjmp rdi
00122d01nop [rax]
00122d04
00122d04loc_122d04:
00122d04mov eax, 1
00122d09ret
00122d0a
00122d0aloc_122d0a:
00122d0acall caml_call_gc
00122d0fjmp 0x122cd5
00122cd0
00122d11
00122d11 // align 0x10
00122d11 // align 0x10
00122d20
00122d20camlLatexscan.top_force_item_display_824:
00122d20cmp r15, [r14]
00122d23jbe 0x122d5a
00122d25
00122d25loc_122d25:
00122d25lea rax, [rip+0x1f3c74]
00122d2cmov rax, [rax+136]
00122d33mov rax, [rax]
00122d36cmp rax, 1
00122d3aje 0x122d54
00122d3cmov rax, [rbx+16]
00122d40mov rbx, [rax+216]
00122d47mov eax, 1
00122d4cmov rdi, [rbx]
00122d4fjmp rdi
00122d51nop [rax]
00122d54
00122d54loc_122d54:
00122d54mov eax, 1
00122d59ret
00122d5a
00122d5aloc_122d5a:
00122d5acall caml_call_gc
00122d5fjmp 0x122d25
00122d20
00122d20camlLatexscan.top_force_item_display_824:
00122d20cmp r15, [r14]
00122d23jbe 0x122d5a
00122d25
00122d25loc_122d25:
00122d25lea rax, [rip+0x1f3c74]
00122d2cmov rax, [rax+136]
00122d33mov rax, [rax]
00122d36cmp rax, 1
00122d3aje 0x122d54
00122d3cmov rax, [rbx+16]
00122d40mov rbx, [rax+216]
00122d47mov eax, 1
00122d4cmov rdi, [rbx]
00122d4fjmp rdi
00122d51nop [rax]
00122d54
00122d54loc_122d54:
00122d54mov eax, 1
00122d59ret
00122d5a
00122d5aloc_122d5a:
00122d5acall caml_call_gc
00122d5fjmp 0x122d25
00122d20
00122d61
00122d61 // align 0x10
00122d61 // align 0x10
00122d70
00122d70camlLatexscan.top_close_display_839:
00122d70cmp r15, [r14]
00122d73jbe 0x122daa
00122d75
00122d75loc_122d75:
00122d75lea rax, [rip+0x1f3c24]
00122d7cmov rax, [rax+136]
00122d83mov rax, [rax]
00122d86cmp rax, 1
00122d8aje 0x122da4
00122d8cmov rax, [rbx+16]
00122d90mov rbx, [rax+200]
00122d97mov eax, 1
00122d9cmov rdi, [rbx]
00122d9fjmp rdi
00122da1nop [rax]
00122da4
00122da4loc_122da4:
00122da4mov eax, 1
00122da9ret
00122daa
00122daaloc_122daa:
00122daacall caml_call_gc
00122dafjmp 0x122d75
00122d70
00122d70camlLatexscan.top_close_display_839:
00122d70cmp r15, [r14]
00122d73jbe 0x122daa
00122d75
00122d75loc_122d75:
00122d75lea rax, [rip+0x1f3c24]
00122d7cmov rax, [rax+136]
00122d83mov rax, [rax]
00122d86cmp rax, 1
00122d8aje 0x122da4
00122d8cmov rax, [rbx+16]
00122d90mov rbx, [rax+200]
00122d97mov eax, 1
00122d9cmov rdi, [rbx]
00122d9fjmp rdi
00122da1nop [rax]
00122da4
00122da4loc_122da4:
00122da4mov eax, 1
00122da9ret
00122daa
00122daaloc_122daa:
00122daacall caml_call_gc
00122dafjmp 0x122d75
00122d70
00122db1
00122db1 // align 0x10
00122db1 // align 0x10
00122dc0
00122dc0camlLatexscan.print_env_pos_842:
00122dc0lea r10, [rsp-328]
00122dc8cmp r10, [r14+40]
00122dccjb 0x122e3a
00122dce
00122dceloc_122dce:
00122dcesub rsp, 8
00122dd2mov rax, [rbx+24]
00122dd6mov rax, [rax]
00122dd9test al, 1
00122ddbje 0x122df0
00122dddlea rax, [rip+0x17aae4]
00122de4add rsp, 8
00122de8jmp 0x196d50
00122ded
00122ded 0f 1f 00 ...
00122df0
00122df0loc_122df0:
00122df0mov [rsp], rbx
00122df4mov rax, [rbx+24]
00122df8call camlMyStack.pop_292
00122dfdmov rbx, [rax+16]
00122e01mov eax, 1
00122e06call camlLocation.do_print_pos_423
00122e0blea rbx, [rip+0x17a926]
00122e12mov rax, [rsp]
00122e16mov rax, [rax+16]
00122e1amov rax, [rax]
00122e1dcall camlStdlib.$5e_139
00122e22mov rbx, rax
00122e25lea rax, [rip+0x17a95c]
00122e2ccall camlStdlib.$5e_139
00122e31add rsp, 8
00122e35jmp 0x196d50
00122e3a
00122e3aloc_122e3a:
00122e3apush 34
00122e3ccall caml_call_realloc_stack
00122e41pop r10
00122e43jmp 0x122dce
00122dc0
00122dc0camlLatexscan.print_env_pos_842:
00122dc0lea r10, [rsp-328]
00122dc8cmp r10, [r14+40]
00122dccjb 0x122e3a
00122dce
00122dceloc_122dce:
00122dcesub rsp, 8
00122dd2mov rax, [rbx+24]
00122dd6mov rax, [rax]
00122dd9test al, 1
00122ddbje 0x122df0
00122dddlea rax, [rip+0x17aae4]
00122de4add rsp, 8
00122de8jmp 0x196d50
00122ded
00122ded 0f 1f 00 ...
00122df0
00122df0loc_122df0:
00122df0mov [rsp], rbx
00122df4mov rax, [rbx+24]
00122df8call camlMyStack.pop_292
00122dfdmov rbx, [rax+16]
00122e01mov eax, 1
00122e06call camlLocation.do_print_pos_423
00122e0blea rbx, [rip+0x17a926]
00122e12mov rax, [rsp]
00122e16mov rax, [rax+16]
00122e1amov rax, [rax]
00122e1dcall camlStdlib.$5e_139
00122e22mov rbx, rax
00122e25lea rax, [rip+0x17a95c]
00122e2ccall camlStdlib.$5e_139
00122e31add rsp, 8
00122e35jmp 0x196d50
00122e3a
00122e3aloc_122e3a:
00122e3apush 34
00122e3ccall caml_call_realloc_stack
00122e41pop r10
00122e43jmp 0x122dce
00122dc0
00122e45
00122e45 // align 0x10
00122e45 // align 0x10
00122e50
00122e50camlLatexscan.new_env_859:
00122e50lea r10, [rsp-344]
00122e58cmp r10, [r14+40]
00122e5cjb 0x122fa4
00122e62
00122e62loc_122e62:
00122e62sub rsp, 24
00122e66mov [rsp+8], rax
00122e6bmov [rsp], rbx
00122e6fmov eax, 1
00122e74call camlLatexmacros.open_group_895
00122e79mov eax, 1
00122e7ecall camlLocation.get_pos_414
00122e83sub r15, 56
00122e87cmp r15, [r14]
00122e8ajb 0x122f9a
00122e90
00122e90loc_122e90:
00122e90lea rbx, [r15+8]
00122e94add rbx, 24
00122e98mov [rbx-8], 3072
00122ea0mov r12, [rsp]
00122ea4mov rdi, [r12+16]
00122ea9mov rdi, [rdi]
00122eacmov [rbx], rdi
00122eafmov rdi, [r12+24]
00122eb4mov rdi, [rdi]
00122eb7mov [rbx+8], rdi
00122ebbmov [rbx+16], rax
00122ebfmov rdi, [r12+32]
00122ec4lea rsi, [rbx-24]
00122ec8mov [rsi-8], 2048
00122ed0mov [rsi], rbx
00122ed3mov rax, [rdi]
00122ed6mov [rsi+8], rax
00122edamov rbx, rsp
00122eddmov rsp, [r14+64]
00122ee1call caml_modify
00122ee6mov rsp, rbx
00122ee9mov rdi, [r12+16]
00122eeemov r13, [rsp+8]
00122ef3mov rsi, r13
00122ef6mov rbx, rsp
00122ef9mov rsp, [r14+64]
00122efdcall caml_modify
00122f02mov rsp, rbx
00122f05mov esi, 1
00122f0amov rdi, [r12+24]
00122f0fmov rbx, rsp
00122f12mov rsp, [r14+64]
00122f16call caml_modify
00122f1bmov rsp, rbx
00122f1elea rax, [rip+0x20714b]
00122f25mov rax, [rax+80]
00122f29mov rax, [rax]
00122f2ccmp rax, 3
00122f30jle 0x122f90
00122f32mov [rsp+8], r13
00122f37mov eax, 1
00122f3ccall camlLocation.print_pos_430
00122f41lea rax, [rip+0x1f1a20]
00122f48mov rax, [rax+240]
00122f4fmov rax, [rax]
00122f52mov [rsp+16], rax
00122f57mov rax, [rsp+8]
00122f5cmov [rsp], rax
00122f60lea rbx, [rip+0x176dd1]
00122f67lea rax, [rip+0x20a6aa]
00122f6emov rax, [rax+312]
00122f75call Stdlib.Printf.fprintf
00122f7amov rdi, rax
00122f7dmov rax, [rsp]
00122f81mov rbx, [rsp+16]
00122f86add rsp, 24
00122f8ajmp 0xf73e0
00122f8f
00122f8f 90 .
00122f90
00122f90loc_122f90:
00122f90mov eax, 1
00122f95add rsp, 24
00122f99ret
00122f9a
00122f9aloc_122f9a:
00122f9acall caml_call_gc
00122f9fjmp 0x122e90
00122fa4
00122fa4loc_122fa4:
00122fa4push 36
00122fa6call caml_call_realloc_stack
00122fabpop r10
00122fadjmp 0x122e62
00122e50
00122e50camlLatexscan.new_env_859:
00122e50lea r10, [rsp-344]
00122e58cmp r10, [r14+40]
00122e5cjb 0x122fa4
00122e62
00122e62loc_122e62:
00122e62sub rsp, 24
00122e66mov [rsp+8], rax
00122e6bmov [rsp], rbx
00122e6fmov eax, 1
00122e74call camlLatexmacros.open_group_895
00122e79mov eax, 1
00122e7ecall camlLocation.get_pos_414
00122e83sub r15, 56
00122e87cmp r15, [r14]
00122e8ajb 0x122f9a
00122e90
00122e90loc_122e90:
00122e90lea rbx, [r15+8]
00122e94add rbx, 24
00122e98mov [rbx-8], 3072
00122ea0mov r12, [rsp]
00122ea4mov rdi, [r12+16]
00122ea9mov rdi, [rdi]
00122eacmov [rbx], rdi
00122eafmov rdi, [r12+24]
00122eb4mov rdi, [rdi]
00122eb7mov [rbx+8], rdi
00122ebbmov [rbx+16], rax
00122ebfmov rdi, [r12+32]
00122ec4lea rsi, [rbx-24]
00122ec8mov [rsi-8], 2048
00122ed0mov [rsi], rbx
00122ed3mov rax, [rdi]
00122ed6mov [rsi+8], rax
00122edamov rbx, rsp
00122eddmov rsp, [r14+64]
00122ee1call caml_modify
00122ee6mov rsp, rbx
00122ee9mov rdi, [r12+16]
00122eeemov r13, [rsp+8]
00122ef3mov rsi, r13
00122ef6mov rbx, rsp
00122ef9mov rsp, [r14+64]
00122efdcall caml_modify
00122f02mov rsp, rbx
00122f05mov esi, 1
00122f0amov rdi, [r12+24]
00122f0fmov rbx, rsp
00122f12mov rsp, [r14+64]
00122f16call caml_modify
00122f1bmov rsp, rbx
00122f1elea rax, [rip+0x20714b]
00122f25mov rax, [rax+80]
00122f29mov rax, [rax]
00122f2ccmp rax, 3
00122f30jle 0x122f90
00122f32mov [rsp+8], r13
00122f37mov eax, 1
00122f3ccall camlLocation.print_pos_430
00122f41lea rax, [rip+0x1f1a20]
00122f48mov rax, [rax+240]
00122f4fmov rax, [rax]
00122f52mov [rsp+16], rax
00122f57mov rax, [rsp+8]
00122f5cmov [rsp], rax
00122f60lea rbx, [rip+0x176dd1]
00122f67lea rax, [rip+0x20a6aa]
00122f6emov rax, [rax+312]
00122f75call Stdlib.Printf.fprintf
00122f7amov rdi, rax
00122f7dmov rax, [rsp]
00122f81mov rbx, [rsp+16]
00122f86add rsp, 24
00122f8ajmp 0xf73e0
00122f8f
00122f8f 90 .
00122f90
00122f90loc_122f90:
00122f90mov eax, 1
00122f95add rsp, 24
00122f99ret
00122f9a
00122f9aloc_122f9a:
00122f9acall caml_call_gc
00122f9fjmp 0x122e90
00122fa4
00122fa4loc_122fa4:
00122fa4push 36
00122fa6call caml_call_realloc_stack
00122fabpop r10
00122fadjmp 0x122e62
00122e50
00122fb2
00122fb2 // align 0x10
00122fb2 // align 0x10
00122fc0
00122fc0camlLatexscan.error_env_862:
00122fc0lea r10, [rsp-328]
00122fc8cmp r10, [r14+40]
00122fccjb 0x12304d
00122fce
00122fceloc_122fce:
00122fcesub rsp, 8
00122fd2mov [rsp], rax
00122fd6mov rax, rbx
00122fd9lea rbx, [rip+0x176b48]
00122fe0call camlStdlib.$5e_139
00122fe5mov rbx, rax
00122fe8lea rax, [rip+0x176b71]
00122fefcall camlStdlib.$5e_139
00122ff4mov rbx, rax
00122ff7mov rax, [rsp]
00122ffbcall camlStdlib.$5e_139
00123000mov rbx, rax
00123003lea rax, [rip+0x176c46]
0012300acall camlStdlib.$5e_139
0012300fsub r15, 24
00123013cmp r15, [r14]
00123016jb 0x123046
00123018
00123018loc_123018:
00123018lea rbx, [r15+8]
0012301cmov [rbx-8], 2048
00123024lea rdi, [rip+0x207045]
0012302bmov rdi, [rdi+40]
0012302fmov [rbx], rdi
00123032mov [rbx+8], rax
00123036mov rax, rbx
00123039mov rsp, [r14+48]
0012303dpop [r14+48]
00123041pop r11
00123043jmp r11
00123046
00123046loc_123046:
00123046call caml_call_gc
0012304bjmp 0x123018
0012304d
0012304dloc_12304d:
0012304dpush 34
0012304fcall caml_call_realloc_stack
00123054pop r10
00123056jmp 0x122fce
00122fc0
00122fc0camlLatexscan.error_env_862:
00122fc0lea r10, [rsp-328]
00122fc8cmp r10, [r14+40]
00122fccjb 0x12304d
00122fce
00122fceloc_122fce:
00122fcesub rsp, 8
00122fd2mov [rsp], rax
00122fd6mov rax, rbx
00122fd9lea rbx, [rip+0x176b48]
00122fe0call camlStdlib.$5e_139
00122fe5mov rbx, rax
00122fe8lea rax, [rip+0x176b71]
00122fefcall camlStdlib.$5e_139
00122ff4mov rbx, rax
00122ff7mov rax, [rsp]
00122ffbcall camlStdlib.$5e_139
00123000mov rbx, rax
00123003lea rax, [rip+0x176c46]
0012300acall camlStdlib.$5e_139
0012300fsub r15, 24
00123013cmp r15, [r14]
00123016jb 0x123046
00123018
00123018loc_123018:
00123018lea rbx, [r15+8]
0012301cmov [rbx-8], 2048
00123024lea rdi, [rip+0x207045]
0012302bmov rdi, [rdi+40]
0012302fmov [rbx], rdi
00123032mov [rbx+8], rax
00123036mov rax, rbx
00123039mov rsp, [r14+48]
0012303dpop [r14+48]
00123041pop r11
00123043jmp r11
00123046
00123046loc_123046:
00123046call caml_call_gc
0012304bjmp 0x123018
0012304d
0012304dloc_12304d:
0012304dpush 34
0012304fcall caml_call_realloc_stack
00123054pop r10
00123056jmp 0x122fce
00122fc0
0012305b
0012305b // align 0x10
0012305b // align 0x10
00123060
00123060camlLatexscan.close_env_866:
00123060lea r10, [rsp-352]
00123068cmp r10, [r14+40]
0012306cjb 0x123188
00123072
00123072loc_123072:
00123072sub rsp, 32
00123076mov [rsp], rax
0012307amov [rsp+8], rbx
0012307flea rbx, [rip+0x206fea]
00123086mov rbx, [rbx+80]
0012308amov rbx, [rbx]
0012308dcmp rbx, 3
00123091jle 0x1230da
00123093lea rbx, [rip+0x1f18ce]
0012309amov rbx, [rbx+240]
001230a1mov rbx, [rbx]
001230a4mov [rsp+24], rbx
001230a9mov [rsp+16], rax
001230aelea rbx, [rip+0x1764a3]
001230b5lea rax, [rip+0x20a55c]
001230bcmov rax, [rax+312]
001230c3call Stdlib.Printf.fprintf
001230c8mov rdi, rax
001230cbmov rax, [rsp+16]
001230d0mov rbx, [rsp+24]
001230d5call caml_apply2
001230da
001230daloc_1230da:
001230damov r12, [rsp+8]
001230dfmov rax, [r12+16]
001230e4mov rsi, [rax]
001230e7mov r13, [rsp]
001230ebmov rdi, r13
001230eemov rbx, rsp
001230f1mov rsp, [r14+64]
001230f5call caml_string_equal
001230famov rsp, rbx
001230fdcmp rax, 1
00123101je 0x123174
00123103mov [rsp+8], r12
00123108mov rax, [r12+32]
0012310dcall camlMyStack.pop_292
00123112mov r13, rax
00123115mov r12, [rsp+8]
0012311amov rax, [r12+24]
0012311fmov rax, [rax]
00123122mov [rsp], rax
00123126mov rsi, [r13]
0012312amov rdi, [r12+16]
0012312fmov rbx, rsp
00123132mov rsp, [r14+64]
00123136call caml_modify
0012313bmov rsp, rbx
0012313emov rsi, [r13+8]
00123142mov rdi, [r12+24]
00123147mov rbx, rsp
0012314amov rsp, [r14+64]
0012314ecall caml_modify
00123153mov rsp, rbx
00123156mov eax, 1
0012315bcall camlLatexmacros.close_group_896
00123160lea rax, [rip+0x1743d1]
00123167mov rbx, [rsp]
0012316badd rsp, 32
0012316fjmp 0x1a0330
00123174
00123174loc_123174:
00123174mov rax, [r12+16]
00123179mov rbx, [rax]
0012317cmov rax, r13
0012317fadd rsp, 32
00123183jmp 0x122fc0
00123188
00123188loc_123188:
00123188push 37
0012318acall caml_call_realloc_stack
0012318fpop r10
00123191jmp 0x123072
00123060
00123060camlLatexscan.close_env_866:
00123060lea r10, [rsp-352]
00123068cmp r10, [r14+40]
0012306cjb 0x123188
00123072
00123072loc_123072:
00123072sub rsp, 32
00123076mov [rsp], rax
0012307amov [rsp+8], rbx
0012307flea rbx, [rip+0x206fea]
00123086mov rbx, [rbx+80]
0012308amov rbx, [rbx]
0012308dcmp rbx, 3
00123091jle 0x1230da
00123093lea rbx, [rip+0x1f18ce]
0012309amov rbx, [rbx+240]
001230a1mov rbx, [rbx]
001230a4mov [rsp+24], rbx
001230a9mov [rsp+16], rax
001230aelea rbx, [rip+0x1764a3]
001230b5lea rax, [rip+0x20a55c]
001230bcmov rax, [rax+312]
001230c3call Stdlib.Printf.fprintf
001230c8mov rdi, rax
001230cbmov rax, [rsp+16]
001230d0mov rbx, [rsp+24]
001230d5call caml_apply2
001230da
001230daloc_1230da:
001230damov r12, [rsp+8]
001230dfmov rax, [r12+16]
001230e4mov rsi, [rax]
001230e7mov r13, [rsp]
001230ebmov rdi, r13
001230eemov rbx, rsp
001230f1mov rsp, [r14+64]
001230f5call caml_string_equal
001230famov rsp, rbx
001230fdcmp rax, 1
00123101je 0x123174
00123103mov [rsp+8], r12
00123108mov rax, [r12+32]
0012310dcall camlMyStack.pop_292
00123112mov r13, rax
00123115mov r12, [rsp+8]
0012311amov rax, [r12+24]
0012311fmov rax, [rax]
00123122mov [rsp], rax
00123126mov rsi, [r13]
0012312amov rdi, [r12+16]
0012312fmov rbx, rsp
00123132mov rsp, [r14+64]
00123136call caml_modify
0012313bmov rsp, rbx
0012313emov rsi, [r13+8]
00123142mov rdi, [r12+24]
00123147mov rbx, rsp
0012314amov rsp, [r14+64]
0012314ecall caml_modify
00123153mov rsp, rbx
00123156mov eax, 1
0012315bcall camlLatexmacros.close_group_896
00123160lea rax, [rip+0x1743d1]
00123167mov rbx, [rsp]
0012316badd rsp, 32
0012316fjmp 0x1a0330
00123174
00123174loc_123174:
00123174mov rax, [r12+16]
00123179mov rbx, [rax]
0012317cmov rax, r13
0012317fadd rsp, 32
00123183jmp 0x122fc0
00123188
00123188loc_123188:
00123188push 37
0012318acall caml_call_realloc_stack
0012318fpop r10
00123191jmp 0x123072
00123060
00123196
00123196 // align 0x10
00123196 // align 0x10
001231a0
001231a0camlLatexscan.fun_3177:
001231a0mov rbx, rax
001231a3cmp r15, [r14]
001231a6jbe 0x1231b2
001231a8
001231a8loc_1231a8:
001231a8mov eax, 1
001231admov rdi, [rbx]
001231b0jmp rdi
001231b2
001231b2loc_1231b2:
001231b2call caml_call_gc
001231b7jmp 0x1231a8
001231a0
001231a0camlLatexscan.fun_3177:
001231a0mov rbx, rax
001231a3cmp r15, [r14]
001231a6jbe 0x1231b2
001231a8
001231a8loc_1231a8:
001231a8mov eax, 1
001231admov rdi, [rbx]
001231b0jmp rdi
001231b2
001231b2loc_1231b2:
001231b2call caml_call_gc
001231b7jmp 0x1231a8
001231a0
001231b9
001231b9 // align 0x10
001231b9 // align 0x10
001231c0
001231c0camlLatexscan.env_check_944:
001231c0sub r15, 32
001231c4cmp r15, [r14]
001231c7jb 0x1231f6
001231c9
001231c9loc_1231c9:
001231c9lea rax, [r15+8]
001231cdmov [rax-8], 3072
001231d5mov rdi, [rbx+16]
001231d9mov rdi, [rdi]
001231dcmov [rax], rdi
001231dfmov rdi, [rbx+24]
001231e3mov rdi, [rdi]
001231e6mov [rax+8], rdi
001231eamov rbx, [rbx+32]
001231eemov rbx, [rbx]
001231f1mov [rax+16], rbx
001231f5ret
001231f6
001231f6loc_1231f6:
001231f6call caml_call_gc
001231fbjmp 0x1231c9
001231c0
001231c0camlLatexscan.env_check_944:
001231c0sub r15, 32
001231c4cmp r15, [r14]
001231c7jb 0x1231f6
001231c9
001231c9loc_1231c9:
001231c9lea rax, [r15+8]
001231cdmov [rax-8], 3072
001231d5mov rdi, [rbx+16]
001231d9mov rdi, [rdi]
001231dcmov [rax], rdi
001231dfmov rdi, [rbx+24]
001231e3mov rdi, [rdi]
001231e6mov [rax+8], rdi
001231eamov rbx, [rbx+32]
001231eemov rbx, [rbx]
001231f1mov [rax+16], rbx
001231f5ret
001231f6
001231f6loc_1231f6:
001231f6call caml_call_gc
001231fbjmp 0x1231c9
001231c0
001231fd
001231fd // align 0x10
001231fd // align 0x10
00123200
00123200camlLatexscan.env_hot_945:
00123200mov r13, rbx
00123203mov rbp, rdi
00123206mov r12, rsi
00123209mov rdi, [r12+24]
0012320emov rsi, rax
00123211mov rbx, rsp
00123214mov rsp, [r14+64]
00123218call caml_modify
0012321dmov rsp, rbx
00123220mov rdi, [r12+32]
00123225mov rsi, r13
00123228mov rbx, rsp
0012322bmov rsp, [r14+64]
0012322fcall caml_modify
00123234mov rsp, rbx
00123237mov rdi, [r12+40]
0012323cmov rsi, rbp
0012323fmov rbx, rsp
00123242mov rsp, [r14+64]
00123246call caml_modify
0012324bmov rsp, rbx
0012324emov eax, 1
00123253ret
00123200
00123200camlLatexscan.env_hot_945:
00123200mov r13, rbx
00123203mov rbp, rdi
00123206mov r12, rsi
00123209mov rdi, [r12+24]
0012320emov rsi, rax
00123211mov rbx, rsp
00123214mov rsp, [r14+64]
00123218call caml_modify
0012321dmov rsp, rbx
00123220mov rdi, [r12+32]
00123225mov rsi, r13
00123228mov rbx, rsp
0012322bmov rsp, [r14+64]
0012322fcall caml_modify
00123234mov rsp, rbx
00123237mov rdi, [r12+40]
0012323cmov rsi, rbp
0012323fmov rbx, rsp
00123242mov rsp, [r14+64]
00123246call caml_modify
0012324bmov rsp, rbx
0012324emov eax, 1
00123253ret
00123200
00123254
00123254 // align 0x10
00123254 // align 0x10
00123260
00123260camlLatexscan.check_all_989:
00123260lea r10, [rsp-368]
00123268cmp r10, [r14+40]
0012326cjb 0x123350
00123272
00123272loc_123272:
00123272sub rsp, 48
00123276mov [rsp], rbx
0012327amov eax, 1
0012327fcall camlAuxx.check_572
00123284mov [rsp+40], rax
00123289mov eax, 1
0012328ecall camlGet.check_523
00123293mov [rsp+32], rax
00123298mov rax, [rsp]
0012329cmov rax, [rax+24]
001232a0mov rbx, [rax+664]
001232a7mov eax, 1
001232acmov rdi, [rbx]
001232afcall rdi
001232b1mov [rsp+24], rax
001232b6mov eax, 1
001232bbcall camlLexstate.check_lexstate_897
001232c0mov [rsp+16], rax
001232c5mov rax, [rsp]
001232c9mov rbx, [rax+16]
001232cdmov eax, 1
001232d2call camlLatexscan.env_check_944
001232d7mov [rsp+8], rax
001232dcmov eax, 1
001232e1call camlLocation.check_366
001232e6mov [rsp], rax
001232eamov eax, 1
001232efcall camlHot.checkpoint_462
001232f4sub r15, 64
001232f8cmp r15, [r14]
001232fbjb 0x123349
001232fd
001232fdloc_1232fd:
001232fdlea rbx, [r15+8]
00123301mov [rbx-8], 7168
00123309mov [rbx], rax
0012330cmov rax, [rsp]
00123310mov [rbx+8], rax
00123314mov rax, [rsp+8]
00123319mov [rbx+16], rax
0012331dmov rax, [rsp+16]
00123322mov [rbx+24], rax
00123326mov rax, [rsp+24]
0012332bmov [rbx+32], rax
0012332fmov rax, [rsp+32]
00123334mov [rbx+40], rax
00123338mov rax, [rsp+40]
0012333dmov [rbx+48], rax
00123341mov rax, rbx
00123344add rsp, 48
00123348ret
00123349
00123349loc_123349:
00123349call caml_call_gc
0012334ejmp 0x1232fd
00123350
00123350loc_123350:
00123350push 39
00123352call caml_call_realloc_stack
00123357pop r10
00123359jmp 0x123272
00123260
00123260camlLatexscan.check_all_989:
00123260lea r10, [rsp-368]
00123268cmp r10, [r14+40]
0012326cjb 0x123350
00123272
00123272loc_123272:
00123272sub rsp, 48
00123276mov [rsp], rbx
0012327amov eax, 1
0012327fcall camlAuxx.check_572
00123284mov [rsp+40], rax
00123289mov eax, 1
0012328ecall camlGet.check_523
00123293mov [rsp+32], rax
00123298mov rax, [rsp]
0012329cmov rax, [rax+24]
001232a0mov rbx, [rax+664]
001232a7mov eax, 1
001232acmov rdi, [rbx]
001232afcall rdi
001232b1mov [rsp+24], rax
001232b6mov eax, 1
001232bbcall camlLexstate.check_lexstate_897
001232c0mov [rsp+16], rax
001232c5mov rax, [rsp]
001232c9mov rbx, [rax+16]
001232cdmov eax, 1
001232d2call camlLatexscan.env_check_944
001232d7mov [rsp+8], rax
001232dcmov eax, 1
001232e1call camlLocation.check_366
001232e6mov [rsp], rax
001232eamov eax, 1
001232efcall camlHot.checkpoint_462
001232f4sub r15, 64
001232f8cmp r15, [r14]
001232fbjb 0x123349
001232fd
001232fdloc_1232fd:
001232fdlea rbx, [r15+8]
00123301mov [rbx-8], 7168
00123309mov [rbx], rax
0012330cmov rax, [rsp]
00123310mov [rbx+8], rax
00123314mov rax, [rsp+8]
00123319mov [rbx+16], rax
0012331dmov rax, [rsp+16]
00123322mov [rbx+24], rax
00123326mov rax, [rsp+24]
0012332bmov [rbx+32], rax
0012332fmov rax, [rsp+32]
00123334mov [rbx+40], rax
00123338mov rax, [rsp+40]
0012333dmov [rbx+48], rax
00123341mov rax, rbx
00123344add rsp, 48
00123348ret
00123349
00123349loc_123349:
00123349call caml_call_gc
0012334ejmp 0x1232fd
00123350
00123350loc_123350:
00123350push 39
00123352call caml_call_realloc_stack
00123357pop r10
00123359jmp 0x123272
00123260
0012335e
0012335e // align 0x10
0012335e // align 0x10
00123360
00123360camlLatexscan.hot_all_990:
00123360lea r10, [rsp-336]
00123368cmp r10, [r14+40]
0012336cjb 0x12342b
00123372
00123372loc_123372:
00123372sub rsp, 16
00123376mov [rsp+8], rax
0012337bmov [rsp], rbx
0012337fmov rax, [rax+8]
00123383call camlLocation.hot_367
00123388mov rax, [rsp]
0012338cmov rbx, [rax+16]
00123390mov rax, [rsp+8]
00123395mov rax, [rax+16]
00123399mov rdi, [rbx]
0012339ccall rdi
0012339elea rax, [rip+0x1f35fb]
001233a5mov rbx, [rax+424]
001233acmov rax, [rsp+8]
001233b1mov rax, [rax+24]
001233b5mov rdi, [rbx]
001233b8call rdi
001233bamov rax, [rsp]
001233bemov rax, [rax+24]
001233c2mov rbx, [rax+672]
001233c9mov rax, [rsp+8]
001233cemov rax, [rax+32]
001233d2mov rdi, [rbx]
001233d5call rdi
001233d7lea rax, [rip+0x1d2482]
001233demov rbx, [rax+24]
001233e2mov rax, [rsp+8]
001233e7mov rax, [rax+40]
001233ebmov rdi, [rbx]
001233eecall rdi
001233f0lea rax, [rip+0x203fc9]
001233f7mov rbx, [rax+112]
001233fbmov rax, [rsp+8]
00123400mov rax, [rax+48]
00123404mov rdi, [rbx]
00123407call rdi
00123409lea rax, [rip+0x1bf608]
00123410mov rbx, [rax+8]
00123414mov rax, [rsp+8]
00123419mov rax, [rax]
0012341cmov rdi, [rbx]
0012341fcall rdi
00123421mov eax, 1
00123426add rsp, 16
0012342aret
0012342b
0012342bloc_12342b:
0012342bpush 35
0012342dcall caml_call_realloc_stack
00123432pop r10
00123434jmp 0x123372
00123360
00123360camlLatexscan.hot_all_990:
00123360lea r10, [rsp-336]
00123368cmp r10, [r14+40]
0012336cjb 0x12342b
00123372
00123372loc_123372:
00123372sub rsp, 16
00123376mov [rsp+8], rax
0012337bmov [rsp], rbx
0012337fmov rax, [rax+8]
00123383call camlLocation.hot_367
00123388mov rax, [rsp]
0012338cmov rbx, [rax+16]
00123390mov rax, [rsp+8]
00123395mov rax, [rax+16]
00123399mov rdi, [rbx]
0012339ccall rdi
0012339elea rax, [rip+0x1f35fb]
001233a5mov rbx, [rax+424]
001233acmov rax, [rsp+8]
001233b1mov rax, [rax+24]
001233b5mov rdi, [rbx]
001233b8call rdi
001233bamov rax, [rsp]
001233bemov rax, [rax+24]
001233c2mov rbx, [rax+672]
001233c9mov rax, [rsp+8]
001233cemov rax, [rax+32]
001233d2mov rdi, [rbx]
001233d5call rdi
001233d7lea rax, [rip+0x1d2482]
001233demov rbx, [rax+24]
001233e2mov rax, [rsp+8]
001233e7mov rax, [rax+40]
001233ebmov rdi, [rbx]
001233eecall rdi
001233f0lea rax, [rip+0x203fc9]
001233f7mov rbx, [rax+112]
001233fbmov rax, [rsp+8]
00123400mov rax, [rax+48]
00123404mov rdi, [rbx]
00123407call rdi
00123409lea rax, [rip+0x1bf608]
00123410mov rbx, [rax+8]
00123414mov rax, [rsp+8]
00123419mov rax, [rax]
0012341cmov rdi, [rbx]
0012341fcall rdi
00123421mov eax, 1
00123426add rsp, 16
0012342aret
0012342b
0012342bloc_12342b:
0012342bpush 35
0012342dcall caml_call_realloc_stack
00123432pop r10
00123434jmp 0x123372
00123360
00123439
00123439 // align 0x10
00123439 // align 0x10
00123440
00123440camlLatexscan.pretty_array_type_1015:
00123440lea r10, [rsp-328]
00123448cmp r10, [r14+40]
0012344cjb 0x1234df
00123452
00123452loc_123452:
00123452sub rsp, 8
00123456test al, 1
00123458je 0x123478
0012345acmp rax, 1
0012345eje 0x12346c
00123460lea rax, [rip+0x175a99]
00123467add rsp, 8
0012346bret
0012346c
0012346cloc_12346c:
0012346clea rax, [rip+0x1759c5]
00123473add rsp, 8
00123477ret
00123478
00123478loc_123478:
00123478mov rax, [rax]
0012347bmov [rsp], rax
0012347fmov rax, [rax+8]
00123483cmp rax, 1
00123487je 0x123494
00123489lea rbx, [rip+0x175858]
00123490jmp 0x12349b
00123492
00123492 66 90 f.
00123494
00123494loc_123494:
00123494lea rbx, [rip+0x175765]
0012349b
0012349bloc_12349b:
0012349blea rax, [rip+0x175696]
001234a2call camlStdlib.$5e_139
001234a7mov rbx, rax
001234aamov rax, [rsp]
001234aemov rax, [rax]
001234b1cmp rax, 1
001234b5je 0x1234c0
001234b7lea rax, [rip+0x17582a]
001234bejmp 0x1234c7
001234c0
001234c0loc_1234c0:
001234c0lea rax, [rip+0x175739]
001234c7
001234c7loc_1234c7:
001234c7call camlStdlib.$5e_139
001234ccmov rbx, rax
001234cflea rax, [rip+0x1758ea]
001234d6add rsp, 8
001234dajmp 0x195ba0
001234df
001234dfloc_1234df:
001234dfpush 34
001234e1call caml_call_realloc_stack
001234e6pop r10
001234e8jmp 0x123452
00123440
00123440camlLatexscan.pretty_array_type_1015:
00123440lea r10, [rsp-328]
00123448cmp r10, [r14+40]
0012344cjb 0x1234df
00123452
00123452loc_123452:
00123452sub rsp, 8
00123456test al, 1
00123458je 0x123478
0012345acmp rax, 1
0012345eje 0x12346c
00123460lea rax, [rip+0x175a99]
00123467add rsp, 8
0012346bret
0012346c
0012346cloc_12346c:
0012346clea rax, [rip+0x1759c5]
00123473add rsp, 8
00123477ret
00123478
00123478loc_123478:
00123478mov rax, [rax]
0012347bmov [rsp], rax
0012347fmov rax, [rax+8]
00123483cmp rax, 1
00123487je 0x123494
00123489lea rbx, [rip+0x175858]
00123490jmp 0x12349b
00123492
00123492 66 90 f.
00123494
00123494loc_123494:
00123494lea rbx, [rip+0x175765]
0012349b
0012349bloc_12349b:
0012349blea rax, [rip+0x175696]
001234a2call camlStdlib.$5e_139
001234a7mov rbx, rax
001234aamov rax, [rsp]
001234aemov rax, [rax]
001234b1cmp rax, 1
001234b5je 0x1234c0
001234b7lea rax, [rip+0x17582a]
001234bejmp 0x1234c7
001234c0
001234c0loc_1234c0:
001234c0lea rax, [rip+0x175739]
001234c7
001234c7loc_1234c7:
001234c7call camlStdlib.$5e_139
001234ccmov rbx, rax
001234cflea rax, [rip+0x1758ea]
001234d6add rsp, 8
001234dajmp 0x195ba0
001234df
001234dfloc_1234df:
001234dfpush 34
001234e1call caml_call_realloc_stack
001234e6pop r10
001234e8jmp 0x123452
00123440
001234ed
001234ed // align 0x10
001234ed // align 0x10
001234f0
001234f0camlLatexscan.prerr_array_state_1020:
001234f0lea r10, [rsp-328]
001234f8cmp r10, [r14+40]
001234fcjb 0x1235ac
00123502
00123502loc_123502:
00123502sub rsp, 8
00123506mov [rsp], rbx
0012350amov rax, [rbx+32]
0012350emov rax, [rax]
00123511call camlLatexscan.pretty_array_type_1015
00123516call camlStdlib.prerr_endline_390
0012351blea rbx, [rip+0x175386]
00123522lea rax, [rip+0x20a0ef]
00123529mov rax, [rax+312]
00123530call camlStdlib.output_string_253
00123535mov rax, [rsp]
00123539mov rax, [rax+16]
0012353dmov rax, [rax]
00123540call camlTabular.pretty_formats_557
00123545lea rax, [rip+0x17b11c]
0012354ccall camlStdlib.prerr_endline_390
00123551mov rax, [rsp]
00123555mov rax, [rax+24]
00123559mov rax, [rax]
0012355ccall camlStdlib.string_of_int_175
00123561mov rbx, rax
00123564lea rax, [rip+0x175265]
0012356bcall camlStdlib.$5e_139
00123570call camlStdlib.prerr_endline_390
00123575mov rax, [rsp]
00123579mov rax, [rax+40]
0012357dmov rax, [rax]
00123580cmp rax, 1
00123584je 0x123590
00123586lea rbx, [rip+0x175333]
0012358djmp 0x123597
0012358f
0012358f 90 .
00123590
00123590loc_123590:
00123590lea rbx, [rip+0x174bc9]
00123597
00123597loc_123597:
00123597lea rax, [rip+0x175142]
0012359ecall camlStdlib.$5e_139
001235a3add rsp, 8
001235a7jmp 0x196d50
001235ac
001235acloc_1235ac:
001235acpush 34
001235aecall caml_call_realloc_stack
001235b3pop r10
001235b5jmp 0x123502
001234f0
001234f0camlLatexscan.prerr_array_state_1020:
001234f0lea r10, [rsp-328]
001234f8cmp r10, [r14+40]
001234fcjb 0x1235ac
00123502
00123502loc_123502:
00123502sub rsp, 8
00123506mov [rsp], rbx
0012350amov rax, [rbx+32]
0012350emov rax, [rax]
00123511call camlLatexscan.pretty_array_type_1015
00123516call camlStdlib.prerr_endline_390
0012351blea rbx, [rip+0x175386]
00123522lea rax, [rip+0x20a0ef]
00123529mov rax, [rax+312]
00123530call camlStdlib.output_string_253
00123535mov rax, [rsp]
00123539mov rax, [rax+16]
0012353dmov rax, [rax]
00123540call camlTabular.pretty_formats_557
00123545lea rax, [rip+0x17b11c]
0012354ccall camlStdlib.prerr_endline_390
00123551mov rax, [rsp]
00123555mov rax, [rax+24]
00123559mov rax, [rax]
0012355ccall camlStdlib.string_of_int_175
00123561mov rbx, rax
00123564lea rax, [rip+0x175265]
0012356bcall camlStdlib.$5e_139
00123570call camlStdlib.prerr_endline_390
00123575mov rax, [rsp]
00123579mov rax, [rax+40]
0012357dmov rax, [rax]
00123580cmp rax, 1
00123584je 0x123590
00123586lea rbx, [rip+0x175333]
0012358djmp 0x123597
0012358f
0012358f 90 .
00123590
00123590loc_123590:
00123590lea rbx, [rip+0x174bc9]
00123597
00123597loc_123597:
00123597lea rax, [rip+0x175142]
0012359ecall camlStdlib.$5e_139
001235a3add rsp, 8
001235a7jmp 0x196d50
001235ac
001235acloc_1235ac:
001235acpush 34
001235aecall caml_call_realloc_stack
001235b3pop r10
001235b5jmp 0x123502
001234f0
001235ba
001235ba // align 0x10
001235ba // align 0x10
001235c0
001235c0camlLatexscan.save_array_state_1023:
001235c0lea r10, [rsp-328]
001235c8cmp r10, [r14+40]
001235ccjb 0x1237db
001235d2
001235d2loc_1235d2:
001235d2sub rsp, 8
001235d6mov r12, rbx
001235d9mov rax, [r12+16]
001235demov rax, [rax]
001235e1mov rdi, [r12+24]
001235e6sub r15, 24
001235eacmp r15, [r14]
001235edjb 0x1237d1
001235f3
001235f3loc_1235f3:
001235f3lea rsi, [r15+8]
001235f7mov [rsi-8], 2048
001235ffmov [rsi], rax
00123602mov rax, [rdi]
00123605mov [rsi+8], rax
00123609mov rbx, rsp
0012360cmov rsp, [r14+64]
00123610call caml_modify
00123615mov rsp, rbx
00123618mov rax, [r12+32]
0012361dmov rax, [rax]
00123620mov rdi, [r12+40]
00123625sub r15, 24
00123629cmp r15, [r14]
0012362cjb 0x1237c7
00123632
00123632loc_123632:
00123632lea rsi, [r15+8]
00123636mov [rsi-8], 2048
0012363emov [rsi], rax
00123641mov rax, [rdi]
00123644mov [rsi+8], rax
00123648mov rbx, rsp
0012364bmov rsp, [r14+64]
0012364fcall caml_modify
00123654mov rsp, rbx
00123657mov rax, [r12+48]
0012365cmov rax, [rax]
0012365fmov rdi, [r12+56]
00123664sub r15, 24
00123668cmp r15, [r14]
0012366bjb 0x1237bd
00123671
00123671loc_123671:
00123671lea rsi, [r15+8]
00123675mov [rsi-8], 2048
0012367dmov [rsi], rax
00123680mov rax, [rdi]
00123683mov [rsi+8], rax
00123687mov rbx, rsp
0012368amov rsp, [r14+64]
0012368ecall caml_modify
00123693mov rsp, rbx
00123696mov rax, [r12+64]
0012369bmov rax, [rax]
0012369emov rdi, [r12+80]
001236a3sub r15, 24
001236a7cmp r15, [r14]
001236aajb 0x1237b3
001236b0
001236b0loc_1236b0:
001236b0lea rsi, [r15+8]
001236b4mov [rsi-8], 2048
001236bcmov [rsi], rax
001236bfmov rax, [rdi]
001236c2mov [rsi+8], rax
001236c6mov rbx, rsp
001236c9mov rsp, [r14+64]
001236cdcall caml_modify
001236d2mov rsp, rbx
001236d5mov rax, [r12+72]
001236damov rax, [rax]
001236ddmov rdi, [r12+88]
001236e2sub r15, 24
001236e6cmp r15, [r14]
001236e9jb 0x1237a9
001236ef
001236efloc_1236ef:
001236eflea rsi, [r15+8]
001236f3mov [rsi-8], 2048
001236fbmov [rsi], rax
001236femov rax, [rdi]
00123701mov [rsi+8], rax
00123705mov rbx, rsp
00123708mov rsp, [r14+64]
0012370ccall caml_modify
00123711mov rsp, rbx
00123714mov rax, [r12+96]
00123719mov rax, [rax]
0012371cmov rdi, [r12+104]
00123721sub r15, 24
00123725cmp r15, [r14]
00123728jb 0x1237a2
0012372a
0012372aloc_12372a:
0012372alea rsi, [r15+8]
0012372emov [rsi-8], 2048
00123736mov [rsi], rax
00123739mov rax, [rdi]
0012373cmov [rsi+8], rax
00123740mov rbx, rsp
00123743mov rsp, [r14+64]
00123747call caml_modify
0012374cmov rsp, rbx
0012374fmov rax, [r12+96]
00123754mov [rax], 1
0012375blea rax, [rip+0x20690e]
00123762mov rax, [rax+80]
00123766mov rax, [rax]
00123769cmp rax, 3
0012376djle 0x123798
0012376fmov [rsp], r12
00123773lea rax, [rip+0x174e66]
0012377acall camlStdlib.prerr_endline_390
0012377fmov rax, [rsp]
00123783mov rbx, [rax+112]
00123787mov eax, 1
0012378cadd rsp, 8
00123790jmp 0x1234f0
00123795
00123795 0f 1f 00 ...
00123798
00123798loc_123798:
00123798mov eax, 1
0012379dadd rsp, 8
001237a1ret
001237a2
001237a2loc_1237a2:
001237a2call caml_call_gc
001237a7jmp 0x12372a
001237a9
001237a9loc_1237a9:
001237a9call caml_call_gc
001237aejmp 0x1236ef
001237b3
001237b3loc_1237b3:
001237b3call caml_call_gc
001237b8jmp 0x1236b0
001237bd
001237bdloc_1237bd:
001237bdcall caml_call_gc
001237c2jmp 0x123671
001237c7
001237c7loc_1237c7:
001237c7call caml_call_gc
001237ccjmp 0x123632
001237d1
001237d1loc_1237d1:
001237d1call caml_call_gc
001237d6jmp 0x1235f3
001237db
001237dbloc_1237db:
001237dbpush 34
001237ddcall caml_call_realloc_stack
001237e2pop r10
001237e4jmp 0x1235d2
001235c0
001235c0camlLatexscan.save_array_state_1023:
001235c0lea r10, [rsp-328]
001235c8cmp r10, [r14+40]
001235ccjb 0x1237db
001235d2
001235d2loc_1235d2:
001235d2sub rsp, 8
001235d6mov r12, rbx
001235d9mov rax, [r12+16]
001235demov rax, [rax]
001235e1mov rdi, [r12+24]
001235e6sub r15, 24
001235eacmp r15, [r14]
001235edjb 0x1237d1
001235f3
001235f3loc_1235f3:
001235f3lea rsi, [r15+8]
001235f7mov [rsi-8], 2048
001235ffmov [rsi], rax
00123602mov rax, [rdi]
00123605mov [rsi+8], rax
00123609mov rbx, rsp
0012360cmov rsp, [r14+64]
00123610call caml_modify
00123615mov rsp, rbx
00123618mov rax, [r12+32]
0012361dmov rax, [rax]
00123620mov rdi, [r12+40]
00123625sub r15, 24
00123629cmp r15, [r14]
0012362cjb 0x1237c7
00123632
00123632loc_123632:
00123632lea rsi, [r15+8]
00123636mov [rsi-8], 2048
0012363emov [rsi], rax
00123641mov rax, [rdi]
00123644mov [rsi+8], rax
00123648mov rbx, rsp
0012364bmov rsp, [r14+64]
0012364fcall caml_modify
00123654mov rsp, rbx
00123657mov rax, [r12+48]
0012365cmov rax, [rax]
0012365fmov rdi, [r12+56]
00123664sub r15, 24
00123668cmp r15, [r14]
0012366bjb 0x1237bd
00123671
00123671loc_123671:
00123671lea rsi, [r15+8]
00123675mov [rsi-8], 2048
0012367dmov [rsi], rax
00123680mov rax, [rdi]
00123683mov [rsi+8], rax
00123687mov rbx, rsp
0012368amov rsp, [r14+64]
0012368ecall caml_modify
00123693mov rsp, rbx
00123696mov rax, [r12+64]
0012369bmov rax, [rax]
0012369emov rdi, [r12+80]
001236a3sub r15, 24
001236a7cmp r15, [r14]
001236aajb 0x1237b3
001236b0
001236b0loc_1236b0:
001236b0lea rsi, [r15+8]
001236b4mov [rsi-8], 2048
001236bcmov [rsi], rax
001236bfmov rax, [rdi]
001236c2mov [rsi+8], rax
001236c6mov rbx, rsp
001236c9mov rsp, [r14+64]
001236cdcall caml_modify
001236d2mov rsp, rbx
001236d5mov rax, [r12+72]
001236damov rax, [rax]
001236ddmov rdi, [r12+88]
001236e2sub r15, 24
001236e6cmp r15, [r14]
001236e9jb 0x1237a9
001236ef
001236efloc_1236ef:
001236eflea rsi, [r15+8]
001236f3mov [rsi-8], 2048
001236fbmov [rsi], rax
001236femov rax, [rdi]
00123701mov [rsi+8], rax
00123705mov rbx, rsp
00123708mov rsp, [r14+64]
0012370ccall caml_modify
00123711mov rsp, rbx
00123714mov rax, [r12+96]
00123719mov rax, [rax]
0012371cmov rdi, [r12+104]
00123721sub r15, 24
00123725cmp r15, [r14]
00123728jb 0x1237a2
0012372a
0012372aloc_12372a:
0012372alea rsi, [r15+8]
0012372emov [rsi-8], 2048
00123736mov [rsi], rax
00123739mov rax, [rdi]
0012373cmov [rsi+8], rax
00123740mov rbx, rsp
00123743mov rsp, [r14+64]
00123747call caml_modify
0012374cmov rsp, rbx
0012374fmov rax, [r12+96]
00123754mov [rax], 1
0012375blea rax, [rip+0x20690e]
00123762mov rax, [rax+80]
00123766mov rax, [rax]
00123769cmp rax, 3
0012376djle 0x123798
0012376fmov [rsp], r12
00123773lea rax, [rip+0x174e66]
0012377acall camlStdlib.prerr_endline_390
0012377fmov rax, [rsp]
00123783mov rbx, [rax+112]
00123787mov eax, 1
0012378cadd rsp, 8
00123790jmp 0x1234f0
00123795
00123795 0f 1f 00 ...
00123798
00123798loc_123798:
00123798mov eax, 1
0012379dadd rsp, 8
001237a1ret
001237a2
001237a2loc_1237a2:
001237a2call caml_call_gc
001237a7jmp 0x12372a
001237a9
001237a9loc_1237a9:
001237a9call caml_call_gc
001237aejmp 0x1236ef
001237b3
001237b3loc_1237b3:
001237b3call caml_call_gc
001237b8jmp 0x1236b0
001237bd
001237bdloc_1237bd:
001237bdcall caml_call_gc
001237c2jmp 0x123671
001237c7
001237c7loc_1237c7:
001237c7call caml_call_gc
001237ccjmp 0x123632
001237d1
001237d1loc_1237d1:
001237d1call caml_call_gc
001237d6jmp 0x1235f3
001237db
001237dbloc_1237db:
001237dbpush 34
001237ddcall caml_call_realloc_stack
001237e2pop r10
001237e4jmp 0x1235d2
001235c0
001237e9
001237e9 // align 0x10
001237e9 // align 0x10
001237f0
001237f0camlLatexscan.restore_array_state_1024:
001237f0lea r10, [rsp-328]
001237f8cmp r10, [r14+40]
001237fcjb 0x1238ea
00123802
00123802loc_123802:
00123802sub rsp, 8
00123806mov [rsp], rbx
0012380amov rax, [rbx+56]
0012380ecall camlMyStack.pop_292
00123813mov r12, [rsp]
00123817mov rdi, [r12+48]
0012381cmov rsi, rax
0012381fmov rbx, rsp
00123822mov rsp, [r14+64]
00123826call caml_modify
0012382bmov rsp, rbx
0012382emov rax, [r12+40]
00123833call camlMyStack.pop_292
00123838mov rdi, [rsp]
0012383cmov rbx, [rdi+32]
00123840mov [rbx], rax
00123843mov rax, [rdi+24]
00123847call camlMyStack.pop_292
0012384cmov r12, [rsp]
00123850mov rdi, [r12+16]
00123855mov rsi, rax
00123858mov rbx, rsp
0012385bmov rsp, [r14+64]
0012385fcall caml_modify
00123864mov rsp, rbx
00123867mov rax, [r12+80]
0012386ccall camlMyStack.pop_292
00123871mov rdi, [rsp]
00123875mov rbx, [rdi+64]
00123879mov [rbx], rax
0012387cmov rax, [rdi+88]
00123880call camlMyStack.pop_292
00123885mov rdi, [rsp]
00123889mov rbx, [rdi+72]
0012388dmov [rbx], rax
00123890mov rax, [rdi+104]
00123894call camlMyStack.pop_292
00123899mov rdi, [rsp]
0012389dmov rbx, [rdi+96]
001238a1mov [rbx], rax
001238a4lea rax, [rip+0x2067c5]
001238abmov rax, [rax+80]
001238afmov rax, [rax]
001238b2cmp rax, 3
001238b6jle 0x1238e0
001238b8mov [rsp], rdi
001238bclea rax, [rip+0x174b85]
001238c3call camlStdlib.prerr_endline_390
001238c8mov rax, [rsp]
001238ccmov rbx, [rax+112]
001238d0mov eax, 1
001238d5add rsp, 8
001238d9jmp 0x1234f0
001238de
001238de 66 90 f.
001238e0
001238e0loc_1238e0:
001238e0mov eax, 1
001238e5add rsp, 8
001238e9ret
001238ea
001238ealoc_1238ea:
001238eapush 34
001238eccall caml_call_realloc_stack
001238f1pop r10
001238f3jmp 0x123802
001237f0
001237f0camlLatexscan.restore_array_state_1024:
001237f0lea r10, [rsp-328]
001237f8cmp r10, [r14+40]
001237fcjb 0x1238ea
00123802
00123802loc_123802:
00123802sub rsp, 8
00123806mov [rsp], rbx
0012380amov rax, [rbx+56]
0012380ecall camlMyStack.pop_292
00123813mov r12, [rsp]
00123817mov rdi, [r12+48]
0012381cmov rsi, rax
0012381fmov rbx, rsp
00123822mov rsp, [r14+64]
00123826call caml_modify
0012382bmov rsp, rbx
0012382emov rax, [r12+40]
00123833call camlMyStack.pop_292
00123838mov rdi, [rsp]
0012383cmov rbx, [rdi+32]
00123840mov [rbx], rax
00123843mov rax, [rdi+24]
00123847call camlMyStack.pop_292
0012384cmov r12, [rsp]
00123850mov rdi, [r12+16]
00123855mov rsi, rax
00123858mov rbx, rsp
0012385bmov rsp, [r14+64]
0012385fcall caml_modify
00123864mov rsp, rbx
00123867mov rax, [r12+80]
0012386ccall camlMyStack.pop_292
00123871mov rdi, [rsp]
00123875mov rbx, [rdi+64]
00123879mov [rbx], rax
0012387cmov rax, [rdi+88]
00123880call camlMyStack.pop_292
00123885mov rdi, [rsp]
00123889mov rbx, [rdi+72]
0012388dmov [rbx], rax
00123890mov rax, [rdi+104]
00123894call camlMyStack.pop_292
00123899mov rdi, [rsp]
0012389dmov rbx, [rdi+96]
001238a1mov [rbx], rax
001238a4lea rax, [rip+0x2067c5]
001238abmov rax, [rax+80]
001238afmov rax, [rax]
001238b2cmp rax, 3
001238b6jle 0x1238e0
001238b8mov [rsp], rdi
001238bclea rax, [rip+0x174b85]
001238c3call camlStdlib.prerr_endline_390
001238c8mov rax, [rsp]
001238ccmov rbx, [rax+112]
001238d0mov eax, 1
001238d5add rsp, 8
001238d9jmp 0x1234f0
001238de
001238de 66 90 f.
001238e0
001238e0loc_1238e0:
001238e0mov eax, 1
001238e5add rsp, 8
001238e9ret
001238ea
001238ealoc_1238ea:
001238eapush 34
001238eccall caml_call_realloc_stack
001238f1pop r10
001238f3jmp 0x123802
001237f0
001238f8
001238f8 // align 0x10
001238f8 // align 0x10
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
Loading..