File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
000f9a00
000f9a00Videoc..ocaml_lex_skip_blanks_till_eol_included_rec:
000f9a00lea r10, [rsp-344]
000f9a08cmp r10, [r14+40]
000f9a0cjb 0xf9aa3
000f9a12
000f9a12loc_f9a12:
000f9a12sub rsp, 24
000f9a16
000f9a16loc_f9a16:
000f9a16mov rsi, rax
000f9a19mov [rsp+16], rsi
000f9a1emov [rsp+8], rdi
000f9a23cmp r15, [r14]
000f9a26jbe 0xf9a9c
000f9a28
000f9a28loc_f9a28:
000f9a28lea rax, [rip+0x182179]
000f9a2fmov rdi, rsi
000f9a32call Stdlib.Lexing.engine
000f9a37cmp rax, 1
000f9a3bjle 0xf9a58
000f9a3dcmp rax, 7
000f9a41jl 0xf9a4c
000f9a43mov [rsp], rax
000f9a47jmp 0xf9a7c
000f9a49
000f9a49 0f 1f 00 ...
000f9a4c
000f9a4cloc_f9a4c:
000f9a4cmov eax, 1
000f9a51add rsp, 24
000f9a55ret
000f9a56
000f9a56 66 90 f.
000f9a58
000f9a58loc_f9a58:
000f9a58cmp rax, 1
000f9a5cjl 0xf9a78
000f9a5emov rdi, [rsp+8]
000f9a63add rdi, -24
000f9a67add rdi, 24
000f9a6bmov ebx, 39
000f9a70mov rax, [rsp+16]
000f9a75jmp 0xf9a16
000f9a77
000f9a77 90 .
000f9a78
000f9a78loc_f9a78:
000f9a78mov [rsp], rax
000f9a7c
000f9a7cloc_f9a7c:
000f9a7cmov rax, [rsp+16]
000f9a81mov rbx, [rax]
000f9a84mov rdi, [rbx]
000f9a87call rdi
000f9a89mov rax, [rsp+16]
000f9a8emov rbx, [rsp]
000f9a92mov rdi, [rsp+8]
000f9a97jmp 0xf9a16
000f9a9c
000f9a9cloc_f9a9c:
000f9a9ccall caml_call_gc
000f9aa1jmp 0xf9a28
000f9aa3
000f9aa3loc_f9aa3:
000f9aa3push 36
000f9aa5call caml_call_realloc_stack
000f9aaapop r10
000f9aacjmp 0xf9a12
000f9a00
000f9a00Videoc..ocaml_lex_skip_blanks_till_eol_included_rec:
000f9a00lea r10, [rsp-344]
000f9a08cmp r10, [r14+40]
000f9a0cjb 0xf9aa3
000f9a12
000f9a12loc_f9a12:
000f9a12sub rsp, 24
000f9a16
000f9a16loc_f9a16:
000f9a16mov rsi, rax
000f9a19mov [rsp+16], rsi
000f9a1emov [rsp+8], rdi
000f9a23cmp r15, [r14]
000f9a26jbe 0xf9a9c
000f9a28
000f9a28loc_f9a28:
000f9a28lea rax, [rip+0x182179]
000f9a2fmov rdi, rsi
000f9a32call Stdlib.Lexing.engine
000f9a37cmp rax, 1
000f9a3bjle 0xf9a58
000f9a3dcmp rax, 7
000f9a41jl 0xf9a4c
000f9a43mov [rsp], rax
000f9a47jmp 0xf9a7c
000f9a49
000f9a49 0f 1f 00 ...
000f9a4c
000f9a4cloc_f9a4c:
000f9a4cmov eax, 1
000f9a51add rsp, 24
000f9a55ret
000f9a56
000f9a56 66 90 f.
000f9a58
000f9a58loc_f9a58:
000f9a58cmp rax, 1
000f9a5cjl 0xf9a78
000f9a5emov rdi, [rsp+8]
000f9a63add rdi, -24
000f9a67add rdi, 24
000f9a6bmov ebx, 39
000f9a70mov rax, [rsp+16]
000f9a75jmp 0xf9a16
000f9a77
000f9a77 90 .
000f9a78
000f9a78loc_f9a78:
000f9a78mov [rsp], rax
000f9a7c
000f9a7cloc_f9a7c:
000f9a7cmov rax, [rsp+16]
000f9a81mov rbx, [rax]
000f9a84mov rdi, [rbx]
000f9a87call rdi
000f9a89mov rax, [rsp+16]
000f9a8emov rbx, [rsp]
000f9a92mov rdi, [rsp+8]
000f9a97jmp 0xf9a16
000f9a9c
000f9a9cloc_f9a9c:
000f9a9ccall caml_call_gc
000f9aa1jmp 0xf9a28
000f9aa3
000f9aa3loc_f9aa3:
000f9aa3push 36
000f9aa5call caml_call_realloc_stack
000f9aaapop r10
000f9aacjmp 0xf9a12
000f9a00
000f9ab1
000f9ab1 // align 0x10
000f9ab1 // align 0x10
000f9ac0
000f9ac0camlVideoc.comma_separated_values_734:
000f9ac0mov rdi, rbx
000f9ac3cmp r15, [r14]
000f9ac6jbe 0xf9ad6
000f9ac8
000f9ac8loc_f9ac8:
000f9ac8add rdi, 24
000f9accmov ebx, 45
000f9ad1jmp 0xf9ae0
000f9ad6
000f9ad6loc_f9ad6:
000f9ad6call caml_call_gc
000f9adbjmp 0xf9ac8
000f9ac0
000f9ac0camlVideoc.comma_separated_values_734:
000f9ac0mov rdi, rbx
000f9ac3cmp r15, [r14]
000f9ac6jbe 0xf9ad6
000f9ac8
000f9ac8loc_f9ac8:
000f9ac8add rdi, 24
000f9accmov ebx, 45
000f9ad1jmp 0xf9ae0
000f9ad6
000f9ad6loc_f9ad6:
000f9ad6call caml_call_gc
000f9adbjmp 0xf9ac8
000f9ac0
000f9add
000f9add // align 0x10
000f9add // align 0x10
000f9ae0
000f9ae0Videoc..ocaml_lex_comma_separated_values_rec:
000f9ae0lea r10, [rsp-344]
000f9ae8cmp r10, [r14+40]
000f9aecjb 0xf9c18
000f9af2
000f9af2loc_f9af2:
000f9af2sub rsp, 24
000f9af6
000f9af6loc_f9af6:
000f9af6mov rsi, rax
000f9af9mov [rsp+8], rsi
000f9afemov [rsp+16], rdi
000f9b03cmp r15, [r14]
000f9b06jbe 0xf9c0e
000f9b0c
000f9b0cloc_f9b0c:
000f9b0clea rax, [rip+0x182095]
000f9b13mov rdi, rsi
000f9b16call Stdlib.Lexing.engine
000f9b1bcmp rax, 1
000f9b1fje 0xf9b54
000f9b21cmp rax, 3
000f9b25je 0xf9b48
000f9b27mov [rsp], rax
000f9b2bmov rax, [rsp+8]
000f9b30mov rbx, [rax]
000f9b33mov rdi, [rbx]
000f9b36call rdi
000f9b38mov rax, [rsp+8]
000f9b3dmov rbx, [rsp]
000f9b41mov rdi, [rsp+16]
000f9b46jmp 0xf9af6
000f9b48
000f9b48loc_f9b48:
000f9b48mov eax, 1
000f9b4dadd rsp, 24
000f9b51ret
000f9b52
000f9b52 66 90 f.
000f9b54
000f9b54loc_f9b54:
000f9b54mov rax, [rsp+8]
000f9b59mov rbx, [rax+32]
000f9b5dmov rdi, [rax+40]
000f9b61sub rdi, rbx
000f9b64inc rdi
000f9b67mov rax, [rax+8]
000f9b6bcall Stdlib.Bytes.sub
000f9b70mov rbx, [rax-8]
000f9b74shr rbx, 10
000f9b78lea rbx, [8*rbx-1]
000f9b80movzx rdi, [rax+rbx]
000f9b85sub rbx, rdi
000f9b88lea rdi, [rbx+rbx-1]
000f9b8dmov ebx, 1
000f9b92call Stdlib.Bytes.sub
000f9b97mov rbx, rax
000f9b9amov [rsp], rbx
000f9b9elea rax, [rip+0x2304cb]
000f9ba5mov rax, [rax+80]
000f9ba9mov rax, [rax]
000f9baccmp rax, 5
000f9bb0jle 0xf9bc3
000f9bb2lea rax, [rip+0x181c5f]
000f9bb9call camlStdlib.$5e_139
000f9bbecall camlStdlib.prerr_endline_390
000f9bc3
000f9bc3loc_f9bc3:
000f9bc3mov rdi, [rsp+16]
000f9bc8add rdi, -24
000f9bccadd rdi, 24
000f9bd0mov ebx, 45
000f9bd5mov rax, [rsp+8]
000f9bdacall Videoc..ocaml_lex_comma_separated_values_rec
000f9bdfsub r15, 24
000f9be3cmp r15, [r14]
000f9be6jb 0xf9c07
000f9be8
000f9be8loc_f9be8:
000f9be8lea rbx, [r15+8]
000f9becmov [rbx-8], 2048
000f9bf4mov rdi, [rsp]
000f9bf8mov [rbx], rdi
000f9bfbmov [rbx+8], rax
000f9bffmov rax, rbx
000f9c02add rsp, 24
000f9c06ret
000f9c07
000f9c07loc_f9c07:
000f9c07call caml_call_gc
000f9c0cjmp 0xf9be8
000f9c0e
000f9c0eloc_f9c0e:
000f9c0ecall caml_call_gc
000f9c13jmp 0xf9b0c
000f9c18
000f9c18loc_f9c18:
000f9c18push 36
000f9c1acall caml_call_realloc_stack
000f9c1fpop r10
000f9c21jmp 0xf9af2
000f9ae0
000f9ae0Videoc..ocaml_lex_comma_separated_values_rec:
000f9ae0lea r10, [rsp-344]
000f9ae8cmp r10, [r14+40]
000f9aecjb 0xf9c18
000f9af2
000f9af2loc_f9af2:
000f9af2sub rsp, 24
000f9af6
000f9af6loc_f9af6:
000f9af6mov rsi, rax
000f9af9mov [rsp+8], rsi
000f9afemov [rsp+16], rdi
000f9b03cmp r15, [r14]
000f9b06jbe 0xf9c0e
000f9b0c
000f9b0cloc_f9b0c:
000f9b0clea rax, [rip+0x182095]
000f9b13mov rdi, rsi
000f9b16call Stdlib.Lexing.engine
000f9b1bcmp rax, 1
000f9b1fje 0xf9b54
000f9b21cmp rax, 3
000f9b25je 0xf9b48
000f9b27mov [rsp], rax
000f9b2bmov rax, [rsp+8]
000f9b30mov rbx, [rax]
000f9b33mov rdi, [rbx]
000f9b36call rdi
000f9b38mov rax, [rsp+8]
000f9b3dmov rbx, [rsp]
000f9b41mov rdi, [rsp+16]
000f9b46jmp 0xf9af6
000f9b48
000f9b48loc_f9b48:
000f9b48mov eax, 1
000f9b4dadd rsp, 24
000f9b51ret
000f9b52
000f9b52 66 90 f.
000f9b54
000f9b54loc_f9b54:
000f9b54mov rax, [rsp+8]
000f9b59mov rbx, [rax+32]
000f9b5dmov rdi, [rax+40]
000f9b61sub rdi, rbx
000f9b64inc rdi
000f9b67mov rax, [rax+8]
000f9b6bcall Stdlib.Bytes.sub
000f9b70mov rbx, [rax-8]
000f9b74shr rbx, 10
000f9b78lea rbx, [8*rbx-1]
000f9b80movzx rdi, [rax+rbx]
000f9b85sub rbx, rdi
000f9b88lea rdi, [rbx+rbx-1]
000f9b8dmov ebx, 1
000f9b92call Stdlib.Bytes.sub
000f9b97mov rbx, rax
000f9b9amov [rsp], rbx
000f9b9elea rax, [rip+0x2304cb]
000f9ba5mov rax, [rax+80]
000f9ba9mov rax, [rax]
000f9baccmp rax, 5
000f9bb0jle 0xf9bc3
000f9bb2lea rax, [rip+0x181c5f]
000f9bb9call camlStdlib.$5e_139
000f9bbecall camlStdlib.prerr_endline_390
000f9bc3
000f9bc3loc_f9bc3:
000f9bc3mov rdi, [rsp+16]
000f9bc8add rdi, -24
000f9bccadd rdi, 24
000f9bd0mov ebx, 45
000f9bd5mov rax, [rsp+8]
000f9bdacall Videoc..ocaml_lex_comma_separated_values_rec
000f9bdfsub r15, 24
000f9be3cmp r15, [r14]
000f9be6jb 0xf9c07
000f9be8
000f9be8loc_f9be8:
000f9be8lea rbx, [r15+8]
000f9becmov [rbx-8], 2048
000f9bf4mov rdi, [rsp]
000f9bf8mov [rbx], rdi
000f9bfbmov [rbx+8], rax
000f9bffmov rax, rbx
000f9c02add rsp, 24
000f9c06ret
000f9c07
000f9c07loc_f9c07:
000f9c07call caml_call_gc
000f9c0cjmp 0xf9be8
000f9c0e
000f9c0eloc_f9c0e:
000f9c0ecall caml_call_gc
000f9c13jmp 0xf9b0c
000f9c18
000f9c18loc_f9c18:
000f9c18push 36
000f9c1acall caml_call_realloc_stack
000f9c1fpop r10
000f9c21jmp 0xf9af2
000f9ae0
000f9c26
000f9c26 // align 0x10
000f9c26 // align 0x10
000f9c30
000f9c30camlVideoc.Make_1011:
000f9c30lea r10, [rsp-400]
000f9c38cmp r10, [r14+40]
000f9c3cjb 0xfa4f5
000f9c42
000f9c42loc_f9c42:
000f9c42sub rsp, 80
000f9c46mov [rsp+8], rax
000f9c4bmov [rsp+72], rbx
000f9c50mov [rsp], rdi
000f9c54mov edi, 1
000f9c59mov rbx, rsp
000f9c5cmov rsp, [r14+64]
000f9c60call caml_fresh_oo_id
000f9c65mov rsp, rbx
000f9c68sub r15, 24
000f9c6ccmp r15, [r14]
000f9c6fjb 0xfa4eb
000f9c75
000f9c75loc_f9c75:
000f9c75lea rbx, [r15+8]
000f9c79mov [rsp+16], rbx
000f9c7emov [rbx-8], 2296
000f9c86lea rdi, [rip+0x181ee3]
000f9c8dmov [rbx], rdi
000f9c90mov [rbx+8], rax
000f9c94mov edi, 1
000f9c99mov rbx, rsp
000f9c9cmov rsp, [r14+64]
000f9ca0call caml_fresh_oo_id
000f9ca5mov rsp, rbx
000f9ca8sub r15, 1408
000f9cafcmp r15, [r14]
000f9cb2jb 0xfa4e1
000f9cb8
000f9cb8loc_f9cb8:
000f9cb8lea rbx, [r15+8]
000f9cbcadd rbx, 1384
000f9cc3mov [rsp+24], rbx
000f9cc8mov [rbx-8], 2296
000f9cd0lea rdi, [rip+0x181e61]
000f9cd7mov [rbx], rdi
000f9cdamov [rbx+8], rax
000f9cdelea rax, [rbx-16]
000f9ce2mov [rsp+32], rax
000f9ce7mov [rax-8], 1024
000f9cefmov [rax], 1
000f9cf6add rax, -16
000f9cfamov [rsp+40], rax
000f9cffmov [rax-8], 1024
000f9d07mov [rax], 1
000f9d0elea r13, [rax-16]
000f9d12mov [r13-8], 1024
000f9d1amov [r13], 1
000f9d22lea rcx, [r13-16]
000f9d26mov [rcx-8], 1024
000f9d2elea rax, [rip+0x181df3]
000f9d35mov [rcx], rax
000f9d38lea r9, [rcx-16]
000f9d3cmov [r9-8], 1024
000f9d44mov [r9], 1
000f9d4blea r12, [r9-16]
000f9d4fmov [r12-8], 1024
000f9d58mov [r12], 1
000f9d60lea rax, [r12-40]
000f9d65mov [rax-8], 4343
000f9d6dlea rbx, [rip-11844]
000f9d74mov [rax], rbx
000f9d77mov rbx, 0x300000000000007
000f9d81mov [rax+8], rbx
000f9d85lea rbx, [rip+1924]
000f9d8cmov [rax+16], rbx
000f9d90mov [rax+24], rcx
000f9d94lea rdx, [rax-40]
000f9d98mov [rdx-8], 4343
000f9da0lea rdi, [rip-11655]
000f9da7mov [rdx], rdi
000f9daamov rbx, 0x200000000000007
000f9db4mov [rdx+8], rbx
000f9db8lea rbx, [rip+2513]
000f9dbfmov [rdx+16], rbx
000f9dc3mov [rdx+24], rax
000f9dc7lea rbx, [rdx-40]
000f9dcbmov [rsp+48], rbx
000f9dd0mov [rbx-8], 4343
000f9dd8mov [rbx], rdi
000f9ddbmov rsi, 0x200000000000007
000f9de5mov [rbx+8], rsi
000f9de9lea rsi, [rip+2496]
000f9df0mov [rbx+16], rsi
000f9df4mov [rbx+24], rax
000f9df8lea rax, [rip+0x181949]
000f9dffmov [rsp+56], rax
000f9e04lea rax, [rbx-16]
000f9e08mov [rax-8], 1024
000f9e10mov [rax], 199
000f9e17lea rbx, [rax-32]
000f9e1bmov [rsp+64], rbx
000f9e20mov [rbx-8], 3319
000f9e28lea rsi, [rip+2529]
000f9e2fmov [rbx], rsi
000f9e32mov rsi, 0x100000000000005
000f9e3cmov [rbx+8], rsi
000f9e40mov [rbx+16], rax
000f9e44add rbx, -344
000f9e4bmov [rbx-8], 43255
000f9e53lea rax, [rip-3450]
000f9e5amov [rbx], rax
000f9e5dmov rax, 0x100000000000045
000f9e67mov [rbx+8], rax
000f9e6bmov [rbx+16], 3321
000f9e73mov [rbx+24], rdi
000f9e77mov rax, 0x20000000000003f
000f9e81mov [rbx+32], rax
000f9e85lea rax, [rip-3468]
000f9e8cmov [rbx+40], rax
000f9e90mov [rbx+48], 7417
000f9e98lea rax, [rip-1695]
000f9e9fmov [rbx+56], rax
000f9ea3mov rax, 0x100000000000037
000f9eadmov [rbx+64], rax
000f9eb1mov [rbx+72], 10489
000f9eb9mov [rbx+80], rdi
000f9ebdmov rax, 0x200000000000031
000f9ec7mov [rbx+88], rax
000f9ecblea rax, [rip-1714]
000f9ed2mov [rbx+96], rax
000f9ed6mov [rbx+104], 14585
000f9edelea rax, [rip-1525]
000f9ee5mov [rbx+112], rax
000f9ee9mov rax, 0x100000000000029
000f9ef3mov [rbx+120], rax
000f9ef7mov [rbx+128], 17657
000f9f02mov [rbx+136], rdi
000f9f09mov rax, 0x200000000000023
000f9f13mov [rbx+144], rax
000f9f1alea rax, [rip-1553]
000f9f21mov [rbx+152], rax
000f9f28mov [rbx+160], 21753
000f9f33lea rax, [rip-1370]
000f9f3amov [rbx+168], rax
000f9f41mov rax, 0x10000000000001b
000f9f4bmov [rbx+176], rax
000f9f52mov [rbx+184], 24825
000f9f5dmov [rbx+192], rdi
000f9f64mov rax, 0x200000000000015
000f9f6emov [rbx+200], rax
000f9f75lea rax, [rip-1404]
000f9f7cmov [rbx+208], rax
000f9f83mov [rbx+216], 28921
000f9f8elea rax, [rip-1237]
000f9f95mov [rbx+224], rax
000f9f9cmov rax, 0x10000000000000d
000f9fa6mov [rbx+232], rax
000f9fadmov [rbx+240], 31993
000f9fb8mov [rbx+248], rdi
000f9fbfmov rax, 0x200000000000007
000f9fc9mov [rbx+256], rax
000f9fd0lea rax, [rip-1271]
000f9fd7mov [rbx+264], rax
000f9fdemov [rbx+272], r13
000f9fe5mov [rbx+280], rcx
000f9fecmov [rbx+288], r9
000f9ff3mov [rbx+296], r12
000f9ffamov [rbx+304], rdx
000fa001lea rax, [rip+0x181ba0]
000fa008mov [rbx+312], rax
000fa00fmov r10, [rsp]
000fa013mov [rbx+320], r10
000fa01amov r8, [rsp+8]
000fa01fmov [rbx+328], r8
000fa026lea rsi, [rbx-32]
000fa02amov [rsi-8], 3319
000fa032lea rax, [rip+2455]
000fa039mov [rsi], rax
000fa03cmov rax, 0x100000000000005
000fa046mov [rsi+8], rax
000fa04amov [rsi+16], r8
000fa04elea r11, [rip+0x1816d3]
000fa055lea rax, [rsi-608]
000fa05cmov [rax-8], 0x12cf7
000fa064lea rbp, [rip+2597]
000fa06bmov [rax], rbp
000fa06emov rbp, 0x10000000000006f
000fa078mov [rax+8], rbp
000fa07cmov [rax+16], 3321
000fa084lea rbp, [rip+2821]
000fa08bmov [rax+24], rbp
000fa08fmov rbp, 0x100000000000069
000fa099mov [rax+32], rbp
000fa09dmov [rax+40], 6393
000fa0a5lea rbp, [rip+3236]
000fa0acmov [rax+48], rbp
000fa0b0mov rbp, 0x100000000000063
000fa0bamov [rax+56], rbp
000fa0bemov [rax+64], 9465
000fa0c6lea rbp, [rip+3395]
000fa0cdmov [rax+72], rbp
000fa0d1mov rbp, 0x10000000000005d
000fa0dbmov [rax+80], rbp
000fa0dfmov [rax+88], 12537
000fa0e7lea rbp, [rip+3458]
000fa0eemov [rax+96], rbp
000fa0f2mov rbp, 0x100000000000057
000fa0fcmov [rax+104], rbp
000fa100mov [rax+112], 15609
000fa108mov [rax+120], rdi
000fa10cmov rbp, 0x200000000000051
000fa116mov [rax+128], rbp
000fa11dlea rbp, [rip+3452]
000fa124mov [rax+136], rbp
000fa12bmov [rax+144], 19705
000fa136mov [rax+152], rdi
000fa13dmov rdi, 0x200000000000049
000fa147mov [rax+160], rdi
000fa14elea rdi, [rip+3691]
000fa155mov [rax+168], rdi
000fa15cmov [rax+176], 23801
000fa167lea rdi, [rip+4594]
000fa16emov [rax+184], rdi
000fa175mov rdi, 0x100000000000041
000fa17fmov [rax+192], rdi
000fa186mov [rax+200], 26873
000fa191lea rdi, [rip+5752]
000fa198mov [rax+208], rdi
000fa19fmov rdi, 0x10000000000003b
000fa1a9mov [rax+216], rdi
000fa1b0mov [rax+224], 29945
000fa1bblea rdi, [rip+6110]
000fa1c2mov [rax+232], rdi
000fa1c9mov rdi, 0x100000000000035
000fa1d3mov [rax+240], rdi
000fa1damov [rax+248], 33017
000fa1e5lea rdi, [rip+6100]
000fa1ecmov [rax+256], rdi
000fa1f3mov rdi, 0x10000000000002f
000fa1fdmov [rax+264], rdi
000fa204mov [rax+272], 36089
000fa20flea rdi, [rip+6090]
000fa216mov [rax+280], rdi
000fa21dmov rdi, 0x100000000000029
000fa227mov [rax+288], rdi
000fa22emov [rax+296], 39161
000fa239lea rdi, [rip+6080]
000fa240mov [rax+304], rdi
000fa247mov rdi, 0x100000000000023
000fa251mov [rax+312], rdi
000fa258mov [rax+320], 42233
000fa263lea rdi, [rip+6070]
000fa26amov [rax+328], rdi
000fa271mov rdi, 0x10000000000001d
000fa27bmov [rax+336], rdi
000fa282mov [rax+344], 45305
000fa28dlea rdi, [rip+6140]
000fa294mov [rax+352], rdi
000fa29bmov rdi, 0x100000000000017
000fa2a5mov [rax+360], rdi
000fa2acmov [rax+368], 48377
000fa2b7lea rdi, [rip+6210]
000fa2bemov [rax+376], rdi
000fa2c5mov rdi, 0x100000000000011
000fa2cfmov [rax+384], rdi
000fa2d6mov [rax+392], 51449
000fa2e1lea rdi, [rip+6680]
000fa2e8mov [rax+400], rdi
000fa2efmov rdi, 0x10000000000000b
000fa2f9mov [rax+408], rdi
000fa300mov [rax+416], 54521
000fa30blea rdi, [rip+6910]
000fa312mov [rax+424], rdi
000fa319mov rdi, 0x100000000000005
000fa323mov [rax+432], rdi
000fa32amov rdi, [rsp+16]
000fa32fmov [rax+440], rdi
000fa336mov rdi, [rsp+24]
000fa33bmov [rax+448], rdi
000fa342mov rdi, [rsp+32]
000fa347mov [rax+456], rdi
000fa34emov rdi, [rsp+40]
000fa353mov [rax+464], rdi
000fa35amov [rax+472], r13
000fa361mov [rax+480], rcx
000fa368mov [rax+488], r9
000fa36fmov [rax+496], r12
000fa376mov [rax+504], rdx
000fa37dmov rdi, [rsp+48]
000fa382mov [rax+512], rdi
000fa389mov rdi, [rsp+56]
000fa38emov [rax+520], rdi
000fa395mov rdi, [rsp+64]
000fa39amov [rax+528], rdi
000fa3a1mov [rax+536], rbx
000fa3a8mov rdi, rbx
000fa3abadd rdi, 168
000fa3b2mov [rax+544], rdi
000fa3b9add rbx, 224
000fa3c0mov [rax+552], rbx
000fa3c7mov [rax+560], rsi
000fa3cemov [rax+568], r11
000fa3d5mov [rax+576], r10
000fa3dcmov rbx, [rsp+72]
000fa3e1mov [rax+584], rbx
000fa3e8mov [rax+592], r8
000fa3eflea rbx, [rax-136]
000fa3f6mov [rbx-8], 16631
000fa3felea rdi, [rip+6763]
000fa405mov [rbx], rdi
000fa408mov rdi, 0x100000000000005
000fa412mov [rbx+8], rdi
000fa416mov rdi, rax
000fa419add rdi, 120
000fa41dmov [rbx+16], rdi
000fa421mov rdi, rax
000fa424add rdi, 152
000fa42bmov [rbx+24], rdi
000fa42fmov rdi, rax
000fa432add rdi, 184
000fa439mov [rbx+32], rdi
000fa43dmov rdi, rax
000fa440add rdi, 208
000fa447mov [rbx+40], rdi
000fa44bmov rdi, rax
000fa44eadd rdi, 232
000fa455mov [rbx+48], rdi
000fa459mov rdi, rax
000fa45cadd rdi, 256
000fa463mov [rbx+56], rdi
000fa467mov rdi, rax
000fa46aadd rdi, 280
000fa471mov [rbx+64], rdi
000fa475mov rdi, rax
000fa478add rdi, 304
000fa47fmov [rbx+72], rdi
000fa483mov rdi, rax
000fa486add rdi, 328
000fa48dmov [rbx+80], rdi
000fa491mov rdi, rax
000fa494add rdi, 352
000fa49bmov [rbx+88], rdi
000fa49fmov rdi, rax
000fa4a2add rdi, 376
000fa4a9mov [rbx+96], rdi
000fa4admov rdi, rax
000fa4b0add rdi, 400
000fa4b7mov [rbx+104], rdi
000fa4bbadd rax, 424
000fa4c1mov [rbx+112], rax
000fa4c5mov [rbx+120], r10
000fa4c9lea rax, [rip+0x182010]
000fa4d0call camlLatexmacros.register_init_929
000fa4d5lea rax, [rip+0x181ff4]
000fa4dcadd rsp, 80
000fa4e0ret
000fa4e1
000fa4e1loc_fa4e1:
000fa4e1call caml_call_gc
000fa4e6jmp 0xf9cb8
000fa4eb
000fa4ebloc_fa4eb:
000fa4ebcall caml_call_gc
000fa4f0jmp 0xf9c75
000fa4f5
000fa4f5loc_fa4f5:
000fa4f5push 43
000fa4f7call caml_call_realloc_stack
000fa4fcpop r10
000fa4fejmp 0xf9c42
000f9c30
000f9c30camlVideoc.Make_1011:
000f9c30lea r10, [rsp-400]
000f9c38cmp r10, [r14+40]
000f9c3cjb 0xfa4f5
000f9c42
000f9c42loc_f9c42:
000f9c42sub rsp, 80
000f9c46mov [rsp+8], rax
000f9c4bmov [rsp+72], rbx
000f9c50mov [rsp], rdi
000f9c54mov edi, 1
000f9c59mov rbx, rsp
000f9c5cmov rsp, [r14+64]
000f9c60call caml_fresh_oo_id
000f9c65mov rsp, rbx
000f9c68sub r15, 24
000f9c6ccmp r15, [r14]
000f9c6fjb 0xfa4eb
000f9c75
000f9c75loc_f9c75:
000f9c75lea rbx, [r15+8]
000f9c79mov [rsp+16], rbx
000f9c7emov [rbx-8], 2296
000f9c86lea rdi, [rip+0x181ee3]
000f9c8dmov [rbx], rdi
000f9c90mov [rbx+8], rax
000f9c94mov edi, 1
000f9c99mov rbx, rsp
000f9c9cmov rsp, [r14+64]
000f9ca0call caml_fresh_oo_id
000f9ca5mov rsp, rbx
000f9ca8sub r15, 1408
000f9cafcmp r15, [r14]
000f9cb2jb 0xfa4e1
000f9cb8
000f9cb8loc_f9cb8:
000f9cb8lea rbx, [r15+8]
000f9cbcadd rbx, 1384
000f9cc3mov [rsp+24], rbx
000f9cc8mov [rbx-8], 2296
000f9cd0lea rdi, [rip+0x181e61]
000f9cd7mov [rbx], rdi
000f9cdamov [rbx+8], rax
000f9cdelea rax, [rbx-16]
000f9ce2mov [rsp+32], rax
000f9ce7mov [rax-8], 1024
000f9cefmov [rax], 1
000f9cf6add rax, -16
000f9cfamov [rsp+40], rax
000f9cffmov [rax-8], 1024
000f9d07mov [rax], 1
000f9d0elea r13, [rax-16]
000f9d12mov [r13-8], 1024
000f9d1amov [r13], 1
000f9d22lea rcx, [r13-16]
000f9d26mov [rcx-8], 1024
000f9d2elea rax, [rip+0x181df3]
000f9d35mov [rcx], rax
000f9d38lea r9, [rcx-16]
000f9d3cmov [r9-8], 1024
000f9d44mov [r9], 1
000f9d4blea r12, [r9-16]
000f9d4fmov [r12-8], 1024
000f9d58mov [r12], 1
000f9d60lea rax, [r12-40]
000f9d65mov [rax-8], 4343
000f9d6dlea rbx, [rip-11844]
000f9d74mov [rax], rbx
000f9d77mov rbx, 0x300000000000007
000f9d81mov [rax+8], rbx
000f9d85lea rbx, [rip+1924]
000f9d8cmov [rax+16], rbx
000f9d90mov [rax+24], rcx
000f9d94lea rdx, [rax-40]
000f9d98mov [rdx-8], 4343
000f9da0lea rdi, [rip-11655]
000f9da7mov [rdx], rdi
000f9daamov rbx, 0x200000000000007
000f9db4mov [rdx+8], rbx
000f9db8lea rbx, [rip+2513]
000f9dbfmov [rdx+16], rbx
000f9dc3mov [rdx+24], rax
000f9dc7lea rbx, [rdx-40]
000f9dcbmov [rsp+48], rbx
000f9dd0mov [rbx-8], 4343
000f9dd8mov [rbx], rdi
000f9ddbmov rsi, 0x200000000000007
000f9de5mov [rbx+8], rsi
000f9de9lea rsi, [rip+2496]
000f9df0mov [rbx+16], rsi
000f9df4mov [rbx+24], rax
000f9df8lea rax, [rip+0x181949]
000f9dffmov [rsp+56], rax
000f9e04lea rax, [rbx-16]
000f9e08mov [rax-8], 1024
000f9e10mov [rax], 199
000f9e17lea rbx, [rax-32]
000f9e1bmov [rsp+64], rbx
000f9e20mov [rbx-8], 3319
000f9e28lea rsi, [rip+2529]
000f9e2fmov [rbx], rsi
000f9e32mov rsi, 0x100000000000005
000f9e3cmov [rbx+8], rsi
000f9e40mov [rbx+16], rax
000f9e44add rbx, -344
000f9e4bmov [rbx-8], 43255
000f9e53lea rax, [rip-3450]
000f9e5amov [rbx], rax
000f9e5dmov rax, 0x100000000000045
000f9e67mov [rbx+8], rax
000f9e6bmov [rbx+16], 3321
000f9e73mov [rbx+24], rdi
000f9e77mov rax, 0x20000000000003f
000f9e81mov [rbx+32], rax
000f9e85lea rax, [rip-3468]
000f9e8cmov [rbx+40], rax
000f9e90mov [rbx+48], 7417
000f9e98lea rax, [rip-1695]
000f9e9fmov [rbx+56], rax
000f9ea3mov rax, 0x100000000000037
000f9eadmov [rbx+64], rax
000f9eb1mov [rbx+72], 10489
000f9eb9mov [rbx+80], rdi
000f9ebdmov rax, 0x200000000000031
000f9ec7mov [rbx+88], rax
000f9ecblea rax, [rip-1714]
000f9ed2mov [rbx+96], rax
000f9ed6mov [rbx+104], 14585
000f9edelea rax, [rip-1525]
000f9ee5mov [rbx+112], rax
000f9ee9mov rax, 0x100000000000029
000f9ef3mov [rbx+120], rax
000f9ef7mov [rbx+128], 17657
000f9f02mov [rbx+136], rdi
000f9f09mov rax, 0x200000000000023
000f9f13mov [rbx+144], rax
000f9f1alea rax, [rip-1553]
000f9f21mov [rbx+152], rax
000f9f28mov [rbx+160], 21753
000f9f33lea rax, [rip-1370]
000f9f3amov [rbx+168], rax
000f9f41mov rax, 0x10000000000001b
000f9f4bmov [rbx+176], rax
000f9f52mov [rbx+184], 24825
000f9f5dmov [rbx+192], rdi
000f9f64mov rax, 0x200000000000015
000f9f6emov [rbx+200], rax
000f9f75lea rax, [rip-1404]
000f9f7cmov [rbx+208], rax
000f9f83mov [rbx+216], 28921
000f9f8elea rax, [rip-1237]
000f9f95mov [rbx+224], rax
000f9f9cmov rax, 0x10000000000000d
000f9fa6mov [rbx+232], rax
000f9fadmov [rbx+240], 31993
000f9fb8mov [rbx+248], rdi
000f9fbfmov rax, 0x200000000000007
000f9fc9mov [rbx+256], rax
000f9fd0lea rax, [rip-1271]
000f9fd7mov [rbx+264], rax
000f9fdemov [rbx+272], r13
000f9fe5mov [rbx+280], rcx
000f9fecmov [rbx+288], r9
000f9ff3mov [rbx+296], r12
000f9ffamov [rbx+304], rdx
000fa001lea rax, [rip+0x181ba0]
000fa008mov [rbx+312], rax
000fa00fmov r10, [rsp]
000fa013mov [rbx+320], r10
000fa01amov r8, [rsp+8]
000fa01fmov [rbx+328], r8
000fa026lea rsi, [rbx-32]
000fa02amov [rsi-8], 3319
000fa032lea rax, [rip+2455]
000fa039mov [rsi], rax
000fa03cmov rax, 0x100000000000005
000fa046mov [rsi+8], rax
000fa04amov [rsi+16], r8
000fa04elea r11, [rip+0x1816d3]
000fa055lea rax, [rsi-608]
000fa05cmov [rax-8], 0x12cf7
000fa064lea rbp, [rip+2597]
000fa06bmov [rax], rbp
000fa06emov rbp, 0x10000000000006f
000fa078mov [rax+8], rbp
000fa07cmov [rax+16], 3321
000fa084lea rbp, [rip+2821]
000fa08bmov [rax+24], rbp
000fa08fmov rbp, 0x100000000000069
000fa099mov [rax+32], rbp
000fa09dmov [rax+40], 6393
000fa0a5lea rbp, [rip+3236]
000fa0acmov [rax+48], rbp
000fa0b0mov rbp, 0x100000000000063
000fa0bamov [rax+56], rbp
000fa0bemov [rax+64], 9465
000fa0c6lea rbp, [rip+3395]
000fa0cdmov [rax+72], rbp
000fa0d1mov rbp, 0x10000000000005d
000fa0dbmov [rax+80], rbp
000fa0dfmov [rax+88], 12537
000fa0e7lea rbp, [rip+3458]
000fa0eemov [rax+96], rbp
000fa0f2mov rbp, 0x100000000000057
000fa0fcmov [rax+104], rbp
000fa100mov [rax+112], 15609
000fa108mov [rax+120], rdi
000fa10cmov rbp, 0x200000000000051
000fa116mov [rax+128], rbp
000fa11dlea rbp, [rip+3452]
000fa124mov [rax+136], rbp
000fa12bmov [rax+144], 19705
000fa136mov [rax+152], rdi
000fa13dmov rdi, 0x200000000000049
000fa147mov [rax+160], rdi
000fa14elea rdi, [rip+3691]
000fa155mov [rax+168], rdi
000fa15cmov [rax+176], 23801
000fa167lea rdi, [rip+4594]
000fa16emov [rax+184], rdi
000fa175mov rdi, 0x100000000000041
000fa17fmov [rax+192], rdi
000fa186mov [rax+200], 26873
000fa191lea rdi, [rip+5752]
000fa198mov [rax+208], rdi
000fa19fmov rdi, 0x10000000000003b
000fa1a9mov [rax+216], rdi
000fa1b0mov [rax+224], 29945
000fa1bblea rdi, [rip+6110]
000fa1c2mov [rax+232], rdi
000fa1c9mov rdi, 0x100000000000035
000fa1d3mov [rax+240], rdi
000fa1damov [rax+248], 33017
000fa1e5lea rdi, [rip+6100]
000fa1ecmov [rax+256], rdi
000fa1f3mov rdi, 0x10000000000002f
000fa1fdmov [rax+264], rdi
000fa204mov [rax+272], 36089
000fa20flea rdi, [rip+6090]
000fa216mov [rax+280], rdi
000fa21dmov rdi, 0x100000000000029
000fa227mov [rax+288], rdi
000fa22emov [rax+296], 39161
000fa239lea rdi, [rip+6080]
000fa240mov [rax+304], rdi
000fa247mov rdi, 0x100000000000023
000fa251mov [rax+312], rdi
000fa258mov [rax+320], 42233
000fa263lea rdi, [rip+6070]
000fa26amov [rax+328], rdi
000fa271mov rdi, 0x10000000000001d
000fa27bmov [rax+336], rdi
000fa282mov [rax+344], 45305
000fa28dlea rdi, [rip+6140]
000fa294mov [rax+352], rdi
000fa29bmov rdi, 0x100000000000017
000fa2a5mov [rax+360], rdi
000fa2acmov [rax+368], 48377
000fa2b7lea rdi, [rip+6210]
000fa2bemov [rax+376], rdi
000fa2c5mov rdi, 0x100000000000011
000fa2cfmov [rax+384], rdi
000fa2d6mov [rax+392], 51449
000fa2e1lea rdi, [rip+6680]
000fa2e8mov [rax+400], rdi
000fa2efmov rdi, 0x10000000000000b
000fa2f9mov [rax+408], rdi
000fa300mov [rax+416], 54521
000fa30blea rdi, [rip+6910]
000fa312mov [rax+424], rdi
000fa319mov rdi, 0x100000000000005
000fa323mov [rax+432], rdi
000fa32amov rdi, [rsp+16]
000fa32fmov [rax+440], rdi
000fa336mov rdi, [rsp+24]
000fa33bmov [rax+448], rdi
000fa342mov rdi, [rsp+32]
000fa347mov [rax+456], rdi
000fa34emov rdi, [rsp+40]
000fa353mov [rax+464], rdi
000fa35amov [rax+472], r13
000fa361mov [rax+480], rcx
000fa368mov [rax+488], r9
000fa36fmov [rax+496], r12
000fa376mov [rax+504], rdx
000fa37dmov rdi, [rsp+48]
000fa382mov [rax+512], rdi
000fa389mov rdi, [rsp+56]
000fa38emov [rax+520], rdi
000fa395mov rdi, [rsp+64]
000fa39amov [rax+528], rdi
000fa3a1mov [rax+536], rbx
000fa3a8mov rdi, rbx
000fa3abadd rdi, 168
000fa3b2mov [rax+544], rdi
000fa3b9add rbx, 224
000fa3c0mov [rax+552], rbx
000fa3c7mov [rax+560], rsi
000fa3cemov [rax+568], r11
000fa3d5mov [rax+576], r10
000fa3dcmov rbx, [rsp+72]
000fa3e1mov [rax+584], rbx
000fa3e8mov [rax+592], r8
000fa3eflea rbx, [rax-136]
000fa3f6mov [rbx-8], 16631
000fa3felea rdi, [rip+6763]
000fa405mov [rbx], rdi
000fa408mov rdi, 0x100000000000005
000fa412mov [rbx+8], rdi
000fa416mov rdi, rax
000fa419add rdi, 120
000fa41dmov [rbx+16], rdi
000fa421mov rdi, rax
000fa424add rdi, 152
000fa42bmov [rbx+24], rdi
000fa42fmov rdi, rax
000fa432add rdi, 184
000fa439mov [rbx+32], rdi
000fa43dmov rdi, rax
000fa440add rdi, 208
000fa447mov [rbx+40], rdi
000fa44bmov rdi, rax
000fa44eadd rdi, 232
000fa455mov [rbx+48], rdi
000fa459mov rdi, rax
000fa45cadd rdi, 256
000fa463mov [rbx+56], rdi
000fa467mov rdi, rax
000fa46aadd rdi, 280
000fa471mov [rbx+64], rdi
000fa475mov rdi, rax
000fa478add rdi, 304
000fa47fmov [rbx+72], rdi
000fa483mov rdi, rax
000fa486add rdi, 328
000fa48dmov [rbx+80], rdi
000fa491mov rdi, rax
000fa494add rdi, 352
000fa49bmov [rbx+88], rdi
000fa49fmov rdi, rax
000fa4a2add rdi, 376
000fa4a9mov [rbx+96], rdi
000fa4admov rdi, rax
000fa4b0add rdi, 400
000fa4b7mov [rbx+104], rdi
000fa4bbadd rax, 424
000fa4c1mov [rbx+112], rax
000fa4c5mov [rbx+120], r10
000fa4c9lea rax, [rip+0x182010]
000fa4d0call camlLatexmacros.register_init_929
000fa4d5lea rax, [rip+0x181ff4]
000fa4dcadd rsp, 80
000fa4e0ret
000fa4e1
000fa4e1loc_fa4e1:
000fa4e1call caml_call_gc
000fa4e6jmp 0xf9cb8
000fa4eb
000fa4ebloc_fa4eb:
000fa4ebcall caml_call_gc
000fa4f0jmp 0xf9c75
000fa4f5
000fa4f5loc_fa4f5:
000fa4f5push 43
000fa4f7call caml_call_realloc_stack
000fa4fcpop r10
000fa4fejmp 0xf9c42
000f9c30
000fa503
000fa503 // align 0x10
000fa503 // align 0x10
000fa510
000fa510camlVideoc.runHook_628:
000fa510lea r10, [rsp-344]
000fa518cmp r10, [r14+40]
000fa51cjb 0xfa5df
000fa522
000fa522loc_fa522:
000fa522sub rsp, 24
000fa526mov [rsp], rax
000fa52amov rax, rdi
000fa52dsub r15, 72
000fa531cmp r15, [r14]
000fa534jb 0xfa5d5
000fa53a
000fa53aloc_fa53a:
000fa53alea rdi, [r15+8]
000fa53eadd rdi, 40
000fa542mov [rdi-8], 3319
000fa54alea rdx, [rip+159]
000fa551mov [rdi], rdx
000fa554mov rdx, 0x100000000000005
000fa55emov [rdi+8], rdx
000fa562mov [rdi+16], rbx
000fa566lea rbx, [rdi-40]
000fa56amov [rsp+16], rbx
000fa56fmov [rbx-8], 4343
000fa577lea rdx, [rip-13662]
000fa57emov [rbx], rdx
000fa581mov rdx, 0x200000000000007
000fa58bmov [rbx+8], rdx
000fa58flea rdx, [rip+234]
000fa596mov [rbx+16], rdx
000fa59amov [rbx+24], rdi
000fa59emov rbx, [rsi+24]
000fa5a2mov rbx, [rbx]
000fa5a5mov [rsp+8], rbx
000fa5aalea rbx, [rip+0x182347]
000fa5b1call camlStdlib.$5e_139
000fa5b6mov rbx, rax
000fa5b9mov rax, [rsp]
000fa5bdcall camlStdlib.$5e_139
000fa5c2mov rbx, [rsp+8]
000fa5c7mov rdi, [rsp+16]
000fa5ccadd rsp, 24
000fa5d0jmp 0xfa680
000fa5d5
000fa5d5loc_fa5d5:
000fa5d5call caml_call_gc
000fa5dajmp 0xfa53a
000fa5df
000fa5dfloc_fa5df:
000fa5dfpush 36
000fa5e1call caml_call_realloc_stack
000fa5e6pop r10
000fa5e8jmp 0xfa522
000fa510
000fa510camlVideoc.runHook_628:
000fa510lea r10, [rsp-344]
000fa518cmp r10, [r14+40]
000fa51cjb 0xfa5df
000fa522
000fa522loc_fa522:
000fa522sub rsp, 24
000fa526mov [rsp], rax
000fa52amov rax, rdi
000fa52dsub r15, 72
000fa531cmp r15, [r14]
000fa534jb 0xfa5d5
000fa53a
000fa53aloc_fa53a:
000fa53alea rdi, [r15+8]
000fa53eadd rdi, 40
000fa542mov [rdi-8], 3319
000fa54alea rdx, [rip+159]
000fa551mov [rdi], rdx
000fa554mov rdx, 0x100000000000005
000fa55emov [rdi+8], rdx
000fa562mov [rdi+16], rbx
000fa566lea rbx, [rdi-40]
000fa56amov [rsp+16], rbx
000fa56fmov [rbx-8], 4343
000fa577lea rdx, [rip-13662]
000fa57emov [rbx], rdx
000fa581mov rdx, 0x200000000000007
000fa58bmov [rbx+8], rdx
000fa58flea rdx, [rip+234]
000fa596mov [rbx+16], rdx
000fa59amov [rbx+24], rdi
000fa59emov rbx, [rsi+24]
000fa5a2mov rbx, [rbx]
000fa5a5mov [rsp+8], rbx
000fa5aalea rbx, [rip+0x182347]
000fa5b1call camlStdlib.$5e_139
000fa5b6mov rbx, rax
000fa5b9mov rax, [rsp]
000fa5bdcall camlStdlib.$5e_139
000fa5c2mov rbx, [rsp+8]
000fa5c7mov rdi, [rsp+16]
000fa5ccadd rsp, 24
000fa5d0jmp 0xfa680
000fa5d5
000fa5d5loc_fa5d5:
000fa5d5call caml_call_gc
000fa5dajmp 0xfa53a
000fa5df
000fa5dfloc_fa5df:
000fa5dfpush 36
000fa5e1call caml_call_realloc_stack
000fa5e6pop r10
000fa5e8jmp 0xfa522
000fa510
000fa5ed
000fa5ed // align 0x10
000fa5ed // align 0x10
000fa5f0
000fa5f0camlVideoc.run_633:
000fa5f0lea r10, [rsp-336]
000fa5f8cmp r10, [r14+40]
000fa5fcjb 0xfa66e
000fa5fe
000fa5feloc_fa5fe:
000fa5fesub rsp, 16
000fa602mov rdi, rax
000fa605mov [rsp+8], rdi
000fa60amov [rsp], rbx
000fa60elea rax, [rip+0x22fa5b]
000fa615mov rax, [rax+80]
000fa619mov rax, [rax]
000fa61ccmp rax, 5
000fa620jle 0xfa636
000fa622lea rax, [rip+0x1823bf]
000fa629mov rbx, rdi
000fa62ccall camlStdlib.$5e_139
000fa631call camlStdlib.prerr_endline_390
000fa636
000fa636loc_fa636:
000fa636mov rax, [rsp+8]
000fa63bcall camlLatexmacros.exists_938
000fa640cmp rax, 1
000fa644je 0xfa664
000fa646mov rax, [rsp]
000fa64amov rax, [rax+16]
000fa64emov rbx, [rsp+8]
000fa653call camlLexstate.scan_this_1185
000fa658mov eax, 1
000fa65dadd rsp, 16
000fa661ret
000fa662
000fa662 66 90 f.
000fa664
000fa664loc_fa664:
000fa664mov eax, 1
000fa669add rsp, 16
000fa66dret
000fa66e
000fa66eloc_fa66e:
000fa66epush 35
000fa670call caml_call_realloc_stack
000fa675pop r10
000fa677jmp 0xfa5fe
000fa5f0
000fa5f0camlVideoc.run_633:
000fa5f0lea r10, [rsp-336]
000fa5f8cmp r10, [r14+40]
000fa5fcjb 0xfa66e
000fa5fe
000fa5feloc_fa5fe:
000fa5fesub rsp, 16
000fa602mov rdi, rax
000fa605mov [rsp+8], rdi
000fa60amov [rsp], rbx
000fa60elea rax, [rip+0x22fa5b]
000fa615mov rax, [rax+80]
000fa619mov rax, [rax]
000fa61ccmp rax, 5
000fa620jle 0xfa636
000fa622lea rax, [rip+0x1823bf]
000fa629mov rbx, rdi
000fa62ccall camlStdlib.$5e_139
000fa631call camlStdlib.prerr_endline_390
000fa636
000fa636loc_fa636:
000fa636mov rax, [rsp+8]
000fa63bcall camlLatexmacros.exists_938
000fa640cmp rax, 1
000fa644je 0xfa664
000fa646mov rax, [rsp]
000fa64amov rax, [rax+16]
000fa64emov rbx, [rsp+8]
000fa653call camlLexstate.scan_this_1185
000fa658mov eax, 1
000fa65dadd rsp, 16
000fa661ret
000fa662
000fa662 66 90 f.
000fa664
000fa664loc_fa664:
000fa664mov eax, 1
000fa669add rsp, 16
000fa66dret
000fa66e
000fa66eloc_fa66e:
000fa66epush 35
000fa670call caml_call_realloc_stack
000fa675pop r10
000fa677jmp 0xfa5fe
000fa5f0
000fa679
000fa679 // align 0x10
000fa679 // align 0x10
000fa680
000fa680camlVideoc.iterate_636:
000fa680lea r10, [rsp-352]
000fa688cmp r10, [r14+40]
000fa68cjb 0xfa77d
000fa692
000fa692loc_fa692:
000fa692sub rsp, 32
000fa696
000fa696loc_fa696:
000fa696mov [rsp+8], rax
000fa69bmov [rsp], rbx
000fa69fmov [rsp+24], rdi
000fa6a4cmp r15, [r14]
000fa6a7jbe 0xfa76e
000fa6ad
000fa6adloc_fa6ad:
000fa6admov rbx, [rdi+24]
000fa6b1call camlVideoc.run_633
000fa6b6lea rsi, [rip+0x18146b]
000fa6bdmov r12, [rsp]
000fa6c1mov rdi, r12
000fa6c4mov rbx, rsp
000fa6c7mov rsp, [r14+64]
000fa6cbcall caml_string_notequal
000fa6d0mov rsp, rbx
000fa6d3cmp rax, 1
000fa6d7je 0xfa764
000fa6ddmov [rsp], r12
000fa6e1mov rax, [r12-8]
000fa6e6shr rax, 10
000fa6ealea rax, [8*rax-1]
000fa6f2movzx rbx, [r12+rax]
000fa6f7sub rax, rbx
000fa6falea rdi, [rax+rax-1]
000fa6ffmov ebx, 3
000fa704mov rax, r12
000fa707call Stdlib.Bytes.sub
000fa70cmov [rsp+16], rax
000fa711mov rdi, [rsp]
000fa715mov rax, [rdi-8]
000fa719shr rax, 10
000fa71dlea rax, [8*rax-1]
000fa725movzx rbx, [rdi+rax]
000fa72asub rax, rbx
000fa72dcmp rax, 0
000fa731jbe 0xfa778
000fa733movzx rax, [rdi]
000fa737lea rbx, [rax+rax+1]
000fa73cmov eax, 3
000fa741call Stdlib.Bytes.make
000fa746mov rbx, rax
000fa749mov rax, [rsp+8]
000fa74ecall camlStdlib.$5e_139
000fa753mov rbx, [rsp+16]
000fa758mov rdi, [rsp+24]
000fa75djmp 0xfa696
000fa762
000fa762 66 90 f.
000fa764
000fa764loc_fa764:
000fa764mov eax, 1
000fa769add rsp, 32
000fa76dret
000fa76e
000fa76eloc_fa76e:
000fa76ecall caml_call_gc
000fa773jmp 0xfa6ad
000fa778
000fa778loc_fa778:
000fa778call caml_ml_array_bound_error
000fa77d
000fa77dloc_fa77d:
000fa77dpush 37
000fa77fcall caml_call_realloc_stack
000fa784pop r10
000fa786jmp 0xfa692
000fa680
000fa680camlVideoc.iterate_636:
000fa680lea r10, [rsp-352]
000fa688cmp r10, [r14+40]
000fa68cjb 0xfa77d
000fa692
000fa692loc_fa692:
000fa692sub rsp, 32
000fa696
000fa696loc_fa696:
000fa696mov [rsp+8], rax
000fa69bmov [rsp], rbx
000fa69fmov [rsp+24], rdi
000fa6a4cmp r15, [r14]
000fa6a7jbe 0xfa76e
000fa6ad
000fa6adloc_fa6ad:
000fa6admov rbx, [rdi+24]
000fa6b1call camlVideoc.run_633
000fa6b6lea rsi, [rip+0x18146b]
000fa6bdmov r12, [rsp]
000fa6c1mov rdi, r12
000fa6c4mov rbx, rsp
000fa6c7mov rsp, [r14+64]
000fa6cbcall caml_string_notequal
000fa6d0mov rsp, rbx
000fa6d3cmp rax, 1
000fa6d7je 0xfa764
000fa6ddmov [rsp], r12
000fa6e1mov rax, [r12-8]
000fa6e6shr rax, 10
000fa6ealea rax, [8*rax-1]
000fa6f2movzx rbx, [r12+rax]
000fa6f7sub rax, rbx
000fa6falea rdi, [rax+rax-1]
000fa6ffmov ebx, 3
000fa704mov rax, r12
000fa707call Stdlib.Bytes.sub
000fa70cmov [rsp+16], rax
000fa711mov rdi, [rsp]
000fa715mov rax, [rdi-8]
000fa719shr rax, 10
000fa71dlea rax, [8*rax-1]
000fa725movzx rbx, [rdi+rax]
000fa72asub rax, rbx
000fa72dcmp rax, 0
000fa731jbe 0xfa778
000fa733movzx rax, [rdi]
000fa737lea rbx, [rax+rax+1]
000fa73cmov eax, 3
000fa741call Stdlib.Bytes.make
000fa746mov rbx, rax
000fa749mov rax, [rsp+8]
000fa74ecall camlStdlib.$5e_139
000fa753mov rbx, [rsp+16]
000fa758mov rdi, [rsp+24]
000fa75djmp 0xfa696
000fa762
000fa762 66 90 f.
000fa764
000fa764loc_fa764:
000fa764mov eax, 1
000fa769add rsp, 32
000fa76dret
000fa76e
000fa76eloc_fa76e:
000fa76ecall caml_call_gc
000fa773jmp 0xfa6ad
000fa778
000fa778loc_fa778:
000fa778call caml_ml_array_bound_error
000fa77d
000fa77dloc_fa77d:
000fa77dpush 37
000fa77fcall caml_call_realloc_stack
000fa784pop r10
000fa786jmp 0xfa692
000fa680
000fa78b
000fa78b // align 0x10
000fa78b // align 0x10
000fa790
000fa790camlVideoc.snippetRunHook_708:
000fa790mov rdx, rax
000fa793mov rcx, rbx
000fa796mov rsi, [rdi+24]
000fa79alea rax, [rip+0x181fa7]
000fa7a1mov rbx, rdx
000fa7a4mov rdi, rcx
000fa7a7jmp 0xfa510
000fa790
000fa790camlVideoc.snippetRunHook_708:
000fa790mov rdx, rax
000fa793mov rcx, rbx
000fa796mov rsi, [rdi+24]
000fa79alea rax, [rip+0x181fa7]
000fa7a1mov rbx, rdx
000fa7a4mov rdi, rcx
000fa7a7jmp 0xfa510
000fa790
000fa7ac
000fa7ac // align 0x10
000fa7ac // align 0x10
000fa7b0
000fa7b0camlVideoc.snipRunHook_712:
000fa7b0mov rdx, rax
000fa7b3mov rcx, rbx
000fa7b6mov rsi, [rdi+24]
000fa7balea rax, [rip+0x181e87]
000fa7c1mov rbx, rdx
000fa7c4mov rdi, rcx
000fa7c7jmp 0xfa510
000fa7b0
000fa7b0camlVideoc.snipRunHook_712:
000fa7b0mov rdx, rax
000fa7b3mov rcx, rbx
000fa7b6mov rsi, [rdi+24]
000fa7balea rax, [rip+0x181e87]
000fa7c1mov rbx, rdx
000fa7c4mov rdi, rcx
000fa7c7jmp 0xfa510
000fa7b0
000fa7cc
000fa7cc // align 0x10
000fa7cc // align 0x10
000fa7d0
000fa7d0camlVideoc.compute_hint_id_716:
000fa7d0lea r10, [rsp-328]
000fa7d8cmp r10, [r14+40]
000fa7dcjb 0xfa802
000fa7de
000fa7deloc_fa7de:
000fa7desub rsp, 8
000fa7e2mov [rsp], rax
000fa7e6lea rax, [rip+0x181d33]
000fa7edcall camlStdlib.$5e_139
000fa7f2mov rbx, rax
000fa7f5mov rax, [rsp]
000fa7f9add rsp, 8
000fa7fdjmp 0x195ba0
000fa802
000fa802loc_fa802:
000fa802push 34
000fa804call caml_call_realloc_stack
000fa809pop r10
000fa80bjmp 0xfa7de
000fa7d0
000fa7d0camlVideoc.compute_hint_id_716:
000fa7d0lea r10, [rsp-328]
000fa7d8cmp r10, [r14+40]
000fa7dcjb 0xfa802
000fa7de
000fa7deloc_fa7de:
000fa7desub rsp, 8
000fa7e2mov [rsp], rax
000fa7e6lea rax, [rip+0x181d33]
000fa7edcall camlStdlib.$5e_139
000fa7f2mov rbx, rax
000fa7f5mov rax, [rsp]
000fa7f9add rsp, 8
000fa7fdjmp 0x195ba0
000fa802
000fa802loc_fa802:
000fa802push 34
000fa804call caml_call_realloc_stack
000fa809pop r10
000fa80bjmp 0xfa7de
000fa7d0
000fa80d
000fa80d // align 0x10
000fa80d // align 0x10
000fa810
000fa810camlVideoc.fun_1096:
000fa810mov rax, [rbx+16]
000fa814add [rax], 2
000fa818mov rax, [rax]
000fa81bret
000fa810
000fa810camlVideoc.fun_1096:
000fa810mov rax, [rbx+16]
000fa814add [rax], 2
000fa818mov rax, [rax]
000fa81bret
000fa810
000fa81c
000fa81c // align 0x10
000fa81c // align 0x10
000fa820
000fa820camlVideoc.exec_769:
000fa820lea r10, [rsp-352]
000fa828cmp r10, [r14+40]
000fa82cjb 0xfa98e
000fa832
000fa832loc_fa832:
000fa832sub rsp, 32
000fa836mov rdi, rax
000fa839mov [rsp+8], rbx
000fa83ecmp r15, [r14]
000fa841jbe 0xfa984
000fa847
000fa847loc_fa847:
000fa847movzx rax, [rdi-8]
000fa84ccmp rax, 1
000fa850je 0xfa90c
000fa856ja 0xfa960
000fa85cmov rax, [rdi]
000fa85fmov [rsp], rax
000fa863lea rbx, [rip+0x22f806]
000fa86amov rbx, [rbx+80]
000fa86emov rbx, [rbx]
000fa871cmp rbx, 5
000fa875jle 0xfa8b7
000fa877mov [rsp+24], rax
000fa87clea rax, [rip+0x21c11d]
000fa883mov rax, [rax]
000fa886mov [rsp+16], rax
000fa88blea rbx, [rip+0x1811de]
000fa892lea rax, [rip+0x232d7f]
000fa899mov rax, [rax+312]
000fa8a0call Stdlib.Printf.fprintf
000fa8a5mov rdi, rax
000fa8a8mov rax, [rsp+16]
000fa8admov rbx, [rsp+24]
000fa8b2call caml_apply2
000fa8b7
000fa8b7loc_fa8b7:
000fa8b7sub r15, 24
000fa8bbcmp r15, [r14]
000fa8bejb 0xfa97a
000fa8c4
000fa8c4loc_fa8c4:
000fa8c4lea rsi, [r15+8]
000fa8c8mov [rsi-8], 2048
000fa8d0mov rax, [rsp]
000fa8d4mov [rsi], rax
000fa8d7lea rax, [rip+0x21c0c2]
000fa8demov rax, [rax+728]
000fa8e5mov rax, [rax]
000fa8e8mov [rsi+8], rax
000fa8ecmov rax, [rsp+8]
000fa8f1mov rdi, [rax+24]
000fa8f5mov rbx, [rax+16]
000fa8f9mov rax, [rax+32]
000fa8fdmov rax, [rax+24]
000fa901add rsp, 32
000fa905jmp 0x17f6f0
000fa90anop
000fa90c
000fa90cloc_fa90c:
000fa90cmov rax, [rdi]
000fa90fmov ebx, 1
000fa914call Stdlib.List.rev_append
000fa919mov rbx, rax
000fa91csub r15, 32
000fa920cmp r15, [r14]
000fa923jb 0xfa973
000fa925
000fa925loc_fa925:
000fa925lea rax, [r15+8]
000fa929mov [rax-8], 3319
000fa931lea rdi, [rip+104]
000fa938mov [rax], rdi
000fa93bmov rdi, 0x100000000000005
000fa945mov [rax+8], rdi
000fa949mov rdi, [rsp+8]
000fa94emov rdi, [rdi+32]
000fa952mov [rax+16], rdi
000fa956add rsp, 32
000fa95ajmp 0x1a0330
000fa95fnop
000fa960
000fa960loc_fa960:
000fa960mov rdi, [rdi]
000fa963mov rax, [rbx+16]
000fa967mov rsi, [rdi]
000fa96amov rbx, rdi
000fa96dadd rsp, 32
000fa971jmp rsi
000fa973
000fa973loc_fa973:
000fa973call caml_call_gc
000fa978jmp 0xfa925
000fa97a
000fa97aloc_fa97a:
000fa97acall caml_call_gc
000fa97fjmp 0xfa8c4
000fa984
000fa984loc_fa984:
000fa984call caml_call_gc
000fa989jmp 0xfa847
000fa98e
000fa98eloc_fa98e:
000fa98epush 37
000fa990call caml_call_realloc_stack
000fa995pop r10
000fa997jmp 0xfa832
000fa820
000fa820camlVideoc.exec_769:
000fa820lea r10, [rsp-352]
000fa828cmp r10, [r14+40]
000fa82cjb 0xfa98e
000fa832
000fa832loc_fa832:
000fa832sub rsp, 32
000fa836mov rdi, rax
000fa839mov [rsp+8], rbx
000fa83ecmp r15, [r14]
000fa841jbe 0xfa984
000fa847
000fa847loc_fa847:
000fa847movzx rax, [rdi-8]
000fa84ccmp rax, 1
000fa850je 0xfa90c
000fa856ja 0xfa960
000fa85cmov rax, [rdi]
000fa85fmov [rsp], rax
000fa863lea rbx, [rip+0x22f806]
000fa86amov rbx, [rbx+80]
000fa86emov rbx, [rbx]
000fa871cmp rbx, 5
000fa875jle 0xfa8b7
000fa877mov [rsp+24], rax
000fa87clea rax, [rip+0x21c11d]
000fa883mov rax, [rax]
000fa886mov [rsp+16], rax
000fa88blea rbx, [rip+0x1811de]
000fa892lea rax, [rip+0x232d7f]
000fa899mov rax, [rax+312]
000fa8a0call Stdlib.Printf.fprintf
000fa8a5mov rdi, rax
000fa8a8mov rax, [rsp+16]
000fa8admov rbx, [rsp+24]
000fa8b2call caml_apply2
000fa8b7
000fa8b7loc_fa8b7:
000fa8b7sub r15, 24
000fa8bbcmp r15, [r14]
000fa8bejb 0xfa97a
000fa8c4
000fa8c4loc_fa8c4:
000fa8c4lea rsi, [r15+8]
000fa8c8mov [rsi-8], 2048
000fa8d0mov rax, [rsp]
000fa8d4mov [rsi], rax
000fa8d7lea rax, [rip+0x21c0c2]
000fa8demov rax, [rax+728]
000fa8e5mov rax, [rax]
000fa8e8mov [rsi+8], rax
000fa8ecmov rax, [rsp+8]
000fa8f1mov rdi, [rax+24]
000fa8f5mov rbx, [rax+16]
000fa8f9mov rax, [rax+32]
000fa8fdmov rax, [rax+24]
000fa901add rsp, 32
000fa905jmp 0x17f6f0
000fa90anop
000fa90c
000fa90cloc_fa90c:
000fa90cmov rax, [rdi]
000fa90fmov ebx, 1
000fa914call Stdlib.List.rev_append
000fa919mov rbx, rax
000fa91csub r15, 32
000fa920cmp r15, [r14]
000fa923jb 0xfa973
000fa925
000fa925loc_fa925:
000fa925lea rax, [r15+8]
000fa929mov [rax-8], 3319
000fa931lea rdi, [rip+104]
000fa938mov [rax], rdi
000fa93bmov rdi, 0x100000000000005
000fa945mov [rax+8], rdi
000fa949mov rdi, [rsp+8]
000fa94emov rdi, [rdi+32]
000fa952mov [rax+16], rdi
000fa956add rsp, 32
000fa95ajmp 0x1a0330
000fa95fnop
000fa960
000fa960loc_fa960:
000fa960mov rdi, [rdi]
000fa963mov rax, [rbx+16]
000fa967mov rsi, [rdi]
000fa96amov rbx, rdi
000fa96dadd rsp, 32
000fa971jmp rsi
000fa973
000fa973loc_fa973:
000fa973call caml_call_gc
000fa978jmp 0xfa925
000fa97a
000fa97aloc_fa97a:
000fa97acall caml_call_gc
000fa97fjmp 0xfa8c4
000fa984
000fa984loc_fa984:
000fa984call caml_call_gc
000fa989jmp 0xfa847
000fa98e
000fa98eloc_fa98e:
000fa98epush 37
000fa990call caml_call_realloc_stack
000fa995pop r10
000fa997jmp 0xfa832
000fa820
000fa99c
000fa99c // align 0x10
000fa99c // align 0x10
000fa9a0
000fa9a0camlVideoc.fun_1162:
000fa9a0mov rdi, rax
000fa9a3mov rax, [rbx+16]
000fa9a7mov rax, [rax+24]
000fa9abmov rbx, rdi
000fa9aejmp 0x17f150
000fa9a0
000fa9a0camlVideoc.fun_1162:
000fa9a0mov rdi, rax
000fa9a3mov rax, [rbx+16]
000fa9a7mov rax, [rax+24]
000fa9abmov rbx, rdi
000fa9aejmp 0x17f150
000fa9a0
000fa9b3
000fa9b3 // align 0x10
000fa9b3 // align 0x10
000fa9c0
000fa9c0camlVideoc.fun_1188:
000fa9c0mov rax, [rbx+24]
000fa9c4mov rbx, [rbx+16]
000fa9c8jmp 0xf9800
000fa9c0
000fa9c0camlVideoc.fun_1188:
000fa9c0mov rax, [rbx+24]
000fa9c4mov rbx, [rbx+16]
000fa9c8jmp 0xf9800
000fa9c0
000fa9cd
000fa9cd // align 0x10
000fa9cd // align 0x10
000fa9d0
000fa9d0camlVideoc.caml_print_914:
000fa9d0sub r15, 56
000fa9d4cmp r15, [r14]
000fa9d7jb 0xfaa1d
000fa9d9
000fa9d9loc_fa9d9:
000fa9d9lea rdi, [r15+8]
000fa9ddadd rdi, 16
000fa9e1mov [rdi-8], 4343
000fa9e9lea rsi, [rip+64]
000fa9f0mov [rdi], rsi
000fa9f3mov rsi, 0x100000000000005
000fa9fdmov [rdi+8], rsi
000faa01mov [rdi+16], rax
000faa05mov rax, [rbx+16]
000faa09mov [rdi+24], rax
000faa0dlea rax, [rdi-16]
000faa11mov [rax-8], 1026
000faa19mov [rax], rdi
000faa1cret
000faa1d
000faa1dloc_faa1d:
000faa1dcall caml_call_gc
000faa22jmp 0xfa9d9
000fa9d0
000fa9d0camlVideoc.caml_print_914:
000fa9d0sub r15, 56
000fa9d4cmp r15, [r14]
000fa9d7jb 0xfaa1d
000fa9d9
000fa9d9loc_fa9d9:
000fa9d9lea rdi, [r15+8]
000fa9ddadd rdi, 16
000fa9e1mov [rdi-8], 4343
000fa9e9lea rsi, [rip+64]
000fa9f0mov [rdi], rsi
000fa9f3mov rsi, 0x100000000000005
000fa9fdmov [rdi+8], rsi
000faa01mov [rdi+16], rax
000faa05mov rax, [rbx+16]
000faa09mov [rdi+24], rax
000faa0dlea rax, [rdi-16]
000faa11mov [rax-8], 1026
000faa19mov [rax], rdi
000faa1cret
000faa1d
000faa1dloc_faa1d:
000faa1dcall caml_call_gc
000faa22jmp 0xfa9d9
000fa9d0
000faa24
000faa24 // align 0x10
000faa24 // align 0x10
000faa30
000faa30camlVideoc.fun_1218:
000faa30cmp r15, [r14]
000faa33jbe 0xfaa4c
000faa35
000faa35loc_faa35:
000faa35mov rax, [rbx+24]
000faa39mov rdi, [rax+352]
000faa40mov rax, [rbx+16]
000faa44mov rsi, [rdi]
000faa47mov rbx, rdi
000faa4ajmp rsi
000faa4c
000faa4cloc_faa4c:
000faa4ccall caml_call_gc
000faa51jmp 0xfaa35
000faa30
000faa30camlVideoc.fun_1218:
000faa30cmp r15, [r14]
000faa33jbe 0xfaa4c
000faa35
000faa35loc_faa35:
000faa35mov rax, [rbx+24]
000faa39mov rdi, [rax+352]
000faa40mov rax, [rbx+16]
000faa44mov rsi, [rdi]
000faa47mov rbx, rdi
000faa4ajmp rsi
000faa4c
000faa4cloc_faa4c:
000faa4ccall caml_call_gc
000faa51jmp 0xfaa35
000faa30
000faa53
000faa53 // align 0x10
000faa53 // align 0x10
000faa60
000faa60camlVideoc.snippet_def_918:
000faa60sub r15, 16
000faa64cmp r15, [r14]
000faa67jb 0xfaa88
000faa69
000faa69loc_faa69:
000faa69lea rdi, [r15+8]
000faa6dmov [rdi-8], 1026
000faa75mov [rdi], rbx
000faa78lea rbx, [rip+0x21bf21]
000faa7fmov rbx, [rbx+56]
000faa83jmp 0x17af20
000faa88
000faa88loc_faa88:
000faa88call caml_call_gc
000faa8djmp 0xfaa69
000faa60
000faa60camlVideoc.snippet_def_918:
000faa60sub r15, 16
000faa64cmp r15, [r14]
000faa67jb 0xfaa88
000faa69
000faa69loc_faa69:
000faa69lea rdi, [r15+8]
000faa6dmov [rdi-8], 1026
000faa75mov [rdi], rbx
000faa78lea rbx, [rip+0x21bf21]
000faa7fmov rbx, [rbx+56]
000faa83jmp 0x17af20
000faa88
000faa88loc_faa88:
000faa88call caml_call_gc
000faa8djmp 0xfaa69
000faa60
000faa8f
000faa8f // align 0x10
000faa8f // align 0x10
000faa90
000faa90camlVideoc.do_endsnippet_922:
000faa90mov r12, rbx
000faa93lea rax, [rip+0x21bf06]
000faa9amov rax, [rax+264]
000faaa1mov rax, [rax]
000faaa4cmp rax, 1
000faaa8je 0xfaaf8
000faaaamov rax, [r12+472]
000faab2mov [rax], 3
000faab9sub r15, 24
000faabdcmp r15, [r14]
000faac0jb 0xfab7a
000faac6
000faac6loc_faac6:
000faac6lea rax, [r15+8]
000faacamov [rax-8], 2048
000faad2lea rbx, [rip+0x22f597]
000faad9mov rbx, [rbx+64]
000faaddmov [rax], rbx
000faae0mov [rax+8], 1
000faae8mov rsp, [r14+48]
000faaecpop [r14+48]
000faaf0pop r11
000faaf2jmp r11
000faaf5nop [rax]
000faaf8
000faaf8loc_faaf8:
000faaf8lea rsi, [rip+0x180d09]
000faaffmov rax, [r12+576]
000fab07mov rax, [rax+56]
000fab0bmov rdi, [rax]
000fab0emov rbx, rsp
000fab11mov rsp, [r14+64]
000fab15call caml_string_equal
000fab1amov rsp, rbx
000fab1dcmp rax, 1
000fab21je 0xfab38
000fab23mov rax, [r12+440]
000fab2bmov rsp, [r14+48]
000fab2fpop [r14+48]
000fab33pop r11
000fab35jmp r11
000fab38
000fab38loc_fab38:
000fab38sub r15, 24
000fab3ccmp r15, [r14]
000fab3fjb 0xfab73
000fab41
000fab41loc_fab41:
000fab41lea rax, [r15+8]
000fab45mov [rax-8], 2048
000fab4dlea rbx, [rip+0x22f51c]
000fab54mov rbx, [rbx+24]
000fab58mov [rax], rbx
000fab5blea rbx, [rip+0x180c76]
000fab62mov [rax+8], rbx
000fab66mov rsp, [r14+48]
000fab6apop [r14+48]
000fab6epop r11
000fab70jmp r11
000fab73
000fab73loc_fab73:
000fab73call caml_call_gc
000fab78jmp 0xfab41
000fab7a
000fab7aloc_fab7a:
000fab7acall caml_call_gc
000fab7fjmp 0xfaac6
000faa90
000faa90camlVideoc.do_endsnippet_922:
000faa90mov r12, rbx
000faa93lea rax, [rip+0x21bf06]
000faa9amov rax, [rax+264]
000faaa1mov rax, [rax]
000faaa4cmp rax, 1
000faaa8je 0xfaaf8
000faaaamov rax, [r12+472]
000faab2mov [rax], 3
000faab9sub r15, 24
000faabdcmp r15, [r14]
000faac0jb 0xfab7a
000faac6
000faac6loc_faac6:
000faac6lea rax, [r15+8]
000faacamov [rax-8], 2048
000faad2lea rbx, [rip+0x22f597]
000faad9mov rbx, [rbx+64]
000faaddmov [rax], rbx
000faae0mov [rax+8], 1
000faae8mov rsp, [r14+48]
000faaecpop [r14+48]
000faaf0pop r11
000faaf2jmp r11
000faaf5nop [rax]
000faaf8
000faaf8loc_faaf8:
000faaf8lea rsi, [rip+0x180d09]
000faaffmov rax, [r12+576]
000fab07mov rax, [rax+56]
000fab0bmov rdi, [rax]
000fab0emov rbx, rsp
000fab11mov rsp, [r14+64]
000fab15call caml_string_equal
000fab1amov rsp, rbx
000fab1dcmp rax, 1
000fab21je 0xfab38
000fab23mov rax, [r12+440]
000fab2bmov rsp, [r14+48]
000fab2fpop [r14+48]
000fab33pop r11
000fab35jmp r11
000fab38
000fab38loc_fab38:
000fab38sub r15, 24
000fab3ccmp r15, [r14]
000fab3fjb 0xfab73
000fab41
000fab41loc_fab41:
000fab41lea rax, [r15+8]
000fab45mov [rax-8], 2048
000fab4dlea rbx, [rip+0x22f51c]
000fab54mov rbx, [rbx+24]
000fab58mov [rax], rbx
000fab5blea rbx, [rip+0x180c76]
000fab62mov [rax+8], rbx
000fab66mov rsp, [r14+48]
000fab6apop [r14+48]
000fab6epop r11
000fab70jmp r11
000fab73
000fab73loc_fab73:
000fab73call caml_call_gc
000fab78jmp 0xfab41
000fab7a
000fab7aloc_fab7a:
000fab7acall caml_call_gc
000fab7fjmp 0xfaac6
000faa90
000fab84
000fab84 // align 0x10
000fab84 // align 0x10
000fab90
000fab90camlVideoc.do_texinclusion_923:
000fab90lea r10, [rsp-352]
000fab98cmp r10, [r14+40]
000fab9cjb 0xfad35
000faba2
000faba2loc_faba2:
000faba2sub rsp, 16
000faba6mov [rsp+8], rax
000fababmov [rsp], rbx
000fabaflea rdi, [rip+0x180c0a]
000fabb6mov rax, [rbx+456]
000fabbdmov rax, [rax]
000fabc0mov rbx, rdi
000fabc3call camlStdlib.$5e_139
000fabc8mov rbx, rax
000fabcblea rax, [rip+0x180dce]
000fabd2call camlStdlib.$5e_139
000fabd7mov rbx, rax
000fabdamov rax, [rsp]
000fabdemov rax, [rax+552]
000fabe5mov rdi, [rax+112]
000fabe9lea rax, [rip+0x180dc0]
000fabf0call caml_apply2
000fabf5mov rdi, [rsp]
000fabf9mov rax, [rdi+552]
000fac00mov rbx, [rax+24]
000fac04mov rax, [rdi+480]
000fac0bmov rsi, [rax+24]
000fac0flea rdi, [rip+0x180b92]
000fac16lea rax, [rip+0x181b2b]
000fac1dcall camlVideoc.runHook_628
000fac22mov rbx, [rsp]
000fac26mov rax, [rbx+440]
000fac2dmov [rax], 3
000fac34lea r11, [rip+45]
000fac3bpush r11
000fac3dpush [r14+48]
000fac41mov [r14+48], rsp
000fac45mov rax, [rbx+552]
000fac4cmov rbx, [rax+24]
000fac50mov rdi, [rbx]
000fac53mov rax, [rsp+24]
000fac58call rdi
000fac5apop [r14+48]
000fac5eadd rsp, 8
000fac62jmp 0xfad30
000fac67nop
000fac68mov [rsp+8], rax
000fac6dmov rdi, [rsp]
000fac71mov rax, [rdi+552]
000fac78mov rbx, [rax+24]
000fac7cmov rax, [rdi+480]
000fac83mov rsi, [rax+24]
000fac87lea rdi, [rip+0x181d42]
000fac8elea rax, [rip+0x181ab3]
000fac95call camlVideoc.runHook_628
000fac9amov rax, [rsp]
000fac9emov rax, [rax+552]
000faca5mov rbx, [rax+120]
000faca9lea rax, [rip+0x180d00]
000facb0mov rdi, [rbx]
000facb3call rdi
000facb5mov rdi, [rsp]
000facb9mov rax, [rdi+552]
000facc0mov rbx, [rax+24]
000facc4mov rax, [rdi+480]
000faccbmov rsi, [rax+24]
000faccflea rdi, [rip+0x181cea]
000facd6lea rax, [rip+0x181a6b]
000facddcall camlVideoc.runHook_628
000face2lea r11, [rip+28]
000face9push r11
000facebpush [r14+48]
000facefmov [r14+48], rsp
000facf3mov rax, [rsp+24]
000facf8mov rsp, [r14+48]
000facfcpop [r14+48]
000fad00pop r11
000fad02jmp r11
000fad05mov rbx, [rsp]
000fad09mov rbx, [rbx+424]
000fad10cmp rax, rbx
000fad13jne 0xfad20
000fad15mov eax, 1
000fad1aadd rsp, 16
000fad1eret
000fad1fnop
000fad20
000fad20loc_fad20:
000fad20mov rsp, [r14+48]
000fad24pop [r14+48]
000fad28pop r11
000fad2ajmp r11
000fad2dnop [rax]
000fad30
000fad30loc_fad30:
000fad30add rsp, 16
000fad34ret
000fad35
000fad35loc_fad35:
000fad35push 37
000fad37call caml_call_realloc_stack
000fad3cpop r10
000fad3ejmp 0xfaba2
000fab90
000fab90camlVideoc.do_texinclusion_923:
000fab90lea r10, [rsp-352]
000fab98cmp r10, [r14+40]
000fab9cjb 0xfad35
000faba2
000faba2loc_faba2:
000faba2sub rsp, 16
000faba6mov [rsp+8], rax
000fababmov [rsp], rbx
000fabaflea rdi, [rip+0x180c0a]
000fabb6mov rax, [rbx+456]
000fabbdmov rax, [rax]
000fabc0mov rbx, rdi
000fabc3call camlStdlib.$5e_139
000fabc8mov rbx, rax
000fabcblea rax, [rip+0x180dce]
000fabd2call camlStdlib.$5e_139
000fabd7mov rbx, rax
000fabdamov rax, [rsp]
000fabdemov rax, [rax+552]
000fabe5mov rdi, [rax+112]
000fabe9lea rax, [rip+0x180dc0]
000fabf0call caml_apply2
000fabf5mov rdi, [rsp]
000fabf9mov rax, [rdi+552]
000fac00mov rbx, [rax+24]
000fac04mov rax, [rdi+480]
000fac0bmov rsi, [rax+24]
000fac0flea rdi, [rip+0x180b92]
000fac16lea rax, [rip+0x181b2b]
000fac1dcall camlVideoc.runHook_628
000fac22mov rbx, [rsp]
000fac26mov rax, [rbx+440]
000fac2dmov [rax], 3
000fac34lea r11, [rip+45]
000fac3bpush r11
000fac3dpush [r14+48]
000fac41mov [r14+48], rsp
000fac45mov rax, [rbx+552]
000fac4cmov rbx, [rax+24]
000fac50mov rdi, [rbx]
000fac53mov rax, [rsp+24]
000fac58call rdi
000fac5apop [r14+48]
000fac5eadd rsp, 8
000fac62jmp 0xfad30
000fac67nop
000fac68mov [rsp+8], rax
000fac6dmov rdi, [rsp]
000fac71mov rax, [rdi+552]
000fac78mov rbx, [rax+24]
000fac7cmov rax, [rdi+480]
000fac83mov rsi, [rax+24]
000fac87lea rdi, [rip+0x181d42]
000fac8elea rax, [rip+0x181ab3]
000fac95call camlVideoc.runHook_628
000fac9amov rax, [rsp]
000fac9emov rax, [rax+552]
000faca5mov rbx, [rax+120]
000faca9lea rax, [rip+0x180d00]
000facb0mov rdi, [rbx]
000facb3call rdi
000facb5mov rdi, [rsp]
000facb9mov rax, [rdi+552]
000facc0mov rbx, [rax+24]
000facc4mov rax, [rdi+480]
000faccbmov rsi, [rax+24]
000faccflea rdi, [rip+0x181cea]
000facd6lea rax, [rip+0x181a6b]
000facddcall camlVideoc.runHook_628
000face2lea r11, [rip+28]
000face9push r11
000facebpush [r14+48]
000facefmov [r14+48], rsp
000facf3mov rax, [rsp+24]
000facf8mov rsp, [r14+48]
000facfcpop [r14+48]
000fad00pop r11
000fad02jmp r11
000fad05mov rbx, [rsp]
000fad09mov rbx, [rbx+424]
000fad10cmp rax, rbx
000fad13jne 0xfad20
000fad15mov eax, 1
000fad1aadd rsp, 16
000fad1eret
000fad1fnop
000fad20
000fad20loc_fad20:
000fad20mov rsp, [r14+48]
000fad24pop [r14+48]
000fad28pop r11
000fad2ajmp r11
000fad2dnop [rax]
000fad30
000fad30loc_fad30:
000fad30add rsp, 16
000fad34ret
000fad35
000fad35loc_fad35:
000fad35push 37
000fad37call caml_call_realloc_stack
000fad3cpop r10
000fad3ejmp 0xfaba2
000fab90
000fad43
000fad43 // align 0x10
000fad43 // align 0x10
000fad50
000fad50camlVideoc.do_texexclusion_924:
000fad50lea r10, [rsp-328]
000fad58cmp r10, [r14+40]
000fad5cjb 0xfae02
000fad62
000fad62loc_fad62:
000fad62sub rsp, 8
000fad66mov rax, [rbx+408]
000fad6dmov rax, [rax]
000fad70cmp rax, 1
000fad74je 0xfadc0
000fad76mov [rsp], rbx
000fad7alea rax, [rip+0x22f2ef]
000fad81mov rax, [rax+80]
000fad85mov rax, [rax]
000fad88cmp rax, 5
000fad8cjle 0xfad9a
000fad8elea rax, [rip+0x181c03]
000fad95call camlStdlib.prerr_endline_390
000fad9a
000fad9aloc_fad9a:
000fad9amov rbx, [rsp]
000fad9emov rax, [rbx+416]
000fada5mov [rax], 1
000fadacmov rax, [rbx+400]
000fadb3mov rsp, [r14+48]
000fadb7pop [r14+48]
000fadbbpop r11
000fadbdjmp r11
000fadc0
000fadc0loc_fadc0:
000fadc0sub r15, 24
000fadc4cmp r15, [r14]
000fadc7jb 0xfadfb
000fadc9
000fadc9loc_fadc9:
000fadc9lea rax, [r15+8]
000fadcdmov [rax-8], 2048
000fadd5lea rbx, [rip+0x22f294]
000faddcmov rbx, [rbx+24]
000fade0mov [rax], rbx
000fade3lea rbx, [rip+0x181b7e]
000fadeamov [rax+8], rbx
000fadeemov rsp, [r14+48]
000fadf2pop [r14+48]
000fadf6pop r11
000fadf8jmp r11
000fadfb
000fadfbloc_fadfb:
000fadfbcall caml_call_gc
000fae00jmp 0xfadc9
000fae02
000fae02loc_fae02:
000fae02push 34
000fae04call caml_call_realloc_stack
000fae09pop r10
000fae0bjmp 0xfad62
000fad50
000fad50camlVideoc.do_texexclusion_924:
000fad50lea r10, [rsp-328]
000fad58cmp r10, [r14+40]
000fad5cjb 0xfae02
000fad62
000fad62loc_fad62:
000fad62sub rsp, 8
000fad66mov rax, [rbx+408]
000fad6dmov rax, [rax]
000fad70cmp rax, 1
000fad74je 0xfadc0
000fad76mov [rsp], rbx
000fad7alea rax, [rip+0x22f2ef]
000fad81mov rax, [rax+80]
000fad85mov rax, [rax]
000fad88cmp rax, 5
000fad8cjle 0xfad9a
000fad8elea rax, [rip+0x181c03]
000fad95call camlStdlib.prerr_endline_390
000fad9a
000fad9aloc_fad9a:
000fad9amov rbx, [rsp]
000fad9emov rax, [rbx+416]
000fada5mov [rax], 1
000fadacmov rax, [rbx+400]
000fadb3mov rsp, [r14+48]
000fadb7pop [r14+48]
000fadbbpop r11
000fadbdjmp r11
000fadc0
000fadc0loc_fadc0:
000fadc0sub r15, 24
000fadc4cmp r15, [r14]
000fadc7jb 0xfadfb
000fadc9
000fadc9loc_fadc9:
000fadc9lea rax, [r15+8]
000fadcdmov [rax-8], 2048
000fadd5lea rbx, [rip+0x22f294]
000faddcmov rbx, [rbx+24]
000fade0mov [rax], rbx
000fade3lea rbx, [rip+0x181b7e]
000fadeamov [rax+8], rbx
000fadeemov rsp, [r14+48]
000fadf2pop [r14+48]
000fadf6pop r11
000fadf8jmp r11
000fadfb
000fadfbloc_fadfb:
000fadfbcall caml_call_gc
000fae00jmp 0xfadc9
000fae02
000fae02loc_fae02:
000fae02push 34
000fae04call caml_call_realloc_stack
000fae09pop r10
000fae0bjmp 0xfad62
000fad50
000fae10
000fae10camlVideoc.do_backslash_newline_925:
000fae10lea r10, [rsp-328]
000fae18cmp r10, [r14+40]
000fae1cjb 0xfae5b
000fae1e
000fae1eloc_fae1e:
000fae1esub rsp, 8
000fae22mov [rsp], rbx
000fae26mov rax, [rbx+520]
000fae2dmov rbx, [rax+352]
000fae34lea rax, [rip+0x181b1d]
000fae3bmov rdi, [rbx]
000fae3ecall rdi
000fae40lea rbx, [rip+0x181b01]
000fae47mov rax, [rsp]
000fae4bmov rax, [rax+464]
000fae52add rsp, 8
000fae56jmp 0x17f150
000fae5b
000fae5bloc_fae5b:
000fae5bpush 34
000fae5dcall caml_call_realloc_stack
000fae62pop r10
000fae64jmp 0xfae1e
000fae10
000fae10camlVideoc.do_backslash_newline_925:
000fae10lea r10, [rsp-328]
000fae18cmp r10, [r14+40]
000fae1cjb 0xfae5b
000fae1e
000fae1eloc_fae1e:
000fae1esub rsp, 8
000fae22mov [rsp], rbx
000fae26mov rax, [rbx+520]
000fae2dmov rbx, [rax+352]
000fae34lea rax, [rip+0x181b1d]
000fae3bmov rdi, [rbx]
000fae3ecall rdi
000fae40lea rbx, [rip+0x181b01]
000fae47mov rax, [rsp]
000fae4bmov rax, [rax+464]
000fae52add rsp, 8
000fae56jmp 0x17f150
000fae5b
000fae5bloc_fae5b:
000fae5bpush 34
000fae5dcall caml_call_realloc_stack
000fae62pop r10
000fae64jmp 0xfae1e
000fae10
000fae66
000fae66 // align 0x10
000fae66 // align 0x10
000fae70
000fae70camlVideoc.do_four_backslashes_926:
000fae70cmp r15, [r14]
000fae73jbe 0xfae8f
000fae75
000fae75loc_fae75:
000fae75mov rax, [rbx+496]
000fae7cmov rbx, [rax+352]
000fae83lea rax, [rip+0x181aae]
000fae8amov rdi, [rbx]
000fae8djmp rdi
000fae8f
000fae8floc_fae8f:
000fae8fcall caml_call_gc
000fae94jmp 0xfae75
000fae70
000fae70camlVideoc.do_four_backslashes_926:
000fae70cmp r15, [r14]
000fae73jbe 0xfae8f
000fae75
000fae75loc_fae75:
000fae75mov rax, [rbx+496]
000fae7cmov rbx, [rax+352]
000fae83lea rax, [rip+0x181aae]
000fae8amov rdi, [rbx]
000fae8djmp rdi
000fae8f
000fae8floc_fae8f:
000fae8fcall caml_call_gc
000fae94jmp 0xfae75
000fae70
000fae96
000fae96 // align 0x10
000fae96 // align 0x10
000faea0
000faea0camlVideoc.do_edef_927:
000faea0lea r10, [rsp-352]
000faea8cmp r10, [r14+40]
000faeacjb 0xfafa5
000faeb2
000faeb2loc_faeb2:
000faeb2sub rsp, 32
000faeb6mov rax, rbx
000faeb9mov [rsp], rax
000faebdmov [rsp+8], rdi
000faec2mov rbx, [rdi+456]
000faec9mov rbx, [rbx+240]
000faed0mov rdi, [rbx]
000faed3call rdi
000faed5mov [rsp+16], rax
000faedamov rax, [rsp]
000faedecall camlLexstate.save_arg_1030
000faee3mov rbx, rax
000faee6mov eax, 1
000faeebcall camlSubst.do_do_subst_this_697
000faef0mov [rsp], rax
000faef4mov rax, [rsp+8]
000faef9mov rax, [rax+456]
000faf00mov rbx, [rax+80]
000faf04mov eax, 1
000faf09mov rdi, [rbx]
000faf0ccall rdi
000faf0ecmp rax, 1
000faf12je 0xfaf6e
000faf14mov rax, [rsp+8]
000faf19mov rax, [rax+464]
000faf20mov rax, [rax+32]
000faf24mov [rsp+24], rax
000faf29lea rbx, [rip+0x1819d8]
000faf30mov rax, [rsp]
000faf34call camlStdlib.$5e_139
000faf39mov rbx, rax
000faf3clea rax, [rip+0x1819d5]
000faf43call camlStdlib.$5e_139
000faf48mov rbx, rax
000faf4bmov rax, [rsp+16]
000faf50call camlStdlib.$5e_139
000faf55mov rbx, rax
000faf58lea rax, [rip+0x1819c9]
000faf5fcall camlStdlib.$5e_139
000faf64mov rbx, [rsp+24]
000faf69mov rdi, [rbx]
000faf6ccall rdi
000faf6e
000faf6eloc_faf6e:
000faf6emov rax, [rsp+8]
000faf73mov rbx, [rax+440]
000faf7amov rax, [rsp]
000faf7ecall camlVideoc.caml_print_914
000faf83mov rdi, rax
000faf86lea rax, [rip+0x21ba13]
000faf8dmov rbx, [rax+56]
000faf91mov rax, [rsp+16]
000faf96call camlLatexmacros.def_952
000faf9bmov eax, 1
000fafa0add rsp, 32
000fafa4ret
000fafa5
000fafa5loc_fafa5:
000fafa5push 37
000fafa7call caml_call_realloc_stack
000fafacpop r10
000fafaejmp 0xfaeb2
000faea0
000faea0camlVideoc.do_edef_927:
000faea0lea r10, [rsp-352]
000faea8cmp r10, [r14+40]
000faeacjb 0xfafa5
000faeb2
000faeb2loc_faeb2:
000faeb2sub rsp, 32
000faeb6mov rax, rbx
000faeb9mov [rsp], rax
000faebdmov [rsp+8], rdi
000faec2mov rbx, [rdi+456]
000faec9mov rbx, [rbx+240]
000faed0mov rdi, [rbx]
000faed3call rdi
000faed5mov [rsp+16], rax
000faedamov rax, [rsp]
000faedecall camlLexstate.save_arg_1030
000faee3mov rbx, rax
000faee6mov eax, 1
000faeebcall camlSubst.do_do_subst_this_697
000faef0mov [rsp], rax
000faef4mov rax, [rsp+8]
000faef9mov rax, [rax+456]
000faf00mov rbx, [rax+80]
000faf04mov eax, 1
000faf09mov rdi, [rbx]
000faf0ccall rdi
000faf0ecmp rax, 1
000faf12je 0xfaf6e
000faf14mov rax, [rsp+8]
000faf19mov rax, [rax+464]
000faf20mov rax, [rax+32]
000faf24mov [rsp+24], rax
000faf29lea rbx, [rip+0x1819d8]
000faf30mov rax, [rsp]
000faf34call camlStdlib.$5e_139
000faf39mov rbx, rax
000faf3clea rax, [rip+0x1819d5]
000faf43call camlStdlib.$5e_139
000faf48mov rbx, rax
000faf4bmov rax, [rsp+16]
000faf50call camlStdlib.$5e_139
000faf55mov rbx, rax
000faf58lea rax, [rip+0x1819c9]
000faf5fcall camlStdlib.$5e_139
000faf64mov rbx, [rsp+24]
000faf69mov rdi, [rbx]
000faf6ccall rdi
000faf6e
000faf6eloc_faf6e:
000faf6emov rax, [rsp+8]
000faf73mov rbx, [rax+440]
000faf7amov rax, [rsp]
000faf7ecall camlVideoc.caml_print_914
000faf83mov rdi, rax
000faf86lea rax, [rip+0x21ba13]
000faf8dmov rbx, [rax+56]
000faf91mov rax, [rsp+16]
000faf96call camlLatexmacros.def_952
000faf9bmov eax, 1
000fafa0add rsp, 32
000fafa4ret
000fafa5
000fafa5loc_fafa5:
000fafa5push 37
000fafa7call caml_call_realloc_stack
000fafacpop r10
000fafaejmp 0xfaeb2
000faea0
000fafb3
000fafb3 // align 0x10
000fafb3 // align 0x10
000fafc0
000fafc0camlVideoc.do_muledef_928:
000fafc0lea r10, [rsp-352]
000fafc8cmp r10, [r14+40]
000fafccjb 0xfb092
000fafd2
000fafd2loc_fafd2:
000fafd2sub rsp, 32
000fafd6mov [rsp+16], rax
000fafdbmov rax, rbx
000fafdemov [rsp], rax
000fafe2mov [rsp+8], rdi
000fafe7call camlLexstate.save_arg_1030
000fafecmov rbx, rax
000fafefmov eax, 1
000faff4call camlSubst.do_do_subst_this_697
000faff9mov [rsp+24], rax
000faffemov rax, [rsp]
000fb002call camlLexstate.save_arg_1030
000fb007mov rbx, rax
000fb00amov eax, 1
000fb00fcall camlSubst.do_do_subst_this_697
000fb014sub r15, 64
000fb018cmp r15, [r14]
000fb01bjb 0xfb08b
000fb01d
000fb01dloc_fb01d:
000fb01dlea rdi, [r15+8]
000fb021mov [rdi-8], 7415
000fb029lea rbx, [rip-16400]
000fb030mov [rdi], rbx
000fb033mov rbx, 0x200000000000007
000fb03dmov [rdi+8], rbx
000fb041lea rbx, [rip+88]
000fb048mov [rdi+16], rbx
000fb04cmov rbx, [rsp+8]
000fb051mov rbx, [rbx+408]
000fb058mov [rdi+24], rbx
000fb05cmov rbx, [rsp+16]
000fb061mov [rdi+32], rbx
000fb065mov rbx, [rsp+24]
000fb06amov [rdi+40], rbx
000fb06emov [rdi+48], rax
000fb072mov ebx, 1
000fb077mov eax, 1
000fb07ccall camlVideoc.bind_954
000fb081mov eax, 1
000fb086add rsp, 32
000fb08aret
000fb08b
000fb08bloc_fb08b:
000fb08bcall caml_call_gc
000fb090jmp 0xfb01d
000fb092
000fb092loc_fb092:
000fb092push 37
000fb094call caml_call_realloc_stack
000fb099pop r10
000fb09bjmp 0xfafd2
000fafc0
000fafc0camlVideoc.do_muledef_928:
000fafc0lea r10, [rsp-352]
000fafc8cmp r10, [r14+40]
000fafccjb 0xfb092
000fafd2
000fafd2loc_fafd2:
000fafd2sub rsp, 32
000fafd6mov [rsp+16], rax
000fafdbmov rax, rbx
000fafdemov [rsp], rax
000fafe2mov [rsp+8], rdi
000fafe7call camlLexstate.save_arg_1030
000fafecmov rbx, rax
000fafefmov eax, 1
000faff4call camlSubst.do_do_subst_this_697
000faff9mov [rsp+24], rax
000faffemov rax, [rsp]
000fb002call camlLexstate.save_arg_1030
000fb007mov rbx, rax
000fb00amov eax, 1
000fb00fcall camlSubst.do_do_subst_this_697
000fb014sub r15, 64
000fb018cmp r15, [r14]
000fb01bjb 0xfb08b
000fb01d
000fb01dloc_fb01d:
000fb01dlea rdi, [r15+8]
000fb021mov [rdi-8], 7415
000fb029lea rbx, [rip-16400]
000fb030mov [rdi], rbx
000fb033mov rbx, 0x200000000000007
000fb03dmov [rdi+8], rbx
000fb041lea rbx, [rip+88]
000fb048mov [rdi+16], rbx
000fb04cmov rbx, [rsp+8]
000fb051mov rbx, [rbx+408]
000fb058mov [rdi+24], rbx
000fb05cmov rbx, [rsp+16]
000fb061mov [rdi+32], rbx
000fb065mov rbx, [rsp+24]
000fb06amov [rdi+40], rbx
000fb06emov [rdi+48], rax
000fb072mov ebx, 1
000fb077mov eax, 1
000fb07ccall camlVideoc.bind_954
000fb081mov eax, 1
000fb086add rsp, 32
000fb08aret
000fb08b
000fb08bloc_fb08b:
000fb08bcall caml_call_gc
000fb090jmp 0xfb01d
000fb092
000fb092loc_fb092:
000fb092push 37
000fb094call caml_call_realloc_stack
000fb099pop r10
000fb09bjmp 0xfafd2
000fafc0
000fb0a0
000fb0a0camlVideoc.bind_954:
000fb0a0lea r10, [rsp-408]
000fb0a8cmp r10, [r14+40]
000fb0acjb 0xfb34d
000fb0b2
000fb0b2loc_fb0b2:
000fb0b2sub rsp, 56
000fb0b6mov rsi, rax
000fb0b9mov [rsp], rsi
000fb0bdmov [rsp+16], rbx
000fb0c2mov [rsp+48], rdi
000fb0c7lea r11, [rip+366]
000fb0cepush r11
000fb0d0push [r14+48]
000fb0d4mov [r14+48], rsp
000fb0d8mov edx, 89
000fb0ddmov rax, [rdi+40]
000fb0e1mov rbx, rsi
000fb0e4mov rdi, rdx
000fb0e7call Stdlib.String.index_from
000fb0ecmov [rsp+48], rax
000fb0f1lea r11, [rip+260]
000fb0f8push r11
000fb0fapush [r14+48]
000fb0femov [r14+48], rsp
000fb102mov edi, 89
000fb107mov rax, [rsp+80]
000fb10cmov rax, [rax+48]
000fb110mov rbx, [rsp+48]
000fb115call Stdlib.String.index_from
000fb11amov [rsp+56], rax
000fb11fmov rdi, [rsp+64]
000fb124mov rbx, [rsp+32]
000fb129sub rdi, rbx
000fb12cinc rdi
000fb12fmov rax, [rsp+80]
000fb134mov rax, [rax+40]
000fb138call Stdlib.Bytes.sub
000fb13dmov [rsp+72], rax
000fb142mov rdi, [rsp+56]
000fb147mov rbx, [rsp+48]
000fb14csub rdi, rbx
000fb14finc rdi
000fb152mov rax, [rsp+80]
000fb157mov rax, [rax+48]
000fb15bcall Stdlib.Bytes.sub
000fb160mov rbx, rax
000fb163mov [rsp+40], rbx
000fb168lea rax, [rip+0x22ef01]
000fb16fmov rax, [rax+80]
000fb173mov rax, [rax]
000fb176cmp rax, 5
000fb17ajle 0xfb1ab
000fb17clea rax, [rip+0x181765]
000fb183call camlStdlib.$5e_139
000fb188mov rbx, rax
000fb18bmov rax, [rsp+72]
000fb190call camlStdlib.$5e_139
000fb195mov rbx, rax
000fb198mov rax, [rsp+80]
000fb19dmov rax, [rax+32]
000fb1a1call camlStdlib.$5e_139
000fb1a6call camlStdlib.prerr_endline_390
000fb1ab
000fb1abloc_fb1ab:
000fb1abmov rax, [rsp+80]
000fb1b0mov rbx, [rax+24]
000fb1b4mov rax, [rsp+40]
000fb1b9call camlVideoc.caml_print_914
000fb1bemov rdi, rax
000fb1c1lea rax, [rip+0x21b7d8]
000fb1c8mov rbx, [rax+56]
000fb1ccmov rax, [rsp+72]
000fb1d1call camlLatexmacros.def_952
000fb1d6mov rbx, [rsp+56]
000fb1dbadd rbx, 2
000fb1dfmov rax, [rsp+64]
000fb1e4add rax, 2
000fb1e8mov rdi, [rsp+80]
000fb1edcall camlVideoc.bind_954
000fb1f2pop [r14+48]
000fb1f6add rsp, 8
000fb1fajmp 0xfb22c
000fb1fclea rbx, [rip+0x232415]
000fb203mov rbx, [rbx+56]
000fb207cmp rax, rbx
000fb20ajne 0xfb21c
000fb20clea rax, [rip+0x1816ad]
000fb213call camlStdlib.failwith_7
000fb218jmp 0xfb22c
000fb21anop
000fb21c
000fb21cloc_fb21c:
000fb21cmov rsp, [r14+48]
000fb220pop [r14+48]
000fb224pop r11
000fb226jmp r11
000fb229nop [rax]
000fb22c
000fb22cloc_fb22c:
000fb22cpop [r14+48]
000fb230add rsp, 8
000fb234jmp 0xfb348
000fb239nop [rax]
000fb23clea rbx, [rip+0x2323d5]
000fb243mov rbx, [rbx+56]
000fb247cmp rax, rbx
000fb24ajne 0xfb338
000fb250mov rax, [rsp+48]
000fb255mov rax, [rax+40]
000fb259mov rbx, [rax-8]
000fb25dshr rbx, 10
000fb261lea rdi, [8*rbx-1]
000fb269movzx rbx, [rax+rdi]
000fb26esub rdi, rbx
000fb271shl rdi, 1
000fb274mov rbx, [rsp]
000fb278sub rdi, rbx
000fb27badd rdi, 2
000fb27fcall Stdlib.Bytes.sub
000fb284mov [rsp+8], rax
000fb289mov rax, [rsp+48]
000fb28emov rax, [rax+48]
000fb292mov rbx, [rax-8]
000fb296shr rbx, 10
000fb29alea rdi, [8*rbx-1]
000fb2a2movzx rbx, [rax+rdi]
000fb2a7sub rdi, rbx
000fb2aashl rdi, 1
000fb2admov rbx, [rsp+16]
000fb2b2sub rdi, rbx
000fb2b5add rdi, 2
000fb2b9call Stdlib.Bytes.sub
000fb2bemov rbx, rax
000fb2c1mov [rsp], rbx
000fb2c5lea rax, [rip+0x22eda4]
000fb2ccmov rax, [rax+80]
000fb2d0mov rax, [rax]
000fb2d3cmp rax, 5
000fb2d7jle 0xfb308
000fb2d9lea rax, [rip+0x181608]
000fb2e0call camlStdlib.$5e_139
000fb2e5mov rbx, rax
000fb2e8mov rax, [rsp+8]
000fb2edcall camlStdlib.$5e_139
000fb2f2mov rbx, rax
000fb2f5mov rax, [rsp+48]
000fb2famov rax, [rax+32]
000fb2fecall camlStdlib.$5e_139
000fb303call camlStdlib.prerr_endline_390
000fb308
000fb308loc_fb308:
000fb308mov rax, [rsp+48]
000fb30dmov rbx, [rax+24]
000fb311mov rax, [rsp]
000fb315call camlVideoc.caml_print_914
000fb31amov rdi, rax
000fb31dlea rax, [rip+0x21b67c]
000fb324mov rbx, [rax+56]
000fb328mov rax, [rsp+8]
000fb32dadd rsp, 56
000fb331jmp 0x17af20
000fb336nop
000fb338
000fb338loc_fb338:
000fb338mov rsp, [r14+48]
000fb33cpop [r14+48]
000fb340pop r11
000fb342jmp r11
000fb345nop [rax]
000fb348
000fb348loc_fb348:
000fb348add rsp, 56
000fb34cret
000fb34d
000fb34dloc_fb34d:
000fb34dpush 44
000fb34fcall caml_call_realloc_stack
000fb354pop r10
000fb356jmp 0xfb0b2
000fb0a0
000fb0a0camlVideoc.bind_954:
000fb0a0lea r10, [rsp-408]
000fb0a8cmp r10, [r14+40]
000fb0acjb 0xfb34d
000fb0b2
000fb0b2loc_fb0b2:
000fb0b2sub rsp, 56
000fb0b6mov rsi, rax
000fb0b9mov [rsp], rsi
000fb0bdmov [rsp+16], rbx
000fb0c2mov [rsp+48], rdi
000fb0c7lea r11, [rip+366]
000fb0cepush r11
000fb0d0push [r14+48]
000fb0d4mov [r14+48], rsp
000fb0d8mov edx, 89
000fb0ddmov rax, [rdi+40]
000fb0e1mov rbx, rsi
000fb0e4mov rdi, rdx
000fb0e7call Stdlib.String.index_from
000fb0ecmov [rsp+48], rax
000fb0f1lea r11, [rip+260]
000fb0f8push r11
000fb0fapush [r14+48]
000fb0femov [r14+48], rsp
000fb102mov edi, 89
000fb107mov rax, [rsp+80]
000fb10cmov rax, [rax+48]
000fb110mov rbx, [rsp+48]
000fb115call Stdlib.String.index_from
000fb11amov [rsp+56], rax
000fb11fmov rdi, [rsp+64]
000fb124mov rbx, [rsp+32]
000fb129sub rdi, rbx
000fb12cinc rdi
000fb12fmov rax, [rsp+80]
000fb134mov rax, [rax+40]
000fb138call Stdlib.Bytes.sub
000fb13dmov [rsp+72], rax
000fb142mov rdi, [rsp+56]
000fb147mov rbx, [rsp+48]
000fb14csub rdi, rbx
000fb14finc rdi
000fb152mov rax, [rsp+80]
000fb157mov rax, [rax+48]
000fb15bcall Stdlib.Bytes.sub
000fb160mov rbx, rax
000fb163mov [rsp+40], rbx
000fb168lea rax, [rip+0x22ef01]
000fb16fmov rax, [rax+80]
000fb173mov rax, [rax]
000fb176cmp rax, 5
000fb17ajle 0xfb1ab
000fb17clea rax, [rip+0x181765]
000fb183call camlStdlib.$5e_139
000fb188mov rbx, rax
000fb18bmov rax, [rsp+72]
000fb190call camlStdlib.$5e_139
000fb195mov rbx, rax
000fb198mov rax, [rsp+80]
000fb19dmov rax, [rax+32]
000fb1a1call camlStdlib.$5e_139
000fb1a6call camlStdlib.prerr_endline_390
000fb1ab
000fb1abloc_fb1ab:
000fb1abmov rax, [rsp+80]
000fb1b0mov rbx, [rax+24]
000fb1b4mov rax, [rsp+40]
000fb1b9call camlVideoc.caml_print_914
000fb1bemov rdi, rax
000fb1c1lea rax, [rip+0x21b7d8]
000fb1c8mov rbx, [rax+56]
000fb1ccmov rax, [rsp+72]
000fb1d1call camlLatexmacros.def_952
000fb1d6mov rbx, [rsp+56]
000fb1dbadd rbx, 2
000fb1dfmov rax, [rsp+64]
000fb1e4add rax, 2
000fb1e8mov rdi, [rsp+80]
000fb1edcall camlVideoc.bind_954
000fb1f2pop [r14+48]
000fb1f6add rsp, 8
000fb1fajmp 0xfb22c
000fb1fclea rbx, [rip+0x232415]
000fb203mov rbx, [rbx+56]
000fb207cmp rax, rbx
000fb20ajne 0xfb21c
000fb20clea rax, [rip+0x1816ad]
000fb213call camlStdlib.failwith_7
000fb218jmp 0xfb22c
000fb21anop
000fb21c
000fb21cloc_fb21c:
000fb21cmov rsp, [r14+48]
000fb220pop [r14+48]
000fb224pop r11
000fb226jmp r11
000fb229nop [rax]
000fb22c
000fb22cloc_fb22c:
000fb22cpop [r14+48]
000fb230add rsp, 8
000fb234jmp 0xfb348
000fb239nop [rax]
000fb23clea rbx, [rip+0x2323d5]
000fb243mov rbx, [rbx+56]
000fb247cmp rax, rbx
000fb24ajne 0xfb338
000fb250mov rax, [rsp+48]
000fb255mov rax, [rax+40]
000fb259mov rbx, [rax-8]
000fb25dshr rbx, 10
000fb261lea rdi, [8*rbx-1]
000fb269movzx rbx, [rax+rdi]
000fb26esub rdi, rbx
000fb271shl rdi, 1
000fb274mov rbx, [rsp]
000fb278sub rdi, rbx
000fb27badd rdi, 2
000fb27fcall Stdlib.Bytes.sub
000fb284mov [rsp+8], rax
000fb289mov rax, [rsp+48]
000fb28emov rax, [rax+48]
000fb292mov rbx, [rax-8]
000fb296shr rbx, 10
000fb29alea rdi, [8*rbx-1]
000fb2a2movzx rbx, [rax+rdi]
000fb2a7sub rdi, rbx
000fb2aashl rdi, 1
000fb2admov rbx, [rsp+16]
000fb2b2sub rdi, rbx
000fb2b5add rdi, 2
000fb2b9call Stdlib.Bytes.sub
000fb2bemov rbx, rax
000fb2c1mov [rsp], rbx
000fb2c5lea rax, [rip+0x22eda4]
000fb2ccmov rax, [rax+80]
000fb2d0mov rax, [rax]
000fb2d3cmp rax, 5
000fb2d7jle 0xfb308
000fb2d9lea rax, [rip+0x181608]
000fb2e0call camlStdlib.$5e_139
000fb2e5mov rbx, rax
000fb2e8mov rax, [rsp+8]
000fb2edcall camlStdlib.$5e_139
000fb2f2mov rbx, rax
000fb2f5mov rax, [rsp+48]
000fb2famov rax, [rax+32]
000fb2fecall camlStdlib.$5e_139
000fb303call camlStdlib.prerr_endline_390
000fb308
000fb308loc_fb308:
000fb308mov rax, [rsp+48]
000fb30dmov rbx, [rax+24]
000fb311mov rax, [rsp]
000fb315call camlVideoc.caml_print_914
000fb31amov rdi, rax
000fb31dlea rax, [rip+0x21b67c]
000fb324mov rbx, [rax+56]
000fb328mov rax, [rsp+8]
000fb32dadd rsp, 56
000fb331jmp 0x17af20
000fb336nop
000fb338
000fb338loc_fb338:
000fb338mov rsp, [r14+48]
000fb33cpop [r14+48]
000fb340pop r11
000fb342jmp r11
000fb345nop [rax]
000fb348
000fb348loc_fb348:
000fb348add rsp, 56
000fb34cret
000fb34d
000fb34dloc_fb34d:
000fb34dpush 44
000fb34fcall caml_call_realloc_stack
000fb354pop r10
000fb356jmp 0xfb0b2
000fb0a0
000fb35b
000fb35b // align 0x10
000fb35b // align 0x10
000fb360
000fb360camlVideoc.do_snippet_929:
000fb360lea r10, [rsp-360]
000fb368cmp r10, [r14+40]
000fb36cjb 0xfb7f9
000fb372
000fb372loc_fb372:
000fb372sub rsp, 24
000fb376mov rsi, rax
000fb379mov rax, [rbx+272]
000fb380mov rax, [rax]
000fb383cmp rax, 1
000fb387je 0xfb3c8
000fb389sub r15, 24
000fb38dcmp r15, [r14]
000fb390jb 0xfb7ef
000fb396
000fb396loc_fb396:
000fb396lea rax, [r15+8]
000fb39amov [rax-8], 2048
000fb3a2lea rbx, [rip+0x22ecc7]
000fb3a9mov rbx, [rbx+24]
000fb3admov [rax], rbx
000fb3b0lea rbx, [rip+0x1814e1]
000fb3b7mov [rax+8], rbx
000fb3bbmov rsp, [r14+48]
000fb3bfpop [r14+48]
000fb3c3pop r11
000fb3c5jmp r11
000fb3c8
000fb3c8loc_fb3c8:
000fb3c8mov [rsp+8], rbx
000fb3cdmov [rsp+16], rsi
000fb3d2mov rax, [rbx+392]
000fb3d9mov rdi, [rax+232]
000fb3e0lea rax, [rip+0x181491]
000fb3e7mov rbx, rsi
000fb3eacall caml_apply2
000fb3efmov r12, rax
000fb3f2lea rsi, [rip+0x18072f]
000fb3f9mov rdi, r12
000fb3fcmov rbx, rsp
000fb3ffmov rsp, [r14+64]
000fb403call caml_string_equal
000fb408mov rsp, rbx
000fb40bcmp rax, 1
000fb40fje 0xfb420
000fb411lea r12, [rip+0x181460]
000fb418mov [rsp], r12
000fb41cjmp 0xfb424
000fb41enop
000fb420
000fb420loc_fb420:
000fb420mov [rsp], r12
000fb424
000fb424loc_fb424:
000fb424mov rax, [rsp+8]
000fb429mov rdi, [rax+360]
000fb430add rdi, 24
000fb434mov ebx, 39
000fb439mov rax, [rsp+16]
000fb43ecall Videoc..ocaml_lex_skip_blanks_till_eol_included_rec
000fb443mov rax, [rsp+8]
000fb448mov rax, [rax+408]
000fb44fmov rbx, [rax+352]
000fb456lea rax, [rip+0x18140b]
000fb45dmov rdi, [rbx]
000fb460call rdi
000fb462lea rbx, [rip+0x1813c7]
000fb469mov rax, [rsp]
000fb46dcall camlStdlib.$5e_139
000fb472mov rbx, rax
000fb475lea rax, [rip+0x1813c4]
000fb47ccall camlStdlib.$5e_139
000fb481mov rbx, rax
000fb484mov rax, [rsp+8]
000fb489mov rax, [rax+392]
000fb490mov rdi, [rax+112]
000fb494lea rax, [rip+0x1813bd]
000fb49bcall caml_apply2
000fb4a0mov rax, [rsp+8]
000fb4a5mov rax, [rax+408]
000fb4acmov rbx, [rax+352]
000fb4b3lea rax, [rip+0x18148e]
000fb4bamov rdi, [rbx]
000fb4bdcall rdi
000fb4bfmov rax, [rsp+8]
000fb4c4mov rax, [rax+392]
000fb4cbmov rbx, [rax+64]
000fb4cflea rax, [rip+0x180332]
000fb4d6mov rdi, [rbx]
000fb4d9call rdi
000fb4dbsub r15, 16
000fb4dfcmp r15, [r14]
000fb4e2jb 0xfb7e5
000fb4e8
000fb4e8loc_fb4e8:
000fb4e8lea rdi, [r15+8]
000fb4ecmov [rdi-8], 1026
000fb4f4mov rax, [rsp+8]
000fb4f9add rax, -184
000fb4ffmov [rdi], rax
000fb502lea rax, [rip+0x21b497]
000fb509mov rbx, [rax+56]
000fb50dlea rax, [rip+0x18042c]
000fb514call camlLatexmacros.def_952
000fb519sub r15, 16
000fb51dcmp r15, [r14]
000fb520jb 0xfb7db
000fb526
000fb526loc_fb526:
000fb526lea rdi, [r15+8]
000fb52amov [rdi-8], 1026
000fb532mov rax, [rsp+8]
000fb537add rax, -160
000fb53dmov [rdi], rax
000fb540lea rax, [rip+0x21b459]
000fb547mov rbx, [rax+56]
000fb54blea rax, [rip+0x1812ce]
000fb552call camlLatexmacros.def_952
000fb557sub r15, 16
000fb55bcmp r15, [r14]
000fb55ejb 0xfb7d1
000fb564
000fb564loc_fb564:
000fb564lea rdi, [r15+8]
000fb568mov [rdi-8], 1026
000fb570mov rax, [rsp+8]
000fb575add rax, -136
000fb57bmov [rdi], rax
000fb57elea rax, [rip+0x21b41b]
000fb585mov rbx, [rax+56]
000fb589lea rax, [rip+0x181280]
000fb590call camlLatexmacros.def_952
000fb595sub r15, 16
000fb599cmp r15, [r14]
000fb59cjb 0xfb7c7
000fb5a2
000fb5a2loc_fb5a2:
000fb5a2lea rdi, [r15+8]
000fb5a6mov [rdi-8], 1026
000fb5aemov rax, [rsp+8]
000fb5b3add rax, -88
000fb5b7mov [rdi], rax
000fb5balea rax, [rip+0x21b3df]
000fb5c1mov rbx, [rax+56]
000fb5c5lea rax, [rip+0x181234]
000fb5cccall camlLatexmacros.def_952
000fb5d1sub r15, 16
000fb5d5cmp r15, [r14]
000fb5d8jb 0xfb7bd
000fb5de
000fb5deloc_fb5de:
000fb5delea rdi, [r15+8]
000fb5e2mov [rdi-8], 1026
000fb5eamov rax, [rsp+8]
000fb5efadd rax, -112
000fb5f3mov [rdi], rax
000fb5f6lea rax, [rip+0x21b3a3]
000fb5fdmov rbx, [rax+56]
000fb601lea rax, [rip+0x181350]
000fb608call camlLatexmacros.def_952
000fb60dmov r12, [rsp+8]
000fb612mov rdi, [r12+296]
000fb61amov rsi, [rsp]
000fb61emov rbx, rsp
000fb621mov rsp, [r14+64]
000fb625call caml_modify
000fb62amov rsp, rbx
000fb62dmov rax, [r12+304]
000fb635mov [rax], 1
000fb63cmov rax, [r12+312]
000fb644mov [rax], 1
000fb64bmov rax, [r12+272]
000fb653mov [rax], 3
000fb65amov rax, [r12+392]
000fb662mov rbx, [rax+24]
000fb666mov rax, [r12+320]
000fb66emov rsi, [rax+24]
000fb672lea rdi, [rip+0x181177]
000fb679lea rax, [rip+0x1810c8]
000fb680call camlVideoc.runHook_628
000fb685lea r11, [rip+56]
000fb68cpush r11
000fb68epush [r14+48]
000fb692mov [r14+48], rsp
000fb696mov rax, [rsp+24]
000fb69bmov rdi, [rax+352]
000fb6a2add rdi, 24
000fb6a6mov ebx, 1
000fb6abmov rax, [rsp+32]
000fb6b0call Videoc..ocaml_lex_snippetenv_rec
000fb6b5pop [r14+48]
000fb6b9add rsp, 8
000fb6bdjmp 0xfb7b8
000fb6c2nop
000fb6c4mov [rsp], rax
000fb6c8mov rdi, [rsp+8]
000fb6cdmov rax, [rdi+392]
000fb6d4mov rbx, [rax+24]
000fb6d8mov rax, [rdi+320]
000fb6dfmov rsi, [rax+24]
000fb6e3lea rdi, [rip+0x18032e]
000fb6ealea rax, [rip+0x181057]
000fb6f1call camlVideoc.runHook_628
000fb6f6mov rdi, [rsp+8]
000fb6fbmov rax, [rdi+392]
000fb702mov rbx, [rax+24]
000fb706mov rax, [rdi+320]
000fb70dmov rsi, [rax+24]
000fb711lea rdi, [rip+0x1810c8]
000fb718lea rax, [rip+0x181029]
000fb71fcall camlVideoc.runHook_628
000fb724mov rbx, [rsp+8]
000fb729mov rax, [rbx+272]
000fb730mov [rax], 1
000fb737mov rax, [rbx+392]
000fb73emov rbx, [rax+72]
000fb742lea rax, [rip+0x1800bf]
000fb749mov rdi, [rbx]
000fb74ccall rdi
000fb74emov rax, [rsp+8]
000fb753mov rax, [rax+392]
000fb75amov rbx, [rax+120]
000fb75elea rax, [rip+0x1810f3]
000fb765mov rdi, [rbx]
000fb768call rdi
000fb76alea r11, [rip+28]
000fb771push r11
000fb773push [r14+48]
000fb777mov [r14+48], rsp
000fb77bmov rax, [rsp+16]
000fb780mov rsp, [r14+48]
000fb784pop [r14+48]
000fb788pop r11
000fb78ajmp r11
000fb78dmov rbx, [rsp+8]
000fb792mov rbx, [rbx+256]
000fb799cmp rax, rbx
000fb79cjne 0xfb7a8
000fb79emov eax, 1
000fb7a3add rsp, 24
000fb7a7ret
000fb7a8
000fb7a8loc_fb7a8:
000fb7a8mov rsp, [r14+48]
000fb7acpop [r14+48]
000fb7b0pop r11
000fb7b2jmp r11
000fb7b5nop [rax]
000fb7b8
000fb7b8loc_fb7b8:
000fb7b8add rsp, 24
000fb7bcret
000fb7bd
000fb7bdloc_fb7bd:
000fb7bdcall caml_call_gc
000fb7c2jmp 0xfb5de
000fb7c7
000fb7c7loc_fb7c7:
000fb7c7call caml_call_gc
000fb7ccjmp 0xfb5a2
000fb7d1
000fb7d1loc_fb7d1:
000fb7d1call caml_call_gc
000fb7d6jmp 0xfb564
000fb7db
000fb7dbloc_fb7db:
000fb7dbcall caml_call_gc
000fb7e0jmp 0xfb526
000fb7e5
000fb7e5loc_fb7e5:
000fb7e5call caml_call_gc
000fb7eajmp 0xfb4e8
000fb7ef
000fb7efloc_fb7ef:
000fb7efcall caml_call_gc
000fb7f4jmp 0xfb396
000fb7f9
000fb7f9loc_fb7f9:
000fb7f9push 38
000fb7fbcall caml_call_realloc_stack
000fb800pop r10
000fb802jmp 0xfb372
000fb360
000fb360camlVideoc.do_snippet_929:
000fb360lea r10, [rsp-360]
000fb368cmp r10, [r14+40]
000fb36cjb 0xfb7f9
000fb372
000fb372loc_fb372:
000fb372sub rsp, 24
000fb376mov rsi, rax
000fb379mov rax, [rbx+272]
000fb380mov rax, [rax]
000fb383cmp rax, 1
000fb387je 0xfb3c8
000fb389sub r15, 24
000fb38dcmp r15, [r14]
000fb390jb 0xfb7ef
000fb396
000fb396loc_fb396:
000fb396lea rax, [r15+8]
000fb39amov [rax-8], 2048
000fb3a2lea rbx, [rip+0x22ecc7]
000fb3a9mov rbx, [rbx+24]
000fb3admov [rax], rbx
000fb3b0lea rbx, [rip+0x1814e1]
000fb3b7mov [rax+8], rbx
000fb3bbmov rsp, [r14+48]
000fb3bfpop [r14+48]
000fb3c3pop r11
000fb3c5jmp r11
000fb3c8
000fb3c8loc_fb3c8:
000fb3c8mov [rsp+8], rbx
000fb3cdmov [rsp+16], rsi
000fb3d2mov rax, [rbx+392]
000fb3d9mov rdi, [rax+232]
000fb3e0lea rax, [rip+0x181491]
000fb3e7mov rbx, rsi
000fb3eacall caml_apply2
000fb3efmov r12, rax
000fb3f2lea rsi, [rip+0x18072f]
000fb3f9mov rdi, r12
000fb3fcmov rbx, rsp
000fb3ffmov rsp, [r14+64]
000fb403call caml_string_equal
000fb408mov rsp, rbx
000fb40bcmp rax, 1
000fb40fje 0xfb420
000fb411lea r12, [rip+0x181460]
000fb418mov [rsp], r12
000fb41cjmp 0xfb424
000fb41enop
000fb420
000fb420loc_fb420:
000fb420mov [rsp], r12
000fb424
000fb424loc_fb424:
000fb424mov rax, [rsp+8]
000fb429mov rdi, [rax+360]
000fb430add rdi, 24
000fb434mov ebx, 39
000fb439mov rax, [rsp+16]
000fb43ecall Videoc..ocaml_lex_skip_blanks_till_eol_included_rec
000fb443mov rax, [rsp+8]
000fb448mov rax, [rax+408]
000fb44fmov rbx, [rax+352]
000fb456lea rax, [rip+0x18140b]
000fb45dmov rdi, [rbx]
000fb460call rdi
000fb462lea rbx, [rip+0x1813c7]
000fb469mov rax, [rsp]
000fb46dcall camlStdlib.$5e_139
000fb472mov rbx, rax
000fb475lea rax, [rip+0x1813c4]
000fb47ccall camlStdlib.$5e_139
000fb481mov rbx, rax
000fb484mov rax, [rsp+8]
000fb489mov rax, [rax+392]
000fb490mov rdi, [rax+112]
000fb494lea rax, [rip+0x1813bd]
000fb49bcall caml_apply2
000fb4a0mov rax, [rsp+8]
000fb4a5mov rax, [rax+408]
000fb4acmov rbx, [rax+352]
000fb4b3lea rax, [rip+0x18148e]
000fb4bamov rdi, [rbx]
000fb4bdcall rdi
000fb4bfmov rax, [rsp+8]
000fb4c4mov rax, [rax+392]
000fb4cbmov rbx, [rax+64]
000fb4cflea rax, [rip+0x180332]
000fb4d6mov rdi, [rbx]
000fb4d9call rdi
000fb4dbsub r15, 16
000fb4dfcmp r15, [r14]
000fb4e2jb 0xfb7e5
000fb4e8
000fb4e8loc_fb4e8:
000fb4e8lea rdi, [r15+8]
000fb4ecmov [rdi-8], 1026
000fb4f4mov rax, [rsp+8]
000fb4f9add rax, -184
000fb4ffmov [rdi], rax
000fb502lea rax, [rip+0x21b497]
000fb509mov rbx, [rax+56]
000fb50dlea rax, [rip+0x18042c]
000fb514call camlLatexmacros.def_952
000fb519sub r15, 16
000fb51dcmp r15, [r14]
000fb520jb 0xfb7db
000fb526
000fb526loc_fb526:
000fb526lea rdi, [r15+8]
000fb52amov [rdi-8], 1026
000fb532mov rax, [rsp+8]
000fb537add rax, -160
000fb53dmov [rdi], rax
000fb540lea rax, [rip+0x21b459]
000fb547mov rbx, [rax+56]
000fb54blea rax, [rip+0x1812ce]
000fb552call camlLatexmacros.def_952
000fb557sub r15, 16
000fb55bcmp r15, [r14]
000fb55ejb 0xfb7d1
000fb564
000fb564loc_fb564:
000fb564lea rdi, [r15+8]
000fb568mov [rdi-8], 1026
000fb570mov rax, [rsp+8]
000fb575add rax, -136
000fb57bmov [rdi], rax
000fb57elea rax, [rip+0x21b41b]
000fb585mov rbx, [rax+56]
000fb589lea rax, [rip+0x181280]
000fb590call camlLatexmacros.def_952
000fb595sub r15, 16
000fb599cmp r15, [r14]
000fb59cjb 0xfb7c7
000fb5a2
000fb5a2loc_fb5a2:
000fb5a2lea rdi, [r15+8]
000fb5a6mov [rdi-8], 1026
000fb5aemov rax, [rsp+8]
000fb5b3add rax, -88
000fb5b7mov [rdi], rax
000fb5balea rax, [rip+0x21b3df]
000fb5c1mov rbx, [rax+56]
000fb5c5lea rax, [rip+0x181234]
000fb5cccall camlLatexmacros.def_952
000fb5d1sub r15, 16
000fb5d5cmp r15, [r14]
000fb5d8jb 0xfb7bd
000fb5de
000fb5deloc_fb5de:
000fb5delea rdi, [r15+8]
000fb5e2mov [rdi-8], 1026
000fb5eamov rax, [rsp+8]
000fb5efadd rax, -112
000fb5f3mov [rdi], rax
000fb5f6lea rax, [rip+0x21b3a3]
000fb5fdmov rbx, [rax+56]
000fb601lea rax, [rip+0x181350]
000fb608call camlLatexmacros.def_952
000fb60dmov r12, [rsp+8]
000fb612mov rdi, [r12+296]
000fb61amov rsi, [rsp]
000fb61emov rbx, rsp
000fb621mov rsp, [r14+64]
000fb625call caml_modify
000fb62amov rsp, rbx
000fb62dmov rax, [r12+304]
000fb635mov [rax], 1
000fb63cmov rax, [r12+312]
000fb644mov [rax], 1
000fb64bmov rax, [r12+272]
000fb653mov [rax], 3
000fb65amov rax, [r12+392]
000fb662mov rbx, [rax+24]
000fb666mov rax, [r12+320]
000fb66emov rsi, [rax+24]
000fb672lea rdi, [rip+0x181177]
000fb679lea rax, [rip+0x1810c8]
000fb680call camlVideoc.runHook_628
000fb685lea r11, [rip+56]
000fb68cpush r11
000fb68epush [r14+48]
000fb692mov [r14+48], rsp
000fb696mov rax, [rsp+24]
000fb69bmov rdi, [rax+352]
000fb6a2add rdi, 24
000fb6a6mov ebx, 1
000fb6abmov rax, [rsp+32]
000fb6b0call Videoc..ocaml_lex_snippetenv_rec
000fb6b5pop [r14+48]
000fb6b9add rsp, 8
000fb6bdjmp 0xfb7b8
000fb6c2nop
000fb6c4mov [rsp], rax
000fb6c8mov rdi, [rsp+8]
000fb6cdmov rax, [rdi+392]
000fb6d4mov rbx, [rax+24]
000fb6d8mov rax, [rdi+320]
000fb6dfmov rsi, [rax+24]
000fb6e3lea rdi, [rip+0x18032e]
000fb6ealea rax, [rip+0x181057]
000fb6f1call camlVideoc.runHook_628
000fb6f6mov rdi, [rsp+8]
000fb6fbmov rax, [rdi+392]
000fb702mov rbx, [rax+24]
000fb706mov rax, [rdi+320]
000fb70dmov rsi, [rax+24]
000fb711lea rdi, [rip+0x1810c8]
000fb718lea rax, [rip+0x181029]
000fb71fcall camlVideoc.runHook_628
000fb724mov rbx, [rsp+8]
000fb729mov rax, [rbx+272]
000fb730mov [rax], 1
000fb737mov rax, [rbx+392]
000fb73emov rbx, [rax+72]
000fb742lea rax, [rip+0x1800bf]
000fb749mov rdi, [rbx]
000fb74ccall rdi
000fb74emov rax, [rsp+8]
000fb753mov rax, [rax+392]
000fb75amov rbx, [rax+120]
000fb75elea rax, [rip+0x1810f3]
000fb765mov rdi, [rbx]
000fb768call rdi
000fb76alea r11, [rip+28]
000fb771push r11
000fb773push [r14+48]
000fb777mov [r14+48], rsp
000fb77bmov rax, [rsp+16]
000fb780mov rsp, [r14+48]
000fb784pop [r14+48]
000fb788pop r11
000fb78ajmp r11
000fb78dmov rbx, [rsp+8]
000fb792mov rbx, [rbx+256]
000fb799cmp rax, rbx
000fb79cjne 0xfb7a8
000fb79emov eax, 1
000fb7a3add rsp, 24
000fb7a7ret
000fb7a8
000fb7a8loc_fb7a8:
000fb7a8mov rsp, [r14+48]
000fb7acpop [r14+48]
000fb7b0pop r11
000fb7b2jmp r11
000fb7b5nop [rax]
000fb7b8
000fb7b8loc_fb7b8:
000fb7b8add rsp, 24
000fb7bcret
000fb7bd
000fb7bdloc_fb7bd:
000fb7bdcall caml_call_gc
000fb7c2jmp 0xfb5de
000fb7c7
000fb7c7loc_fb7c7:
000fb7c7call caml_call_gc
000fb7ccjmp 0xfb5a2
000fb7d1
000fb7d1loc_fb7d1:
000fb7d1call caml_call_gc
000fb7d6jmp 0xfb564
000fb7db
000fb7dbloc_fb7db:
000fb7dbcall caml_call_gc
000fb7e0jmp 0xfb526
000fb7e5
000fb7e5loc_fb7e5:
000fb7e5call caml_call_gc
000fb7eajmp 0xfb4e8
000fb7ef
000fb7efloc_fb7ef:
000fb7efcall caml_call_gc
000fb7f4jmp 0xfb396
000fb7f9
000fb7f9loc_fb7f9:
000fb7f9push 38
000fb7fbcall caml_call_realloc_stack
000fb800pop r10
000fb802jmp 0xfb372
000fb360
000fb807
000fb807 // align 0x10
000fb807 // align 0x10
000fb810
000fb810camlVideoc.do_enable_backslashed_chars_930:
000fb810lea r10, [rsp-352]
000fb818cmp r10, [r14+40]
000fb81cjb 0xfb95e
000fb822
000fb822loc_fb822:
000fb822sub rsp, 32
000fb826mov [rsp+8], rbx
000fb82bcall camlLexstate.save_arg_1030
000fb830mov rbx, rax
000fb833mov eax, 1
000fb838call camlSubst.do_do_subst_this_697
000fb83dmov rbx, rax
000fb840mov [rsp], rbx
000fb844lea rax, [rip+0x22e825]
000fb84bmov rax, [rax+80]
000fb84fmov rax, [rax]
000fb852cmp rax, 5
000fb856jle 0xfb869
000fb858lea rax, [rip+0x180f61]
000fb85fcall camlStdlib.$5e_139
000fb864call camlStdlib.prerr_endline_390
000fb869
000fb869loc_fb869:
000fb869mov ebx, 1
000fb86emov rsi, [rsp]
000fb872mov rax, [rsi-8]
000fb876shr rax, 10
000fb87alea rax, [8*rax-1]
000fb882movzx rdi, [rsi+rax]
000fb887sub rax, rdi
000fb88alea rax, [rax+rax-1]
000fb88fcmp rbx, rax
000fb892jg 0xfb94a
000fb898mov [rsp+24], rax
000fb89dmov [rsp+16], rbx
000fb8a2mov [rsp], rsi
000fb8a6
000fb8a6loc_fb8a6:
000fb8a6mov edi, 3
000fb8abmov rax, [rsp]
000fb8afcall Stdlib.Bytes.sub
000fb8b4mov rbx, rax
000fb8b7lea rax, [rip+0x18107a]
000fb8becall camlStdlib.$5e_139
000fb8c3sub r15, 56
000fb8c7cmp r15, [r14]
000fb8cajb 0xfb954
000fb8d0
000fb8d0loc_fb8d0:
000fb8d0lea rbx, [r15+8]
000fb8d4add rbx, 16
000fb8d8mov [rbx-8], 4343
000fb8e0lea rdi, [rip+137]
000fb8e7mov [rbx], rdi
000fb8eamov rdi, 0x100000000000005
000fb8f4mov [rbx+8], rdi
000fb8f8mov [rbx+16], rax
000fb8fcmov rdi, [rsp+8]
000fb901mov rdi, [rdi+384]
000fb908mov [rbx+24], rdi
000fb90clea rdi, [rbx-16]
000fb910mov [rdi-8], 1026
000fb918mov [rdi], rbx
000fb91blea rbx, [rip+0x21b07e]
000fb922mov rbx, [rbx+56]
000fb926call camlLatexmacros.def_952
000fb92bmov rbx, [rsp+16]
000fb930mov rax, rbx
000fb933add rbx, 2
000fb937mov [rsp+16], rbx
000fb93cmov rdi, [rsp+24]
000fb941cmp rax, rdi
000fb944jne 0xfb8a6
000fb94a
000fb94aloc_fb94a:
000fb94amov eax, 1
000fb94fadd rsp, 32
000fb953ret
000fb954
000fb954loc_fb954:
000fb954call caml_call_gc
000fb959jmp 0xfb8d0
000fb95e
000fb95eloc_fb95e:
000fb95epush 37
000fb960call caml_call_realloc_stack
000fb965pop r10
000fb967jmp 0xfb822
000fb810
000fb810camlVideoc.do_enable_backslashed_chars_930:
000fb810lea r10, [rsp-352]
000fb818cmp r10, [r14+40]
000fb81cjb 0xfb95e
000fb822
000fb822loc_fb822:
000fb822sub rsp, 32
000fb826mov [rsp+8], rbx
000fb82bcall camlLexstate.save_arg_1030
000fb830mov rbx, rax
000fb833mov eax, 1
000fb838call camlSubst.do_do_subst_this_697
000fb83dmov rbx, rax
000fb840mov [rsp], rbx
000fb844lea rax, [rip+0x22e825]
000fb84bmov rax, [rax+80]
000fb84fmov rax, [rax]
000fb852cmp rax, 5
000fb856jle 0xfb869
000fb858lea rax, [rip+0x180f61]
000fb85fcall camlStdlib.$5e_139
000fb864call camlStdlib.prerr_endline_390
000fb869
000fb869loc_fb869:
000fb869mov ebx, 1
000fb86emov rsi, [rsp]
000fb872mov rax, [rsi-8]
000fb876shr rax, 10
000fb87alea rax, [8*rax-1]
000fb882movzx rdi, [rsi+rax]
000fb887sub rax, rdi
000fb88alea rax, [rax+rax-1]
000fb88fcmp rbx, rax
000fb892jg 0xfb94a
000fb898mov [rsp+24], rax
000fb89dmov [rsp+16], rbx
000fb8a2mov [rsp], rsi
000fb8a6
000fb8a6loc_fb8a6:
000fb8a6mov edi, 3
000fb8abmov rax, [rsp]
000fb8afcall Stdlib.Bytes.sub
000fb8b4mov rbx, rax
000fb8b7lea rax, [rip+0x18107a]
000fb8becall camlStdlib.$5e_139
000fb8c3sub r15, 56
000fb8c7cmp r15, [r14]
000fb8cajb 0xfb954
000fb8d0
000fb8d0loc_fb8d0:
000fb8d0lea rbx, [r15+8]
000fb8d4add rbx, 16
000fb8d8mov [rbx-8], 4343
000fb8e0lea rdi, [rip+137]
000fb8e7mov [rbx], rdi
000fb8eamov rdi, 0x100000000000005
000fb8f4mov [rbx+8], rdi
000fb8f8mov [rbx+16], rax
000fb8fcmov rdi, [rsp+8]
000fb901mov rdi, [rdi+384]
000fb908mov [rbx+24], rdi
000fb90clea rdi, [rbx-16]
000fb910mov [rdi-8], 1026
000fb918mov [rdi], rbx
000fb91blea rbx, [rip+0x21b07e]
000fb922mov rbx, [rbx+56]
000fb926call camlLatexmacros.def_952
000fb92bmov rbx, [rsp+16]
000fb930mov rax, rbx
000fb933add rbx, 2
000fb937mov [rsp+16], rbx
000fb93cmov rdi, [rsp+24]
000fb941cmp rax, rdi
000fb944jne 0xfb8a6
000fb94a
000fb94aloc_fb94a:
000fb94amov eax, 1
000fb94fadd rsp, 32
000fb953ret
000fb954
000fb954loc_fb954:
000fb954call caml_call_gc
000fb959jmp 0xfb8d0
000fb95e
000fb95eloc_fb95e:
000fb95epush 37
000fb960call caml_call_realloc_stack
000fb965pop r10
000fb967jmp 0xfb822
000fb810
000fb96c
000fb96c // align 0x10
000fb96c // align 0x10
000fb970
000fb970camlVideoc.fun_1289:
000fb970cmp r15, [r14]
000fb973jbe 0xfb98c
000fb975
000fb975loc_fb975:
000fb975mov rax, [rbx+24]
000fb979mov rdi, [rax+352]
000fb980mov rax, [rbx+16]
000fb984mov rsi, [rdi]
000fb987mov rbx, rdi
000fb98ajmp rsi
000fb98c
000fb98cloc_fb98c:
000fb98ccall caml_call_gc
000fb991jmp 0xfb975
000fb970
000fb970camlVideoc.fun_1289:
000fb970cmp r15, [r14]
000fb973jbe 0xfb98c
000fb975
000fb975loc_fb975:
000fb975mov rax, [rbx+24]
000fb979mov rdi, [rax+352]
000fb980mov rax, [rbx+16]
000fb984mov rsi, [rdi]
000fb987mov rbx, rdi
000fb98ajmp rsi
000fb98c
000fb98cloc_fb98c:
000fb98ccall caml_call_gc
000fb991jmp 0xfb975
000fb970
000fb993
000fb993 // align 0x10
000fb993 // align 0x10
000fb9a0
000fb9a0camlVideoc.do_enableLispComment_931:
000fb9a0mov rax, [rbx+256]
000fb9a7mov [rax], 3
000fb9aemov eax, 1
000fb9b3ret
000fb9a0
000fb9a0camlVideoc.do_enableLispComment_931:
000fb9a0mov rax, [rbx+256]
000fb9a7mov [rax], 3
000fb9aemov eax, 1
000fb9b3ret
000fb9a0
000fb9b4
000fb9b4 // align 0x10
000fb9b4 // align 0x10
000fb9c0
000fb9c0camlVideoc.do_disableLispComment_932:
000fb9c0mov rax, [rbx+232]
000fb9c7mov [rax], 1
000fb9cemov eax, 1
000fb9d3ret
000fb9c0
000fb9c0camlVideoc.do_disableLispComment_932:
000fb9c0mov rax, [rbx+232]
000fb9c7mov [rax], 1
000fb9cemov eax, 1
000fb9d3ret
000fb9c0
000fb9d4
000fb9d4 // align 0x10
000fb9d4 // align 0x10
000fb9e0
000fb9e0camlVideoc.do_enableSchemeCharacters_933:
000fb9e0mov rax, [rbx+216]
000fb9e7mov [rax], 3
000fb9eemov eax, 1
000fb9f3ret
000fb9e0
000fb9e0camlVideoc.do_enableSchemeCharacters_933:
000fb9e0mov rax, [rbx+216]
000fb9e7mov [rax], 3
000fb9eemov eax, 1
000fb9f3ret
000fb9e0
000fb9f4
000fb9f4 // align 0x10
000fb9f4 // align 0x10
000fba00
000fba00camlVideoc.do_disableSchemeCharacters_934:
000fba00mov rax, [rbx+192]
000fba07mov [rax], 1
000fba0emov eax, 1
000fba13ret
000fba00
000fba00camlVideoc.do_disableSchemeCharacters_934:
000fba00mov rax, [rbx+192]
000fba07mov [rax], 1
000fba0emov eax, 1
000fba13ret
000fba00
000fba14
000fba14 // align 0x10
000fba14 // align 0x10
Loading..