Similarity

000f9100
000f9100Videoc..ocaml_lex_snippetenv_rec:
000f9100lea r10, [rsp-384]
000f9108cmp r10, [r14+40]
000f910cjb 0xf97ea
000f9112
000f9112loc_f9112:
000f9112sub rsp, 48
000f9116
000f9116loc_f9116:
000f9116mov rsi, rax
000f9119mov [rsp+32], rsi
000f911emov [rsp+40], rdi
000f9123cmp r15, [r14]
000f9126jbe 0xf97db
000f912c
000f912cloc_f912c:
000f912clea rax, [rip+0x182a75]
000f9133mov rdi, rsi
000f9136call Stdlib.Lexing.engine
000f913bcmp rax, 13
000f913fjbe 0xf9164
000f9141mov [rsp], rax
000f9145mov rax, [rsp+32]
000f914amov rbx, [rax]
000f914dmov rdi, [rbx]
000f9150call rdi
000f9152mov rax, [rsp+32]
000f9157mov rbx, [rsp]
000f915bmov rdi, [rsp+40]
000f9160jmp 0xf9116
000f9162nop
000f9164
000f9164loc_f9164:
000f9164sar rax, 1
000f9167lea rdx, [rip+0x131052]
000f916emovsxd rax, [rdx+4*rax]
000f9172add rdx, rax
000f9175jmp rdx
000f9177nop
000f9178mov eax, 1
000f917dadd rsp, 48
000f9181ret
000f9182nop
000f9184mov rax, [rsp+32]
000f9189mov rbx, [rax+32]
000f918dmov rdi, [rax+40]
000f9191sub rdi, rbx
000f9194inc rdi
000f9197mov rax, [rax+8]
000f919bcall Stdlib.Bytes.sub
000f91a0mov [rsp], rax
000f91a4call camlLatexmacros.find_941
000f91a9mov [rsp+8], rax
000f91aemov rbx, [rax]
000f91b1mov rax, [rbx]
000f91b4test al, 1
000f91b6je 0xf9248
000f91bcmov rax, [rbx+8]
000f91c0test al, 1
000f91c2je 0xf9248
000f91c8mov rax, [rsp]
000f91ccmov rdi, [rsp+32]
000f91d1call camlLexstate.make_stack_1175
000f91d6mov rdi, rax
000f91d9lea rax, [rip+0x21d7c0]
000f91e0mov rax, [rax+728]
000f91e7mov rbx, [rax]
000f91easub r15, 48
000f91eecmp r15, [r14]
000f91f1jb 0xf97d1
000f91f7
000f91f7loc_f91f7:
000f91f7lea rax, [r15+8]
000f91fbmov [rax-8], 5367
000f9203lea rsi, [rip+5654]
000f920amov [rax], rsi
000f920dmov rsi, 0x100000000000005
000f9217mov [rax+8], rsi
000f921bmov rsi, [rsp+32]
000f9220mov [rax+16], rsi
000f9224mov [rax+24], rbx
000f9228mov rbx, [rsp+40]
000f922dmov rbx, [rbx+296]
000f9234mov [rax+32], rbx
000f9238mov rbx, [rsp+8]
000f923dmov rbx, [rbx+8]
000f9241call camlLexstate.scan_body_856
000f9246jmp 0xf9288
000f9248
000f9248loc_f9248:
000f9248sub r15, 24
000f924ccmp r15, [r14]
000f924fjb 0xf97c7
000f9255
000f9255loc_f9255:
000f9255lea rax, [r15+8]
000f9259mov [rax-8], 2048
000f9261lea rbx, [rip+0x230e08]
000f9268mov rbx, [rbx+24]
000f926cmov [rax], rbx
000f926flea rbx, [rip+0x1827ca]
000f9276mov [rax+8], rbx
000f927amov rsp, [r14+48]
000f927epop [r14+48]
000f9282pop r11
000f9284jmp r11
000f9287nop
000f9288
000f9288loc_f9288:
000f9288mov rdi, [rsp+40]
000f928dadd rdi, -24
000f9291add rdi, 24
000f9295mov ebx, 1
000f929amov rax, [rsp+32]
000f929fjmp 0xf9116
000f92a4mov rax, [rsp+40]
000f92a9mov rax, [rax+304]
000f92b0mov rbx, [rax+472]
000f92b7lea rax, [rip+0x182772]
000f92bemov rdi, [rbx]
000f92c1call rdi
000f92c3mov rax, [rsp+40]
000f92c8mov rax, [rax+304]
000f92cfmov rbx, [rax+360]
000f92d6mov eax, 21
000f92dbmov rdi, [rbx]
000f92decall rdi
000f92e0mov rdi, [rsp+40]
000f92e5mov rax, [rdi+296]
000f92ecmov rbx, [rax+24]
000f92f0mov rax, [rdi+280]
000f92f7mov rsi, [rax+24]
000f92fblea rdi, [rip+0x182716]
000f9302lea rax, [rip+0x18343f]
000f9309call camlVideoc.runHook_628
000f930emov rdi, [rsp+40]
000f9313mov rax, [rdi+296]
000f931amov rbx, [rax+24]
000f931emov rax, [rdi+280]
000f9325mov rsi, [rax+24]
000f9329lea rdi, [rip+0x1826d0]
000f9330lea rax, [rip+0x183411]
000f9337call camlVideoc.runHook_628
000f933cmov rdi, [rsp+40]
000f9341add rdi, -24
000f9345add rdi, 24
000f9349mov ebx, 1
000f934emov rax, [rsp+32]
000f9353jmp 0xf9116
000f9358mov rax, [rsp+40]
000f935dmov rax, [rax+304]
000f9364mov rdi, [rax+480]
000f936blea rbx, [rip+0x18267e]
000f9372mov eax, 1
000f9377call caml_apply2
000f937cmov rdi, [rsp+40]
000f9381add rdi, -24
000f9385add rdi, 24
000f9389mov ebx, 1
000f938emov rax, [rsp+32]
000f9393jmp 0xf9116
000f9398mov rax, [rsp+40]
000f939dmov rax, [rax+304]
000f93a4mov rax, [rax+352]
000f93abmov [rsp], rax
000f93afmov rax, [rsp+32]
000f93b4mov rbx, [rax+32]
000f93b8mov rdi, [rax+40]
000f93bcsub rdi, rbx
000f93bfinc rdi
000f93c2mov rax, [rax+8]
000f93c6call Stdlib.Bytes.sub
000f93cbmov rbx, [rsp]
000f93cfmov rdi, [rbx]
000f93d2call rdi
000f93d4mov rax, [rsp+40]
000f93d9mov rax, [rax+304]
000f93e0mov rbx, [rax+360]
000f93e7mov eax, 65
000f93ecmov rdi, [rbx]
000f93efcall rdi
000f93f1mov rax, [rsp+40]
000f93f6mov rax, [rax+264]
000f93fdmov rax, [rax]
000f9400cmp rax, 1
000f9404je 0xf9678
000f940alea rax, [rip+0x230c5f]
000f9411mov rax, [rax+80]
000f9415mov rax, [rax]
000f9418cmp rax, 3
000f941cjle 0xf942a
000f941elea rax, [rip+0x18259b]
000f9425call camlStdlib.prerr_endline_390
000f942a
000f942aloc_f942a:
000f942alea rax, [rip+0x21d56f]
000f9431mov rax, [rax+264]
000f9438mov [rax], 3
000f943flea rbx, [rip+0x182542]
000f9446mov rax, [rsp+40]
000f944bmov rax, [rax+256]
000f9452mov rax, [rax]
000f9455call camlStdlib.$5e_139
000f945amov rbx, rax
000f945dlea rax, [rip+0x18253c]
000f9464call camlStdlib.$5e_139
000f9469mov rbx, rax
000f946cmov rax, [rsp+40]
000f9471mov rax, [rax+296]
000f9478mov rdi, [rax+112]
000f947clea rax, [rip+0x18252d]
000f9483call caml_apply2
000f9488mov rdi, [rsp+40]
000f948dmov rax, [rdi+296]
000f9494mov rbx, [rax+24]
000f9498mov rax, [rdi+280]
000f949fmov rsi, [rax+24]
000f94a3lea rdi, [rip+0x1824c6]
000f94aalea rax, [rip+0x183297]
000f94b1call camlVideoc.runHook_628
000f94b6lea r11, [rip+51]
000f94bdpush r11
000f94bfpush [r14+48]
000f94c3mov [r14+48], rsp
000f94c7mov rax, [rsp+56]
000f94ccmov rax, [rax+296]
000f94d3mov rbx, [rax+24]
000f94d7mov rdi, [rbx]
000f94damov rax, [rsp+48]
000f94dfcall rdi
000f94e1pop [r14+48]
000f94e5add rsp, 8
000f94e9jmp 0xf9678
000f94eenop
000f94f0mov [rsp], rax
000f94f4mov rdi, [rsp+40]
000f94f9mov rax, [rdi+296]
000f9500mov rbx, [rax+24]
000f9504mov rax, [rdi+280]
000f950bmov rsi, [rax+24]
000f950flea rdi, [rip+0x182442]
000f9516lea rax, [rip+0x18322b]
000f951dcall camlVideoc.runHook_628
000f9522mov rax, [rsp+40]
000f9527mov rax, [rax+296]
000f952emov rbx, [rax+120]
000f9532lea rax, [rip+0x182477]
000f9539mov rdi, [rbx]
000f953ccall rdi
000f953elea rax, [rip+0x21d45b]
000f9545mov rax, [rax+264]
000f954cmov [rax], 1
000f9553lea r11, [rip+28]
000f955apush r11
000f955cpush [r14+48]
000f9560mov [r14+48], rsp
000f9564mov rax, [rsp+16]
000f9569mov rsp, [r14+48]
000f956dpop [r14+48]
000f9571pop r11
000f9573jmp r11
000f9576lea rbx, [rip+0x230af3]
000f957dmov rbx, [rbx+64]
000f9581mov rdi, [rax]
000f9584cmp rdi, rbx
000f9587jne 0xf9668
000f958dmov rax, [rax+8]
000f9591mov [rsp+8], rax
000f9596mov rdi, [rsp+40]
000f959bmov rax, [rdi+248]
000f95a2mov rax, [rax]
000f95a5cmp rax, 1
000f95a9je 0xf95b8
000f95ablea rbx, [rip+0x18238e]
000f95b2mov [rsp], rbx
000f95b6jmp 0xf95c3
000f95b8
000f95b8loc_f95b8:
000f95b8lea rbx, [rip+0x182569]
000f95bfmov [rsp], rbx
000f95c3
000f95c3loc_f95c3:
000f95c3lea rax, [rip+0x230aa6]
000f95camov rax, [rax+80]
000f95cemov rax, [rax]
000f95d1cmp rax, 3
000f95d5jle 0xf9637
000f95d7mov rax, [rdi+248]
000f95demov rax, [rax]
000f95e1cmp rax, 1
000f95e5je 0xf95f0
000f95e7lea rax, [rip+0x182272]
000f95eejmp 0xf95f7
000f95f0
000f95f0loc_f95f0:
000f95f0lea rax, [rip+0x182531]
000f95f7
000f95f7loc_f95f7:
000f95f7call camlStdlib.$5e_139
000f95fcmov [rsp+24], rax
000f9601mov rax, [rsp+8]
000f9606mov [rsp+16], rax
000f960blea rbx, [rip+0x18225e]
000f9612lea rax, [rip+0x233fff]
000f9619mov rax, [rax+312]
000f9620call Stdlib.Printf.fprintf
000f9625mov rdi, rax
000f9628mov rax, [rsp+16]
000f962dmov rbx, [rsp+24]
000f9632call caml_apply2
000f9637
000f9637loc_f9637:
000f9637mov rax, [rsp+8]
000f963cadd rax, 2
000f9640mov ebx, 21
000f9645call Stdlib.Bytes.make
000f964amov rbx, [rsp]
000f964ecall camlStdlib.$5e_139
000f9653mov rbx, rax
000f9656mov rax, [rsp+40]
000f965badd rax, -24
000f965fcall camlLexstate.scan_this_1185
000f9664jmp 0xf9678
000f9666nop
000f9668
000f9668loc_f9668:
000f9668mov rsp, [r14+48]
000f966cpop [r14+48]
000f9670pop r11
000f9672jmp r11
000f9675nop [rax]
000f9678
000f9678loc_f9678:
000f9678mov rdi, [rsp+40]
000f967dadd rdi, -24
000f9681add rdi, 24
000f9685mov ebx, 1
000f968amov rax, [rsp+32]
000f968fjmp 0xf9116
000f9694mov rax, [rsp+40]
000f9699mov rax, [rax+304]
000f96a0mov rbx, [rax+360]
000f96a7mov eax, 71
000f96acmov rdi, [rbx]
000f96afcall rdi
000f96b1mov rax, [rsp+40]
000f96b6mov rax, [rax+272]
000f96bdmov rax, [rax]
000f96c0cmp rax, 1
000f96c4je 0xf96f9
000f96c6lea rax, [rip+0x2309a3]
000f96cdmov rax, [rax+80]
000f96d1mov rax, [rax]
000f96d4cmp rax, 3
000f96d8jle 0xf96e6
000f96dalea rax, [rip+0x182147]
000f96e1call camlStdlib.prerr_endline_390
000f96e6
000f96e6loc_f96e6:
000f96e6mov rbx, [rsp+40]
000f96ebadd rbx, 88
000f96efmov rax, [rsp+32]
000f96f4call camlVideoc.schemecharacterenv_730
000f96f9
000f96f9loc_f96f9:
000f96f9mov rdi, [rsp+40]
000f96feadd rdi, -24
000f9702add rdi, 24
000f9706mov ebx, 1
000f970bmov rax, [rsp+32]
000f9710jmp 0xf9116
000f9715nop [rax]
000f9718mov rdi, [rsp+32]
000f971dmov rax, [rdi+32]
000f9721sar rax, 1
000f9724mov rbx, [rdi+8]
000f9728mov rsi, [rbx-8]
000f972cshr rsi, 10
000f9730lea rsi, [8*rsi-1]
000f9738movzx rdx, [rbx+rsi]
000f973dsub rsi, rdx
000f9740cmp rsi, rax
000f9743jbe 0xf97e5
000f9749movzx rax, [rbx+rax]
000f974elea rax, [rax+rax+1]
000f9753sub r15, 40
000f9757cmp r15, [r14]
000f975ajb 0xf97c0
000f975c
000f975cloc_f975c:
000f975clea rbx, [r15+8]
000f9760mov [rbx-8], 4343
000f9768lea rsi, [rip+4689]
000f976fmov [rbx], rsi
000f9772mov rsi, 0x100000000000005
000f977cmov [rbx+8], rsi
000f9780mov rdx, [rsp+40]
000f9785mov rsi, rdx
000f9788add rsi, 32
000f978cmov [rbx+16], rsi
000f9790mov [rbx+24], rdi
000f9794mov rdi, [rdx+296]
000f979bmov rdi, [rdi+8]
000f979fcall caml_apply2
000f97a4mov rdi, [rsp+40]
000f97a9add rdi, -24
000f97adadd rdi, 24
000f97b1mov ebx, 1
000f97b6mov rax, [rsp+32]
000f97bbjmp 0xf9116
000f97c0
000f97c0loc_f97c0:
000f97c0call caml_call_gc
000f97c5jmp 0xf975c
000f97c7
000f97c7loc_f97c7:
000f97c7call caml_call_gc
000f97ccjmp 0xf9255
000f97d1
000f97d1loc_f97d1:
000f97d1call caml_call_gc
000f97d6jmp 0xf91f7
000f97db
000f97dbloc_f97db:
000f97dbcall caml_call_gc
000f97e0jmp 0xf912c
000f97e5
000f97e5loc_f97e5:
000f97e5call caml_ml_array_bound_error
000f97ea
000f97ealoc_f97ea:
000f97eapush 41
000f97eccall caml_call_realloc_stack
000f97f1pop r10
000f97f3jmp 0xf9112
000f9100

000f97f8
000f97f8 // align 0x10

000f9800
000f9800camlVideoc.read_lexbuf_728:
000f9800mov rdi, rbx
000f9803cmp r15, [r14]
000f9806jbe 0xf9816
000f9808
000f9808loc_f9808:
000f9808add rdi, 24
000f980cmov ebx, 23
000f9811jmp 0xf9820
000f9816
000f9816loc_f9816:
000f9816call caml_call_gc
000f981bjmp 0xf9808
000f9800

000f981d
000f981d // align 0x10

000f9820
000f9820Videoc..ocaml_lex_read_lexbuf_rec:
000f9820lea r10, [rsp-344]
000f9828cmp r10, [r14+40]
000f982cjb 0xf98de
000f9832
000f9832loc_f9832:
000f9832sub rsp, 24
000f9836
000f9836loc_f9836:
000f9836mov rsi, rax
000f9839mov [rsp], rsi
000f983dmov [rsp+16], rdi
000f9842cmp r15, [r14]
000f9845jbe 0xf98cf
000f984b
000f984bloc_f984b:
000f984blea rax, [rip+0x182356]
000f9852mov rdi, rsi
000f9855call Stdlib.Lexing.engine
000f985acmp rax, 1
000f985eje 0xf9894
000f9860cmp rax, 3
000f9864je 0xf9888
000f9866mov [rsp+8], rax
000f986bmov rax, [rsp]
000f986fmov rbx, [rax]
000f9872mov rdi, [rbx]
000f9875call rdi
000f9877mov rax, [rsp]
000f987bmov rbx, [rsp+8]
000f9880mov rdi, [rsp+16]
000f9885jmp 0xf9836
000f9887
000f9887 90 .
000f9888
000f9888loc_f9888:
000f9888mov rax, -1
000f988fadd rsp, 24
000f9893ret
000f9894
000f9894loc_f9894:
000f9894mov rbx, [rsp]
000f9898mov rax, [rbx+32]
000f989csar rax, 1
000f989fmov rbx, [rbx+8]
000f98a3mov rdi, [rbx-8]
000f98a7shr rdi, 10
000f98ablea rdi, [8*rdi-1]
000f98b3movzx rsi, [rbx+rdi]
000f98b8sub rdi, rsi
000f98bbcmp rdi, rax
000f98bejbe 0xf98d9
000f98c0movzx rax, [rbx+rax]
000f98c5lea rax, [rax+rax+1]
000f98caadd rsp, 24
000f98ceret
000f98cf
000f98cfloc_f98cf:
000f98cfcall caml_call_gc
000f98d4jmp 0xf984b
000f98d9
000f98d9loc_f98d9:
000f98d9call caml_ml_array_bound_error
000f98de
000f98deloc_f98de:
000f98depush 36
000f98e0call caml_call_realloc_stack
000f98e5pop r10
000f98e7jmp 0xf9832
000f9820

000f98ec
000f98ec // align 0x10

000f98f0
000f98f0camlVideoc.schemecharacterenv_730:
000f98f0mov rdi, rbx
000f98f3cmp r15, [r14]
000f98f6jbe 0xf9906
000f98f8
000f98f8loc_f98f8:
000f98f8add rdi, 24
000f98fcmov ebx, 29
000f9901jmp 0xf9910
000f9906
000f9906loc_f9906:
000f9906call caml_call_gc
000f990bjmp 0xf98f8
000f98f0

000f990d
000f990d // align 0x10

000f9910
000f9910Videoc..ocaml_lex_schemecharacterenv_rec:
000f9910lea r10, [rsp-344]
000f9918cmp r10, [r14+40]
000f991cjb 0xf99c5
000f9922
000f9922loc_f9922:
000f9922sub rsp, 24
000f9926
000f9926loc_f9926:
000f9926mov rsi, rax
000f9929mov [rsp], rsi
000f992dmov [rsp+16], rdi
000f9932cmp r15, [r14]
000f9935jbe 0xf99bb
000f993b
000f993bloc_f993b:
000f993blea rax, [rip+0x182266]
000f9942mov rdi, rsi
000f9945call Stdlib.Lexing.engine
000f994acmp rax, 1
000f994eje 0xf9984
000f9950cmp rax, 3
000f9954je 0xf9978
000f9956mov [rsp+8], rax
000f995bmov rax, [rsp]
000f995fmov rbx, [rax]
000f9962mov rdi, [rbx]
000f9965call rdi
000f9967mov rax, [rsp]
000f996bmov rbx, [rsp+8]
000f9970mov rdi, [rsp+16]
000f9975jmp 0xf9926
000f9977nop
000f9978
000f9978loc_f9978:
000f9978mov eax, 1
000f997dadd rsp, 24
000f9981ret
000f9982nop
000f9984
000f9984loc_f9984:
000f9984mov rax, [rsp]
000f9988mov rbx, [rax+32]
000f998cmov rdi, [rax+40]
000f9990sub rdi, rbx
000f9993inc rdi
000f9996mov rax, [rax+8]
000f999acall Stdlib.Bytes.sub
000f999fmov rbx, [rsp+16]
000f99a4mov rbx, [rbx+192]
000f99abmov rbx, [rbx+352]
000f99b2mov rdi, [rbx]
000f99b5add rsp, 24
000f99b9jmp rdi
000f99bb
000f99bbloc_f99bb:
000f99bbcall caml_call_gc
000f99c0jmp 0xf993b
000f99c5
000f99c5loc_f99c5:
000f99c5push 36
000f99c7call caml_call_realloc_stack
000f99ccpop r10
000f99cejmp 0xf9922
000f9910

000f99d3
000f99d3 // align 0x10

000f99e0
000f99e0camlVideoc.skip_blanks_till_eol_included_732:
000f99e0mov rdi, rbx
000f99e3cmp r15, [r14]
000f99e6jbe 0xf99f6
000f99e8
000f99e8loc_f99e8:
000f99e8add rdi, 24
000f99ecmov ebx, 39
000f99f1jmp 0xf9a00
000f99f6
000f99f6loc_f99f6:
000f99f6call caml_call_gc
000f99fbjmp 0xf99e8
000f99e0

000f99fd
000f99fd // align 0x10

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

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

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

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

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

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

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

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

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

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

000fa810
000fa810camlVideoc.fun_1096:
000fa810mov rax, [rbx+16]
000fa814add [rax], 2
000fa818mov rax, [rax]
000fa81bret
000fa810

000fa81c
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

000fa99c
000fa99c // align 0x10

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

000fa9c0
000fa9c0camlVideoc.fun_1188:
000fa9c0mov rax, [rbx+24]
000fa9c4mov rbx, [rbx+16]
000fa9c8jmp 0xf9800
000fa9c0

000fa9cd
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

000faa24
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

000faa53
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

000faa8f
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

000fab84
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

000fad43
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

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

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

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

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

000fb35b
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